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-3714924-1338187391/watcher-3714924-1338187391 -o /tmp/evaluation-result-3714924-1338187391/solver-3714924-1338187391 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714924-1338187391.wbo 669041428 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14320
/proc/meminfo: memFree=28024760/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[startup+0.0622499 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14320
/proc/meminfo: memFree=28024760/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100176 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14320
/proc/meminfo: memFree=28024760/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300144 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14320
/proc/meminfo: memFree=28024760/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700118 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14320
/proc/meminfo: memFree=28024760/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14341
/proc/meminfo: memFree=27992320/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=11932 CPUtime=0.22 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 2902 6239 0 0 12 1 7 2 20 0 1 0 284865064 12218368 2273 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 2983 2273 166 439 0 2540 0
[pid=14338] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14338/stat : 14338 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284865088 9367552 266 33554432000 4194304 5064252 140736012079136 140736012078048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14338/statm: 2287 266 226 213 0 72 0
[pid=14339] ppid=14338 vsize=21160 CPUtime=1.24 cores=1,3,5,7
/proc/14339/stat : 14339 (glucose) R 14338 14320 8283 0 -1 4202496 4712 0 0 0 124 0 0 0 20 0 1 0 284865088 21667840 4659 33554432000 4194304 5208918 140736805172400 140736805170360 4211156 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 5290 4659 104 248 0 5039 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 51388
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14341
/proc/meminfo: memFree=27990428/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=11932 CPUtime=0.22 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 2902 6239 0 0 12 1 7 2 20 0 1 0 284865064 12218368 2273 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 2983 2273 166 439 0 2540 0
[pid=14338] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14338/stat : 14338 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284865088 9367552 266 33554432000 4194304 5064252 140736012079136 140736012078048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14338/statm: 2287 266 226 213 0 72 0
[pid=14339] ppid=14338 vsize=21160 CPUtime=2.84 cores=1,3,5,7
/proc/14339/stat : 14339 (glucose) R 14338 14320 8283 0 -1 4202496 4836 0 0 0 284 0 0 0 20 0 1 0 284865088 21667840 4779 33554432000 4194304 5208918 140736805172400 140736805170232 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 5290 4779 104 248 0 5039 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 51388
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14348
/proc/meminfo: memFree=27988400/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=11932 CPUtime=0.22 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 2902 6239 0 0 12 1 7 2 20 0 1 0 284865064 12218368 2273 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 2983 2273 166 439 0 2540 0
[pid=14338] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14338/stat : 14338 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284865088 9367552 266 33554432000 4194304 5064252 140736012079136 140736012078048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14338/statm: 2287 266 226 213 0 72 0
[pid=14339] ppid=14338 vsize=24284 CPUtime=6.05 cores=1,3,5,7
/proc/14339/stat : 14339 (glucose) R 14338 14320 8283 0 -1 4202496 5055 0 0 0 604 1 0 0 20 0 1 0 284865088 24866816 5508 33554432000 4194304 5208918 140736805172400 140736805170152 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 6071 5508 105 248 0 5820 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 54512
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14362
/proc/meminfo: memFree=27983132/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20120 CPUtime=7.68 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 4905 14581 0 0 21 2 739 6 20 0 1 0 284865064 20602880 4256 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5030 4256 166 439 0 4587 0
[pid=14354] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14354/stat : 14354 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284865835 9367552 267 33554432000 4194304 5064252 140736977569808 140736977568720 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14354/statm: 2287 267 226 213 0 72 0
[pid=14355] ppid=14354 vsize=24068 CPUtime=4.98 cores=1,3,5,7
/proc/14355/stat : 14355 (glucose) R 14354 14320 8283 0 -1 4202496 5702 0 0 0 497 1 0 0 20 0 1 0 284865835 24645632 4963 33554432000 4194304 5208918 140735879028976 140735879026872 4229006 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14355/statm: 6017 4963 105 248 0 5766 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 62484
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14418
/proc/meminfo: memFree=27996440/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20120 CPUtime=25.11 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 12922 50558 0 0 57 8 2421 25 20 0 1 0 284865064 20602880 4256 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5030 4256 166 439 0 4587 0
[pid=14415] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14415/stat : 14415 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284867578 9367552 267 33554432000 4194304 5064252 140736581720064 140736581718976 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14415/statm: 2287 267 226 213 0 72 0
[pid=14416] ppid=14415 vsize=20668 CPUtime=0.35 cores=1,3,5,7
/proc/14416/stat : 14416 (glucose) R 14415 14320 8283 0 -1 4202496 5339 0 0 0 34 1 0 0 20 0 1 0 284867578 21164032 4610 33554432000 4194304 5208918 140734184227408 140736581719000 4211162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14416/statm: 5167 4610 104 248 0 4916 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 59084
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14519
/proc/meminfo: memFree=27975852/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20032 CPUtime=47.77 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 20939 85926 0 0 91 13 4630 43 20 0 1 0 284865064 20512768 4256 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5008 4256 166 439 0 4565 0
[pid=14508] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14508/stat : 14508 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284869844 9367552 266 33554432000 4194304 5064252 140734444915648 140734444914560 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14508/statm: 2287 266 226 213 0 72 0
[pid=14509] ppid=14508 vsize=20284 CPUtime=3.28 cores=1,3,5,7
/proc/14509/stat : 14509 (glucose) R 14508 14320 8283 0 -1 4202496 4656 0 0 0 328 0 0 0 20 0 1 0 284869845 20770816 4271 33554432000 4194304 5208918 140736426524240 140736426522072 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14509/statm: 5071 4271 104 248 0 4820 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 58612
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 14838
/proc/meminfo: memFree=27977404/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=91 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 44730 253760 0 0 187 28 8692 193 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=14837] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14837/stat : 14837 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284874170 9367552 266 33554432000 4194304 5064252 140734770598016 140734770596928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14837/statm: 2287 266 226 213 0 72 0
[pid=14838] ppid=14837 vsize=35136 CPUtime=11.23 cores=1,3,5,7
/proc/14838/stat : 14838 (glucose) R 14837 14320 8283 0 -1 4202496 7241 0 0 0 1122 1 0 0 20 0 1 0 284874171 35979264 7794 33554432000 4194304 5208918 140735426079136 140735426077224 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14838/statm: 8784 7794 96 248 0 8533 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 73440
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 15013
/proc/meminfo: memFree=28013476/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=154.57 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 52247 310861 0 0 208 30 14979 240 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=15000] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15000/stat : 15000 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284880532 9367552 266 33554432000 4194304 5064252 140735345881504 140735345880416 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15000/statm: 2287 266 226 213 0 72 0
[pid=15001] ppid=15000 vsize=29844 CPUtime=7.61 cores=1,3,5,7
/proc/15001/stat : 15001 (glucose) R 15000 14320 8283 0 -1 4202496 7166 0 0 0 760 1 0 0 20 0 1 0 284880532 30560256 6100 33554432000 4194304 5208918 140734008798064 140734008796152 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15001/statm: 7461 6100 96 248 0 7210 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 68148
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15169
/proc/meminfo: memFree=27938888/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=178.66 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 59648 414612 0 0 223 32 17325 286 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
Current children cumulated CPU time (s) 178.66
Current children cumulated vsize (KiB) 29156
[startup+191.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 15204
/proc/meminfo: memFree=27962192/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=178.66 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 59648 414612 0 0 223 32 17325 286 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=15175] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15175/stat : 15175 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284882942 9367552 267 33554432000 4194304 5064252 140735274084896 140735274083808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15175/statm: 2287 267 226 213 0 72 0
[pid=15176] ppid=15175 vsize=17540 CPUtime=13.11 cores=1,3,5,7
/proc/15176/stat : 15176 (glucose) R 15175 14320 8283 0 -1 4202496 3856 0 0 0 1311 0 0 0 20 0 1 0 284882942 17960960 3779 33554432000 4194304 5208918 140737287919344 140737287915656 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15176/statm: 4385 3779 103 248 0 4134 0
Current children cumulated CPU time (s) 191.77
Current children cumulated vsize (KiB) 55844
[startup+204.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 15232
/proc/meminfo: memFree=27968120/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=178.66 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 59648 414612 0 0 223 32 17325 286 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=15175] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15175/stat : 15175 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284882942 9367552 267 33554432000 4194304 5064252 140735274084896 140735274083808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15175/statm: 2287 267 226 213 0 72 0
[pid=15176] ppid=15175 vsize=20260 CPUtime=25.9 cores=1,3,5,7
/proc/15176/stat : 15176 (glucose) R 15175 14320 8283 0 -1 4202496 4573 0 0 0 2590 0 0 0 20 0 1 0 284882942 20746240 4450 33554432000 4194304 5208918 140737287919344 140737287915720 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15176/statm: 5065 4450 103 248 0 4814 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 58564
[startup+207.907 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 15246
/proc/meminfo: memFree=27974772/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=178.66 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 59648 414612 0 0 223 32 17325 286 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=15175] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15175/stat : 15175 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284882942 9367552 267 33554432000 4194304 5064252 140735274084896 140735274083808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15175/statm: 2287 267 226 213 0 72 0
[pid=15176] ppid=15175 vsize=20260 CPUtime=29.11 cores=1,3,5,7
/proc/15176/stat : 15176 (glucose) R 15175 14320 8283 0 -1 4202496 4575 0 0 0 2911 0 0 0 20 0 1 0 284882942 20746240 4452 33554432000 4194304 5208918 140737287919344 140737287915720 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15176/statm: 5065 4452 103 248 0 4814 0
Current children cumulated CPU time (s) 207.77
Current children cumulated vsize (KiB) 58564
[startup+209.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 15246
/proc/meminfo: memFree=27974640/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=178.66 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 59648 414612 0 0 223 32 17325 286 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=15175] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15175/stat : 15175 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284882942 9367552 267 33554432000 4194304 5064252 140735274084896 140735274083808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15175/statm: 2287 267 226 213 0 72 0
[pid=15176] ppid=15175 vsize=20260 CPUtime=30.7 cores=1,3,5,7
/proc/15176/stat : 15176 (glucose) R 15175 14320 8283 0 -1 4202496 4685 0 0 0 3070 0 0 0 20 0 1 0 284882942 20746240 4556 33554432000 4194304 5208918 140737287919344 140737287915656 4229507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15176/statm: 5065 4556 103 248 0 4814 0
Current children cumulated CPU time (s) 209.36
Current children cumulated vsize (KiB) 58564
[startup+211.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15253
/proc/meminfo: memFree=27977420/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=178.66 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 59648 414612 0 0 223 32 17325 286 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=15175] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15175/stat : 15175 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284882942 9367552 267 33554432000 4194304 5064252 140735274084896 140735274083808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15175/statm: 2287 267 226 213 0 72 0
[pid=15176] ppid=15175 vsize=20260 CPUtime=32.31 cores=1,3,5,7
/proc/15176/stat : 15176 (glucose) R 15175 14320 8283 0 -1 4202496 4769 0 0 0 3231 0 0 0 20 0 1 0 284882942 20746240 4632 33554432000 4194304 5208918 140737287919344 140737287915656 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15176/statm: 5065 4632 103 248 0 4814 0
Current children cumulated CPU time (s) 210.97
Current children cumulated vsize (KiB) 58564
[startup+211.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15253
/proc/meminfo: memFree=27977420/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=178.66 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 59648 414612 0 0 223 32 17325 286 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=15175] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15175/stat : 15175 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284882942 9367552 267 33554432000 4194304 5064252 140735274084896 140735274083808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15175/statm: 2287 267 226 213 0 72 0
[pid=15176] ppid=15175 vsize=20260 CPUtime=32.7 cores=1,3,5,7
/proc/15176/stat : 15176 (glucose) R 15175 14320 8283 0 -1 4202496 4769 0 0 0 3270 0 0 0 20 0 1 0 284882942 20746240 4632 33554432000 4194304 5208918 140737287919344 140737287915656 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15176/statm: 5065 4632 103 248 0 4814 0
Current children cumulated CPU time (s) 211.36
Current children cumulated vsize (KiB) 58564
[startup+211.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15253
/proc/meminfo: memFree=27977420/32873648 swapFree=6864/6864
[pid=14320] ppid=14318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14320/stat : 14320 (npSolver-wbo-It) S 14318 14320 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284865064 9367552 275 33554432000 4194304 5064252 140733392083104 140733392082016 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14320/statm: 2287 275 233 213 0 72 0
[pid=14321] ppid=14320 vsize=20008 CPUtime=178.66 cores=1,3,5,7
/proc/14321/stat : 14321 (npSolver-wbo) S 14320 14320 8283 0 -1 4202496 59648 414612 0 0 223 32 17325 286 20 0 1 0 284865064 20488192 4259 33554432000 4194304 5990268 140734019191248 140734019182672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14321/statm: 5002 4259 166 439 0 4559 0
[pid=15175] ppid=14321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15175/stat : 15175 (satsolver.sh) S 14321 14320 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284882942 9367552 267 33554432000 4194304 5064252 140735274084896 140735274083808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15175/statm: 2287 267 226 213 0 72 0
[pid=15176] ppid=15175 vsize=20260 CPUtime=33.1 cores=1,3,5,7
/proc/15176/stat : 15176 (glucose) R 15175 14320 8283 0 -1 4202496 4769 0 0 0 3310 0 0 0 20 0 1 0 284882942 20746240 4632 33554432000 4194304 5208918 140737287919344 140737287915656 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15176/statm: 5065 4632 103 248 0 4814 0
Current children cumulated CPU time (s) 211.76
Current children cumulated vsize (KiB) 58564
Child status: 0
Real time (s): 211.931
CPU time (s): 211.822
CPU user time (s): 208.617
CPU system time (s): 3.20451
CPU usage (%): 99.9485
Max. virtual memory (cumulated for all children) (KiB): 131012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.617
system time used= 3.20451
maximum resident set size= 73880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 354432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4939
involuntary context switches= 762
runsolver used 0.413937 second user time and 1.08483 second system time
The end