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-3703363-1338077899/watcher-3703363-1338077899 -o /tmp/evaluation-result-3703363-1338077899/solver-3703363-1338077899 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703363-1338077899.opb 1750005675 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.27 2.10 2.02 3/180 13027
/proc/meminfo: memFree=31535324/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[startup+0.0316639 s]
/proc/loadavg: 2.27 2.10 2.02 3/180 13027
/proc/meminfo: memFree=31535324/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.27 2.10 2.02 3/180 13027
/proc/meminfo: memFree=31535324/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300362 s]
/proc/loadavg: 2.27 2.10 2.02 3/180 13027
/proc/meminfo: memFree=31535324/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 2.27 2.10 2.02 3/180 13027
/proc/meminfo: memFree=31535324/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.27 2.10 2.02 3/183 13036
/proc/meminfo: memFree=31512228/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8072 CPUtime=0.53 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 2891 10393 0 0 7 7 31 8 20 0 1 0 273915636 8265728 1571 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2018 1571 194 440 0 1574 0
[pid=13036] ppid=13028 vsize=17416 CPUtime=0.94 cores=1,3,5,7
/proc/13036/stat : 13036 (glucosInc) R 13028 13027 3390 0 -1 4202496 3320 0 0 0 94 0 0 0 20 0 1 0 273915690 17833984 3548 33554432000 4194304 5654031 140733962665056 140733962662840 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13036/statm: 4354 3548 131 357 0 3994 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34636
[startup+3.10024 s]
/proc/loadavg: 2.25 2.10 2.02 3/183 13045
/proc/meminfo: memFree=31515392/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=2.89 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 4353 17670 0 0 11 7 261 10 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 17360
[startup+6.30031 s]
/proc/loadavg: 2.25 2.10 2.02 3/183 13063
/proc/meminfo: memFree=31511544/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=3.93 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 5067 21359 0 0 12 8 363 10 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13056] ppid=13028 vsize=15764 CPUtime=2.17 cores=1,3,5,7
/proc/13056/stat : 13056 (glucosInc) R 13028 13027 3390 0 -1 4202496 3994 0 0 0 217 0 0 0 20 0 1 0 273916047 16142336 3155 33554432000 4194304 5654031 140734531743440 140734531741224 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13056/statm: 3941 3155 141 357 0 3581 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 33124
[startup+12.7004 s]
/proc/loadavg: 2.21 2.09 2.02 3/183 13093
/proc/meminfo: memFree=31507412/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=7.84 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 5782 26675 0 0 14 8 750 12 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13079] ppid=13028 vsize=23332 CPUtime=4.66 cores=1,3,5,7
/proc/13079/stat : 13079 (glucosInc) R 13028 13027 3390 0 -1 4202496 5733 0 0 0 465 1 0 0 20 0 1 0 273916439 23891968 5129 33554432000 4194304 5654031 140735537039408 140735537027224 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13079/statm: 5833 5129 141 357 0 5473 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 40692
[startup+25.5003 s]
/proc/loadavg: 2.26 2.11 2.03 3/183 13153
/proc/meminfo: memFree=31500324/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=15.69 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 7212 37485 0 0 18 8 1529 14 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13118] ppid=13028 vsize=34888 CPUtime=9.58 cores=1,3,5,7
/proc/13118/stat : 13118 (glucosInc) R 13028 13027 3390 0 -1 4202496 5869 0 0 0 957 1 0 0 20 0 1 0 273917225 35725312 7250 33554432000 4194304 5654031 140734594664912 140734594652728 4215913 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13118/statm: 8722 7250 141 357 0 8362 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 52248
[startup+51.1004 s]
/proc/loadavg: 2.25 2.11 2.03 3/183 13267
/proc/meminfo: memFree=31505504/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=28.63 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 7926 44191 0 0 20 9 2817 17 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13176] ppid=13028 vsize=23320 CPUtime=22.26 cores=1,3,5,7
/proc/13176/stat : 13176 (glucosInc) R 13028 13027 3390 0 -1 4202496 6890 0 0 0 2225 1 0 0 20 0 1 0 273918518 23879680 5222 33554432000 4194304 5654031 140733729744384 140733729742264 4233012 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13176/statm: 5830 5222 141 357 0 5470 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 40680
[startup+102.307 s]
/proc/loadavg: 2.21 2.12 2.04 3/184 13501
/proc/meminfo: memFree=31476520/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=28.63 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 7926 44191 0 0 20 9 2817 17 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13176] ppid=13028 vsize=73044 CPUtime=73.44 cores=1,3,5,7
/proc/13176/stat : 13176 (glucosInc) R 13028 13027 3390 0 -1 4202496 9212 0 0 0 7341 3 0 0 20 0 1 0 273918518 74797056 12341 33554432000 4194304 5654031 140733729744384 140733729732200 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13176/statm: 18261 12341 141 357 0 17901 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 90404
[startup+162.3 s]
/proc/loadavg: 2.13 2.11 2.04 3/184 13762
/proc/meminfo: memFree=31484804/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=42148 CPUtime=31.85 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 9083 0 0 0 3183 2 0 0 20 0 1 0 273928678 43159552 9926 33554432000 4194304 5654031 140735468893456 140735468891480 4215026 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 10537 9926 141 357 0 10177 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 59508
[startup+222.3 s]
/proc/loadavg: 2.13 2.12 2.04 3/183 14021
/proc/meminfo: memFree=31449488/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=84716 CPUtime=91.84 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 10151 0 0 0 9180 4 0 0 20 0 1 0 273928678 86749184 19016 33554432000 4194304 5654031 140735468893456 140735468881272 4232710 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 21179 19016 141 357 0 20819 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 102076
[startup+282.3 s]
/proc/loadavg: 2.13 2.12 2.05 3/183 14286
/proc/meminfo: memFree=31450952/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=31345868/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=196112 CPUtime=1111.68 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 26870 0 0 0 111117 51 0 0 20 0 1 0 273928678 200818688 44383 33554432000 4194304 5654031 140735468893456 140735468891384 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 49028 44383 141 357 0 48668 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 213472
[startup+1302.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/184 18759
/proc/meminfo: memFree=31326264/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=196112 CPUtime=1171.67 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 27959 0 0 0 117113 54 0 0 20 0 1 0 273928678 200818688 48292 33554432000 4194304 5654031 140735468893456 140735468881272 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 49028 48292 141 357 0 48668 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 213472
[startup+1362.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/182 18892
/proc/meminfo: memFree=31308188/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=226932 CPUtime=1231.66 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 29800 0 0 0 123108 58 0 0 20 0 1 0 273928678 232378368 53154 33554432000 4194304 5654031 140735468893456 140735468881272 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 56733 53154 141 357 0 56373 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 244292
[startup+1422.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 18892
/proc/meminfo: memFree=31349688/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=146792 CPUtime=1291.66 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 30555 0 0 0 129105 61 0 0 20 0 1 0 273928678 150315008 36059 33554432000 4194304 5654031 140735468893456 140735468881272 4233448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 36698 36059 141 357 0 36338 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 164152
[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 18892
/proc/meminfo: memFree=31325368/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=146792 CPUtime=1351.63 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 31313 0 0 0 135100 63 0 0 20 0 1 0 273928678 150315008 36059 33554432000 4194304 5654031 140735468893456 140735468881272 4232963 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 36698 36059 141 357 0 36338 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 164152
[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 18895
/proc/meminfo: memFree=31285604/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=245704 CPUtime=1411.63 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 33417 0 0 0 141096 67 0 0 20 0 1 0 273928678 251600896 53751 33554432000 4194304 5654031 140735468893456 140735468891544 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 61426 53751 141 357 0 61066 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 263064
[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 18895
/proc/meminfo: memFree=31271068/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=245704 CPUtime=1471.62 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 34666 0 0 0 147092 70 0 0 20 0 1 0 273928678 251600896 53751 33554432000 4194304 5654031 140735468893456 140735468891544 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 61426 53751 141 357 0 61066 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 263064
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 18895
/proc/meminfo: memFree=31285176/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=214884 CPUtime=1531.6 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 35655 0 0 0 153087 73 0 0 20 0 1 0 273928678 220041216 49588 33554432000 4194304 5654031 140735468893456 140735468891384 4232929 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 53721 49588 141 357 0 53361 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 232244
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 18895
/proc/meminfo: memFree=31221508/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=295792 CPUtime=1591.6 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 36907 0 0 0 159084 76 0 0 20 0 1 0 273928678 302891008 61054 33554432000 4194304 5654031 140735468893456 140735468891544 4232817 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 73948 61054 141 357 0 73588 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 313152
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 18895
/proc/meminfo: memFree=31209520/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=245704 CPUtime=1651.59 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 37823 0 0 0 165081 78 0 0 20 0 1 0 273928678 251600896 56823 33554432000 4194304 5654031 140735468893456 140735468891544 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 61426 56823 141 357 0 61066 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 263064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 18895
/proc/meminfo: memFree=31233220/32873844 swapFree=7112/7112
[pid=13027] ppid=13025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (npSolver-pbo-It) S 13025 13027 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273915636 9367552 275 33554432000 4194304 5064252 140733970701984 140733970700896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2287 275 233 213 0 72 0
[pid=13028] ppid=13027 vsize=8212 CPUtime=130.2 cores=1,3,5,7
/proc/13028/stat : 13028 (npSolver-pbo) S 13027 13027 3390 0 -1 4202496 8638 53946 0 0 22 9 12967 22 20 0 1 0 273915636 8409088 1603 33554432000 4194304 5992684 140735028274656 140735028260488 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13028/statm: 2053 1603 194 440 0 1609 0
[pid=13622] ppid=13028 vsize=245704 CPUtime=1669.9 cores=1,3,5,7
/proc/13622/stat : 13622 (glucosInc) R 13028 13027 3390 0 -1 4202496 37832 0 0 0 166912 78 0 0 20 0 1 0 273928678 251600896 59895 33554432000 4194304 5654031 140735468893456 140735468891544 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13622/statm: 61426 59895 141 357 0 61066 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 263064
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.13
CPU user time (s): 1799.02
CPU system time (s): 1.10583
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 313152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.10583
maximum resident set size= 255120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 742
involuntary context switches= 2115
runsolver used 9.16061 second user time and 15.0307 second system time
The end