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-3747331-1339101833/watcher-3747331-1339101833 -o /tmp/evaluation-result-3747331-1339101833/solver-3747331-1339101833 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747331-1339101833.opb 973813629 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.00 2.00 1.92 3/178 12387
/proc/meminfo: memFree=25522288/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[startup+0.064262 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12387
/proc/meminfo: memFree=25522288/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12387
/proc/meminfo: memFree=25522288/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300253 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12387
/proc/meminfo: memFree=25522288/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12387
/proc/meminfo: memFree=25522288/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 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 1.92 3/182 12391
/proc/meminfo: memFree=25385640/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=0.34 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3895 0 0 0 32 2 0 0 20 0 1 0 376310103 18722816 3901 33554432000 4194304 6004724 140737098345216 140737098339680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12388/statm: 4571 3901 148 442 0 4125 0
[pid=12390] ppid=12388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12390/stat : 12390 (cp2_pre.sh) S 12388 12387 11851 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376310138 9367552 277 33554432000 4194304 5064252 140733761941088 140733761939792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12390/statm: 2287 277 234 213 0 72 0
[pid=12391] ppid=12390 vsize=140840 CPUtime=1.13 cores=1,3,5,7
/proc/12391/stat : 12391 (coprocessor) R 12390 12387 11851 0 -1 4202496 26804 0 0 0 109 4 0 0 20 0 1 0 376310138 144220160 34316 33554432000 4194304 6586260 140737229359232 140737229355256 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/12391/statm: 35210 34316 197 584 0 34622 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 177420
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 12393
/proc/meminfo: memFree=25443556/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=60472 CPUtime=1.42 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 13307 0 0 0 139 3 0 0 20 0 1 0 376310271 61923328 13940 33554432000 4194304 5654031 140737210642720 140737210640600 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 15118 13940 131 357 0 14758 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 87904
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 12393
/proc/meminfo: memFree=25441676/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=60604 CPUtime=4.61 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 13341 0 0 0 458 3 0 0 20 0 1 0 376310271 62058496 13974 33554432000 4194304 5654031 140737210642720 140737210640600 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 15151 13974 131 357 0 14791 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 88036
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.93 3/181 12393
/proc/meminfo: memFree=25436016/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=66212 CPUtime=11.01 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 13705 0 0 0 1098 3 0 0 20 0 1 0 376310271 67801088 14338 33554432000 4194304 5654031 140737210642720 140737210630536 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 16553 14338 140 357 0 16193 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 93644
[startup+25.5005 s]
/proc/loadavg: 2.06 2.02 1.93 3/181 12393
/proc/meminfo: memFree=25430440/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=66364 CPUtime=23.81 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 13879 0 0 0 2378 3 0 0 20 0 1 0 376310271 67956736 14508 33554432000 4194304 5654031 140737210642720 140737210640504 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 16591 14508 141 357 0 16231 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 93796
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 12393
/proc/meminfo: memFree=25416588/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=66668 CPUtime=49.41 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 14192 0 0 0 4938 3 0 0 20 0 1 0 376310271 68268032 14817 33554432000 4194304 5654031 140737210642720 140737210640504 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 16667 14817 141 357 0 16307 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 94100
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 1.93 3/181 12393
/proc/meminfo: memFree=25384572/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=67160 CPUtime=100.6 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 14446 0 0 0 10057 3 0 0 20 0 1 0 376310271 68771840 14925 33554432000 4194304 5654031 140737210642720 140737210640504 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 16790 14925 142 357 0 16430 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 94592
[startup+162.3 s]
/proc/loadavg: 2.46 2.11 1.96 2/182 12436
/proc/meminfo: memFree=23551204/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=67716 CPUtime=160.57 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 14572 0 0 0 16054 3 0 0 20 0 1 0 376310271 69341184 15724 33554432000 4194304 5654031 140737210642720 140737210640504 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 16929 15724 142 357 0 16569 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 95148
[startup+222.3 s]
/proc/loadavg: 2.90 2.30 2.04 3/182 12436
/proc/meminfo: memFree=22074512/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=68060 CPUtime=220.56 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 15166 0 0 0 22053 3 0 0 20 0 1 0 376310271 69693440 15576 33554432000 4194304 5654031 140737210642720 140737210640616 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 17015 15576 142 357 0 16655 0
Current children cumulated CPU time (s) 222.21
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 12471
/proc/meminfo: memFree=22664276/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1300.41 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17731 0 0 0 130035 6 0 0 20 0 1 0 376310271 112467968 25262 33554432000 4194304 5654031 140737210642720 140737210640600 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25262 142 357 0 27098 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 137264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12472
/proc/meminfo: memFree=22658684/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1360.4 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17731 0 0 0 136034 6 0 0 20 0 1 0 376310271 112467968 25262 33554432000 4194304 5654031 140737210642720 140737210640600 4233012 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25262 142 357 0 27098 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 137264
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12472
/proc/meminfo: memFree=22647136/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1420.39 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17731 0 0 0 142033 6 0 0 20 0 1 0 376310271 112467968 25262 33554432000 4194304 5654031 140737210642720 140737210640600 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25262 142 357 0 27098 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 137264
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12472
/proc/meminfo: memFree=22634856/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1480.38 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17731 0 0 0 148032 6 0 0 20 0 1 0 376310271 112467968 25262 33554432000 4194304 5654031 140737210642720 140737210640600 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25262 142 357 0 27098 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 137264
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12472
/proc/meminfo: memFree=22623144/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1540.37 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17732 0 0 0 154031 6 0 0 20 0 1 0 376310271 112467968 25774 33554432000 4194304 5654031 140737210642720 140737210640600 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25774 142 357 0 27098 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 137264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 12475
/proc/meminfo: memFree=22612600/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1600.36 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17732 0 0 0 160030 6 0 0 20 0 1 0 376310271 112467968 25774 33554432000 4194304 5654031 140737210642720 140737210640600 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25774 142 357 0 27098 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 137264
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12476
/proc/meminfo: memFree=22603196/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1660.35 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17732 0 0 0 166029 6 0 0 20 0 1 0 376310271 112467968 25774 33554432000 4194304 5654031 140737210642720 140737210640600 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25774 142 357 0 27098 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 137264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12476
/proc/meminfo: memFree=22597008/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1720.34 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17732 0 0 0 172028 6 0 0 20 0 1 0 376310271 112467968 25774 33554432000 4194304 5654031 140737210642720 140737210640600 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25774 142 357 0 27098 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 137264
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 12476
/proc/meminfo: memFree=22589828/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1780.33 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17732 0 0 0 178027 6 0 0 20 0 1 0 376310271 112467968 25774 33554432000 4194304 5654031 140737210642720 140737210640600 4233012 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25774 142 357 0 27098 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 137264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.12 2.03 2.01 4/181 12476
/proc/meminfo: memFree=22584212/32873648 swapFree=7372/7372
[pid=12387] ppid=12385 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12387/stat : 12387 (npSolver-pbo-It) S 12385 12387 11851 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376310103 9367552 275 33554432000 4194304 5064252 140733439018384 140733439017296 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12387/statm: 2287 275 233 213 0 72 0
[pid=12388] ppid=12387 vsize=18284 CPUtime=1.65 cores=1,3,5,7
/proc/12388/stat : 12388 (npSolver-pbo) S 12387 12387 11851 0 -1 4202496 3914 27707 0 0 32 2 125 6 20 0 1 0 376310103 18722816 3905 33554432000 4194304 6004724 140737098345216 140737098331496 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12388/statm: 4571 3905 152 442 0 4125 0
[pid=12393] ppid=12388 vsize=109832 CPUtime=1798.44 cores=1,3,5,7
/proc/12393/stat : 12393 (glucosInc) R 12388 12387 11851 0 -1 4202496 17732 0 0 0 179838 6 0 0 20 0 1 0 376310271 112467968 25774 33554432000 4194304 5654031 140737210642720 140737210640600 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12393/statm: 27458 25774 142 357 0 27098 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 137264
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 12387 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=585758
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=86986
# CPU time returned by wait4() is 1.67274
# while last known CPU time is 1800.09
#
# 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.09
CPU user time (s): 1799.95
CPU system time (s): 0.14
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 177420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.58576
system time used= 0.086986
maximum resident set size= 142012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 15
runsolver used 3.33849 second user time and 10.7694 second system time
The end