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-3746904-1339109137/watcher-3746904-1339109137 -o /tmp/evaluation-result-3746904-1339109137/solver-3746904-1339109137 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746904-1339109137.opb 177827900 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.99 3/178 11245
/proc/meminfo: memFree=22525288/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[startup+0.0275431 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 11245
/proc/meminfo: memFree=22525288/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 11245
/proc/meminfo: memFree=22525288/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 11245
/proc/meminfo: memFree=22525288/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700302 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 11245
/proc/meminfo: memFree=22525288/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50048 s]
/proc/loadavg: 1.93 1.99 1.99 3/182 11249
/proc/meminfo: memFree=22357964/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=37592 CPUtime=0.52 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 7306 0 0 0 47 5 0 0 20 0 1 0 377038035 38494208 8092 33554432000 4194304 6004724 140737258686736 140737258681200 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11246/statm: 9398 8092 164 442 0 8952 0
[pid=11248] ppid=11246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11248/stat : 11248 (cp2_pre.sh) S 11246 11245 9637 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377038087 9367552 277 33554432000 4194304 5064252 140733610779808 140733610778512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11248/statm: 2287 277 234 213 0 72 0
[pid=11249] ppid=11248 vsize=163032 CPUtime=0.96 cores=1,3,5,7
/proc/11249/stat : 11249 (coprocessor) R 11248 11245 9637 0 -1 4202496 29760 0 0 0 89 7 0 0 20 0 1 0 377038087 166944768 39493 33554432000 4194304 6586260 140735503582832 140735503579160 4770132 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/11249/statm: 40758 39493 176 584 0 40170 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 218920
[startup+3.10044 s]
/proc/loadavg: 1.93 1.99 1.99 3/182 11249
/proc/meminfo: memFree=22293268/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=37592 CPUtime=0.52 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 7306 0 0 0 47 5 0 0 20 0 1 0 377038035 38494208 8092 33554432000 4194304 6004724 140737258686736 140737258681200 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11246/statm: 9398 8092 164 442 0 8952 0
[pid=11248] ppid=11246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11248/stat : 11248 (cp2_pre.sh) S 11246 11245 9637 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377038087 9367552 277 33554432000 4194304 5064252 140733610779808 140733610778512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11248/statm: 2287 277 234 213 0 72 0
[pid=11249] ppid=11248 vsize=188432 CPUtime=2.56 cores=1,3,5,7
/proc/11249/stat : 11249 (coprocessor) R 11248 11245 9637 0 -1 4202496 33739 0 0 0 248 8 0 0 20 0 1 0 377038087 192954368 46027 33554432000 4194304 6586260 140735503582832 140735503578200 4676681 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/11249/statm: 47108 46027 192 584 0 46520 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 244320
[startup+6.3003 s]
/proc/loadavg: 1.94 1.99 1.99 3/181 11251
/proc/meminfo: memFree=22413852/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=37592 CPUtime=5.57 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) R 11245 11245 9637 0 -1 4202496 9096 35534 0 0 59 27 452 19 20 0 1 0 377038035 38494208 8101 33554432000 4194304 6004724 140737258686736 140737258673016 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11246/statm: 9398 8101 173 442 0 8952 0
[pid=11251] ppid=11246 vsize=84512 CPUtime=0.71 cores=1,3,5,7
/proc/11251/stat : 11251 (glucosInc) S 11246 11245 9637 0 -1 4202496 17149 0 0 0 66 5 0 0 20 0 1 0 377038559 86540288 19636 33554432000 4194304 5654031 140735765740560 140735765738872 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11251/statm: 21128 19636 146 357 0 20768 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 131252
[startup+12.7004 s]
/proc/loadavg: 1.94 1.99 1.99 3/181 11254
/proc/meminfo: memFree=22071832/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=52716 CPUtime=8.45 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 15597 53720 0 0 208 89 519 29 20 0 1 0 377038035 53981184 11891 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11246/statm: 13179 11891 182 442 0 12733 0
[pid=11254] ppid=11246 vsize=341800 CPUtime=4.21 cores=1,3,5,7
/proc/11254/stat : 11254 (glucosInc) R 11246 11245 9637 0 -1 4202496 54814 0 0 0 405 16 0 0 20 0 1 0 377038881 350003200 71468 33554432000 4194304 5654031 140736202938352 140736202926168 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11254/statm: 85450 71468 141 357 0 85090 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 403664
[startup+25.5005 s]
/proc/loadavg: 1.95 1.99 1.99 3/181 11254
/proc/meminfo: memFree=22067416/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=52716 CPUtime=8.45 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 15597 53720 0 0 208 89 519 29 20 0 1 0 377038035 53981184 11891 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11246/statm: 13179 11891 182 442 0 12733 0
[pid=11254] ppid=11246 vsize=348260 CPUtime=17.01 cores=1,3,5,7
/proc/11254/stat : 11254 (glucosInc) R 11246 11245 9637 0 -1 4202496 55610 0 0 0 1685 16 0 0 20 0 1 0 377038881 356618240 72775 33554432000 4194304 5654031 140736202938352 140736202926168 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11254/statm: 87065 72775 141 357 0 86705 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 410124
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/181 11256
/proc/meminfo: memFree=22075996/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=43436 CPUtime=32.49 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 22564 110279 0 0 346 108 2743 52 20 0 1 0 377038035 44478464 9604 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11246/statm: 10859 9604 183 442 0 10413 0
[pid=11256] ppid=11246 vsize=338372 CPUtime=18.56 cores=1,3,5,7
/proc/11256/stat : 11256 (glucosInc) R 11246 11245 9637 0 -1 4202496 54257 0 0 0 1841 15 0 0 20 0 1 0 377041286 346492928 73112 33554432000 4194304 5654031 140735391609056 140735391596872 4215121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11256/statm: 84593 73112 140 357 0 84233 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 390956
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 11258
/proc/meminfo: memFree=22077888/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=43340 CPUtime=70.45 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 30507 165386 0 0 485 128 6357 75 20 0 1 0 377038035 44380160 9580 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11246/statm: 10835 9580 183 442 0 10389 0
[pid=11258] ppid=11246 vsize=333576 CPUtime=31.84 cores=1,3,5,7
/proc/11258/stat : 11258 (glucosInc) R 11246 11245 9637 0 -1 4202496 54111 0 0 0 3168 16 0 0 20 0 1 0 377045079 341581824 70854 33554432000 4194304 5654031 140737479753440 140737479751128 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11258/statm: 83394 70854 140 357 0 83034 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 386064
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 11261
/proc/meminfo: memFree=22066072/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=43276 CPUtime=122.29 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 38818 220945 0 0 623 148 11361 97 20 0 1 0 377038035 44314624 9564 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 10819 9564 183 442 0 10373 0
[pid=11260] ppid=11246 vsize=337576 CPUtime=40 cores=1,3,5,7
/proc/11260/stat : 11260 (glucosInc) R 11246 11245 9637 0 -1 4202496 54142 0 0 0 3984 16 0 0 20 0 1 0 377050262 345677824 72313 33554432000 4194304 5654031 140734899807056 140734899794872 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11260/statm: 84394 72313 141 357 0 84034 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 390000
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 11261
/proc/meminfo: memFree=22050836/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=43276 CPUtime=122.29 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 38818 220945 0 0 623 148 11361 97 20 0 1 0 377038035 44314624 9564 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 10819 9564 183 442 0 10373 0
[pid=11260] ppid=11246 vsize=387664 CPUtime=99.99 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=22090268/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=323396 CPUtime=84.22 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 46938 0 0 0 8406 16 0 0 20 0 1 0 377153840 331157504 64762 33554432000 4194304 5654031 140734466544736 140734466532552 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 80849 64762 142 357 0 80489 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 372096
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 11309
/proc/meminfo: memFree=22090140/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=325152 CPUtime=144.22 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 49706 0 0 0 14400 22 0 0 20 0 1 0 377153840 332955648 73524 33554432000 4194304 5654031 140734466544736 140734466532552 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 81288 73524 142 357 0 80928 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 373852
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 11310
/proc/meminfo: memFree=22123840/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=278260 CPUtime=204.2 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 50727 0 0 0 20396 24 0 0 20 0 1 0 377153840 284938240 63411 33554432000 4194304 5654031 140734466544736 140734466532552 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 69565 63411 142 357 0 69205 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 326960
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11310
/proc/meminfo: memFree=22051148/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=409736 CPUtime=264.2 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 56988 0 0 0 26382 38 0 0 20 0 1 0 377153840 419569664 78761 33554432000 4194304 5654031 140734466544736 140734466542824 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 102434 78761 142 357 0 102074 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 458436
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11313
/proc/meminfo: memFree=21983316/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=542996 CPUtime=324.19 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 61156 0 0 0 32368 51 0 0 20 0 1 0 377153840 556027904 101140 33554432000 4194304 5654031 140734466544736 140734466542824 4218885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 135749 101140 142 357 0 135389 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 591696
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11313
/proc/meminfo: memFree=22033364/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=412660 CPUtime=384.15 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 64437 0 0 0 38349 66 0 0 20 0 1 0 377153840 422563840 86803 33554432000 4194304 5654031 140734466544736 140734466542824 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 103165 86803 142 357 0 102805 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 461360
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 11313
/proc/meminfo: memFree=22049152/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=337128 CPUtime=444.14 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 66614 0 0 0 44340 74 0 0 20 0 1 0 377153840 345219072 79760 33554432000 4194304 5654031 140734466544736 140734466532552 4216571 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 84282 79760 142 357 0 83922 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 385828
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11314
/proc/meminfo: memFree=22002368/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=420840 CPUtime=504.11 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 67683 0 0 0 50336 75 0 0 20 0 1 0 377153840 430940160 89303 33554432000 4194304 5654031 140734466544736 140734466532552 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 105210 89303 142 357 0 104850 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 469540
[startup+1722.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/181 11399
/proc/meminfo: memFree=20810176/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=289364 CPUtime=564.11 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 68224 0 0 0 56333 78 0 0 20 0 1 0 377153840 296308736 68807 33554432000 4194304 5654031 140734466544736 140734466532552 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 72341 68807 142 357 0 71981 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 338064
[startup+1782.3 s]
/proc/loadavg: 2.38 2.13 2.04 3/182 11401
/proc/meminfo: memFree=14835608/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=291192 CPUtime=624.09 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 69425 0 0 0 62329 80 0 0 20 0 1 0 377153840 298180608 62419 33554432000 4194304 5654031 140734466544736 140734466542584 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 72798 62419 142 357 0 72438 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 339892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.43 2.15 2.05 3/182 11401
/proc/meminfo: memFree=14322596/32873844 swapFree=7628/7628
[pid=11245] ppid=11243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11245/stat : 11245 (npSolver-pbo-It) S 11243 11245 9637 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377038034 9367552 275 33554432000 4194304 5064252 140734724637024 140734724635936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11245/statm: 2287 275 233 213 0 72 0
[pid=11246] ppid=11245 vsize=39552 CPUtime=1157.85 cores=1,3,5,7
/proc/11246/stat : 11246 (npSolver-pbo) S 11245 11245 9637 0 -1 4202496 102826 655659 0 0 1569 283 113603 330 20 0 1 0 377038035 40501248 8633 33554432000 4194304 6004724 140737258686736 140737258672584 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11246/statm: 9888 8633 183 442 0 9442 0
[pid=11309] ppid=11246 vsize=293032 CPUtime=643.31 cores=1,3,5,7
/proc/11309/stat : 11309 (glucosInc) R 11246 11245 9637 0 -1 4202496 69728 0 0 0 64250 81 0 0 20 0 1 0 377153840 300064768 64766 33554432000 4194304 5654031 140734466544736 140734466532552 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11309/statm: 73258 64766 142 357 0 72898 0
Current children cumulated CPU time (s) 1801.16
Current children cumulated vsize (KiB) 341732
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.52
CPU time (s): 1801.2
CPU user time (s): 1794.24
CPU system time (s): 6.95994
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 783964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 6.95994
maximum resident set size= 620248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 828592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2249920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14712
involuntary context switches= 3137
runsolver used 5.2432 second user time and 14.0729 second system time
The end