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-3703169-1338093119/watcher-3703169-1338093119 -o /tmp/evaluation-result-3703169-1338093119/solver-3703169-1338093119 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703169-1338093119.opb 1694153866 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.65 2.23 2.06 3/178 31496
/proc/meminfo: memFree=28109708/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[startup+0.0294119 s]
/proc/loadavg: 2.65 2.23 2.06 3/178 31496
/proc/meminfo: memFree=28109708/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100255 s]
/proc/loadavg: 2.65 2.23 2.06 3/178 31496
/proc/meminfo: memFree=28109708/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 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.65 2.23 2.06 3/178 31496
/proc/meminfo: memFree=28109708/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700301 s]
/proc/loadavg: 2.65 2.23 2.06 3/178 31496
/proc/meminfo: memFree=28109708/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50681 s]
/proc/loadavg: 2.65 2.23 2.06 3/180 31498
/proc/meminfo: memFree=27939028/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=192480 CPUtime=1.49 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) R 31496 31496 15712 0 -1 4202496 20673 0 0 0 137 12 0 0 20 0 1 0 275436209 197099520 46179 33554432000 4194304 5992684 140736569383392 140736569372520 5182699 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31497/statm: 48120 46179 159 440 0 47676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201628
[startup+3.10046 s]
/proc/loadavg: 2.65 2.23 2.06 3/182 31500
/proc/meminfo: memFree=27380780/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=133648 CPUtime=1.53 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 20680 0 0 0 138 15 0 0 20 0 1 0 275436209 136855552 31477 33554432000 4194304 5992684 140736569383392 140736569377840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31497/statm: 33412 31477 165 440 0 32968 0
[pid=31499] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31499/stat : 31499 (cp2_pre.sh) S 31497 31496 15712 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 275436363 9367552 277 33554432000 4194304 5064252 140735564547696 140735564546400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31499/statm: 2287 277 234 213 0 72 0
[pid=31500] ppid=31499 vsize=620548 CPUtime=1.54 cores=1,3,5,7
/proc/31500/stat : 31500 (coprocessor) R 31499 31496 15712 0 -1 4202496 44027 0 0 0 140 14 0 0 20 0 1 0 275436363 635441152 135068 33554432000 4194304 6586260 140735176627744 140735176624072 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 155137 135070 164 584 0 154549 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 772492
[startup+6.3004 s]
/proc/loadavg: 2.59 2.23 2.06 3/184 31502
/proc/meminfo: memFree=26727888/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=133648 CPUtime=1.53 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 20680 0 0 0 138 15 0 0 20 0 1 0 275436209 136855552 31477 33554432000 4194304 5992684 140736569383392 140736569377840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31497/statm: 33412 31477 165 440 0 32968 0
[pid=31499] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31499/stat : 31499 (cp2_pre.sh) S 31497 31496 15712 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 275436363 9367552 277 33554432000 4194304 5064252 140735564547696 140735564546400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31499/statm: 2287 277 234 213 0 72 0
[pid=31500] ppid=31499 vsize=765244 CPUtime=4.75 cores=1,3,5,7
/proc/31500/stat : 31500 (coprocessor) R 31499 31496 15712 0 -1 4202496 77009 0 0 0 452 23 0 0 20 0 1 0 275436363 783609856 187463 33554432000 4194304 6586260 140735176627744 140735176623768 4753024 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 191311 187463 180 584 0 190723 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 917188
[startup+12.7005 s]
/proc/loadavg: 2.63 2.24 2.07 3/184 31502
/proc/meminfo: memFree=26299864/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=133648 CPUtime=1.53 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 20680 0 0 0 138 15 0 0 20 0 1 0 275436209 136855552 31477 33554432000 4194304 5992684 140736569383392 140736569377840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31497/statm: 33412 31477 165 440 0 32968 0
[pid=31499] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31499/stat : 31499 (cp2_pre.sh) S 31497 31496 15712 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 275436363 9367552 277 33554432000 4194304 5064252 140735564547696 140735564546400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31499/statm: 2287 277 234 213 0 72 0
[pid=31500] ppid=31499 vsize=867452 CPUtime=11.15 cores=1,3,5,7
/proc/31500/stat : 31500 (coprocessor) R 31499 31496 15712 0 -1 4202496 86114 0 0 0 1086 29 0 0 20 0 1 0 275436363 888270848 214464 33554432000 4194304 6586260 140735176627744 140735176623448 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31500/statm: 216863 214464 193 584 0 216275 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1019396
[startup+25.5004 s]
/proc/loadavg: 2.57 2.24 2.07 3/182 31506
/proc/meminfo: memFree=27013728/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=133648 CPUtime=15.26 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 20697 87017 0 0 138 15 1332 41 20 0 1 0 275436209 136855552 31479 33554432000 4194304 5992684 140736569383392 140736569369656 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31497/statm: 33412 31479 167 440 0 32968 0
[pid=31504] ppid=31497 vsize=387248 CPUtime=10.21 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) R 31497 31496 15712 0 -1 4202496 63308 0 0 0 1007 14 0 0 20 0 1 0 275437737 396541952 89371 33554432000 4194304 5654031 140736397549664 140736397547560 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31504/statm: 96812 89371 131 357 0 96452 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 530044
[startup+51.1004 s]
/proc/loadavg: 2.43 2.24 2.08 3/181 31560
/proc/meminfo: memFree=26672144/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=133648 CPUtime=15.26 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 20697 87017 0 0 138 15 1332 41 20 0 1 0 275436209 136855552 31479 33554432000 4194304 5992684 140736569383392 140736569369656 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31497/statm: 33412 31479 167 440 0 32968 0
[pid=31504] ppid=31497 vsize=387912 CPUtime=35.8 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) R 31497 31496 15712 0 -1 4202496 63691 0 0 0 3566 14 0 0 20 0 1 0 275437737 397221888 89746 33554432000 4194304 5654031 140736397549664 140736397547448 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31504/statm: 96978 89746 131 357 0 96618 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 530708
[startup+102.3 s]
/proc/loadavg: 2.45 2.27 2.10 3/183 31691
/proc/meminfo: memFree=26871304/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=133648 CPUtime=15.26 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 20697 87017 0 0 138 15 1332 41 20 0 1 0 275436209 136855552 31479 33554432000 4194304 5992684 140736569383392 140736569369656 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31497/statm: 33412 31479 167 440 0 32968 0
[pid=31504] ppid=31497 vsize=419676 CPUtime=86.99 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) R 31497 31496 15712 0 -1 4202496 64218 0 0 0 8684 15 0 0 20 0 1 0 275437737 429748224 90778 33554432000 4194304 5654031 140736397549664 140736397547544 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31504/statm: 104919 90778 131 357 0 104559 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 562472
[startup+162.3 s]
/proc/loadavg: 2.50 2.30 2.11 3/185 31738
/proc/meminfo: memFree=25069444/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=177068 CPUtime=19.99 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 24033 87533 0 0 238 379 1332 50 20 0 1 0 275436209 181317632 42356 33554432000 4194304 5992684 140736569383392 140736569375680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/31497/statm: 44267 42356 189 440 0 43823 0
[pid=31504] ppid=31497 vsize=422132 CPUtime=98.49 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) S 31497 31496 15712 0 -1 4202496 65895 0 0 0 9833 16 0 0 20 0 1 0 275437737 432263168 92965 33554432000 4194304 5654031 140736397549664 140736397547976 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31504/statm: 105533 92965 145 357 0 105173 0
[pid=31695] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31695/stat : 31695 (satsolver.sh) S 31497 31496 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275448071 9367552 266 33554432000 4194304 5064252 140736398671088 140736398670000 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31695/statm: 2287 266 226 213 0 72 0
[pid=31696] ppid=31695 vsize=390800 CPUtime=43.65 cores=1,3,5,7
/proc/31696/stat : 31696 (glucose) R 31695 31496 15712 0 -1 4202496 65666 0 0 0 4349 16 0 0 20 0 1 0 275448072 400179200 86558 33554432000 4194304 5208918 140736366092656 140736366090504 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31696/statm: 97700 86558 96 248 0 97449 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 1008296
[startup+222.3 s]
/proc/loadavg: 2.22 2.26 2.11 3/183 31747
/proc/meminfo: memFree=24513388/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.04 2.22 2.19 3/183 656
/proc/meminfo: memFree=26476036/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=177068 CPUtime=1302.51 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 91139 1078879 0 0 586 411 128691 563 20 0 1 0 275436209 181317632 42356 33554432000 4194304 5992684 140736569383392 140736569375680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/31497/statm: 44267 42356 189 440 0 43823 0
[pid=655] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/655/stat : 655 (satsolver.sh) S 31497 31496 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275576356 9367552 266 33554432000 4194304 5064252 140737314897328 140737314896240 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/655/statm: 2287 266 226 213 0 72 0
[pid=656] ppid=655 vsize=391472 CPUtime=80.81 cores=1,3,5,7
/proc/656/stat : 656 (glucose) R 655 31496 15712 0 -1 4202496 64675 0 0 0 8063 18 0 0 20 0 1 0 275576356 400867328 89707 33554432000 4194304 5208918 140736888245024 140736888242872 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/656/statm: 97868 89707 96 248 0 97617 0
[pid=31504] ppid=31497 vsize=422132 CPUtime=98.49 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) S 31497 31496 15712 0 -1 4202496 65895 0 0 0 9833 16 0 0 20 0 1 0 275437737 432263168 93692 33554432000 4194304 5654031 140736397549664 140736397547976 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31504/statm: 105533 93692 145 357 0 105173 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1008968
[startup+1542.3 s]
/proc/loadavg: 2.06 2.19 2.18 3/183 663
/proc/meminfo: memFree=26552296/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=177068 CPUtime=1405.43 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 96320 1154293 0 0 613 413 138914 603 20 0 1 0 275436209 181317632 42356 33554432000 4194304 5992684 140736569383392 140736569375680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/31497/statm: 44267 42356 189 440 0 43823 0
[pid=662] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/662/stat : 662 (satsolver.sh) S 31497 31496 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275586650 9367552 266 33554432000 4194304 5064252 140737462234864 140737462233776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/662/statm: 2287 266 226 213 0 72 0
[pid=663] ppid=662 vsize=390668 CPUtime=37.86 cores=1,3,5,7
/proc/663/stat : 663 (glucose) R 662 31496 15712 0 -1 4202496 64947 0 0 0 3769 17 0 0 20 0 1 0 275586650 400044032 86690 33554432000 4194304 5208918 140733886376400 140733886374248 4229307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/663/statm: 97667 86690 96 248 0 97416 0
[pid=31504] ppid=31497 vsize=422132 CPUtime=98.49 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) S 31497 31496 15712 0 -1 4202496 65895 0 0 0 9833 16 0 0 20 0 1 0 275437737 432263168 93692 33554432000 4194304 5654031 140736397549664 140736397547976 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31504/statm: 105533 93692 145 357 0 105173 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1008164
[startup+1602.3 s]
/proc/loadavg: 2.02 2.15 2.17 3/183 664
/proc/meminfo: memFree=26450672/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=177068 CPUtime=1405.43 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 96320 1154293 0 0 613 413 138914 603 20 0 1 0 275436209 181317632 42356 33554432000 4194304 5992684 140736569383392 140736569375680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/31497/statm: 44267 42356 189 440 0 43823 0
[pid=662] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/662/stat : 662 (satsolver.sh) S 31497 31496 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275586650 9367552 266 33554432000 4194304 5064252 140737462234864 140737462233776 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/662/statm: 2287 266 226 213 0 72 0
[pid=663] ppid=662 vsize=391604 CPUtime=97.84 cores=1,3,5,7
/proc/663/stat : 663 (glucose) R 662 31496 15712 0 -1 4202496 65199 0 0 0 9767 17 0 0 20 0 1 0 275586650 401002496 87951 33554432000 4194304 5208918 140733886376400 140733886374344 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/663/statm: 97901 87951 96 248 0 97650 0
[pid=31504] ppid=31497 vsize=422132 CPUtime=98.49 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) S 31497 31496 15712 0 -1 4202496 65895 0 0 0 9833 16 0 0 20 0 1 0 275437737 432263168 93692 33554432000 4194304 5654031 140736397549664 140736397547976 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31504/statm: 105533 93692 145 357 0 105173 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1009100
[startup+1662.3 s]
/proc/loadavg: 2.01 2.12 2.15 3/182 671
/proc/meminfo: memFree=26363216/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=177068 CPUtime=1505.86 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 101502 1228920 0 0 640 416 148888 642 20 0 1 0 275436209 181317632 42356 33554432000 4194304 5992684 140736569383392 140736569375680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/31497/statm: 44267 42356 189 440 0 43823 0
[pid=670] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/670/stat : 670 (satsolver.sh) S 31497 31496 15712 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275596695 9367552 266 33554432000 4194304 5064252 140737164685952 140737164684864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/670/statm: 2287 266 226 213 0 72 0
[pid=671] ppid=670 vsize=391068 CPUtime=57.39 cores=1,3,5,7
/proc/671/stat : 671 (glucose) R 670 31496 15712 0 -1 4202496 65016 0 0 0 5722 17 0 0 20 0 1 0 275596696 400453632 87272 33554432000 4194304 5208918 140735448173040 140735448170888 4229021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/671/statm: 97767 87272 96 248 0 97516 0
[pid=31504] ppid=31497 vsize=422132 CPUtime=98.49 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) S 31497 31496 15712 0 -1 4202496 65895 0 0 0 9833 16 0 0 20 0 1 0 275437737 432263168 93692 33554432000 4194304 5654031 140736397549664 140736397547976 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31504/statm: 105533 93692 145 357 0 105173 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1008564
[startup+1722.3 s]
/proc/loadavg: 2.00 2.10 2.14 3/184 682
/proc/meminfo: memFree=26494260/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=177068 CPUtime=1604.12 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 106683 1305712 0 0 666 418 158647 681 20 0 1 0 275436209 181317632 42356 33554432000 4194304 5992684 140736569383392 140736569375680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/31497/statm: 44267 42356 189 440 0 43823 0
[pid=681] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/681/stat : 681 (satsolver.sh) S 31497 31496 15712 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275606526 9367552 266 33554432000 4194304 5064252 140734069845056 140734069843968 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/681/statm: 2287 266 226 213 0 72 0
[pid=682] ppid=681 vsize=390272 CPUtime=19.11 cores=1,3,5,7
/proc/682/stat : 682 (glucose) R 681 31496 15712 0 -1 4202496 64275 0 0 0 1894 17 0 0 20 0 1 0 275606527 399638528 87386 33554432000 4194304 5208918 140736566419008 140736566416856 4229748 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/682/statm: 97568 87386 96 248 0 97317 0
[pid=31504] ppid=31497 vsize=422132 CPUtime=98.49 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) S 31497 31496 15712 0 -1 4202496 65895 0 0 0 9833 16 0 0 20 0 1 0 275437737 432263168 93692 33554432000 4194304 5654031 140736397549664 140736397547976 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31504/statm: 105533 93692 145 357 0 105173 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1007768
[startup+1782.3 s]
/proc/loadavg: 2.00 2.08 2.13 3/184 705
/proc/meminfo: memFree=26386304/32873844 swapFree=7616/7616
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=177068 CPUtime=1604.12 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 106683 1305712 0 0 666 418 158647 681 20 0 1 0 275436209 181317632 42356 33554432000 4194304 5992684 140736569383392 140736569375680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/31497/statm: 44267 42356 189 440 0 43823 0
[pid=681] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/681/stat : 681 (satsolver.sh) S 31497 31496 15712 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275606526 9367552 266 33554432000 4194304 5064252 140734069845056 140734069843968 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/681/statm: 2287 266 226 213 0 72 0
[pid=682] ppid=681 vsize=391472 CPUtime=79.09 cores=1,3,5,7
/proc/682/stat : 682 (glucose) R 681 31496 15712 0 -1 4202496 64588 0 0 0 7892 17 0 0 20 0 1 0 275606527 400867328 88709 33554432000 4194304 5208918 140736566419008 140736566416856 4229203 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/682/statm: 97868 88709 96 248 0 97617 0
[pid=31504] ppid=31497 vsize=422132 CPUtime=98.49 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) S 31497 31496 15712 0 -1 4202496 65895 0 0 0 9833 16 0 0 20 0 1 0 275437737 432263168 93692 33554432000 4194304 5654031 140736397549664 140736397547976 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31504/statm: 105533 93692 145 357 0 105173 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1008968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.00 2.07 2.13 3/184 708
/proc/meminfo: memFree=26653916/32873844 swapFree=7620/7620
[pid=31496] ppid=31494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31496/stat : 31496 (npSolver-pbo-It) S 31494 31496 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275436209 9367552 275 33554432000 4194304 5064252 140733906862432 140733906861344 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31496/statm: 2287 275 233 213 0 72 0
[pid=31497] ppid=31496 vsize=177068 CPUtime=1701.25 cores=1,3,5,7
/proc/31497/stat : 31497 (npSolver-pbo) S 31496 31496 15712 0 -1 4202496 106691 1372681 0 0 666 418 168338 703 20 0 1 0 275436209 181317632 42356 33554432000 4194304 5992684 140736569383392 140736569375168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/31497/statm: 44267 42356 189 440 0 43823 0
[pid=706] ppid=31497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/706/stat : 706 (cp2_post.sh) S 31497 31496 15712 0 -1 4202496 611 227 0 0 0 0 0 0 20 0 1 0 275616242 9367552 266 33554432000 4194304 5064252 140736487946368 140736487944656 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/706/statm: 2287 266 225 213 0 72 0
[pid=708] ppid=706 vsize=50924 CPUtime=0.65 cores=1,3,5,7
/proc/708/stat : 708 (coprocessor) R 706 31496 15712 0 -1 4202496 6773 0 0 0 61 4 0 0 20 0 1 0 275616243 52146176 9979 33554432000 4194304 6586260 140733466816096 140733466813112 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/708/statm: 12731 9979 148 584 0 12143 0
[pid=31504] ppid=31497 vsize=422132 CPUtime=98.49 cores=1,3,5,7
/proc/31504/stat : 31504 (glucosInc) S 31497 31496 15712 0 -1 4202496 65895 0 0 0 9833 16 0 0 20 0 1 0 275437737 432263168 93692 33554432000 4194304 5654031 140736397549664 140736397547976 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31504/statm: 105533 93692 145 357 0 105173 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 668420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31496 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.03
CPU time (s): 1800.39
CPU user time (s): 1788.98
CPU system time (s): 11.41
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 1054096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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= 4
involuntary context switches= 1
runsolver used 4.17037 second user time and 12.7571 second system time
The end