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-3715829-1338240793/watcher-3715829-1338240793 -o /tmp/evaluation-result-3715829-1338240793/solver-3715829-1338240793 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715829-1338240793.wbo 1289727496 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.18 2.18 3/179 27134
/proc/meminfo: memFree=29531732/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[startup+0.0261419 s]
/proc/loadavg: 2.16 2.18 2.18 3/179 27134
/proc/meminfo: memFree=29531732/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10022 s]
/proc/loadavg: 2.16 2.18 2.18 3/179 27134
/proc/meminfo: memFree=29531732/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 2.16 2.18 2.18 3/179 27134
/proc/meminfo: memFree=29531732/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700254 s]
/proc/loadavg: 2.16 2.18 2.18 3/179 27134
/proc/meminfo: memFree=29531732/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.16 2.18 2.18 3/183 27148
/proc/meminfo: memFree=29476040/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=11424 CPUtime=0.13 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 2926 6160 0 0 9 2 2 0 20 0 1 0 290203423 11698176 1908 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 2856 1908 176 439 0 2413 0
[pid=27147] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27147/stat : 27147 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290203439 9367552 267 33554432000 4194304 5064252 140734548159712 140734548158624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27147/statm: 2287 267 226 213 0 72 0
[pid=27148] ppid=27147 vsize=48092 CPUtime=1.33 cores=0,2,4,6
/proc/27148/stat : 27148 (glucose) R 27147 27134 7669 0 -1 4202496 10145 0 0 0 132 1 0 0 20 0 1 0 290203439 49246208 10622 33554432000 4194304 5208918 140735306696272 140735306694120 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27148/statm: 12023 10622 95 248 0 11772 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 77812
[startup+3.10041 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 27148
/proc/meminfo: memFree=29475660/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=11424 CPUtime=0.13 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 2926 6160 0 0 9 2 2 0 20 0 1 0 290203423 11698176 1908 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 2856 1908 176 439 0 2413 0
[pid=27147] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27147/stat : 27147 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290203439 9367552 267 33554432000 4194304 5064252 140734548159712 140734548158624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27147/statm: 2287 267 226 213 0 72 0
[pid=27148] ppid=27147 vsize=48224 CPUtime=2.93 cores=0,2,4,6
/proc/27148/stat : 27148 (glucose) R 27147 27134 7669 0 -1 4202496 10215 0 0 0 292 1 0 0 20 0 1 0 290203439 49381376 10692 33554432000 4194304 5208918 140735306696272 140735306694120 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27148/statm: 12056 10692 95 248 0 11805 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 77944
[startup+6.3004 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 27148
/proc/meminfo: memFree=29472360/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=11424 CPUtime=0.13 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 2926 6160 0 0 9 2 2 0 20 0 1 0 290203423 11698176 1908 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 2856 1908 176 439 0 2413 0
[pid=27147] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27147/stat : 27147 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290203439 9367552 267 33554432000 4194304 5064252 140734548159712 140734548158624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27147/statm: 2287 267 226 213 0 72 0
[pid=27148] ppid=27147 vsize=52912 CPUtime=6.13 cores=0,2,4,6
/proc/27148/stat : 27148 (glucose) R 27147 27134 7669 0 -1 4202496 10388 0 0 0 612 1 0 0 20 0 1 0 290203439 54181888 11375 33554432000 4194304 5208918 140735306696272 140735306694424 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27148/statm: 13228 11375 95 248 0 12977 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 82632
[startup+12.7004 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 27148
/proc/meminfo: memFree=29471696/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=11424 CPUtime=0.13 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 2926 6160 0 0 9 2 2 0 20 0 1 0 290203423 11698176 1908 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 2856 1908 176 439 0 2413 0
[pid=27147] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27147/stat : 27147 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290203439 9367552 267 33554432000 4194304 5064252 140734548159712 140734548158624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27147/statm: 2287 267 226 213 0 72 0
[pid=27148] ppid=27147 vsize=53340 CPUtime=12.52 cores=0,2,4,6
/proc/27148/stat : 27148 (glucose) R 27147 27134 7669 0 -1 4202496 10740 0 0 0 1251 1 0 0 20 0 1 0 290203439 54620160 11480 33554432000 4194304 5208918 140735306696272 140735306694424 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27148/statm: 13335 11480 96 248 0 13084 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 83060
[startup+25.5004 s]
/proc/loadavg: 2.10 2.17 2.17 3/183 27148
/proc/meminfo: memFree=29461020/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=11424 CPUtime=0.13 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 2926 6160 0 0 9 2 2 0 20 0 1 0 290203423 11698176 1908 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 2856 1908 176 439 0 2413 0
[pid=27147] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27147/stat : 27147 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290203439 9367552 267 33554432000 4194304 5064252 140734548159712 140734548158624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27147/statm: 2287 267 226 213 0 72 0
[pid=27148] ppid=27147 vsize=61096 CPUtime=25.32 cores=0,2,4,6
/proc/27148/stat : 27148 (glucose) R 27147 27134 7669 0 -1 4202496 12054 0 0 0 2530 2 0 0 20 0 1 0 290203439 62562304 14007 33554432000 4194304 5208918 140735306696272 140735306694136 4229232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27148/statm: 15274 14007 96 248 0 15023 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 90816
[startup+51.1004 s]
/proc/loadavg: 2.07 2.15 2.17 3/183 27231
/proc/meminfo: memFree=29535108/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=11424 CPUtime=0.13 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 2926 6160 0 0 9 2 2 0 20 0 1 0 290203423 11698176 1908 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 2856 1908 176 439 0 2413 0
[pid=27147] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27147/stat : 27147 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290203439 9367552 267 33554432000 4194304 5064252 140734548159712 140734548158624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27147/statm: 2287 267 226 213 0 72 0
[pid=27148] ppid=27147 vsize=66404 CPUtime=50.91 cores=0,2,4,6
/proc/27148/stat : 27148 (glucose) R 27147 27134 7669 0 -1 4202496 12391 0 0 0 5089 2 0 0 20 0 1 0 290203439 67997696 14586 33554432000 4194304 5208918 140735306696272 140735306694136 4213121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27148/statm: 16601 14586 96 248 0 16350 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 96124
[startup+102.307 s]
/proc/loadavg: 1.95 2.09 2.15 3/183 27819
/proc/meminfo: memFree=29540744/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=97.98 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 4847 24361 0 0 18 3 9761 16 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=27773] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27773/stat : 27773 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290213226 9367552 267 33554432000 4194304 5064252 140736821346512 140736821345424 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27773/statm: 2287 267 226 213 0 72 0
[pid=27774] ppid=27773 vsize=52776 CPUtime=4.26 cores=0,2,4,6
/proc/27774/stat : 27774 (glucose) R 27773 27134 7669 0 -1 4202496 10130 0 0 0 425 1 0 0 20 0 1 0 290213226 54042624 10834 33554432000 4194304 5208918 140736241769440 140736241767288 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27774/statm: 13194 10834 95 248 0 12943 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 90680
[startup+162.3 s]
/proc/loadavg: 1.93 2.06 2.13 4/181 28493
/proc/meminfo: memFree=29544740/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=97.98 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 4847 24361 0 0 18 3 9761 16 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=27773] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 2.01 3/183 10510
/proc/meminfo: memFree=29508216/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1354.81 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 29820 273760 0 0 125 22 135105 229 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=9746] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9746/stat : 9746 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290338940 9367552 267 33554432000 4194304 5064252 140737069188736 140737069187648 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9746/statm: 2287 267 226 213 0 72 0
[pid=9747] ppid=9746 vsize=77896 CPUtime=67.1 cores=0,2,4,6
/proc/9747/stat : 9747 (glucose) R 9746 27134 7669 0 -1 4202496 13481 0 0 0 6707 3 0 0 20 0 1 0 290338940 79765504 18015 33554432000 4194304 5208918 140735755428416 140735755426280 4231504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9747/statm: 19474 18015 96 248 0 19223 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 115800
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/183 11190
/proc/meminfo: memFree=29519564/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1448.42 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 31741 293273 0 0 134 23 144440 245 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=10817] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10817/stat : 10817 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290348303 9367552 266 33554432000 4194304 5064252 140735739730944 140735739729856 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10817/statm: 2287 266 226 213 0 72 0
[pid=10818] ppid=10817 vsize=61412 CPUtime=33.48 cores=0,2,4,6
/proc/10818/stat : 10818 (glucose) R 10817 27134 7669 0 -1 4202496 13180 0 0 0 3345 3 0 0 20 0 1 0 290348303 62885888 14387 33554432000 4194304 5208918 140735420834752 140735420832616 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 15353 14387 96 248 0 15102 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 99316
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11883
/proc/meminfo: memFree=29533612/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1537.2 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 33662 311726 0 0 142 24 153293 261 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=11830] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11830/stat : 11830 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290357184 9367552 266 33554432000 4194304 5064252 140736905022608 140736905021520 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11830/statm: 2287 266 226 213 0 72 0
[pid=11831] ppid=11830 vsize=52772 CPUtime=4.68 cores=0,2,4,6
/proc/11831/stat : 11831 (glucose) R 11830 27134 7669 0 -1 4202496 10961 0 0 0 466 2 0 0 20 0 1 0 290357184 54038528 10883 33554432000 4194304 5208918 140733610536384 140733610534232 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11831/statm: 13193 10883 95 248 0 12942 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 90676
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 12562
/proc/meminfo: memFree=29511092/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1537.2 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 33662 311726 0 0 142 24 153293 261 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=11830] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11830/stat : 11830 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290357184 9367552 266 33554432000 4194304 5064252 140736905022608 140736905021520 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11830/statm: 2287 266 226 213 0 72 0
[pid=11831] ppid=11830 vsize=77892 CPUtime=64.65 cores=0,2,4,6
/proc/11831/stat : 11831 (glucose) R 11830 27134 7669 0 -1 4202496 14777 0 0 0 6462 3 0 0 20 0 1 0 290357184 79761408 17442 33554432000 4194304 5208918 140733610536384 140733610534248 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11831/statm: 19473 17442 96 248 0 19222 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 115796
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 4/184 13262
/proc/meminfo: memFree=29497428/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1627.42 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 35583 332449 0 0 151 25 162288 278 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=12869] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290366207 9367552 267 33554432000 4194304 5064252 140733870227168 140733870226080 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12869/statm: 2287 267 226 213 0 72 0
[pid=12870] ppid=12869 vsize=61096 CPUtime=34.43 cores=0,2,4,6
/proc/12870/stat : 12870 (glucose) R 12869 27134 7669 0 -1 4202496 12362 0 0 0 3440 3 0 0 20 0 1 0 290366208 62562304 14007 33554432000 4194304 5208918 140736009573904 140736009571768 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12870/statm: 15274 14007 96 248 0 15023 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 99000
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/182 13969
/proc/meminfo: memFree=29564136/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1719 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 37504 350975 0 0 159 27 171419 295 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=13945] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13945/stat : 13945 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290375368 9367552 267 33554432000 4194304 5064252 140735705531536 140735705530448 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13945/statm: 2287 267 226 213 0 72 0
[pid=13946] ppid=13945 vsize=48224 CPUtime=2.83 cores=0,2,4,6
/proc/13946/stat : 13946 (glucose) R 13945 27134 7669 0 -1 4202496 9982 0 0 0 282 1 0 0 20 0 1 0 290375368 49381376 10684 33554432000 4194304 5208918 140733216842528 140733216840376 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13946/statm: 12056 10684 95 248 0 11805 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 86128
[startup+1782.3 s]
/proc/loadavg: 1.98 2.01 2.00 4/183 14658
/proc/meminfo: memFree=29482540/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1719 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 37504 350975 0 0 159 27 171419 295 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=13945] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13945/stat : 13945 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290375368 9367552 267 33554432000 4194304 5064252 140735705531536 140735705530448 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13945/statm: 2287 267 226 213 0 72 0
[pid=13946] ppid=13945 vsize=66404 CPUtime=62.82 cores=0,2,4,6
/proc/13946/stat : 13946 (glucose) R 13945 27134 7669 0 -1 4202496 13275 0 0 0 6278 4 0 0 20 0 1 0 290375368 67997696 15302 33554432000 4194304 5208918 140733216842528 140733216840392 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13946/statm: 16601 15302 96 248 0 16350 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 104308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.98 2.01 2.00 4/183 14871
/proc/meminfo: memFree=29517048/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1719 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 37504 350975 0 0 159 27 171419 295 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=13945] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13945/stat : 13945 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290375368 9367552 267 33554432000 4194304 5064252 140735705531536 140735705530448 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13945/statm: 2287 267 226 213 0 72 0
[pid=13946] ppid=13945 vsize=66404 CPUtime=81.02 cores=0,2,4,6
/proc/13946/stat : 13946 (glucose) R 13945 27134 7669 0 -1 4202496 14614 0 0 0 8097 5 0 0 20 0 1 0 290375368 67997696 14744 33554432000 4194304 5208918 140733216842528 140733216840616 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13946/statm: 16601 14744 96 248 0 16350 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 104308
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.98 2.01 2.00 4/183 14871
/proc/meminfo: memFree=29517048/32873648 swapFree=7368/7368
[pid=27134] ppid=27132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27134/stat : 27134 (npSolver-wbo-It) S 27132 27134 7669 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290203423 9367552 275 33554432000 4194304 5064252 140735731656208 140735731655120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27134/statm: 2287 275 233 213 0 72 0
[pid=27135] ppid=27134 vsize=19608 CPUtime=1719 cores=0,2,4,6
/proc/27135/stat : 27135 (npSolver-wbo) S 27134 27134 7669 0 -1 4202496 37504 350975 0 0 159 27 171419 295 20 0 1 0 290203423 20078592 4161 33554432000 4194304 5990268 140734911826608 140734911818016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27135/statm: 4902 4161 177 439 0 4459 0
[pid=13945] ppid=27135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13945/stat : 13945 (satsolver.sh) S 27135 27134 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290375368 9367552 267 33554432000 4194304 5064252 140735705531536 140735705530448 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13945/statm: 2287 267 226 213 0 72 0
[pid=13946] ppid=13945 vsize=66404 CPUtime=81.02 cores=0,2,4,6
/proc/13946/stat : 13946 (glucose) R 13945 27134 7669 0 -1 4202496 14614 0 0 0 8097 5 0 0 20 0 1 0 290375368 67997696 14744 33554432000 4194304 5208918 140733216842528 140733216840616 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13946/statm: 16601 14744 96 248 0 16350 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 104308
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.16
CPU user time (s): 1796.88
CPU system time (s): 3.2835
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 134476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 3.2835
maximum resident set size= 87920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 254424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4961
involuntary context switches= 2101
runsolver used 7.82881 second user time and 17.7923 second system time
The end