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-3750894-1339220721/watcher-3750894-1339220721 -o /tmp/evaluation-result-3750894-1339220721/solver-3750894-1339220721 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750894-1339220721.opb 1485291102 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: 1.84 1.95 1.67 3/171 7615
/proc/meminfo: memFree=30235704/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[startup+0.05239 s]
/proc/loadavg: 1.84 1.95 1.67 3/171 7615
/proc/meminfo: memFree=30235704/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10031 s]
/proc/loadavg: 1.84 1.95 1.67 3/171 7615
/proc/meminfo: memFree=30235704/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300301 s]
/proc/loadavg: 1.84 1.95 1.67 3/171 7615
/proc/meminfo: memFree=30235704/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 1.84 1.95 1.67 3/171 7615
/proc/meminfo: memFree=30235704/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/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: 1.85 1.95 1.67 3/181 7629
/proc/meminfo: memFree=30038288/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=0.46 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 9634 0 0 0 43 3 0 0 20 0 1 0 388196558 33849344 6407 33554432000 4194304 6004724 140737464885904 140737464879952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7616/statm: 8264 6407 164 442 0 7818 0
[pid=7628] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7628/stat : 7628 (cp2_pre.sh) S 7616 7615 7580 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 388196605 9367552 277 33554432000 4194304 5064252 140735137770016 140735137768720 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7628/statm: 2287 277 234 213 0 72 0
[pid=7629] ppid=7628 vsize=125520 CPUtime=1.01 cores=0,2,4,6
/proc/7629/stat : 7629 (coprocessor) R 7628 7615 7580 0 -1 4202496 23389 0 0 0 98 3 0 0 20 0 1 0 388196605 128532480 30314 33554432000 4194304 6586260 140736708690368 140736708686520 4664541 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/7629/statm: 31380 30314 196 584 0 30792 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 176872
[startup+3.10034 s]
/proc/loadavg: 1.85 1.95 1.67 3/183 7631
/proc/meminfo: memFree=29799788/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=2.19 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 9643 25373 0 0 43 3 154 19 20 0 1 0 388196558 33849344 6407 33554432000 4194304 6004724 140737464885904 140737464881040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7616/statm: 8264 6407 164 442 0 7818 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 42204
heavy processes:
[startup+6.30041 s]
/proc/loadavg: 1.85 1.95 1.67 3/183 7641
/proc/meminfo: memFree=29789264/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=57572 CPUtime=1.11 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 13573 0 0 0 108 3 0 0 20 0 1 0 388197076 58953728 13367 33554432000 4194304 5208918 140737129272208 140737129270152 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 14393 13367 102 248 0 14142 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 108924
[startup+12.7004 s]
/proc/loadavg: 1.95 1.97 1.68 3/183 7644
/proc/meminfo: memFree=29946540/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=58232 CPUtime=7.51 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 13734 0 0 0 748 3 0 0 20 0 1 0 388197076 59629568 13528 33554432000 4194304 5208918 140737129272208 140737129270056 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 14558 13528 103 248 0 14307 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 109584
[startup+25.5004 s]
/proc/loadavg: 1.96 1.97 1.68 3/183 7644
/proc/meminfo: memFree=29945532/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=59084 CPUtime=20.3 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 14926 0 0 0 2027 3 0 0 20 0 1 0 388197076 60502016 13529 33554432000 4194304 5208918 140737129272208 140737129270056 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 14771 13529 104 248 0 14520 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 110436
[startup+51.1004 s]
/proc/loadavg: 1.97 1.97 1.69 3/183 7644
/proc/meminfo: memFree=29934488/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=67584 CPUtime=45.91 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 15821 0 0 0 4586 5 0 0 20 0 1 0 388197076 69206016 15436 33554432000 4194304 5208918 140737129272208 140737129270056 4211623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 16896 15436 104 248 0 16645 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 118936
[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.71 3/183 7644
/proc/meminfo: memFree=29901380/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=91088 CPUtime=97.09 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 17276 0 0 0 9703 6 0 0 20 0 1 0 388197076 93274112 21913 33554432000 4194304 5208918 140737129272208 140737129268584 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 22772 21913 104 248 0 22521 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 142440
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/183 7644
/proc/meminfo: memFree=29915840/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=91272 CPUtime=157.07 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 17573 0 0 0 15701 6 0 0 20 0 1 0 388197076 93462528 19670 33554432000 4194304 5208918 140737129272208 140737129270216 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 22818 19670 104 248 0 22567 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 7680
/proc/meminfo: memFree=29748836/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=159264 CPUtime=1416.88 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 23064 0 0 0 141663 25 0 0 20 0 1 0 388197076 163086336 37683 33554432000 4194304 5208918 140737129272208 140737129267976 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 39816 37683 104 248 0 39565 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 210616
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 7683
/proc/meminfo: memFree=29729948/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=190084 CPUtime=1476.87 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 23653 0 0 0 147661 26 0 0 20 0 1 0 388197076 194646016 42358 33554432000 4194304 5208918 140737129272208 140737129267896 4213200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 47521 42358 104 248 0 47270 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 241436
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 7683
/proc/meminfo: memFree=29745004/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=159264 CPUtime=1536.86 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 23812 0 0 0 153659 27 0 0 20 0 1 0 388197076 163086336 38707 33554432000 4194304 5208918 140737129272208 140737129268584 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 39816 38707 104 248 0 39565 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 210616
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 7683
/proc/meminfo: memFree=29778000/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=190084 CPUtime=1596.84 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 24414 0 0 0 159657 27 0 0 20 0 1 0 388197076 194646016 42358 33554432000 4194304 5208918 140737129272208 140737129268520 4229129 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 47521 42358 104 248 0 47270 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 241436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 7683
/proc/meminfo: memFree=29796964/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=159264 CPUtime=1656.82 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 24585 0 0 0 165654 28 0 0 20 0 1 0 388197076 163086336 36147 33554432000 4194304 5208918 140737129272208 140737129268584 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 39816 36147 104 248 0 39565 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 210616
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/183 7684
/proc/meminfo: memFree=29790076/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=159264 CPUtime=1716.81 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 24822 0 0 0 171653 28 0 0 20 0 1 0 388197076 163086336 38934 33554432000 4194304 5208918 140737129272208 140737129268520 4229720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 39816 38934 104 248 0 39565 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 210616
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 7684
/proc/meminfo: memFree=29833472/32873844 swapFree=7648/7648
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=111836 CPUtime=1776.8 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 25334 0 0 0 177651 29 0 0 20 0 1 0 388197076 114520064 26944 33554432000 4194304 5208918 140737129272208 140737129270056 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 27959 26944 104 248 0 27708 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 163188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 7684
/proc/meminfo: memFree=29797044/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=161316 CPUtime=1795 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 25826 0 0 0 179470 30 0 0 20 0 1 0 388197076 165187584 35606 33554432000 4194304 5208918 140737129272208 140737129270200 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 40329 35606 104 248 0 40078 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 212668
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.02 2.01 1.91 3/183 7684
/proc/meminfo: memFree=29797044/32873844 swapFree=7644/7644
[pid=7615] ppid=7613 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7615/stat : 7615 (npSolver-pbo.sh) S 7613 7615 7580 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388196558 9367552 275 33554432000 4194304 5064252 140736352086400 140736352085312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7615/statm: 2287 275 233 213 0 72 0
[pid=7616] ppid=7615 vsize=33056 CPUtime=5.05 cores=0,2,4,6
/proc/7616/stat : 7616 (npSolver-pbo) S 7615 7615 7580 0 -1 4202496 11452 44034 0 0 64 73 342 26 20 0 1 0 388196558 33849344 6416 33554432000 4194304 6004724 140737464885904 140737464878256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/7616/statm: 8264 6416 173 442 0 7818 0
[pid=7640] ppid=7616 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7640/stat : 7640 (satsolver.sh) S 7616 7615 7580 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388197075 9367552 266 33554432000 4194304 5064252 140737212510624 140737212509536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7640/statm: 2287 266 226 213 0 72 0
[pid=7641] ppid=7640 vsize=161316 CPUtime=1795 cores=0,2,4,6
/proc/7641/stat : 7641 (glucose) R 7640 7615 7580 0 -1 4202496 25826 0 0 0 179470 30 0 0 20 0 1 0 388197076 165187584 35606 33554432000 4194304 5208918 140737129272208 140737129270200 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7641/statm: 40329 35606 104 248 0 40078 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 212668
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.79
CPU system time (s): 1.3068
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 243152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.3068
maximum resident set size= 177624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 75880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331
involuntary context switches= 2410
runsolver used 2.6026 second user time and 7.2329 second system time
The end