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-3753074-1339210320/watcher-3753074-1339210320 -o /tmp/evaluation-result-3753074-1339210320/solver-3753074-1339210320 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753074-1339210320.wbo 1924772072 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 15875
/proc/meminfo: memFree=31325680/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[startup+0.0884921 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 15875
/proc/meminfo: memFree=31325680/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 15875
/proc/meminfo: memFree=31325680/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 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.06 3/177 15875
/proc/meminfo: memFree=31325680/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 15875
/proc/meminfo: memFree=31325680/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 15924
/proc/meminfo: memFree=31308260/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=1.27 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 5335 38076 0 0 13 2 91 21 20 0 1 0 387157954 6799360 1130 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1130 188 443 0 1213 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 15788
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 15931
/proc/meminfo: memFree=31308688/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=1.27 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 5335 38076 0 0 13 2 91 21 20 0 1 0 387157954 6799360 1130 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1130 188 443 0 1213 0
[pid=15930] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15930/stat : 15930 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387158083 9367552 267 33554432000 4194304 5064252 140735053390144 140735053389056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15930/statm: 2287 267 226 213 0 72 0
[pid=15931] ppid=15930 vsize=12220 CPUtime=1.79 cores=0,2,4,6
/proc/15931/stat : 15931 (glucose) R 15930 15875 13761 0 -1 4202496 2754 0 0 0 179 0 0 0 20 0 1 0 387158083 12513280 2396 33554432000 4194304 5208918 140737372050112 140737372048200 4229133 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15931/statm: 3055 2396 102 248 0 2804 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37156
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 15931
/proc/meminfo: memFree=31299116/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=1.27 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 5335 38076 0 0 13 2 91 21 20 0 1 0 387157954 6799360 1130 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1130 188 443 0 1213 0
[pid=15930] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15930/stat : 15930 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387158083 9367552 267 33554432000 4194304 5064252 140735053390144 140735053389056 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15930/statm: 2287 267 226 213 0 72 0
[pid=15931] ppid=15930 vsize=18404 CPUtime=5 cores=0,2,4,6
/proc/15931/stat : 15931 (glucose) R 15930 15875 13761 0 -1 4202496 4319 0 0 0 499 1 0 0 20 0 1 0 387158083 18845696 3819 33554432000 4194304 5208918 140737372050112 140737372048056 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15931/statm: 4601 3819 102 248 0 4350 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 43340
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 15938
/proc/meminfo: memFree=31298112/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=10.62 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 5850 46192 0 0 15 2 1020 25 20 0 1 0 387157954 6799360 1130 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1130 188 443 0 1213 0
[pid=15937] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15937/stat : 15937 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387159018 9367552 267 33554432000 4194304 5064252 140737230276272 140737230275184 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15937/statm: 2287 267 226 213 0 72 0
[pid=15938] ppid=15937 vsize=14064 CPUtime=2.04 cores=0,2,4,6
/proc/15938/stat : 15938 (glucose) R 15937 15875 13761 0 -1 4202496 3460 0 0 0 204 0 0 0 20 0 1 0 387159018 14401536 2935 33554432000 4194304 5208918 140735588009296 140735588007256 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15938/statm: 3516 2935 102 248 0 3265 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 39000
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 15959
/proc/meminfo: memFree=31299728/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=23.65 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 7395 68295 0 0 20 2 2307 36 20 0 1 0 387157954 6799360 1130 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1130 188 443 0 1213 0
[pid=15958] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15958/stat : 15958 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387160321 9367552 267 33554432000 4194304 5064252 140733545161792 140733545160704 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15958/statm: 2287 267 226 213 0 72 0
[pid=15959] ppid=15958 vsize=13896 CPUtime=1.82 cores=0,2,4,6
/proc/15959/stat : 15959 (glucose) R 15958 15875 13761 0 -1 4202496 3077 0 0 0 182 0 0 0 20 0 1 0 387160321 14229504 2625 33554432000 4194304 5208918 140734003879104 140734003876952 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15959/statm: 3474 2625 96 248 0 3223 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38832
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 15966
/proc/meminfo: memFree=31269632/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=27.04 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 7910 76235 0 0 22 2 2640 40 20 0 1 0 387157954 6799360 1130 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1130 188 443 0 1213 0
[pid=15965] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15965/stat : 15965 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387160661 9367552 267 33554432000 4194304 5064252 140733285430704 140733285429616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15965/statm: 2287 267 226 213 0 72 0
[pid=15966] ppid=15965 vsize=37332 CPUtime=24.01 cores=0,2,4,6
/proc/15966/stat : 15966 (glucose) R 15965 15875 13761 0 -1 4202496 5259 0 0 0 2400 1 0 0 20 0 1 0 387160661 38227968 7153 33554432000 4194304 5208918 140737365210864 140737365208808 4212476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15966/statm: 9333 7153 105 248 0 9082 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 62268
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.06 3/181 16044
/proc/meminfo: memFree=29887004/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=91.6 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 8983 95350 0 0 25 3 9084 48 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16041] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16041/stat : 16041 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387167118 9367552 267 33554432000 4194304 5064252 140735997243104 140735997242016 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16041/statm: 2287 267 226 213 0 72 0
[pid=16042] ppid=16041 vsize=17800 CPUtime=10.65 cores=0,2,4,6
/proc/16042/stat : 16042 (glucose) R 16041 15875 13761 0 -1 4202496 4949 0 0 0 1064 1 0 0 20 0 1 0 387167119 18227200 3937 33554432000 4194304 5208918 140737421788800 140737421786664 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16042/statm: 4450 3937 96 248 0 4199 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42736
[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.06 3/181 16044
/proc/meminfo: memFree=28692772/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=91.6 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 8983 95350 0 0 25 3 9084 48 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16041] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16041/stat : 16041 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387167118 9367552 267 33554432000 4194304 5064252 140735997243104 140735997242016 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16041/statm: 2287 267 226 213 0 72 0
[pid=16042] ppid=16041 vsize=27068 CPUtime=70.63 cores=0,2,4,6
/proc/16042/stat : 16042 (glucose) R 16041 15875 13761 0 -1 4202496 6450 0 0 0 7062 1 0 0 20 0 1 0 387167119 27717632 6447 33554432000 4194304 5208918 140737421788800 140737421786744 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16042/statm: 6767 6447 96 248 0 6516 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 16085
/proc/meminfo: memFree=28560320/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=66576 CPUtime=526.65 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 9906 0 0 0 52663 2 0 0 20 0 1 0 387241510 68173824 16285 33554432000 4194304 5208918 140735906841376 140735906839320 4213121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 16644 16285 101 248 0 16393 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 91512
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 16085
/proc/meminfo: memFree=28560080/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=66576 CPUtime=586.64 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 9906 0 0 0 58662 2 0 0 20 0 1 0 387241510 68173824 16285 33554432000 4194304 5208918 140735906841376 140735906839320 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 16644 16285 101 248 0 16393 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 91512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16086
/proc/meminfo: memFree=28560196/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=66576 CPUtime=646.63 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 9906 0 0 0 64661 2 0 0 20 0 1 0 387241510 68173824 16285 33554432000 4194304 5208918 140735906841376 140735906839320 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 16644 16285 101 248 0 16393 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 91512
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16086
/proc/meminfo: memFree=28557828/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=66708 CPUtime=706.63 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 9940 0 0 0 70660 3 0 0 20 0 1 0 387241510 68308992 16318 33554432000 4194304 5208918 140735906841376 140735906839240 4229424 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 16677 16318 101 248 0 16426 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 91644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16086
/proc/meminfo: memFree=28556268/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=69160 CPUtime=766.62 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 10444 0 0 0 76659 3 0 0 20 0 1 0 387241510 70819840 16799 33554432000 4194304 5208918 140735906841376 140735906839240 4213234 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 17290 16799 101 248 0 17039 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 94096
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16086
/proc/meminfo: memFree=28553992/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=70548 CPUtime=826.61 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 10946 0 0 0 82658 3 0 0 20 0 1 0 387241510 72241152 17278 33554432000 4194304 5208918 140735906841376 140735906839240 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 17637 17278 101 248 0 17386 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 95484
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16089
/proc/meminfo: memFree=28545180/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=89224 CPUtime=886.6 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 10952 0 0 0 88657 3 0 0 20 0 1 0 387241510 91365376 19328 33554432000 4194304 5208918 140735906841376 140735906839320 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 22306 19328 101 248 0 22055 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 114160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16090
/proc/meminfo: memFree=28545060/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=89224 CPUtime=946.59 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 10952 0 0 0 94656 3 0 0 20 0 1 0 387241510 91365376 19328 33554432000 4194304 5208918 140735906841376 140735906839320 4229222 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 22306 19328 101 248 0 22055 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 114160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16090
/proc/meminfo: memFree=28545288/32873852 swapFree=6860/6860
[pid=15875] ppid=15873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (npSolver-wbo-It) S 15873 15875 13761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387157954 9367552 274 33554432000 4194304 5064252 140737467419904 140737467418816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15875/statm: 2287 274 233 213 0 72 0
[pid=15876] ppid=15875 vsize=6640 CPUtime=835.39 cores=0,2,4,6
/proc/15876/stat : 15876 (npSolver-wbo) S 15875 15875 13761 0 -1 4202496 9526 109330 0 0 27 3 83455 54 20 0 1 0 387157954 6799360 1132 33554432000 4194304 6006132 140733439214672 140733439206064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15876/statm: 1660 1132 190 443 0 1213 0
[pid=16080] ppid=15876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16080/stat : 16080 (satsolver.sh) S 15876 15875 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387241510 9367552 267 33554432000 4194304 5064252 140737302366464 140737302365376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16080/statm: 2287 267 226 213 0 72 0
[pid=16081] ppid=16080 vsize=89224 CPUtime=964.69 cores=0,2,4,6
/proc/16081/stat : 16081 (glucose) R 16080 15875 13761 0 -1 4202496 10952 0 0 0 96466 3 0 0 20 0 1 0 387241510 91365376 19328 33554432000 4194304 5208918 140735906841376 140735906839320 4229035 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16081/statm: 22306 19328 101 248 0 22055 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 114160
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.5
CPU system time (s): 0.614906
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 114160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.614906
maximum resident set size= 79260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 717
involuntary context switches= 2020
runsolver used 4.40633 second user time and 11.7652 second system time
The end