Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| npSolver inc | ? (TO) | 1800.07 | 1800.51 |
| Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__256.opb |
| MD5SUM | a048c41e885d13c7000ff4a85d8352bd |
| 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 | 46877 |
| Best CPU time to get the best result obtained on this benchmark | 3.3045 |
| 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 | 10258 |
| Total number of constraints | 60 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 42 |
| Number of constraints which are nor clauses,nor cardinality constraints | 18 |
| Minimum length of a constraint | 256 |
| Maximum length of a constraint | 2049 |
| Number of terms in the objective function | 10240 |
| Biggest coefficient in the objective function | 94409 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 446607872 |
| Number of bits of the sum of numbers in the objective function | 29 |
| Biggest number in a constraint | 94409 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 446607872 |
| Number of bits of the biggest sum of numbers | 29 |
| 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.09 c run inc solver 0.00/0.09 c [INC SYSTEM] run initial solver 0.00/0.09 c [INC SYSTEM] preprocess with white file 0.00/0.62 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.62 c [INC SYSTEM] execute solver 0.00/0.69 c [INC SEARCH] formula is SAT 0.00/0.69 c [INC SYSTEM] solved the initial formula 0.00/0.71 c model valid 0.00/0.71 c current solution ok 0.97/1.03 o 212091 0.97/1.03 c execute binary inc search 0.97/1.03 c [INC SEARCH] current bound: 106045 0.97/1.03 c [INC SEARCH] iteration: 0 0.97/1.03 c [INC SEARCH] lower bound: 0 upperbound 212091 current bound: 106045 best value:212091 0.97/1.03 c [INC SYSTEM] there exists a inc, kill it! 0.97/1.03 c write failed with 2 0.97/1.03 c [INC SYSTEM] create new solver instance 0.97/1.03 c [INC] encode full formula 0.97/1.03 c fallback to adder encoding 1.97/2.00 c set iterative enc to: adder 1.97/2.00 c set iterative enc to: none 2.08/2.12 c [INC SEARCH] isOptimum variable: 0 1096.89/1097.16 c [INC SEARCH] formula is SAT 1096.89/1097.18 c [INC SEARCH] copied best model 1096.89/1097.18 c sat variable: 1 optimum/unsat variable: 0 1097.00/1097.20 c model valid 1097.00/1097.20 c current solution ok 1097.00/1097.20 o 96359 1097.00/1097.20 c [INC SEARCH] current bound: 48179 1097.00/1097.20 c [INC SEARCH] iteration: 1 1097.00/1097.20 c [INC SEARCH] lower bound: 0 upperbound 96359 current bound: 48179 best value:96359 1097.00/1097.20 c [INC SYSTEM] there exists a inc, kill it! 1097.00/1097.20 c write failed with 2 1097.00/1097.21 c [INC SYSTEM] create new solver instance 1097.00/1097.21 c [INC] encode full formula 1097.00/1097.21 c fallback to adder encoding 1097.40/1097.66 c set iterative enc to: adder 1097.40/1097.66 c set iterative enc to: none 1097.50/1097.73 c [INC SEARCH] isOptimum variable: 0 1131.57/1131.87 c [INC SEARCH] formula is SAT 1131.57/1131.88 c [INC SEARCH] copied best model 1131.57/1131.88 c sat variable: 1 optimum/unsat variable: 0 1131.57/1131.89 c model valid 1131.57/1131.89 c current solution ok 1131.57/1131.89 o 46877 1131.57/1131.89 c [INC SEARCH] current bound: 23438 1131.57/1131.89 c [INC SEARCH] iteration: 2 1131.57/1131.89 c [INC SEARCH] lower bound: 0 upperbound 46877 current bound: 23438 best value:46877 1131.57/1131.89 c [INC SYSTEM] there exists a inc, kill it! 1131.57/1131.89 c write failed with 2 1131.57/1131.90 c [INC SYSTEM] create new solver instance 1131.57/1131.90 c [INC] encode full formula 1131.57/1131.90 c fallback to adder encoding 1131.88/1132.14 c set iterative enc to: adder 1131.88/1132.14 c set iterative enc to: none 1131.88/1132.18 c [INC SEARCH] isOptimum variable: 0 1131.97/1132.65 c [INC SEARCH] formula is UNSAT 1131.97/1132.65 c [INC SYSTEM] there exists a inc, kill it! 1131.97/1132.65 c write failed with 2 1131.97/1132.66 c sat variable: 0 optimum/unsat variable: 1 1131.97/1132.66 c [INC SEARCH] set lower bound to 23439 upperbound 46877 1131.97/1132.66 c [INC SEARCH] current bound: 35158 1131.97/1132.66 c [INC SEARCH] iteration: 3 1131.97/1132.66 c [INC SEARCH] lower bound: 23439 upperbound 46877 current bound: 35158 best value:46877 1131.97/1132.66 c [INC SYSTEM] create new solver instance 1131.97/1132.66 c [INC] encode full formula 1131.97/1132.66 c fallback to adder encoding 1132.79/1133.04 c set iterative enc to: adder 1132.79/1133.04 c set iterative enc to: none 1132.79/1133.09 c [INC SEARCH] isOptimum variable: 0 1143.96/1144.23 c [INC SEARCH] formula is UNSAT 1143.96/1144.23 c [INC SYSTEM] there exists a inc, kill it! 1143.96/1144.23 c write failed with 2 1143.96/1144.24 c sat variable: 0 optimum/unsat variable: 1 1143.96/1144.24 c [INC SEARCH] set lower bound to 35159 upperbound 46877 1143.96/1144.24 c [INC SEARCH] current bound: 41018 1143.96/1144.24 c [INC SEARCH] iteration: 4 1143.96/1144.24 c [INC SEARCH] lower bound: 35159 upperbound 46877 current bound: 41018 best value:46877 1143.96/1144.24 c [INC SYSTEM] create new solver instance 1143.96/1144.24 c [INC] encode full formula 1143.96/1144.24 c fallback to adder encoding 1144.37/1144.62 c set iterative enc to: adder 1144.37/1144.62 c set iterative enc to: none 1144.37/1144.68 c [INC SEARCH] isOptimum variable: 0 1192.15/1192.48 c [INC SEARCH] formula is UNSAT 1192.15/1192.48 c [INC SYSTEM] there exists a inc, kill it! 1192.15/1192.48 c write failed with 2 1192.15/1192.48 c sat variable: 0 optimum/unsat variable: 1 1192.15/1192.48 c [INC SEARCH] set lower bound to 41019 upperbound 46877 1192.15/1192.48 c [INC SEARCH] current bound: 43948 1192.15/1192.48 c [INC SEARCH] iteration: 5 1192.15/1192.48 c [INC SEARCH] lower bound: 41019 upperbound 46877 current bound: 43948 best value:46877 1192.15/1192.48 c [INC SYSTEM] create new solver instance 1192.15/1192.48 c [INC] encode full formula 1192.15/1192.48 c fallback to adder encoding 1192.55/1192.89 c set iterative enc to: adder 1192.55/1192.89 c set iterative enc to: none 1192.64/1192.95 c [INC SEARCH] isOptimum variable: 0 1284.82/1285.12 c [INC SEARCH] formula is UNSAT 1284.82/1285.12 c [INC SYSTEM] there exists a inc, kill it! 1284.82/1285.12 c write failed with 2 1284.82/1285.13 c sat variable: 0 optimum/unsat variable: 1 1284.82/1285.13 c [INC SEARCH] set lower bound to 43949 upperbound 46877 1284.82/1285.13 c [INC SEARCH] current bound: 45413 1284.82/1285.13 c [INC SEARCH] iteration: 6 1284.82/1285.13 c [INC SEARCH] lower bound: 43949 upperbound 46877 current bound: 45413 best value:46877 1284.82/1285.13 c [INC SYSTEM] create new solver instance 1284.82/1285.13 c [INC] encode full formula 1284.82/1285.13 c fallback to adder encoding 1285.24/1285.53 c set iterative enc to: adder 1285.24/1285.53 c set iterative enc to: none 1285.33/1285.60 c [INC SEARCH] isOptimum variable: 0 1414.99/1415.32 c [INC SEARCH] formula is UNSAT 1414.99/1415.32 c [INC SYSTEM] there exists a inc, kill it! 1414.99/1415.32 c write failed with 2 1414.99/1415.32 c sat variable: 0 optimum/unsat variable: 1 1414.99/1415.32 c [INC SEARCH] set lower bound to 45414 upperbound 46877 1414.99/1415.32 c [INC SEARCH] current bound: 46145 1414.99/1415.32 c [INC SEARCH] iteration: 7 1414.99/1415.32 c [INC SEARCH] lower bound: 45414 upperbound 46877 current bound: 46145 best value:46877 1414.99/1415.32 c [INC SYSTEM] create new solver instance 1414.99/1415.32 c [INC] encode full formula 1414.99/1415.32 c fallback to adder encoding 1415.41/1415.77 c set iterative enc to: adder 1415.41/1415.77 c set iterative enc to: none 1415.50/1415.84 c [INC SEARCH] isOptimum variable: 0 1474.67/1475.05 c [INC SEARCH] formula is UNSAT 1474.67/1475.05 c [INC SYSTEM] there exists a inc, kill it! 1474.67/1475.05 c write failed with 2 1474.67/1475.05 c sat variable: 0 optimum/unsat variable: 1 1474.67/1475.05 c [INC SEARCH] set lower bound to 46146 upperbound 46877 1474.67/1475.05 c [INC SEARCH] current bound: 46511 1474.67/1475.05 c [INC SEARCH] iteration: 8 1474.67/1475.05 c [INC SEARCH] lower bound: 46146 upperbound 46877 current bound: 46511 best value:46877 1474.67/1475.05 c [INC SYSTEM] create new solver instance 1474.67/1475.05 c [INC] encode full formula 1474.67/1475.05 c fallback to adder encoding 1475.18/1475.50 c set iterative enc to: adder 1475.18/1475.50 c set iterative enc to: none 1475.18/1475.57 c [INC SEARCH] isOptimum variable: 0 1595.14/1595.52 c [INC SEARCH] formula is UNSAT 1595.14/1595.52 c [INC SYSTEM] there exists a inc, kill it! 1595.14/1595.52 c write failed with 2 1595.14/1595.53 c sat variable: 0 optimum/unsat variable: 1 1595.14/1595.53 c [INC SEARCH] set lower bound to 46512 upperbound 46877 1595.14/1595.53 c [INC SEARCH] current bound: 46694 1595.14/1595.53 c [INC SEARCH] iteration: 9 1595.14/1595.53 c [INC SEARCH] lower bound: 46512 upperbound 46877 current bound: 46694 best value:46877 1595.14/1595.53 c [INC SYSTEM] create new solver instance 1595.14/1595.53 c [INC] encode full formula 1595.14/1595.53 c fallback to adder encoding 1595.54/1595.98 c set iterative enc to: adder 1595.54/1595.98 c set iterative enc to: none 1595.65/1596.04 c [INC SEARCH] isOptimum variable: 0 1686.81/1687.23 c [INC SEARCH] formula is UNSAT 1686.81/1687.23 c [INC SYSTEM] there exists a inc, kill it! 1686.81/1687.23 c write failed with 2 1686.81/1687.23 c sat variable: 0 optimum/unsat variable: 1 1686.81/1687.23 c [INC SEARCH] set lower bound to 46695 upperbound 46877 1686.81/1687.23 c [INC SEARCH] current bound: 46786 1686.81/1687.23 c [INC SEARCH] iteration: 10 1686.81/1687.23 c [INC SEARCH] lower bound: 46695 upperbound 46877 current bound: 46786 best value:46877 1686.81/1687.23 c [INC SYSTEM] create new solver instance 1686.81/1687.23 c [INC] encode full formula 1686.81/1687.23 c fallback to adder encoding 1687.22/1687.68 c set iterative enc to: adder 1687.22/1687.68 c set iterative enc to: none 1687.31/1687.75 c [INC SEARCH] isOptimum variable: 0 1793.27/1793.72 c [INC SEARCH] formula is UNSAT 1793.27/1793.72 c [INC SYSTEM] there exists a inc, kill it! 1793.27/1793.72 c write failed with 2 1793.27/1793.73 c sat variable: 0 optimum/unsat variable: 1 1793.27/1793.73 c [INC SEARCH] set lower bound to 46787 upperbound 46877 1793.27/1793.73 c [INC SEARCH] current bound: 46832 1793.27/1793.73 c [INC SEARCH] iteration: 11 1793.27/1793.73 c [INC SEARCH] lower bound: 46787 upperbound 46877 current bound: 46832 best value:46877 1793.27/1793.73 c [INC SYSTEM] create new solver instance 1793.27/1793.73 c [INC] encode full formula 1793.27/1793.73 c fallback to adder encoding 1793.69/1794.18 c set iterative enc to: adder 1793.69/1794.18 c set iterative enc to: none 1793.78/1794.24 c [INC SEARCH] isOptimum variable: 0 1800.07/1800.51 HOME/npSolver-pbo-I.sh: line 18: 5470 Terminated ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=1 -useCP2=1 -useInc=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-3699159-1338084690/watcher-3699159-1338084690 -o /tmp/evaluation-result-3699159-1338084690/solver-3699159-1338084690 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699159-1338084690.opb 622238539 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.04 2.03 2.00 3/178 5468 /proc/meminfo: memFree=25015032/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (runsolver) D 5466 5468 339 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 274595775 12095488 50 33554432000 4194304 5436572 140737078724448 140737078720744 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/5468/statm: 2953 50 31 304 0 2645 0 [startup+0.0833271 s] /proc/loadavg: 2.04 2.03 2.00 3/178 5468 /proc/meminfo: memFree=25015032/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100269 s] /proc/loadavg: 2.04 2.03 2.00 3/178 5468 /proc/meminfo: memFree=25015032/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300263 s] /proc/loadavg: 2.04 2.03 2.00 3/178 5468 /proc/meminfo: memFree=25015032/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.7002 s] /proc/loadavg: 2.04 2.03 2.00 3/178 5468 /proc/meminfo: memFree=25015032/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 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.04 2.03 2.00 4/181 5474 /proc/meminfo: memFree=24982368/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=55068 CPUtime=1.47 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) R 5468 5468 339 0 -1 4202496 8122 15317 0 0 59 30 55 3 20 0 1 0 274595776 56389632 12210 33554432000 4194304 5992684 140733441773680 140733441766552 4523451 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 13767 12210 188 440 0 13323 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 64216 [startup+3.10035 s] /proc/loadavg: 2.04 2.03 2.00 3/180 5476 /proc/meminfo: memFree=24815648/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=22300 CPUtime=2.1 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 9438 15833 0 0 110 41 55 4 20 0 1 0 274595776 22835200 5019 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 5575 5019 188 440 0 5131 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 31448 heavy processes: [startup+6.30039 s] /proc/loadavg: 2.04 2.03 2.00 3/181 5477 /proc/meminfo: memFree=24742372/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=22300 CPUtime=2.1 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 9438 15833 0 0 110 41 55 4 20 0 1 0 274595776 22835200 5019 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 5575 5019 188 440 0 5131 0 [pid=5477] ppid=5470 vsize=191180 CPUtime=4.16 cores=0,2,4,6 /proc/5477/stat : 5477 (glucosInc) R 5470 5468 339 0 -1 4202496 35974 0 0 0 408 8 0 0 20 0 1 0 274595987 195768320 44401 33554432000 4194304 5654031 140734976032320 140734976030104 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5477/statm: 47795 44401 141 357 0 47435 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 222628 [startup+12.7004 s] /proc/loadavg: 2.03 2.03 2.00 3/181 5477 /proc/meminfo: memFree=24746612/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=22300 CPUtime=2.1 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 9438 15833 0 0 110 41 55 4 20 0 1 0 274595776 22835200 5019 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 5575 5019 188 440 0 5131 0 [pid=5477] ppid=5470 vsize=191444 CPUtime=10.56 cores=0,2,4,6 /proc/5477/stat : 5477 (glucosInc) R 5470 5468 339 0 -1 4202496 36062 0 0 0 1048 8 0 0 20 0 1 0 274595987 196038656 44489 33554432000 4194304 5654031 140734976032320 140734976020136 4232767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5477/statm: 47861 44489 141 357 0 47501 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 222892 [startup+25.5004 s] /proc/loadavg: 2.03 2.03 2.00 3/181 5477 /proc/meminfo: memFree=24747240/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=22300 CPUtime=2.1 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 9438 15833 0 0 110 41 55 4 20 0 1 0 274595776 22835200 5019 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 5575 5019 188 440 0 5131 0 [pid=5477] ppid=5470 vsize=191588 CPUtime=23.36 cores=0,2,4,6 /proc/5477/stat : 5477 (glucosInc) R 5470 5468 339 0 -1 4202496 36064 0 0 0 2328 8 0 0 20 0 1 0 274595987 196186112 44491 33554432000 4194304 5654031 140734976032320 140734976030216 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5477/statm: 47897 44491 141 357 0 47537 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 223036 [startup+51.1004 s] /proc/loadavg: 2.02 2.03 2.00 3/181 5477 /proc/meminfo: memFree=24746620/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=22300 CPUtime=2.1 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 9438 15833 0 0 110 41 55 4 20 0 1 0 274595776 22835200 5019 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 5575 5019 188 440 0 5131 0 [pid=5477] ppid=5470 vsize=192144 CPUtime=48.96 cores=0,2,4,6 /proc/5477/stat : 5477 (glucosInc) R 5470 5468 339 0 -1 4202496 36206 0 0 0 4888 8 0 0 20 0 1 0 274595987 196755456 44633 33554432000 4194304 5654031 140734976032320 140734976030008 4215026 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5477/statm: 48036 44633 141 357 0 47676 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 223592 [startup+102.307 s] /proc/loadavg: 2.00 2.02 2.00 3/181 5477 /proc/meminfo: memFree=24735084/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=22300 CPUtime=2.1 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 9438 15833 0 0 110 41 55 4 20 0 1 0 274595776 22835200 5019 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 5575 5019 188 440 0 5131 0 [pid=5477] ppid=5470 vsize=199940 CPUtime=100.15 cores=0,2,4,6 /proc/5477/stat : 5477 (glucosInc) R 5470 5468 339 0 -1 4202496 37989 0 0 0 10007 8 0 0 20 0 1 0 274595987 204738560 47438 33554432000 4194304 5654031 140734976032320 140734976020136 4215028 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5477/statm: 49985 47438 142 357 0 49625 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 231388 [startup+162.3 s] /proc/loadavg: 2.06 2.03 2.00 3/181 5478 /proc/meminfo: memFree=24721256/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=22300 CPUtime=2.1 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 9438 15833 0 0 110 41 55 4 20 0 1 0 274595776 22835200 5019 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 5575 5019 188 440 0 5131 0 [pid=5477] ppid=5470 vsize=235264 CPUtime=160.14 cores=0,2,4,6 /proc/5477/stat : 5477 (glucosInc) R 5470 5468 339 0 -1 4202496 39765 0 0 0 16005 9 0 0 20 0 1 0 274595987 240910336 50732 33554432000 4194304 5654031 140734976032320 140734976020136 4215200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5477/statm: 58816 50732 142 357 0 58456 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 266712 [startup+222.3 s] /proc/loadavg: 2.02 2.02 2.00 3/181 5478 /proc/meminfo: memFree=24725680/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=22300 CPUtime=2.1 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 9438 15833 0 0 110 41 55 4 20 0 1 0 274595776 22835200 5019 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 5575 5019 188 440 0 5131 0 [pid=5477] ppid=5470 vsize=236432 CPUtime=220.13 cores=0,2,4,6 /proc/5477/stat : 5477 (glucosInc) R 5470 5468 339 0 -1 4202496 41066 0 0 0 22002 11 0 0 20 0 1 0 274595987 242106368 49539 33554432000 4194304 5654031 140734976032320 140734976020136 4215344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5477/statm: 59108 49539 142 357 0 58748 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 267880 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/181 5478 /proc/meminfo: memFree=24716064/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 ################ # More data... # ################ /proc/loadavg: 2.13 2.06 2.01 3/181 5592 /proc/meminfo: memFree=27786152/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1285.33 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 48551 167671 0 0 343 69 128063 58 20 0 1 0 274595776 49225728 11401 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11401 188 440 0 11574 0 [pid=5590] ppid=5470 vsize=140672 CPUtime=76.67 cores=0,2,4,6 /proc/5590/stat : 5590 (glucosInc) R 5470 5468 339 0 -1 4202496 22018 0 0 0 7661 6 0 0 20 0 1 0 274724335 144048128 32038 33554432000 4194304 5654031 140736661077712 140736661065528 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5590/statm: 35168 32038 142 357 0 34808 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 197892 [startup+1422.31 s] /proc/loadavg: 2.05 2.04 2.00 3/181 5594 /proc/meminfo: memFree=27814208/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1415.54 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 55467 190384 0 0 388 74 141025 67 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5594] ppid=5470 vsize=112792 CPUtime=6.44 cores=0,2,4,6 /proc/5594/stat : 5594 (glucosInc) R 5470 5468 339 0 -1 4202496 20569 0 0 0 641 3 0 0 20 0 1 0 274737359 115499008 23987 33554432000 4194304 5654031 140737301469936 140737301467544 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5594/statm: 28198 23987 141 357 0 27838 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 170012 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.00 3/181 5596 /proc/meminfo: memFree=27812384/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1475.25 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 62383 213853 0 0 433 80 146939 73 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5596] ppid=5470 vsize=113332 CPUtime=6.7 cores=0,2,4,6 /proc/5596/stat : 5596 (glucosInc) R 5470 5468 339 0 -1 4202496 21166 0 0 0 667 3 0 0 20 0 1 0 274743332 116051968 23803 33554432000 4194304 5654031 140735191868928 140735191866824 4214550 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5596/statm: 28333 23803 141 357 0 27973 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 170552 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/181 5596 /proc/meminfo: memFree=27807652/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1475.25 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 62383 213853 0 0 433 80 146939 73 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5596] ppid=5470 vsize=119064 CPUtime=66.7 cores=0,2,4,6 /proc/5596/stat : 5596 (glucosInc) R 5470 5468 339 0 -1 4202496 23266 0 0 0 6665 5 0 0 20 0 1 0 274743332 121921536 25481 33554432000 4194304 5654031 140735191868928 140735191856744 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5596/statm: 29766 25481 142 357 0 29406 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 176284 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/181 5598 /proc/meminfo: memFree=27807152/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1595.69 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 69300 238883 0 0 478 85 158925 81 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5598] ppid=5470 vsize=114672 CPUtime=6.23 cores=0,2,4,6 /proc/5598/stat : 5598 (glucosInc) R 5470 5468 339 0 -1 4202496 20964 0 0 0 619 4 0 0 20 0 1 0 274755380 117424128 24204 33554432000 4194304 5654031 140736985911856 140736985899672 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5598/statm: 28668 24204 141 357 0 28308 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 171892 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/181 5599 /proc/meminfo: memFree=27735092/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1595.69 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 69300 238883 0 0 478 85 158925 81 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5598] ppid=5470 vsize=180612 CPUtime=66.22 cores=0,2,4,6 /proc/5598/stat : 5598 (glucosInc) R 5470 5468 339 0 -1 4202496 23791 0 0 0 6616 6 0 0 20 0 1 0 274755380 184946688 38587 33554432000 4194304 5654031 140736985911856 140736985899672 4215061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5598/statm: 45153 38587 142 357 0 44793 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 237832 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/182 5604 /proc/meminfo: memFree=27768112/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1687.36 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 76217 263245 0 0 522 90 168034 90 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5601] ppid=5470 vsize=120296 CPUtime=34.53 cores=0,2,4,6 /proc/5601/stat : 5601 (glucosInc) R 5470 5468 339 0 -1 4202496 23741 0 0 0 3448 5 0 0 20 0 1 0 274764550 123183104 25486 33554432000 4194304 5654031 140736515912656 140736515900472 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5601/statm: 30074 25486 142 357 0 29714 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 177516 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/181 5604 /proc/meminfo: memFree=27733700/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1687.36 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 76217 263245 0 0 522 90 168034 90 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5601] ppid=5470 vsize=150796 CPUtime=94.51 cores=0,2,4,6 /proc/5601/stat : 5601 (glucosInc) R 5470 5468 339 0 -1 4202496 24844 0 0 0 9446 5 0 0 20 0 1 0 274764550 154415104 33980 33554432000 4194304 5654031 140736515912656 140736515900472 4208648 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5601/statm: 37699 33980 142 357 0 37339 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 208016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.06 2.02 2.00 3/181 5606 /proc/meminfo: memFree=27773328/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1793.83 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 83136 288614 0 0 568 95 178622 98 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5606] ppid=5470 vsize=114200 CPUtime=6.24 cores=0,2,4,6 /proc/5606/stat : 5606 (glucosInc) R 5470 5468 339 0 -1 4202496 20732 0 0 0 620 4 0 0 20 0 1 0 274775200 116940800 24178 33554432000 4194304 5654031 140733878736976 140733878724792 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5606/statm: 28550 24178 141 357 0 28190 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 171420 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.06 2.02 2.00 3/181 5606 /proc/meminfo: memFree=27773328/32873648 swapFree=6844/6844 [pid=5468] ppid=5466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5468/stat : 5468 (npSolver-pbo-I.) S 5466 5468 339 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595775 9367552 275 33554432000 4194304 5064252 140736818231360 140736818230272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5468/statm: 2287 275 233 213 0 72 0 [pid=5470] ppid=5468 vsize=48072 CPUtime=1793.83 cores=0,2,4,6 /proc/5470/stat : 5470 (npSolver-pbo) S 5468 5468 339 0 -1 4202496 83136 288614 0 0 568 95 178622 98 20 0 1 0 274595776 49225728 11481 33554432000 4194304 5992684 140733441773680 140733441758584 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5470/statm: 12018 11481 188 440 0 11574 0 [pid=5606] ppid=5470 vsize=114200 CPUtime=6.24 cores=0,2,4,6 /proc/5606/stat : 5606 (glucosInc) R 5470 5468 339 0 -1 4202496 20732 0 0 0 620 4 0 0 20 0 1 0 274775200 116940800 24178 33554432000 4194304 5654031 140733878736976 140733878724792 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5606/statm: 28550 24178 141 357 0 28190 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 171420 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5468 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=909588 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=941704 # CPU time returned by wait4() is 1793.85 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1798.1 CPU system time (s): 1.97 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 334268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.91 system time used= 1.9417 maximum resident set size= 283756 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 372125 page faults= 0 swaps= 0 block input operations= 0 block output operations= 804416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1385 involuntary context switches= 2293 runsolver used 2.6376 second user time and 7.2679 second system time The end
Begin job on node115 at 2012-05-27 04:11:30 IDJOB=3699159 IDBENCH=71888 IDSOLVER=2276 FILE ID=node115/3699159-1338084690 RUNJOBID= node115-1338051787-355 PBS_JOBID= 14624382 Free space on /tmp= 70552 MiB SOLVER NAME= npSolver inc BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__256.opb COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3699159-1338084690/watcher-3699159-1338084690 -o /tmp/evaluation-result-3699159-1338084690/solver-3699159-1338084690 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699159-1338084690.opb 622238539 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a048c41e885d13c7000ff4a85d8352bd RANDOM SEED=622238539 node115.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.462 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.92 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.462 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.462 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.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 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.92 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.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.462 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.462 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: 25015304 kB Buffers: 295740 kB Cached: 4209328 kB SwapCached: 0 kB Active: 4627260 kB Inactive: 2387456 kB Active(anon): 2512300 kB Inactive(anon): 0 kB Active(file): 2114960 kB Inactive(file): 2387456 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 8860 kB Writeback: 20 kB AnonPages: 2563532 kB Mapped: 15616 kB Shmem: 200 kB Slab: 701332 kB SReclaimable: 145412 kB SUnreclaim: 555920 kB KernelStack: 1456 kB PageTables: 9184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 3293520 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1744896 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= 71432 MiB End job on node115 at 2012-05-27 04:41:31