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-3752926-1339198263/watcher-3752926-1339198263 -o /tmp/evaluation-result-3752926-1339198263/solver-3752926-1339198263 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752926-1339198263.wbo 1523948142 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.04 2.01 1.99 3/179 5166
/proc/meminfo: memFree=26754344/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[startup+0.0298201 s]
/proc/loadavg: 2.04 2.01 1.99 3/179 5166
/proc/meminfo: memFree=26754344/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100224 s]
/proc/loadavg: 2.04 2.01 1.99 3/179 5166
/proc/meminfo: memFree=26754344/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300181 s]
/proc/loadavg: 2.04 2.01 1.99 3/179 5166
/proc/meminfo: memFree=26754344/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700175 s]
/proc/loadavg: 2.04 2.01 1.99 3/179 5166
/proc/meminfo: memFree=26754344/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.04 2.01 1.99 3/183 5173
/proc/meminfo: memFree=26748996/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=3016 CPUtime=0.21 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 1426 2190 0 0 2 0 19 0 20 0 1 0 385950775 3088384 374 33554432000 4194304 6006132 140734819987920 140734819982112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5167/statm: 754 374 157 443 0 307 0
[pid=5172] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385950797 9367552 267 33554432000 4194304 5064252 140734866848384 140734866847296 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5172/statm: 2287 267 226 213 0 72 0
[pid=5173] ppid=5172 vsize=12928 CPUtime=1.26 cores=1,3,5,7
/proc/5173/stat : 5173 (glucose) R 5172 5166 5089 0 -1 4202496 2492 0 0 0 126 0 0 0 20 0 1 0 385950798 13238272 1702 33554432000 4194304 5208918 140734740346064 140734740344008 4469429 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5173/statm: 3232 1702 96 248 0 2981 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34240
[startup+3.10029 s]
/proc/loadavg: 2.04 2.01 1.99 3/183 5173
/proc/meminfo: memFree=26738384/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=3016 CPUtime=0.21 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 1426 2190 0 0 2 0 19 0 20 0 1 0 385950775 3088384 374 33554432000 4194304 6006132 140734819987920 140734819982112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5167/statm: 754 374 157 443 0 307 0
[pid=5172] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385950797 9367552 267 33554432000 4194304 5064252 140734866848384 140734866847296 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5172/statm: 2287 267 226 213 0 72 0
[pid=5173] ppid=5172 vsize=12928 CPUtime=2.86 cores=1,3,5,7
/proc/5173/stat : 5173 (glucose) R 5172 5166 5089 0 -1 4202496 3077 0 0 0 286 0 0 0 20 0 1 0 385950798 13238272 2789 33554432000 4194304 5208918 140734740346064 140734740344008 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5173/statm: 3232 2789 96 248 0 2981 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34240
[startup+6.30031 s]
/proc/loadavg: 2.03 2.01 1.99 3/183 5173
/proc/meminfo: memFree=26728216/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=3016 CPUtime=0.21 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 1426 2190 0 0 2 0 19 0 20 0 1 0 385950775 3088384 374 33554432000 4194304 6006132 140734819987920 140734819982112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5167/statm: 754 374 157 443 0 307 0
[pid=5172] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385950797 9367552 267 33554432000 4194304 5064252 140734866848384 140734866847296 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5172/statm: 2287 267 226 213 0 72 0
[pid=5173] ppid=5172 vsize=22724 CPUtime=6.06 cores=1,3,5,7
/proc/5173/stat : 5173 (glucose) R 5172 5166 5089 0 -1 4202496 3715 0 0 0 606 0 0 0 20 0 1 0 385950798 23269376 4954 33554432000 4194304 5208918 140734740346064 140734740344056 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5173/statm: 5681 4954 96 248 0 5430 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 44036
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 1.99 3/183 5180
/proc/meminfo: memFree=26725216/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=10.64 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 2312 9413 0 0 3 1 1058 2 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=5179] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5179/stat : 5179 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385951842 9367552 266 33554432000 4194304 5064252 140736990270224 140736990269136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5179/statm: 2287 266 226 213 0 72 0
[pid=5180] ppid=5179 vsize=18112 CPUtime=2.02 cores=1,3,5,7
/proc/5180/stat : 5180 (glucose) R 5179 5166 5089 0 -1 4202496 4170 0 0 0 202 0 0 0 20 0 1 0 385951842 18546688 4110 33554432000 4194304 5208918 140734852216768 140734852214856 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5180/statm: 4528 4110 96 248 0 4277 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42332
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 1.99 3/183 5194
/proc/meminfo: memFree=26717732/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=20.1 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 3181 19534 0 0 5 1 1998 6 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=5186] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5186/stat : 5186 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385952787 9367552 267 33554432000 4194304 5064252 140733226735056 140733226733968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5186/statm: 2287 267 226 213 0 72 0
[pid=5187] ppid=5186 vsize=23500 CPUtime=5.36 cores=1,3,5,7
/proc/5187/stat : 5187 (glucose) R 5186 5166 5089 0 -1 4202496 5264 0 0 0 535 1 0 0 20 0 1 0 385952787 24064000 5515 33554432000 4194304 5208918 140737096919904 140737096917768 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5187/statm: 5875 5515 96 248 0 5624 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 47720
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.99 3/183 5222
/proc/meminfo: memFree=26720100/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=48.49 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 5788 49487 0 0 9 2 4818 20 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=5221] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5221/stat : 5221 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385955626 9367552 266 33554432000 4194304 5064252 140734354648032 140734354646944 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5221/statm: 2287 266 226 213 0 72 0
[pid=5222] ppid=5221 vsize=20780 CPUtime=2.57 cores=1,3,5,7
/proc/5222/stat : 5222 (glucose) R 5221 5166 5089 0 -1 4202496 5375 0 0 0 256 1 0 0 20 0 1 0 385955627 21278720 4793 33554432000 4194304 5208918 140735805008704 140735805006568 4229515 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5222/statm: 5195 4793 96 248 0 4944 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45000
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/184 5279
/proc/meminfo: memFree=26713152/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=95.85 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 10133 99595 0 0 16 3 9524 42 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=5278] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385960364 9367552 267 33554432000 4194304 5064252 140736872754464 140736872753376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5278/statm: 2287 267 226 213 0 72 0
[pid=5279] ppid=5278 vsize=25184 CPUtime=6.4 cores=1,3,5,7
/proc/5279/stat : 5279 (glucose) R 5278 5166 5089 0 -1 4202496 6011 0 0 0 639 1 0 0 20 0 1 0 385960365 25788416 5592 33554432000 4194304 5208918 140734079666080 140734079663944 4229361 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5279/statm: 6296 5592 96 248 0 6045 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49404
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/183 5350
/proc/meminfo: memFree=26716544/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=162.14 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 16216 166973 0 0 26 5 16111 72 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
Current children cumulated CPU time (s) 162.14
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6726
/proc/meminfo: memFree=26724012/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1359.67 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 125710 1434669 0 0 204 33 135126 604 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=6725] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6725/stat : 6725 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386086790 9367552 266 33554432000 4194304 5064252 140736732720432 140736732719344 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6725/statm: 2287 266 226 213 0 72 0
[pid=6726] ppid=6725 vsize=18108 CPUtime=2.13 cores=1,3,5,7
/proc/6726/stat : 6726 (glucose) R 6725 5166 5089 0 -1 4202496 4618 0 0 0 213 0 0 0 20 0 1 0 386086790 18542592 4087 33554432000 4194304 5208918 140734576910016 140734576907960 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6726/statm: 4527 4087 96 248 0 4276 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 42328
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6790
/proc/meminfo: memFree=26712236/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1415.95 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 130924 1495346 0 0 213 34 140719 629 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=6789] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6789/stat : 6789 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386092421 9367552 267 33554432000 4194304 5064252 140737052207424 140737052206336 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6789/statm: 2287 267 226 213 0 72 0
[pid=6790] ppid=6789 vsize=23504 CPUtime=5.84 cores=1,3,5,7
/proc/6790/stat : 6790 (glucose) R 6789 5166 5089 0 -1 4202496 5832 0 0 0 583 1 0 0 20 0 1 0 386092421 24068096 5506 33554432000 4194304 5208918 140734001074800 140734001072664 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6790/statm: 5876 5506 96 248 0 5625 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 47724
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 6853
/proc/meminfo: memFree=26707528/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1472.71 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 136138 1556716 0 0 222 36 146362 651 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=6852] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6852/stat : 6852 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386098098 9367552 267 33554432000 4194304 5064252 140733639271504 140733639270416 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6852/statm: 2287 267 226 213 0 72 0
[pid=6853] ppid=6852 vsize=25180 CPUtime=9.05 cores=1,3,5,7
/proc/6853/stat : 6853 (glucose) R 6852 5166 5089 0 -1 4202496 6642 0 0 0 904 1 0 0 20 0 1 0 386098098 25784320 5929 33554432000 4194304 5208918 140735093699200 140735093697064 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6853/statm: 6295 5929 96 248 0 6044 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 49400
[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 6930
/proc/meminfo: memFree=26721380/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1539.71 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 142221 1627417 0 0 232 37 153021 681 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=6929] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6929/stat : 6929 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386104801 9367552 267 33554432000 4194304 5064252 140736855763424 140736855762336 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6929/statm: 2287 267 226 213 0 72 0
[pid=6930] ppid=6929 vsize=18108 CPUtime=2.03 cores=1,3,5,7
/proc/6930/stat : 6930 (glucose) R 6929 5166 5089 0 -1 4202496 5150 0 0 0 203 0 0 0 20 0 1 0 386104801 18542592 4038 33554432000 4194304 5208918 140734332236336 140734332234280 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6930/statm: 4527 4038 96 248 0 4276 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 42328
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 6993
/proc/meminfo: memFree=26710360/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1596.6 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 147435 1687913 0 0 239 39 158675 707 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=6992] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6992/stat : 6992 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386110493 9367552 266 33554432000 4194304 5064252 140737347903088 140737347902000 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6992/statm: 2287 266 226 213 0 72 0
[pid=6993] ppid=6992 vsize=23504 CPUtime=5.1 cores=1,3,5,7
/proc/6993/stat : 6993 (glucose) R 6992 5166 5089 0 -1 4202496 5643 0 0 0 509 1 0 0 20 0 1 0 386110493 24068096 5516 33554432000 4194304 5208918 140734032981488 140734032979352 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6993/statm: 5876 5516 96 248 0 5625 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 47724
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7063
/proc/meminfo: memFree=26714100/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1653.44 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 152649 1747941 0 0 248 40 164324 732 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=7055] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7055/stat : 7055 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386116179 9367552 267 33554432000 4194304 5064252 140736332613200 140736332612112 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7055/statm: 2287 267 226 213 0 72 0
[pid=7056] ppid=7055 vsize=25176 CPUtime=8.24 cores=1,3,5,7
/proc/7056/stat : 7056 (glucose) R 7055 5166 5089 0 -1 4202496 6224 0 0 0 824 0 0 0 20 0 1 0 386116179 25780224 5934 33554432000 4194304 5208918 140734166139824 140734166137688 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7056/statm: 6294 5934 96 248 0 6043 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 49396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7134
/proc/meminfo: memFree=26722012/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1720.35 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 158732 1819014 0 0 258 41 170975 761 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=7133] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7133/stat : 7133 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386122872 9367552 267 33554432000 4194304 5064252 140736092307408 140736092306320 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7133/statm: 2287 267 226 213 0 72 0
[pid=7134] ppid=7133 vsize=13648 CPUtime=1.31 cores=1,3,5,7
/proc/7134/stat : 7134 (glucose) R 7133 5166 5089 0 -1 4202496 4505 0 0 0 131 0 0 0 20 0 1 0 386122872 13975552 2979 33554432000 4194304 5208918 140735923637392 140735923635240 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 3412 2979 96 248 0 3161 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 37868
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7207
/proc/meminfo: memFree=26719720/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1777.51 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 163946 1881604 0 0 266 42 176657 786 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=7206] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7206/stat : 7206 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386128592 9367552 266 33554432000 4194304 5064252 140737427705088 140737427704000 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7206/statm: 2287 266 226 213 0 72 0
[pid=7207] ppid=7206 vsize=23508 CPUtime=4.12 cores=1,3,5,7
/proc/7207/stat : 7207 (glucose) R 7206 5166 5089 0 -1 4202496 5641 0 0 0 411 1 0 0 20 0 1 0 386128592 24072192 5506 33554432000 4194304 5208918 140736701175216 140736701173080 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7207/statm: 5877 5506 96 248 0 5626 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 47728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7295
/proc/meminfo: memFree=26726700/32873648 swapFree=7388/7388
[pid=5166] ppid=5164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5166/stat : 5166 (npSolver-wbo-It) S 5164 5166 5089 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385950775 9367552 274 33554432000 4194304 5064252 140735326949184 140735326948096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5166/statm: 2287 274 233 213 0 72 0
[pid=5167] ppid=5166 vsize=5924 CPUtime=1796.35 cores=1,3,5,7
/proc/5167/stat : 5167 (npSolver-wbo) S 5166 5166 5089 0 -1 4202496 165684 1900923 0 0 269 43 178528 795 20 0 1 0 385950775 6066176 1110 33554432000 4194304 6006132 140734819987920 140734819979280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5167/statm: 1481 1110 176 443 0 1034 0
[pid=7227] ppid=5167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7227/stat : 7227 (satsolver.sh) S 5167 5166 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386130475 9367552 267 33554432000 4194304 5064252 140735560071776 140735560070688 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7227/statm: 2287 267 226 213 0 72 0
[pid=7228] ppid=7227 vsize=20784 CPUtime=3.7 cores=1,3,5,7
/proc/7228/stat : 7228 (glucose) R 7227 5166 5089 0 -1 4202496 4862 0 0 0 369 1 0 0 20 0 1 0 386130475 21282816 4836 33554432000 4194304 5208918 140736046721280 140736046719144 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7228/statm: 5196 4836 96 248 0 4945 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 45004
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.72
CPU time (s): 1800.07
CPU user time (s): 1791.67
CPU system time (s): 8.40372
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 53824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.67
system time used= 8.40372
maximum resident set size= 29720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2072461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 508456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10038
involuntary context switches= 3915
runsolver used 2.96355 second user time and 7.83781 second system time
The end