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-3748409-1339165082/watcher-3748409-1339165082 -o /tmp/evaluation-result-3748409-1339165082/solver-3748409-1339165082 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748409-1339165082.opb 644622974 HOME HOME
running on 4 cores: 0,2,4,6
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.02 1.19 1.76 3/173 17093
/proc/meminfo: memFree=31759280/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[startup+0.012286 s]
/proc/loadavg: 1.02 1.19 1.76 3/173 17093
/proc/meminfo: memFree=31759280/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 1.02 1.19 1.76 3/173 17093
/proc/meminfo: memFree=31759280/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300292 s]
/proc/loadavg: 1.02 1.19 1.76 3/173 17093
/proc/meminfo: memFree=31759280/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/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: 1.02 1.19 1.76 3/173 17093
/proc/meminfo: memFree=31759280/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.02 1.19 1.76 3/181 17108
/proc/meminfo: memFree=31600676/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=177416 CPUtime=1.49 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) R 17093 17093 6303 0 -1 4202496 16684 0 0 0 144 5 0 0 20 0 1 0 382633809 181673984 28838 33554432000 4194304 6004724 140734150352256 140734150346856 4534766 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 44354 28838 153 442 0 43908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186564
[startup+3.10034 s]
/proc/loadavg: 1.10 1.21 1.76 3/181 17108
/proc/meminfo: memFree=31381752/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=145380 CPUtime=2.38 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 17205 0 0 0 214 24 0 0 20 0 1 0 382633809 148869120 33136 33554432000 4194304 6004724 140734150352256 140734150346720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 36345 33136 163 442 0 35899 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 154528
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 1.10 1.21 1.76 3/183 17110
/proc/meminfo: memFree=30827556/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=145380 CPUtime=2.38 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 17205 0 0 0 214 24 0 0 20 0 1 0 382633809 148869120 33136 33554432000 4194304 6004724 140734150352256 140734150346720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 36345 33136 163 442 0 35899 0
[pid=17109] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17109/stat : 17109 (cp2_pre.sh) S 17094 17093 6303 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382634049 9367552 277 33554432000 4194304 5064252 140736594383424 140736594382128 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17109/statm: 2287 277 234 213 0 72 0
[pid=17110] ppid=17109 vsize=504832 CPUtime=3.88 cores=0,2,4,6
/proc/17110/stat : 17110 (coprocessor) R 17109 17093 6303 0 -1 4202496 59900 0 0 0 372 16 0 0 20 0 1 0 382634049 516947968 119325 33554432000 4194304 6586260 140733838008576 140733838004728 4789079 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/17110/statm: 126208 119326 170 584 0 125620 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 668508
[startup+12.7004 s]
/proc/loadavg: 1.17 1.22 1.76 3/181 17113
/proc/meminfo: memFree=30553856/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=145380 CPUtime=2.38 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 17205 0 0 0 214 24 0 0 20 0 1 0 382633809 148869120 33136 33554432000 4194304 6004724 140734150352256 140734150346720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 36345 33136 163 442 0 35899 0
[pid=17109] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17109/stat : 17109 (cp2_pre.sh) S 17094 17093 6303 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382634049 9367552 277 33554432000 4194304 5064252 140736594383424 140736594382128 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17109/statm: 2287 277 234 213 0 72 0
[pid=17110] ppid=17109 vsize=578480 CPUtime=10.28 cores=0,2,4,6
/proc/17110/stat : 17110 (coprocessor) R 17109 17093 6303 0 -1 4202496 71347 0 0 0 1009 19 0 0 20 0 1 0 382634049 592363520 137926 33554432000 4194304 6586260 140733838008576 140733838003944 4676454 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/17110/statm: 144620 137926 190 584 0 144032 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 742156
[startup+25.5004 s]
/proc/loadavg: 1.43 1.27 1.77 3/182 17115
/proc/meminfo: memFree=29154208/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=145380 CPUtime=2.38 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 17205 0 0 0 214 24 0 0 20 0 1 0 382633809 148869120 33136 33554432000 4194304 6004724 140734150352256 140734150346720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 36345 33136 163 442 0 35899 0
[pid=17109] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17109/stat : 17109 (cp2_pre.sh) S 17094 17093 6303 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382634049 9367552 277 33554432000 4194304 5064252 140736594383424 140736594382128 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17109/statm: 2287 277 234 213 0 72 0
[pid=17110] ppid=17109 vsize=579008 CPUtime=23.07 cores=0,2,4,6
/proc/17110/stat : 17110 (coprocessor) R 17109 17093 6303 0 -1 4202496 71479 0 0 0 2288 19 0 0 20 0 1 0 382634049 592904192 138058 33554432000 4194304 6586260 140733838008576 140733838003896 4683293 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/17110/statm: 144752 138058 190 584 0 144164 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 742684
[startup+51.1004 s]
/proc/loadavg: 1.69 1.35 1.78 3/181 17120
/proc/meminfo: memFree=29395928/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=296724 CPUtime=16.25 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 50155 0 0 0 1614 11 0 0 20 0 1 0 382637293 303845376 67433 33554432000 4194304 5654031 140735897408768 140735897396584 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17120/statm: 74181 67433 140 357 0 73821 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 489608
[startup+102.307 s]
/proc/loadavg: 1.91 1.47 1.80 3/181 17120
/proc/meminfo: memFree=29368140/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=307268 CPUtime=67.43 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 52873 0 0 0 6731 12 0 0 20 0 1 0 382637293 314642432 71684 33554432000 4194304 5654031 140735897408768 140735897396584 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17120/statm: 76817 71684 140 357 0 76457 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 500152
[startup+162.3 s]
/proc/loadavg: 2.02 1.57 1.81 3/182 17123
/proc/meminfo: memFree=29364168/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=313344 CPUtime=127.41 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 54681 0 0 0 12727 14 0 0 20 0 1 0 382637293 320864256 70696 33554432000 4194304 5654031 140735897408768 140735897396584 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17120/statm: 78336 70696 141 357 0 77976 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 506228
[startup+222.3 s]
/proc/loadavg: 2.00 1.65 1.82 3/181 17123
/proc/meminfo: memFree=29341744/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=323588 CPUtime=187.4 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 55928 0 0 0 18725 15 0 0 20 0 1 0 382637293 331354112 75009 33554432000 4194304 5654031 140735897408768 140735897406536 4219872 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17120/statm: 80897 75009 141 357 0 80537 0
################
# More data... #
################
/proc/loadavg: 2.08 2.00 1.92 3/182 17133
/proc/meminfo: memFree=29244088/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=397888 CPUtime=1327.09 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 73898 0 0 0 132656 53 0 0 20 0 1 0 382637293 407437312 84654 33554432000 4194304 5654031 140735897408768 140735897396584 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 99472 84654 141 357 0 99112 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 590772
[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.92 3/181 17133
/proc/meminfo: memFree=29255064/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=397888 CPUtime=1387.08 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 73910 0 0 0 138655 53 0 0 20 0 1 0 382637293 407437312 90798 33554432000 4194304 5654031 140735897408768 140735897396584 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 99472 90798 141 357 0 99112 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 590772
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/181 17133
/proc/meminfo: memFree=29268656/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=397888 CPUtime=1447.06 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 74457 0 0 0 144651 55 0 0 20 0 1 0 382637293 407437312 87382 33554432000 4194304 5654031 140735897408768 140735897396584 4232632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 99472 87382 141 357 0 99112 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 590772
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 17134
/proc/meminfo: memFree=29248176/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=397888 CPUtime=1507.06 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 74467 0 0 0 150650 56 0 0 20 0 1 0 382637293 407437312 92502 33554432000 4194304 5654031 140735897408768 140735897396584 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 99472 92502 141 357 0 99112 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 590772
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 17134
/proc/meminfo: memFree=29262384/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=398304 CPUtime=1567.04 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 74902 0 0 0 156647 57 0 0 20 0 1 0 382637293 407863296 88852 33554432000 4194304 5654031 140735897408768 140735897396584 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 99576 88852 141 357 0 99216 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 591188
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/181 17134
/proc/meminfo: memFree=29241904/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=399148 CPUtime=1627.03 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 75136 0 0 0 162645 58 0 0 20 0 1 0 382637293 408727552 94196 33554432000 4194304 5654031 140735897408768 140735897396584 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 99787 94196 141 357 0 99427 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 592032
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 17134
/proc/meminfo: memFree=29256428/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=399704 CPUtime=1687.03 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 75829 0 0 0 168642 61 0 0 20 0 1 0 382637293 409296896 90470 33554432000 4194304 5654031 140735897408768 140735897396584 4215132 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 99926 90470 141 357 0 99566 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 592588
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/181 17134
/proc/meminfo: memFree=29233032/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=400428 CPUtime=1747.02 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 76012 0 0 0 174641 61 0 0 20 0 1 0 382637293 410038272 96274 33554432000 4194304 5654031 140735897408768 140735897396584 4216540 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 100107 96274 141 357 0 99747 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 593312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 17134
/proc/meminfo: memFree=29225960/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=482352 CPUtime=1765.23 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 76777 0 0 0 176461 62 0 0 20 0 1 0 382637293 493928448 98051 33554432000 4194304 5654031 140735897408768 140735897396584 4215372 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 120588 98051 141 357 0 120228 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 675236
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 17134
/proc/meminfo: memFree=29225960/32873844 swapFree=7632/7632
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-pbo-I.) S 17091 17093 6303 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382633809 9367552 275 33554432000 4194304 5064252 140736922519600 140736922518512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 275 233 213 0 72 0
[pid=17094] ppid=17093 vsize=183736 CPUtime=34.8 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-pbo) S 17093 17093 6303 0 -1 4202496 21888 118464 0 0 303 383 2724 70 20 0 1 0 382633809 188145664 42022 33554432000 4194304 6004724 140734150352256 140734150337176 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/17094/statm: 45934 42022 179 442 0 45488 0
[pid=17120] ppid=17094 vsize=482352 CPUtime=1765.23 cores=0,2,4,6
/proc/17120/stat : 17120 (glucosInc) R 17094 17093 6303 0 -1 4202496 76777 0 0 0 176461 62 0 0 20 0 1 0 382637293 493928448 98051 33554432000 4194304 5654031 140735897408768 140735897396584 4215372 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17120/statm: 120588 98051 141 357 0 120228 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 675236
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17093 and gives
# childrusage.ru_utime.tv_sec=30
# childrusage.ru_utime.tv_usec=286395
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=539309
# CPU time returned by wait4() is 34.8257
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1794.88
CPU system time (s): 5.15
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 757628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2864
system time used= 4.53931
maximum resident set size= 567136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140727
page faults= 0
swaps= 0
block input operations= 8
block output operations= 731536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1204
involuntary context switches= 94
runsolver used 5.40318 second user time and 20.7248 second system time
The end