Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc (fixed) | ? (TO) | 1800.1 | 1800.41 |
| Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_4_ic.opb |
| MD5SUM | cc4ba8ab50e8cde73916f6bbebfc3143 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4225708 |
| Best CPU time to get the best result obtained on this benchmark | 2.77358 |
| 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 | 3435 |
| Total number of constraints | 6802 |
| Number of constraints which are clauses | 2970 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3825 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 105 |
| Number of terms in the objective function | 645 |
| Biggest coefficient in the objective function | 77854483 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3321901821 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 77854483 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3321901821 |
| Number of bits of the biggest sum of numbers | 32 |
| 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.03 c old isEQ: 0, new EQ is 1 0.00/0.03 c old isEQ: 32, new EQ is 1 0.00/0.04 c old isEQ: 1, new EQ is 1 0.00/0.05 c run inc solver 0.00/0.05 c [INC SYSTEM] run initial solver 0.00/0.05 c [INC SYSTEM] preprocess with white file 0.00/0.19 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.19 c [INC SYSTEM] execute solver 0.00/0.39 c [INC SEARCH] formula is SAT 0.00/0.39 c [INC SYSTEM] solved the initial formula 0.00/0.40 c model valid 0.00/0.40 c current solution ok 0.00/0.46 o 169659014 0.00/0.46 c execute binary inc search 0.00/0.46 c [INC SEARCH] current bound: 84829514 0.00/0.46 c [INC SEARCH] iteration: 0 0.00/0.46 c [INC SEARCH] lower bound: 0 upperbound 169659029 current bound: 84829514 best value:169659029 0.00/0.46 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.46 c write failed with 2 0.00/0.46 c [INC SYSTEM] create new solver instance 0.00/0.46 c [INC] encode full formula 0.00/0.46 c fallback to adder encoding 0.00/0.54 c set iterative enc to: adder 0.00/0.54 c set iterative enc to: none 0.00/0.56 c [INC SEARCH] isOptimum variable: 0 7.25/7.31 c [INC SEARCH] formula is SAT 7.25/7.31 c [INC SEARCH] copied best model 7.25/7.31 c sat variable: 1 optimum/unsat variable: 0 7.25/7.32 c model valid 7.25/7.32 c current solution ok 7.25/7.32 o 52693214 7.25/7.32 c [INC SEARCH] current bound: 26346614 7.25/7.32 c [INC SEARCH] iteration: 1 7.25/7.32 c [INC SEARCH] lower bound: 0 upperbound 52693229 current bound: 26346614 best value:52693229 7.25/7.32 c [INC SYSTEM] there exists a inc, kill it! 7.25/7.32 c write failed with 2 7.25/7.33 c [INC SYSTEM] create new solver instance 7.25/7.33 c [INC] encode full formula 7.25/7.33 c fallback to adder encoding 7.38/7.40 c set iterative enc to: adder 7.38/7.40 c set iterative enc to: none 7.38/7.41 c [INC SEARCH] isOptimum variable: 0 7.56/7.61 c [INC SEARCH] formula is SAT 7.56/7.61 c [INC SEARCH] copied best model 7.56/7.61 c sat variable: 1 optimum/unsat variable: 0 7.56/7.62 c model valid 7.56/7.62 c current solution ok 7.56/7.62 o 10994310 7.56/7.62 c [INC SEARCH] current bound: 5497162 7.56/7.62 c [INC SEARCH] iteration: 2 7.56/7.62 c [INC SEARCH] lower bound: 0 upperbound 10994325 current bound: 5497162 best value:10994325 7.56/7.62 c [INC SYSTEM] there exists a inc, kill it! 7.56/7.62 c write failed with 2 7.56/7.63 c [INC SYSTEM] create new solver instance 7.56/7.63 c [INC] encode full formula 7.56/7.63 c fallback to adder encoding 7.56/7.69 c set iterative enc to: adder 7.56/7.69 c set iterative enc to: none 7.56/7.70 c [INC SEARCH] isOptimum variable: 0 102.14/102.24 c [INC SEARCH] formula is SAT 102.14/102.24 c [INC SEARCH] copied best model 102.14/102.24 c sat variable: 1 optimum/unsat variable: 0 102.14/102.25 c model valid 102.14/102.25 c current solution ok 102.14/102.25 o 5463628 102.14/102.25 c [INC SEARCH] current bound: 2731821 102.14/102.25 c [INC SEARCH] iteration: 3 102.14/102.25 c [INC SEARCH] lower bound: 0 upperbound 5463643 current bound: 2731821 best value:5463643 102.14/102.25 c [INC SYSTEM] there exists a inc, kill it! 102.14/102.25 c write failed with 2 102.14/102.25 c [INC SYSTEM] create new solver instance 102.14/102.25 c [INC] encode full formula 102.14/102.25 c fallback to adder encoding 102.26/102.31 c set iterative enc to: adder 102.26/102.31 c set iterative enc to: none 102.26/102.32 c [INC SEARCH] isOptimum variable: 0 102.27/102.67 c [INC SEARCH] formula is UNSAT 102.27/102.67 c [INC SYSTEM] there exists a inc, kill it! 102.27/102.67 c write failed with 2 102.27/102.67 c sat variable: 0 optimum/unsat variable: 1 102.27/102.67 c [INC SEARCH] set lower bound to 2731822 upperbound 5463643 102.27/102.67 c [INC SEARCH] current bound: 4097732 102.27/102.67 c [INC SEARCH] iteration: 4 102.27/102.67 c [INC SEARCH] lower bound: 2731822 upperbound 5463643 current bound: 4097732 best value:5463643 102.27/102.67 c [INC SYSTEM] create new solver instance 102.27/102.67 c [INC] encode full formula 102.27/102.67 c fallback to adder encoding 102.66/102.72 c set iterative enc to: adder 102.66/102.72 c set iterative enc to: none 102.66/102.73 c [INC SEARCH] isOptimum variable: 0 355.99/356.12 c [INC SEARCH] formula is UNSAT 355.99/356.12 c [INC SYSTEM] there exists a inc, kill it! 355.99/356.12 c write failed with 2 355.99/356.12 c sat variable: 0 optimum/unsat variable: 1 355.99/356.12 c [INC SEARCH] set lower bound to 4097733 upperbound 5463643 355.99/356.12 c [INC SEARCH] current bound: 4780688 355.99/356.12 c [INC SEARCH] iteration: 5 355.99/356.12 c [INC SEARCH] lower bound: 4097733 upperbound 5463643 current bound: 4780688 best value:5463643 355.99/356.12 c [INC SYSTEM] create new solver instance 355.99/356.12 c [INC] encode full formula 355.99/356.12 c fallback to adder encoding 355.99/356.18 c set iterative enc to: adder 355.99/356.18 c set iterative enc to: none 355.99/356.19 c [INC SEARCH] isOptimum variable: 0 426.28/426.47 c [INC SEARCH] formula is SAT 426.28/426.47 c [INC SEARCH] copied best model 426.28/426.47 c sat variable: 1 optimum/unsat variable: 0 426.28/426.48 c model valid 426.28/426.48 c current solution ok 426.28/426.48 o 4764424 426.28/426.48 c [INC SEARCH] current bound: 4431086 426.28/426.48 c [INC SEARCH] iteration: 6 426.28/426.48 c [INC SEARCH] lower bound: 4097733 upperbound 4764439 current bound: 4431086 best value:4764439 426.28/426.48 c [INC SYSTEM] there exists a inc, kill it! 426.28/426.48 c write failed with 2 426.28/426.48 c [INC SYSTEM] create new solver instance 426.28/426.48 c [INC] encode full formula 426.28/426.48 c fallback to adder encoding 426.40/426.54 c set iterative enc to: adder 426.40/426.54 c set iterative enc to: none 426.40/426.56 c [INC SEARCH] isOptimum variable: 0 730.83/731.09 c [INC SEARCH] formula is SAT 730.83/731.10 c [INC SEARCH] copied best model 730.94/731.10 c sat variable: 1 optimum/unsat variable: 0 730.94/731.11 c model valid 730.94/731.11 c current solution ok 730.94/731.11 o 4225708 730.94/731.11 c [INC SEARCH] current bound: 4161728 730.94/731.11 c [INC SEARCH] iteration: 7 730.94/731.11 c [INC SEARCH] lower bound: 4097733 upperbound 4225723 current bound: 4161728 best value:4225723 730.94/731.11 c [INC SYSTEM] there exists a inc, kill it! 730.94/731.11 c write failed with 2 730.94/731.11 c [INC SYSTEM] create new solver instance 730.94/731.11 c [INC] encode full formula 730.94/731.11 c fallback to adder encoding 730.94/731.17 c set iterative enc to: adder 730.94/731.17 c set iterative enc to: none 730.94/731.18 c [INC SEARCH] isOptimum variable: 0 941.10/941.39 c [INC SEARCH] formula is UNSAT 941.10/941.39 c [INC SYSTEM] there exists a inc, kill it! 941.10/941.39 c write failed with 2 941.10/941.39 c sat variable: 0 optimum/unsat variable: 1 941.10/941.39 c [INC SEARCH] set lower bound to 4161729 upperbound 4225723 941.10/941.39 c [INC SEARCH] current bound: 4193726 941.10/941.39 c [INC SEARCH] iteration: 8 941.10/941.39 c [INC SEARCH] lower bound: 4161729 upperbound 4225723 current bound: 4193726 best value:4225723 941.10/941.39 c [INC SYSTEM] create new solver instance 941.10/941.39 c [INC] encode full formula 941.10/941.39 c fallback to adder encoding 941.21/941.44 c set iterative enc to: adder 941.21/941.44 c set iterative enc to: none 941.21/941.46 c [INC SEARCH] isOptimum variable: 0 1065.47/1065.70 c [INC SEARCH] formula is UNSAT 1065.47/1065.70 c [INC SYSTEM] there exists a inc, kill it! 1065.47/1065.70 c write failed with 2 1065.47/1065.70 c sat variable: 0 optimum/unsat variable: 1 1065.47/1065.70 c [INC SEARCH] set lower bound to 4193727 upperbound 4225723 1065.47/1065.70 c [INC SEARCH] current bound: 4209725 1065.47/1065.70 c [INC SEARCH] iteration: 9 1065.47/1065.70 c [INC SEARCH] lower bound: 4193727 upperbound 4225723 current bound: 4209725 best value:4225723 1065.47/1065.70 c [INC SYSTEM] create new solver instance 1065.47/1065.70 c [INC] encode full formula 1065.47/1065.70 c fallback to adder encoding 1065.47/1065.76 c set iterative enc to: adder 1065.47/1065.76 c set iterative enc to: none 1065.47/1065.77 c [INC SEARCH] isOptimum variable: 0 1492.61/1492.92 c [INC SEARCH] formula is UNSAT 1492.61/1492.92 c [INC SYSTEM] there exists a inc, kill it! 1492.61/1492.92 c write failed with 2 1492.61/1492.92 c sat variable: 0 optimum/unsat variable: 1 1492.61/1492.92 c [INC SEARCH] set lower bound to 4209726 upperbound 4225723 1492.61/1492.92 c [INC SEARCH] current bound: 4217724 1492.61/1492.92 c [INC SEARCH] iteration: 10 1492.61/1492.92 c [INC SEARCH] lower bound: 4209726 upperbound 4225723 current bound: 4217724 best value:4225723 1492.61/1492.92 c [INC SYSTEM] create new solver instance 1492.61/1492.92 c [INC] encode full formula 1492.61/1492.92 c fallback to adder encoding 1492.61/1492.98 c set iterative enc to: adder 1492.61/1492.98 c set iterative enc to: none 1492.72/1493.00 c [INC SEARCH] isOptimum variable: 0 1800.07/1800.40 c an unexpexted return value has been received, exit 1800.07/1800.40 s UNKNOWN 1800.07/1800.40 c [INC SYSTEM] there exists a inc, kill it! 1800.07/1800.40 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-3748512-1339179258/watcher-3748512-1339179258 -o /tmp/evaluation-result-3748512-1339179258/solver-3748512-1339179258 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748512-1339179258.opb 71544150 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.00 2.00 2.00 3/178 28288 /proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [startup+0.0759479 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28288 /proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100213 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28288 /proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.30014 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28288 /proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700179 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28288 /proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28297 /proc/meminfo: memFree=28967148/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22528 CPUtime=0.53 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 5896 6912 0 0 14 6 31 2 20 0 1 0 384051268 23068672 4881 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5632 4881 184 442 0 5186 0 [pid=28297] ppid=28289 vsize=26356 CPUtime=0.93 cores=0,2,4,6 /proc/28297/stat : 28297 (glucosInc) R 28289 28288 27509 0 -1 4202496 5619 0 0 0 92 1 0 0 20 0 1 0 384051324 26988544 5462 33554432000 4194304 5654031 140736654886160 140736654883944 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28297/statm: 6589 5462 132 357 0 6229 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 58032 [startup+3.10023 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28297 /proc/meminfo: memFree=28966040/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22528 CPUtime=0.53 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 5896 6912 0 0 14 6 31 2 20 0 1 0 384051268 23068672 4881 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5632 4881 184 442 0 5186 0 [pid=28297] ppid=28289 vsize=26488 CPUtime=2.53 cores=0,2,4,6 /proc/28297/stat : 28297 (glucosInc) R 28289 28288 27509 0 -1 4202496 5968 0 0 0 252 1 0 0 20 0 1 0 384051324 27123712 5805 33554432000 4194304 5654031 140736654886160 140736654883944 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28297/statm: 6622 5805 132 357 0 6262 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 58164 [startup+6.30022 s] /proc/loadavg: 2.08 2.02 2.01 3/181 28297 /proc/meminfo: memFree=28962128/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22528 CPUtime=0.53 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 5896 6912 0 0 14 6 31 2 20 0 1 0 384051268 23068672 4881 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5632 4881 184 442 0 5186 0 [pid=28297] ppid=28289 vsize=26784 CPUtime=5.72 cores=0,2,4,6 /proc/28297/stat : 28297 (glucosInc) R 28289 28288 27509 0 -1 4202496 6890 0 0 0 571 1 0 0 20 0 1 0 384051324 27426816 5918 33554432000 4194304 5654031 140736654886160 140736654884184 4232607 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28297/statm: 6696 5918 132 357 0 6336 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 58460 [startup+12.7002 s] /proc/loadavg: 2.07 2.02 2.00 3/181 28301 /proc/meminfo: memFree=28967188/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=7.67 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 11065 20634 0 0 31 8 723 5 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28301] ppid=28289 vsize=22188 CPUtime=4.99 cores=0,2,4,6 /proc/28301/stat : 28301 (glucosInc) R 28289 28288 27509 0 -1 4202496 5555 0 0 0 498 1 0 0 20 0 1 0 384052037 22720512 4563 33554432000 4194304 5654031 140735203495008 140735203482824 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/28301/statm: 5547 4563 141 357 0 5187 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 54120 [startup+25.5003 s] /proc/loadavg: 2.06 2.02 2.00 3/181 28301 /proc/meminfo: memFree=28952968/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=7.67 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 11065 20634 0 0 31 8 723 5 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28301] ppid=28289 vsize=33564 CPUtime=17.78 cores=0,2,4,6 /proc/28301/stat : 28301 (glucosInc) R 28289 28288 27509 0 -1 4202496 6110 0 0 0 1777 1 0 0 20 0 1 0 384052037 34369536 7152 33554432000 4194304 5654031 140735203495008 140735203482824 4216684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28301/statm: 8391 7152 141 357 0 8031 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 65496 [startup+51.1003 s] /proc/loadavg: 2.04 2.01 2.00 3/181 28301 /proc/meminfo: memFree=28961508/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=7.67 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 11065 20634 0 0 31 8 723 5 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28301] ppid=28289 vsize=37984 CPUtime=43.38 cores=0,2,4,6 /proc/28301/stat : 28301 (glucosInc) R 28289 28288 27509 0 -1 4202496 7208 0 0 0 4336 2 0 0 20 0 1 0 384052037 38895616 8694 33554432000 4194304 5654031 140735203495008 140735203482824 4208621 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28301/statm: 9496 8694 141 357 0 9136 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 69916 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/180 28341 /proc/meminfo: memFree=27305548/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=102.26 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) R 28288 28288 27509 0 -1 4202496 12695 28833 0 0 37 8 10173 8 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206434576 5055511 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31932 [startup+162.3 s] /proc/loadavg: 2.26 2.09 2.03 3/181 28347 /proc/meminfo: memFree=21838640/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=102.69 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 14818 34545 0 0 43 9 10207 10 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28345] ppid=28289 vsize=40504 CPUtime=59.53 cores=0,2,4,6 /proc/28345/stat : 28345 (glucosInc) R 28289 28288 27509 0 -1 4202496 7250 0 0 0 5952 1 0 0 20 0 1 0 384061541 41476096 9269 33554432000 4194304 5654031 140736325798304 140736325786120 4232421 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28345/statm: 10126 9269 141 357 0 9766 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 72436 [startup+222.3 s] /proc/loadavg: 2.09 2.07 2.02 3/181 28350 /proc/meminfo: memFree=22264200/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=102.69 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 14818 34545 0 0 43 9 10207 10 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28345] ppid=28289 vsize=52104 CPUtime=119.53 cores=0,2,4,6 /proc/28345/stat : 28345 (glucosInc) R 28289 28288 27509 0 -1 4202496 9072 0 0 0 11951 2 0 0 20 0 1 0 384061541 53354496 11657 33554432000 4194304 5654031 140736325798304 140736325786120 4233280 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28345/statm: 13026 11657 141 357 0 12666 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 84036 [startup+282.3 s] /proc/loadavg: 2.03 2.06 2.02 3/181 28350 /proc/meminfo: memFree=22248540/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=22225880/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28368] ppid=28289 vsize=48060 CPUtime=176.49 cores=0,2,4,6 /proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 8219 0 0 0 17647 2 0 0 20 0 1 0 384157845 49213440 11173 33554432000 4194304 5654031 140735611373360 140735611371384 4233299 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28368/statm: 12015 11173 141 357 0 11655 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 79992 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28369 /proc/meminfo: memFree=22217032/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28368] ppid=28289 vsize=59664 CPUtime=236.48 cores=0,2,4,6 /proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 8234 0 0 0 23646 2 0 0 20 0 1 0 384157845 61095936 13232 33554432000 4194304 5654031 140735611373360 140735611361176 4232438 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28368/statm: 14916 13232 141 357 0 14556 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 91596 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28369 /proc/meminfo: memFree=22214204/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28368] ppid=28289 vsize=59664 CPUtime=296.46 cores=0,2,4,6 /proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 8451 0 0 0 29644 2 0 0 20 0 1 0 384157845 61095936 13960 33554432000 4194304 5654031 140735611373360 140735611361176 4216272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28368/statm: 14916 13960 141 357 0 14556 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 91596 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28370 /proc/meminfo: memFree=22205672/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28368] ppid=28289 vsize=90172 CPUtime=356.47 cores=0,2,4,6 /proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 9073 0 0 0 35644 3 0 0 20 0 1 0 384157845 92336128 15802 33554432000 4194304 5654031 140735611373360 140735611361176 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28368/statm: 22543 15802 141 357 0 22183 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 122104 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28370 /proc/meminfo: memFree=22201292/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28368] ppid=28289 vsize=90172 CPUtime=416.45 cores=0,2,4,6 /proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 9075 0 0 0 41642 3 0 0 20 0 1 0 384157845 92336128 16826 33554432000 4194304 5654031 140735611373360 140735611361176 4215121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28368/statm: 22543 16826 141 357 0 22183 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 122104 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/181 28372 /proc/meminfo: memFree=22233968/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28372] ppid=28289 vsize=37928 CPUtime=49.28 cores=0,2,4,6 /proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 6403 0 0 0 4927 1 0 0 20 0 1 0 384200567 38838272 8653 33554432000 4194304 5654031 140735435262416 140735435250232 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28372/statm: 9482 8653 141 357 0 9122 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 69860 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/182 28375 /proc/meminfo: memFree=22230332/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28372] ppid=28289 vsize=40648 CPUtime=109.27 cores=0,2,4,6 /proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 7098 0 0 0 10926 1 0 0 20 0 1 0 384200567 41623552 9333 33554432000 4194304 5654031 140735435262416 140735435250232 4216312 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28372/statm: 10162 9333 141 357 0 9802 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 72580 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/181 28375 /proc/meminfo: memFree=22219696/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28372] ppid=28289 vsize=64064 CPUtime=169.26 cores=0,2,4,6 /proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 8494 0 0 0 16924 2 0 0 20 0 1 0 384200567 65601536 11966 33554432000 4194304 5654031 140735435262416 140735435250232 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28372/statm: 16016 11966 141 357 0 15656 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 95996 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28376 /proc/meminfo: memFree=22202172/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28372] ppid=28289 vsize=82920 CPUtime=229.26 cores=0,2,4,6 /proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 8949 0 0 0 22923 3 0 0 20 0 1 0 384200567 84910080 16365 33554432000 4194304 5654031 140735435262416 140735435250232 4233213 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28372/statm: 20730 16365 141 357 0 20370 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 114852 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28376 /proc/meminfo: memFree=22191840/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28372] ppid=28289 vsize=82920 CPUtime=289.25 cores=0,2,4,6 /proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 9442 0 0 0 28922 3 0 0 20 0 1 0 384200567 84910080 18892 33554432000 4194304 5654031 140735435262416 140735435250232 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28372/statm: 20730 18892 141 357 0 20370 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 114852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/181 28376 /proc/meminfo: memFree=22191580/32873648 swapFree=7376/7376 [pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2287 274 233 213 0 72 0 [pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6 /proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/28289/statm: 5696 4883 185 442 0 5250 0 [pid=28372] ppid=28289 vsize=82920 CPUtime=307.35 cores=0,2,4,6 /proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 9442 0 0 0 30732 3 0 0 20 0 1 0 384200567 84910080 18892 33554432000 4194304 5654031 140735435262416 140735435250232 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28372/statm: 20730 18892 141 357 0 20370 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 114852 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.1 CPU user time (s): 1799.58 CPU system time (s): 0.518921 CPU usage (%): 99.9828 Max. virtual memory (cumulated for all children) (KiB): 126348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.518921 maximum resident set size= 78844 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134403 page faults= 0 swaps= 0 block input operations= 0 block output operations= 106528 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 551 involuntary context switches= 2000 runsolver used 4.86426 second user time and 8.76967 second system time The end
Begin job on node125 at 2012-06-08 20:14:18 IDJOB=3748512 IDBENCH=92790 IDSOLVER=2333 FILE ID=node125/3748512-1339179258 RUNJOBID= node125-1339170243-27525 PBS_JOBID= 14643842 Free space on /tmp= 70748 MiB SOLVER NAME= npSolver inc BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_4_ic.opb COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3748512-1339179258/watcher-3748512-1339179258 -o /tmp/evaluation-result-3748512-1339179258/solver-3748512-1339179258 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748512-1339179258.opb 71544150 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cc4ba8ab50e8cde73916f6bbebfc3143 RANDOM SEED=71544150 node125.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.373 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 : 5332.74 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.373 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.373 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.373 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.90 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.373 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.373 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 : 5438.54 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.373 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.373 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: 32873648 kB MemFree: 29013784 kB Buffers: 733000 kB Cached: 1976236 kB SwapCached: 1248 kB Active: 2458824 kB Inactive: 451856 kB Active(anon): 191508 kB Inactive(anon): 7424 kB Active(file): 2267316 kB Inactive(file): 444432 kB Unevictable: 7376 kB Mlocked: 7376 kB SwapTotal: 67108856 kB SwapFree: 67102600 kB Dirty: 8948 kB Writeback: 0 kB AnonPages: 289068 kB Mapped: 12736 kB Shmem: 96 kB Slab: 806620 kB SReclaimable: 250452 kB SUnreclaim: 556168 kB KernelStack: 1504 kB PageTables: 4376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 346000 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 194560 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= 69588 MiB End job on node125 at 2012-06-08 20:44:19