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-3746231-1339098187/watcher-3746231-1339098187 -o /tmp/evaluation-result-3746231-1339098187/solver-3746231-1339098187 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746231-1339098187.opb 292971896 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.17 0.05 0.01 5/173 737
/proc/meminfo: memFree=30416556/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[startup+0.032273 s]
/proc/loadavg: 0.17 0.05 0.01 5/173 737
/proc/meminfo: memFree=30416556/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100193 s]
/proc/loadavg: 0.17 0.05 0.01 5/173 737
/proc/meminfo: memFree=30416556/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300283 s]
/proc/loadavg: 0.17 0.05 0.01 5/173 737
/proc/meminfo: memFree=30416556/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700288 s]
/proc/loadavg: 0.17 0.05 0.01 5/173 737
/proc/meminfo: memFree=30416556/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 0.17 0.05 0.01 4/178 746
/proc/meminfo: memFree=30294996/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=24016 CPUtime=1.34 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 3915 0 0 0 134 0 0 0 20 0 1 0 375947326 24592384 4053 33554432000 4194304 5654031 140735591146368 140735591144216 4234964 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 6004 4053 141 357 0 5644 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 36484
[startup+3.10031 s]
/proc/loadavg: 0.17 0.05 0.01 4/178 746
/proc/meminfo: memFree=30174904/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=35724 CPUtime=2.94 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 5450 0 0 0 293 1 0 0 20 0 1 0 375947326 36581376 8330 33554432000 4194304 5654031 140735591146368 140735591144248 4215061 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 8931 8330 141 357 0 8571 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 48192
[startup+6.30036 s]
/proc/loadavg: 0.47 0.12 0.03 4/178 746
/proc/meminfo: memFree=29828452/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=35724 CPUtime=6.14 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 5648 0 0 0 612 2 0 0 20 0 1 0 375947326 36581376 8403 33554432000 4194304 5654031 140735591146368 140735591144392 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 8931 8403 141 357 0 8571 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 48192
[startup+12.7003 s]
/proc/loadavg: 0.60 0.15 0.04 4/178 746
/proc/meminfo: memFree=29344212/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=66072 CPUtime=12.54 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 6363 0 0 0 1251 3 0 0 20 0 1 0 375947326 67657728 16009 33554432000 4194304 5654031 140735591146368 140735591144392 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 16518 16009 141 357 0 16158 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 78540
[startup+25.5004 s]
/proc/loadavg: 0.91 0.24 0.07 4/178 746
/proc/meminfo: memFree=27123696/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=115392 CPUtime=25.33 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 7426 0 0 0 2528 5 0 0 20 0 1 0 375947326 118161408 24449 33554432000 4194304 5654031 140735591146368 140735591144392 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 28848 24449 141 357 0 28488 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 127860
[startup+51.1003 s]
/proc/loadavg: 1.62 0.46 0.15 4/180 748
/proc/meminfo: memFree=24204820/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=66072 CPUtime=50.93 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 10261 0 0 0 5082 11 0 0 20 0 1 0 375947326 67657728 16009 33554432000 4194304 5654031 140735591146368 140735591144392 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 16518 16009 141 357 0 16158 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 78540
[startup+102.306 s]
/proc/loadavg: 1.90 0.71 0.25 4/180 749
/proc/meminfo: memFree=22938992/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=146212 CPUtime=102.13 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 16287 0 0 0 10189 24 0 0 20 0 1 0 375947326 149721088 34756 33554432000 4194304 5654031 140735591146368 140735591144456 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 36553 34756 141 357 0 36193 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 158680
[startup+162.3 s]
/proc/loadavg: 1.96 0.94 0.36 3/179 751
/proc/meminfo: memFree=23559620/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=115392 CPUtime=162.11 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 22410 0 0 0 16172 39 0 0 20 0 1 0 375947326 118161408 24961 33554432000 4194304 5654031 140735591146368 140735591144392 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 28848 24961 141 357 0 28488 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 127860
[startup+222.3 s]
/proc/loadavg: 1.98 1.13 0.46 4/179 751
/proc/meminfo: memFree=23457112/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=196300 CPUtime=222.11 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 28028 0 0 0 22159 52 0 0 20 0 1 0 375947326 201011200 39153 33554432000 4194304 5654031 140735591146368 140735591144456 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 49075 39153 141 357 0 48715 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 208768
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 1.97 1.49 4/179 783
/proc/meminfo: memFree=23377036/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=196300 CPUtime=1301.94 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 79879 0 0 0 130035 159 0 0 20 0 1 0 375947326 201011200 41713 33554432000 4194304 5654031 140735591146368 140735591144456 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 49075 41713 141 357 0 48715 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 208768
[startup+1362.3 s]
/proc/loadavg: 2.05 1.99 1.53 4/179 784
/proc/meminfo: memFree=23292912/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=277688 CPUtime=1361.93 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 82192 0 0 0 136030 163 0 0 20 0 1 0 375947326 284352512 62235 33554432000 4194304 5654031 140735591146368 140735591144456 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 69422 62235 141 357 0 69062 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 290156
[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.56 4/179 784
/proc/meminfo: memFree=23424452/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=146212 CPUtime=1421.93 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 84624 0 0 0 142024 169 0 0 20 0 1 0 375947326 149721088 29467 33554432000 4194304 5654031 140735591146368 140735591144392 4215353 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 36553 29467 141 357 0 36193 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 158680
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.58 4/179 784
/proc/meminfo: memFree=23364976/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=196300 CPUtime=1481.91 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 86914 0 0 0 148015 176 0 0 20 0 1 0 375947326 201011200 44785 33554432000 4194304 5654031 140735591146368 140735591144456 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 49075 44785 141 357 0 48715 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 208768
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 4/179 784
/proc/meminfo: memFree=23330200/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=277688 CPUtime=1541.9 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 89225 0 0 0 154010 180 0 0 20 0 1 0 375947326 284352512 52507 33554432000 4194304 5654031 140735591146368 140735591144456 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 69422 52507 141 357 0 69062 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 290156
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.63 4/179 784
/proc/meminfo: memFree=23344272/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=277688 CPUtime=1601.89 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 91558 0 0 0 160002 187 0 0 20 0 1 0 375947326 284352512 49520 33554432000 4194304 5654031 140735591146368 140735591144456 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 69422 49520 141 357 0 69062 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 290156
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.65 4/180 788
/proc/meminfo: memFree=23345892/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=196300 CPUtime=1661.88 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 92982 0 0 0 165997 191 0 0 20 0 1 0 375947326 201011200 48563 33554432000 4194304 5654031 140735591146368 140735591144456 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 49075 48563 141 357 0 48715 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 208768
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 4/179 788
/proc/meminfo: memFree=23375520/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=196300 CPUtime=1721.88 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 95183 0 0 0 171992 196 0 0 20 0 1 0 375947326 201011200 41672 33554432000 4194304 5654031 140735591146368 140735591144456 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 49075 41672 141 357 0 48715 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 208768
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 4/179 788
/proc/meminfo: memFree=23374408/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=196300 CPUtime=1781.86 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 97290 0 0 0 177985 201 0 0 20 0 1 0 375947326 201011200 41907 33554432000 4194304 5654031 140735591146368 140735591144456 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 49075 41907 141 357 0 48715 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 208768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.69 3/179 788
/proc/meminfo: memFree=23294568/32873844 swapFree=7124/7124
[pid=735] ppid=731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (npSolver-pbo-It) S 731 735 694 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947311 9367552 274 33554432000 4194304 5064252 140733269760752 140733269759664 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/735/statm: 2287 274 233 213 0 72 0
[pid=738] ppid=735 vsize=3320 CPUtime=0.11 cores=0,2,4,6
/proc/738/stat : 738 (npSolver-pbo) S 735 735 694 0 -1 4202496 2035 3203 0 1 1 0 10 0 20 0 1 0 375947311 3399680 467 33554432000 4194304 6004724 140735621917696 140735621903976 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/738/statm: 830 467 152 442 0 384 0
[pid=746] ppid=738 vsize=277688 CPUtime=1799.96 cores=0,2,4,6
/proc/746/stat : 746 (glucosInc) R 738 735 694 0 -1 4202496 97840 0 0 0 179794 202 0 0 20 0 1 0 375947326 284352512 61363 33554432000 4194304 5654031 140735591146368 140735591144456 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/746/statm: 69422 61363 141 357 0 69062 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 290156
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 735 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=119981
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.135978
# 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): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1798.05
CPU system time (s): 2.02
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 502556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.119981
system time used= 0.015997
maximum resident set size= 30104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5614
page faults= 1
swaps= 0
block input operations= 232
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 8
runsolver used 2.80457 second user time and 7.05693 second system time
The end