0.00/0.44 c old isEQ: 11, new EQ is 1
0.00/0.44 c old isEQ: 1, new EQ is 1
0.00/0.44 c old isEQ: 1, new EQ is 1
0.00/0.44 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
23.53/23.62 c run inc solver
23.53/23.62 c [INC SYSTEM] run initial solver
23.53/23.62 c [INC SYSTEM] preprocess with white file
101.13/102.20 c [INC SYSTEM] finished preprocessing in 78 s
101.13/102.20 c [INC SYSTEM] execute solver
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-3747061-1339098205/watcher-3747061-1339098205 -o /tmp/evaluation-result-3747061-1339098205/solver-3747061-1339098205 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747061-1339098205.opb 1098599510 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: 0.27 0.06 0.02 3/178 8034
/proc/meminfo: memFree=28558552/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[startup+0.0439019 s]
/proc/loadavg: 0.27 0.06 0.02 3/178 8034
/proc/meminfo: memFree=28558552/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 0.27 0.06 0.02 3/178 8034
/proc/meminfo: memFree=28558552/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 0.27 0.06 0.02 3/178 8034
/proc/meminfo: memFree=28558552/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700279 s]
/proc/loadavg: 0.27 0.06 0.02 3/178 8034
/proc/meminfo: memFree=28558552/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 0.27 0.06 0.02 3/180 8036
/proc/meminfo: memFree=28492952/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=195404 CPUtime=1.48 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) R 8034 8034 7856 0 -1 4202496 13513 0 0 0 143 5 0 0 20 0 1 0 375949024 200093696 34041 33554432000 4194304 6004724 140735291156176 140735291150776 4579276 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8035/statm: 48851 34041 162 442 0 48405 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 204552
[startup+3.10032 s]
/proc/loadavg: 0.41 0.09 0.03 3/180 8036
/proc/meminfo: memFree=28412700/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=326476 CPUtime=3.09 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) R 8034 8034 7856 0 -1 4202496 14147 0 0 0 300 9 0 0 20 0 1 0 375949024 334311424 64249 33554432000 4194304 6004724 140735291156176 140735291150776 4617984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8035/statm: 81619 64249 162 442 0 81173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 335624
[startup+6.30031 s]
/proc/loadavg: 0.41 0.09 0.03 3/180 8036
/proc/meminfo: memFree=28115804/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=588620 CPUtime=6.28 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) R 8034 8034 7856 0 -1 4202496 14908 0 0 0 612 16 0 0 20 0 1 0 375949024 602746880 126713 33554432000 4194304 6004724 140735291156176 140735291150776 4536305 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8035/statm: 147155 126713 162 442 0 146709 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 597768
[startup+12.7003 s]
/proc/loadavg: 0.65 0.16 0.05 3/180 8036
/proc/meminfo: memFree=27602632/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=1112908 CPUtime=12.69 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) R 8034 8034 7856 0 -1 4202496 15919 0 0 0 1238 31 0 0 20 0 1 0 375949024 1139617792 251130 33554432000 4194304 6004724 140735291156176 140735291150776 4582623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8035/statm: 278227 251130 163 442 0 277781 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1122056
[startup+25.5004 s]
/proc/loadavg: 0.86 0.22 0.07 3/182 8038
/proc/meminfo: memFree=25084172/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=23.56 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18497 0 0 0 2076 280 0 0 20 0 1 0 375949024 2185355264 404045 33554432000 4194304 6004724 140735291156176 140735291150640 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404045 171 442 0 533088 0
[pid=8037] ppid=8035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8037/stat : 8037 (cp2_pre.sh) S 8035 8034 7856 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 375951386 9367552 277 33554432000 4194304 5064252 140734036673088 140734036671792 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 2287 277 234 213 0 72 0
[pid=8038] ppid=8037 vsize=216672 CPUtime=1.86 cores=0,2,4,6
/proc/8038/stat : 8038 (coprocessor) R 8037 8034 7856 0 -1 4202496 14292 0 0 0 177 9 0 0 20 0 1 0 375951387 221872128 50422 33554432000 4194304 6586260 140735348113552 140735348110312 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/8038/statm: 54168 50422 137 584 0 53580 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 2369104
[startup+51.1004 s]
/proc/loadavg: 1.59 0.44 0.15 3/181 8038
/proc/meminfo: memFree=22734432/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=23.56 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18497 0 0 0 2076 280 0 0 20 0 1 0 375949024 2185355264 404045 33554432000 4194304 6004724 140735291156176 140735291150640 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404045 171 442 0 533088 0
[pid=8037] ppid=8035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8037/stat : 8037 (cp2_pre.sh) S 8035 8034 7856 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 375951386 9367552 277 33554432000 4194304 5064252 140734036673088 140734036671792 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 2287 277 234 213 0 72 0
[pid=8038] ppid=8037 vsize=2829508 CPUtime=26.7 cores=0,2,4,6
/proc/8038/stat : 8038 (coprocessor) R 8037 8034 7856 0 -1 4202496 25394 0 0 0 2545 125 0 0 20 0 1 0 375951387 2897416192 599814 33554432000 4194304 6586260 140735348113552 140735348109304 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 75 0 0
/proc/8038/statm: 707377 599814 158 584 0 706789 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 4981940
[startup+102.307 s]
/proc/loadavg: 1.89 0.71 0.26 3/182 8041
/proc/meminfo: memFree=25340508/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
Current children cumulated CPU time (s) 101.14
Current children cumulated vsize (KiB) 2143284
[startup+162.3 s]
/proc/loadavg: 1.99 0.96 0.37 3/181 8042
/proc/meminfo: memFree=21973852/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=3903416 CPUtime=60.07 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 382835 0 0 0 5887 120 0 0 20 0 1 0 375959244 3997097984 833864 33554432000 4194304 5654031 140737159826624 140737159824408 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 975854 833864 140 357 0 975494 0
Current children cumulated CPU time (s) 161.21
Current children cumulated vsize (KiB) 6046700
[startup+222.3 s]
/proc/loadavg: 1.99 1.15 0.47 3/181 8042
/proc/meminfo: memFree=21991848/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=3916872 CPUtime=120.06 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 390140 0 0 0 11884 122 0 0 20 0 1 0 375959244 4010876928 837435 33554432000 4194304 5654031 140737159826624 140737159824408 4219872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 979218 837435 141 357 0 978858 0
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (KiB) 6060156
[startup+282.3 s]
/proc/loadavg: 2.12 1.32 0.56 3/181 8088
/proc/meminfo: memFree=22024384/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=3924592 CPUtime=180.05 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=21780208/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4031080 CPUtime=1199.91 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 516520 0 0 0 119830 161 0 0 20 0 1 0 375959244 4127825920 868256 33554432000 4194304 5654031 140737159826624 140737159824408 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1007770 868256 141 357 0 1007410 0
Current children cumulated CPU time (s) 1301.05
Current children cumulated vsize (KiB) 6174364
[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.54 3/181 8121
/proc/meminfo: memFree=21812940/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4033148 CPUtime=1259.88 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 520783 0 0 0 125826 162 0 0 20 0 1 0 375959244 4129943552 868781 33554432000 4194304 5654031 140737159826624 140737159824408 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1008287 868781 141 357 0 1007927 0
Current children cumulated CPU time (s) 1361.02
Current children cumulated vsize (KiB) 6176432
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.57 3/181 8121
/proc/meminfo: memFree=21753804/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4036580 CPUtime=1319.89 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 525378 0 0 0 131824 165 0 0 20 0 1 0 375959244 4133457920 869640 33554432000 4194304 5654031 140737159826624 140737159824408 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1009145 869640 141 357 0 1008785 0
Current children cumulated CPU time (s) 1421.03
Current children cumulated vsize (KiB) 6179864
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.59 3/181 8121
/proc/meminfo: memFree=21725572/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4038428 CPUtime=1379.86 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 529593 0 0 0 137820 166 0 0 20 0 1 0 375959244 4135350272 870124 33554432000 4194304 5654031 140737159826624 140737159824408 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1009607 870124 141 357 0 1009247 0
Current children cumulated CPU time (s) 1481
Current children cumulated vsize (KiB) 6181712
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.61 3/181 8121
/proc/meminfo: memFree=21692548/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4042404 CPUtime=1439.85 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 538058 0 0 0 143816 169 0 0 20 0 1 0 375959244 4139421696 871634 33554432000 4194304 5654031 140737159826624 140737159824408 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1010601 871634 141 357 0 1010241 0
Current children cumulated CPU time (s) 1540.99
Current children cumulated vsize (KiB) 6185688
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.63 3/181 8124
/proc/meminfo: memFree=21712884/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4044516 CPUtime=1499.84 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 542301 0 0 0 149813 171 0 0 20 0 1 0 375959244 4141584384 872142 33554432000 4194304 5654031 140737159826624 140737159814440 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1011129 872142 141 357 0 1010769 0
Current children cumulated CPU time (s) 1600.98
Current children cumulated vsize (KiB) 6187800
[startup+1662.3 s]
/proc/loadavg: 2.03 2.00 1.66 3/181 8125
/proc/meminfo: memFree=21617216/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4046472 CPUtime=1559.83 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 546543 0 0 0 155811 172 0 0 20 0 1 0 375959244 4143587328 872641 33554432000 4194304 5654031 140737159826624 140737159824408 4233306 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1011618 872641 141 357 0 1011258 0
Current children cumulated CPU time (s) 1660.97
Current children cumulated vsize (KiB) 6189756
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/181 8125
/proc/meminfo: memFree=21795884/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4048276 CPUtime=1619.81 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 550703 0 0 0 161808 173 0 0 20 0 1 0 375959244 4145434624 873048 33554432000 4194304 5654031 140737159826624 140737159824408 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1012069 873048 141 357 0 1011709 0
Current children cumulated CPU time (s) 1720.95
Current children cumulated vsize (KiB) 6191560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/181 8125
/proc/meminfo: memFree=21739464/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4049800 CPUtime=1679.8 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 558574 0 0 0 167804 176 0 0 20 0 1 0 375959244 4146995200 873452 33554432000 4194304 5654031 140737159826624 140737159824696 4209096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1012450 873452 141 357 0 1012090 0
Current children cumulated CPU time (s) 1780.94
Current children cumulated vsize (KiB) 6193084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.70 3/181 8125
/proc/meminfo: memFree=21684944/32873844 swapFree=7384/7384
[pid=8034] ppid=8032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8034/stat : 8034 (npSolver-pbo-It) S 8032 8034 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375949024 9367552 274 33554432000 4194304 5064252 140737377120960 140737377119872 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 2287 274 233 213 0 72 0
[pid=8035] ppid=8034 vsize=2134136 CPUtime=101.14 cores=0,2,4,6
/proc/8035/stat : 8035 (npSolver-pbo) S 8034 8034 7856 0 -1 4202496 18514 26299 0 0 2076 280 7323 435 20 0 1 0 375949024 2185355264 404048 33554432000 4194304 6004724 140735291156176 140735291142456 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/8035/statm: 533534 404048 174 442 0 533088 0
[pid=8042] ppid=8035 vsize=4050328 CPUtime=1698.9 cores=0,2,4,6
/proc/8042/stat : 8042 (glucosInc) R 8035 8034 7856 0 -1 4202496 558688 0 0 0 169714 176 0 0 20 0 1 0 375959244 4147535872 873564 33554432000 4194304 5654031 140737159826624 140737159824408 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8042/statm: 1012582 873564 141 357 0 1012222 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 6193612
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 8034 and gives
# childrusage.ru_utime.tv_sec=94
# childrusage.ru_utime.tv_usec=9708
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=165910
# CPU time returned by wait4() is 101.176
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.42
CPU time (s): 1800.04
CPU user time (s): 1791.13
CPU system time (s): 8.91
CPU usage (%): 99.9234
Max. virtual memory (cumulated for all children) (KiB): 6234608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.0097
system time used= 7.16591
maximum resident set size= 3194972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45172
page faults= 0
swaps= 0
block input operations= 104
block output operations= 6213952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64
involuntary context switches= 112
runsolver used 3.87341 second user time and 10.2514 second system time
The end