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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858806-1244894309/watcher-1858806-1244894309 -o /tmp/evaluation-result-1858806-1244894309/solver-1858806-1244894309 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858806-1244894309.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 1.00 3/64 10975
/proc/meminfo: memFree=1337184/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) R 10973 10975 10792 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 253307353701 0 0 4224 0 0 0 0 17 0 0 0
/proc/10975/statm: 3067 316 242 3 0 167 0

[startup+0.01677 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10975
/proc/meminfo: memFree=1337184/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101688 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10975
/proc/meminfo: memFree=1337184/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.30149 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10975
/proc/meminfo: memFree=1337184/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701531 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10975
/proc/meminfo: memFree=1337184/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50159 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10980
/proc/meminfo: memFree=1310016/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=27860 CPUtime=1.31
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 9017 0 0 0 128 3 0 0 18 0 1 0 157030724 28528640 6705 1992294400 134512640 136070948 4294956272 18446744073709551615 134615417 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 6965 6705 193 380 0 6582 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 46740

[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10980
/proc/meminfo: memFree=1310016/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=36604 CPUtime=2.91
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 11188 0 0 0 287 4 0 0 20 0 1 0 157030724 37482496 8876 1992294400 134512640 136070948 4294956272 18446744073709551615 134802175 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10979/statm: 9151 8876 193 380 0 8768 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 55484

[startup+6.30103 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10980
/proc/meminfo: memFree=1283200/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=60044 CPUtime=6.1
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 17067 0 0 0 604 6 0 0 25 0 1 0 157030724 61485056 14755 1992294400 134512640 136070948 4294956272 18446744073709551615 135456502 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 15011 14755 193 380 0 14628 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 78924

[startup+12.7026 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10980
/proc/meminfo: memFree=1252736/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=88632 CPUtime=12.5
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 24192 0 0 0 1240 10 0 0 25 0 1 0 157030724 90759168 21880 1992294400 134512640 136070948 4294956272 18446744073709551615 134653150 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 22158 21880 193 380 0 21775 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (KiB) 107512

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10980
/proc/meminfo: memFree=1202432/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=136136 CPUtime=25.3
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 36069 0 0 0 2513 17 0 0 25 0 1 0 157030724 139403264 33757 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 34034 33757 193 380 0 33651 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 25.76
Current children cumulated vsize (KiB) 155016

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10980
/proc/meminfo: memFree=1131008/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=207848 CPUtime=50.89
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 53964 0 0 0 5064 25 0 0 25 0 1 0 157030724 212836352 51652 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 51962 51652 193 380 0 51579 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 51.35
Current children cumulated vsize (KiB) 226728

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10980
/proc/meminfo: memFree=1086080/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=251492 CPUtime=102.08
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 64905 0 0 0 10177 31 0 0 25 0 1 0 157030724 257527808 62593 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 62873 62593 193 380 0 62490 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 102.54
Current children cumulated vsize (KiB) 270372

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=1057472/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=279976 CPUtime=162.04
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 72025 0 0 0 16171 33 0 0 25 0 1 0 157030724 286695424 69713 1992294400 134512640 136070948 4294956272 18446744073709551615 134619431 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 69994 69713 193 380 0 69611 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (KiB) 298856

[startup+222.302 s]

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

/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 479940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=875840/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=461060 CPUtime=1481.52
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 117304 0 0 0 148092 60 0 0 25 0 1 0 157030724 472125440 114992 1992294400 134512640 136070948 4294956272 18446744073709551615 134615184 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 115265 114992 193 380 0 114882 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 479940

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=875840/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=461060 CPUtime=1541.49
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 117304 0 0 0 154089 60 0 0 25 0 1 0 157030724 472125440 114992 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 115265 114992 193 380 0 114882 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 479940

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=875840/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=461060 CPUtime=1601.47
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 117304 0 0 0 160087 60 0 0 25 0 1 0 157030724 472125440 114992 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 115265 114992 193 380 0 114882 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 479940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=875392/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=461600 CPUtime=1661.44
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 117424 0 0 0 166084 60 0 0 25 0 1 0 157030724 472678400 115112 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 115400 115112 193 380 0 115017 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 480480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=875328/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=461600 CPUtime=1721.41
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 117424 0 0 0 172081 60 0 0 25 0 1 0 157030724 472678400 115112 1992294400 134512640 136070948 4294956272 18446744073709551615 134802175 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 115400 115112 193 380 0 115017 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 480480

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=875200/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=461600 CPUtime=1781.39
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 117424 0 0 0 178079 60 0 0 25 0 1 0 157030724 472678400 115112 1992294400 134512640 136070948 4294956272 18446744073709551615 134619387 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 115400 115112 193 380 0 115017 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 480480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=875200/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=461600 CPUtime=1799.58
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 117424 0 0 0 179898 60 0 0 25 0 1 0 157030724 472678400 115112 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 115400 115112 193 380 0 115017 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 480480

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 10986
/proc/meminfo: memFree=875200/2055920 swapFree=4192812/4192956
[pid=10975] ppid=10973 vsize=12268 CPUtime=0
/proc/10975/stat : 10975 (perl) S 10973 10975 10792 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157030723 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10975/statm: 3067 413 319 3 0 167 0
[pid=10977] ppid=10975 vsize=5356 CPUtime=0.46
/proc/10977/stat : 10977 (sh) S 10975 10975 10792 0 -1 4194304 305 150 0 0 0 0 46 0 16 0 1 0 157030724 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10977/statm: 1339 227 188 169 0 50 0
[pid=10979] ppid=10977 vsize=461600 CPUtime=1799.58
/proc/10979/stat : 10979 (clasp) R 10977 10975 10792 0 -1 4194304 117424 0 0 0 179898 60 0 0 25 0 1 0 157030724 472678400 115112 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10979/statm: 115400 115112 193 380 0 115017 0
[pid=10980] ppid=10977 vsize=1256 CPUtime=0
/proc/10980/stat : 10980 (pbout) S 10977 10975 10792 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 157030724 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/10980/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 480480

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10975 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=469928
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.484925
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.53
CPU time (s): 1800.04
CPU user time (s): 1799.44
CPU system time (s): 0.6
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 480480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.469928
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1446
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= 54
involuntary context switches= 18

runsolver used 1.3328 second user time and 5.22921 second system time

The end