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-3753206-1339207988/watcher-3753206-1339207988 -o /tmp/evaluation-result-3753206-1339207988/solver-3753206-1339207988 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753206-1339207988.wbo 889868313 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: 1.87 1.95 1.98 4/179 29962
/proc/meminfo: memFree=29608608/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[startup+0.087293 s]
/proc/loadavg: 1.87 1.95 1.98 4/179 29962
/proc/meminfo: memFree=29608608/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 1.87 1.95 1.98 4/179 29962
/proc/meminfo: memFree=29608608/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300195 s]
/proc/loadavg: 1.87 1.95 1.98 4/179 29962
/proc/meminfo: memFree=29608608/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700277 s]
/proc/loadavg: 1.87 1.95 1.98 4/179 29962
/proc/meminfo: memFree=29608608/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 1.87 1.95 1.98 3/183 29976
/proc/meminfo: memFree=29595668/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=3916 CPUtime=0.13 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 2703 2706 0 0 3 0 10 0 20 0 1 0 386926029 4009984 565 33554432000 4194304 6006132 140735761310816 140735761305008 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29963/statm: 979 565 158 443 0 532 0
[pid=29968] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29968/stat : 29968 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386926044 9367552 267 33554432000 4194304 5064252 140734360133680 140734360132592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29968/statm: 2287 267 226 213 0 72 0
[pid=29969] ppid=29968 vsize=23240 CPUtime=1.33 cores=1,3,5,7
/proc/29969/stat : 29969 (glucose) R 29968 29962 16918 0 -1 4202496 3511 0 0 0 132 1 0 0 20 0 1 0 386926045 23797760 4397 33554432000 4194304 5208918 140733928297072 140733928295224 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29969/statm: 5810 4397 96 248 0 5559 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45452
[startup+3.10038 s]
/proc/loadavg: 1.87 1.95 1.98 3/181 29985
/proc/meminfo: memFree=29620216/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=3916 CPUtime=0.13 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 2703 2706 0 0 3 0 10 0 20 0 1 0 386926029 4009984 565 33554432000 4194304 6006132 140735761310816 140735761305008 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29963/statm: 979 565 158 443 0 532 0
[pid=29968] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29968/stat : 29968 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386926044 9367552 267 33554432000 4194304 5064252 140734360133680 140734360132592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29968/statm: 2287 267 226 213 0 72 0
[pid=29969] ppid=29968 vsize=65308 CPUtime=2.93 cores=1,3,5,7
/proc/29969/stat : 29969 (glucose) R 29968 29962 16918 0 -1 4202496 5387 0 0 0 291 2 0 0 20 0 1 0 386926045 66875392 13320 33554432000 4194304 5208918 140733928297072 140733928295016 4212508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29969/statm: 16327 13320 96 248 0 16076 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 87520
[startup+6.30037 s]
/proc/loadavg: 1.88 1.95 1.98 3/182 30016
/proc/meminfo: memFree=29569204/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=4.43 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 4760 11529 0 0 10 3 427 3 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30007] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386926474 9367552 267 33554432000 4194304 5064252 140735116285568 140735116284480 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30007/statm: 2287 267 226 213 0 72 0
[pid=30008] ppid=30007 vsize=46096 CPUtime=1.83 cores=1,3,5,7
/proc/30008/stat : 30008 (glucose) R 30007 29962 16918 0 -1 4202496 9324 0 0 0 181 2 0 0 20 0 1 0 386926475 47202304 9530 33554432000 4194304 5208918 140733990530656 140733990529064 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30008/statm: 11524 9530 95 248 0 11273 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 84800
[startup+12.7003 s]
/proc/loadavg: 1.89 1.95 1.98 2/183 30061
/proc/meminfo: memFree=29561684/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=4.43 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 4760 11529 0 0 10 3 427 3 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30007] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386926474 9367552 267 33554432000 4194304 5064252 140735116285568 140735116284480 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30007/statm: 2287 267 226 213 0 72 0
[pid=30008] ppid=30007 vsize=50652 CPUtime=8.23 cores=1,3,5,7
/proc/30008/stat : 30008 (glucose) R 30007 29962 16918 0 -1 4202496 9988 0 0 0 821 2 0 0 20 0 1 0 386926475 51867648 10705 33554432000 4194304 5208918 140733990530656 140733990528504 4211652 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30008/statm: 12663 10705 95 248 0 12412 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 89356
[startup+25.5003 s]
/proc/loadavg: 1.91 1.96 1.98 3/184 30158
/proc/meminfo: memFree=29543672/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=4.43 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 4760 11529 0 0 10 3 427 3 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30007] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386926474 9367552 267 33554432000 4194304 5064252 140735116285568 140735116284480 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30007/statm: 2287 267 226 213 0 72 0
[pid=30008] ppid=30007 vsize=58252 CPUtime=21.02 cores=1,3,5,7
/proc/30008/stat : 30008 (glucose) R 30007 29962 16918 0 -1 4202496 11644 0 0 0 2100 2 0 0 20 0 1 0 386926475 59650048 12147 33554432000 4194304 5208918 140733990530656 140733990528616 4211577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30008/statm: 14563 12147 96 248 0 14312 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 96956
[startup+51.1004 s]
/proc/loadavg: 1.94 1.96 1.98 3/183 30337
/proc/meminfo: memFree=29438324/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=4.43 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 4760 11529 0 0 10 3 427 3 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30007] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386926474 9367552 267 33554432000 4194304 5064252 140735116285568 140735116284480 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30007/statm: 2287 267 226 213 0 72 0
[pid=30008] ppid=30007 vsize=88888 CPUtime=46.62 cores=1,3,5,7
/proc/30008/stat : 30008 (glucose) R 30007 29962 16918 0 -1 4202496 13013 0 0 0 4659 3 0 0 20 0 1 0 386926475 91021312 19055 33554432000 4194304 5208918 140733990530656 140733990528600 4211577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30008/statm: 22222 19055 96 248 0 21971 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 127592
[startup+102.307 s]
/proc/loadavg: 2.13 2.01 2.00 3/183 30436
/proc/meminfo: memFree=29505868/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=65.93 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 6802 29256 0 0 17 4 6556 16 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30435] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30435/stat : 30435 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386932625 9367552 267 33554432000 4194304 5064252 140735531096496 140735531095408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30435/statm: 2287 267 226 213 0 72 0
[pid=30436] ppid=30435 vsize=69812 CPUtime=36.32 cores=1,3,5,7
/proc/30436/stat : 30436 (glucose) R 30435 29962 16918 0 -1 4202496 12059 0 0 0 3630 2 0 0 20 0 1 0 386932625 71487488 13227 33554432000 4194304 5208918 140735987546304 140735987544248 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30436/statm: 17453 13227 96 248 0 17202 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 108516
[startup+162.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/183 30444
/proc/meminfo: memFree=29538380/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=128.69 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 8844 46553 0 0 24 5 12810 30 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30443] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/30594/statm: 2287 267 226 213 0 72 0
[pid=30595] ppid=30594 vsize=50656 CPUtime=4.92 cores=1,3,5,7
/proc/30595/stat : 30595 (glucose) R 30594 29962 16918 0 -1 4202496 9877 0 0 0 491 1 0 0 20 0 1 0 387061765 51871744 10072 33554432000 4194304 5208918 140737116881488 140737116879336 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30595/statm: 12664 10072 95 248 0 12413 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 89360
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 30602
/proc/meminfo: memFree=29345048/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1416.61 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 51726 400835 0 0 165 23 141164 309 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30601] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30601/stat : 30601 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387067722 9367552 267 33554432000 4194304 5064252 140733817187856 140733817186768 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30601/statm: 2287 267 226 213 0 72 0
[pid=30602] ppid=30601 vsize=50656 CPUtime=5.36 cores=1,3,5,7
/proc/30602/stat : 30602 (glucose) R 30601 29962 16918 0 -1 4202496 9912 0 0 0 534 2 0 0 20 0 1 0 387067722 51871744 10121 33554432000 4194304 5208918 140737184548016 140737184545864 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30602/statm: 12664 10121 95 248 0 12413 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 89360
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 30602
/proc/meminfo: memFree=29325440/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1481.76 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 53768 417927 0 0 172 24 147656 324 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 29556
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 30609
/proc/meminfo: memFree=29295260/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1481.76 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 53768 417927 0 0 172 24 147656 324 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30608] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30608/stat : 30608 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387074238 9367552 266 33554432000 4194304 5064252 140735969013312 140735969012224 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30608/statm: 2287 266 226 213 0 72 0
[pid=30609] ppid=30608 vsize=88892 CPUtime=60.19 cores=1,3,5,7
/proc/30609/stat : 30609 (glucose) R 30608 29962 16918 0 -1 4202496 12899 0 0 0 6016 3 0 0 20 0 1 0 387074238 91025408 19517 33554432000 4194304 5208918 140734690066432 140734690064376 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30609/statm: 22223 19517 96 248 0 21972 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 127596
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 30616
/proc/meminfo: memFree=29314644/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1543.33 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 55810 435033 0 0 179 25 153790 339 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30615] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30615/stat : 30615 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387080397 9367552 266 33554432000 4194304 5064252 140734614932336 140734614931248 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30615/statm: 2287 266 226 213 0 72 0
[pid=30616] ppid=30615 vsize=88892 CPUtime=58.6 cores=1,3,5,7
/proc/30616/stat : 30616 (glucose) R 30615 29962 16918 0 -1 4202496 12302 0 0 0 5857 3 0 0 20 0 1 0 387080397 91025408 19144 33554432000 4194304 5208918 140735910239008 140735910236952 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30616/statm: 22223 19144 96 248 0 21972 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 127596
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 30627
/proc/meminfo: memFree=29320776/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1603.5 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 57852 452048 0 0 185 26 159788 351 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30622] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30622/stat : 30622 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387086416 9367552 266 33554432000 4194304 5064252 140735186030400 140735186029312 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30622/statm: 2287 266 226 213 0 72 0
[pid=30623] ppid=30622 vsize=88888 CPUtime=58.41 cores=1,3,5,7
/proc/30623/stat : 30623 (glucose) R 30622 29962 16918 0 -1 4202496 12664 0 0 0 5838 3 0 0 20 0 1 0 387086416 91021312 19287 33554432000 4194304 5208918 140736835738576 140736835736520 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30623/statm: 22222 19287 96 248 0 21971 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 127592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 30634
/proc/meminfo: memFree=29439856/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1664.89 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 59894 468916 0 0 192 27 165904 366 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30633] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30633/stat : 30633 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387092555 9367552 266 33554432000 4194304 5064252 140736834469536 140736834468448 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30633/statm: 2287 266 226 213 0 72 0
[pid=30634] ppid=30633 vsize=88892 CPUtime=57.02 cores=1,3,5,7
/proc/30634/stat : 30634 (glucose) R 30633 29962 16918 0 -1 4202496 12580 0 0 0 5700 2 0 0 20 0 1 0 387092555 91025408 18859 33554432000 4194304 5208918 140735831734480 140735831732424 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30634/statm: 22223 18859 96 248 0 21972 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 127596
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30641
/proc/meminfo: memFree=29226160/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1727.43 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 61936 485701 0 0 199 27 172137 380 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30640] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30640/stat : 30640 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387098810 9367552 266 33554432000 4194304 5064252 140736260287792 140736260286704 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30640/statm: 2287 266 226 213 0 72 0
[pid=30641] ppid=30640 vsize=88892 CPUtime=54.46 cores=1,3,5,7
/proc/30641/stat : 30641 (glucose) R 30640 29962 16918 0 -1 4202496 12950 0 0 0 5443 3 0 0 20 0 1 0 387098810 91025408 19870 33554432000 4194304 5208918 140737283646560 140737283644504 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30641/statm: 22223 19870 96 248 0 21972 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 127596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30648
/proc/meminfo: memFree=29435572/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1787.91 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 63978 503367 0 0 206 28 178164 393 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30647] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30647/stat : 30647 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387104860 9367552 267 33554432000 4194304 5064252 140735057126576 140735057125488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30647/statm: 2287 267 226 213 0 72 0
[pid=30648] ppid=30647 vsize=57968 CPUtime=12.18 cores=1,3,5,7
/proc/30648/stat : 30648 (glucose) R 30647 29962 16918 0 -1 4202496 9844 0 0 0 1217 1 0 0 20 0 1 0 387104860 59359232 11562 33554432000 4194304 5208918 140737297123776 140737297121928 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30648/statm: 14492 11562 95 248 0 14241 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 96672
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30648
/proc/meminfo: memFree=29435572/32873648 swapFree=7376/7376
[pid=29962] ppid=29960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29962/stat : 29962 (npSolver-wbo-It) S 29960 29962 16918 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386926029 9367552 275 33554432000 4194304 5064252 140736860070224 140736860069136 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29962/statm: 2287 275 233 213 0 72 0
[pid=29963] ppid=29962 vsize=20408 CPUtime=1787.91 cores=1,3,5,7
/proc/29963/stat : 29963 (npSolver-wbo) S 29962 29962 16918 0 -1 4202496 63978 503367 0 0 206 28 178164 393 20 0 1 0 386926029 20897792 3918 33554432000 4194304 6006132 140735761310816 140735761302176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29963/statm: 5102 3918 177 443 0 4655 0
[pid=30647] ppid=29963 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30647/stat : 30647 (satsolver.sh) S 29963 29962 16918 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387104860 9367552 267 33554432000 4194304 5064252 140735057126576 140735057125488 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30647/statm: 2287 267 226 213 0 72 0
[pid=30648] ppid=30647 vsize=57968 CPUtime=12.18 cores=1,3,5,7
/proc/30648/stat : 30648 (glucose) R 30647 29962 16918 0 -1 4202496 9844 0 0 0 1217 1 0 0 20 0 1 0 387104860 59359232 11562 33554432000 4194304 5208918 140737297123776 140737297121928 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30648/statm: 14492 11562 95 248 0 14241 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 96672
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1795.89
CPU system time (s): 4.24635
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 127600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 4.24635
maximum resident set size= 80736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 371120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7657
involuntary context switches= 2216
runsolver used 4.90625 second user time and 20.5099 second system time
The end