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/66.cudf.caixa.log.runsolver ./uns-trendy-0.0004 /home/misc2010/data/misc4/caixa//66.cudf /home/misc2010/tmp/201103031013/uns-trendy-0.0004/66.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.81 1.84 1.73 4/36 26776
/proc/meminfo: memFree=296032/1048576 swapFree=0/0
[pid=26775] ppid=26774 vsize=1668 CPUtime=0
/proc/26775/stat : 26775 (uns-trendy-0.00) S 26774 26775 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76332796 1708032 129 1283457024 134512640 134593992 4294605280 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26775/statm: 417 129 113 20 0 44 0
[pid=26776] ppid=26775 vsize=7568 CPUtime=0
/proc/26776/stat : 26776 (cudfsolver-stat) R 26775 26775 29493 34817 29493 4202496 252 0 0 0 0 0 0 0 25 0 1 0 76332796 7749632 209 1283457024 134512640 141746657 4294041856 18446744073709551615 134595376 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26776/statm: 1892 209 149 1767 0 102 0

[startup+0.173565 s]
/proc/loadavg: 1.81 1.84 1.73 4/36 26776
/proc/meminfo: memFree=296032/1048576 swapFree=0/0
[pid=26775] ppid=26774 vsize=1668 CPUtime=0
/proc/26775/stat : 26775 (uns-trendy-0.00) S 26774 26775 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76332796 1708032 129 1283457024 134512640 134593992 4294605280 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26775/statm: 417 129 113 20 0 44 0
[pid=26776] ppid=26775 vsize=18440 CPUtime=0.17
/proc/26776/stat : 26776 (cudfsolver-stat) R 26775 26775 29493 34817 29493 4202496 3022 0 0 0 17 0 0 0 25 0 1 0 76332796 18882560 2933 1283457024 134512640 141746657 4294041856 18446744073709551615 134599190 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26776/statm: 4610 2933 150 1767 0 2820 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 20108

[startup+0.203571 s]
/proc/loadavg: 1.81 1.84 1.73 4/36 26776
/proc/meminfo: memFree=296032/1048576 swapFree=0/0
[pid=26775] ppid=26774 vsize=1668 CPUtime=0
/proc/26775/stat : 26775 (uns-trendy-0.00) S 26774 26775 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76332796 1708032 129 1283457024 134512640 134593992 4294605280 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26775/statm: 417 129 113 20 0 44 0
[pid=26776] ppid=26775 vsize=20172 CPUtime=0.2
/proc/26776/stat : 26776 (cudfsolver-stat) R 26775 26775 29493 34817 29493 4202496 3458 0 0 0 20 0 0 0 25 0 1 0 76332796 20656128 3341 1283457024 134512640 141746657 4294041856 18446744073709551615 134636047 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26776/statm: 5043 3341 150 1767 0 3253 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 21840

[startup+0.313595 s]
/proc/loadavg: 1.81 1.84 1.73 4/36 26776
/proc/meminfo: memFree=296032/1048576 swapFree=0/0
[pid=26775] ppid=26774 vsize=1668 CPUtime=0
/proc/26775/stat : 26775 (uns-trendy-0.00) S 26774 26775 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76332796 1708032 129 1283457024 134512640 134593992 4294605280 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26775/statm: 417 129 113 20 0 44 0
[pid=26776] ppid=26775 vsize=24940 CPUtime=0.31
/proc/26776/stat : 26776 (cudfsolver-stat) R 26775 26775 29493 34817 29493 4202496 4740 0 0 0 31 0 0 0 25 0 1 0 76332796 25538560 4518 1283457024 134512640 141746657 4294041856 18446744073709551615 134637946 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26776/statm: 6235 4518 150 1767 0 4445 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 26608

[startup+0.71368 s]
/proc/loadavg: 1.81 1.84 1.73 4/36 26776
/proc/meminfo: memFree=296032/1048576 swapFree=0/0
[pid=26775] ppid=26774 vsize=1668 CPUtime=0
/proc/26775/stat : 26775 (uns-trendy-0.00) S 26774 26775 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76332796 1708032 129 1283457024 134512640 134593992 4294605280 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26775/statm: 417 129 113 20 0 44 0
[pid=26776] ppid=26775 vsize=50028 CPUtime=0.71
/proc/26776/stat : 26776 (cudfsolver-stat) R 26775 26775 29493 34817 29493 4202496 11237 0 0 0 68 3 0 0 25 0 1 0 76332796 51228672 10711 1283457024 134512640 141746657 4294041856 18446744073709551615 140922587 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26776/statm: 12507 10711 150 1767 0 10717 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 51696

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

[startup+0.803706 s]
/proc/loadavg: 1.81 1.84 1.73 4/36 26776
/proc/meminfo: memFree=296032/1048576 swapFree=0/0
[pid=26775] ppid=26774 vsize=1668 CPUtime=0
/proc/26775/stat : 26775 (uns-trendy-0.00) S 26774 26775 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76332796 1708032 129 1283457024 134512640 134593992 4294605280 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26775/statm: 417 129 113 20 0 44 0
[pid=26776] ppid=26775 vsize=71964 CPUtime=0.8
/proc/26776/stat : 26776 (cudfsolver-stat) R 26775 26775 29493 34817 29493 4202496 12721 0 0 0 77 3 0 0 25 0 1 0 76332796 73691136 12160 1283457024 134512640 141746657 4294041856 18446744073709551615 135519655 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26776/statm: 17991 12160 361 1767 0 15838 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 73632

[startup+1.20382 s]
/proc/loadavg: 1.81 1.84 1.73 2/37 26777
/proc/meminfo: memFree=241088/1048576 swapFree=0/0
[pid=26775] ppid=26774 vsize=1668 CPUtime=0
/proc/26775/stat : 26775 (uns-trendy-0.00) S 26774 26775 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76332796 1708032 129 1283457024 134512640 134593992 4294605280 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26775/statm: 417 129 113 20 0 44 0
[pid=26776] ppid=26775 vsize=93860 CPUtime=1.2
/proc/26776/stat : 26776 (cudfsolver-stat) R 26775 26775 29493 34817 29493 4202496 18355 0 0 0 114 6 0 0 25 0 1 0 76332796 96112640 17747 1283457024 134512640 141746657 4294041856 18446744073709551615 135619430 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26776/statm: 23465 17747 759 1767 0 21312 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 95528

[startup+1.31385 s]
/proc/loadavg: 1.81 1.84 1.73 2/37 26777
/proc/meminfo: memFree=241088/1048576 swapFree=0/0
[pid=26775] ppid=26774 vsize=1668 CPUtime=0
/proc/26775/stat : 26775 (uns-trendy-0.00) S 26774 26775 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76332796 1708032 129 1283457024 134512640 134593992 4294605280 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26775/statm: 417 129 113 20 0 44 0
[pid=26776] ppid=26775 vsize=87572 CPUtime=1.31
/proc/26776/stat : 26776 (cudfsolver-stat) R 26775 26775 29493 34817 29493 4202496 18984 0 0 0 125 6 0 0 25 0 1 0 76332796 89673728 17073 1283457024 134512640 141746657 4294041856 18446744073709551615 134636811 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26776/statm: 21893 17073 765 1767 0 19740 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 89240

Child status: 0
Real time (s): 1.33185
CPU time (s): 1.33208
CPU user time (s): 1.25608
CPU system time (s): 0.076004
CPU usage (%): 100.018
Max. virtual memory (cumulated for all children) (KiB): 95528

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

runsolver used 0 second user time and 0 second system time

The end