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-3752438-1339171989/watcher-3752438-1339171989 -o /tmp/evaluation-result-3752438-1339171989/solver-3752438-1339171989 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752438-1339171989.opb 767419899 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: 2.00 2.00 2.00 3/178 2954
/proc/meminfo: memFree=24338828/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[startup+0.0252961 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2954
/proc/meminfo: memFree=24338828/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100319 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2954
/proc/meminfo: memFree=24338828/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2954
/proc/meminfo: memFree=24338828/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2954
/proc/meminfo: memFree=24338828/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2956
/proc/meminfo: memFree=24246100/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=147940 CPUtime=1.48 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) R 2954 2954 2649 0 -1 4202496 23478 0 0 0 143 5 0 0 20 0 1 0 383266024 151490560 33132 33554432000 4194304 6004724 140733398330688 140733398326712 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2955/statm: 36985 33132 130 442 0 36539 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 157088
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2956
/proc/meminfo: memFree=24107832/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=362872 CPUtime=3.09 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) R 2954 2954 2649 0 -1 4202496 50593 0 0 0 296 13 0 0 20 0 1 0 383266024 371580928 75907 33554432000 4194304 6004724 140733398330688 140733398324968 4582597 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2955/statm: 90718 75907 154 442 0 90272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372020
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2956
/proc/meminfo: memFree=23859832/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=756088 CPUtime=6.29 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) R 2954 2954 2649 0 -1 4202496 51923 0 0 0 607 22 0 0 20 0 1 0 383266024 774234112 135299 33554432000 4194304 6004724 140733398330688 140733398324968 4617922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2955/statm: 189022 135299 154 442 0 188576 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 765236
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2956
/proc/meminfo: memFree=23363752/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=1280376 CPUtime=12.69 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) R 2954 2954 2649 0 -1 4202496 52928 0 0 0 1232 37 0 0 20 0 1 0 383266024 1311105024 257155 33554432000 4194304 6004724 140733398330688 140733398325288 4534742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2955/statm: 320094 257155 154 442 0 319648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1289524
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2958
/proc/meminfo: memFree=20997672/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=23.3 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57711 0 0 0 2058 272 0 0 20 0 1 0 383266024 2394058752 416650 33554432000 4194304 6004724 140733398330688 140733398325152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2955/statm: 584487 416650 163 442 0 584041 0
[pid=2957] ppid=2955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2957/stat : 2957 (cp2_pre.sh) S 2955 2954 2649 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383268355 9367552 276 33554432000 4194304 5064252 140735107207936 140735107206640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2957/statm: 2287 276 234 213 0 72 0
[pid=2958] ppid=2957 vsize=262076 CPUtime=2.17 cores=0,2,4,6
/proc/2958/stat : 2958 (coprocessor) R 2957 2954 2649 0 -1 4202496 14679 0 0 0 207 10 0 0 20 0 1 0 383268356 268365824 62813 33554432000 4194304 6586260 140737163323472 140737163320360 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/2958/statm: 65519 62813 138 584 0 64931 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2618320
[startup+51.1004 s]
/proc/loadavg: 2.28 2.06 2.02 3/182 2958
/proc/meminfo: memFree=18648728/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=23.3 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57711 0 0 0 2058 272 0 0 20 0 1 0 383266024 2394058752 416650 33554432000 4194304 6004724 140733398330688 140733398325152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2955/statm: 584487 416650 163 442 0 584041 0
[pid=2957] ppid=2955 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2957/stat : 2957 (cp2_pre.sh) S 2955 2954 2649 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383268355 9367552 276 33554432000 4194304 5064252 140735107207936 140735107206640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2957/statm: 2287 276 234 213 0 72 0
[pid=2958] ppid=2957 vsize=2774240 CPUtime=27.11 cores=0,2,4,6
/proc/2958/stat : 2958 (coprocessor) R 2957 2954 2649 0 -1 4202496 25926 0 0 0 2573 138 0 0 20 0 1 0 383268356 2840821760 585773 33554432000 4194304 6586260 140737163323472 140737163319224 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 64 0 0
/proc/2958/statm: 693560 585773 158 584 0 692972 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 5130484
[startup+102.307 s]
/proc/loadavg: 2.25 2.08 2.03 3/182 3002
/proc/meminfo: memFree=16598512/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=2396900 CPUtime=8.37 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 223521 0 0 0 763 74 0 0 20 0 1 0 383275415 2454425600 466375 33554432000 4194304 5654031 140734824635040 140734823584392 4225056 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 599225 466375 108 357 0 598865 0
Current children cumulated CPU time (s) 100.13
Current children cumulated vsize (KiB) 4743996
[startup+162.3 s]
/proc/loadavg: 2.24 2.12 2.04 3/182 3003
/proc/meminfo: memFree=12468708/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3875624 CPUtime=68.36 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 367131 0 0 0 6710 126 0 0 20 0 1 0 383275415 3968638976 780421 33554432000 4194304 5654031 140734824635040 140734824632824 4214632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 968906 780421 140 357 0 968546 0
Current children cumulated CPU time (s) 160.12
Current children cumulated vsize (KiB) 6222720
[startup+222.3 s]
/proc/loadavg: 2.08 2.10 2.04 3/181 3005
/proc/meminfo: memFree=12989160/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3876548 CPUtime=128.36 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 367388 0 0 0 12710 126 0 0 20 0 1 0 383275415 3969585152 780678 33554432000 4194304 5654031 140734824635040 140734824632872 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 969137 780678 140 357 0 968777 0
Current children cumulated CPU time (s) 220.12
Current children cumulated vsize (KiB) 6223644
[startup+282.3 s]
/proc/loadavg: 2.03 2.08 2.03 3/181 3005
/proc/meminfo: memFree=12970112/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=12920364/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3877428 CPUtime=1268.17 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 371718 0 0 0 126690 127 0 0 20 0 1 0 383275415 3970486272 781389 33554432000 4194304 5654031 140734824635040 140734824632824 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 969357 781389 141 357 0 968997 0
Current children cumulated CPU time (s) 1359.93
Current children cumulated vsize (KiB) 6224524
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 3015
/proc/meminfo: memFree=12921376/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3877428 CPUtime=1328.16 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 371718 0 0 0 132689 127 0 0 20 0 1 0 383275415 3970486272 781389 33554432000 4194304 5654031 140734824635040 140734824632824 4214616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 969357 781389 141 357 0 968997 0
Current children cumulated CPU time (s) 1419.92
Current children cumulated vsize (KiB) 6224524
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 3015
/proc/meminfo: memFree=12921080/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3877428 CPUtime=1388.15 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 371718 0 0 0 138688 127 0 0 20 0 1 0 383275415 3970486272 781389 33554432000 4194304 5654031 140734824635040 140734824632824 4208659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 969357 781389 141 357 0 968997 0
Current children cumulated CPU time (s) 1479.91
Current children cumulated vsize (KiB) 6224524
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 3015
/proc/meminfo: memFree=12920896/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3877428 CPUtime=1448.14 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 371718 0 0 0 144687 127 0 0 20 0 1 0 383275415 3970486272 781389 33554432000 4194304 5654031 140734824635040 140734824632824 4232675 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 969357 781389 141 357 0 968997 0
Current children cumulated CPU time (s) 1539.9
Current children cumulated vsize (KiB) 6224524
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3015
/proc/meminfo: memFree=12920712/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3877428 CPUtime=1508.13 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 371718 0 0 0 150686 127 0 0 20 0 1 0 383275415 3970486272 781389 33554432000 4194304 5654031 140734824635040 140734824632824 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 969357 781389 141 357 0 968997 0
Current children cumulated CPU time (s) 1599.89
Current children cumulated vsize (KiB) 6224524
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3019
/proc/meminfo: memFree=12920412/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3878384 CPUtime=1568.13 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 376134 0 0 0 156684 129 0 0 20 0 1 0 383275415 3971465216 781628 33554432000 4194304 5654031 140734824635040 140734824622856 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 969596 781628 141 357 0 969236 0
Current children cumulated CPU time (s) 1659.89
Current children cumulated vsize (KiB) 6225480
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 3019
/proc/meminfo: memFree=12920604/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3878544 CPUtime=1628.12 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 380314 0 0 0 162682 130 0 0 20 0 1 0 383275415 3971629056 781679 33554432000 4194304 5654031 140734824635040 140734824633112 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 969636 781679 141 357 0 969276 0
Current children cumulated CPU time (s) 1719.88
Current children cumulated vsize (KiB) 6225640
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 3019
/proc/meminfo: memFree=12917912/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3880088 CPUtime=1688.11 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 387924 0 0 0 168678 133 0 0 20 0 1 0 383275415 3973210112 782032 33554432000 4194304 5654031 140734824635040 140734824622856 4232736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 970022 782032 141 357 0 969662 0
Current children cumulated CPU time (s) 1779.87
Current children cumulated vsize (KiB) 6227184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 3019
/proc/meminfo: memFree=12917764/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3880088 CPUtime=1708.31 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 387927 0 0 0 170698 133 0 0 20 0 1 0 383275415 3973210112 782035 33554432000 4194304 5654031 140734824635040 140734824622856 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 970022 782035 141 357 0 969662 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6227184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 3019
/proc/meminfo: memFree=12917764/32873844 swapFree=7128/7128
[pid=2954] ppid=2952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (npSolver-pbo-It) S 2952 2954 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383266024 9367552 275 33554432000 4194304 5064252 140737125292528 140737125291440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2954/statm: 2287 275 233 213 0 72 0
[pid=2955] ppid=2954 vsize=2337948 CPUtime=91.76 cores=0,2,4,6
/proc/2955/stat : 2955 (npSolver-pbo) S 2954 2954 2649 0 -1 4202496 57729 26829 0 0 2058 272 6445 401 20 0 1 0 383266024 2394058752 416654 33554432000 4194304 6004724 140733398330688 140733398316968 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/2955/statm: 584487 416654 167 442 0 584041 0
[pid=3000] ppid=2955 vsize=3880088 CPUtime=1708.31 cores=0,2,4,6
/proc/3000/stat : 3000 (glucosInc) R 2955 2954 2649 0 -1 4202496 387927 0 0 0 170698 133 0 0 20 0 1 0 383275415 3973210112 782035 33554432000 4194304 5654031 140734824635040 140734824622856 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3000/statm: 970022 782035 141 357 0 969662 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6227184
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2954 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=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.52
CPU time (s): 1800.07
CPU user time (s): 1792.01
CPU system time (s): 8.06
CPU usage (%): 99.864
Max. virtual memory (cumulated for all children) (KiB): 6268392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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 3.9294 second user time and 10.6854 second system time
The end