runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103031013/uns-trendy-0.0004/4054.cudf.caixa.log.runsolver ./uns-trendy-0.0004 /home/misc2010/data/misc4/caixa//4054.cudf /home/misc2010/tmp/201103031013/uns-trendy-0.0004/4054.cudf.caixa.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.29 1.56 1.64 4/36 2815
/proc/meminfo: memFree=308504/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=7564 CPUtime=0.01
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 250 0 0 0 1 0 0 0 25 0 1 0 76163428 7745536 207 1283457024 134512640 141746657 4291210832 18446744073709551615 140713776 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 1891 207 147 1767 0 101 0

[startup+0.163583 s]
/proc/loadavg: 1.29 1.56 1.64 4/36 2815
/proc/meminfo: memFree=308504/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=18420 CPUtime=0.17
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 3019 0 0 0 15 2 0 0 25 0 1 0 76163428 18862080 2906 1283457024 134512640 141746657 4291210832 18446744073709551615 134632296 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 4605 2906 148 1767 0 2815 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 20096

[startup+0.213593 s]
/proc/loadavg: 1.29 1.56 1.64 4/36 2815
/proc/meminfo: memFree=308504/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=21448 CPUtime=0.22
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 3777 0 0 0 20 2 0 0 25 0 1 0 76163428 21962752 3642 1283457024 134512640 141746657 4291210832 18446744073709551615 134637149 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 5362 3642 148 1767 0 3572 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 23124

[startup+0.303615 s]
/proc/loadavg: 1.29 1.56 1.64 4/36 2815
/proc/meminfo: memFree=308504/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=26724 CPUtime=0.3
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 5165 0 0 0 28 2 0 0 25 0 1 0 76163428 27365376 4955 1283457024 134512640 141746657 4291210832 18446744073709551615 134599184 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 6681 4955 148 1767 0 4891 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 28400

[startup+0.703712 s]
/proc/loadavg: 1.29 1.56 1.64 4/36 2815
/proc/meminfo: memFree=308504/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=49020 CPUtime=0.7
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 11011 0 0 0 67 3 0 0 25 0 1 0 76163428 50196480 10498 1283457024 134512640 141746657 4291210832 18446744073709551615 141042005 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 12255 10498 148 1767 0 10465 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 50696

[startup+1.50394 s]
/proc/loadavg: 1.29 1.56 1.64 2/37 2816
/proc/meminfo: memFree=246864/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=78072 CPUtime=1.5
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 18356 0 0 0 143 7 0 0 25 0 1 0 76163428 79945728 17078 1283457024 134512640 141746657 4291210832 18446744073709551615 136759658 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 19518 17078 783 1767 0 17365 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 79748

Solver just ended. Dumping a history of the last processes samples

[startup+1.61396 s]
/proc/loadavg: 1.29 1.56 1.64 2/37 2816
/proc/meminfo: memFree=246864/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=78072 CPUtime=1.61
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 18587 0 0 0 154 7 0 0 25 0 1 0 76163428 79945728 17308 1283457024 134512640 141746657 4291210832 18446744073709551615 138901098 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 19518 17308 981 1767 0 17365 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 79748

[startup+2.00403 s]
/proc/loadavg: 1.29 1.56 1.64 2/37 2816
/proc/meminfo: memFree=246864/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=78072 CPUtime=2
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 18588 0 0 0 193 7 0 0 25 0 1 0 76163428 79945728 17308 1283457024 134512640 141746657 4291210832 18446744073709551615 136735827 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 19518 17308 981 1767 0 17365 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 79748

[startup+2.40416 s]
/proc/loadavg: 1.29 1.56 1.64 2/37 2816
/proc/meminfo: memFree=238432/1048576 swapFree=0/0
[pid=2814] ppid=2813 vsize=1676 CPUtime=0
/proc/2814/stat : 2814 (uns-trendy-0.00) S 2813 2814 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76163428 1716224 130 1283457024 134512640 134593992 4291561216 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/2814/statm: 419 130 113 20 0 46 0
[pid=2815] ppid=2814 vsize=110064 CPUtime=2.4
/proc/2815/stat : 2815 (cudfsolver-stat) R 2814 2814 29493 34817 29493 4202496 24040 0 0 0 232 8 0 0 25 0 1 0 76163428 112705536 21761 1283457024 134512640 141746657 4291210832 18446744073709551615 140691965 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2815/statm: 27516 21761 752 1767 0 25363 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 111740

Child status: 0
Real time (s): 2.4253
CPU time (s): 2.42415
CPU user time (s): 2.32815
CPU system time (s): 0.096006
CPU usage (%): 99.9525
Max. virtual memory (cumulated for all children) (KiB): 112516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.32815
system time used= 0.096006
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 42

runsolver used 0 second user time and 0 second system time

The end