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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1859421-1245206149/watcher-1859421-1245206149 -o /tmp/evaluation-result-1859421-1245206149/solver-1859421-1245206149 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1859421-1245206149.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 5897
/proc/meminfo: memFree=1856552/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) R 5895 5897 5279 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 240907942501 0 0 4224 0 0 0 0 17 1 0 0
/proc/5897/statm: 3067 316 242 3 0 167 0

[startup+0.104794 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5897
/proc/meminfo: memFree=1856552/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.201798 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5897
/proc/meminfo: memFree=1856552/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301808 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5897
/proc/meminfo: memFree=1856552/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701849 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5897
/proc/meminfo: memFree=1856552/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50292 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1853896/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=3376 CPUtime=1.46
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 673 0 0 0 146 0 0 0 25 0 1 0 188212277 3457024 647 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 844 647 194 380 0 461 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22256

[startup+3.10208 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1853768/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=3376 CPUtime=3.06
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 673 0 0 0 306 0 0 0 25 0 1 0 188212277 3457024 647 1992294400 134512640 136070948 4294956272 18446744073709551615 134800616 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 844 647 194 380 0 461 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22256

[startup+6.3014 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1853576/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=3640 CPUtime=6.26
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 725 0 0 0 626 0 0 0 25 0 1 0 188212277 3727360 699 1992294400 134512640 136070948 4294956272 18446744073709551615 134807456 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 910 699 194 380 0 527 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22520

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1853128/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=3904 CPUtime=12.66
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 795 0 0 0 1266 0 0 0 25 0 1 0 188212277 3997696 769 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 976 769 194 380 0 593 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22784

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1852488/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=4564 CPUtime=25.46
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 970 0 0 0 2546 0 0 0 25 0 1 0 188212277 4673536 944 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1141 944 194 380 0 758 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23444

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1852360/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=4744 CPUtime=51.05
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1016 0 0 0 5105 0 0 0 25 0 1 0 188212277 4857856 985 1992294400 134512640 136070948 4294956272 18446744073709551615 134808003 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1186 985 194 380 0 803 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23624

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1851272/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=5812 CPUtime=102.24
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1278 0 0 0 10224 0 0 0 25 0 1 0 188212277 5951488 1247 1992294400 134512640 136070948 4294956272 18446744073709551615 134632753 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1453 1247 194 380 0 1070 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24692

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850952/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=5932 CPUtime=162.22
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1342 0 0 0 16222 0 0 0 25 0 1 0 188212277 6074368 1289 1992294400 134512640 136070948 4294956272 18446744073709551615 134807599 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1483 1289 194 380 0 1100 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24812

[startup+222.306 s]

################
# More data... #
################

/proc/5901/statm: 1618 1395 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25352

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=282.19
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1448 0 0 0 28218 1 0 0 25 0 1 0 188212277 6627328 1395 1992294400 134512640 136070948 4294956272 18446744073709551615 134834700 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1395 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25352

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

[startup+307.201 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=307.08
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1449 0 0 0 30707 1 0 0 25 0 1 0 188212277 6627328 1396 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1396 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 307.1
Current children cumulated vsize (KiB) 25352

[startup+320.002 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=319.88
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1449 0 0 0 31987 1 0 0 25 0 1 0 188212277 6627328 1396 1992294400 134512640 136070948 4294956272 18446744073709551615 134632752 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1396 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 319.9
Current children cumulated vsize (KiB) 25352

[startup+326.402 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=326.28
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1449 0 0 0 32627 1 0 0 25 0 1 0 188212277 6627328 1396 1992294400 134512640 136070948 4294956272 18446744073709551615 134834696 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1396 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 326.3
Current children cumulated vsize (KiB) 25352

[startup+329.601 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=329.48
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1449 0 0 0 32947 1 0 0 25 0 1 0 188212277 6627328 1396 1992294400 134512640 136070948 4294956272 18446744073709551615 134632752 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1396 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 329.5
Current children cumulated vsize (KiB) 25352

[startup+332.802 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=332.68
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1449 0 0 0 33267 1 0 0 25 0 1 0 188212277 6627328 1396 1992294400 134512640 136070948 4294956272 18446744073709551615 134618904 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1396 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 332.7
Current children cumulated vsize (KiB) 25352

[startup+334.402 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=334.28
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1449 0 0 0 33427 1 0 0 25 0 1 0 188212277 6627328 1396 1992294400 134512640 136070948 4294956272 18446744073709551615 134647504 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1396 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 334.3
Current children cumulated vsize (KiB) 25352

[startup+335.202 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=335.08
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1449 0 0 0 33507 1 0 0 25 0 1 0 188212277 6627328 1396 1992294400 134512640 136070948 4294956272 18446744073709551615 134824692 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1396 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 335.1
Current children cumulated vsize (KiB) 25352

[startup+335.605 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 5902
/proc/meminfo: memFree=1850568/2055920 swapFree=4181368/4192956
[pid=5897] ppid=5895 vsize=12268 CPUtime=0
/proc/5897/stat : 5897 (perl) S 5895 5897 5279 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188212276 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 240916676500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5897/statm: 3067 411 319 3 0 167 0
[pid=5899] ppid=5897 vsize=5356 CPUtime=0.02
/proc/5899/stat : 5899 (sh) S 5897 5897 5279 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188212276 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5899/statm: 1339 227 188 169 0 50 0
[pid=5901] ppid=5899 vsize=6472 CPUtime=335.48
/proc/5901/stat : 5901 (clasp) R 5899 5897 5279 0 -1 4194304 1449 0 0 0 33547 1 0 0 25 0 1 0 188212277 6627328 1396 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5901/statm: 1618 1396 194 380 0 1235 0
[pid=5902] ppid=5899 vsize=1256 CPUtime=0
/proc/5902/stat : 5902 (pbout) S 5899 5897 5279 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188212277 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/5902/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 335.5
Current children cumulated vsize (KiB) 25352

Child status: 0
Real time (s): 335.684
CPU time (s): 335.599
CPU user time (s): 335.571
CPU system time (s): 0.027995
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 25352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 335.571
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2806
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= 93
involuntary context switches= 620

runsolver used 0.293955 second user time and 0.934857 second system time

The end