Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.12 | 1800.91 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_5.opb |
| MD5SUM | 20017986f9960b1d860bf846232b7a22 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5696927 |
| Best CPU time to get the best result obtained on this benchmark | 1801.28 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 145531576 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 56160700102 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 145531576 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 56160700102 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.04 c old isEQ: 0, new EQ is 1 0.00/0.14 c old isEQ: 24, new EQ is 1 0.00/0.17 c old isEQ: 1, new EQ is 1 0.00/0.21 c run inc solver 0.00/0.21 c [INC SYSTEM] run initial solver 0.00/0.21 c [INC SYSTEM] preprocess with white file 2.28/2.34 c [INC SYSTEM] finished preprocessing in 2 s 2.28/2.34 c [INC SYSTEM] execute solver 45.55/45.61 c [INC SEARCH] formula is SAT 45.55/45.62 c [INC SYSTEM] solved the initial formula 45.55/45.63 c model valid 45.55/45.63 c current solution ok 45.95/46.04 o 95081537 45.95/46.04 c starting approximation 45.95/46.04 c factor = 2 45.95/46.04 c factor still to low - shrinking to 1.41196e+06 45.95/46.04 c approx number of clauses: 1e+06 45.95/46.04 c current bound: 47540792 47.43/47.55 c leaving approximation 47.43/47.55 c finished approximation 47.43/47.55 c [INC SYSTEM] there exists a inc, kill it! 47.43/47.55 c write failed with 2 47.43/47.56 c [INC SEARCH] iteration: 0 47.43/47.56 c [INC BOUNDS] best value:95081587 search for 95081586 47.43/47.56 c [INC SYSTEM] create new solver instance 47.43/47.56 c [INC] encode full formula 47.43/47.56 c fallback to adder encoding 48.16/48.28 c set iterative enc to: adder 48.16/48.28 c set iterative enc to: none 48.31/48.46 c [INC SEARCH] isOptimum variable: 0 105.58/105.72 c formula is SAT 105.58/105.74 c [INC SEARCH] copied best model 105.58/105.74 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 105.58/105.76 c model valid 105.58/105.76 c current solution ok 105.58/105.76 o 93316707 105.58/105.76 c [INC SEARCH] iteration: 1 105.58/105.76 c [INC BOUNDS] best value:93316757 search for 93316756 105.58/105.76 c [INC SYSTEM] there exists a inc, kill it! 105.58/105.76 c write failed with 2 105.58/105.77 c [INC SYSTEM] create new solver instance 105.58/105.77 c [INC] encode full formula 105.58/105.77 c fallback to adder encoding 106.29/106.49 c set iterative enc to: adder 106.29/106.49 c set iterative enc to: none 106.49/106.62 c [INC SEARCH] isOptimum variable: 0 136.69/137.03 c formula is SAT 136.69/137.05 c [INC SEARCH] copied best model 136.69/137.06 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 136.69/137.07 c model valid 136.69/137.07 c current solution ok 136.69/137.07 o 54709975 136.69/137.07 c [INC SEARCH] iteration: 2 136.69/137.07 c [INC BOUNDS] best value:54710025 search for 54710024 136.69/137.07 c [INC SYSTEM] there exists a inc, kill it! 136.69/137.07 c write failed with 2 136.69/137.08 c [INC SYSTEM] create new solver instance 136.69/137.08 c [INC] encode full formula 136.69/137.08 c fallback to adder encoding 137.23/137.76 c set iterative enc to: adder 137.23/137.76 c set iterative enc to: none 137.66/137.88 c [INC SEARCH] isOptimum variable: 0 141.05/141.27 c formula is SAT 141.05/141.29 c [INC SEARCH] copied best model 141.05/141.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 141.05/141.31 c model valid 141.05/141.31 c current solution ok 141.05/141.31 o 14652763 141.05/141.31 c [INC SEARCH] iteration: 3 141.05/141.31 c [INC BOUNDS] best value:14652813 search for 14652812 141.05/141.31 c [INC SYSTEM] there exists a inc, kill it! 141.05/141.31 c write failed with 2 141.18/141.32 c [INC SYSTEM] create new solver instance 141.18/141.32 c [INC] encode full formula 141.18/141.32 c fallback to adder encoding 141.46/141.82 c set iterative enc to: adder 141.46/141.82 c set iterative enc to: none 141.71/141.91 c [INC SEARCH] isOptimum variable: 0 155.38/155.63 c formula is SAT 155.38/155.65 c [INC SEARCH] copied best model 155.38/155.65 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 155.38/155.67 c model valid 155.38/155.67 c current solution ok 155.38/155.67 o 13838825 155.38/155.67 c [INC SEARCH] iteration: 4 155.38/155.67 c [INC BOUNDS] best value:13838875 search for 13838874 155.38/155.67 c [INC SYSTEM] there exists a inc, kill it! 155.38/155.67 c write failed with 2 155.38/155.67 c [INC SYSTEM] create new solver instance 155.38/155.67 c [INC] encode full formula 155.38/155.67 c fallback to adder encoding 155.38/156.17 c set iterative enc to: adder 155.38/156.17 c set iterative enc to: none 155.96/156.25 c [INC SEARCH] isOptimum variable: 0 160.56/187.08 c formula is SAT 160.56/187.10 c [INC SEARCH] copied best model 160.56/187.10 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 160.56/187.11 c model valid 160.56/187.11 c current solution ok 160.56/187.11 o 11312769 160.56/187.11 c [INC SEARCH] iteration: 5 160.56/187.11 c [INC BOUNDS] best value:11312819 search for 11312818 160.56/187.11 c [INC SYSTEM] there exists a inc, kill it! 160.56/187.11 c write failed with 2 160.56/187.12 c [INC SYSTEM] create new solver instance 160.56/187.12 c [INC] encode full formula 160.56/187.12 c fallback to adder encoding 160.56/187.58 c set iterative enc to: adder 160.56/187.58 c set iterative enc to: none 187.37/187.67 c [INC SEARCH] isOptimum variable: 0 217.59/335.85 c formula is SAT 336.12/336.36 c [INC SEARCH] copied best model 336.12/336.36 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 336.12/336.36 c model valid 336.12/336.36 c current solution ok 336.12/336.36 o 8968555 336.12/336.36 c [INC SEARCH] iteration: 6 336.12/336.36 c [INC BOUNDS] best value:8968605 search for 8968604 336.12/336.36 c [INC SYSTEM] there exists a inc, kill it! 336.12/336.36 c write failed with 2 336.12/336.36 c [INC SYSTEM] create new solver instance 336.12/336.36 c [INC] encode full formula 336.12/336.36 c fallback to adder encoding 336.12/336.36 c set iterative enc to: adder 336.12/336.36 c set iterative enc to: none 336.12/336.63 c [INC SEARCH] isOptimum variable: 0 598.35/598.95 c formula is SAT 598.35/598.96 c [INC SEARCH] copied best model 598.35/598.96 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 598.35/598.98 c model valid 598.35/598.98 c current solution ok 598.35/598.98 o 8426925 598.35/598.98 c [INC SEARCH] iteration: 7 598.35/598.98 c [INC BOUNDS] best value:8426975 search for 8426974 598.35/598.98 c [INC SYSTEM] there exists a inc, kill it! 598.35/598.98 c write failed with 2 598.35/598.99 c [INC SYSTEM] create new solver instance 598.35/598.99 c [INC] encode full formula 598.35/598.99 c fallback to adder encoding 598.87/599.43 c set iterative enc to: adder 598.87/599.43 c set iterative enc to: none 598.97/599.51 c [INC SEARCH] isOptimum variable: 0 661.04/661.69 c formula is SAT 661.13/661.71 c [INC SEARCH] copied best model 661.13/661.71 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 661.13/661.72 c model valid 661.13/661.72 c current solution ok 661.13/661.72 o 7776309 661.13/661.72 c [INC SEARCH] iteration: 8 661.13/661.72 c [INC BOUNDS] best value:7776359 search for 7776358 661.13/661.72 c [INC SYSTEM] there exists a inc, kill it! 661.13/661.72 c write failed with 2 661.13/661.73 c [INC SYSTEM] create new solver instance 661.13/661.73 c [INC] encode full formula 661.13/661.73 c fallback to adder encoding 661.55/662.15 c set iterative enc to: adder 661.55/662.15 c set iterative enc to: none 661.65/662.22 c [INC SEARCH] isOptimum variable: 0 664.34/664.90 c formula is SAT 664.34/664.92 c [INC SEARCH] copied best model 664.34/664.92 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 664.34/664.94 c model valid 664.34/664.94 c current solution ok 664.34/664.94 o 7473629 664.34/664.94 c [INC SEARCH] iteration: 9 664.34/664.94 c [INC BOUNDS] best value:7473679 search for 7473678 664.34/664.94 c [INC SYSTEM] there exists a inc, kill it! 664.34/664.94 c write failed with 2 664.34/664.94 c [INC SYSTEM] create new solver instance 664.34/664.94 c [INC] encode full formula 664.34/664.94 c fallback to adder encoding 664.73/665.36 c set iterative enc to: adder 664.73/665.36 c set iterative enc to: none 664.84/665.43 c [INC SEARCH] isOptimum variable: 0 1354.08/1354.85 c formula is SAT 1354.08/1354.87 c [INC SEARCH] copied best model 1354.08/1354.87 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1354.08/1354.88 c model valid 1354.08/1354.88 c current solution ok 1354.08/1354.88 o 7473597 1354.08/1354.88 c [INC SEARCH] iteration: 10 1354.08/1354.88 c [INC BOUNDS] best value:7473647 search for 7473646 1354.08/1354.88 c [INC SYSTEM] there exists a inc, kill it! 1354.08/1354.88 c write failed with 2 1354.08/1354.89 c [INC SYSTEM] create new solver instance 1354.08/1354.89 c [INC] encode full formula 1354.08/1354.89 c fallback to adder encoding 1354.60/1355.30 c set iterative enc to: adder 1354.60/1355.30 c set iterative enc to: none 1354.60/1355.38 c [INC SEARCH] isOptimum variable: 0 1636.31/1637.13 c formula is SAT 1636.31/1637.15 c [INC SEARCH] copied best model 1636.31/1637.15 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1636.31/1637.16 c model valid 1636.31/1637.16 c current solution ok 1636.31/1637.16 o 7383069 1636.31/1637.16 c [INC SEARCH] iteration: 11 1636.31/1637.16 c [INC BOUNDS] best value:7383119 search for 7383118 1636.31/1637.16 c [INC SYSTEM] there exists a inc, kill it! 1636.31/1637.16 c write failed with 2 1636.31/1637.17 c [INC SYSTEM] create new solver instance 1636.31/1637.17 c [INC] encode full formula 1636.31/1637.17 c fallback to adder encoding 1636.74/1637.59 c set iterative enc to: adder 1636.74/1637.59 c set iterative enc to: none 1636.83/1637.66 c [INC SEARCH] isOptimum variable: 0 1800.08/1800.91 c [INC SYSTEM] an unexpexted return value has been received, exit 1800.08/1800.91 s UNKNOWN 1800.08/1800.91 c [INC SYSTEM] there exists a inc, kill it! 1800.08/1800.91 c write failed with -1
ERROR: no interpretation found !
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-3751680-1339177845/watcher-3751680-1339177845 -o /tmp/evaluation-result-3751680-1339177845/solver-3751680-1339177845 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751680-1339177845.opb 424378113 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 17169 /proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [startup+0.0132449 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17169 /proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100263 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17169 /proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300313 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17169 /proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700341 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17169 /proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50045 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17173 /proc/meminfo: memFree=23229068/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=18804 CPUtime=0.21 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5430 0 0 0 18 3 0 0 20 0 1 0 383908995 19255296 3928 33554432000 4194304 6004724 140736246539360 140736246533824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 4701 3928 164 442 0 4255 0 [pid=17172] ppid=17170 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17172/stat : 17172 (cp2_pre.sh) S 17170 17169 16567 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383909017 9367552 277 33554432000 4194304 5064252 140737191921392 140737191920096 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17172/statm: 2287 277 234 213 0 72 0 [pid=17173] ppid=17172 vsize=83912 CPUtime=1.26 cores=1,3,5,7 /proc/17173/stat : 17173 (coprocessor) R 17172 17169 16567 0 -1 4202496 17681 0 0 0 123 3 0 0 20 0 1 0 383909017 85925888 20125 33554432000 4194304 6586260 140735452142832 140735452138648 4683525 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 /proc/17173/statm: 20978 20125 192 584 0 20390 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 121012 [startup+3.10036 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17173 /proc/meminfo: memFree=23226092/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 4701 3931 167 442 0 4255 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 27952 heavy processes: [startup+6.30043 s] /proc/loadavg: 2.00 2.00 2.00 3/182 17175 /proc/meminfo: memFree=23262908/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 4701 3931 167 442 0 4255 0 [pid=17175] ppid=17170 vsize=80100 CPUtime=3.94 cores=1,3,5,7 /proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 11945 0 0 0 391 3 0 0 20 0 1 0 383909229 82022400 17806 33554432000 4194304 5654031 140736909274560 140736909272584 4215088 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17175/statm: 20025 17806 132 357 0 19665 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 108052 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/176 17199 /proc/meminfo: memFree=28737544/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 4701 3931 167 442 0 4255 0 [pid=17175] ppid=17170 vsize=130624 CPUtime=10.34 cores=1,3,5,7 /proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 13824 0 0 0 1028 6 0 0 20 0 1 0 383909229 133758976 24763 33554432000 4194304 5654031 140736909274560 140736909272648 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17175/statm: 32656 24763 132 357 0 32296 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 158576 [startup+25.5004 s] /proc/loadavg: 2.23 2.05 2.02 3/183 17222 /proc/meminfo: memFree=28471800/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 4701 3931 167 442 0 4255 0 [pid=17175] ppid=17170 vsize=99804 CPUtime=23.13 cores=1,3,5,7 /proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 16019 0 0 0 2304 9 0 0 20 0 1 0 383909229 102199296 21629 33554432000 4194304 5654031 140736909274560 140736909272648 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17175/statm: 24951 21629 132 357 0 24591 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 127756 [startup+51.1004 s] /proc/loadavg: 2.15 2.04 2.01 3/181 17241 /proc/meminfo: memFree=27948296/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=35676 CPUtime=48.36 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 11975 58730 0 0 107 48 4651 30 20 0 1 0 383908995 36532224 8181 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 8919 8181 199 442 0 8473 0 [pid=17241] ppid=17170 vsize=176216 CPUtime=2.63 cores=1,3,5,7 /proc/17241/stat : 17241 (glucosInc) R 17170 17169 16567 0 -1 4202496 31819 0 0 0 255 8 0 0 20 0 1 0 383913840 180445184 36791 33554432000 4194304 5654031 140736035077728 140736035075512 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17241/statm: 44054 36791 141 357 0 43694 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 221040 [startup+102.307 s] /proc/loadavg: 2.06 2.03 2.01 3/181 17241 /proc/meminfo: memFree=27898612/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=35676 CPUtime=48.36 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 11975 58730 0 0 107 48 4651 30 20 0 1 0 383908995 36532224 8181 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 8919 8181 199 442 0 8473 0 [pid=17241] ppid=17170 vsize=179428 CPUtime=53.83 cores=1,3,5,7 /proc/17241/stat : 17241 (glucosInc) R 17170 17169 16567 0 -1 4202496 35617 0 0 0 5371 12 0 0 20 0 1 0 383913840 183734272 39578 33554432000 4194304 5654031 140736035077728 140736035065544 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17241/statm: 44857 39578 142 357 0 44497 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 224252 [startup+187.59 s] /proc/loadavg: 2.20 2.08 2.02 3/181 17249 /proc/meminfo: memFree=27930228/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53712 CPUtime=187.37 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 36444 210693 0 0 414 88 18142 93 20 0 1 0 383908995 55001088 12657 33554432000 4194304 6004724 140736246539360 140736246532912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 13428 12657 200 442 0 12982 0 Current children cumulated CPU time (s) 187.37 Current children cumulated vsize (KiB) 62860 [startup+336.352 s] /proc/loadavg: 2.98 2.28 2.09 3/181 17251 /proc/meminfo: memFree=27887540/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=86324 CPUtime=336.12 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 40143 238096 0 0 462 98 32941 111 20 0 1 0 383908995 88395776 20509 33554432000 4194304 6004724 140736246539360 140736246532912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17170/statm: 21581 20509 200 442 0 21135 0 Current children cumulated CPU time (s) 336.12 Current children cumulated vsize (KiB) 95472 [startup+336.562 s] /proc/loadavg: 2.98 2.28 2.09 3/181 17251 /proc/meminfo: memFree=27887540/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 ################ # More data... # ################ /proc/meminfo: memFree=27851736/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=664.87 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 55738 317100 0 0 604 119 65611 153 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17296] ppid=17170 vsize=199560 CPUtime=636.73 cores=1,3,5,7 /proc/17296/stat : 17296 (glucosInc) R 17170 17169 16567 0 -1 4202496 36307 0 0 0 63645 28 0 0 20 0 1 0 383975538 204349440 47932 33554432000 4194304 5654031 140734923682656 140734923670472 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17296/statm: 49890 47932 141 357 0 49530 0 Current children cumulated CPU time (s) 1301.6 Current children cumulated vsize (KiB) 262264 [startup+1362.3 s] /proc/loadavg: 2.02 2.07 2.23 3/181 17305 /proc/meminfo: memFree=27825872/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17305] ppid=17170 vsize=115972 CPUtime=6.91 cores=1,3,5,7 /proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 22730 0 0 0 686 5 0 0 20 0 1 0 384044533 118755328 24930 33554432000 4194304 5654031 140735989693696 140735989681512 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17305/statm: 28993 24930 141 357 0 28633 0 Current children cumulated CPU time (s) 1361.58 Current children cumulated vsize (KiB) 178676 [startup+1422.31 s] /proc/loadavg: 2.06 2.07 2.21 3/181 17305 /proc/meminfo: memFree=27954628/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17305] ppid=17170 vsize=199384 CPUtime=66.9 cores=1,3,5,7 /proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 25533 0 0 0 6683 7 0 0 20 0 1 0 384044533 204169216 45640 33554432000 4194304 5654031 140735989693696 140735989681512 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17305/statm: 49846 45640 141 357 0 49486 0 Current children cumulated CPU time (s) 1421.57 Current children cumulated vsize (KiB) 262088 [startup+1482.3 s] /proc/loadavg: 2.02 2.05 2.20 3/181 17305 /proc/meminfo: memFree=28025664/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17305] ppid=17170 vsize=199384 CPUtime=126.89 cores=1,3,5,7 /proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 26550 0 0 0 12679 10 0 0 20 0 1 0 384044533 204169216 44107 33554432000 4194304 5654031 140735989693696 140735989681512 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17305/statm: 49846 44107 141 357 0 49486 0 Current children cumulated CPU time (s) 1481.56 Current children cumulated vsize (KiB) 262088 [startup+1542.3 s] /proc/loadavg: 2.01 2.04 2.18 3/181 17305 /proc/meminfo: memFree=27876912/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17305] ppid=17170 vsize=230204 CPUtime=186.87 cores=1,3,5,7 /proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 27281 0 0 0 18675 12 0 0 20 0 1 0 384044533 235728896 48782 33554432000 4194304 5654031 140735989693696 140735989691784 4233176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17305/statm: 57551 48782 141 357 0 57191 0 Current children cumulated CPU time (s) 1541.54 Current children cumulated vsize (KiB) 292908 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.17 3/181 17306 /proc/meminfo: memFree=28000420/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17305] ppid=17170 vsize=199384 CPUtime=246.86 cores=1,3,5,7 /proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 28859 0 0 0 24670 16 0 0 20 0 1 0 384044533 204169216 43603 33554432000 4194304 5654031 140735989693696 140735989681512 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17305/statm: 49846 43603 141 357 0 49486 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 262088 [startup+1662.3 s] /proc/loadavg: 2.06 2.04 2.16 3/181 17308 /proc/meminfo: memFree=27880472/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17308] ppid=17170 vsize=120340 CPUtime=24.62 cores=1,3,5,7 /proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 23089 0 0 0 2454 8 0 0 20 0 1 0 384072761 123228160 27350 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17308/statm: 30085 27350 141 357 0 29725 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 183044 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.15 3/181 17308 /proc/meminfo: memFree=27638376/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17308] ppid=17170 vsize=199904 CPUtime=84.6 cores=1,3,5,7 /proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25849 0 0 0 8444 16 0 0 20 0 1 0 384072761 204701696 46627 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17308/statm: 49976 46627 141 357 0 49616 0 Current children cumulated CPU time (s) 1721.49 Current children cumulated vsize (KiB) 262608 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.14 3/182 17311 /proc/meminfo: memFree=27919456/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17308] ppid=17170 vsize=150584 CPUtime=144.59 cores=1,3,5,7 /proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25892 0 0 0 14442 17 0 0 20 0 1 0 384072761 154198016 36364 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17308/statm: 37646 36364 141 357 0 37286 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 213288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 2.00 2.02 2.13 3/182 17311 /proc/meminfo: memFree=27819104/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17308] ppid=17170 vsize=199904 CPUtime=163.19 cores=1,3,5,7 /proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25937 0 0 0 16302 17 0 0 20 0 1 0 384072761 204701696 47140 33554432000 4194304 5654031 140734250024032 140734250011848 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17308/statm: 49976 47140 141 357 0 49616 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 262608 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 2.00 2.02 2.13 3/182 17311 /proc/meminfo: memFree=27819104/32873844 swapFree=7900/7900 [pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17169/statm: 2287 274 233 213 0 72 0 [pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7 /proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17170/statm: 13389 12652 200 442 0 12943 0 [pid=17308] ppid=17170 vsize=199904 CPUtime=163.19 cores=1,3,5,7 /proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25937 0 0 0 16302 17 0 0 20 0 1 0 384072761 204701696 47140 33554432000 4194304 5654031 140734250024032 140734250011848 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17308/statm: 49976 47140 141 357 0 49616 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 262608 Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.12 CPU user time (s): 1796.58 CPU system time (s): 3.54146 CPU usage (%): 99.9562 Max. virtual memory (cumulated for all children) (KiB): 392836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.58 system time used= 3.54146 maximum resident set size= 268208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 475895 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1003392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6491 involuntary context switches= 4074 runsolver used 5.86011 second user time and 15.9786 second system time The end
Begin job on node137 at 2012-06-08 19:50:45 IDJOB=3751680 IDBENCH=92735 IDSOLVER=2335 FILE ID=node137/3751680-1339177845 RUNJOBID= node137-1339168837-16584 PBS_JOBID= 14643809 Free space on /tmp= 69504 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751680-1339177845/watcher-3751680-1339177845 -o /tmp/evaluation-result-3751680-1339177845/solver-3751680-1339177845 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751680-1339177845.opb 424378113 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 20017986f9960b1d860bf846232b7a22 RANDOM SEED=424378113 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 23328460 kB Buffers: 457764 kB Cached: 3703388 kB SwapCached: 4640 kB Active: 6972036 kB Inactive: 1665952 kB Active(anon): 4466884 kB Inactive(anon): 5860 kB Active(file): 2505152 kB Inactive(file): 1660092 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108856 kB SwapFree: 67097908 kB Dirty: 8584 kB Writeback: 0 kB AnonPages: 4507848 kB Mapped: 10612 kB Shmem: 0 kB Slab: 757288 kB SReclaimable: 198172 kB SUnreclaim: 559116 kB KernelStack: 1544 kB PageTables: 12900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 5937240 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2357248 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70444 MiB End job on node137 at 2012-06-08 20:20:46