Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| npSolver inc-topDown | ? (TO) | 1800.07 | 1801.91 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb |
| MD5SUM | 99680d01aa100bfba038606e315bf03d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 486 |
| Best CPU time to get the best result obtained on this benchmark | 1792.84 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 431 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 497468 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 497468 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.38/1.41 c run inc solver 1.38/1.41 c [INC SYSTEM] run initial solver 1.38/1.41 c [INC SYSTEM] preprocess with white file 3.07/3.13 c [INC SYSTEM] finished preprocessing in 1 s 3.07/3.13 c [INC SYSTEM] execute solver 168.73/168.84 c [INC SEARCH] formula is SAT 168.73/168.84 c [INC SYSTEM] solved the initial formula 169.43/169.52 c model valid 169.43/169.52 c current solution ok 170.44/170.57 o 7469 170.44/170.57 c [INC SYSTEM] there exists a inc, kill it! 170.44/170.57 c write failed with 2 170.44/170.58 c [INC SEARCH] iteration: 0 170.44/170.58 c [INC BOUNDS] best value:7469 search for 7468 170.44/170.58 c [INC SYSTEM] create new solver instance 170.44/170.58 c [INC] encode full formula 170.44/170.58 c fallback to adder encoding 171.13/171.28 c set iterative enc to: adder 171.13/171.28 c set iterative enc to: none 171.24/171.39 c [INC SEARCH] isOptimum variable: 0 177.93/178.05 c formula is SAT 177.93/178.06 c [INC SEARCH] copied best model 177.93/178.06 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 178.64/178.74 c model valid 178.64/178.74 c current solution ok 178.64/178.74 o 7258 178.64/178.74 c [INC SEARCH] iteration: 1 178.64/178.74 c [INC BOUNDS] best value:7258 search for 7257 178.64/178.74 c [INC SYSTEM] there exists a inc, kill it! 178.64/178.74 c write failed with 2 178.64/178.75 c [INC SYSTEM] create new solver instance 178.64/178.75 c [INC] encode full formula 178.64/178.75 c fallback to adder encoding 179.33/179.44 c set iterative enc to: adder 179.33/179.44 c set iterative enc to: none 179.45/179.56 c [INC SEARCH] isOptimum variable: 0 182.32/182.50 c formula is SAT 182.43/182.51 c [INC SEARCH] copied best model 182.43/182.51 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 183.03/183.19 c model valid 183.03/183.19 c current solution ok 183.03/183.19 o 6792 183.03/183.19 c [INC SEARCH] iteration: 2 183.03/183.19 c [INC BOUNDS] best value:6792 search for 6791 183.03/183.19 c [INC SYSTEM] there exists a inc, kill it! 183.23/183.30 c write failed with 2 183.23/183.30 c [INC SYSTEM] create new solver instance 183.23/183.30 c [INC] encode full formula 183.23/183.30 c fallback to adder encoding 183.83/183.90 c set iterative enc to: adder 183.83/183.90 c set iterative enc to: none 183.95/184.30 c [INC SEARCH] isOptimum variable: 0 186.84/187.27 c formula is SAT 186.84/187.29 c [INC SEARCH] copied best model 186.84/187.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 187.55/187.97 c model valid 187.55/187.97 c current solution ok 187.55/187.97 o 6700 187.55/187.97 c [INC SEARCH] iteration: 3 187.55/187.97 c [INC BOUNDS] best value:6700 search for 6699 187.55/187.97 c [INC SYSTEM] there exists a inc, kill it! 187.55/187.97 c write failed with 2 187.55/187.98 c [INC SYSTEM] create new solver instance 187.55/187.98 c [INC] encode full formula 187.55/187.98 c fallback to adder encoding 188.26/188.68 c set iterative enc to: adder 188.26/188.68 c set iterative enc to: none 188.40/189.76 c [INC SEARCH] isOptimum variable: 0 253.57/254.91 c formula is SAT 253.57/254.93 c [INC SEARCH] copied best model 253.57/254.93 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 254.26/255.61 c model valid 254.26/255.61 c current solution ok 254.26/255.61 o 6654 254.26/255.61 c [INC SEARCH] iteration: 4 254.26/255.61 c [INC BOUNDS] best value:6654 search for 6653 254.26/255.61 c [INC SYSTEM] there exists a inc, kill it! 254.26/255.61 c write failed with 2 254.26/255.61 c [INC SYSTEM] create new solver instance 254.26/255.61 c [INC] encode full formula 254.26/255.61 c fallback to adder encoding 254.97/256.31 c set iterative enc to: adder 254.97/256.31 c set iterative enc to: none 255.06/256.43 c [INC SEARCH] isOptimum variable: 0 305.72/307.14 c formula is SAT 305.72/307.16 c [INC SEARCH] copied best model 305.72/307.16 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 306.43/307.85 c model valid 306.43/307.85 c current solution ok 306.43/307.85 o 6644 306.43/307.85 c [INC SEARCH] iteration: 5 306.43/307.85 c [INC BOUNDS] best value:6644 search for 6643 306.43/307.85 c [INC SYSTEM] there exists a inc, kill it! 306.43/307.85 c write failed with 2 306.43/307.85 c [INC SYSTEM] create new solver instance 306.43/307.85 c [INC] encode full formula 306.43/307.85 c fallback to adder encoding 307.14/308.55 c set iterative enc to: adder 307.14/308.55 c set iterative enc to: none 307.25/308.66 c [INC SEARCH] isOptimum variable: 0 325.24/326.70 c formula is SAT 325.33/326.71 c [INC SEARCH] copied best model 325.33/326.71 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 325.92/327.39 c model valid 325.92/327.39 c current solution ok 325.92/327.39 o 6451 325.92/327.39 c [INC SEARCH] iteration: 6 325.92/327.39 c [INC BOUNDS] best value:6451 search for 6450 325.92/327.39 c [INC SYSTEM] there exists a inc, kill it! 325.92/327.39 c write failed with 2 326.02/327.40 c [INC SYSTEM] create new solver instance 326.02/327.40 c [INC] encode full formula 326.02/327.40 c fallback to adder encoding 326.72/328.10 c set iterative enc to: adder 326.72/328.10 c set iterative enc to: none 326.82/328.22 c [INC SEARCH] isOptimum variable: 0 346.60/348.02 c formula is SAT 346.60/348.03 c [INC SEARCH] copied best model 346.60/348.04 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 347.31/348.72 c model valid 347.31/348.72 c current solution ok 347.31/348.72 o 6289 347.31/348.72 c [INC SEARCH] iteration: 7 347.31/348.72 c [INC BOUNDS] best value:6289 search for 6288 347.31/348.72 c [INC SYSTEM] there exists a inc, kill it! 347.31/348.72 c write failed with 2 347.31/348.73 c [INC SYSTEM] create new solver instance 347.31/348.73 c [INC] encode full formula 347.31/348.73 c fallback to adder encoding 348.00/349.42 c set iterative enc to: adder 348.00/349.42 c set iterative enc to: none 348.11/349.54 c [INC SEARCH] isOptimum variable: 0 488.35/489.80 c formula is SAT 488.35/489.82 c [INC SEARCH] copied best model 488.35/489.82 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 489.05/490.51 c model valid 489.05/490.51 c current solution ok 489.05/490.51 o 6278 489.05/490.51 c [INC SEARCH] iteration: 8 489.05/490.51 c [INC BOUNDS] best value:6278 search for 6277 489.05/490.51 c [INC SYSTEM] there exists a inc, kill it! 489.05/490.51 c write failed with 2 489.05/490.51 c [INC SYSTEM] create new solver instance 489.05/490.51 c [INC] encode full formula 489.05/490.51 c fallback to adder encoding 489.77/491.20 c set iterative enc to: adder 489.77/491.20 c set iterative enc to: none 489.87/491.33 c [INC SEARCH] isOptimum variable: 0 1045.61/1047.26 c formula is SAT 1045.61/1047.27 c [INC SEARCH] copied best model 1045.61/1047.27 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1046.31/1047.95 c model valid 1046.31/1047.95 c current solution ok 1046.31/1047.95 o 6217 1046.31/1047.95 c [INC SEARCH] iteration: 9 1046.31/1047.95 c [INC BOUNDS] best value:6217 search for 6216 1046.31/1047.95 c [INC SYSTEM] there exists a inc, kill it! 1046.31/1047.95 c write failed with 2 1046.31/1047.96 c [INC SYSTEM] create new solver instance 1046.31/1047.96 c [INC] encode full formula 1046.31/1047.96 c fallback to adder encoding 1047.01/1048.65 c set iterative enc to: adder 1047.01/1048.65 c set iterative enc to: none 1047.11/1048.77 c [INC SEARCH] isOptimum variable: 0 1559.26/1561.08 c formula is SAT 1559.26/1561.09 c [INC SEARCH] copied best model 1559.26/1561.09 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1559.97/1561.77 c model valid 1559.97/1561.77 c current solution ok 1559.97/1561.77 o 6214 1559.97/1561.77 c [INC SEARCH] iteration: 10 1559.97/1561.77 c [INC BOUNDS] best value:6214 search for 6213 1559.97/1561.77 c [INC SYSTEM] there exists a inc, kill it! 1559.97/1561.77 c write failed with 2 1559.97/1561.78 c [INC SYSTEM] create new solver instance 1559.97/1561.78 c [INC] encode full formula 1559.97/1561.78 c fallback to adder encoding 1560.67/1562.47 c set iterative enc to: adder 1560.67/1562.47 c set iterative enc to: none 1560.87/1562.60 c [INC SEARCH] isOptimum variable: 0 1740.80/1742.62 c formula is SAT 1740.80/1742.64 c [INC SEARCH] copied best model 1740.80/1742.64 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1741.50/1743.32 c model valid 1741.50/1743.32 c current solution ok 1741.50/1743.32 o 5837 1741.50/1743.32 c [INC SEARCH] iteration: 11 1741.50/1743.32 c [INC BOUNDS] best value:5837 search for 5836 1741.50/1743.32 c [INC SYSTEM] there exists a inc, kill it! 1741.50/1743.32 c write failed with 2 1741.50/1743.33 c [INC SYSTEM] create new solver instance 1741.50/1743.33 c [INC] encode full formula 1741.50/1743.33 c fallback to adder encoding 1742.22/1744.02 c set iterative enc to: adder 1742.22/1744.02 c set iterative enc to: none 1742.32/1744.14 c [INC SEARCH] isOptimum variable: 0 1800.07/1801.91 c [INC SYSTEM] an unexpexted return value has been received, exit 1800.07/1801.91 HOME/npSolver-pbo-Itd.sh: line 18: 10457 Terminated ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -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-3698037-1338054668/watcher-3698037-1338054668 -o /tmp/evaluation-result-3698037-1338054668/solver-3698037-1338054668 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698037-1338054668.opb 1032399088 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10456 /proc/meminfo: memFree=28640992/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [startup+0.0622749 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10456 /proc/meminfo: memFree=28640992/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100249 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10456 /proc/meminfo: memFree=28640992/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300215 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10456 /proc/meminfo: memFree=28640992/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700226 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10456 /proc/meminfo: memFree=28640992/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50038 s] /proc/loadavg: 2.00 2.00 2.00 3/182 10458 /proc/meminfo: memFree=28630784/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=21112 CPUtime=1.42 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 3578 0 0 0 138 4 0 0 20 0 1 0 271591655 21618688 3623 33554432000 4194304 5992684 140735976049312 140735976043760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 5278 3623 164 440 0 4834 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 30260 [startup+3.10034 s] /proc/loadavg: 2.00 2.00 2.00 3/184 10460 /proc/meminfo: memFree=28552888/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=21112 CPUtime=1.42 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 3578 0 0 0 138 4 0 0 20 0 1 0 271591655 21618688 3623 33554432000 4194304 5992684 140735976049312 140735976043760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 5278 3623 164 440 0 4834 0 [pid=10459] ppid=10457 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10459/stat : 10459 (cp2_pre.sh) S 10457 10456 9054 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 271591798 9367552 277 33554432000 4194304 5064252 140733808743680 140733808742384 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/10459/statm: 2287 277 234 213 0 72 0 [pid=10460] ppid=10459 vsize=63328 CPUtime=1.65 cores=1,3,5,7 /proc/10460/stat : 10460 (coprocessor) R 10459 10456 9054 0 -1 4202496 14013 0 0 0 161 4 0 0 20 0 1 0 271591798 64847872 15032 33554432000 4194304 6586260 140734904739408 140734904735432 5020122 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 /proc/10460/statm: 15832 15032 197 584 0 15244 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 102736 [startup+6.30038 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10462 /proc/meminfo: memFree=28561848/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=21112 CPUtime=3.11 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 3594 14917 0 0 138 4 164 5 20 0 1 0 271591655 21618688 3625 33554432000 4194304 5992684 140735976049312 140735976035576 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 5278 3625 166 440 0 4834 0 [pid=10462] ppid=10457 vsize=74160 CPUtime=3.15 cores=1,3,5,7 /proc/10462/stat : 10462 (glucosInc) R 10457 10456 9054 0 -1 4202496 10166 0 0 0 312 3 0 0 20 0 1 0 271591968 75939840 15803 33554432000 4194304 5654031 140735177922064 140735177919944 4215130 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10462/statm: 18540 15803 132 357 0 18180 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 104420 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10462 /proc/meminfo: memFree=28512080/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=21112 CPUtime=3.11 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 3594 14917 0 0 138 4 164 5 20 0 1 0 271591655 21618688 3625 33554432000 4194304 5992684 140735976049312 140735976035576 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 5278 3625 166 440 0 4834 0 [pid=10462] ppid=10457 vsize=74160 CPUtime=9.55 cores=1,3,5,7 /proc/10462/stat : 10462 (glucosInc) R 10457 10456 9054 0 -1 4202496 11448 0 0 0 950 5 0 0 20 0 1 0 271591968 75939840 17782 33554432000 4194304 5654031 140735177922064 140735177920088 4232973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10462/statm: 18540 17782 132 357 0 18180 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 104420 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10462 /proc/meminfo: memFree=28475348/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=21112 CPUtime=3.11 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 3594 14917 0 0 138 4 164 5 20 0 1 0 271591655 21618688 3625 33554432000 4194304 5992684 140735976049312 140735976035576 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 5278 3625 166 440 0 4834 0 [pid=10462] ppid=10457 vsize=74160 CPUtime=22.35 cores=1,3,5,7 /proc/10462/stat : 10462 (glucosInc) R 10457 10456 9054 0 -1 4202496 13121 0 0 0 2228 7 0 0 20 0 1 0 271591968 75939840 17782 33554432000 4194304 5654031 140735177922064 140735177920088 4218775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10462/statm: 18540 17782 132 357 0 18180 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 104420 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10462 /proc/meminfo: memFree=28371712/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=21112 CPUtime=3.11 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 3594 14917 0 0 138 4 164 5 20 0 1 0 271591655 21618688 3625 33554432000 4194304 5992684 140735976049312 140735976035576 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 5278 3625 166 440 0 4834 0 [pid=10462] ppid=10457 vsize=123480 CPUtime=47.94 cores=1,3,5,7 /proc/10462/stat : 10462 (glucosInc) R 10457 10456 9054 0 -1 4202496 15547 0 0 0 4782 12 0 0 20 0 1 0 271591968 126443520 27912 33554432000 4194304 5654031 140735177922064 140735177919992 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10462/statm: 30870 27912 132 357 0 30510 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 153740 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10462 /proc/meminfo: memFree=28504364/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=21112 CPUtime=3.11 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 3594 14917 0 0 138 4 164 5 20 0 1 0 271591655 21618688 3625 33554432000 4194304 5992684 140735976049312 140735976035576 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 5278 3625 166 440 0 4834 0 [pid=10462] ppid=10457 vsize=74160 CPUtime=99.14 cores=1,3,5,7 /proc/10462/stat : 10462 (glucosInc) R 10457 10456 9054 0 -1 4202496 21065 0 0 0 9892 22 0 0 20 0 1 0 271591968 75939840 17993 33554432000 4194304 5654031 140735177922064 140735177920088 4214977 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10462/statm: 18540 17993 132 357 0 18180 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 104420 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10462 /proc/meminfo: memFree=28323840/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=21112 CPUtime=3.11 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 3594 14917 0 0 138 4 164 5 20 0 1 0 271591655 21618688 3625 33554432000 4194304 5992684 140735976049312 140735976035576 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 5278 3625 166 440 0 4834 0 [pid=10462] ppid=10457 vsize=123480 CPUtime=159.12 cores=1,3,5,7 /proc/10462/stat : 10462 (glucosInc) R 10457 10456 9054 0 -1 4202496 26167 0 0 0 15880 32 0 0 20 0 1 0 271591968 126443520 28123 33554432000 4194304 5654031 140735177922064 140735177919992 4233012 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10462/statm: 30870 28123 132 357 0 30510 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 153740 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10472 /proc/meminfo: memFree=28286708/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30468 CPUtime=188.46 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 28765 137734 0 0 708 132 17925 81 20 0 1 0 271591655 31199232 6013 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7617 6013 183 440 0 7173 0 [pid=10471] ppid=10457 vsize=173004 CPUtime=32.51 cores=1,3,5,7 /proc/10471/stat : 10471 (glucosInc) R 10457 10456 9054 0 -1 4202496 32119 0 0 0 3242 9 0 0 20 0 1 0 271610631 177156096 39066 33554432000 4194304 5654031 140733921221376 140733921209192 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10471/statm: 43251 39066 141 357 0 42891 0 Current children cumulated CPU time (s) 220.97 Current children cumulated vsize (KiB) 212620 [startup+282.3 s] ################ # More data... # ################ /proc/loadavg: 2.07 2.02 2.00 3/183 10563 /proc/meminfo: memFree=28493748/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30468 CPUtime=1047.19 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 67472 370070 0 0 1540 197 102754 228 20 0 1 0 271591655 31199232 6013 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7617 6013 183 440 0 7173 0 [pid=10559] ppid=10457 vsize=215224 CPUtime=313.42 cores=1,3,5,7 /proc/10559/stat : 10559 (glucosInc) R 10457 10456 9054 0 -1 4202496 41671 0 0 0 31317 25 0 0 20 0 1 0 271696532 220389376 44637 33554432000 4194304 5654031 140735233481408 140735233469224 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10559/statm: 53806 44637 141 357 0 53446 0 Current children cumulated CPU time (s) 1360.61 Current children cumulated vsize (KiB) 254840 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/183 10563 /proc/meminfo: memFree=28496112/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30468 CPUtime=1047.19 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 67472 370070 0 0 1540 197 102754 228 20 0 1 0 271591655 31199232 6013 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7617 6013 183 440 0 7173 0 [pid=10559] ppid=10457 vsize=217204 CPUtime=373.41 cores=1,3,5,7 /proc/10559/stat : 10559 (glucosInc) R 10457 10456 9054 0 -1 4202496 43064 0 0 0 37314 27 0 0 20 0 1 0 271696532 222416896 46583 33554432000 4194304 5654031 140735233481408 140735233479096 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10559/statm: 54301 46583 141 357 0 53941 0 Current children cumulated CPU time (s) 1420.6 Current children cumulated vsize (KiB) 256820 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/183 10564 /proc/meminfo: memFree=28518756/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30468 CPUtime=1047.19 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 67472 370070 0 0 1540 197 102754 228 20 0 1 0 271591655 31199232 6013 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7617 6013 183 440 0 7173 0 [pid=10559] ppid=10457 vsize=218164 CPUtime=433.4 cores=1,3,5,7 /proc/10559/stat : 10559 (glucosInc) R 10457 10456 9054 0 -1 4202496 44302 0 0 0 43310 30 0 0 20 0 1 0 271696532 223399936 48885 33554432000 4194304 5654031 140735233481408 140735233469224 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10559/statm: 54541 48885 141 357 0 54181 0 Current children cumulated CPU time (s) 1480.59 Current children cumulated vsize (KiB) 257780 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10564 /proc/meminfo: memFree=28446092/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30468 CPUtime=1047.19 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 67472 370070 0 0 1540 197 102754 228 20 0 1 0 271591655 31199232 6013 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7617 6013 183 440 0 7173 0 [pid=10559] ppid=10457 vsize=220164 CPUtime=493.38 cores=1,3,5,7 /proc/10559/stat : 10559 (glucosInc) R 10457 10456 9054 0 -1 4202496 46147 0 0 0 49305 33 0 0 20 0 1 0 271696532 225447936 51465 33554432000 4194304 5654031 140735233481408 140735233469224 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10559/statm: 55041 51465 141 357 0 54681 0 Current children cumulated CPU time (s) 1540.57 Current children cumulated vsize (KiB) 259780 [startup+1602.3 s] /proc/loadavg: 2.05 2.01 2.00 3/183 10566 /proc/meminfo: memFree=28486964/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30472 CPUtime=1560.87 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 73924 417288 0 0 1678 208 153935 266 20 0 1 0 271591655 31203328 6014 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7618 6014 183 440 0 7174 0 [pid=10566] ppid=10457 vsize=173716 CPUtime=39.67 cores=1,3,5,7 /proc/10566/stat : 10566 (glucosInc) R 10457 10456 9054 0 -1 4202496 32447 0 0 0 3956 11 0 0 20 0 1 0 271747915 177885184 37983 33554432000 4194304 5654031 140735461422736 140735461410552 4216105 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10566/statm: 43429 37983 141 357 0 43069 0 Current children cumulated CPU time (s) 1600.54 Current children cumulated vsize (KiB) 213336 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 10566 /proc/meminfo: memFree=28533296/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30472 CPUtime=1560.87 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 73924 417288 0 0 1678 208 153935 266 20 0 1 0 271591655 31203328 6014 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7618 6014 183 440 0 7174 0 [pid=10566] ppid=10457 vsize=176552 CPUtime=99.67 cores=1,3,5,7 /proc/10566/stat : 10566 (glucosInc) R 10457 10456 9054 0 -1 4202496 33836 0 0 0 9953 14 0 0 20 0 1 0 271747915 180789248 40757 33554432000 4194304 5654031 140735461422736 140735461410552 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10566/statm: 44138 40757 141 357 0 43778 0 Current children cumulated CPU time (s) 1660.54 Current children cumulated vsize (KiB) 216172 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10566 /proc/meminfo: memFree=28491704/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30472 CPUtime=1560.87 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 73924 417288 0 0 1678 208 153935 266 20 0 1 0 271591655 31203328 6014 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7618 6014 183 440 0 7174 0 [pid=10566] ppid=10457 vsize=179900 CPUtime=159.64 cores=1,3,5,7 /proc/10566/stat : 10566 (glucosInc) R 10457 10456 9054 0 -1 4202496 36371 0 0 0 15948 16 0 0 20 0 1 0 271747915 184217600 41001 33554432000 4194304 5654031 140735461422736 140735461420424 4209118 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10566/statm: 44975 41001 141 357 0 44615 0 Current children cumulated CPU time (s) 1720.51 Current children cumulated vsize (KiB) 219520 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 10572 /proc/meminfo: memFree=28491520/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30468 CPUtime=1742.36 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 78840 454864 0 0 1816 218 171915 287 20 0 1 0 271591655 31199232 6013 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7617 6013 183 440 0 7173 0 [pid=10572] ppid=10457 vsize=173472 CPUtime=38.12 cores=1,3,5,7 /proc/10572/stat : 10572 (glucosInc) R 10457 10456 9054 0 -1 4202496 32394 0 0 0 3802 10 0 0 20 0 1 0 271766069 177635328 39951 33554432000 4194304 5654031 140734487672096 140734487659912 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10572/statm: 43368 39951 141 357 0 43008 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (KiB) 213088 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.9 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10572 /proc/meminfo: memFree=28501176/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30468 CPUtime=1742.36 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 78840 454864 0 0 1816 218 171915 287 20 0 1 0 271591655 31199232 6013 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7617 6013 183 440 0 7173 0 [pid=10572] ppid=10457 vsize=175188 CPUtime=57.71 cores=1,3,5,7 /proc/10572/stat : 10572 (glucosInc) R 10457 10456 9054 0 -1 4202496 33314 0 0 0 5761 10 0 0 20 0 1 0 271766069 179392512 39902 33554432000 4194304 5654031 140734487672096 140734487659912 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10572/statm: 43797 39902 141 357 0 43437 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 214804 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.9 s] /proc/loadavg: 2.00 2.00 2.00 3/183 10572 /proc/meminfo: memFree=28501176/32873844 swapFree=7364/7364 [pid=10456] ppid=10454 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/10456/stat : 10456 (npSolver-pbo-It) S 10454 10456 9054 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 271591655 9367552 275 33554432000 4194304 5064252 140735932945648 140735932944560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/10456/statm: 2287 275 233 213 0 72 0 [pid=10457] ppid=10456 vsize=30468 CPUtime=1742.36 cores=1,3,5,7 /proc/10457/stat : 10457 (npSolver-pbo) S 10456 10456 9054 0 -1 4202496 78840 454864 0 0 1816 218 171915 287 20 0 1 0 271591655 31199232 6013 33554432000 4194304 5992684 140735976049312 140735976035144 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/10457/statm: 7617 6013 183 440 0 7173 0 [pid=10572] ppid=10457 vsize=175188 CPUtime=57.71 cores=1,3,5,7 /proc/10572/stat : 10572 (glucosInc) R 10457 10456 9054 0 -1 4202496 33314 0 0 0 5761 10 0 0 20 0 1 0 271766069 179392512 39902 33554432000 4194304 5654031 140734487672096 140734487659912 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10572/statm: 43797 39902 141 357 0 43437 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 214804 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10456 and gives # childrusage.ru_utime.tv_sec=1737 # childrusage.ru_utime.tv_usec=319887 # childrusage.ru_stime.tv_sec=5 # childrusage.ru_stime.tv_usec=70229 # CPU time returned by wait4() is 1742.39 # 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): 1801.91 CPU time (s): 1800.07 CPU user time (s): 1794.92 CPU system time (s): 5.15 CPU usage (%): 99.8977 Max. virtual memory (cumulated for all children) (KiB): 442308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1737.32 system time used= 5.07023 maximum resident set size= 369548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 534084 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1397016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6087 involuntary context switches= 4338 runsolver used 6.43002 second user time and 12.918 second system time The end
Begin job on node133 at 2012-05-26 19:51:09 IDJOB=3698037 IDBENCH=1976 IDSOLVER=2275 FILE ID=node133/3698037-1338054668 RUNJOBID= node133-1338048810-9071 PBS_JOBID= 14624373 Free space on /tmp= 71512 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3698037-1338054668/watcher-3698037-1338054668 -o /tmp/evaluation-result-3698037-1338054668/solver-3698037-1338054668 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698037-1338054668.opb 1032399088 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d RANDOM SEED=1032399088 node133.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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 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.540 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.92 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.540 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.540 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.540 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28641372 kB Buffers: 291216 kB Cached: 2867896 kB SwapCached: 0 kB Active: 878716 kB Inactive: 2546068 kB Active(anon): 267904 kB Inactive(anon): 0 kB Active(file): 610812 kB Inactive(file): 2546068 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 24840 kB Writeback: 0 kB AnonPages: 401164 kB Mapped: 15844 kB Shmem: 212 kB Slab: 654924 kB SReclaimable: 97320 kB SUnreclaim: 557604 kB KernelStack: 1520 kB PageTables: 4596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 437044 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71520 MiB End job on node133 at 2012-05-26 20:21:11