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-3713560-1338184879/watcher-3713560-1338184879 -o /tmp/evaluation-result-3713560-1338184879/solver-3713560-1338184879 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713560-1338184879.wbo 1869978195 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.07 2.01 2.00 3/180 30911
/proc/meminfo: memFree=29090720/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[startup+0.079115 s]
/proc/loadavg: 2.07 2.01 2.00 3/180 30911
/proc/meminfo: memFree=29090720/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100292 s]
/proc/loadavg: 2.07 2.01 2.00 3/180 30911
/proc/meminfo: memFree=29090720/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 2.07 2.01 2.00 3/180 30911
/proc/meminfo: memFree=29090720/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 2.07 2.01 2.00 3/180 30911
/proc/meminfo: memFree=29090720/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.07 2.01 2.00 3/184 30918
/proc/meminfo: memFree=29084812/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=3708 CPUtime=0.47 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 1101 2899 0 0 5 0 41 1 20 0 1 0 284615227 3796992 478 33554432000 4194304 5990268 140736274721024 140736274715264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30912/statm: 927 478 154 439 0 484 0
[pid=30917] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284615275 9367552 267 33554432000 4194304 5064252 140734155032672 140734155031584 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30917/statm: 2287 267 226 213 0 72 0
[pid=30918] ppid=30917 vsize=7188 CPUtime=1.01 cores=1,3,5,7
/proc/30918/stat : 30918 (glucose) R 30917 30911 26029 0 -1 4202496 1953 0 0 0 101 0 0 0 20 0 1 0 284615276 7360512 1120 33554432000 4194304 5208918 140733558376816 140733558374760 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30918/statm: 1797 1120 102 248 0 1546 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29192
[startup+3.10033 s]
/proc/loadavg: 2.06 2.01 2.00 3/184 30939
/proc/meminfo: memFree=29082128/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=2.01 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2312 18713 0 0 7 2 186 6 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30938] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30938/stat : 30938 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284615431 9367552 266 33554432000 4194304 5064252 140733254233360 140733254232272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30938/statm: 2287 266 226 213 0 72 0
[pid=30939] ppid=30938 vsize=10300 CPUtime=1.05 cores=1,3,5,7
/proc/30939/stat : 30939 (glucose) R 30938 30911 26029 0 -1 4202496 2232 0 0 0 105 0 0 0 20 0 1 0 284615431 10547200 1533 33554432000 4194304 5208918 140735571573984 140735571572136 4212635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30939/statm: 2575 1533 104 248 0 2324 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33116
[startup+6.30033 s]
/proc/loadavg: 2.06 2.01 2.00 3/184 30939
/proc/meminfo: memFree=29074688/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=2.01 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2312 18713 0 0 7 2 186 6 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30938] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30938/stat : 30938 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284615431 9367552 266 33554432000 4194304 5064252 140733254233360 140733254232272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30938/statm: 2287 266 226 213 0 72 0
[pid=30939] ppid=30938 vsize=12860 CPUtime=4.25 cores=1,3,5,7
/proc/30939/stat : 30939 (glucose) R 30938 30911 26029 0 -1 4202496 2980 0 0 0 425 0 0 0 20 0 1 0 284615431 13168640 2752 33554432000 4194304 5208918 140735571573984 140735571571928 4212883 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30939/statm: 3215 2752 104 248 0 2964 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 35676
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 30939
/proc/meminfo: memFree=29069336/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=2.01 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2312 18713 0 0 7 2 186 6 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30938] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30938/stat : 30938 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284615431 9367552 266 33554432000 4194304 5064252 140733254233360 140733254232272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30938/statm: 2287 266 226 213 0 72 0
[pid=30939] ppid=30938 vsize=17228 CPUtime=10.65 cores=1,3,5,7
/proc/30939/stat : 30939 (glucose) R 30938 30911 26029 0 -1 4202496 4156 0 0 0 1065 0 0 0 20 0 1 0 284615431 17641472 3845 33554432000 4194304 5208918 140735571573984 140735571571832 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30939/statm: 4307 3845 104 248 0 4056 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 40044
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 30960
/proc/meminfo: memFree=29077020/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=24.51 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2742 37819 0 0 7 2 2432 10 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30959] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30959/stat : 30959 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284617682 9367552 267 33554432000 4194304 5064252 140737291343552 140737291342464 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30959/statm: 2287 267 226 213 0 72 0
[pid=30960] ppid=30959 vsize=7728 CPUtime=0.93 cores=1,3,5,7
/proc/30960/stat : 30960 (glucose) R 30959 30911 26029 0 -1 4202496 2064 0 0 0 93 0 0 0 20 0 1 0 284617683 7913472 1498 33554432000 4194304 5208918 140737227756704 140737227754648 4213056 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30960/statm: 1932 1498 104 248 0 1681 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 30544
Solver just ended. Dumping a history of the last processes samples
[startup+38.3003 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 30967
/proc/meminfo: memFree=29068236/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=34.81 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2862 45105 0 0 8 3 3458 12 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30966] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30966/stat : 30966 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284618710 9367552 267 33554432000 4194304 5064252 140735513823792 140735513822704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30966/statm: 2287 267 226 213 0 72 0
[pid=30967] ppid=30966 vsize=11248 CPUtime=3.46 cores=1,3,5,7
/proc/30967/stat : 30967 (glucose) R 30966 30911 26029 0 -1 4202496 3321 0 0 0 346 0 0 0 20 0 1 0 284618710 11517952 2450 33554432000 4194304 5208918 140735152477872 140735152475736 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30967/statm: 2812 2450 105 248 0 2561 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 34064
[startup+41.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 30967
/proc/meminfo: memFree=29065880/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=34.81 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2862 45105 0 0 8 3 3458 12 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30966] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30966/stat : 30966 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284618710 9367552 267 33554432000 4194304 5064252 140735513823792 140735513822704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30966/statm: 2287 267 226 213 0 72 0
[pid=30967] ppid=30966 vsize=13948 CPUtime=6.65 cores=1,3,5,7
/proc/30967/stat : 30967 (glucose) R 30966 30911 26029 0 -1 4202496 4039 0 0 0 665 0 0 0 20 0 1 0 284618710 14282752 3121 33554432000 4194304 5208918 140735152477872 140735152475736 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30967/statm: 3487 3121 105 248 0 3236 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 36764
[startup+44.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 30967
/proc/meminfo: memFree=29060308/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=34.81 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2862 45105 0 0 8 3 3458 12 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30966] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30966/stat : 30966 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284618710 9367552 267 33554432000 4194304 5064252 140735513823792 140735513822704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30966/statm: 2287 267 226 213 0 72 0
[pid=30967] ppid=30966 vsize=18344 CPUtime=9.85 cores=1,3,5,7
/proc/30967/stat : 30967 (glucose) R 30966 30911 26029 0 -1 4202496 4406 0 0 0 985 0 0 0 20 0 1 0 284618710 18784256 3988 33554432000 4194304 5208918 140735152477872 140735152475816 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30967/statm: 4586 3988 105 248 0 4335 0
Current children cumulated CPU time (s) 44.66
Current children cumulated vsize (KiB) 41160
[startup+45.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 30967
/proc/meminfo: memFree=29059688/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=34.81 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2862 45105 0 0 8 3 3458 12 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30966] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30966/stat : 30966 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284618710 9367552 267 33554432000 4194304 5064252 140735513823792 140735513822704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30966/statm: 2287 267 226 213 0 72 0
[pid=30967] ppid=30966 vsize=18344 CPUtime=10.65 cores=1,3,5,7
/proc/30967/stat : 30967 (glucose) R 30966 30911 26029 0 -1 4202496 4407 0 0 0 1065 0 0 0 20 0 1 0 284618710 18784256 3989 33554432000 4194304 5208918 140735152477872 140735152475816 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30967/statm: 4586 3989 105 248 0 4335 0
Current children cumulated CPU time (s) 45.46
Current children cumulated vsize (KiB) 41160
[startup+46.3003 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 30967
/proc/meminfo: memFree=29059564/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=34.81 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2862 45105 0 0 8 3 3458 12 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30966] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30966/stat : 30966 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284618710 9367552 267 33554432000 4194304 5064252 140735513823792 140735513822704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30966/statm: 2287 267 226 213 0 72 0
[pid=30967] ppid=30966 vsize=18344 CPUtime=11.45 cores=1,3,5,7
/proc/30967/stat : 30967 (glucose) R 30966 30911 26029 0 -1 4202496 4407 0 0 0 1145 0 0 0 20 0 1 0 284618710 18784256 3989 33554432000 4194304 5208918 140735152477872 140735152475816 4229992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30967/statm: 4586 3989 105 248 0 4335 0
Current children cumulated CPU time (s) 46.26
Current children cumulated vsize (KiB) 41160
[startup+46.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 30967
/proc/meminfo: memFree=29059564/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=34.81 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2862 45105 0 0 8 3 3458 12 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30966] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30966/stat : 30966 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284618710 9367552 267 33554432000 4194304 5064252 140735513823792 140735513822704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30966/statm: 2287 267 226 213 0 72 0
[pid=30967] ppid=30966 vsize=18344 CPUtime=11.65 cores=1,3,5,7
/proc/30967/stat : 30967 (glucose) R 30966 30911 26029 0 -1 4202496 4407 0 0 0 1165 0 0 0 20 0 1 0 284618710 18784256 3989 33554432000 4194304 5208918 140735152477872 140735152475816 4229688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30967/statm: 4586 3989 105 248 0 4335 0
Current children cumulated CPU time (s) 46.46
Current children cumulated vsize (KiB) 41160
[startup+46.6004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 30967
/proc/meminfo: memFree=29059564/32873648 swapFree=7116/7116
[pid=30911] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30911/stat : 30911 (npSolver-wbo.sh) S 30909 30911 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284615227 9367552 275 33554432000 4194304 5064252 140736946128384 140736946127296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 2287 275 233 213 0 72 0
[pid=30912] ppid=30911 vsize=4520 CPUtime=34.81 cores=1,3,5,7
/proc/30912/stat : 30912 (npSolver-wbo) S 30911 30911 26029 0 -1 4202496 2862 45105 0 0 8 3 3458 12 20 0 1 0 284615227 4628480 654 33554432000 4194304 5990268 140736274721024 140736274712464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30912/statm: 1130 654 160 439 0 687 0
[pid=30966] ppid=30912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30966/stat : 30966 (satsolver.sh) S 30912 30911 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284618710 9367552 267 33554432000 4194304 5064252 140735513823792 140735513822704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30966/statm: 2287 267 226 213 0 72 0
[pid=30967] ppid=30966 vsize=18344 CPUtime=11.75 cores=1,3,5,7
/proc/30967/stat : 30967 (glucose) R 30966 30911 26029 0 -1 4202496 4407 0 0 0 1175 0 0 0 20 0 1 0 284618710 18784256 3989 33554432000 4194304 5208918 140735152477872 140735152475816 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30967/statm: 4586 3989 105 248 0 4335 0
Current children cumulated CPU time (s) 46.56
Current children cumulated vsize (KiB) 41160
Child status: 0
Real time (s): 46.6159
CPU time (s): 46.6019
CPU user time (s): 46.4289
CPU system time (s): 0.172973
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 41160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.4289
system time used= 0.172973
maximum resident set size= 15960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 181
involuntary context switches= 141
runsolver used 0.082987 second user time and 0.284956 second system time
The end