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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885049-1245262389/watcher-1885049-1245262389 -o /tmp/evaluation-result-1885049-1245262389/solver-1885049-1245262389 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1885049-1245262389.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.97 3/64 24781
/proc/meminfo: memFree=1802552/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) R 24779 24781 23374 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 209136089701 0 0 4224 0 0 0 0 17 1 0 0
/proc/24781/statm: 3067 316 242 3 0 167 0

[startup+0.040281 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 24781
/proc/meminfo: memFree=1802552/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101897 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 24781
/proc/meminfo: memFree=1802552/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301908 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 24781
/proc/meminfo: memFree=1802552/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701946 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 24781
/proc/meminfo: memFree=1802552/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50301 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1796952/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=6464 CPUtime=1.42
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 1461 0 0 0 142 0 0 0 18 0 1 0 78947671 6619136 1403 1992294400 134512640 136070948 4294956272 18446744073709551615 134835527 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 1616 1403 188 380 0 1233 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 25340

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1796440/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=7124 CPUtime=3.01
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 1635 0 0 0 301 0 0 0 21 0 1 0 78947671 7294976 1577 1992294400 134512640 136070948 4294956272 18446744073709551615 134835502 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 1781 1577 188 380 0 1398 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26000

[startup+6.30143 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1795288/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=8320 CPUtime=6.21
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 1913 0 0 0 621 0 0 0 25 0 1 0 78947671 8519680 1855 1992294400 134512640 136070948 4294956272 18446744073709551615 134623119 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 2080 1855 188 380 0 1697 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27196

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1793120/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=10096 CPUtime=12.62
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 2343 0 0 0 1261 1 0 0 25 0 1 0 78947671 10338304 2285 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 2524 2285 188 380 0 2141 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 28972

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1792352/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=10904 CPUtime=25.41
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 2552 0 0 0 2540 1 0 0 25 0 1 0 78947671 11165696 2494 1992294400 134512640 136070948 4294956272 18446744073709551615 134834799 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 2726 2494 188 380 0 2343 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29780

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1790176/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=13068 CPUtime=51
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 3103 0 0 0 5099 1 0 0 25 0 1 0 78947671 13381632 3045 1992294400 134512640 136070948 4294956272 18446744073709551615 134835930 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 3267 3045 188 380 0 2884 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31944

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1787808/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=15312 CPUtime=102.18
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 3665 0 0 0 10216 2 0 0 25 0 1 0 78947671 15679488 3607 1992294400 134512640 136070948 4294956272 18446744073709551615 134834427 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 3828 3607 188 380 0 3445 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34188

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1785824/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=17356 CPUtime=162.14
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 4165 0 0 0 16212 2 0 0 25 0 1 0 78947671 17772544 4107 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 4339 4107 188 380 0 3956 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 36232

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1784096/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=19100 CPUtime=222.13
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 4592 0 0 0 22210 3 0 0 25 0 1 0 78947671 19558400 4534 1992294400 134512640 136070948 4294956272 18446744073709551615 134824889 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 4775 4534 188 380 0 4392 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 37976

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

[startup+223.903 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1784096/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=19100 CPUtime=223.73
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 4592 0 0 0 22370 3 0 0 25 0 1 0 78947671 19558400 4534 1992294400 134512640 136070948 4294956272 18446744073709551615 134834700 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 4775 4534 188 380 0 4392 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 223.81
Current children cumulated vsize (KiB) 37976

[startup+224.703 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1784096/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=19100 CPUtime=224.53
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 4592 0 0 0 22450 3 0 0 25 0 1 0 78947671 19558400 4534 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 4775 4534 188 380 0 4392 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 224.61
Current children cumulated vsize (KiB) 37976

[startup+225.506 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1784096/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=19100 CPUtime=225.34
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 4592 0 0 0 22531 3 0 0 25 0 1 0 78947671 19558400 4534 1992294400 134512640 136070948 4294956272 18446744073709551615 134835600 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 4775 4534 188 380 0 4392 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 225.42
Current children cumulated vsize (KiB) 37976

[startup+225.902 s]
/proc/loadavg: 1.00 1.00 0.97 2/68 24786
/proc/meminfo: memFree=1784096/2055920 swapFree=4192044/4192956
[pid=24781] ppid=24779 vsize=12268 CPUtime=0
/proc/24781/stat : 24781 (perl) S 24779 24781 23374 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 78947669 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 209144823700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24781/statm: 3067 398 306 3 0 167 0
[pid=24783] ppid=24781 vsize=5356 CPUtime=0.08
/proc/24783/stat : 24783 (sh) S 24781 24781 23374 0 -1 4194304 305 145 0 0 0 0 8 0 15 0 1 0 78947670 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24783/statm: 1339 227 188 169 0 50 0
[pid=24785] ppid=24783 vsize=19100 CPUtime=225.73
/proc/24785/stat : 24785 (clasp) R 24783 24781 23374 0 -1 4194304 4592 0 0 0 22570 3 0 0 25 0 1 0 78947671 19558400 4534 1992294400 134512640 136070948 4294956272 18446744073709551615 134623167 0 0 4096 16386 0 0 0 17 0 0 0
/proc/24785/statm: 4775 4534 188 380 0 4392 0
[pid=24786] ppid=24783 vsize=1252 CPUtime=0
/proc/24786/stat : 24786 (pbout) S 24783 24781 23374 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 78947671 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/24786/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 225.81
Current children cumulated vsize (KiB) 37976

Child status: 0
Real time (s): 225.974
CPU time (s): 225.913
CPU user time (s): 225.868
CPU system time (s): 0.044993
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 37976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.868
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5942
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= 189
involuntary context switches= 698

runsolver used 0.232964 second user time and 0.597909 second system time

The end