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-3748644-1339113845/watcher-3748644-1339113845 -o /tmp/evaluation-result-3748644-1339113845/solver-3748644-1339113845 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748644-1339113845.opb 1783505412 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: 1.93 1.99 1.90 3/178 14216
/proc/meminfo: memFree=27582868/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[startup+0.039145 s]
/proc/loadavg: 1.93 1.99 1.90 3/178 14216
/proc/meminfo: memFree=27582868/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100332 s]
/proc/loadavg: 1.93 1.99 1.90 3/178 14216
/proc/meminfo: memFree=27582868/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 1.93 1.99 1.90 3/178 14216
/proc/meminfo: memFree=27582868/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700257 s]
/proc/loadavg: 1.93 1.99 1.90 3/178 14216
/proc/meminfo: memFree=27582868/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 1.93 1.99 1.90 3/182 14220
/proc/meminfo: memFree=27519776/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=17852 CPUtime=0.63 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 12475 0 0 0 59 4 0 0 20 0 1 0 377513037 18280448 3933 33554432000 4194304 6004724 140737180422992 140737180417456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 4463 3933 163 442 0 4017 0
[pid=14219] ppid=14217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14219/stat : 14219 (cp2_pre.sh) S 14217 14216 11882 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377513102 9367552 276 33554432000 4194304 5064252 140733535723184 140733535721888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14219/statm: 2287 276 234 213 0 72 0
[pid=14220] ppid=14219 vsize=49536 CPUtime=0.84 cores=1,3,5,7
/proc/14220/stat : 14220 (coprocessor) R 14219 14216 11882 0 -1 4202496 12419 0 0 0 81 3 0 0 20 0 1 0 377513102 50724864 11622 33554432000 4194304 6586260 140734100679872 140734100675416 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/14220/statm: 12384 11622 204 584 0 11796 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 85684
[startup+3.10028 s]
/proc/loadavg: 1.93 1.99 1.90 3/181 14224
/proc/meminfo: memFree=27554912/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=17856 CPUtime=2.09 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 12748 18045 0 0 68 28 105 8 20 0 1 0 377513037 18284544 3950 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 4464 3950 179 442 0 4018 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 27004
heavy processes:
[startup+6.30024 s]
/proc/loadavg: 1.94 1.99 1.90 3/181 14227
/proc/meminfo: memFree=27523604/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=17856 CPUtime=5.82 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 13207 31536 0 0 72 29 468 13 20 0 1 0 377513037 18284544 3951 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 4464 3951 180 442 0 4018 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 27004
[startup+12.7005 s]
/proc/loadavg: 1.94 1.99 1.91 3/181 14233
/proc/meminfo: memFree=27451540/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=10.05 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 14648 45436 0 0 81 30 876 18 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14233] ppid=14217 vsize=59252 CPUtime=2.16 cores=1,3,5,7
/proc/14233/stat : 14233 (glucosInc) R 14217 14216 11882 0 -1 4202496 12494 0 0 0 214 2 0 0 20 0 1 0 377514089 60674048 13150 33554432000 4194304 5654031 140735359486400 140735359484184 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14233/statm: 14813 13150 139 357 0 14453 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 96316
[startup+25.5005 s]
/proc/loadavg: 2.02 2.00 1.91 3/181 14233
/proc/meminfo: memFree=27444292/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=10.05 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 14648 45436 0 0 81 30 876 18 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14233] ppid=14217 vsize=69512 CPUtime=14.97 cores=1,3,5,7
/proc/14233/stat : 14233 (glucosInc) R 14217 14216 11882 0 -1 4202496 13272 0 0 0 1494 3 0 0 20 0 1 0 377514089 71180288 14438 33554432000 4194304 5654031 140735359486400 140735359484488 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14233/statm: 17378 14438 140 357 0 17018 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 106576
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.91 3/181 14233
/proc/meminfo: memFree=27419576/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=10.07 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 14833 45436 0 0 83 30 876 18 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14233] ppid=14217 vsize=82068 CPUtime=40.53 cores=1,3,5,7
/proc/14233/stat : 14233 (glucosInc) R 14217 14216 11882 0 -1 4202496 15354 0 0 0 4049 4 0 0 20 0 1 0 377514089 84037632 19057 33554432000 4194304 5654031 140735359486400 140735359474216 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14233/statm: 20517 19057 151 357 0 20157 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 119132
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 14233
/proc/meminfo: memFree=27404780/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=10.07 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 14833 45436 0 0 83 30 876 18 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14233] ppid=14217 vsize=93560 CPUtime=91.73 cores=1,3,5,7
/proc/14233/stat : 14233 (glucosInc) R 14217 14216 11882 0 -1 4202496 15879 0 0 0 9169 4 0 0 20 0 1 0 377514089 95805440 22102 33554432000 4194304 5654031 140735359486400 140735359474216 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14233/statm: 23390 22102 151 357 0 23030 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 130624
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 14233
/proc/meminfo: memFree=27334328/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=10.07 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 14833 45436 0 0 83 30 876 18 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14233] ppid=14217 vsize=112416 CPUtime=151.71 cores=1,3,5,7
/proc/14233/stat : 14233 (glucosInc) R 14217 14216 11882 0 -1 4202496 16593 0 0 0 15166 5 0 0 20 0 1 0 377514089 115113984 26411 33554432000 4194304 5654031 140735359486400 140735359474216 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14233/statm: 28104 26411 151 357 0 27744 0
Current children cumulated CPU time (s) 161.78
Current children cumulated vsize (KiB) 149480
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 14233
/proc/meminfo: memFree=27371364/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=10.07 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 14833 45436 0 0 83 30 876 18 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14233] ppid=14217 vsize=112416 CPUtime=211.7 cores=1,3,5,7
/proc/14233/stat : 14233 (glucosInc) R 14217 14216 11882 0 -1 4202496 16852 0 0 0 21164 6 0 0 20 0 1 0 377514089 115113984 27178 33554432000 4194304 5654031 140735359486400 140735359474216 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14233/statm: 28104 27178 151 357 0 27744 0
Current children cumulated CPU time (s) 221.77
Current children cumulated vsize (KiB) 149480
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 14233
/proc/meminfo: memFree=27299512/32873844 swapFree=7372/7372
################
# More data... #
################
/proc/meminfo: memFree=27331740/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=80808 CPUtime=29.59 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 12624 0 0 0 2955 4 0 0 20 0 1 0 377634306 82747392 18546 33554432000 4194304 5654031 140734280574368 140734280562184 4216579 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 20202 18546 141 357 0 19842 0
Current children cumulated CPU time (s) 1241.61
Current children cumulated vsize (KiB) 117872
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14246
/proc/meminfo: memFree=27217616/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=87972 CPUtime=89.57 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 14020 0 0 0 8952 5 0 0 20 0 1 0 377634306 90083328 20334 33554432000 4194304 5654031 140734280574368 140734280562184 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 21993 20334 141 357 0 21633 0
Current children cumulated CPU time (s) 1301.59
Current children cumulated vsize (KiB) 125036
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14246
/proc/meminfo: memFree=27292756/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=87972 CPUtime=149.56 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 14448 0 0 0 14950 6 0 0 20 0 1 0 377634306 90083328 20846 33554432000 4194304 5654031 140734280574368 140734280562184 4232601 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 21993 20846 141 357 0 21633 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 125036
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14246
/proc/meminfo: memFree=27190852/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=106828 CPUtime=209.56 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 14821 0 0 0 20950 6 0 0 20 0 1 0 377634306 109391872 24335 33554432000 4194304 5654031 140734280574368 140734280562184 4232813 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 26707 24335 141 357 0 26347 0
Current children cumulated CPU time (s) 1421.58
Current children cumulated vsize (KiB) 143892
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14246
/proc/meminfo: memFree=27273676/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=106828 CPUtime=269.55 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 15089 0 0 0 26948 7 0 0 20 0 1 0 377634306 109391872 25619 33554432000 4194304 5654031 140734280574368 140734280562184 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 26707 25619 141 357 0 26347 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 143892
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14247
/proc/meminfo: memFree=27197028/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=137896 CPUtime=329.53 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 15343 0 0 0 32946 7 0 0 20 0 1 0 377634306 141205504 26895 33554432000 4194304 5654031 140734280574368 140734280572248 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 34474 26895 141 357 0 34114 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 174960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 14250
/proc/meminfo: memFree=27302132/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=137896 CPUtime=389.53 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 15402 0 0 0 38945 8 0 0 20 0 1 0 377634306 141205504 28943 33554432000 4194304 5654031 140734280574368 140734280562184 4232408 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 34474 28943 141 357 0 34114 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 174960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14250
/proc/meminfo: memFree=27198684/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=137896 CPUtime=449.52 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 15402 0 0 0 44944 8 0 0 20 0 1 0 377634306 141205504 28987 33554432000 4194304 5654031 140734280574368 140734280562184 4232518 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 34474 28987 141 357 0 34114 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 174960
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14250
/proc/meminfo: memFree=27312300/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=137896 CPUtime=509.51 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 15402 0 0 0 50943 8 0 0 20 0 1 0 377634306 141205504 28987 33554432000 4194304 5654031 140734280574368 140734280562184 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 34474 28987 141 357 0 34114 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 174960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14250
/proc/meminfo: memFree=27200180/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=137896 CPUtime=569.5 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 15403 0 0 0 56942 8 0 0 20 0 1 0 377634306 141205504 29499 33554432000 4194304 5654031 140734280574368 140734280562184 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 34474 29499 141 357 0 34114 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 174960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 14294
/proc/meminfo: memFree=27193200/32873844 swapFree=7372/7372
[pid=14216] ppid=14214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14216/stat : 14216 (npSolver-pbo-I.) S 14214 14216 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377513037 9367552 275 33554432000 4194304 5064252 140737154005200 140737154004112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14216/statm: 2287 275 233 213 0 72 0
[pid=14217] ppid=14216 vsize=27916 CPUtime=1212.02 cores=1,3,5,7
/proc/14217/stat : 14217 (npSolver-pbo) S 14216 14216 11882 0 -1 4202496 15487 66987 0 0 87 31 121048 36 20 0 1 0 377513037 28585984 5815 33554432000 4194304 6004724 140737180422992 140737180407912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14217/statm: 6979 5815 182 442 0 6533 0
[pid=14245] ppid=14217 vsize=150796 CPUtime=588 cores=1,3,5,7
/proc/14245/stat : 14245 (glucosInc) R 14217 14216 11882 0 -1 4202496 15960 0 0 0 58792 8 0 0 20 0 1 0 377634306 154415104 34618 33554432000 4194304 5654031 140734280574368 140734280562184 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14245/statm: 37699 34618 141 357 0 37339 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 187860
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.06
CPU user time (s): 1799.28
CPU system time (s): 0.771882
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 243472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.771882
maximum resident set size= 175296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 106344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 823
involuntary context switches= 1998
runsolver used 6.79197 second user time and 19.2761 second system time
The end