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-3697769-1338135121/watcher-3697769-1338135121 -o /tmp/evaluation-result-3697769-1338135121/solver-3697769-1338135121 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697769-1338135121.opb 1590557902 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 2/178 11563
/proc/meminfo: memFree=28113884/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[startup+0.098501 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 11563
/proc/meminfo: memFree=28113884/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100245 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 11563
/proc/meminfo: memFree=28113884/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 11563
/proc/meminfo: memFree=28113884/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700159 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 11563
/proc/meminfo: memFree=28113884/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11567
/proc/meminfo: memFree=27961824/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=0.43 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6413 0 0 0 40 3 0 0 20 0 1 0 279640680 33509376 7779 33554432000 4194304 5992684 140736180154352 140736180148800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7779 171 440 0 7737 0
[pid=11566] ppid=11564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11566/stat : 11566 (cp2_pre.sh) S 11564 11563 10269 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279640724 9367552 277 33554432000 4194304 5064252 140733649529072 140733649527776 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11566/statm: 2287 277 234 213 0 72 0
[pid=11567] ppid=11566 vsize=130628 CPUtime=1.04 cores=0,2,4,6
/proc/11567/stat : 11567 (coprocessor) R 11566 11563 10269 0 -1 4202496 22866 0 0 0 101 3 0 0 20 0 1 0 279640724 133763072 31324 33554432000 4194304 6586260 140734576552768 140734576549032 4774851 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/11567/statm: 32657 31324 182 584 0 32069 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 181648
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11567
/proc/meminfo: memFree=27920220/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=0.43 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6413 0 0 0 40 3 0 0 20 0 1 0 279640680 33509376 7779 33554432000 4194304 5992684 140736180154352 140736180148800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7779 171 440 0 7737 0
[pid=11566] ppid=11564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11566/stat : 11566 (cp2_pre.sh) S 11564 11563 10269 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279640724 9367552 277 33554432000 4194304 5064252 140733649529072 140733649527776 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11566/statm: 2287 277 234 213 0 72 0
[pid=11567] ppid=11566 vsize=152628 CPUtime=2.65 cores=0,2,4,6
/proc/11567/stat : 11567 (coprocessor) R 11566 11563 10269 0 -1 4202496 27256 0 0 0 259 6 0 0 20 0 1 0 279640724 156291072 37003 33554432000 4194304 6586260 140734576552768 140734576548088 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/11567/statm: 38157 37003 204 584 0 37569 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 203648
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11569
/proc/meminfo: memFree=28007124/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=79564 CPUtime=2.65 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 15346 0 0 0 262 3 0 0 20 0 1 0 279641044 81473536 15685 33554432000 4194304 5654031 140733911864032 140733911861816 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11569/statm: 19891 15685 140 357 0 19531 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 121436
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11569
/proc/meminfo: memFree=28004224/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=80356 CPUtime=9.04 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 15585 0 0 0 901 3 0 0 20 0 1 0 279641044 82284544 16435 33554432000 4194304 5654031 140733911864032 140733911851848 4232791 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11569/statm: 20089 16435 140 357 0 19729 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 122228
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11569
/proc/meminfo: memFree=28003420/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=81328 CPUtime=21.84 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 16177 0 0 0 2181 3 0 0 20 0 1 0 279641044 83279872 16496 33554432000 4194304 5654031 140733911864032 140733911862056 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11569/statm: 20332 16496 141 357 0 19972 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 123200
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11569
/proc/meminfo: memFree=27998580/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=82448 CPUtime=47.44 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 17013 0 0 0 4740 4 0 0 20 0 1 0 279641044 84426752 17958 33554432000 4194304 5654031 140733911864032 140733911861816 4232927 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 20612 17958 142 357 0 20252 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 124320
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11569
/proc/meminfo: memFree=27949372/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=131584 CPUtime=98.63 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 18715 0 0 0 9858 5 0 0 20 0 1 0 279641044 134742016 30255 33554432000 4194304 5654031 140733911864032 140733911851848 4233344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 32896 30255 142 357 0 32536 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 173456
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 11569
/proc/meminfo: memFree=27948348/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=131584 CPUtime=158.61 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 18732 0 0 0 15856 5 0 0 20 0 1 0 279641044 134742016 30388 33554432000 4194304 5654031 140733911864032 140733911851848 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 32896 30388 142 357 0 32536 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 173456
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11570
/proc/meminfo: memFree=27955136/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=131584 CPUtime=218.6 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 11579
/proc/meminfo: memFree=27924524/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=150552 CPUtime=1298.43 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 34148 0 0 0 129810 33 0 0 20 0 1 0 279641044 154165248 32023 33554432000 4194304 5654031 140733911864032 140733911862120 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 37638 32023 142 357 0 37278 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 192424
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11579
/proc/meminfo: memFree=27926764/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=150552 CPUtime=1358.4 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 34923 0 0 0 135806 34 0 0 20 0 1 0 279641044 154165248 32023 33554432000 4194304 5654031 140733911864032 140733911862120 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 37638 32023 142 357 0 37278 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 192424
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11580
/proc/meminfo: memFree=27924660/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=150552 CPUtime=1418.41 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 35688 0 0 0 141805 36 0 0 20 0 1 0 279641044 154165248 32023 33554432000 4194304 5654031 140733911864032 140733911862120 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 37638 32023 142 357 0 37278 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 192424
[startup+1482.3 s]
/proc/loadavg: 2.19 2.05 2.01 3/183 11668
/proc/meminfo: memFree=26694436/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=150552 CPUtime=1478.38 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 36465 0 0 0 147799 39 0 0 20 0 1 0 279641044 154165248 33047 33554432000 4194304 5654031 140733911864032 140733911862120 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 37638 33047 142 357 0 37278 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 192424
[startup+1542.3 s]
/proc/loadavg: 2.25 2.10 2.03 3/183 11715
/proc/meminfo: memFree=25274388/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=150552 CPUtime=1538.37 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 37249 0 0 0 153793 44 0 0 20 0 1 0 279641044 154165248 34583 33554432000 4194304 5654031 140733911864032 140733911862120 4215964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 37638 34583 142 357 0 37278 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 192424
[startup+1602.3 s]
/proc/loadavg: 2.72 2.26 2.09 3/182 11802
/proc/meminfo: memFree=27979192/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=151620 CPUtime=1598.37 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 38426 0 0 0 159784 53 0 0 20 0 1 0 279641044 155258880 34715 33554432000 4194304 5654031 140733911864032 140733911861816 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 37905 34715 142 357 0 37545 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 193492
[startup+1662.3 s]
/proc/loadavg: 2.31 2.22 2.09 3/181 11802
/proc/meminfo: memFree=27952540/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=152900 CPUtime=1658.35 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 39550 0 0 0 165780 55 0 0 20 0 1 0 279641044 156569600 35067 33554432000 4194304 5654031 140733911864032 140733911861816 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 38225 35067 142 357 0 37865 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 194772
[startup+1722.3 s]
/proc/loadavg: 2.11 2.18 2.08 3/182 11805
/proc/meminfo: memFree=27918316/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=154180 CPUtime=1718.34 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 40826 0 0 0 171778 56 0 0 20 0 1 0 279641044 157880320 35318 33554432000 4194304 5654031 140733911864032 140733911862120 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 38545 35318 142 357 0 38185 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 196052
[startup+1782.3 s]
/proc/loadavg: 2.04 2.14 2.08 3/181 11806
/proc/meminfo: memFree=27920888/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=154820 CPUtime=1778.34 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 41982 0 0 0 177776 58 0 0 20 0 1 0 279641044 158535680 33910 33554432000 4194304 5654031 140733911864032 140733911862120 4232782 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 38705 33910 142 357 0 38345 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 196692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.13 2.07 3/181 11806
/proc/meminfo: memFree=27914744/32873844 swapFree=7620/7620
[pid=11563] ppid=11561 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11563/stat : 11563 (npSolver-pbo-It) S 11561 11563 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279640680 9367552 275 33554432000 4194304 5064252 140733634070400 140733634069312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11563/statm: 2287 275 233 213 0 72 0
[pid=11564] ppid=11563 vsize=32724 CPUtime=3.62 cores=0,2,4,6
/proc/11564/stat : 11564 (npSolver-pbo) S 11563 11563 10269 0 -1 4202496 6432 28159 0 0 40 3 310 9 20 0 1 0 279640680 33509376 7781 33554432000 4194304 5992684 140736180154352 140736180140616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11564/statm: 8181 7781 173 440 0 7737 0
[pid=11569] ppid=11564 vsize=154820 CPUtime=1796.44 cores=0,2,4,6
/proc/11569/stat : 11569 (glucosInc) R 11564 11563 10269 0 -1 4202496 41985 0 0 0 179586 58 0 0 20 0 1 0 279641044 158535680 35446 33554432000 4194304 5654031 140733911864032 140733911862120 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11569/statm: 38705 35446 142 357 0 38345 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 196692
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 11563 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=502467
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=134979
# CPU time returned by wait4() is 3.63745
# while last known CPU time is 1800.06
#
# 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.06
CPU user time (s): 1799.36
CPU system time (s): 0.7
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 227044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.50247
system time used= 0.134979
maximum resident set size= 153064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 16
runsolver used 2.6246 second user time and 7.2089 second system time
The end