runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3700116-1338123822/watcher-3700116-1338123822 -o /tmp/evaluation-result-3700116-1338123822/solver-3700116-1338123822 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700116-1338123822.opb 956205011 HOME HOME
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11297
/proc/meminfo: memFree=30086024/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[startup+0.0187249 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11297
/proc/meminfo: memFree=30086024/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100254 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11297
/proc/meminfo: memFree=30086024/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11297
/proc/meminfo: memFree=30086024/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700128 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11297
/proc/meminfo: memFree=30086024/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 11299
/proc/meminfo: memFree=30069896/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=13528 CPUtime=1.49 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) R 11297 11297 11017 0 -1 4202496 2581 0 0 0 149 0 0 0 20 0 1 0 278506332 13852672 2594 33554432000 4194304 5992684 140735909043072 140735909038808 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 3382 2594 146 440 0 2938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22676
[startup+3.10028 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 11299
/proc/meminfo: memFree=29969964/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=49768 CPUtime=3.09 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) R 11297 11297 11017 0 -1 4202496 10024 0 0 0 307 2 0 0 20 0 1 0 278506332 50962432 11566 33554432000 4194304 5992684 140735909043072 140735909039192 4524687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 12442 11566 159 440 0 11998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58916
[startup+6.30031 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 11299
/proc/meminfo: memFree=29096508/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=591224 CPUtime=6.29 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) R 11297 11297 11017 0 -1 4202496 29826 0 0 0 618 11 0 0 20 0 1 0 278506332 605413376 94101 33554432000 4194304 5992684 140735909043072 140735909038040 5045366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 147806 94101 168 440 0 147362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 600372
[startup+12.7004 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 11303
/proc/meminfo: memFree=27297892/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=362840 CPUtime=6.64 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 30221 0 0 0 621 43 0 0 20 0 1 0 278506332 371548160 82367 33554432000 4194304 5992684 140735909043072 140735909037520 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 90710 82367 174 440 0 90266 0
[pid=11302] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (cp2_pre.sh) S 11298 11297 11017 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278506997 9367552 277 33554432000 4194304 5064252 140737441068992 140737441067696 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 2287 277 234 213 0 72 0
[pid=11303] ppid=11302 vsize=1107272 CPUtime=6.03 cores=1,3,5,7
/proc/11303/stat : 11303 (coprocessor) R 11302 11297 11017 0 -1 4202496 93724 0 0 0 576 27 0 0 20 0 1 0 278506998 1133846528 250700 33554432000 4194304 6586260 140735055361568 140735055357832 4496502 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 276818 250700 168 584 0 276230 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1488408
[startup+25.5004 s]
/proc/loadavg: 2.16 2.04 2.01 3/181 11307
/proc/meminfo: memFree=27752164/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=362840 CPUtime=21.98 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 30237 116681 0 0 621 43 1467 67 20 0 1 0 278506332 371548160 82369 33554432000 4194304 5992684 140735909043072 140735909029336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 90710 82369 176 440 0 90266 0
[pid=11307] ppid=11298 vsize=576216 CPUtime=2.53 cores=1,3,5,7
/proc/11307/stat : 11307 (glucosInc) R 11298 11297 11017 0 -1 4202496 81391 0 0 0 236 17 0 0 20 0 1 0 278508628 590045184 122137 33554432000 4194304 5654031 140736061221408 140736061219192 4215076 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11307/statm: 144054 122137 130 357 0 143694 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 948204
[startup+51.1004 s]
/proc/loadavg: 2.11 2.04 2.01 3/181 11307
/proc/meminfo: memFree=27729252/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=362840 CPUtime=21.98 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 30237 116681 0 0 621 43 1467 67 20 0 1 0 278506332 371548160 82369 33554432000 4194304 5992684 140735909043072 140735909029336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 90710 82369 176 440 0 90266 0
[pid=11307] ppid=11298 vsize=604824 CPUtime=28.12 cores=1,3,5,7
/proc/11307/stat : 11307 (glucosInc) R 11298 11297 11017 0 -1 4202496 86402 0 0 0 2794 18 0 0 20 0 1 0 278508628 619339776 129190 33554432000 4194304 5654031 140736061221408 140736061209224 4232563 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11307/statm: 151206 129190 140 357 0 150846 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (KiB) 976812
[startup+102.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/182 11353
/proc/meminfo: memFree=28261748/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=362840 CPUtime=21.98 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 30237 116681 0 0 621 43 1467 67 20 0 1 0 278506332 371548160 82369 33554432000 4194304 5992684 140735909043072 140735909029336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 90710 82369 176 440 0 90266 0
[pid=11307] ppid=11298 vsize=604824 CPUtime=79.31 cores=1,3,5,7
/proc/11307/stat : 11307 (glucosInc) R 11298 11297 11017 0 -1 4202496 86402 0 0 0 7913 18 0 0 20 0 1 0 278508628 619339776 129190 33554432000 4194304 5654031 140736061221408 140736061209224 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11307/statm: 151206 129190 140 357 0 150846 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 976812
[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/181 11353
/proc/meminfo: memFree=28257040/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=362840 CPUtime=21.98 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 30237 116681 0 0 621 43 1467 67 20 0 1 0 278506332 371548160 82369 33554432000 4194304 5992684 140735909043072 140735909029336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 90710 82369 176 440 0 90266 0
[pid=11307] ppid=11298 vsize=604824 CPUtime=139.31 cores=1,3,5,7
/proc/11307/stat : 11307 (glucosInc) R 11298 11297 11017 0 -1 4202496 86402 0 0 0 13913 18 0 0 20 0 1 0 278508628 619339776 129190 33554432000 4194304 5654031 140736061221408 140736061209224 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11307/statm: 151206 129190 140 357 0 150846 0
Current children cumulated CPU time (s) 161.29
Current children cumulated vsize (KiB) 976812
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 11353
/proc/meminfo: memFree=28257044/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=362840 CPUtime=21.98 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 30237 116681 0 0 621 43 1467 67 20 0 1 0 278506332 371548160 82369 33554432000 4194304 5992684 140735909043072 140735909029336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 90710 82369 176 440 0 90266 0
[pid=11307] ppid=11298 vsize=604824 CPUtime=199.3 cores=1,3,5,7
/proc/11307/stat : 11307 (glucosInc) R 11298 11297 11017 0 -1 4202496 86402 0 0 0 19912 18 0 0 20 0 1 0 278508628 619339776 129190 33554432000 4194304 5654031 140736061221408 140736061209224 4232925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11307/statm: 151206 129190 140 357 0 150846 0
Current children cumulated CPU time (s) 221.28
Current children cumulated vsize (KiB) 976812
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 11353
/proc/meminfo: memFree=28257168/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=362840 CPUtime=21.98 cores=1,3,5,7
################
# More data... #
################
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=700480 CPUtime=538.7 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 87238 0 0 0 53843 27 0 0 20 0 1 0 278582681 717291520 144664 33554432000 4194304 5654031 140736971668016 140736971655832 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 175120 144664 142 357 0 174760 0
Current children cumulated CPU time (s) 1300.92
Current children cumulated vsize (KiB) 1113112
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11366
/proc/meminfo: memFree=28022236/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=701808 CPUtime=598.68 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 87595 0 0 0 59840 28 0 0 20 0 1 0 278582681 718651392 149096 33554432000 4194304 5654031 140736971668016 140736971655832 4215097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 175452 149096 142 357 0 175092 0
Current children cumulated CPU time (s) 1360.9
Current children cumulated vsize (KiB) 1114440
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11366
/proc/meminfo: memFree=28055732/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=620960 CPUtime=658.67 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 88301 0 0 0 65837 30 0 0 20 0 1 0 278582681 635863040 140882 33554432000 4194304 5654031 140736971668016 140736971655832 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 155240 140882 142 357 0 154880 0
Current children cumulated CPU time (s) 1420.89
Current children cumulated vsize (KiB) 1033592
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11366
/proc/meminfo: memFree=28064436/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=622168 CPUtime=718.66 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 89857 0 0 0 71832 34 0 0 20 0 1 0 278582681 637100032 138629 33554432000 4194304 5654031 140736971668016 140736971655832 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 155542 138629 142 357 0 155182 0
Current children cumulated CPU time (s) 1480.88
Current children cumulated vsize (KiB) 1034800
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11366
/proc/meminfo: memFree=28028772/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=704492 CPUtime=778.65 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 90764 0 0 0 77829 36 0 0 20 0 1 0 278582681 721399808 144120 33554432000 4194304 5654031 140736971668016 140736971655832 4232655 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 176123 144120 142 357 0 175763 0
Current children cumulated CPU time (s) 1540.87
Current children cumulated vsize (KiB) 1117124
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11370
/proc/meminfo: memFree=28034440/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=623916 CPUtime=838.64 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 91555 0 0 0 83825 39 0 0 20 0 1 0 278582681 638889984 142243 33554432000 4194304 5654031 140736971668016 140736971655832 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 155979 142243 142 357 0 155619 0
Current children cumulated CPU time (s) 1600.86
Current children cumulated vsize (KiB) 1036548
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11370
/proc/meminfo: memFree=28046056/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=627272 CPUtime=898.64 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 93436 0 0 0 89820 44 0 0 20 0 1 0 278582681 642326528 139290 33554432000 4194304 5654031 140736971668016 140736971655832 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 156818 139290 142 357 0 156458 0
Current children cumulated CPU time (s) 1660.86
Current children cumulated vsize (KiB) 1039904
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11370
/proc/meminfo: memFree=28027876/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=627272 CPUtime=958.63 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 93464 0 0 0 95819 44 0 0 20 0 1 0 278582681 642326528 143406 33554432000 4194304 5654031 140736971668016 140736971655832 4208641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 156818 143406 142 357 0 156458 0
Current children cumulated CPU time (s) 1720.85
Current children cumulated vsize (KiB) 1039904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11370
/proc/meminfo: memFree=28025088/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=641288 CPUtime=1018.63 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 95853 0 0 0 101815 48 0 0 20 0 1 0 278582681 656678912 144011 33554432000 4194304 5654031 140736971668016 140736971655832 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 160322 144011 142 357 0 159962 0
Current children cumulated CPU time (s) 1780.85
Current children cumulated vsize (KiB) 1053920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11370
/proc/meminfo: memFree=28018820/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=641288 CPUtime=1037.82 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 95856 0 0 0 103734 48 0 0 20 0 1 0 278582681 656678912 145547 33554432000 4194304 5654031 140736971668016 140736971655832 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 160322 145547 142 357 0 159962 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1053920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11370
/proc/meminfo: memFree=28018820/32873648 swapFree=7368/7368
[pid=11297] ppid=11295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11297/stat : 11297 (npSolver-pbo-I.) S 11295 11297 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278506332 9367552 274 33554432000 4194304 5064252 140736472068128 140736472067040 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11297/statm: 2287 274 233 213 0 72 0
[pid=11298] ppid=11297 vsize=403484 CPUtime=762.22 cores=1,3,5,7
/proc/11298/stat : 11298 (npSolver-pbo) S 11297 11297 11017 0 -1 4202496 37053 204168 0 0 871 638 74592 121 20 0 1 0 278506332 413167616 92520 33554432000 4194304 5992684 140735909043072 140735909027976 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/11298/statm: 100871 92520 186 440 0 100427 0
[pid=11361] ppid=11298 vsize=641288 CPUtime=1037.82 cores=1,3,5,7
/proc/11361/stat : 11361 (glucosInc) R 11298 11297 11017 0 -1 4202496 95856 0 0 0 103734 48 0 0 20 0 1 0 278582681 656678912 145547 33554432000 4194304 5654031 140736971668016 140736971655832 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11361/statm: 160322 145547 142 357 0 159962 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1053920
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.52
CPU time (s): 1800.09
CPU user time (s): 1791.99
CPU system time (s): 8.09477
CPU usage (%): 99.9204
Max. virtual memory (cumulated for all children) (KiB): 1670660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 8.09477
maximum resident set size= 1324020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337444
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1313760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3749
involuntary context switches= 3973
runsolver used 3.56046 second user time and 10.8254 second system time
The end