runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885179-1245264042/watcher-1885179-1245264042 -o /tmp/evaluation-result-1885179-1245264042/solver-1885179-1245264042 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1885179-1245264042.opb HOME HOME 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 1.00 0.98 3/64 7757
/proc/meminfo: memFree=1534584/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0
/proc/7757/stat : 7757 (perl) R 7755 7757 7411 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 194003774 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 221780867685 0 0 4224 0 0 0 0 17 1 0 0
/proc/7757/statm: 3067 316 242 3 0 167 0

[startup+0.105665 s]
/proc/loadavg: 1.01 1.00 0.98 3/64 7757
/proc/meminfo: memFree=1534584/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12268

[startup+0.202669 s]
/proc/loadavg: 1.01 1.00 0.98 3/64 7757
/proc/meminfo: memFree=1534584/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12268

[startup+0.302686 s]
/proc/loadavg: 1.01 1.00 0.98 3/64 7757
/proc/meminfo: memFree=1534584/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12268

[startup+0.701702 s]
/proc/loadavg: 1.01 1.00 0.98 3/64 7757
/proc/meminfo: memFree=1534584/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12268

[startup+1.50174 s]
/proc/loadavg: 1.01 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1523736/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=11340 CPUtime=1.35
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 3117 0 0 0 134 1 0 0 25 0 1 0 194003777 11612160 2611 1992294400 134512640 136070948 4294956272 18446744073709551615 134623305 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 2835 2611 188 380 0 2452 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 30216

[startup+3.10184 s]
/proc/loadavg: 1.01 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1523736/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=11340 CPUtime=2.95
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 3117 0 0 0 294 1 0 0 25 0 1 0 194003777 11612160 2611 1992294400 134512640 136070948 4294956272 18446744073709551615 134835600 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 2835 2611 188 380 0 2452 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 30216

[startup+6.30104 s]
/proc/loadavg: 1.01 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1522840/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=12132 CPUtime=6.15
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 3332 0 0 0 614 1 0 0 25 0 1 0 194003777 12423168 2826 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 3033 2826 188 380 0 2650 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 31008

[startup+12.7014 s]
/proc/loadavg: 1.01 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1521368/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=13984 CPUtime=12.55
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 3781 0 0 0 1254 1 0 0 25 0 1 0 194003777 14319616 3275 1992294400 134512640 136070948 4294956272 18446744073709551615 134841439 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 3496 3275 188 380 0 3113 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 32860

[startup+25.5022 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1519640/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=15404 CPUtime=25.35
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 4132 0 0 0 2533 2 0 0 25 0 1 0 194003777 15773696 3626 1992294400 134512640 136070948 4294956272 18446744073709551615 134623147 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 3851 3626 188 380 0 3468 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 34280

[startup+51.1028 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1516568/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=18488 CPUtime=50.93
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 4903 0 0 0 5091 2 0 0 25 0 1 0 194003777 18931712 4397 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 4622 4397 188 380 0 4239 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 37364

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1513176/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=21884 CPUtime=102.13
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5745 0 0 0 10209 4 0 0 25 0 1 0 194003777 22409216 5239 1992294400 134512640 136070948 4294956272 18446744073709551615 134834738 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5471 5239 188 380 0 5088 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 40760

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

[startup+102.406 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1513176/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=21884 CPUtime=102.23
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5756 0 0 0 10219 4 0 0 25 0 1 0 194003777 22409216 5250 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5471 5250 188 380 0 5088 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 40760

[startup+128.003 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1512152/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=23012 CPUtime=127.82
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5999 0 0 0 12778 4 0 0 25 0 1 0 194003777 23564288 5493 1992294400 134512640 136070948 4294956272 18446744073709551615 134623329 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5753 5493 188 380 0 5370 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 128.03
Current children cumulated vsize (KiB) 41888

[startup+140.801 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1512152/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=23012 CPUtime=140.62
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5999 0 0 0 14058 4 0 0 25 0 1 0 194003777 23564288 5493 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5753 5493 188 380 0 5370 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 140.83
Current children cumulated vsize (KiB) 41888

[startup+153.602 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1512152/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=23012 CPUtime=153.41
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5999 0 0 0 15337 4 0 0 25 0 1 0 194003777 23564288 5493 1992294400 134512640 136070948 4294956272 18446744073709551615 134623031 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5753 5493 188 380 0 5370 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 153.62
Current children cumulated vsize (KiB) 41888

[startup+156.801 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1512152/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=23012 CPUtime=156.61
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5999 0 0 0 15657 4 0 0 25 0 1 0 194003777 23564288 5493 1992294400 134512640 136070948 4294956272 18446744073709551615 134831405 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5753 5493 188 380 0 5370 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 156.82
Current children cumulated vsize (KiB) 41888

[startup+158.402 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1512152/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=23012 CPUtime=158.22
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5999 0 0 0 15818 4 0 0 25 0 1 0 194003777 23564288 5493 1992294400 134512640 136070948 4294956272 18446744073709551615 134835600 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5753 5493 188 380 0 5370 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 158.43
Current children cumulated vsize (KiB) 41888

[startup+160.002 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1512152/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=23012 CPUtime=159.81
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5999 0 0 0 15977 4 0 0 25 0 1 0 194003777 23564288 5493 1992294400 134512640 136070948 4294956272 18446744073709551615 134623190 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5753 5493 188 380 0 5370 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (KiB) 41888

[startup+160.803 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1512152/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=23012 CPUtime=160.61
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5999 0 0 0 16057 4 0 0 25 0 1 0 194003777 23564288 5493 1992294400 134512640 136070948 4294956272 18446744073709551615 134834738 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5753 5493 188 380 0 5370 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 41888

[startup+161.003 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 7762
/proc/meminfo: memFree=1512152/2055920 swapFree=4182416/4192956
[pid=7757] ppid=7755 vsize=12268 CPUtime=0.02
/proc/7757/stat : 7757 (perl) S 7755 7757 7411 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 194003774 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7757/statm: 3067 398 306 3 0 167 0
[pid=7759] ppid=7757 vsize=5356 CPUtime=0.19
/proc/7759/stat : 7759 (sh) S 7757 7757 7411 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 194003777 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7759/statm: 1339 227 188 169 0 50 0
[pid=7761] ppid=7759 vsize=23012 CPUtime=160.81
/proc/7761/stat : 7761 (clasp) R 7759 7757 7411 0 -1 4194304 5999 0 0 0 16077 4 0 0 25 0 1 0 194003777 23564288 5493 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7761/statm: 5753 5493 188 380 0 5370 0
[pid=7762] ppid=7759 vsize=1252 CPUtime=0
/proc/7762/stat : 7762 (pbout) S 7759 7757 7411 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 194003777 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7762/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 41888

Child status: 0
Real time (s): 161.08
CPU time (s): 161.123
CPU user time (s): 161.064
CPU system time (s): 0.058991
CPU usage (%): 100.027
Max. virtual memory (cumulated for all children) (KiB): 41888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.064
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7349
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= 318
involuntary context switches= 208

runsolver used 0.166974 second user time and 0.427934 second system time

The end