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-3700707-1338070598/watcher-3700707-1338070598 -o /tmp/evaluation-result-3700707-1338070598/solver-3700707-1338070598 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700707-1338070598.opb 584045322 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.11 2.21 2.17 3/179 13710
/proc/meminfo: memFree=30482412/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[startup+0.0430311 s]
/proc/loadavg: 2.11 2.21 2.17 3/179 13710
/proc/meminfo: memFree=30482412/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100319 s]
/proc/loadavg: 2.11 2.21 2.17 3/179 13710
/proc/meminfo: memFree=30482412/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300154 s]
/proc/loadavg: 2.11 2.21 2.17 3/179 13710
/proc/meminfo: memFree=30482412/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700143 s]
/proc/loadavg: 2.11 2.21 2.17 3/179 13710
/proc/meminfo: memFree=30482412/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.11 2.21 2.17 3/183 13717
/proc/meminfo: memFree=30452704/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=26428 CPUtime=0.55 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 7352 6269 0 0 18 1 34 2 20 0 1 0 273184326 27062272 6052 33554432000 4194304 5992684 140734502793856 140734502788976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13711/statm: 6607 6052 173 440 0 6163 0
[pid=13716] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13716/stat : 13716 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273184382 9367552 266 33554432000 4194304 5064252 140733282581232 140733282580144 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13716/statm: 2287 266 226 213 0 72 0
[pid=13717] ppid=13716 vsize=9864 CPUtime=0.91 cores=0,2,4,6
/proc/13717/stat : 13717 (glucose) R 13716 13710 11113 0 -1 4202496 2456 0 0 0 91 0 0 0 20 0 1 0 273184383 10100736 1858 33554432000 4194304 5208918 140734901031184 140734901029272 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13717/statm: 2466 1858 103 248 0 2215 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 54588
[startup+3.1003 s]
/proc/loadavg: 2.11 2.21 2.17 4/183 13717
/proc/meminfo: memFree=30449216/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=26428 CPUtime=0.55 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 7352 6269 0 0 18 1 34 2 20 0 1 0 273184326 27062272 6052 33554432000 4194304 5992684 140734502793856 140734502788976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13711/statm: 6607 6052 173 440 0 6163 0
[pid=13716] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13716/stat : 13716 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273184382 9367552 266 33554432000 4194304 5064252 140733282581232 140733282580144 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13716/statm: 2287 266 226 213 0 72 0
[pid=13717] ppid=13716 vsize=12540 CPUtime=2.51 cores=0,2,4,6
/proc/13717/stat : 13717 (glucose) R 13716 13710 11113 0 -1 4202496 3179 0 0 0 251 0 0 0 20 0 1 0 273184383 12840960 2538 33554432000 4194304 5208918 140734901031184 140734901029128 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13717/statm: 3135 2538 105 248 0 2884 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 57264
[startup+6.30029 s]
/proc/loadavg: 2.10 2.21 2.17 4/183 13717
/proc/meminfo: memFree=30445372/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=26428 CPUtime=0.55 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 7352 6269 0 0 18 1 34 2 20 0 1 0 273184326 27062272 6052 33554432000 4194304 5992684 140734502793856 140734502788976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13711/statm: 6607 6052 173 440 0 6163 0
[pid=13716] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13716/stat : 13716 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273184382 9367552 266 33554432000 4194304 5064252 140733282581232 140733282580144 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13716/statm: 2287 266 226 213 0 72 0
[pid=13717] ppid=13716 vsize=14468 CPUtime=5.71 cores=0,2,4,6
/proc/13717/stat : 13717 (glucose) R 13716 13710 11113 0 -1 4202496 3852 0 0 0 571 0 0 0 20 0 1 0 273184383 14815232 3149 33554432000 4194304 5208918 140734901031184 140734901029048 4205227 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13717/statm: 3617 3149 105 248 0 3366 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 59192
[startup+12.7003 s]
/proc/loadavg: 2.10 2.20 2.17 4/183 13717
/proc/meminfo: memFree=30441156/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=26428 CPUtime=0.55 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 7352 6269 0 0 18 1 34 2 20 0 1 0 273184326 27062272 6052 33554432000 4194304 5992684 140734502793856 140734502788976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13711/statm: 6607 6052 173 440 0 6163 0
[pid=13716] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13716/stat : 13716 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273184382 9367552 266 33554432000 4194304 5064252 140733282581232 140733282580144 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13716/statm: 2287 266 226 213 0 72 0
[pid=13717] ppid=13716 vsize=24316 CPUtime=12.11 cores=0,2,4,6
/proc/13717/stat : 13717 (glucose) R 13716 13710 11113 0 -1 4202496 4786 0 0 0 1210 1 0 0 20 0 1 0 273184383 24899584 4963 33554432000 4194304 5208918 140734901031184 140734901029128 4229589 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13717/statm: 6079 4963 105 248 0 5828 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 69040
[startup+25.5003 s]
/proc/loadavg: 2.07 2.19 2.16 4/183 13717
/proc/meminfo: memFree=30432848/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=26428 CPUtime=0.55 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 7352 6269 0 0 18 1 34 2 20 0 1 0 273184326 27062272 6052 33554432000 4194304 5992684 140734502793856 140734502788976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13711/statm: 6607 6052 173 440 0 6163 0
[pid=13716] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13716/stat : 13716 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273184382 9367552 266 33554432000 4194304 5064252 140733282581232 140733282580144 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13716/statm: 2287 266 226 213 0 72 0
[pid=13717] ppid=13716 vsize=28736 CPUtime=24.91 cores=0,2,4,6
/proc/13717/stat : 13717 (glucose) R 13716 13710 11113 0 -1 4202496 5397 0 0 0 2490 1 0 0 20 0 1 0 273184383 29425664 6059 33554432000 4194304 5208918 140734901031184 140734901027560 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13717/statm: 7184 6059 105 248 0 6933 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 73460
[startup+51.1003 s]
/proc/loadavg: 2.05 2.18 2.16 4/183 13724
/proc/meminfo: memFree=30436816/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27088 CPUtime=28.41 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 7668 14688 0 0 20 6 2811 4 20 0 1 0 273184326 27738112 6178 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6772 6178 183 440 0 6328 0
[pid=13723] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13723/stat : 13723 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273187171 9367552 266 33554432000 4194304 5064252 140737080062208 140737080061120 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13723/statm: 2287 266 226 213 0 72 0
[pid=13724] ppid=13723 vsize=26064 CPUtime=22.63 cores=0,2,4,6
/proc/13724/stat : 13724 (glucose) R 13723 13710 11113 0 -1 4202496 5139 0 0 0 2262 1 0 0 20 0 1 0 273187171 26689536 4992 33554432000 4194304 5208918 140734002056560 140734002054504 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13724/statm: 6516 4992 104 248 0 6265 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71448
[startup+102.307 s]
/proc/loadavg: 2.06 2.16 2.15 3/183 13738
/proc/meminfo: memFree=30446628/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=76.84 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 7929 23455 0 0 21 6 7650 7 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13737] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13737/stat : 13737 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273192015 9367552 267 33554432000 4194304 5064252 140734122956288 140734122955200 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13737/statm: 2287 267 226 213 0 72 0
[pid=13738] ppid=13737 vsize=22828 CPUtime=25.4 cores=0,2,4,6
/proc/13738/stat : 13738 (glucose) R 13737 13710 11113 0 -1 4202496 5736 0 0 0 2540 0 0 0 20 0 1 0 273192015 23375872 4773 33554432000 4194304 5208918 140737142115584 140737142113528 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13738/statm: 5707 4773 104 248 0 5456 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 68724
[startup+162.3 s]
/proc/loadavg: 2.02 2.13 2.14 4/183 13738
/proc/meminfo: memFree=30440328/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=76.84 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 7929 23455 0 0 21 6 7650 7 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13737] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/13776/statm: 2287 266 226 213 0 72 0
[pid=13777] ppid=13776 vsize=13600 CPUtime=9.4 cores=0,2,4,6
/proc/13777/stat : 13777 (glucose) R 13776 13710 11113 0 -1 4202496 3580 0 0 0 940 0 0 0 20 0 1 0 273229614 13926400 2875 33554432000 4194304 5208918 140733326646336 140733326644280 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13777/statm: 3400 2875 104 248 0 3149 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 59496
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30432116/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=17948 CPUtime=9.94 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 4397 0 0 0 994 0 0 0 20 0 1 0 273235560 18378752 3930 33554432000 4194304 5208918 140733400733824 140733400731768 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 4487 3930 104 248 0 4236 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 63844
Solver just ended. Dumping a history of the last processes samples
[startup+524.707 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30431992/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=17948 CPUtime=12.35 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 4397 0 0 0 1235 0 0 0 20 0 1 0 273235560 18378752 3930 33554432000 4194304 5208918 140733400733824 140733400731768 4229166 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 4487 3930 104 248 0 4236 0
Current children cumulated CPU time (s) 524.55
Current children cumulated vsize (KiB) 63844
[startup+537.5 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30422936/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=25500 CPUtime=25.15 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 5760 0 0 0 2514 1 0 0 20 0 1 0 273235560 26112000 5730 33554432000 4194304 5208918 140733400733824 140733400731688 4211147 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 6375 5730 104 248 0 6124 0
Current children cumulated CPU time (s) 537.35
Current children cumulated vsize (KiB) 71396
[startup+543.9 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30420952/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=27176 CPUtime=31.54 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 6275 0 0 0 3153 1 0 0 20 0 1 0 273235560 27828224 6222 33554432000 4194304 5208918 140733400733824 140733400731688 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 6794 6222 104 248 0 6543 0
Current children cumulated CPU time (s) 543.74
Current children cumulated vsize (KiB) 73072
[startup+545.5 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30417416/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=31596 CPUtime=33.15 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 6706 0 0 0 3314 1 0 0 20 0 1 0 273235560 32354304 7141 33554432000 4194304 5208918 140733400733824 140733400731688 4229692 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 7899 7141 104 248 0 7648 0
Current children cumulated CPU time (s) 545.35
Current children cumulated vsize (KiB) 77492
[startup+547.1 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30424548/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=22824 CPUtime=34.74 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 6899 0 0 0 3473 1 0 0 20 0 1 0 273235560 23371776 5181 33554432000 4194304 5208918 140733400733824 140733400731832 4229692 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 5706 5181 104 248 0 5455 0
Current children cumulated CPU time (s) 546.94
Current children cumulated vsize (KiB) 68720
[startup+547.9 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30424548/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=22824 CPUtime=35.54 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 6899 0 0 0 3553 1 0 0 20 0 1 0 273235560 23371776 5181 33554432000 4194304 5208918 140733400733824 140733400731832 4212930 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 5706 5181 104 248 0 5455 0
Current children cumulated CPU time (s) 547.74
Current children cumulated vsize (KiB) 68720
[startup+548.3 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30424548/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=22824 CPUtime=35.94 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 6899 0 0 0 3593 1 0 0 20 0 1 0 273235560 23371776 5181 33554432000 4194304 5208918 140733400733824 140733400731832 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 5706 5181 104 248 0 5455 0
Current children cumulated CPU time (s) 548.14
Current children cumulated vsize (KiB) 68720
[startup+548.4 s]
/proc/loadavg: 2.00 2.03 2.08 4/183 13784
/proc/meminfo: memFree=30424548/32873844 swapFree=6080/6080
[pid=13710] ppid=13708 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13710/stat : 13710 (npSolver-pbo.sh) S 13708 13710 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273184325 9367552 275 33554432000 4194304 5064252 140734555747728 140734555746640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13710/statm: 2287 275 233 213 0 72 0
[pid=13711] ppid=13710 vsize=27600 CPUtime=512.2 cores=0,2,4,6
/proc/13711/stat : 13711 (npSolver-pbo) S 13710 13710 11113 0 -1 4202496 9164 83381 0 0 23 7 51164 26 20 0 1 0 273184326 28262400 6265 33554432000 4194304 5992684 140734502793856 140734502786176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13711/statm: 6900 6265 183 440 0 6456 0
[pid=13783] ppid=13711 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13783/stat : 13783 (satsolver.sh) S 13711 13710 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273235559 9367552 266 33554432000 4194304 5064252 140736611593696 140736611592608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13783/statm: 2287 266 226 213 0 72 0
[pid=13784] ppid=13783 vsize=27176 CPUtime=36.04 cores=0,2,4,6
/proc/13784/stat : 13784 (glucose) R 13783 13710 11113 0 -1 4202496 7380 0 0 0 3603 1 0 0 20 0 1 0 273235560 27828224 6153 33554432000 4194304 5208918 140733400733824 140733400731832 4229780 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13784/statm: 6794 6153 104 248 0 6543 0
Current children cumulated CPU time (s) 548.24
Current children cumulated vsize (KiB) 73072
Child status: 0
Real time (s): 548.474
CPU time (s): 548.36
CPU user time (s): 547.982
CPU system time (s): 0.377942
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 99924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 547.982
system time used= 0.377942
maximum resident set size= 47396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 269
involuntary context switches= 731
runsolver used 1.20082 second user time and 3.03654 second system time
The end