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-3746526-1339107224/watcher-3746526-1339107224 -o /tmp/evaluation-result-3746526-1339107224/solver-3746526-1339107224 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746526-1339107224.opb 1486413450 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: 2.00 2.00 2.00 3/178 2027
/proc/meminfo: memFree=19213996/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[startup+0.028265 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2027
/proc/meminfo: memFree=19213996/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2027
/proc/meminfo: memFree=19213996/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300169 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2027
/proc/meminfo: memFree=19213996/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2027
/proc/meminfo: memFree=19213996/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2033
/proc/meminfo: memFree=19190472/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=12388 CPUtime=1.06 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 3066 0 0 0 106 0 0 0 20 0 1 0 376847270 12685312 2663 33554432000 4194304 5654031 140736695935280 140736695923096 4232939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 3097 2663 141 357 0 2737 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 35820
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2033
/proc/meminfo: memFree=19187256/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=17524 CPUtime=2.65 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 4913 0 0 0 265 0 0 0 20 0 1 0 376847270 17944576 3858 33554432000 4194304 5654031 140736695935280 140736695933304 4214505 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 4381 3858 142 357 0 4021 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40956
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2033
/proc/meminfo: memFree=19178756/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=24596 CPUtime=5.86 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 5681 0 0 0 585 1 0 0 20 0 1 0 376847270 25186304 5074 33554432000 4194304 5654031 140736695935280 140736695923096 4214981 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 6149 5074 142 357 0 5789 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 48028
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2033
/proc/meminfo: memFree=19151516/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=27340 CPUtime=12.26 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 6815 0 0 0 1225 1 0 0 20 0 1 0 376847270 27996160 6461 33554432000 4194304 5654031 140736695935280 140736695923096 4215683 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 6835 6461 142 357 0 6475 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 50772
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2033
/proc/meminfo: memFree=19141200/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=74088 CPUtime=25.06 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 7523 0 0 0 2504 2 0 0 20 0 1 0 376847270 75866112 11731 33554432000 4194304 5654031 140736695935280 140736695923096 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 18522 11731 142 357 0 18162 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 97520
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2033
/proc/meminfo: memFree=19104168/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=74088 CPUtime=50.65 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 8697 0 0 0 5061 4 0 0 20 0 1 0 376847270 75866112 18148 33554432000 4194304 5654031 140736695935280 140736695923096 4214949 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 18522 18148 142 357 0 18162 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 97520
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2033
/proc/meminfo: memFree=19082340/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=75432 CPUtime=101.85 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 10748 0 0 0 10177 8 0 0 20 0 1 0 376847270 77242368 18484 33554432000 4194304 5654031 140736695935280 140736695923096 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 18858 18484 142 357 0 18498 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 98864
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2033
/proc/meminfo: memFree=19013888/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=124752 CPUtime=161.83 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 12473 0 0 0 16170 13 0 0 20 0 1 0 376847270 127746048 28371 33554432000 4194304 5654031 140736695935280 140736695923096 4215212 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 31188 28371 142 357 0 30828 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 148184
[startup+222.3 s]
/proc/loadavg: 2.08 2.02 2.00 2/183 2121
/proc/meminfo: memFree=24787112/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=75432 CPUtime=221.83 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 15485 0 0 0 22164 19 0 0 20 0 1 0 376847270 77242368 18484 33554432000 4194304 5654031 140736695935280 140736695923096 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 18858 18484 142 357 0 18498 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 98864
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 2267
/proc/meminfo: memFree=25088084/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=440188 CPUtime=1301.63 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 52826 0 0 0 130074 89 0 0 20 0 1 0 376847270 450752512 84600 33554432000 4194304 5654031 140736695935280 140736695923096 4215097 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 110047 84600 142 357 0 109687 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 463620
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2267
/proc/meminfo: memFree=25171852/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=307928 CPUtime=1361.62 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 54971 0 0 0 136068 94 0 0 20 0 1 0 376847270 315318272 63143 33554432000 4194304 5654031 140736695935280 140736695923096 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 76982 63143 142 357 0 76622 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 331360
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2267
/proc/meminfo: memFree=25287468/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=145632 CPUtime=1421.6 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 55692 0 0 0 142061 99 0 0 20 0 1 0 376847270 149127168 32567 33554432000 4194304 5654031 140736695935280 140736695923096 4232939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 36408 32567 142 357 0 36048 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 169064
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2268
/proc/meminfo: memFree=25157148/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=307928 CPUtime=1481.58 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 57661 0 0 0 148056 102 0 0 20 0 1 0 376847270 315318272 64679 33554432000 4194304 5654031 140736695935280 140736695923096 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 76982 64679 142 357 0 76622 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 331360
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2268
/proc/meminfo: memFree=25057728/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=440188 CPUtime=1541.58 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 58171 0 0 0 154053 105 0 0 20 0 1 0 376847270 450752512 88184 33554432000 4194304 5654031 140736695935280 140736695923096 4215121 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 110047 88184 142 357 0 109687 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 463620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2271
/proc/meminfo: memFree=25164388/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=307928 CPUtime=1601.56 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 60319 0 0 0 160047 109 0 0 20 0 1 0 376847270 315318272 61095 33554432000 4194304 5654031 140736695935280 140736695923096 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 76982 61095 142 357 0 76622 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 331360
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2271
/proc/meminfo: memFree=25076404/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=440188 CPUtime=1661.56 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 60834 0 0 0 166044 112 0 0 20 0 1 0 376847270 450752512 86648 33554432000 4194304 5654031 140736695935280 140736695923096 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 110047 86648 142 357 0 109687 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 463620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2272
/proc/meminfo: memFree=25201648/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=226540 CPUtime=1721.52 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 62496 0 0 0 172036 116 0 0 20 0 1 0 376847270 231976960 54951 33554432000 4194304 5654031 140736695935280 140736695923096 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 56635 54951 142 357 0 56275 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 249972
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2273
/proc/meminfo: memFree=25084420/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=440188 CPUtime=1781.52 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 63530 0 0 0 178033 119 0 0 20 0 1 0 376847270 450752512 83064 33554432000 4194304 5654031 140736695935280 140736695923096 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 110047 83064 142 357 0 109687 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 463620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2273
/proc/meminfo: memFree=25055748/32873844 swapFree=7628/7628
[pid=2027] ppid=2025 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2027/stat : 2027 (npSolver-pbo-It) S 2025 2027 638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376847227 9367552 274 33554432000 4194304 5064252 140735511939984 140735511938896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2027/statm: 2287 274 233 213 0 72 0
[pid=2028] ppid=2027 vsize=14284 CPUtime=0.41 cores=0,2,4,6
/proc/2028/stat : 2028 (npSolver-pbo) S 2027 2027 638 0 -1 4202496 5098 5386 0 0 11 1 28 1 20 0 1 0 376847227 14626816 3020 33554432000 4194304 6004724 140737253978640 140737253964920 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2028/statm: 3571 3020 152 442 0 3125 0
[pid=2033] ppid=2028 vsize=440188 CPUtime=1799.63 cores=0,2,4,6
/proc/2033/stat : 2033 (glucosInc) R 2028 2027 638 0 -1 4202496 63544 0 0 0 179843 120 0 0 20 0 1 0 376847270 450752512 90232 33554432000 4194304 5654031 140736695935280 140736695923096 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 110047 90232 142 357 0 109687 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 463620
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 2027 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=400939
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=31995
# CPU time returned by wait4() is 0.432934
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.82
CPU system time (s): 1.22
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 671396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.400939
system time used= 0.031995
maximum resident set size= 39376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 12
runsolver used 5.47617 second user time and 20.6319 second system time
The end