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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858815-1244895548/watcher-1858815-1244895548 -o /tmp/evaluation-result-1858815-1244895548/solver-1858815-1244895548 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858815-1244895548.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 8754
/proc/meminfo: memFree=1311128/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) R 8752 8754 8525 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 266143316990 0 0 4224 0 0 0 0 17 1 0 0
/proc/8754/statm: 3067 316 242 3 0 167 0

[startup+0.0475531 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8754
/proc/meminfo: memFree=1311128/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.10256 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8754
/proc/meminfo: memFree=1311128/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.302582 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8754
/proc/meminfo: memFree=1311128/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.702632 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8754
/proc/meminfo: memFree=1311128/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=1287032/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=24740 CPUtime=1.29
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 7830 0 0 0 126 3 0 0 18 0 1 0 157154142 25333760 5906 1992294400 134512640 136070948 4294956272 18446744073709551615 134803720 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 6185 5906 193 380 0 5802 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 43620

[startup+3.10188 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=1285176/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=36124 CPUtime=2.88
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 10672 0 0 0 284 4 0 0 20 0 1 0 157154142 36990976 8748 1992294400 134512640 136070948 4294956272 18446744073709551615 134653150 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 9031 8748 193 380 0 8648 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 55004

[startup+6.30124 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=1257344/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=61028 CPUtime=6.09
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 16903 0 0 0 601 8 0 0 25 0 1 0 157154142 62492672 14979 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 15257 14979 193 380 0 14874 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 79908

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=1220864/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=94476 CPUtime=12.49
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 25231 0 0 0 1236 13 0 0 25 0 1 0 157154142 96743424 23307 1992294400 134512640 136070948 4294956272 18446744073709551615 135456502 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 23619 23307 193 380 0 23236 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 113356

[startup+25.5024 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=1180608/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=131920 CPUtime=25.28
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 34584 0 0 0 2509 19 0 0 25 0 1 0 157154142 135086080 32660 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 32980 32660 193 380 0 32597 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 25.7
Current children cumulated vsize (KiB) 150800

[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=1130816/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=180848 CPUtime=50.87
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 46825 0 0 0 5062 25 0 0 25 0 1 0 157154142 185188352 44901 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 45212 44901 193 380 0 44829 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 51.29
Current children cumulated vsize (KiB) 199728

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=1109760/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=201800 CPUtime=102.06
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 52079 0 0 0 10177 29 0 0 25 0 1 0 157154142 206643200 50155 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 50450 50155 193 380 0 50067 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 220680

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=1088704/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=222804 CPUtime=162.04
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 57313 0 0 0 16173 31 0 0 25 0 1 0 157154142 228151296 55389 1992294400 134512640 136070948 4294956272 18446744073709551615 134653121 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 55701 55389 193 380 0 55318 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (KiB) 241684

[startup+222.302 s]

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

/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1422.13
Current children cumulated vsize (KiB) 355516

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=973056/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=337960 CPUtime=1481.69
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 86070 0 0 0 148120 49 0 0 25 0 1 0 157154142 346071040 84146 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 84490 84146 193 380 0 84107 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1482.11
Current children cumulated vsize (KiB) 356840

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=972992/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=337960 CPUtime=1541.67
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 86070 0 0 0 154118 49 0 0 25 0 1 0 157154142 346071040 84146 1992294400 134512640 136070948 4294956272 18446744073709551615 134619362 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 84490 84146 193 380 0 84107 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 356840

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=942784/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=368308 CPUtime=1601.66
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 93620 0 0 0 160111 55 0 0 25 0 1 0 157154142 377147392 91696 1992294400 134512640 136070948 4294956272 18446744073709551615 134615202 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 92077 91696 193 380 0 91694 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 387188

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=942720/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=368308 CPUtime=1661.65
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 93634 0 0 0 166110 55 0 0 25 0 1 0 157154142 377147392 91710 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 92077 91710 193 380 0 91694 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 387188

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=942656/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=368440 CPUtime=1721.63
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 93641 0 0 0 172108 55 0 0 25 0 1 0 157154142 377282560 91717 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 92110 91717 193 380 0 91727 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 387320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=942656/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=368440 CPUtime=1781.61
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 93641 0 0 0 178106 55 0 0 25 0 1 0 157154142 377282560 91717 1992294400 134512640 136070948 4294956272 18446744073709551615 134653121 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 92110 91717 193 380 0 91727 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 387320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=942656/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=368440 CPUtime=1799.61
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 93641 0 0 0 179906 55 0 0 25 0 1 0 157154142 377282560 91717 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 92110 91717 193 380 0 91727 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 387320

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

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

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8759
/proc/meminfo: memFree=942656/2055920 swapFree=4192952/4192956
[pid=8754] ppid=8752 vsize=12268 CPUtime=0
/proc/8754/stat : 8754 (perl) S 8752 8754 8525 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 157154141 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 266143317908 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8754/statm: 3067 413 319 3 0 167 0
[pid=8756] ppid=8754 vsize=5356 CPUtime=0.42
/proc/8756/stat : 8756 (sh) S 8754 8754 8525 0 -1 4194304 305 150 0 0 0 0 42 0 16 0 1 0 157154142 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8756/statm: 1339 227 188 169 0 50 0
[pid=8758] ppid=8756 vsize=368440 CPUtime=1799.61
/proc/8758/stat : 8758 (clasp) R 8756 8754 8525 0 -1 4194304 93641 0 0 0 179906 55 0 0 25 0 1 0 157154142 377282560 91717 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8758/statm: 92110 91717 193 380 0 91727 0
[pid=8759] ppid=8756 vsize=1256 CPUtime=0
/proc/8759/stat : 8759 (pbout) S 8756 8754 8525 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 157154142 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/8759/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 387320

Child status: 0

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

Real time (s): 1800.32
CPU time (s): 1800.03
CPU user time (s): 1799.48
CPU system time (s): 0.55
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 387320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.431934
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1443
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= 76
involuntary context switches= 14

runsolver used 1.49077 second user time and 5.06623 second system time

The end