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-3746228-1339098187/watcher-3746228-1339098187 -o /tmp/evaluation-result-3746228-1339098187/solver-3746228-1339098187 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746228-1339098187.opb 292971896 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: 0.07 0.02 0.00 2/171 30180
/proc/meminfo: memFree=26605364/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (runsolver) D 30178 30180 30107 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 375943169 12095488 51 33554432000 4194304 5436572 140733205408896 140733205405192 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/30180/statm: 2953 51 31 304 0 2645 0
[startup+0.0602441 s]
/proc/loadavg: 0.07 0.02 0.00 2/171 30180
/proc/meminfo: memFree=26605364/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100317 s]
/proc/loadavg: 0.07 0.02 0.00 2/171 30180
/proc/meminfo: memFree=26605364/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300218 s]
/proc/loadavg: 0.07 0.02 0.00 2/171 30180
/proc/meminfo: memFree=26605364/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700232 s]
/proc/loadavg: 0.07 0.02 0.00 2/171 30180
/proc/meminfo: memFree=26605364/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 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.15 0.03 0.01 2/174 30186
/proc/meminfo: memFree=26594116/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=27348 CPUtime=1.41 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 3762 0 0 0 140 1 0 0 20 0 1 0 375943177 28004352 4493 33554432000 4194304 5654031 140734528629568 140734528627656 4215290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 6837 4493 141 357 0 6477 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 39168
[startup+3.10034 s]
/proc/loadavg: 0.15 0.03 0.01 2/174 30186
/proc/meminfo: memFree=26580516/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=27348 CPUtime=3.01 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 4058 0 0 0 300 1 0 0 20 0 1 0 375943177 28004352 6321 33554432000 4194304 5654031 140734528629568 140734528627448 4215130 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 6837 6321 141 357 0 6477 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 39168
[startup+6.30037 s]
/proc/loadavg: 0.29 0.06 0.02 2/174 30186
/proc/meminfo: memFree=26571456/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=34532 CPUtime=6.21 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 4294 0 0 0 620 1 0 0 20 0 1 0 375943177 35360768 8090 33554432000 4194304 5654031 140734528629568 140734528627368 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 8633 8090 141 357 0 8273 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 46352
[startup+12.7003 s]
/proc/loadavg: 0.43 0.10 0.03 3/181 30205
/proc/meminfo: memFree=26343620/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=46284 CPUtime=12.6 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 5060 0 0 0 1259 1 0 0 20 0 1 0 375943177 47394816 10098 33554432000 4194304 5654031 140734528629568 140734528627592 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 11571 10098 141 357 0 11211 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 58104
[startup+25.5004 s]
/proc/loadavg: 0.78 0.19 0.06 3/181 30205
/proc/meminfo: memFree=26321216/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=76636 CPUtime=25.4 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 5723 0 0 0 2538 2 0 0 20 0 1 0 375943177 78475264 13201 33554432000 4194304 5654031 140734528629568 140734528627448 4233173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 19159 13201 141 357 0 18799 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 88456
[startup+51.1004 s]
/proc/loadavg: 1.19 0.33 0.11 3/181 30205
/proc/meminfo: memFree=26286456/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=76636 CPUtime=50.99 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 6005 0 0 0 5097 2 0 0 20 0 1 0 375943177 78475264 14225 33554432000 4194304 5654031 140734528629568 140734528627592 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 19159 14225 141 357 0 18799 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 88456
[startup+102.307 s]
/proc/loadavg: 1.70 0.60 0.21 3/181 30252
/proc/meminfo: memFree=26070528/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=76636 CPUtime=102.19 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 8267 0 0 0 10211 8 0 0 20 0 1 0 375943177 78475264 14225 33554432000 4194304 5654031 140734528629568 140734528627592 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 19159 14225 141 357 0 18799 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 88456
[startup+162.3 s]
/proc/loadavg: 1.89 0.85 0.32 3/181 30252
/proc/meminfo: memFree=25992868/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=137744 CPUtime=162.18 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 11307 0 0 0 16203 15 0 0 20 0 1 0 375943177 141049856 32098 33554432000 4194304 5654031 140734528629568 140734528627496 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 34436 32098 141 357 0 34076 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 149564
[startup+222.301 s]
/proc/loadavg: 1.96 1.06 0.42 3/181 30254
/proc/meminfo: memFree=25992784/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=137744 CPUtime=222.17 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 13297 0 0 0 22196 21 0 0 20 0 1 0 375943177 141049856 31074 33554432000 4194304 5654031 140734528629568 140734528617384 4214949 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 34436 31074 141 357 0 34076 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 149564
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.06 1.98 1.49 3/181 30285
/proc/meminfo: memFree=25585536/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=237444 CPUtime=1301.98 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 59401 0 0 0 130074 124 0 0 20 0 1 0 375943177 243142656 58601 33554432000 4194304 5654031 140734528629568 140734528627656 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 59361 58601 141 357 0 59001 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 249264
[startup+1362.3 s]
/proc/loadavg: 2.02 1.98 1.51 3/181 30286
/proc/meminfo: memFree=25425428/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=238992 CPUtime=1361.97 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 61879 0 0 0 136068 129 0 0 20 0 1 0 375943177 244727808 55916 33554432000 4194304 5654031 140734528629568 140734528627656 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 59748 55916 141 357 0 59388 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 250812
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.54 3/181 30286
/proc/meminfo: memFree=25795320/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=290092 CPUtime=1421.96 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 63632 0 0 0 142063 133 0 0 20 0 1 0 375943177 297054208 60566 33554432000 4194304 5654031 140734528629568 140734528627656 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 72523 60566 141 357 0 72163 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 301912
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.57 3/181 30286
/proc/meminfo: memFree=25615328/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=240816 CPUtime=1481.95 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 65907 0 0 0 148056 139 0 0 20 0 1 0 375943177 246595584 57908 33554432000 4194304 5654031 140734528629568 140734528627656 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 60204 57908 141 357 0 59844 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 252636
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.59 3/181 30286
/proc/meminfo: memFree=25464932/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=209996 CPUtime=1541.94 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 67692 0 0 0 154049 145 0 0 20 0 1 0 375943177 215035904 49137 33554432000 4194304 5654031 140734528629568 140734528627592 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 52499 49137 141 357 0 52139 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 221816
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.61 3/181 30286
/proc/meminfo: memFree=25288420/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=240816 CPUtime=1601.93 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 69481 0 0 0 160044 149 0 0 20 0 1 0 375943177 246595584 56884 33554432000 4194304 5654031 140734528629568 140734528627656 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 60204 56884 141 357 0 59844 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 252636
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.64 4/182 30290
/proc/meminfo: memFree=25736248/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=240816 CPUtime=1661.92 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 70671 0 0 0 166039 153 0 0 20 0 1 0 375943177 246595584 54836 33554432000 4194304 5654031 140734528629568 140734528627656 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 60204 54836 141 357 0 59844 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 252636
[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.66 3/181 30290
/proc/meminfo: memFree=25539144/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=240816 CPUtime=1721.91 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 71876 0 0 0 172035 156 0 0 20 0 1 0 375943177 246595584 58932 33554432000 4194304 5654031 140734528629568 140734528627656 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 60204 58932 141 357 0 59844 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 252636
[startup+1782.3 s]
/proc/loadavg: 2.06 1.99 1.68 3/181 30290
/proc/meminfo: memFree=25403332/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=240816 CPUtime=1781.91 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 74254 0 0 0 178029 162 0 0 20 0 1 0 375943177 246595584 53812 33554432000 4194304 5654031 140734528629568 140734528627656 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 60204 53812 141 357 0 59844 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 252636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 1.99 1.68 3/181 30290
/proc/meminfo: memFree=25349332/32873844 swapFree=7628/7628
[pid=30180] ppid=30178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30180/stat : 30180 (npSolver-pbo-It) S 30178 30180 30107 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375943169 9367552 275 33554432000 4194304 5064252 140734213872224 140734213871136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30180/statm: 2287 275 233 213 0 72 0
[pid=30182] ppid=30180 vsize=2672 CPUtime=0.03 cores=1,3,5,7
/proc/30182/stat : 30182 (npSolver-pbo) S 30180 30180 30107 0 -1 4202496 1363 2094 0 0 0 0 3 0 20 0 1 0 375943171 2736128 308 33554432000 4194304 6004724 140736740602288 140736740588568 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 668 308 152 442 0 222 0
[pid=30186] ppid=30182 vsize=240816 CPUtime=1800.01 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30182 30180 30107 0 -1 4202496 74264 0 0 0 179839 162 0 0 20 0 1 0 375943177 246595584 58932 33554432000 4194304 5654031 140734528629568 140734528627656 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30186/statm: 60204 58932 141 357 0 59844 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 252636
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 30180 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=48992
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.062989
# 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.42
CPU system time (s): 1.62
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 352044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.048992
system time used= 0.013997
maximum resident set size= 29684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 6
runsolver used 7.84681 second user time and 16.4095 second system time
The end