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-3746923-1339110542/watcher-3746923-1339110542 -o /tmp/evaluation-result-3746923-1339110542/solver-3746923-1339110542 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746923-1339110542.opb 1157942001 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: 1.95 2.01 2.08 3/178 10697
/proc/meminfo: memFree=29743964/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[startup+0.0630539 s]
/proc/loadavg: 1.95 2.01 2.08 3/178 10697
/proc/meminfo: memFree=29743964/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100296 s]
/proc/loadavg: 1.95 2.01 2.08 3/178 10697
/proc/meminfo: memFree=29743964/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 1.95 2.01 2.08 3/178 10697
/proc/meminfo: memFree=29743964/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 1.95 2.01 2.08 3/178 10697
/proc/meminfo: memFree=29743964/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 1.95 2.01 2.08 3/182 10701
/proc/meminfo: memFree=29667224/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=0.2 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6889 0 0 0 18 2 0 0 20 0 1 0 377178563 22745088 5183 33554432000 4194304 6004724 140735795866304 140735795860768 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5183 164 442 0 5107 0
[pid=10700] ppid=10698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10700/stat : 10700 (cp2_pre.sh) S 10698 10697 7954 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 377178584 9367552 277 33554432000 4194304 5064252 140736613635376 140736613634080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10700/statm: 2287 277 234 213 0 72 0
[pid=10701] ppid=10700 vsize=57920 CPUtime=1.27 cores=1,3,5,7
/proc/10701/stat : 10701 (coprocessor) R 10700 10697 7954 0 -1 4202496 11615 0 0 0 125 2 0 0 20 0 1 0 377178584 59310080 13799 33554432000 4194304 6586260 140736235128352 140736235123608 5710727 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/10701/statm: 14480 13799 200 584 0 13892 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 98428
[startup+3.10037 s]
/proc/loadavg: 1.95 2.01 2.08 3/181 10703
/proc/meminfo: memFree=29698480/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=25732 CPUtime=1.41 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 5324 0 0 0 140 1 0 0 20 0 1 0 377178730 26349568 5583 33554432000 4194304 5654031 140737397314528 140737397302344 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10703/statm: 6433 5583 140 357 0 6073 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 57092
[startup+6.30037 s]
/proc/loadavg: 1.96 2.01 2.08 3/180 10703
/proc/meminfo: memFree=29690792/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=44964 CPUtime=4.61 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 7967 0 0 0 459 2 0 0 20 0 1 0 377178730 46043136 10062 33554432000 4194304 5654031 140737397314528 140737397312456 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10703/statm: 11241 10062 141 357 0 10881 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 76324
[startup+12.7004 s]
/proc/loadavg: 1.96 2.00 2.08 3/181 10704
/proc/meminfo: memFree=29677700/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=52144 CPUtime=11.02 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 8587 0 0 0 1099 3 0 0 20 0 1 0 377178730 53395456 10804 33554432000 4194304 5654031 140737397314528 140737397312328 4233424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10703/statm: 13036 10804 141 357 0 12676 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 83504
[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.09 3/181 10704
/proc/meminfo: memFree=29707844/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=56564 CPUtime=23.82 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 9513 0 0 0 2379 3 0 0 20 0 1 0 377178730 57921536 13260 33554432000 4194304 5654031 140737397314528 140737397312328 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10703/statm: 14141 13260 141 357 0 13781 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 87924
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 2.08 3/181 10704
/proc/meminfo: memFree=29683204/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=105876 CPUtime=49.41 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 11486 0 0 0 4936 5 0 0 20 0 1 0 377178730 108417024 17931 33554432000 4194304 5654031 140737397314528 140737397302344 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10703/statm: 26469 17931 141 357 0 26109 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 137236
[startup+102.307 s]
/proc/loadavg: 2.10 2.04 2.09 3/182 10707
/proc/meminfo: memFree=29650296/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=105892 CPUtime=100.61 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 12425 0 0 0 10054 7 0 0 20 0 1 0 377178730 108433408 24394 33554432000 4194304 5654031 140737397314528 140737397312408 4232973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10703/statm: 26473 24394 141 357 0 26113 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 137252
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.08 4/180 10709
/proc/meminfo: memFree=29713252/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=105892 CPUtime=160.59 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 12677 0 0 0 16051 8 0 0 20 0 1 0 377178730 108433408 24394 33554432000 4194304 5654031 140737397314528 140737397312552 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10703/statm: 26473 24394 141 357 0 26113 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 137252
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.08 3/181 10710
/proc/meminfo: memFree=29712916/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=155212 CPUtime=220.58 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 13062 0 0 0 22048 10 0 0 20 0 1 0 377178730 158937088 32513 33554432000 4194304 5654031 140737397314528 140737397312552 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10703/statm: 38803 32513 141 357 0 38443 0
Current children cumulated CPU time (s) 222.22
################
# More data... #
################
/proc/loadavg: 2.02 2.04 2.06 3/182 10809
/proc/meminfo: memFree=25978792/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=199732 CPUtime=1300.41 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 26329 0 0 0 129985 56 0 0 20 0 1 0 377178730 204525568 43685 33554432000 4194304 5654031 140737397314528 140737397302344 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 49933 43685 141 357 0 49573 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 231092
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10809
/proc/meminfo: memFree=25983160/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=199732 CPUtime=1360.4 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 27054 0 0 0 135981 59 0 0 20 0 1 0 377178730 204525568 42661 33554432000 4194304 5654031 140737397314528 140737397312616 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 49933 42661 141 357 0 49573 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 231092
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10809
/proc/meminfo: memFree=25991208/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=168912 CPUtime=1420.39 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 27191 0 0 0 141979 60 0 0 20 0 1 0 377178730 172965888 40546 33554432000 4194304 5654031 140737397314528 140737397312552 4233173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 42228 40546 141 357 0 41868 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 200272
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/181 10809
/proc/meminfo: memFree=25995224/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=168912 CPUtime=1480.38 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 27921 0 0 0 147975 63 0 0 20 0 1 0 377178730 172965888 39522 33554432000 4194304 5654031 140737397314528 140737397312552 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 42228 39522 141 357 0 41868 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 200272
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 10810
/proc/meminfo: memFree=25996140/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=168912 CPUtime=1540.38 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 28653 0 0 0 153973 65 0 0 20 0 1 0 377178730 172965888 37986 33554432000 4194304 5654031 140737397314528 140737397312552 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 42228 37986 141 357 0 41868 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 200272
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/181 10810
/proc/meminfo: memFree=25973272/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=199732 CPUtime=1600.36 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 29254 0 0 0 159970 66 0 0 20 0 1 0 377178730 204525568 43173 33554432000 4194304 5654031 140737397314528 140737397312616 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 49933 43173 141 357 0 49573 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 231092
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/181 10810
/proc/meminfo: memFree=25972572/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=199732 CPUtime=1660.35 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 29977 0 0 0 165967 68 0 0 20 0 1 0 377178730 204525568 42149 33554432000 4194304 5654031 140737397314528 140737397312616 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 49933 42149 141 357 0 49573 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 231092
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/181 10810
/proc/meminfo: memFree=25974240/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=168912 CPUtime=1720.35 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 30426 0 0 0 171965 70 0 0 20 0 1 0 377178730 172965888 41363 33554432000 4194304 5654031 140737397314528 140737397312552 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 42228 41363 141 357 0 41868 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 200272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 10810
/proc/meminfo: memFree=25972524/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=168912 CPUtime=1780.34 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 30848 0 0 0 177962 72 0 0 20 0 1 0 377178730 172965888 41058 33554432000 4194304 5654031 140737397314528 140737397312552 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 42228 41058 141 357 0 41868 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 200272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 10810
/proc/meminfo: memFree=25964240/32873844 swapFree=7632/7632
[pid=10697] ppid=10695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10697/stat : 10697 (npSolver-pbo-It) S 10695 10697 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377178562 9367552 275 33554432000 4194304 5064252 140735450079856 140735450078768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10697/statm: 2287 275 233 213 0 72 0
[pid=10698] ppid=10697 vsize=22212 CPUtime=1.64 cores=1,3,5,7
/proc/10698/stat : 10698 (npSolver-pbo) S 10697 10697 7954 0 -1 4202496 6907 13033 0 0 18 2 138 6 20 0 1 0 377178563 22745088 5186 33554432000 4194304 6004724 140735795866304 140735795852584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10698/statm: 5553 5186 167 442 0 5107 0
[pid=10703] ppid=10698 vsize=199732 CPUtime=1798.44 cores=1,3,5,7
/proc/10703/stat : 10703 (glucosInc) R 10698 10697 7954 0 -1 4202496 31443 0 0 0 179771 73 0 0 20 0 1 0 377178730 204525568 43173 33554432000 4194304 5654031 140737397314528 140737397312616 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10703/statm: 49933 43173 141 357 0 49573 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 231092
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10697 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=573760
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=97985
# CPU time returned by wait4() is 1.67174
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.27
CPU system time (s): 0.81
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 280412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.57376
system time used= 0.097985
maximum resident set size= 57244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 8
runsolver used 7.80781 second user time and 18.3182 second system time
The end