Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| npSolver inc-topdown-quickBound | ? (TO) | 1800.05 | 1802.81 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb |
| MD5SUM | 99680d01aa100bfba038606e315bf03d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 486 |
| Best CPU time to get the best result obtained on this benchmark | 1792.84 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 431 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 497468 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 497468 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.38/1.40 c run inc solver 1.38/1.40 c [INC SYSTEM] run initial solver 1.38/1.40 c [INC SYSTEM] preprocess with white file 3.00/4.52 c [INC SYSTEM] finished preprocessing in 3 s 3.00/4.52 c [INC SYSTEM] execute solver 164.74/166.31 c [INC SEARCH] formula is SAT 164.74/166.31 c [INC SYSTEM] solved the initial formula 165.34/166.99 c model valid 165.34/166.99 c current solution ok 166.43/168.03 o 7469 166.43/168.03 c starting approximation 166.43/168.03 c factor = 2 166.43/168.03 c factor still to low - shrinking to 224.07 166.43/168.03 c approx number of clauses: 1e+06 166.43/168.03 c current bound: 3734 167.12/168.73 c leaving approximation 167.12/168.73 c finished approximation 167.12/168.73 c [INC SYSTEM] there exists a inc, kill it! 167.12/168.73 c write failed with 2 167.12/168.74 c [INC SEARCH] iteration: 0 167.12/168.74 c [INC BOUNDS] best value:7469 search for 7468 167.12/168.74 c [INC SYSTEM] create new solver instance 167.12/168.74 c [INC] encode full formula 167.12/168.74 c fallback to adder encoding 167.85/169.41 c set iterative enc to: adder 167.85/169.41 c set iterative enc to: none 167.95/169.50 c [INC SEARCH] isOptimum variable: 0 173.24/174.84 c formula is SAT 173.24/174.85 c [INC SEARCH] copied best model 173.24/174.85 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 173.95/175.53 c model valid 173.95/175.53 c current solution ok 173.95/175.53 o 7258 173.95/175.53 c [INC SEARCH] iteration: 1 173.95/175.53 c [INC BOUNDS] best value:7258 search for 7257 173.95/175.53 c [INC SYSTEM] there exists a inc, kill it! 173.95/175.53 c write failed with 2 173.95/175.53 c [INC SYSTEM] create new solver instance 173.95/175.53 c [INC] encode full formula 173.95/175.53 c fallback to adder encoding 174.64/176.21 c set iterative enc to: adder 174.64/176.21 c set iterative enc to: none 174.74/176.31 c [INC SEARCH] isOptimum variable: 0 177.14/178.73 c formula is SAT 177.24/178.87 c [INC SEARCH] copied best model 177.24/178.87 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 177.83/179.42 c model valid 177.83/179.42 c current solution ok 177.83/179.42 o 6792 177.83/179.42 c [INC SEARCH] iteration: 2 177.83/179.42 c [INC BOUNDS] best value:6792 search for 6791 177.83/179.42 c [INC SYSTEM] there exists a inc, kill it! 177.83/179.42 c write failed with 2 177.83/179.43 c [INC SYSTEM] create new solver instance 177.83/179.43 c [INC] encode full formula 177.83/179.43 c fallback to adder encoding 178.54/180.10 c set iterative enc to: adder 178.54/180.10 c set iterative enc to: none 178.65/180.20 c [INC SEARCH] isOptimum variable: 0 180.94/182.60 c formula is SAT 181.04/182.61 c [INC SEARCH] copied best model 181.04/182.61 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 181.65/183.28 c model valid 181.65/183.28 c current solution ok 181.65/183.28 o 6700 181.65/183.28 c [INC SEARCH] iteration: 3 181.65/183.28 c [INC BOUNDS] best value:6700 search for 6699 181.65/183.28 c [INC SYSTEM] there exists a inc, kill it! 181.65/183.28 c write failed with 2 181.65/183.29 c [INC SYSTEM] create new solver instance 181.65/183.29 c [INC] encode full formula 181.65/183.29 c fallback to adder encoding 182.35/183.96 c set iterative enc to: adder 182.35/183.96 c set iterative enc to: none 182.48/184.84 c [INC SEARCH] isOptimum variable: 0 232.45/234.81 c formula is SAT 232.45/234.83 c [INC SEARCH] copied best model 232.45/234.83 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 233.14/235.51 c model valid 233.14/235.51 c current solution ok 233.14/235.51 o 6654 233.14/235.51 c [INC SEARCH] iteration: 4 233.14/235.51 c [INC BOUNDS] best value:6654 search for 6653 233.14/235.51 c [INC SYSTEM] there exists a inc, kill it! 233.14/235.51 c write failed with 2 233.14/235.51 c [INC SYSTEM] create new solver instance 233.14/235.51 c [INC] encode full formula 233.14/235.51 c fallback to adder encoding 233.77/236.19 c set iterative enc to: adder 233.77/236.19 c set iterative enc to: none 233.86/236.29 c [INC SEARCH] isOptimum variable: 0 274.93/277.36 c formula is SAT 274.93/277.37 c [INC SEARCH] copied best model 274.93/277.37 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 275.64/278.06 c model valid 275.64/278.06 c current solution ok 275.64/278.06 o 6644 275.64/278.06 c [INC SEARCH] iteration: 5 275.64/278.06 c [INC BOUNDS] best value:6644 search for 6643 275.64/278.06 c [INC SYSTEM] there exists a inc, kill it! 275.64/278.06 c write failed with 2 275.64/278.06 c [INC SYSTEM] create new solver instance 275.64/278.06 c [INC] encode full formula 275.64/278.06 c fallback to adder encoding 276.35/278.74 c set iterative enc to: adder 276.35/278.74 c set iterative enc to: none 276.44/278.84 c [INC SEARCH] isOptimum variable: 0 290.53/292.96 c formula is SAT 290.53/292.97 c [INC SEARCH] copied best model 290.53/292.97 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 291.23/293.66 c model valid 291.23/293.66 c current solution ok 291.23/293.66 o 6451 291.23/293.66 c [INC SEARCH] iteration: 6 291.23/293.66 c [INC BOUNDS] best value:6451 search for 6450 291.23/293.66 c [INC SYSTEM] there exists a inc, kill it! 291.23/293.66 c write failed with 2 291.23/293.67 c [INC SYSTEM] create new solver instance 291.23/293.67 c [INC] encode full formula 291.23/293.67 c fallback to adder encoding 291.94/294.34 c set iterative enc to: adder 291.94/294.34 c set iterative enc to: none 292.04/294.44 c [INC SEARCH] isOptimum variable: 0 308.23/310.65 c formula is SAT 308.23/310.67 c [INC SEARCH] copied best model 308.23/310.67 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 308.93/311.35 c model valid 308.93/311.35 c current solution ok 308.93/311.35 o 6289 308.93/311.35 c [INC SEARCH] iteration: 7 308.93/311.35 c [INC BOUNDS] best value:6289 search for 6288 308.93/311.35 c [INC SYSTEM] there exists a inc, kill it! 308.93/311.35 c write failed with 2 308.93/311.36 c [INC SYSTEM] create new solver instance 308.93/311.36 c [INC] encode full formula 308.93/311.36 c fallback to adder encoding 309.63/312.04 c set iterative enc to: adder 309.63/312.04 c set iterative enc to: none 309.74/312.13 c [INC SEARCH] isOptimum variable: 0 419.50/421.97 c formula is SAT 419.50/421.99 c [INC SEARCH] copied best model 419.50/421.99 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 420.19/422.67 c model valid 420.19/422.67 c current solution ok 420.19/422.67 o 6278 420.19/422.67 c [INC SEARCH] iteration: 8 420.19/422.67 c [INC BOUNDS] best value:6278 search for 6277 420.19/422.67 c [INC SYSTEM] there exists a inc, kill it! 420.19/422.67 c write failed with 2 420.19/422.67 c [INC SYSTEM] create new solver instance 420.19/422.67 c [INC] encode full formula 420.19/422.67 c fallback to adder encoding 420.89/423.35 c set iterative enc to: adder 420.89/423.35 c set iterative enc to: none 421.00/423.45 c [INC SEARCH] isOptimum variable: 0 885.46/888.08 c formula is SAT 885.46/888.10 c [INC SEARCH] copied best model 885.46/888.10 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 886.16/888.78 c model valid 886.16/888.78 c current solution ok 886.16/888.78 o 6217 886.16/888.78 c [INC SEARCH] iteration: 9 886.16/888.78 c [INC BOUNDS] best value:6217 search for 6216 886.16/888.78 c [INC SYSTEM] there exists a inc, kill it! 886.16/888.78 c write failed with 2 886.16/888.78 c [INC SYSTEM] create new solver instance 886.16/888.78 c [INC] encode full formula 886.16/888.78 c fallback to adder encoding 886.88/889.46 c set iterative enc to: adder 886.88/889.46 c set iterative enc to: none 886.97/889.56 c [INC SEARCH] isOptimum variable: 0 1299.96/1302.60 c formula is SAT 1299.96/1302.62 c [INC SEARCH] copied best model 1299.96/1302.62 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1300.67/1303.30 c model valid 1300.67/1303.30 c current solution ok 1300.67/1303.30 o 6214 1300.67/1303.30 c [INC SEARCH] iteration: 10 1300.67/1303.30 c [INC BOUNDS] best value:6214 search for 6213 1300.67/1303.30 c [INC SYSTEM] there exists a inc, kill it! 1300.67/1303.30 c write failed with 2 1300.67/1303.30 c [INC SYSTEM] create new solver instance 1300.67/1303.30 c [INC] encode full formula 1300.67/1303.30 c fallback to adder encoding 1301.28/1303.98 c set iterative enc to: adder 1301.28/1303.98 c set iterative enc to: none 1301.35/1304.08 c [INC SEARCH] isOptimum variable: 0 1433.31/1436.04 c formula is SAT 1433.31/1436.05 c [INC SEARCH] copied best model 1433.31/1436.05 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1434.00/1436.72 c model valid 1434.00/1436.72 c current solution ok 1434.00/1436.72 o 5837 1434.00/1436.72 c [INC SEARCH] iteration: 11 1434.00/1436.72 c [INC BOUNDS] best value:5837 search for 5836 1434.00/1436.72 c [INC SYSTEM] there exists a inc, kill it! 1434.00/1436.72 c write failed with 2 1434.00/1436.73 c [INC SYSTEM] create new solver instance 1434.00/1436.73 c [INC] encode full formula 1434.00/1436.73 c fallback to adder encoding 1434.72/1437.40 c set iterative enc to: adder 1434.72/1437.40 c set iterative enc to: none 1434.82/1437.50 c [INC SEARCH] isOptimum variable: 0 1800.02/1802.80 c [INC SYSTEM] an unexpexted return value has been received, exit 1800.02/1802.80 s UNKNOWN 1800.02/1802.80 c [INC SYSTEM] there exists a inc, kill it! 1800.02/1802.80 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-3702825-1338053103/watcher-3702825-1338053103 -o /tmp/evaluation-result-3702825-1338053103/solver-3702825-1338053103 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702825-1338053103.opb 2112296573 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.02 2.00 3/177 20866 /proc/meminfo: memFree=29113392/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (runsolver) D 20864 20866 1406 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 271436205 12095488 50 33554432000 4194304 5436572 140735560554880 140735560551176 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0 /proc/20866/statm: 2953 50 31 304 0 2645 0 [startup+0.103863 s] /proc/loadavg: 2.01 2.02 2.00 3/177 20866 /proc/meminfo: memFree=29113392/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.200215 s] /proc/loadavg: 2.01 2.02 2.00 3/177 20866 /proc/meminfo: memFree=29113392/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300208 s] /proc/loadavg: 2.01 2.02 2.00 3/177 20866 /proc/meminfo: memFree=29113392/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700182 s] /proc/loadavg: 2.01 2.02 2.00 3/177 20866 /proc/meminfo: memFree=29113392/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50028 s] /proc/loadavg: 2.01 2.02 2.00 3/180 20870 /proc/meminfo: memFree=28950420/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=21112 CPUtime=1.4 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 3790 0 0 0 137 3 0 0 20 0 1 0 271436206 21618688 3835 33554432000 4194304 5992684 140735114394208 140735114388656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/20868/statm: 5278 3835 164 440 0 4834 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 30260 [startup+3.10119 s] /proc/loadavg: 2.01 2.02 2.00 3/182 20872 /proc/meminfo: memFree=28872892/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=21112 CPUtime=1.4 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 3790 0 0 0 137 3 0 0 20 0 1 0 271436206 21618688 3835 33554432000 4194304 5992684 140735114394208 140735114388656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/20868/statm: 5278 3835 164 440 0 4834 0 [pid=20871] ppid=20868 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20871/stat : 20871 (cp2_pre.sh) S 20868 20866 1406 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 271436347 9367552 277 33554432000 4194304 5064252 140733438211344 140733438210048 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20871/statm: 2287 277 234 213 0 72 0 [pid=20872] ppid=20871 vsize=63328 CPUtime=1.53 cores=0,2,4,6 /proc/20872/stat : 20872 (coprocessor) R 20871 20866 1406 0 -1 4202496 14153 0 0 0 149 4 0 0 20 0 1 0 271436347 64847872 15172 33554432000 4194304 6586260 140735611385744 140735611381496 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 13 0 0 /proc/20872/statm: 15832 15172 197 584 0 15244 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 102736 [startup+6.30111 s] /proc/loadavg: 2.01 2.02 2.00 3/181 20876 /proc/meminfo: memFree=28909992/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=21112 CPUtime=3.01 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 3806 15057 0 0 137 3 156 5 20 0 1 0 271436206 21618688 3837 33554432000 4194304 5992684 140735114394208 140735114380472 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/20868/statm: 5278 3837 166 440 0 4834 0 [pid=20876] ppid=20868 vsize=43632 CPUtime=1.76 cores=0,2,4,6 /proc/20876/stat : 20876 (glucosInc) R 20868 20866 1406 0 -1 4202496 9855 0 0 0 175 1 0 0 20 0 1 0 271436657 44679168 10086 33554432000 4194304 5654031 140734388973040 140734388970824 4214993 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/20876/statm: 10908 10086 132 357 0 10548 0 Current children cumulated CPU time (s) 4.77 Current children cumulated vsize (KiB) 73892 heavy processes: [startup+12.7011 s] /proc/loadavg: 2.01 2.02 2.00 3/181 20876 /proc/meminfo: memFree=28876888/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=21112 CPUtime=3.01 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 3806 15057 0 0 137 3 156 5 20 0 1 0 271436206 21618688 3837 33554432000 4194304 5992684 140735114394208 140735114380472 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/20868/statm: 5278 3837 166 440 0 4834 0 [pid=20876] ppid=20868 vsize=74156 CPUtime=8.16 cores=0,2,4,6 /proc/20876/stat : 20876 (glucosInc) R 20868 20866 1406 0 -1 4202496 11502 0 0 0 813 3 0 0 20 0 1 0 271436657 75935744 17782 33554432000 4194304 5654031 140734388973040 140734388971064 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/20876/statm: 18539 17782 132 357 0 18179 0 Current children cumulated CPU time (s) 11.17 Current children cumulated vsize (KiB) 104416 [startup+25.5003 s] /proc/loadavg: 2.01 2.02 2.00 3/181 20878 /proc/meminfo: memFree=28874688/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=21112 CPUtime=3.01 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 3806 15057 0 0 137 3 156 5 20 0 1 0 271436206 21618688 3837 33554432000 4194304 5992684 140735114394208 140735114380472 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/20868/statm: 5278 3837 166 440 0 4834 0 [pid=20876] ppid=20868 vsize=123476 CPUtime=20.96 cores=0,2,4,6 /proc/20876/stat : 20876 (glucosInc) R 20868 20866 1406 0 -1 4202496 11829 0 0 0 2091 5 0 0 20 0 1 0 271436657 126439424 26551 33554432000 4194304 5654031 140734388973040 140734388971064 4215200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/20876/statm: 30869 26551 132 357 0 30509 0 Current children cumulated CPU time (s) 23.97 Current children cumulated vsize (KiB) 153736 [startup+51.1074 s] /proc/loadavg: 2.00 2.02 2.00 3/181 20880 /proc/meminfo: memFree=28841888/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=21112 CPUtime=3.01 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 3806 15057 0 0 137 3 156 5 20 0 1 0 271436206 21618688 3837 33554432000 4194304 5992684 140735114394208 140735114380472 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/20868/statm: 5278 3837 166 440 0 4834 0 [pid=20876] ppid=20868 vsize=123476 CPUtime=46.56 cores=0,2,4,6 /proc/20876/stat : 20876 (glucosInc) R 20868 20866 1406 0 -1 4202496 12845 0 0 0 4647 9 0 0 20 0 1 0 271436657 126439424 26551 33554432000 4194304 5654031 140734388973040 140734388970968 4215091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20876/statm: 30869 26551 132 357 0 30509 0 Current children cumulated CPU time (s) 49.57 Current children cumulated vsize (KiB) 153736 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.00 3/182 20882 /proc/meminfo: memFree=28867992/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=21112 CPUtime=3.01 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 3806 15057 0 0 137 3 156 5 20 0 1 0 271436206 21618688 3837 33554432000 4194304 5992684 140735114394208 140735114380472 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/20868/statm: 5278 3837 166 440 0 4834 0 [pid=20876] ppid=20868 vsize=74156 CPUtime=97.74 cores=0,2,4,6 /proc/20876/stat : 20876 (glucosInc) R 20868 20866 1406 0 -1 4202496 16808 0 0 0 9756 18 0 0 20 0 1 0 271436657 75935744 17782 33554432000 4194304 5654031 140734388973040 140734388971064 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20876/statm: 18539 17782 132 357 0 18179 0 Current children cumulated CPU time (s) 100.75 Current children cumulated vsize (KiB) 104416 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/181 20882 /proc/meminfo: memFree=28803732/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=21112 CPUtime=3.01 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 3806 15057 0 0 137 3 156 5 20 0 1 0 271436206 21618688 3837 33554432000 4194304 5992684 140735114394208 140735114380472 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/20868/statm: 5278 3837 166 440 0 4834 0 [pid=20876] ppid=20868 vsize=154296 CPUtime=157.74 cores=0,2,4,6 /proc/20876/stat : 20876 (glucosInc) R 20868 20866 1406 0 -1 4202496 21940 0 0 0 15745 29 0 0 20 0 1 0 271436657 157999104 31226 33554432000 4194304 5654031 140734388973040 140734388970968 4233213 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20876/statm: 38574 31226 132 357 0 38214 0 Current children cumulated CPU time (s) 160.75 Current children cumulated vsize (KiB) 184556 [startup+222.3 s] /proc/loadavg: 2.05 2.02 2.00 3/181 20900 /proc/meminfo: memFree=28692952/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=182.53 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 27461 155164 0 0 704 125 17348 76 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20898] ppid=20868 vsize=173820 CPUtime=37.43 cores=0,2,4,6 /proc/20898/stat : 20898 (glucosInc) R 20868 20866 1406 0 -1 4202496 32660 0 0 0 3734 9 0 0 20 0 1 0 271454690 177991680 38566 33554432000 4194304 5654031 140736433042592 140736433030408 4232589 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20898/statm: 43455 38566 141 357 0 43095 0 Current children cumulated CPU time (s) 219.96 Current children cumulated vsize (KiB) 213436 ################ # More data... # ################ /proc/meminfo: memFree=28405960/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=887.03 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 61315 385102 0 0 1522 179 86795 207 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20917] ppid=20868 vsize=271140 CPUtime=412.63 cores=0,2,4,6 /proc/20917/stat : 20917 (glucosInc) R 20868 20866 1406 0 -1 4202496 48248 0 0 0 41234 29 0 0 20 0 1 0 271525162 277647360 56713 33554432000 4194304 5654031 140733251756288 140733251744104 4216512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20917/statm: 67785 56713 141 357 0 67425 0 Current children cumulated CPU time (s) 1299.66 Current children cumulated vsize (KiB) 310756 [startup+1362.31 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20924 /proc/meminfo: memFree=28571612/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30472 CPUtime=1301.45 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 66956 433885 0 0 1659 188 128059 239 20 0 1 0 271436206 31203328 6242 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7618 6242 199 440 0 7174 0 [pid=20923] ppid=20868 vsize=175788 CPUtime=58.18 cores=0,2,4,6 /proc/20923/stat : 20923 (glucosInc) R 20868 20866 1406 0 -1 4202496 33715 0 0 0 5808 10 0 0 20 0 1 0 271566614 180006912 38110 33554432000 4194304 5654031 140736603771056 140736603769080 4232922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20923/statm: 43947 38110 141 357 0 43587 0 Current children cumulated CPU time (s) 1359.63 Current children cumulated vsize (KiB) 215408 [startup+1422.3 s] /proc/loadavg: 2.03 2.01 2.00 3/181 20924 /proc/meminfo: memFree=28428912/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30472 CPUtime=1301.45 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 66956 433885 0 0 1659 188 128059 239 20 0 1 0 271436206 31203328 6242 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7618 6242 199 440 0 7174 0 [pid=20923] ppid=20868 vsize=179892 CPUtime=118.16 cores=0,2,4,6 /proc/20923/stat : 20923 (glucosInc) R 20868 20866 1406 0 -1 4202496 36225 0 0 0 11804 12 0 0 20 0 1 0 271566614 184209408 41043 33554432000 4194304 5654031 140736603771056 140736603758872 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20923/statm: 44973 41043 141 357 0 44613 0 Current children cumulated CPU time (s) 1419.61 Current children cumulated vsize (KiB) 219512 [startup+1482.3 s] /proc/loadavg: 2.04 2.02 2.00 3/181 20926 /proc/meminfo: memFree=28531160/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=1434.83 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 72596 471317 0 0 1794 197 141236 256 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20926] ppid=20868 vsize=175184 CPUtime=44.77 cores=0,2,4,6 /proc/20926/stat : 20926 (glucosInc) R 20868 20866 1406 0 -1 4202496 32968 0 0 0 4469 8 0 0 20 0 1 0 271579956 179388416 39493 33554432000 4194304 5654031 140734471101600 140734471089416 4232700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20926/statm: 43796 39493 141 357 0 43436 0 Current children cumulated CPU time (s) 1479.6 Current children cumulated vsize (KiB) 214800 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/182 20929 /proc/meminfo: memFree=28626588/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=1434.83 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 72596 471317 0 0 1794 197 141236 256 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20926] ppid=20868 vsize=208968 CPUtime=104.76 cores=0,2,4,6 /proc/20926/stat : 20926 (glucosInc) R 20868 20866 1406 0 -1 4202496 35863 0 0 0 10465 11 0 0 20 0 1 0 271579956 213983232 43363 33554432000 4194304 5654031 140734471101600 140734471089416 4216533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20926/statm: 52242 43363 141 357 0 51882 0 Current children cumulated CPU time (s) 1539.59 Current children cumulated vsize (KiB) 248584 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/181 20929 /proc/meminfo: memFree=28488440/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=1434.83 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 72596 471317 0 0 1794 197 141236 256 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20926] ppid=20868 vsize=181456 CPUtime=164.73 cores=0,2,4,6 /proc/20926/stat : 20926 (glucosInc) R 20868 20866 1406 0 -1 4202496 38354 0 0 0 16457 16 0 0 20 0 1 0 271579956 185810944 41002 33554432000 4194304 5654031 140734471101600 140734471089416 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20926/statm: 45364 41002 141 357 0 45004 0 Current children cumulated CPU time (s) 1599.56 Current children cumulated vsize (KiB) 221072 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20977 /proc/meminfo: memFree=28860768/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=1434.83 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 72596 471317 0 0 1794 197 141236 256 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20926] ppid=20868 vsize=214724 CPUtime=224.72 cores=0,2,4,6 /proc/20926/stat : 20926 (glucosInc) R 20868 20866 1406 0 -1 4202496 40351 0 0 0 22452 20 0 0 20 0 1 0 271579956 219877376 47266 33554432000 4194304 5654031 140734471101600 140734471089416 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20926/statm: 53681 47266 141 357 0 53321 0 Current children cumulated CPU time (s) 1659.55 Current children cumulated vsize (KiB) 254340 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20977 /proc/meminfo: memFree=28869592/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=1434.83 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 72596 471317 0 0 1794 197 141236 256 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20926] ppid=20868 vsize=216396 CPUtime=284.71 cores=0,2,4,6 /proc/20926/stat : 20926 (glucosInc) R 20868 20866 1406 0 -1 4202496 43197 0 0 0 28447 24 0 0 20 0 1 0 271579956 221589504 44644 33554432000 4194304 5654031 140734471101600 140734471089416 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20926/statm: 54099 44644 141 357 0 53739 0 Current children cumulated CPU time (s) 1719.54 Current children cumulated vsize (KiB) 256012 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20977 /proc/meminfo: memFree=28782472/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=1434.83 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 72596 471317 0 0 1794 197 141236 256 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20926] ppid=20868 vsize=218856 CPUtime=344.7 cores=0,2,4,6 /proc/20926/stat : 20926 (glucosInc) R 20868 20866 1406 0 -1 4202496 45355 0 0 0 34443 27 0 0 20 0 1 0 271579956 224108544 49880 33554432000 4194304 5654031 140734471101600 140734471089416 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20926/statm: 54714 49880 141 357 0 54354 0 Current children cumulated CPU time (s) 1779.53 Current children cumulated vsize (KiB) 258472 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802.8 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20977 /proc/meminfo: memFree=28830712/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=1434.83 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 72596 471317 0 0 1794 197 141236 256 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20926] ppid=20868 vsize=188980 CPUtime=365.19 cores=0,2,4,6 /proc/20926/stat : 20926 (glucosInc) R 20868 20866 1406 0 -1 4202496 46598 0 0 0 36491 28 0 0 20 0 1 0 271579956 193515520 42875 33554432000 4194304 5654031 140734471101600 140734471089416 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20926/statm: 47245 42875 141 357 0 46885 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 228596 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1802.8 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20977 /proc/meminfo: memFree=28830712/32873648 swapFree=6844/6844 [pid=20866] ppid=20864 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20866/stat : 20866 (npSolver-pbo-It) S 20864 20866 1406 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271436205 9367552 274 33554432000 4194304 5064252 140736857369776 140736857368688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20866/statm: 2287 274 233 213 0 72 0 [pid=20868] ppid=20866 vsize=30468 CPUtime=1434.83 cores=0,2,4,6 /proc/20868/stat : 20868 (npSolver-pbo) S 20866 20866 1406 0 -1 4202496 72596 471317 0 0 1794 197 141236 256 20 0 1 0 271436206 31199232 6241 33554432000 4194304 5992684 140735114394208 140735114380040 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0 /proc/20868/statm: 7617 6241 199 440 0 7173 0 [pid=20926] ppid=20868 vsize=188980 CPUtime=365.19 cores=0,2,4,6 /proc/20926/stat : 20926 (glucosInc) R 20868 20866 1406 0 -1 4202496 46598 0 0 0 36491 28 0 0 20 0 1 0 271579956 193515520 42875 33554432000 4194304 5654031 140734471101600 140734471089416 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20926/statm: 47245 42875 141 357 0 46885 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 228596 Child status: 0 Real time (s): 1802.81 CPU time (s): 1800.05 CPU user time (s): 1795.22 CPU system time (s): 4.83127 CPU usage (%): 99.8471 Max. virtual memory (cumulated for all children) (KiB): 442312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.22 system time used= 4.83127 maximum resident set size= 368800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 590892 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1427584 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6079 involuntary context switches= 4191 runsolver used 2.93455 second user time and 7.50086 second system time The end
Begin job on node124 at 2012-05-26 19:25:03 IDJOB=3702825 IDBENCH=1976 IDSOLVER=2278 FILE ID=node124/3702825-1338053103 RUNJOBID= node124-1338049033-2280 PBS_JOBID= 14624372 Free space on /tmp= 71484 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702825-1338053103/watcher-3702825-1338053103 -o /tmp/evaluation-result-3702825-1338053103/solver-3702825-1338053103 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702825-1338053103.opb 2112296573 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d RANDOM SEED=2112296573 node124.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 : 2667.325 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 : 5334.65 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.04 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 : 2667.325 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 : 5357.53 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.04 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 : 2667.325 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 : 5385.03 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 : 2667.325 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 : 5385.03 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29093176 kB Buffers: 296720 kB Cached: 2584308 kB SwapCached: 0 kB Active: 878144 kB Inactive: 2099204 kB Active(anon): 98756 kB Inactive(anon): 0 kB Active(file): 779388 kB Inactive(file): 2099204 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 43584 kB Writeback: 0 kB AnonPages: 70164 kB Mapped: 15216 kB Shmem: 200 kB Slab: 654544 kB SReclaimable: 98524 kB SUnreclaim: 556020 kB KernelStack: 1456 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 267920 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71444 MiB End job on node124 at 2012-05-26 19:55:06