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-3703420-1338075468/watcher-3703420-1338075468 -o /tmp/evaluation-result-3703420-1338075468/solver-3703420-1338075468 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703420-1338075468.opb 1973532858 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: 2.02 2.01 2.05 3/178 914
/proc/meminfo: memFree=26747024/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[startup+0.0755901 s]
/proc/loadavg: 2.02 2.01 2.05 3/178 914
/proc/meminfo: memFree=26747024/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100139 s]
/proc/loadavg: 2.02 2.01 2.05 3/178 914
/proc/meminfo: memFree=26747024/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300136 s]
/proc/loadavg: 2.02 2.01 2.05 3/178 914
/proc/meminfo: memFree=26747024/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700107 s]
/proc/loadavg: 2.02 2.01 2.05 3/178 914
/proc/meminfo: memFree=26747024/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50016 s]
/proc/loadavg: 2.02 2.01 2.05 3/180 916
/proc/meminfo: memFree=26724660/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=34896 CPUtime=1.49 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) R 914 914 4763 0 -1 4202496 3022 0 0 0 148 1 0 0 20 0 1 0 273672836 35733504 8106 33554432000 4194304 5992684 140735040712992 140735040708088 4571337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/915/statm: 8724 8106 147 440 0 8280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44044
[startup+3.10014 s]
/proc/loadavg: 2.02 2.01 2.05 3/180 916
/proc/meminfo: memFree=26701744/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=67664 CPUtime=3.09 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) R 914 914 4763 0 -1 4202496 3565 0 0 0 307 2 0 0 20 0 1 0 273672836 69287936 16298 33554432000 4194304 5992684 140735040712992 140735040708088 4375056 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/915/statm: 16916 16298 147 440 0 16472 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76812
[startup+6.30014 s]
/proc/loadavg: 2.02 2.01 2.05 3/180 916
/proc/meminfo: memFree=26633860/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=133200 CPUtime=6.29 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) R 914 914 4763 0 -1 4202496 4139 0 0 0 625 4 0 0 20 0 1 0 273672836 136396800 32170 33554432000 4194304 5992684 140735040712992 140735040708440 4571219 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/915/statm: 33300 32170 147 440 0 32856 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142348
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 917
/proc/meminfo: memFree=26059300/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=11.98 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18799 0 0 0 1142 56 0 0 20 0 1 0 273672836 674557952 101081 33554432000 4194304 5992684 140735040712992 140735040707440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101081 164 440 0 164243 0
[pid=917] ppid=915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/917/stat : 917 (cp2_pre.sh) S 915 914 4763 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273674035 9367552 277 33554432000 4194304 5064252 140733489578528 140733489577232 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/917/statm: 2287 277 234 213 0 72 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 677044
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 918
/proc/meminfo: memFree=24794732/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=11.98 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18799 0 0 0 1142 56 0 0 20 0 1 0 273672836 674557952 101081 33554432000 4194304 5992684 140735040712992 140735040707440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101081 164 440 0 164243 0
[pid=917] ppid=915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/917/stat : 917 (cp2_pre.sh) S 915 914 4763 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273674035 9367552 277 33554432000 4194304 5064252 140733489578528 140733489577232 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/917/statm: 2287 277 234 213 0 72 0
[pid=918] ppid=917 vsize=1210048 CPUtime=13.48 cores=1,3,5,7
/proc/918/stat : 918 (coprocessor) R 917 914 4763 0 -1 4202496 126155 0 0 0 1315 33 0 0 20 0 1 0 273674036 1239089152 289313 33554432000 4194304 6586260 140735059812080 140735059808104 4753878 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/918/statm: 302512 289313 179 584 0 301924 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1887092
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.05 3/181 920
/proc/meminfo: memFree=25322608/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=732428 CPUtime=4.98 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 70893 0 0 0 479 19 0 0 20 0 1 0 273677447 750006272 152016 33554432000 4194304 5654031 140735650882144 140735650879928 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/920/statm: 183107 152016 130 357 0 182747 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 1400324
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/181 920
/proc/meminfo: memFree=25250052/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=782128 CPUtime=56.17 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 82899 0 0 0 5597 20 0 0 20 0 1 0 273677447 800899072 165044 33554432000 4194304 5654031 140735650882144 140735650869960 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 195532 165044 140 357 0 195172 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 1450024
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/182 923
/proc/meminfo: memFree=25234896/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=784176 CPUtime=116.16 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 83404 0 0 0 11596 20 0 0 20 0 1 0 273677447 802996224 166060 33554432000 4194304 5654031 140735650882144 140735650879928 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 196044 166060 140 357 0 195684 0
Current children cumulated CPU time (s) 161.95
Current children cumulated vsize (KiB) 1452072
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 924
/proc/meminfo: memFree=25209660/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=789720 CPUtime=176.16 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 85001 0 0 0 17595 21 0 0 20 0 1 0 273677447 808673280 168168 33554432000 4194304 5654031 140735650882144 140735650879928 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 197430 168168 140 357 0 197070 0
Current children cumulated CPU time (s) 221.95
Current children cumulated vsize (KiB) 1457616
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 924
/proc/meminfo: memFree=25200380/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=25350612/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=955512 CPUtime=1255.96 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 96918 0 0 0 125571 25 0 0 20 0 1 0 273677447 978444288 223843 33554432000 4194304 5654031 140735650882144 140735650869960 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 238878 223843 140 357 0 238518 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 1623408
[startup+1362.3 s]
/proc/loadavg: 2.44 2.12 2.04 3/183 977
/proc/meminfo: memFree=19193136/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=955512 CPUtime=1315.95 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97087 0 0 0 131565 30 0 0 20 0 1 0 273677447 978444288 209683 33554432000 4194304 5654031 140735650882144 140735650880168 4232988 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 238878 209683 141 357 0 238518 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1623408
[startup+1422.3 s]
/proc/loadavg: 2.21 2.11 2.04 3/183 1000
/proc/meminfo: memFree=18906760/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=955512 CPUtime=1375.95 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97089 0 0 0 137565 30 0 0 20 0 1 0 273677447 978444288 210911 33554432000 4194304 5654031 140735650882144 140735650869960 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 238878 210911 141 357 0 238518 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1623408
[startup+1482.3 s]
/proc/loadavg: 2.67 2.27 2.10 3/181 1003
/proc/meminfo: memFree=22536508/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=955512 CPUtime=1435.93 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97089 0 0 0 143563 30 0 0 20 0 1 0 273677447 978444288 210911 33554432000 4194304 5654031 140735650882144 140735650869960 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 238878 210911 141 357 0 238518 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1623408
[startup+1542.31 s]
/proc/loadavg: 2.24 2.22 2.09 3/181 1003
/proc/meminfo: memFree=21132000/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=962804 CPUtime=1495.93 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97096 0 0 0 149563 30 0 0 20 0 1 0 273677447 985911296 213984 33554432000 4194304 5654031 140735650882144 140735650869960 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 240701 213984 141 357 0 240341 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1630700
[startup+1602.3 s]
/proc/loadavg: 2.09 2.17 2.08 3/180 1043
/proc/meminfo: memFree=25864876/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=962804 CPUtime=1555.91 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97097 0 0 0 155561 30 0 0 20 0 1 0 273677447 985911296 215314 33554432000 4194304 5654031 140735650882144 140735650869960 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 240701 215314 141 357 0 240341 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1630700
[startup+1662.3 s]
/proc/loadavg: 2.25 2.19 2.09 3/182 1045
/proc/meminfo: memFree=21777948/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=962804 CPUtime=1615.9 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97099 0 0 0 161560 30 0 0 20 0 1 0 273677447 985911296 216334 33554432000 4194304 5654031 140735650882144 140735650869960 4216577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 240701 216334 141 357 0 240341 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1630700
[startup+1722.3 s]
/proc/loadavg: 2.12 2.17 2.09 3/182 1045
/proc/meminfo: memFree=19166964/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=962804 CPUtime=1675.89 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97103 0 0 0 167559 30 0 0 20 0 1 0 273677447 985911296 217168 33554432000 4194304 5654031 140735650882144 140735650869960 4216312 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 240701 217168 141 357 0 240341 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1630700
[startup+1782.3 s]
/proc/loadavg: 2.10 2.15 2.09 3/182 1046
/proc/meminfo: memFree=17480052/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=962804 CPUtime=1735.88 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97104 0 0 0 173558 30 0 0 20 0 1 0 273677447 985911296 218110 33554432000 4194304 5654031 140735650882144 140735650869960 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 240701 218110 141 357 0 240341 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1630700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.14 2.15 2.09 3/181 1048
/proc/meminfo: memFree=21951460/32873648 swapFree=6864/6864
[pid=914] ppid=912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/914/stat : 914 (npSolver-pbo-It) S 912 914 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273672835 9367552 275 33554432000 4194304 5064252 140734561691504 140734561690416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/914/statm: 2287 275 233 213 0 72 0
[pid=915] ppid=914 vsize=658748 CPUtime=45.79 cores=1,3,5,7
/proc/915/stat : 915 (npSolver-pbo) S 914 914 4763 0 -1 4202496 18814 148236 0 0 1142 56 3287 94 20 0 1 0 273672836 674557952 101083 33554432000 4194304 5992684 140735040712992 140735040699256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/915/statm: 164687 101083 166 440 0 164243 0
[pid=920] ppid=915 vsize=962804 CPUtime=1754.29 cores=1,3,5,7
/proc/920/stat : 920 (glucosInc) R 915 914 4763 0 -1 4202496 97104 0 0 0 175399 30 0 0 20 0 1 0 273677447 985911296 218110 33554432000 4194304 5654031 140735650882144 140735650869960 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/920/statm: 240701 218110 141 357 0 240341 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1630700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
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 914 and gives
# childrusage.ru_utime.tv_sec=44
# childrusage.ru_utime.tv_usec=299265
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=514769
# CPU time returned by wait4() is 45.814
# 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.72
CPU time (s): 1800.08
CPU user time (s): 1798.28
CPU system time (s): 1.8
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 2049240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.2993
system time used= 1.51477
maximum resident set size= 1354368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1058944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 57
runsolver used 3.81942 second user time and 10.6454 second system time
The end