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-paranoid-0.0004/4044.cudf.caixa.log.runsolver ./uns-paranoid-0.0004 /home/misc2010/data/misc4/caixa//4044.cudf /home/misc2010/tmp/201103031013/uns-paranoid-0.0004/4044.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.60 1.69 1.70 3/35 32682
/proc/meminfo: memFree=306676/1048576 swapFree=0/0
[pid=32681] ppid=32680 vsize=1672 CPUtime=0
/proc/32681/stat : 32681 (uns-paranoid-0.) R 32680 32681 29493 34817 29493 4202496 207 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 129 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0
/proc/32681/statm: 418 129 113 20 0 45 0
[pid=32682] ppid=32681 vsize=1672 CPUtime=0
/proc/32682/stat : 32682 (uns-paranoid-0.) R 32681 32681 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 16 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0
/proc/32682/statm: 418 16 0 20 0 45 0

[startup+0.123853 s]
/proc/loadavg: 1.60 1.69 1.70 3/35 32682
/proc/meminfo: memFree=306676/1048576 swapFree=0/0
[pid=32681] ppid=32680 vsize=1672 CPUtime=0
/proc/32681/stat : 32681 (uns-paranoid-0.) S 32680 32681 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 129 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32681/statm: 418 129 113 20 0 45 0
[pid=32682] ppid=32681 vsize=15788 CPUtime=0.13
/proc/32682/stat : 32682 (cudfsolver-stat) R 32681 32681 29493 34817 29493 4202496 2371 0 0 0 13 0 0 0 25 0 1 0 76138212 16166912 2266 1283457024 134512640 141746657 4290653680 18446744073709551615 140924906 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32682/statm: 3947 2266 148 1767 0 2157 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 17460

[startup+0.213867 s]
/proc/loadavg: 1.60 1.69 1.70 3/35 32682
/proc/meminfo: memFree=306676/1048576 swapFree=0/0
[pid=32681] ppid=32680 vsize=1672 CPUtime=0
/proc/32681/stat : 32681 (uns-paranoid-0.) S 32680 32681 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 129 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32681/statm: 418 129 113 20 0 45 0
[pid=32682] ppid=32681 vsize=21460 CPUtime=0.22
/proc/32682/stat : 32682 (cudfsolver-stat) R 32681 32681 29493 34817 29493 4202496 3795 0 0 0 22 0 0 0 25 0 1 0 76138212 21975040 3657 1283457024 134512640 141746657 4290653680 18446744073709551615 134637216 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32682/statm: 5365 3657 148 1767 0 3575 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 23132

[startup+0.303878 s]
/proc/loadavg: 1.60 1.69 1.70 3/35 32682
/proc/meminfo: memFree=306676/1048576 swapFree=0/0
[pid=32681] ppid=32680 vsize=1672 CPUtime=0
/proc/32681/stat : 32681 (uns-paranoid-0.) S 32680 32681 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 129 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32681/statm: 418 129 113 20 0 45 0
[pid=32682] ppid=32681 vsize=26736 CPUtime=0.31
/proc/32682/stat : 32682 (cudfsolver-stat) R 32681 32681 29493 34817 29493 4202496 5197 0 0 0 31 0 0 0 25 0 1 0 76138212 27377664 4984 1283457024 134512640 141746657 4290653680 18446744073709551615 134632268 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32682/statm: 6684 4984 148 1767 0 4894 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 28408

[startup+0.70394 s]
/proc/loadavg: 1.60 1.69 1.70 3/35 32682
/proc/meminfo: memFree=306676/1048576 swapFree=0/0
[pid=32681] ppid=32680 vsize=1672 CPUtime=0
/proc/32681/stat : 32681 (uns-paranoid-0.) S 32680 32681 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 129 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32681/statm: 418 129 113 20 0 45 0
[pid=32682] ppid=32681 vsize=49572 CPUtime=0.7
/proc/32682/stat : 32682 (cudfsolver-stat) R 32681 32681 29493 34817 29493 4202496 11157 0 0 0 68 2 0 0 25 0 1 0 76138212 50761728 10650 1283457024 134512640 141746657 4290653680 18446744073709551615 140925728 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32682/statm: 12393 10650 148 1767 0 10603 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 51244

[startup+1.50408 s]
/proc/loadavg: 1.56 1.68 1.69 2/36 32683
/proc/meminfo: memFree=244292/1048576 swapFree=0/0
[pid=32681] ppid=32680 vsize=1672 CPUtime=0
/proc/32681/stat : 32681 (uns-paranoid-0.) S 32680 32681 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 129 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32681/statm: 418 129 113 20 0 45 0
[pid=32682] ppid=32681 vsize=77296 CPUtime=1.51
/proc/32682/stat : 32682 (cudfsolver-stat) R 32681 32681 29493 34817 29493 4202496 16851 0 0 0 148 3 0 0 25 0 1 0 76138212 79151104 16206 1283457024 134512640 141746657 4290653680 18446744073709551615 138885303 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32682/statm: 19324 16206 463 1767 0 17171 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 78968

[startup+3.10432 s]
/proc/loadavg: 1.56 1.68 1.69 2/36 32683
/proc/meminfo: memFree=240324/1048576 swapFree=0/0
[pid=32681] ppid=32680 vsize=1672 CPUtime=0
/proc/32681/stat : 32681 (uns-paranoid-0.) S 32680 32681 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 129 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32681/statm: 418 129 113 20 0 45 0
[pid=32682] ppid=32681 vsize=93684 CPUtime=3.1
/proc/32682/stat : 32682 (cudfsolver-stat) R 32681 32681 29493 34817 29493 4202496 19996 0 0 0 304 6 0 0 25 0 1 0 76138212 95932416 19350 1283457024 134512640 141746657 4290653680 18446744073709551615 140922819 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32682/statm: 23421 19350 749 1767 0 21268 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 95356

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

[startup+3.10432 s]
/proc/loadavg: 1.56 1.68 1.69 2/36 32683
/proc/meminfo: memFree=240324/1048576 swapFree=0/0
[pid=32681] ppid=32680 vsize=1672 CPUtime=0
/proc/32681/stat : 32681 (uns-paranoid-0.) S 32680 32681 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 76138212 1712128 129 1283457024 134512640 134593992 4291452640 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32681/statm: 418 129 113 20 0 45 0
[pid=32682] ppid=32681 vsize=93684 CPUtime=3.1
/proc/32682/stat : 32682 (cudfsolver-stat) R 32681 32681 29493 34817 29493 4202496 19996 0 0 0 304 6 0 0 25 0 1 0 76138212 95932416 19350 1283457024 134512640 141746657 4290653680 18446744073709551615 140922819 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32682/statm: 23421 19350 749 1767 0 21268 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 95356

Child status: 0
Real time (s): 3.15193
CPU time (s): 3.1522
CPU user time (s): 3.07619
CPU system time (s): 0.076004
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 95356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.07619
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= 20215
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= 44

runsolver used 0 second user time and 0 second system time

The end