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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885189-1245264189/watcher-1885189-1245264189 -o /tmp/evaluation-result-1885189-1245264189/solver-1885189-1245264189 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1885189-1245264189.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.00 1.00 0.94 3/64 9743
/proc/meminfo: memFree=1754760/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0
/proc/9743/stat : 9743 (perl) D 9741 9743 9021 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 182945206 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 269930429029 0 2147483391 4224 0 18446744072099855350 0 0 17 1 0 0
/proc/9743/statm: 3067 316 242 3 0 167 0

[startup+0.0166309 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9743
/proc/meminfo: memFree=1754760/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0
/proc/9743/stat : 9743 (perl) R 9741 9743 9021 0 -1 4194304 423 0 0 0 0 0 0 0 18 0 1 0 182945206 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 269939159138 0 0 4224 16386 0 0 0 17 1 0 0
/proc/9743/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.102654 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9743
/proc/meminfo: memFree=1754760/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12268

[startup+0.302696 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9743
/proc/meminfo: memFree=1754760/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12268

[startup+0.701776 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9743
/proc/meminfo: memFree=1754760/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12268

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1745896/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=9408 CPUtime=1.38
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 2540 0 0 0 138 0 0 0 25 0 1 0 182945209 9633792 2121 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 2352 2121 188 380 0 1969 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 28284

[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1745896/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=9936 CPUtime=2.98
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 2673 0 0 0 298 0 0 0 25 0 1 0 182945209 10174464 2254 1992294400 134512640 136070948 4294956272 18446744073709551615 134623327 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 2484 2254 188 380 0 2101 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 28812

[startup+6.30187 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1744680/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=10784 CPUtime=6.18
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 2869 0 0 0 617 1 0 0 25 0 1 0 182945209 11042816 2450 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 2696 2450 188 380 0 2313 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 29660

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1743080/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=12252 CPUtime=12.57
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 3228 0 0 0 1256 1 0 0 25 0 1 0 182945209 12546048 2809 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 3063 2809 188 380 0 2680 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 31128

[startup+25.5027 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1741160/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=14120 CPUtime=25.37
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 3698 0 0 0 2535 2 0 0 25 0 1 0 182945209 14458880 3279 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 3530 3279 188 380 0 3147 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 32996

[startup+51.1027 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1738856/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=16560 CPUtime=50.96
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 4289 0 0 0 5094 2 0 0 25 0 1 0 182945209 16957440 3870 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 4140 3870 188 380 0 3757 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 35436

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1735976/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=19512 CPUtime=102.14
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5019 0 0 0 10212 2 0 0 25 0 1 0 182945209 19980288 4600 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 4878 4600 188 380 0 4495 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 38388

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1734056/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=21456 CPUtime=162.12
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5504 0 0 0 16209 3 0 0 25 0 1 0 182945209 21970944 5085 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5364 5085 188 380 0 4981 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 40332

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1732712/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=22684 CPUtime=222.1
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5805 0 0 0 22207 3 0 0 25 0 1 0 182945209 23228416 5386 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5671 5386 188 380 0 5288 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 41560

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

[startup+223.903 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1732712/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=22684 CPUtime=223.7
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5805 0 0 0 22367 3 0 0 25 0 1 0 182945209 23228416 5386 1992294400 134512640 136070948 4294956272 18446744073709551615 134623082 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5671 5386 188 380 0 5288 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 223.85
Current children cumulated vsize (KiB) 41560

[startup+227.101 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1732136/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=23252 CPUtime=226.89
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5949 0 0 0 22686 3 0 0 25 0 1 0 182945209 23810048 5530 1992294400 134512640 136070948 4294956272 18446744073709551615 134623208 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5813 5530 188 380 0 5430 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 227.04
Current children cumulated vsize (KiB) 42128

[startup+230.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1732072/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=23252 CPUtime=230.09
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5959 0 0 0 23006 3 0 0 25 0 1 0 182945209 23810048 5540 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5813 5540 188 380 0 5430 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 230.24
Current children cumulated vsize (KiB) 42128

[startup+231.101 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1732072/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=23252 CPUtime=230.89
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5959 0 0 0 23086 3 0 0 25 0 1 0 182945209 23810048 5540 1992294400 134512640 136070948 4294956272 18446744073709551615 134623190 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5813 5540 188 380 0 5430 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 231.04
Current children cumulated vsize (KiB) 42128

[startup+231.901 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1732072/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=23252 CPUtime=231.69
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5959 0 0 0 23166 3 0 0 25 0 1 0 182945209 23810048 5540 1992294400 134512640 136070948 4294956272 18446744073709551615 134618959 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5813 5540 188 380 0 5430 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 231.84
Current children cumulated vsize (KiB) 42128

[startup+232.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1732072/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=23252 CPUtime=232.09
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5959 0 0 0 23206 3 0 0 25 0 1 0 182945209 23810048 5540 1992294400 134512640 136070948 4294956272 18446744073709551615 134835534 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5813 5540 188 380 0 5430 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 232.24
Current children cumulated vsize (KiB) 42128

[startup+232.401 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9748
/proc/meminfo: memFree=1732072/2055920 swapFree=4192812/4192956
[pid=9743] ppid=9741 vsize=12268 CPUtime=0.01
/proc/9743/stat : 9743 (perl) S 9741 9743 9021 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 182945206 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269939163028 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9743/statm: 3067 398 306 3 0 167 0
[pid=9745] ppid=9743 vsize=5356 CPUtime=0.14
/proc/9745/stat : 9745 (sh) S 9743 9743 9021 0 -1 4194304 305 145 0 0 0 0 14 0 15 0 1 0 182945208 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9745/statm: 1339 227 188 169 0 50 0
[pid=9747] ppid=9745 vsize=23252 CPUtime=232.19
/proc/9747/stat : 9747 (clasp) R 9745 9743 9021 0 -1 4194304 5959 0 0 0 23216 3 0 0 25 0 1 0 182945209 23810048 5540 1992294400 134512640 136070948 4294956272 18446744073709551615 134834775 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9747/statm: 5813 5540 188 380 0 5430 0
[pid=9748] ppid=9745 vsize=1252 CPUtime=0
/proc/9748/stat : 9748 (pbout) S 9745 9743 9021 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 182945209 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/9748/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 232.34
Current children cumulated vsize (KiB) 42128

Child status: 0
Real time (s): 232.437
CPU time (s): 232.405
CPU user time (s): 232.358
CPU system time (s): 0.046992
CPU usage (%): 99.986
Max. virtual memory (cumulated for all children) (KiB): 42128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.358
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7309
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= 271
involuntary context switches= 442

runsolver used 0.253961 second user time and 0.600908 second system time

The end