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-3747293-1339101814/watcher-3747293-1339101814 -o /tmp/evaluation-result-3747293-1339101814/solver-3747293-1339101814 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747293-1339101814.opb 1218585522 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.00 2.01 1.92 3/178 24181
/proc/meminfo: memFree=27928188/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[startup+0.0711849 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 24181
/proc/meminfo: memFree=27928188/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100293 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 24181
/proc/meminfo: memFree=27928188/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300259 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 24181
/proc/meminfo: memFree=27928188/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 24181
/proc/meminfo: memFree=27928188/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 1.92 3/180 24183
/proc/meminfo: memFree=27813680/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=174784 CPUtime=1.49 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) R 24181 24181 23584 0 -1 4202496 23495 0 0 0 142 7 0 0 20 0 1 0 376306000 178978816 36886 33554432000 4194304 6004724 140736691638448 140736691634088 5055456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 43696 36886 154 442 0 43250 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 183932
[startup+3.10034 s]
/proc/loadavg: 2.00 2.01 1.92 3/180 24183
/proc/meminfo: memFree=27736788/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=371392 CPUtime=3.09 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) R 24181 24181 23584 0 -1 4202496 24667 0 0 0 297 12 0 0 20 0 1 0 376306000 380305408 64534 33554432000 4194304 6004724 140736691638448 140736691633064 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 92848 64534 154 442 0 92402 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 380540
[startup+6.30044 s]
/proc/loadavg: 2.00 2.01 1.92 3/182 24185
/proc/meminfo: memFree=27295428/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=344044 CPUtime=4.77 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 25350 0 0 0 424 53 0 0 20 0 1 0 376306000 352301056 80746 33554432000 4194304 6004724 140736691638448 140736691632912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 86011 80746 163 442 0 85565 0
[pid=24184] ppid=24182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24184/stat : 24184 (cp2_pre.sh) S 24182 24181 23584 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 376306480 9367552 276 33554432000 4194304 5064252 140735240092496 140735240091200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24184/statm: 2287 276 234 213 0 72 0
[pid=24185] ppid=24184 vsize=169740 CPUtime=1.5 cores=1,3,5,7
/proc/24185/stat : 24185 (coprocessor) R 24184 24181 23584 0 -1 4202496 13210 0 0 0 143 7 0 0 20 0 1 0 376306480 173813760 41377 33554432000 4194304 6586260 140736623069600 140736623066360 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24185/statm: 42435 41377 138 584 0 41847 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 532080
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.92 3/182 24185
/proc/meminfo: memFree=26490160/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=344044 CPUtime=4.77 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 25350 0 0 0 424 53 0 0 20 0 1 0 376306000 352301056 80746 33554432000 4194304 6004724 140736691638448 140736691632912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 86011 80746 163 442 0 85565 0
[pid=24184] ppid=24182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24184/stat : 24184 (cp2_pre.sh) S 24182 24181 23584 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 376306480 9367552 276 33554432000 4194304 5064252 140735240092496 140735240091200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24184/statm: 2287 276 234 213 0 72 0
[pid=24185] ppid=24184 vsize=955776 CPUtime=7.89 cores=1,3,5,7
/proc/24185/stat : 24185 (coprocessor) R 24184 24181 23584 0 -1 4202496 100929 0 0 0 755 34 0 0 20 0 1 0 376306480 978714624 235982 33554432000 4194304 6586260 140736623069600 140736623065528 4774851 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24185/statm: 238944 235982 173 584 0 238356 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1318116
[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 1.93 3/182 24185
/proc/meminfo: memFree=26233000/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=344044 CPUtime=4.77 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 25350 0 0 0 424 53 0 0 20 0 1 0 376306000 352301056 80746 33554432000 4194304 6004724 140736691638448 140736691632912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 86011 80746 163 442 0 85565 0
[pid=24184] ppid=24182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24184/stat : 24184 (cp2_pre.sh) S 24182 24181 23584 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 376306480 9367552 276 33554432000 4194304 5064252 140735240092496 140735240091200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24184/statm: 2287 276 234 213 0 72 0
[pid=24185] ppid=24184 vsize=1068088 CPUtime=20.68 cores=1,3,5,7
/proc/24185/stat : 24185 (coprocessor) R 24184 24181 23584 0 -1 4202496 115515 0 0 0 2009 59 0 0 20 0 1 0 376306480 1093722112 264804 33554432000 4194304 6586260 140736623069600 140736623065352 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24185/statm: 267022 264804 199 584 0 266434 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1430428
[startup+51.1005 s]
/proc/loadavg: 2.04 2.02 1.93 3/181 24187
/proc/meminfo: memFree=27102232/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=344044 CPUtime=26.76 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 25368 116415 0 0 424 53 2126 73 20 0 1 0 376306000 352301056 80750 33554432000 4194304 6004724 140736691638448 140736691624728 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 86011 80750 167 442 0 85565 0
[pid=24187] ppid=24182 vsize=440020 CPUtime=24.29 cores=1,3,5,7
/proc/24187/stat : 24187 (glucosInc) R 24182 24181 23584 0 -1 4202496 71443 0 0 0 2410 19 0 0 20 0 1 0 376308680 450580480 101055 33554432000 4194304 5654031 140736678767136 140736678754952 4232601 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 110005 101055 141 357 0 109645 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 793212
[startup+102.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 24187
/proc/meminfo: memFree=27088464/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=344044 CPUtime=26.76 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 25368 116415 0 0 424 53 2126 73 20 0 1 0 376306000 352301056 80750 33554432000 4194304 6004724 140736691638448 140736691624728 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 86011 80750 167 442 0 85565 0
[pid=24187] ppid=24182 vsize=494692 CPUtime=75.48 cores=1,3,5,7
/proc/24187/stat : 24187 (glucosInc) R 24182 24181 23584 0 -1 4202496 73024 0 0 0 7529 19 0 0 20 0 1 0 376308680 506564608 103638 33554432000 4194304 5654031 140736678767136 140736678754952 4232495 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 123673 103638 141 357 0 123313 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 847884
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/181 24278
/proc/meminfo: memFree=27719672/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=344044 CPUtime=26.76 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 25368 116415 0 0 424 53 2126 73 20 0 1 0 376306000 352301056 80750 33554432000 4194304 6004724 140736691638448 140736691624728 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 86011 80750 167 442 0 85565 0
[pid=24187] ppid=24182 vsize=502312 CPUtime=135.47 cores=1,3,5,7
/proc/24187/stat : 24187 (glucosInc) R 24182 24181 23584 0 -1 4202496 73704 0 0 0 13527 20 0 0 20 0 1 0 376308680 514367488 105338 33554432000 4194304 5654031 140736678767136 140736678754952 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 125578 105338 141 357 0 125218 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 855504
[startup+222.307 s]
/proc/loadavg: 2.07 2.03 1.94 3/181 24281
/proc/meminfo: memFree=27658760/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=344044 CPUtime=26.76 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 25368 116415 0 0 424 53 2126 73 20 0 1 0 376306000 352301056 80750 33554432000 4194304 6004724 140736691638448 140736691624728 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24182/statm: 86011 80750 167 442 0 85565 0
[pid=24187] ppid=24182 vsize=506236 CPUtime=195.47 cores=1,3,5,7
/proc/24187/stat : 24187 (glucosInc) R 24182 24181 23584 0 -1 4202496 74190 0 0 0 19527 20 0 0 20 0 1 0 376308680 518385664 106846 33554432000 4194304 5654031 140736678767136 140736678754952 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 126559 106846 141 357 0 126199 0
Current children cumulated CPU time (s) 222.23
################
# More data... #
################
/proc/loadavg: 2.09 2.06 1.98 3/181 24317
/proc/meminfo: memFree=27395960/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=549304 CPUtime=465.73 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 82082 0 0 0 46551 22 0 0 20 0 1 0 376395644 562487296 122621 33554432000 4194304 5654031 140736588208208 140736588196024 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 137326 122621 141 357 0 136966 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 942128
[startup+1422.3 s]
/proc/loadavg: 2.11 2.08 1.99 3/181 24317
/proc/meminfo: memFree=27387768/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=549304 CPUtime=525.73 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 82085 0 0 0 52551 22 0 0 20 0 1 0 376395644 562487296 124157 33554432000 4194304 5654031 140736588208208 140736588196024 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 137326 124157 141 357 0 136966 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 942128
[startup+1482.3 s]
/proc/loadavg: 2.04 2.06 1.99 3/181 24317
/proc/meminfo: memFree=27376536/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=553152 CPUtime=585.69 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 82859 0 0 0 58547 22 0 0 20 0 1 0 376395644 566427648 126437 33554432000 4194304 5654031 140736588208208 140736588196024 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 138288 126437 141 357 0 137928 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 945976
[startup+1542.31 s]
/proc/loadavg: 2.01 2.05 1.99 3/181 24317
/proc/meminfo: memFree=27369416/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=557040 CPUtime=645.68 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 83141 0 0 0 64546 22 0 0 20 0 1 0 376395644 570408960 128291 33554432000 4194304 5654031 140736588208208 140736588196024 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 139260 128291 141 357 0 138900 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 949864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/182 24320
/proc/meminfo: memFree=27365376/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=557040 CPUtime=705.68 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 83411 0 0 0 70545 23 0 0 20 0 1 0 376395644 570408960 129072 33554432000 4194304 5654031 140736588208208 140736588196024 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 139260 129072 141 357 0 138900 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 949864
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/181 24321
/proc/meminfo: memFree=27324676/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=561068 CPUtime=765.66 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 84090 0 0 0 76543 23 0 0 20 0 1 0 376395644 574533632 131284 33554432000 4194304 5654031 140736588208208 140736588196024 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 140267 131284 141 357 0 139907 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 953892
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 1.99 3/181 24321
/proc/meminfo: memFree=27350804/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=561068 CPUtime=825.65 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 84269 0 0 0 82542 23 0 0 20 0 1 0 376395644 574533632 132485 33554432000 4194304 5654031 140736588208208 140736588196024 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 140267 132485 141 357 0 139907 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 953892
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 24321
/proc/meminfo: memFree=27368804/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=565660 CPUtime=885.65 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 85035 0 0 0 88539 26 0 0 20 0 1 0 376395644 579235840 127865 33554432000 4194304 5654031 140736588208208 140736588196024 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 141415 127865 141 357 0 141055 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 958484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 24321
/proc/meminfo: memFree=27366880/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=565660 CPUtime=903.95 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 85036 0 0 0 90369 26 0 0 20 0 1 0 376395644 579235840 128377 33554432000 4194304 5654031 140736588208208 140736588196024 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 141415 128377 141 357 0 141055 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 958484
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 24321
/proc/meminfo: memFree=27366880/32873844 swapFree=7900/7900
[pid=24181] ppid=24179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24181/stat : 24181 (npSolver-pbo-It) S 24179 24181 23584 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376306000 9367552 275 33554432000 4194304 5064252 140734157482256 140734157481168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24181/statm: 2287 275 233 213 0 72 0
[pid=24182] ppid=24181 vsize=383676 CPUtime=896.11 cores=1,3,5,7
/proc/24182/stat : 24182 (npSolver-pbo) S 24181 24181 23584 0 -1 4202496 32785 193598 0 0 621 591 88271 128 20 0 1 0 376306000 392884224 90669 33554432000 4194304 6004724 140736691638448 140736691624296 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 14 0 0
/proc/24182/statm: 95919 90669 178 442 0 95473 0
[pid=24289] ppid=24182 vsize=565660 CPUtime=903.95 cores=1,3,5,7
/proc/24289/stat : 24289 (glucosInc) R 24182 24181 23584 0 -1 4202496 85036 0 0 0 90369 26 0 0 20 0 1 0 376395644 579235840 128377 33554432000 4194304 5654031 140736588208208 140736588196024 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24289/statm: 141415 128377 141 357 0 141055 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 958484
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24181 and gives
# childrusage.ru_utime.tv_sec=888
# childrusage.ru_utime.tv_usec=928862
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=209903
# CPU time returned by wait4() is 896.139
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.06
CPU user time (s): 1792.61
CPU system time (s): 7.45
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1459328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 888.929
system time used= 7.2099
maximum resident set size= 1088108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226757
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1279120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2451
involuntary context switches= 2117
runsolver used 6.81196 second user time and 21.1768 second system time
The end