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/3881.cudf.caixa.log.runsolver ./uns-paranoid-0.0004 /home/misc2010/data/misc4/caixa//3881.cudf /home/misc2010/tmp/201103031013/uns-paranoid-0.0004/3881.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.71 1.64 1.56 3/34 8321
/proc/meminfo: memFree=313608/1048576 swapFree=0/0
[pid=8320] ppid=8319 vsize=1668 CPUtime=0
/proc/8320/stat : 8320 (uns-paranoid-0.) S 8319 8320 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 75956326 1708032 129 1283457024 134512640 134593992 4292091760 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/8320/statm: 417 129 113 20 0 44 0
[pid=8321] ppid=8320 vsize=7832 CPUtime=0
/proc/8321/stat : 8321 (cudfsolver-stat) R 8320 8320 29493 34817 29493 4202496 342 0 0 0 0 0 0 0 25 0 1 0 75956326 8019968 292 1283457024 134512640 141746657 4287812400 18446744073709551615 140913623 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8321/statm: 1958 292 147 1767 0 168 0

[startup+0.187492 s]
/proc/loadavg: 1.71 1.64 1.56 3/34 8321
/proc/meminfo: memFree=313608/1048576 swapFree=0/0
[pid=8320] ppid=8319 vsize=1668 CPUtime=0
/proc/8320/stat : 8320 (uns-paranoid-0.) S 8319 8320 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 75956326 1708032 129 1283457024 134512640 134593992 4292091760 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/8320/statm: 417 129 113 20 0 44 0
[pid=8321] ppid=8320 vsize=20068 CPUtime=0.18
/proc/8321/stat : 8321 (cudfsolver-stat) R 8320 8320 29493 34817 29493 4202496 3453 0 0 0 18 0 0 0 25 0 1 0 75956326 20549632 3335 1283457024 134512640 141746657 4287812400 18446744073709551615 134649545 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8321/statm: 5017 3335 148 1767 0 3227 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 21736

[startup+0.207504 s]
/proc/loadavg: 1.71 1.64 1.56 3/34 8321
/proc/meminfo: memFree=313608/1048576 swapFree=0/0
[pid=8320] ppid=8319 vsize=1668 CPUtime=0
/proc/8320/stat : 8320 (uns-paranoid-0.) S 8319 8320 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 75956326 1708032 129 1283457024 134512640 134593992 4292091760 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/8320/statm: 417 129 113 20 0 44 0
[pid=8321] ppid=8320 vsize=20972 CPUtime=0.2
/proc/8321/stat : 8321 (cudfsolver-stat) R 8320 8320 29493 34817 29493 4202496 3678 0 0 0 20 0 0 0 25 0 1 0 75956326 21475328 3557 1283457024 134512640 141746657 4287812400 18446744073709551615 140907552 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8321/statm: 5243 3557 148 1767 0 3453 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 22640

[startup+0.307524 s]
/proc/loadavg: 1.71 1.64 1.56 3/34 8321
/proc/meminfo: memFree=313608/1048576 swapFree=0/0
[pid=8320] ppid=8319 vsize=1668 CPUtime=0
/proc/8320/stat : 8320 (uns-paranoid-0.) S 8319 8320 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 75956326 1708032 129 1283457024 134512640 134593992 4292091760 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/8320/statm: 417 129 113 20 0 44 0
[pid=8321] ppid=8320 vsize=27572 CPUtime=0.3
/proc/8321/stat : 8321 (cudfsolver-stat) R 8320 8320 29493 34817 29493 4202496 5371 0 0 0 30 0 0 0 25 0 1 0 75956326 28233728 5175 1283457024 134512640 141746657 4287812400 18446744073709551615 140582330 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8321/statm: 6893 5175 148 1767 0 5103 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 29240

[startup+0.707593 s]
/proc/loadavg: 1.71 1.64 1.56 3/34 8321
/proc/meminfo: memFree=313608/1048576 swapFree=0/0
[pid=8320] ppid=8319 vsize=1668 CPUtime=0
/proc/8320/stat : 8320 (uns-paranoid-0.) S 8319 8320 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 75956326 1708032 129 1283457024 134512640 134593992 4292091760 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/8320/statm: 417 129 113 20 0 44 0
[pid=8321] ppid=8320 vsize=51496 CPUtime=0.7
/proc/8321/stat : 8321 (cudfsolver-stat) R 8320 8320 29493 34817 29493 4202496 11577 0 0 0 69 1 0 0 25 0 1 0 75956326 52731904 11107 1283457024 134512640 141746657 4287812400 18446744073709551615 140922772 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8321/statm: 12874 11107 148 1767 0 11084 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 53164

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

[startup+0.807615 s]
/proc/loadavg: 1.71 1.64 1.56 3/34 8321
/proc/meminfo: memFree=313608/1048576 swapFree=0/0
[pid=8320] ppid=8319 vsize=1668 CPUtime=0
/proc/8320/stat : 8320 (uns-paranoid-0.) S 8319 8320 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 75956326 1708032 129 1283457024 134512640 134593992 4292091760 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/8320/statm: 417 129 113 20 0 44 0
[pid=8321] ppid=8320 vsize=73676 CPUtime=0.8
/proc/8321/stat : 8321 (cudfsolver-stat) R 8320 8320 29493 34817 29493 4202496 13489 0 0 0 79 1 0 0 25 0 1 0 75956326 75444224 12975 1283457024 134512640 141746657 4287812400 18446744073709551615 135457510 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8321/statm: 18419 12975 373 1767 0 16266 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 75344

[startup+1.20871 s]
/proc/loadavg: 1.71 1.64 1.56 2/35 8322
/proc/meminfo: memFree=257816/1048576 swapFree=0/0
[pid=8320] ppid=8319 vsize=1668 CPUtime=0
/proc/8320/stat : 8320 (uns-paranoid-0.) S 8319 8320 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 25 0 1 0 75956326 1708032 129 1283457024 134512640 134593992 4292091760 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/8320/statm: 417 129 113 20 0 44 0
[pid=8321] ppid=8320 vsize=72900 CPUtime=1.19
/proc/8321/stat : 8321 (cudfsolver-stat) R 8320 8320 29493 34817 29493 4202496 15500 0 1 0 118 1 0 0 25 0 1 0 75956326 74649600 14777 1283457024 134512640 141746657 4287812400 18446744073709551615 134636811 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8321/statm: 18225 14777 844 1767 0 16072 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 74568

Child status: 0
Real time (s): 1.24637
CPU time (s): 1.23208
CPU user time (s): 1.20407
CPU system time (s): 0.028001
CPU usage (%): 98.8535
Max. virtual memory (cumulated for all children) (KiB): 75344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.20408
system time used= 0.028001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15719
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 21

runsolver used 0 second user time and 0 second system time

The end