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-3713564-1338184828/watcher-3713564-1338184828 -o /tmp/evaluation-result-3713564-1338184828/solver-3713564-1338184828 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713564-1338184828.wbo 1109451607 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: 1.95 1.98 1.99 3/180 25323
/proc/meminfo: memFree=31226796/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[startup+0.048409 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 25323
/proc/meminfo: memFree=31226796/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 25323
/proc/meminfo: memFree=31226796/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30021 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 25323
/proc/meminfo: memFree=31226796/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700219 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 25323
/proc/meminfo: memFree=31226796/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.95 1.98 1.99 4/184 25330
/proc/meminfo: memFree=31221044/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=3708 CPUtime=0.44 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 1099 2888 0 0 5 0 38 1 20 0 1 0 284549776 3796992 477 33554432000 4194304 5990268 140736841185584 140736841179824 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25324/statm: 927 477 154 439 0 484 0
[pid=25329] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25329/stat : 25329 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284549823 9367552 265 33554432000 4194304 5064252 140737369613200 140737369612112 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25329/statm: 2287 265 226 213 0 72 0
[pid=25330] ppid=25329 vsize=8856 CPUtime=1.02 cores=1,3,5,7
/proc/25330/stat : 25330 (glucose) R 25329 25323 22152 0 -1 4202496 2568 0 0 0 102 0 0 0 20 0 1 0 284549823 9068544 1620 33554432000 4194304 5208918 140735820168560 140735820166408 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25330/statm: 2214 1620 102 248 0 1963 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30860
[startup+3.10034 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 25337
/proc/meminfo: memFree=31209340/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=2.17 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 2265 15681 0 0 7 2 203 5 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 13928
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 25344
/proc/meminfo: memFree=31205540/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=2.17 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 2265 15681 0 0 7 2 203 5 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25343] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25343/stat : 25343 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284549997 9367552 266 33554432000 4194304 5064252 140735878098816 140735878097728 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25343/statm: 2287 266 226 213 0 72 0
[pid=25344] ppid=25343 vsize=16724 CPUtime=4.08 cores=1,3,5,7
/proc/25344/stat : 25344 (glucose) R 25343 25323 22152 0 -1 4202496 4293 0 0 0 408 0 0 0 20 0 1 0 284549997 17125376 3812 33554432000 4194304 5208918 140733763417664 140733763415528 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25344/statm: 4181 3812 105 248 0 3930 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 39800
[startup+12.7004 s]
/proc/loadavg: 1.96 1.98 1.99 3/184 25351
/proc/meminfo: memFree=31207460/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=6.58 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 2468 23143 0 0 7 3 640 8 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25350] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25350/stat : 25350 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284550437 9367552 265 33554432000 4194304 5064252 140736527700896 140736527699808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25350/statm: 2287 265 226 213 0 72 0
[pid=25351] ppid=25350 vsize=14912 CPUtime=6.07 cores=1,3,5,7
/proc/25351/stat : 25351 (glucose) R 25350 25323 22152 0 -1 4202496 3200 0 0 0 607 0 0 0 20 0 1 0 284550437 15269888 3328 33554432000 4194304 5208918 140733275262944 140733275260808 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25351/statm: 3728 3328 105 248 0 3477 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 37988
[startup+25.5003 s]
/proc/loadavg: 1.97 1.98 1.99 4/184 25365
/proc/meminfo: memFree=31212948/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=24.18 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 2706 36986 0 0 7 3 2396 12 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25364] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25364/stat : 25364 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284552197 9367552 267 33554432000 4194304 5064252 140735053485888 140735053484800 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25364/statm: 2287 267 226 213 0 72 0
[pid=25365] ppid=25364 vsize=9692 CPUtime=1.27 cores=1,3,5,7
/proc/25365/stat : 25365 (glucose) R 25364 25323 22152 0 -1 4202496 2426 0 0 0 127 0 0 0 20 0 1 0 284552198 9924608 1858 33554432000 4194304 5208918 140734834138720 140734834136664 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25365/statm: 2423 1858 104 248 0 2172 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 32768
[startup+51.1003 s]
/proc/loadavg: 1.98 1.98 1.99 4/184 25402
/proc/meminfo: memFree=31201784/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=43.38 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 2952 52579 0 0 8 3 4311 16 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25401] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25401/stat : 25401 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284554117 9367552 267 33554432000 4194304 5064252 140734901628352 140734901627264 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25401/statm: 2287 267 226 213 0 72 0
[pid=25402] ppid=25401 vsize=16636 CPUtime=7.67 cores=1,3,5,7
/proc/25402/stat : 25402 (glucose) R 25401 25323 22152 0 -1 4202496 4031 0 0 0 767 0 0 0 20 0 1 0 284554117 17035264 3697 33554432000 4194304 5208918 140736593837216 140736593835080 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25402/statm: 4159 3697 104 248 0 3908 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39712
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 25409
/proc/meminfo: memFree=31215764/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=56.82 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 3071 60159 0 0 8 3 5653 18 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25408] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25408/stat : 25408 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284555463 9367552 267 33554432000 4194304 5064252 140734041352400 140734041351312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25408/statm: 2287 267 226 213 0 72 0
[pid=25409] ppid=25408 vsize=13912 CPUtime=7.02 cores=1,3,5,7
/proc/25409/stat : 25409 (glucose) R 25408 25323 22152 0 -1 4202496 4012 0 0 0 702 0 0 0 20 0 1 0 284555463 14245888 3105 33554432000 4194304 5208918 140733716951472 140733716947848 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25409/statm: 3478 3105 104 248 0 3227 0
Current children cumulated CPU time (s) 63.84
Current children cumulated vsize (KiB) 36988
[startup+76.7003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 25510
/proc/meminfo: memFree=31490216/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=71.78 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 3191 68546 0 0 8 3 7147 20 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25415] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25415/stat : 25415 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284556959 9367552 267 33554432000 4194304 5064252 140737453283152 140737453282064 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25415/statm: 2287 267 226 213 0 72 0
[pid=25416] ppid=25415 vsize=12904 CPUtime=4.85 cores=1,3,5,7
/proc/25416/stat : 25416 (glucose) R 25415 25323 22152 0 -1 4202496 3766 0 0 0 485 0 0 0 20 0 1 0 284556959 13213696 2860 33554432000 4194304 5208918 140736599635328 140736599633192 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25416/statm: 3226 2860 105 248 0 2975 0
Current children cumulated CPU time (s) 76.63
Current children cumulated vsize (KiB) 35980
[startup+79.9003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 25524
/proc/meminfo: memFree=31488356/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=71.78 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 3191 68546 0 0 8 3 7147 20 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25415] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25415/stat : 25415 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284556959 9367552 267 33554432000 4194304 5064252 140737453283152 140737453282064 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25415/statm: 2287 267 226 213 0 72 0
[pid=25416] ppid=25415 vsize=13936 CPUtime=8.05 cores=1,3,5,7
/proc/25416/stat : 25416 (glucose) R 25415 25323 22152 0 -1 4202496 3968 0 0 0 805 0 0 0 20 0 1 0 284556959 14270464 3040 33554432000 4194304 5208918 140736599635328 140736599633176 4229999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25416/statm: 3484 3040 105 248 0 3233 0
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (KiB) 37012
[startup+81.5004 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 25524
/proc/meminfo: memFree=31486248/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=71.78 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 3191 68546 0 0 8 3 7147 20 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25415] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25415/stat : 25415 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284556959 9367552 267 33554432000 4194304 5064252 140737453283152 140737453282064 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25415/statm: 2287 267 226 213 0 72 0
[pid=25416] ppid=25415 vsize=14172 CPUtime=9.65 cores=1,3,5,7
/proc/25416/stat : 25416 (glucose) R 25415 25323 22152 0 -1 4202496 3969 0 0 0 965 0 0 0 20 0 1 0 284556959 14512128 3041 33554432000 4194304 5208918 140736599635328 140736599631704 4229507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25416/statm: 3543 3041 105 248 0 3292 0
Current children cumulated CPU time (s) 81.43
Current children cumulated vsize (KiB) 37248
[startup+82.3003 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 25524
/proc/meminfo: memFree=31486248/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=71.78 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 3191 68546 0 0 8 3 7147 20 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25415] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25415/stat : 25415 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284556959 9367552 267 33554432000 4194304 5064252 140737453283152 140737453282064 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25415/statm: 2287 267 226 213 0 72 0
[pid=25416] ppid=25415 vsize=18524 CPUtime=10.45 cores=1,3,5,7
/proc/25416/stat : 25416 (glucose) R 25415 25323 22152 0 -1 4202496 4140 0 0 0 1045 0 0 0 20 0 1 0 284556959 18968576 3206 33554432000 4194304 5208918 140736599635328 140736599633192 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25416/statm: 4631 3206 105 248 0 4380 0
Current children cumulated CPU time (s) 82.23
Current children cumulated vsize (KiB) 41600
[startup+83.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 25581
/proc/meminfo: memFree=31492432/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=71.78 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 3191 68546 0 0 8 3 7147 20 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25415] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25415/stat : 25415 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284556959 9367552 267 33554432000 4194304 5064252 140737453283152 140737453282064 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25415/statm: 2287 267 226 213 0 72 0
[pid=25416] ppid=25415 vsize=18524 CPUtime=11.26 cores=1,3,5,7
/proc/25416/stat : 25416 (glucose) R 25415 25323 22152 0 -1 4202496 4323 0 0 0 1125 1 0 0 20 0 1 0 284556959 18968576 3386 33554432000 4194304 5208918 140736599635328 140736599633272 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25416/statm: 4631 3386 105 248 0 4380 0
Current children cumulated CPU time (s) 83.04
Current children cumulated vsize (KiB) 41600
[startup+83.5004 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 25588
/proc/meminfo: memFree=31487844/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=71.78 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 3191 68546 0 0 8 3 7147 20 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25415] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25415/stat : 25415 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284556959 9367552 267 33554432000 4194304 5064252 140737453283152 140737453282064 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25415/statm: 2287 267 226 213 0 72 0
[pid=25416] ppid=25415 vsize=18524 CPUtime=11.67 cores=1,3,5,7
/proc/25416/stat : 25416 (glucose) R 25415 25323 22152 0 -1 4202496 4430 0 0 0 1166 1 0 0 20 0 1 0 284556959 18968576 3491 33554432000 4194304 5208918 140736599635328 140736599633272 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25416/statm: 4631 3491 105 248 0 4380 0
Current children cumulated CPU time (s) 83.45
Current children cumulated vsize (KiB) 41600
[startup+83.6071 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 25588
/proc/meminfo: memFree=31487844/32873844 swapFree=6872/6872
[pid=25323] ppid=25321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25323/stat : 25323 (npSolver-wbo.sh) S 25321 25323 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284549776 9367552 275 33554432000 4194304 5064252 140735147541760 140735147540672 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25323/statm: 2287 275 233 213 0 72 0
[pid=25324] ppid=25323 vsize=4780 CPUtime=71.78 cores=1,3,5,7
/proc/25324/stat : 25324 (npSolver-wbo) S 25323 25323 22152 0 -1 4202496 3191 68546 0 0 8 3 7147 20 20 0 1 0 284549776 4894720 702 33554432000 4194304 5990268 140736841185584 140736841177024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25324/statm: 1195 702 160 439 0 752 0
[pid=25415] ppid=25324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25415/stat : 25415 (satsolver.sh) S 25324 25323 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284556959 9367552 267 33554432000 4194304 5064252 140737453283152 140737453282064 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25415/statm: 2287 267 226 213 0 72 0
[pid=25416] ppid=25415 vsize=18524 CPUtime=11.77 cores=1,3,5,7
/proc/25416/stat : 25416 (glucose) R 25415 25323 22152 0 -1 4202496 4449 0 0 0 1176 1 0 0 20 0 1 0 284556959 18968576 3509 33554432000 4194304 5208918 140736599635328 140736599633272 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25416/statm: 4631 3509 105 248 0 4380 0
Current children cumulated CPU time (s) 83.55
Current children cumulated vsize (KiB) 41600
Child status: 0
Real time (s): 83.6457
CPU time (s): 83.6203
CPU user time (s): 83.3553
CPU system time (s): 0.264959
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 46788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.3553
system time used= 0.264959
maximum resident set size= 20436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222
involuntary context switches= 205
runsolver used 0.221966 second user time and 0.474927 second system time
The end