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-3753279-1339208092/watcher-3753279-1339208092 -o /tmp/evaluation-result-3753279-1339208092/solver-3753279-1339208092 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753279-1339208092.wbo 715576730 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 1.98 1.93 3/179 5630
/proc/meminfo: memFree=29517780/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[startup+0.0283401 s]
/proc/loadavg: 2.00 1.98 1.93 3/179 5630
/proc/meminfo: memFree=29517780/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 2.00 1.98 1.93 3/179 5630
/proc/meminfo: memFree=29517780/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 2.00 1.98 1.93 3/179 5630
/proc/meminfo: memFree=29517780/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70027 s]
/proc/loadavg: 2.00 1.98 1.93 3/179 5630
/proc/meminfo: memFree=29517780/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.00 1.98 1.93 3/183 5637
/proc/meminfo: memFree=29505276/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=3152 CPUtime=0.06 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 1459 2108 0 0 1 0 5 0 20 0 1 0 386937776 3227648 404 33554432000 4194304 6006132 140735190537840 140735190532032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 788 404 158 443 0 341 0
[pid=5636] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5636/stat : 5636 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386937785 9367552 267 33554432000 4194304 5064252 140736451146992 140736451145904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5636/statm: 2287 267 226 213 0 72 0
[pid=5637] ppid=5636 vsize=22484 CPUtime=1.39 cores=0,2,4,6
/proc/5637/stat : 5637 (glucose) R 5636 5630 30805 0 -1 4202496 3413 0 0 0 139 0 0 0 20 0 1 0 386937785 23023616 4171 33554432000 4194304 5208918 140733769544560 140733769542408 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5637/statm: 5621 4171 96 248 0 5370 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 43932
[startup+3.10044 s]
/proc/loadavg: 2.00 1.98 1.93 3/183 5637
/proc/meminfo: memFree=29492736/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=3152 CPUtime=0.06 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 1459 2108 0 0 1 0 5 0 20 0 1 0 386937776 3227648 404 33554432000 4194304 6006132 140735190537840 140735190532032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 788 404 158 443 0 341 0
[pid=5636] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5636/stat : 5636 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386937785 9367552 267 33554432000 4194304 5064252 140736451146992 140736451145904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5636/statm: 2287 267 226 213 0 72 0
[pid=5637] ppid=5636 vsize=41144 CPUtime=2.99 cores=0,2,4,6
/proc/5637/stat : 5637 (glucose) R 5636 5630 30805 0 -1 4202496 4990 0 0 0 298 1 0 0 20 0 1 0 386937785 42131456 7831 33554432000 4194304 5208918 140733769544560 140733769542552 4212601 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5637/statm: 10286 7831 96 248 0 10035 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 62592
[startup+6.30045 s]
/proc/loadavg: 2.00 1.98 1.93 3/183 5637
/proc/meminfo: memFree=29491636/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=3152 CPUtime=0.06 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 1459 2108 0 0 1 0 5 0 20 0 1 0 386937776 3227648 404 33554432000 4194304 6006132 140735190537840 140735190532032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 788 404 158 443 0 341 0
[pid=5636] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5636/stat : 5636 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386937785 9367552 267 33554432000 4194304 5064252 140736451146992 140736451145904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5636/statm: 2287 267 226 213 0 72 0
[pid=5637] ppid=5636 vsize=64664 CPUtime=6.2 cores=0,2,4,6
/proc/5637/stat : 5637 (glucose) R 5636 5630 30805 0 -1 4202496 5225 0 0 0 618 2 0 0 20 0 1 0 386937785 66215936 15220 33554432000 4194304 5208918 140733769544560 140733769542504 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5637/statm: 16166 15220 96 248 0 15915 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 86112
[startup+12.7004 s]
/proc/loadavg: 2.00 1.98 1.93 3/183 5637
/proc/meminfo: memFree=29487264/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=3152 CPUtime=0.06 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 1459 2108 0 0 1 0 5 0 20 0 1 0 386937776 3227648 404 33554432000 4194304 6006132 140735190537840 140735190532032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 788 404 158 443 0 341 0
[pid=5636] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5636/stat : 5636 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386937785 9367552 267 33554432000 4194304 5064252 140736451146992 140736451145904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5636/statm: 2287 267 226 213 0 72 0
[pid=5637] ppid=5636 vsize=64664 CPUtime=12.6 cores=0,2,4,6
/proc/5637/stat : 5637 (glucose) R 5636 5630 30805 0 -1 4202496 5267 0 0 0 1257 3 0 0 20 0 1 0 386937785 66215936 15732 33554432000 4194304 5208918 140733769544560 140733769542648 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5637/statm: 16166 15732 96 248 0 15915 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86112
[startup+25.5003 s]
/proc/loadavg: 2.00 1.98 1.93 3/183 5637
/proc/meminfo: memFree=29486676/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=3152 CPUtime=0.06 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 1459 2108 0 0 1 0 5 0 20 0 1 0 386937776 3227648 404 33554432000 4194304 6006132 140735190537840 140735190532032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 788 404 158 443 0 341 0
[pid=5636] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5636/stat : 5636 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386937785 9367552 267 33554432000 4194304 5064252 140736451146992 140736451145904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5636/statm: 2287 267 226 213 0 72 0
[pid=5637] ppid=5636 vsize=65904 CPUtime=25.39 cores=0,2,4,6
/proc/5637/stat : 5637 (glucose) R 5636 5630 30805 0 -1 4202496 5670 0 0 0 2533 6 0 0 20 0 1 0 386937785 67485696 16042 33554432000 4194304 5208918 140733769544560 140733769542648 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5637/statm: 16476 16042 96 248 0 16225 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 87352
[startup+51.1004 s]
/proc/loadavg: 2.06 2.00 1.94 3/183 5637
/proc/meminfo: memFree=29424468/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=3152 CPUtime=0.06 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 1459 2108 0 0 1 0 5 0 20 0 1 0 386937776 3227648 404 33554432000 4194304 6006132 140735190537840 140735190532032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 788 404 158 443 0 341 0
[pid=5636] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5636/stat : 5636 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386937785 9367552 267 33554432000 4194304 5064252 140736451146992 140736451145904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5636/statm: 2287 267 226 213 0 72 0
[pid=5637] ppid=5636 vsize=65904 CPUtime=50.99 cores=0,2,4,6
/proc/5637/stat : 5637 (glucose) R 5636 5630 30805 0 -1 4202496 6100 0 0 0 5085 14 0 0 20 0 1 0 386937785 67485696 16047 33554432000 4194304 5208918 140733769544560 140733769542648 4229517 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5637/statm: 16476 16047 96 248 0 16225 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 87352
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 1.94 3/183 5637
/proc/meminfo: memFree=29367488/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=3152 CPUtime=0.06 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 1459 2108 0 0 1 0 5 0 20 0 1 0 386937776 3227648 404 33554432000 4194304 6006132 140735190537840 140735190532032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 788 404 158 443 0 341 0
[pid=5636] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5636/stat : 5636 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386937785 9367552 267 33554432000 4194304 5064252 140736451146992 140736451145904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5636/statm: 2287 267 226 213 0 72 0
[pid=5637] ppid=5636 vsize=146044 CPUtime=102.18 cores=0,2,4,6
/proc/5637/stat : 5637 (glucose) R 5636 5630 30805 0 -1 4202496 6837 0 0 0 10193 25 0 0 20 0 1 0 386937785 149549056 33014 33554432000 4194304 5208918 140733769544560 140733769542712 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5637/statm: 36511 33014 96 248 0 36260 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 167492
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 5637
/proc/meminfo: memFree=29363344/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=3152 CPUtime=0.06 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 1459 2108 0 0 1 0 5 0 20 0 1 0 386937776 3227648 404 33554432000 4194304 6006132 140735190537840 140735190532032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 788 404 158 443 0 341 0
[pid=5636] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=6942] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387073847 9367552 266 33554432000 4194304 5064252 140735629652880 140735629651792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6942/statm: 2287 266 226 213 0 72 0
[pid=6943] ppid=6942 vsize=14496 CPUtime=1.58 cores=0,2,4,6
/proc/6943/stat : 6943 (glucose) R 6942 5630 30805 0 -1 4202496 2882 0 0 0 158 0 0 0 20 0 1 0 387073847 14843904 3274 33554432000 4194304 5208918 140735882872800 140735882871096 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6943/statm: 3624 3274 95 248 0 3373 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 39788
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 7055
/proc/meminfo: memFree=29444556/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1419.32 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 181377 1450376 0 0 330 44 140646 912 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=7054] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7054/stat : 7054 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387079744 9367552 267 33554432000 4194304 5064252 140734985792176 140734985791088 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7054/statm: 2287 267 226 213 0 72 0
[pid=7055] ppid=7054 vsize=17340 CPUtime=2.61 cores=0,2,4,6
/proc/7055/stat : 7055 (glucose) R 7054 5630 30805 0 -1 4202496 3009 0 0 0 261 0 0 0 20 0 1 0 387079744 17756160 3926 33554432000 4194304 5208918 140735487724752 140735487722904 4211665 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7055/statm: 4335 3926 95 248 0 4084 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 42632
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/183 7167
/proc/meminfo: memFree=29450024/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1478.37 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 195697 1565747 0 0 356 47 146458 976 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=7166] ppid=5631 vsize=0 CPUtime=3.55 cores=0,2,4,6
/proc/7166/stat : 7166 (satsolver.sh) R 5631 5630 30805 0 -1 4202500 606 3750 0 0 0 0 355 0 20 0 1 0 387085650 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7166/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 16144
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/184 7290
/proc/meminfo: memFree=29453192/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1540.66 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 210912 1684583 0 0 382 50 152592 1042 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=7289] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7289/stat : 7289 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387091881 9367552 266 33554432000 4194304 5064252 140734525214400 140734525213312 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2287 266 226 213 0 72 0
[pid=7290] ppid=7289 vsize=14488 CPUtime=1.23 cores=0,2,4,6
/proc/7290/stat : 7290 (glucose) R 7289 5630 30805 0 -1 4202496 2726 0 0 0 123 0 0 0 20 0 1 0 387091882 14835712 3138 33554432000 4194304 5208918 140737471592976 140737471591272 4211665 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7290/statm: 3622 3138 95 248 0 3371 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 39780
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/183 7402
/proc/meminfo: memFree=29464240/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1599.38 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 225232 1797811 0 0 407 53 158368 1110 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=7401] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7401/stat : 7401 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387097755 9367552 267 33554432000 4194304 5064252 140737205139808 140737205138720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7401/statm: 2287 267 226 213 0 72 0
[pid=7402] ppid=7401 vsize=17340 CPUtime=2.5 cores=0,2,4,6
/proc/7402/stat : 7402 (glucose) R 7401 5630 30805 0 -1 4202496 3308 0 0 0 250 0 0 0 20 0 1 0 387097755 17756160 3700 33554432000 4194304 5208918 140737219328192 140737219326344 4229307 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7402/statm: 4335 3700 95 248 0 4084 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 42632
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 7517
/proc/meminfo: memFree=29397176/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1661.61 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 240447 1918232 0 0 433 56 164491 1181 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 16144
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/183 7685
/proc/meminfo: memFree=29533568/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1720.43 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 254767 2031462 0 0 458 59 170281 1245 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=7684] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7684/stat : 7684 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387109886 9367552 267 33554432000 4194304 5064252 140733239155200 140733239154112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7684/statm: 2287 267 226 213 0 72 0
[pid=7685] ppid=7684 vsize=14488 CPUtime=1.18 cores=0,2,4,6
/proc/7685/stat : 7685 (glucose) R 7684 5630 30805 0 -1 4202496 2726 0 0 0 118 0 0 0 20 0 1 0 387109887 14835712 3119 33554432000 4194304 5208918 140737070012464 140737070010760 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 3622 3119 95 248 0 3371 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 39780
[startup+1782.3 s]
/proc/loadavg: 1.94 1.99 1.96 3/183 7797
/proc/meminfo: memFree=29530648/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1779.36 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 269087 2146931 0 0 482 63 176080 1311 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=7796] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7796/stat : 7796 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387115780 9367552 267 33554432000 4194304 5064252 140733694377904 140733694376816 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7796/statm: 2287 267 226 213 0 72 0
[pid=7797] ppid=7796 vsize=17340 CPUtime=2.24 cores=0,2,4,6
/proc/7797/stat : 7797 (glucose) R 7796 5630 30805 0 -1 4202496 3186 0 0 0 224 0 0 0 20 0 1 0 387115781 17756160 3579 33554432000 4194304 5208918 140733311099648 140733311097800 4211570 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7797/statm: 4335 3579 95 248 0 4084 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 42632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.95 1.99 1.96 3/183 7832
/proc/meminfo: memFree=29527040/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1797.75 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 273562 2182152 0 0 490 63 177890 1332 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=7831] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7831/stat : 7831 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387117620 9367552 267 33554432000 4194304 5064252 140734892524832 140734892523744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7831/statm: 2287 267 226 213 0 72 0
[pid=7832] ppid=7831 vsize=17340 CPUtime=2.25 cores=0,2,4,6
/proc/7832/stat : 7832 (glucose) R 7831 5630 30805 0 -1 4202496 3202 0 0 0 225 0 0 0 20 0 1 0 387117620 17756160 3594 33554432000 4194304 5208918 140737441657072 140737441655368 4211945 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7832/statm: 4335 3594 95 248 0 4084 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 42632
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.95 1.99 1.96 3/183 7832
/proc/meminfo: memFree=29527040/32873844 swapFree=7372/7372
[pid=5630] ppid=5628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5630/stat : 5630 (npSolver-wbo-It) S 5628 5630 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386937776 9367552 274 33554432000 4194304 5064252 140734186490608 140734186489520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5630/statm: 2287 274 233 213 0 72 0
[pid=5631] ppid=5630 vsize=6996 CPUtime=1797.75 cores=0,2,4,6
/proc/5631/stat : 5631 (npSolver-wbo) S 5630 5630 30805 0 -1 4202496 273562 2182152 0 0 490 63 177890 1332 20 0 1 0 386937776 7163904 1136 33554432000 4194304 6006132 140735190537840 140735190529200 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5631/statm: 1749 1136 177 443 0 1302 0
[pid=7831] ppid=5631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7831/stat : 7831 (satsolver.sh) S 5631 5630 30805 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387117620 9367552 267 33554432000 4194304 5064252 140734892524832 140734892523744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7831/statm: 2287 267 226 213 0 72 0
[pid=7832] ppid=7831 vsize=17340 CPUtime=2.25 cores=0,2,4,6
/proc/7832/stat : 7832 (glucose) R 7831 5630 30805 0 -1 4202496 3202 0 0 0 225 0 0 0 20 0 1 0 387117620 17756160 3594 33554432000 4194304 5208918 140737441657072 140737441655368 4211945 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7832/statm: 4335 3594 95 248 0 4084 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 42632
Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.05
CPU user time (s): 1786.07
CPU system time (s): 13.9779
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 298968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.07
system time used= 13.9779
maximum resident set size= 256396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2459905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 885712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17639
involuntary context switches= 5311
runsolver used 6.83896 second user time and 18.3642 second system time
The end