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-3703262-1338108822/watcher-3703262-1338108822 -o /tmp/evaluation-result-3703262-1338108822/solver-3703262-1338108822 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703262-1338108822.opb 787763710 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 2.00 3/179 17273
/proc/meminfo: memFree=31520352/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[startup+0.0363961 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17273
/proc/meminfo: memFree=31520352/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17273
/proc/meminfo: memFree=31520352/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300244 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17273
/proc/meminfo: memFree=31520352/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700308 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17273
/proc/meminfo: memFree=31520352/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17275
/proc/meminfo: memFree=31442504/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=1.49 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) R 17273 17273 28501 0 -1 4202496 13446 0 0 0 143 6 0 0 20 0 1 0 276949265 175054848 27669 33554432000 4194304 5992684 140733908815776 140733908810744 4566800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 27669 167 440 0 42294 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180100
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17277
/proc/meminfo: memFree=31284880/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=1.91 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13928 0 0 0 168 23 0 0 20 0 1 0 276949265 175054848 31260 33554432000 4194304 5992684 140733908815776 140733908810224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31260 174 440 0 42294 0
[pid=17276] ppid=17274 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17276/stat : 17276 (cp2_pre.sh) S 17274 17273 28501 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276949458 9367552 277 33554432000 4194304 5064252 140736867561824 140736867560528 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17276/statm: 2287 277 234 213 0 72 0
[pid=17277] ppid=17276 vsize=133124 CPUtime=1.16 cores=1,3,5,7
/proc/17277/stat : 17277 (coprocessor) R 17276 17273 28501 0 -1 4202496 11891 0 0 0 110 6 0 0 20 0 1 0 276949458 136318976 32166 33554432000 4194304 6586260 140735265373632 140735265370392 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17277/statm: 33281 32166 137 584 0 32693 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 322372
[startup+6.30048 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17277
/proc/meminfo: memFree=30903552/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=1.91 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13928 0 0 0 168 23 0 0 20 0 1 0 276949265 175054848 31260 33554432000 4194304 5992684 140733908815776 140733908810224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31260 174 440 0 42294 0
[pid=17276] ppid=17274 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17276/stat : 17276 (cp2_pre.sh) S 17274 17273 28501 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276949458 9367552 277 33554432000 4194304 5064252 140736867561824 140736867560528 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17276/statm: 2287 277 234 213 0 72 0
[pid=17277] ppid=17276 vsize=417336 CPUtime=4.36 cores=1,3,5,7
/proc/17277/stat : 17277 (coprocessor) R 17276 17273 28501 0 -1 4202496 50179 0 0 0 421 15 0 0 20 0 1 0 276949458 427352064 100603 33554432000 4194304 6586260 140735265373632 140735265369656 4753034 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17277/statm: 104334 100603 182 584 0 103746 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 606584
[startup+12.707 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17279
/proc/meminfo: memFree=31205656/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=175908 CPUtime=3.18 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 31790 0 0 0 311 7 0 0 20 0 1 0 276950217 180129792 38288 33554432000 4194304 5654031 140736746968368 140736746956184 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17279/statm: 43977 38288 140 357 0 43617 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 356008
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17279
/proc/meminfo: memFree=31202796/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=178108 CPUtime=15.97 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 32060 0 0 0 1590 7 0 0 20 0 1 0 276950217 182382592 39069 33554432000 4194304 5654031 140736746968368 140736746956184 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 44527 39069 140 357 0 44167 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 358208
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 17282
/proc/meminfo: memFree=31235484/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=178108 CPUtime=41.57 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 32060 0 0 0 4150 7 0 0 20 0 1 0 276950217 182382592 39069 33554432000 4194304 5654031 140736746968368 140736746956184 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 44527 39069 140 357 0 44167 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 358208
[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 17282
/proc/meminfo: memFree=31230704/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=198876 CPUtime=92.75 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 32597 0 0 0 9268 7 0 0 20 0 1 0 276950217 203649024 40096 33554432000 4194304 5654031 140736746968368 140736746956184 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 49719 40096 140 357 0 49359 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 378976
[startup+162.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 17284
/proc/meminfo: memFree=31225112/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=198876 CPUtime=152.75 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 32605 0 0 0 15268 7 0 0 20 0 1 0 276950217 203649024 40611 33554432000 4194304 5654031 140736746968368 140736746956184 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 49719 40611 140 357 0 49359 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 378976
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 17284
/proc/meminfo: memFree=31208356/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=198876 CPUtime=212.73 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 32619 0 0 0 21266 7 0 0 20 0 1 0 276950217 203649024 41108 33554432000 4194304 5654031 140736746968368 140736746956184 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 49719 41108 140 357 0 49359 0
Current children cumulated CPU time (s) 222.1
################
# More data... #
################
/proc/loadavg: 2.03 2.03 2.00 3/181 17364
/proc/meminfo: memFree=31009448/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=206108 CPUtime=1352.56 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 36667 0 0 0 135244 12 0 0 20 0 1 0 276950217 211054592 44051 33554432000 4194304 5654031 140736746968368 140736746956184 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 51527 44051 141 357 0 51167 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 386208
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 17364
/proc/meminfo: memFree=31012740/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=206108 CPUtime=1412.55 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 36685 0 0 0 141242 13 0 0 20 0 1 0 276950217 211054592 44580 33554432000 4194304 5654031 140736746968368 140736746956184 4215344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 51527 44580 141 357 0 51167 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 386208
[startup+1482.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 17364
/proc/meminfo: memFree=31003804/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=206108 CPUtime=1472.55 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 36756 0 0 0 147242 13 0 0 20 0 1 0 276950217 211054592 45673 33554432000 4194304 5654031 140736746968368 140736746956184 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 51527 45673 141 357 0 51167 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 386208
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 17364
/proc/meminfo: memFree=30999212/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=206284 CPUtime=1532.53 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 36786 0 0 0 153240 13 0 0 20 0 1 0 276950217 211234816 46214 33554432000 4194304 5654031 140736746968368 140736746956184 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 51571 46214 141 357 0 51211 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 386384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17368
/proc/meminfo: memFree=30990456/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=209064 CPUtime=1592.52 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 37270 0 0 0 159239 13 0 0 20 0 1 0 276950217 214081536 47209 33554432000 4194304 5654031 140736746968368 140736746956184 4215033 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 52266 47209 141 357 0 51906 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 389164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17368
/proc/meminfo: memFree=30988324/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=209064 CPUtime=1652.51 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 37271 0 0 0 165238 13 0 0 20 0 1 0 276950217 214081536 47210 33554432000 4194304 5654031 140736746968368 140736746956184 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 52266 47210 141 357 0 51906 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 389164
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 17368
/proc/meminfo: memFree=30988448/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=209064 CPUtime=1712.5 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 37271 0 0 0 171237 13 0 0 20 0 1 0 276950217 214081536 47210 33554432000 4194304 5654031 140736746968368 140736746956184 4215357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 52266 47210 141 357 0 51906 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 389164
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 17368
/proc/meminfo: memFree=30986152/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=209064 CPUtime=1772.49 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 37271 0 0 0 177236 13 0 0 20 0 1 0 276950217 214081536 47210 33554432000 4194304 5654031 140736746968368 140736746956184 4215188 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 52266 47210 141 357 0 51906 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 389164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 17368
/proc/meminfo: memFree=30983980/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=209064 CPUtime=1790.69 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 37271 0 0 0 179056 13 0 0 20 0 1 0 276950217 214081536 47210 33554432000 4194304 5654031 140736746968368 140736746956184 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 52266 47210 141 357 0 51906 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 389164
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 17368
/proc/meminfo: memFree=30983980/32873844 swapFree=6872/6872
[pid=17273] ppid=17271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17273/stat : 17273 (npSolver-pbo-It) S 17271 17273 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276949265 9367552 275 33554432000 4194304 5064252 140733880283072 140733880281984 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17273/statm: 2287 275 233 213 0 72 0
[pid=17274] ppid=17273 vsize=170952 CPUtime=9.37 cores=1,3,5,7
/proc/17274/stat : 17274 (npSolver-pbo) S 17273 17273 28501 0 -1 4202496 13944 58570 0 0 168 24 713 32 20 0 1 0 276949265 175054848 31262 33554432000 4194304 5992684 140733908815776 140733908802040 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17274/statm: 42738 31262 176 440 0 42294 0
[pid=17279] ppid=17274 vsize=209064 CPUtime=1790.69 cores=1,3,5,7
/proc/17279/stat : 17279 (glucosInc) R 17274 17273 28501 0 -1 4202496 37271 0 0 0 179056 13 0 0 20 0 1 0 276950217 214081536 47210 33554432000 4194304 5654031 140736746968368 140736746956184 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17279/statm: 52266 47210 141 357 0 51906 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 389164
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17273 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=825658
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=574912
# CPU time returned by wait4() is 9.40057
# 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.52
CPU time (s): 1800.06
CPU user time (s): 1799.37
CPU system time (s): 0.69
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 667328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.82566
system time used= 0.574912
maximum resident set size= 465052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 236488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 18
runsolver used 3.35749 second user time and 8.5307 second system time
The end