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/4019.cudf.caixa.log.runsolver ./uns-trendy-0.0004 /home/misc2010/data/misc4/caixa//4019.cudf /home/misc2010/tmp/201103031013/uns-trendy-0.0004/4019.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: 2.02 1.89 1.74 5/34 25561
/proc/meminfo: memFree=295084/1048576 swapFree=0/0
[pid=25560] ppid=25559 vsize=1676 CPUtime=0
/proc/25560/stat : 25560 (uns-trendy-0.00) R 25559 25560 29493 34817 29493 4202496 208 0 0 0 0 0 0 0 25 0 1 0 76079863 1716224 130 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0
/proc/25560/statm: 419 130 113 20 0 46 0
[pid=25561] ppid=25560 vsize=1676 CPUtime=0
/proc/25561/stat : 25561 (uns-trendy-0.00) R 25560 25560 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76079864 1716224 17 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0
/proc/25561/statm: 419 17 0 20 0 46 0

[startup+0.163565 s]
/proc/loadavg: 2.02 1.89 1.74 5/34 25561
/proc/meminfo: memFree=295084/1048576 swapFree=0/0
[pid=25560] ppid=25559 vsize=1676 CPUtime=0
/proc/25560/stat : 25560 (uns-trendy-0.00) S 25559 25560 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76079863 1716224 130 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25560/statm: 419 130 113 20 0 46 0
[pid=25561] ppid=25560 vsize=18880 CPUtime=0.16
/proc/25561/stat : 25561 (cudfsolver-stat) R 25560 25560 29493 34817 29493 4202496 3136 0 0 0 14 2 0 0 25 0 1 0 76079864 19333120 3037 1283457024 134512640 141746657 4290821616 18446744073709551615 140709489 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25561/statm: 4720 3037 148 1767 0 2930 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 20556

[startup+0.213566 s]
/proc/loadavg: 2.02 1.89 1.74 5/34 25561
/proc/meminfo: memFree=295084/1048576 swapFree=0/0
[pid=25560] ppid=25559 vsize=1676 CPUtime=0
/proc/25560/stat : 25560 (uns-trendy-0.00) S 25559 25560 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76079863 1716224 130 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25560/statm: 419 130 113 20 0 46 0
[pid=25561] ppid=25560 vsize=21772 CPUtime=0.21
/proc/25561/stat : 25561 (cudfsolver-stat) R 25560 25560 29493 34817 29493 4202496 3902 0 0 0 19 2 0 0 25 0 1 0 76079864 22294528 3728 1283457024 134512640 141746657 4290821616 18446744073709551615 140922631 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25561/statm: 5443 3728 148 1767 0 3653 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 23448

[startup+0.303588 s]
/proc/loadavg: 2.02 1.89 1.74 5/34 25561
/proc/meminfo: memFree=295084/1048576 swapFree=0/0
[pid=25560] ppid=25559 vsize=1676 CPUtime=0
/proc/25560/stat : 25560 (uns-trendy-0.00) S 25559 25560 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76079863 1716224 130 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25560/statm: 419 130 113 20 0 46 0
[pid=25561] ppid=25560 vsize=27596 CPUtime=0.3
/proc/25561/stat : 25561 (cudfsolver-stat) R 25560 25560 29493 34817 29493 4202496 5390 0 0 0 28 2 0 0 25 0 1 0 76079864 28258304 5197 1283457024 134512640 141746657 4290821616 18446744073709551615 134599521 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25561/statm: 6899 5197 148 1767 0 5109 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 29272

[startup+0.703712 s]
/proc/loadavg: 2.02 1.89 1.74 5/34 25561
/proc/meminfo: memFree=295084/1048576 swapFree=0/0
[pid=25560] ppid=25559 vsize=1676 CPUtime=0
/proc/25560/stat : 25560 (uns-trendy-0.00) S 25559 25560 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76079863 1716224 130 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25560/statm: 419 130 113 20 0 46 0
[pid=25561] ppid=25560 vsize=51404 CPUtime=0.7
/proc/25561/stat : 25561 (cudfsolver-stat) R 25560 25560 29493 34817 29493 4202496 11539 0 0 0 68 2 0 0 25 0 1 0 76079864 52637696 11082 1283457024 134512640 141746657 4290821616 18446744073709551615 140896658 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25561/statm: 12851 11082 148 1767 0 11061 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 53080

[startup+1.5039 s]
/proc/loadavg: 2.02 1.89 1.74 2/35 25562
/proc/meminfo: memFree=239396/1048576 swapFree=0/0
[pid=25560] ppid=25559 vsize=1676 CPUtime=0
/proc/25560/stat : 25560 (uns-trendy-0.00) S 25559 25560 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76079863 1716224 130 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25560/statm: 419 130 113 20 0 46 0
[pid=25561] ppid=25560 vsize=73056 CPUtime=1.5
/proc/25561/stat : 25561 (cudfsolver-stat) R 25560 25560 29493 34817 29493 4202496 15263 0 0 0 146 4 0 0 25 0 1 0 76079864 74809344 14732 1283457024 134512640 141746657 4290821616 18446744073709551615 136788697 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25561/statm: 18264 14732 723 1767 0 16111 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 74732

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

[startup+1.61392 s]
/proc/loadavg: 2.02 1.89 1.74 2/35 25562
/proc/meminfo: memFree=239396/1048576 swapFree=0/0
[pid=25560] ppid=25559 vsize=1676 CPUtime=0
/proc/25560/stat : 25560 (uns-trendy-0.00) S 25559 25560 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76079863 1716224 130 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25560/statm: 419 130 113 20 0 46 0
[pid=25561] ppid=25560 vsize=73056 CPUtime=1.61
/proc/25561/stat : 25561 (cudfsolver-stat) R 25560 25560 29493 34817 29493 4202496 15263 0 0 0 157 4 0 0 25 0 1 0 76079864 74809344 14732 1283457024 134512640 141746657 4290821616 18446744073709551615 136788697 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25561/statm: 18264 14732 723 1767 0 16111 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 74732

[startup+1.70395 s]
/proc/loadavg: 2.02 1.89 1.74 2/35 25562
/proc/meminfo: memFree=239396/1048576 swapFree=0/0
[pid=25560] ppid=25559 vsize=1676 CPUtime=0
/proc/25560/stat : 25560 (uns-trendy-0.00) S 25559 25560 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76079863 1716224 130 1283457024 134512640 134593992 4290074000 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25560/statm: 419 130 113 20 0 46 0
[pid=25561] ppid=25560 vsize=106128 CPUtime=1.7
/proc/25561/stat : 25561 (cudfsolver-stat) R 25560 25560 29493 34817 29493 4202496 20025 0 0 0 166 4 0 0 25 0 1 0 76079864 108675072 19104 1283457024 134512640 141746657 4290821616 18446744073709551615 134951063 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25561/statm: 26532 19104 744 1767 0 24379 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 107804

Child status: 0
Real time (s): 1.7761
CPU time (s): 1.77611
CPU user time (s): 1.70411
CPU system time (s): 0.072004
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 107804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.70411
system time used= 0.072004
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20284
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= 27

runsolver used 0 second user time and 0 second system time

The end