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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1859448-1245209675/watcher-1859448-1245209675 -o /tmp/evaluation-result-1859448-1245209675/solver-1859448-1245209675 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1859448-1245209675.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: 0.92 0.98 0.99 3/64 9500
/proc/meminfo: memFree=1774992/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) R 9498 9500 9455 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 254195497573 0 0 4224 0 0 0 0 17 1 0 0
/proc/9500/statm: 3067 316 242 3 0 167 0

[startup+0.0946501 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9500
/proc/meminfo: memFree=1774992/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101644 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9500
/proc/meminfo: memFree=1774992/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301675 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9500
/proc/meminfo: memFree=1774992/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701736 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9500
/proc/meminfo: memFree=1774992/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50186 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1772464/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=3240 CPUtime=1.47
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 632 0 0 0 147 0 0 0 25 0 1 0 188566798 3317760 606 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 810 606 194 380 0 427 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22120

[startup+3.1021 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1772272/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=3504 CPUtime=3.07
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 695 0 0 0 307 0 0 0 25 0 1 0 188566798 3588096 669 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 876 669 194 380 0 493 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22384

[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1771888/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=3636 CPUtime=6.26
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 713 0 0 0 626 0 0 0 25 0 1 0 188566798 3723264 687 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 909 687 194 380 0 526 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22516

[startup+12.7026 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1771512/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=3900 CPUtime=12.67
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 799 0 0 0 1266 1 0 0 25 0 1 0 188566798 3993600 773 1992294400 134512640 136070948 4294956272 18446744073709551615 134799688 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 975 773 194 380 0 592 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22780

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1771320/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=4164 CPUtime=25.46
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 860 0 0 0 2545 1 0 0 25 0 1 0 188566798 4263936 834 1992294400 134512640 136070948 4294956272 18446744073709551615 134647504 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1041 834 194 380 0 658 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23044

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1770488/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=4888 CPUtime=51.05
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1060 0 0 0 5104 1 0 0 25 0 1 0 188566798 5005312 1030 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1222 1030 194 380 0 839 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23768

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1770232/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5284 CPUtime=102.23
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1127 0 0 0 10222 1 0 0 25 0 1 0 188566798 5410816 1097 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1321 1097 194 380 0 938 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 24164

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769656/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5692 CPUtime=162.21
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1255 0 0 0 16219 2 0 0 25 0 1 0 188566798 5828608 1225 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1423 1225 194 380 0 1040 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 24572

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769528/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5828 CPUtime=222.19
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1279 0 0 0 22217 2 0 0 25 0 1 0 188566798 5967872 1249 1992294400 134512640 136070948 4294956272 18446744073709551615 134831525 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1457 1249 194 380 0 1074 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 24708

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

[startup+230.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769528/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5828 CPUtime=230.19
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1279 0 0 0 23017 2 0 0 25 0 1 0 188566798 5967872 1249 1992294400 134512640 136070948 4294956272 18446744073709551615 134647468 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1457 1249 194 380 0 1074 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 230.21
Current children cumulated vsize (KiB) 24708

[startup+243.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769464/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5828 CPUtime=242.99
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1285 0 0 0 24296 3 0 0 25 0 1 0 188566798 5967872 1255 1992294400 134512640 136070948 4294956272 18446744073709551615 134834763 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1457 1255 194 380 0 1074 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 243.01
Current children cumulated vsize (KiB) 24708

[startup+249.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769464/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5828 CPUtime=249.39
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1285 0 0 0 24936 3 0 0 25 0 1 0 188566798 5967872 1255 1992294400 134512640 136070948 4294956272 18446744073709551615 134834700 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1457 1255 194 380 0 1074 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 249.41
Current children cumulated vsize (KiB) 24708

[startup+252.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769464/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5828 CPUtime=252.59
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1285 0 0 0 25256 3 0 0 25 0 1 0 188566798 5967872 1255 1992294400 134512640 136070948 4294956272 18446744073709551615 134653125 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1457 1255 194 380 0 1074 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 252.61
Current children cumulated vsize (KiB) 24708

[startup+255.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769528/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5828 CPUtime=255.79
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1285 0 0 0 25576 3 0 0 25 0 1 0 188566798 5967872 1255 1992294400 134512640 136070948 4294956272 18446744073709551615 134647517 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1457 1255 194 380 0 1074 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 255.81
Current children cumulated vsize (KiB) 24708

[startup+256.703 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769528/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5828 CPUtime=256.59
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1285 0 0 0 25656 3 0 0 25 0 1 0 188566798 5967872 1255 1992294400 134512640 136070948 4294956272 18446744073709551615 134807405 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1457 1255 194 380 0 1074 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 256.61
Current children cumulated vsize (KiB) 24708

[startup+257.103 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769528/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5828 CPUtime=256.99
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1285 0 0 0 25696 3 0 0 25 0 1 0 188566798 5967872 1255 1992294400 134512640 136070948 4294956272 18446744073709551615 134807599 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1457 1255 194 380 0 1074 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 257.01
Current children cumulated vsize (KiB) 24708

[startup+257.503 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 9505
/proc/meminfo: memFree=1769528/2055920 swapFree=4191900/4192956
[pid=9500] ppid=9498 vsize=12268 CPUtime=0
/proc/9500/stat : 9500 (perl) S 9498 9500 9455 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188566797 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9500/statm: 3067 411 319 3 0 167 0
[pid=9502] ppid=9500 vsize=5356 CPUtime=0.02
/proc/9502/stat : 9502 (sh) S 9500 9500 9455 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188566797 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9502/statm: 1339 227 188 169 0 50 0
[pid=9504] ppid=9502 vsize=5816 CPUtime=257.39
/proc/9504/stat : 9504 (clasp) R 9502 9500 9455 0 -1 4194304 1285 0 0 0 25736 3 0 0 25 0 1 0 188566798 5955584 1255 1992294400 134512640 136070948 4294956272 18446744073709551615 134806806 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9504/statm: 1454 1255 194 380 0 1071 0
[pid=9505] ppid=9502 vsize=1256 CPUtime=0
/proc/9505/stat : 9505 (pbout) S 9502 9500 9455 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188566798 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9505/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 257.41
Current children cumulated vsize (KiB) 24696

Child status: 0
Real time (s): 257.533
CPU time (s): 257.452
CPU user time (s): 257.408
CPU system time (s): 0.043993
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 24708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.408
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2642
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= 97
involuntary context switches= 278

runsolver used 0.222966 second user time and 0.72289 second system time

The end