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-3715013-1338191671/watcher-3715013-1338191671 -o /tmp/evaluation-result-3715013-1338191671/solver-3715013-1338191671 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715013-1338191671.wbo 1324038831 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.02 2.01 2.00 3/179 15918
/proc/meminfo: memFree=30366944/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[startup+0.0916891 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15918
/proc/meminfo: memFree=30366944/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100313 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15918
/proc/meminfo: memFree=30366944/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300284 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15918
/proc/meminfo: memFree=30366944/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/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.02 2.01 2.00 3/179 15918
/proc/meminfo: memFree=30366944/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 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.02 2.01 2.00 3/181 15920
/proc/meminfo: memFree=30335664/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=34900 CPUtime=1.48 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) R 15918 15918 32349 0 -1 4202496 5315 0 0 0 147 1 0 0 20 0 1 0 285291923 35737600 6908 33554432000 4194304 5990268 140737343841904 140737343837784 4706912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 8725 6908 140 439 0 8282 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44048
[startup+3.10035 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 15922
/proc/meminfo: memFree=30292136/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=35188 CPUtime=3.08 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) R 15918 15918 32349 0 -1 4202496 6008 16772 0 0 164 21 116 7 20 0 1 0 285291923 36032512 6959 33554432000 4194304 5990268 140737343841904 140737343835632 5177872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 8797 6959 153 439 0 8354 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44336
[startup+6.30046 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 15932
/proc/meminfo: memFree=30205172/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=3.48 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 8890 17287 0 0 188 35 116 9 20 0 1 0 285291923 71528448 14897 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14897 164 439 0 17020 0
[pid=15931] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15931/stat : 15931 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285292274 9367552 267 33554432000 4194304 5064252 140733514246496 140733514245408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15931/statm: 2287 267 226 213 0 72 0
[pid=15932] ppid=15931 vsize=73496 CPUtime=2.78 cores=1,3,5,7
/proc/15932/stat : 15932 (glucose) R 15931 15918 32349 0 -1 4202496 13159 0 0 0 275 3 0 0 20 0 1 0 285292274 75259904 15478 33554432000 4194304 5208918 140735452798064 140735452795960 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15932/statm: 18374 15478 103 248 0 18123 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 161644
[startup+12.7005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 15932
/proc/meminfo: memFree=30205420/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=3.48 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 8890 17287 0 0 188 35 116 9 20 0 1 0 285291923 71528448 14897 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14897 164 439 0 17020 0
[pid=15931] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15931/stat : 15931 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285292274 9367552 267 33554432000 4194304 5064252 140733514246496 140733514245408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15931/statm: 2287 267 226 213 0 72 0
[pid=15932] ppid=15931 vsize=73948 CPUtime=9.19 cores=1,3,5,7
/proc/15932/stat : 15932 (glucose) R 15931 15918 32349 0 -1 4202496 13261 0 0 0 915 4 0 0 20 0 1 0 285292274 75722752 15580 33554432000 4194304 5208918 140735452798064 140735452795896 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15932/statm: 18487 15580 103 248 0 18236 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 162096
[startup+25.5005 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15932
/proc/meminfo: memFree=30200960/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=3.48 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 8890 17287 0 0 188 35 116 9 20 0 1 0 285291923 71528448 14897 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14897 164 439 0 17020 0
[pid=15931] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15931/stat : 15931 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285292274 9367552 267 33554432000 4194304 5064252 140733514246496 140733514245408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15931/statm: 2287 267 226 213 0 72 0
[pid=15932] ppid=15931 vsize=74464 CPUtime=21.98 cores=1,3,5,7
/proc/15932/stat : 15932 (glucose) R 15931 15918 32349 0 -1 4202496 13420 0 0 0 2194 4 0 0 20 0 1 0 285292274 76251136 16250 33554432000 4194304 5208918 140735452798064 140735452795896 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15932/statm: 18616 16250 104 248 0 18365 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 162612
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 15939
/proc/meminfo: memFree=30199616/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=30.95 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 11978 34732 0 0 208 38 2826 23 20 0 1 0 285291923 71528448 15047 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 15047 164 439 0 17020 0
[pid=15938] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15938/stat : 15938 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285295022 9367552 267 33554432000 4194304 5064252 140735499189968 140735499188880 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15938/statm: 2287 267 226 213 0 72 0
[pid=15939] ppid=15938 vsize=68888 CPUtime=20.1 cores=1,3,5,7
/proc/15939/stat : 15939 (glucose) R 15938 15918 32349 0 -1 4202496 11851 0 0 0 2007 3 0 0 20 0 1 0 285295022 70541312 14773 33554432000 4194304 5208918 140734500616688 140734500614536 4211066 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15939/statm: 17222 14773 103 248 0 16971 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 157036
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15953
/proc/meminfo: memFree=30195540/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=94.18 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 18156 67579 0 0 250 44 9075 49 20 0 1 0 285291923 71528448 15047 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 15047 164 439 0 17020 0
[pid=15952] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15952/stat : 15952 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285301344 9367552 266 33554432000 4194304 5064252 140734329930272 140734329929184 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15952/statm: 2287 266 226 213 0 72 0
[pid=15953] ppid=15952 vsize=68796 CPUtime=8.08 cores=1,3,5,7
/proc/15953/stat : 15953 (glucose) R 15952 15918 32349 0 -1 4202496 11033 0 0 0 806 2 0 0 20 0 1 0 285301344 70447104 14680 33554432000 4194304 5208918 140733920820976 140733920818824 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15953/statm: 17199 14680 103 248 0 16948 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 156944
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15967
/proc/meminfo: memFree=30190432/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=142.57 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 24334 100667 0 0 291 50 13840 76 20 0 1 0 285291923 71528448 15047 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 15047 164 439 0 17020 0
[pid=15966] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15966/stat : 15966 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285306185 9367552 267 33554432000 4194304 5064252 140734848189872 140734848188784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15966/statm: 2287 267 226 213 0 72 0
[pid=15967] ppid=15966 vsize=69020 CPUtime=19.66 cores=1,3,5,7
/proc/15967/stat : 15967 (glucose) R 15966 15918 32349 0 -1 4202496 11948 0 0 0 1964 2 0 0 20 0 1 0 285306186 70676480 14475 33554432000 4194304 5208918 140734639719072 140734639716744 4211641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15967/statm: 17255 14475 103 248 0 17004 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 157168
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16033
/proc/meminfo: memFree=30464156/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 16326
/proc/meminfo: memFree=30424968/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1358.53 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 123155 620933 0 0 905 140 134334 474 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16325] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16325/stat : 16325 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285427810 9367552 267 33554432000 4194304 5064252 140734849827856 140734849826768 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16325/statm: 2287 267 226 213 0 72 0
[pid=16326] ppid=16325 vsize=66212 CPUtime=3.43 cores=1,3,5,7
/proc/16326/stat : 16326 (glucose) R 16325 15918 32349 0 -1 4202496 11157 0 0 0 339 4 0 0 20 0 1 0 285427810 67801088 13560 33554432000 4194304 5208918 140736650429792 140736650427640 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16326/statm: 16553 13560 103 248 0 16302 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 154360
[startup+1422.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 16347
/proc/meminfo: memFree=30389504/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1421.6 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 132419 667918 0 0 961 148 140540 511 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16346] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16346/stat : 16346 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285434121 9367552 267 33554432000 4194304 5064252 140734194685584 140734194684496 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16346/statm: 2287 267 226 213 0 72 0
[pid=16347] ppid=16346 vsize=65324 CPUtime=0.32 cores=1,3,5,7
/proc/16347/stat : 16347 (glucose) R 16346 15918 32349 0 -1 4202496 9938 0 0 0 30 2 0 0 20 0 1 0 285434122 66891776 13140 33554432000 4194304 5208918 140734978904624 140734194684520 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16347/statm: 16331 13140 95 248 0 16080 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 153472
[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 16348
/proc/meminfo: memFree=30376184/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1421.6 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 132419 667918 0 0 961 148 140540 511 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16346] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16346/stat : 16346 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285434121 9367552 267 33554432000 4194304 5064252 140734194685584 140734194684496 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16346/statm: 2287 267 226 213 0 72 0
[pid=16347] ppid=16346 vsize=68028 CPUtime=60.29 cores=1,3,5,7
/proc/16347/stat : 16347 (glucose) R 16346 15918 32349 0 -1 4202496 10597 0 0 0 6027 2 0 0 20 0 1 0 285434122 69660672 14836 33554432000 4194304 5208918 140734978904624 140734978902472 4211605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16347/statm: 17007 14836 103 248 0 16756 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 156176
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 16351
/proc/meminfo: memFree=30367852/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1421.6 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 132419 667918 0 0 961 148 140540 511 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16346] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16346/stat : 16346 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285434121 9367552 267 33554432000 4194304 5064252 140734194685584 140734194684496 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16346/statm: 2287 267 226 213 0 72 0
[pid=16347] ppid=16346 vsize=68028 CPUtime=120.29 cores=1,3,5,7
/proc/16347/stat : 16347 (glucose) R 16346 15918 32349 0 -1 4202496 10598 0 0 0 12027 2 0 0 20 0 1 0 285434122 69660672 15348 33554432000 4194304 5208918 140734978904624 140734978902472 4211888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16347/statm: 17007 15348 103 248 0 16756 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 156176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16358
/proc/meminfo: memFree=30368620/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1574.88 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 135507 683656 0 0 980 151 155834 523 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16357] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16357/stat : 16357 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285449453 9367552 266 33554432000 4194304 5064252 140734868901280 140734868900192 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16357/statm: 2287 266 226 213 0 72 0
[pid=16358] ppid=16357 vsize=66472 CPUtime=26.99 cores=1,3,5,7
/proc/16358/stat : 16358 (glucose) R 16357 15918 32349 0 -1 4202496 10540 0 0 0 2696 3 0 0 20 0 1 0 285449453 68067328 13616 33554432000 4194304 5208918 140735300903664 140735300901624 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16358/statm: 16618 13616 104 248 0 16367 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 154620
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 16365
/proc/meminfo: memFree=30361000/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1620.61 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 138595 698639 0 0 999 153 160375 534 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16364] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285454027 9367552 266 33554432000 4194304 5064252 140735657114832 140735657113744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16364/statm: 2287 266 226 213 0 72 0
[pid=16365] ppid=16364 vsize=67796 CPUtime=41.24 cores=1,3,5,7
/proc/16365/stat : 16365 (glucose) R 16364 15918 32349 0 -1 4202496 10742 0 0 0 4121 3 0 0 20 0 1 0 285454028 69423104 14433 33554432000 4194304 5208918 140733314617584 140733314615432 4211623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16365/statm: 16949 14433 103 248 0 16698 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 155944
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 16365
/proc/meminfo: memFree=30354856/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1620.61 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 138595 698639 0 0 999 153 160375 534 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16364] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285454027 9367552 266 33554432000 4194304 5064252 140735657114832 140735657113744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16364/statm: 2287 266 226 213 0 72 0
[pid=16365] ppid=16364 vsize=67796 CPUtime=101.23 cores=1,3,5,7
/proc/16365/stat : 16365 (glucose) R 16364 15918 32349 0 -1 4202496 10743 0 0 0 10120 3 0 0 20 0 1 0 285454028 69423104 14945 33554432000 4194304 5208918 140733314617584 140733314615432 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16365/statm: 16949 14945 103 248 0 16698 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 155944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16366
/proc/meminfo: memFree=30358808/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1620.61 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 138595 698639 0 0 999 153 160375 534 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16364] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285454027 9367552 266 33554432000 4194304 5064252 140735657114832 140735657113744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16364/statm: 2287 266 226 213 0 72 0
[pid=16365] ppid=16364 vsize=57136 CPUtime=161.21 cores=1,3,5,7
/proc/16365/stat : 16365 (glucose) R 16364 15918 32349 0 -1 4202496 11588 0 0 0 16118 3 0 0 20 0 1 0 285454028 58507264 13290 33554432000 4194304 5208918 140733314617584 140733314615432 4211712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16365/statm: 14284 13290 105 248 0 14033 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 145284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16366
/proc/meminfo: memFree=30355184/32873844 swapFree=6600/6600
[pid=15918] ppid=15916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (npSolver-wbo-It) S 15916 15918 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285291923 9367552 274 33554432000 4194304 5064252 140734007598624 140734007597536 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15918/statm: 2287 274 233 213 0 72 0
[pid=15919] ppid=15918 vsize=69852 CPUtime=1620.61 cores=1,3,5,7
/proc/15919/stat : 15919 (npSolver-wbo) S 15918 15918 32349 0 -1 4202496 138595 698639 0 0 999 153 160375 534 20 0 1 0 285291923 71528448 14535 33554432000 4194304 5990268 140737343841904 140737343833328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15919/statm: 17463 14535 164 439 0 17020 0
[pid=16364] ppid=15919 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (satsolver.sh) S 15919 15918 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285454027 9367552 266 33554432000 4194304 5064252 140735657114832 140735657113744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16364/statm: 2287 266 226 213 0 72 0
[pid=16365] ppid=16364 vsize=70212 CPUtime=179.42 cores=1,3,5,7
/proc/16365/stat : 16365 (glucose) R 16364 15918 32349 0 -1 4202496 12100 0 0 0 17938 4 0 0 20 0 1 0 285454028 71897088 13795 33554432000 4194304 5208918 140733314617584 140733314615432 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16365/statm: 17553 13795 105 248 0 17302 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 158360
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.51
CPU time (s): 1800.07
CPU user time (s): 1793.14
CPU system time (s): 6.93694
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 191712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.14
system time used= 6.93694
maximum resident set size= 85920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 850322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2242752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5861
involuntary context switches= 2287
runsolver used 4.73728 second user time and 11.5542 second system time
The end