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-3753154-1339206337/watcher-3753154-1339206337 -o /tmp/evaluation-result-3753154-1339206337/solver-3753154-1339206337 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753154-1339206337.wbo 1627972080 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 5.45 4.04 2.90 3/178 26822
/proc/meminfo: memFree=29219404/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[startup+0.0917301 s]
/proc/loadavg: 5.45 4.04 2.90 3/178 26822
/proc/meminfo: memFree=29219404/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100278 s]
/proc/loadavg: 5.45 4.04 2.90 3/178 26822
/proc/meminfo: memFree=29219404/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 5.45 4.04 2.90 3/178 26822
/proc/meminfo: memFree=29219404/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 5.45 4.04 2.90 3/178 26822
/proc/meminfo: memFree=29219404/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 5.45 4.04 2.90 3/184 26828
/proc/meminfo: memFree=29003412/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=122824 CPUtime=1.49 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) R 26822 26822 26779 0 -1 4202496 15738 0 0 0 146 3 0 0 20 0 1 0 30600664 125771776 29301 33554432000 4194304 6006132 140737356407168 140737356402472 4583817 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26824/statm: 30706 29301 150 443 0 30259 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131972
[startup+3.1002 s]
/proc/loadavg: 5.45 4.04 2.90 3/184 26828
/proc/meminfo: memFree=28966392/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=122824 CPUtime=2.29 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 15746 0 0 0 187 42 0 0 20 0 1 0 30600664 125771776 29308 33554432000 4194304 6006132 140737356407168 140737356400272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26824/statm: 30706 29308 157 443 0 30259 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 131972
heavy processes:
[startup+6.30029 s]
/proc/loadavg: 5.17 4.01 2.89 3/186 26840
/proc/meminfo: memFree=28724716/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=122824 CPUtime=2.29 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 15746 0 0 0 187 42 0 0 20 0 1 0 30600664 125771776 29308 33554432000 4194304 6006132 140737356407168 140737356400272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26824/statm: 30706 29308 157 443 0 30259 0
[pid=26829] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26829/stat : 26829 (cp2_pre.sh) S 26824 26822 26779 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 30600894 9367552 276 33554432000 4194304 5064252 140737262021808 140737262020512 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26829/statm: 2287 276 234 213 0 72 0
[pid=26830] ppid=26829 vsize=269724 CPUtime=3.99 cores=0,2,4,6
/proc/26830/stat : 26830 (coprocessor) R 26829 26822 26779 0 -1 4202496 35194 0 0 0 390 9 0 0 20 0 1 0 30600894 276197376 66612 33554432000 4194304 6586260 140734474676288 140734474671656 5599454 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26830/statm: 67431 66612 190 584 0 66843 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 410844
[startup+12.7003 s]
/proc/loadavg: 4.92 3.98 2.89 3/186 26840
/proc/meminfo: memFree=28725252/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=122824 CPUtime=2.29 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 15746 0 0 0 187 42 0 0 20 0 1 0 30600664 125771776 29308 33554432000 4194304 6006132 140737356407168 140737356400272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26824/statm: 30706 29308 157 443 0 30259 0
[pid=26829] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26829/stat : 26829 (cp2_pre.sh) S 26824 26822 26779 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 30600894 9367552 276 33554432000 4194304 5064252 140737262021808 140737262020512 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26829/statm: 2287 276 234 213 0 72 0
[pid=26830] ppid=26829 vsize=270516 CPUtime=10.39 cores=0,2,4,6
/proc/26830/stat : 26830 (coprocessor) R 26829 26822 26779 0 -1 4202496 35386 0 0 0 1030 9 0 0 20 0 1 0 30600894 277008384 66804 33554432000 4194304 6586260 140734474676288 140734474671608 5599209 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26830/statm: 67629 66804 190 584 0 67041 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 411636
[startup+25.5003 s]
/proc/loadavg: 4.27 3.88 2.87 3/184 26855
/proc/meminfo: memFree=28947480/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=298004 CPUtime=25.47 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) R 26822 26822 26779 0 -1 4202496 60245 64814 0 0 250 110 2162 25 20 0 1 0 30600664 305156096 73124 33554432000 4194304 6006132 140737356407168 140737356399944 4537541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26824/statm: 74501 73125 190 443 0 74054 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 307152
[startup+51.1003 s]
/proc/loadavg: 3.55 3.74 2.86 3/183 26869
/proc/meminfo: memFree=25079504/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=4056496 CPUtime=51.01 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) R 26822 26822 26779 0 -1 4202496 69164 64814 0 0 2643 271 2162 25 20 0 1 0 30600664 4153851904 946159 33554432000 4194304 6006132 140737356407168 140737356399296 5195051 0 0 4096 0 0 0 0 17 0 0 0 5 0 0
/proc/26824/statm: 1014124 946159 191 443 0 1013677 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 4065644
[startup+102.301 s]
/proc/loadavg: 3.23 3.65 2.87 3/184 26892
/proc/meminfo: memFree=21488432/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4284972 CPUtime=47.64 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 439207 0 0 0 4580 184 0 0 20 0 1 0 30606129 4387811328 944038 33554432000 4194304 5208918 140737201276688 140737201274856 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1071243 944038 104 248 0 1070992 0
Current children cumulated CPU time (s) 100.36
Current children cumulated vsize (KiB) 6529732
[startup+162.3 s]
/proc/loadavg: 2.45 3.35 2.81 3/185 26921
/proc/meminfo: memFree=21452816/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4306992 CPUtime=107.63 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 445019 0 0 0 10576 187 0 0 20 0 1 0 30606129 4410359808 952405 33554432000 4194304 5208918 140737201276688 140737201274360 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1076748 952405 104 248 0 1076497 0
Current children cumulated CPU time (s) 160.35
Current children cumulated vsize (KiB) 6551752
[startup+222.307 s]
/proc/loadavg: 2.16 3.10 2.76 3/185 26957
/proc/meminfo: memFree=21399744/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4308592 CPUtime=167.63 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 445457 0 0 0 16575 188 0 0 20 0 1 0 30606129 4411998208 966107 33554432000 4194304 5208918 140737201276688 140737201274536 4229330 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1077148 966107 104 248 0 1076897 0
################
# More data... #
################
/proc/26871/statm: 1078108 968163 104 248 0 1077857 0
Current children cumulated CPU time (s) 1420.17
Current children cumulated vsize (KiB) 6557192
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/186 27602
/proc/meminfo: memFree=21384032/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4312432 CPUtime=1427.43 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 446515 0 0 0 142553 190 0 0 20 0 1 0 30606129 4415930368 968171 33554432000 4194304 5208918 140737201276688 140737201274568 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1078108 968171 104 248 0 1077857 0
Current children cumulated CPU time (s) 1480.15
Current children cumulated vsize (KiB) 6557192
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.16 3/185 27630
/proc/meminfo: memFree=21383316/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4312432 CPUtime=1487.43 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 446523 0 0 0 148553 190 0 0 20 0 1 0 30606129 4415930368 968179 33554432000 4194304 5208918 140737201276688 140737201274568 4229288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1078108 968179 104 248 0 1077857 0
Current children cumulated CPU time (s) 1540.15
Current children cumulated vsize (KiB) 6557192
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/185 27658
/proc/meminfo: memFree=21383584/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4312696 CPUtime=1547.42 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 446565 0 0 0 154551 191 0 0 20 0 1 0 30606129 4416200704 968221 33554432000 4194304 5208918 140737201276688 140737201274536 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1078174 968221 104 248 0 1077923 0
Current children cumulated CPU time (s) 1600.14
Current children cumulated vsize (KiB) 6557456
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/185 27686
/proc/meminfo: memFree=21384720/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4312828 CPUtime=1607.41 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 446600 0 0 0 160550 191 0 0 20 0 1 0 30606129 4416335872 968256 33554432000 4194304 5208918 140737201276688 140737201274536 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1078207 968256 104 248 0 1077956 0
Current children cumulated CPU time (s) 1660.13
Current children cumulated vsize (KiB) 6557588
[startup+1722.3 s]
/proc/loadavg: 1.95 1.98 2.12 3/185 27714
/proc/meminfo: memFree=21379460/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4313620 CPUtime=1667.4 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 446803 0 0 0 166549 191 0 0 20 0 1 0 30606129 4417146880 968455 33554432000 4194304 5208918 140737201276688 140737201274536 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1078405 968455 104 248 0 1078154 0
Current children cumulated CPU time (s) 1720.12
Current children cumulated vsize (KiB) 6558380
[startup+1782.3 s]
/proc/loadavg: 2.10 2.02 2.12 3/185 27750
/proc/meminfo: memFree=21379856/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4314256 CPUtime=1727.38 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 446978 0 0 0 172547 191 0 0 20 0 1 0 30606129 4417798144 968630 33554432000 4194304 5208918 140737201276688 140737201274568 4205761 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1078564 968630 104 248 0 1078313 0
Current children cumulated CPU time (s) 1780.1
Current children cumulated vsize (KiB) 6559016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.2 s]
/proc/loadavg: 2.07 2.01 2.11 3/185 27837
/proc/meminfo: memFree=21422040/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4314256 CPUtime=1747.29 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 446978 0 0 0 174538 191 0 0 20 0 1 0 30606129 4417798144 968630 33554432000 4194304 5208918 140737201276688 140737201274568 4211019 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1078564 968630 104 248 0 1078313 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 6559016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.2 s]
/proc/loadavg: 2.07 2.01 2.11 3/185 27837
/proc/meminfo: memFree=21422040/32873844 swapFree=7124/7124
[pid=26822] ppid=26817 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26822/stat : 26822 (npSolver-wbo-It) S 26817 26822 26779 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 30600664 9367552 275 33554432000 4194304 5064252 140735120846992 140735120845904 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2287 275 233 213 0 72 0
[pid=26824] ppid=26822 vsize=2226464 CPUtime=52.72 cores=0,2,4,6
/proc/26824/stat : 26824 (npSolver-wbo) S 26822 26822 26779 0 -1 4202496 69165 64814 0 0 2643 442 2162 25 20 0 1 0 30600664 2279899136 488652 33554432000 4194304 6006132 140737356407168 140737356398560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 188 0 0
/proc/26824/statm: 556616 488652 191 443 0 556169 0
[pid=26870] ppid=26824 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (satsolver.sh) S 26824 26822 26779 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 30606128 9367552 267 33554432000 4194304 5064252 140736887432736 140736887431648 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26870/statm: 2287 267 226 213 0 72 0
[pid=26871] ppid=26870 vsize=4314256 CPUtime=1747.29 cores=0,2,4,6
/proc/26871/stat : 26871 (glucose) R 26870 26822 26779 0 -1 4202496 446978 0 0 0 174538 191 0 0 20 0 1 0 30606129 4417798144 968630 33554432000 4194304 5208918 140737201276688 140737201274568 4211019 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26871/statm: 1078564 968630 104 248 0 1078313 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 6559016
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26822 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.22
CPU time (s): 1800.01
CPU user time (s): 1793.43
CPU system time (s): 6.58
CPU usage (%): 99.8774
Max. virtual memory (cumulated for all children) (KiB): 7952296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.10238 second user time and 10.7424 second system time
The end