Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | ? (TO) | 1800.03 | 1800.52 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_0.opb |
| MD5SUM | d0955493ad3dd18776a949983101631a |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2908167 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 153130375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 41352812606 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 153130375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 41352812606 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.04 c old isEQ: 0, new EQ is 1 0.00/0.14 c old isEQ: 24, new EQ is 1 0.00/0.18 c old isEQ: 1, new EQ is 1 0.00/0.22 c run inc solver 0.00/0.22 c [INC SYSTEM] run initial solver 0.00/0.22 c [INC SYSTEM] preprocess with white file 2.21/2.48 c [INC SYSTEM] finished preprocessing in 2 s 2.21/2.48 c [INC SYSTEM] execute solver 46.19/46.45 c [INC SEARCH] formula is SAT 46.19/46.46 c [INC SYSTEM] solved the initial formula 46.19/46.47 c model valid 46.19/46.47 c current solution ok 46.59/46.89 o 211816791 46.59/46.89 c [INC SYSTEM] there exists a inc, kill it! 46.59/46.89 c write failed with 2 46.70/46.90 c [INC SEARCH] iteration: 0 46.70/46.90 c [INC BOUNDS] best value:211816841 search for 211816840 46.70/46.90 c [INC SYSTEM] create new solver instance 46.70/46.90 c [INC] encode full formula 46.70/46.90 c fallback to adder encoding 47.41/47.65 c set iterative enc to: adder 47.41/47.65 c set iterative enc to: none 47.52/47.77 c [INC SEARCH] isOptimum variable: 0 53.41/53.68 c formula is SAT 53.52/53.71 c [INC SEARCH] copied best model 53.52/53.71 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 53.52/53.72 c model valid 53.52/53.72 c current solution ok 53.52/53.72 o 120105449 53.52/53.72 c [INC SEARCH] iteration: 1 53.52/53.72 c [INC BOUNDS] best value:120105499 search for 120105498 53.52/53.72 c [INC SYSTEM] there exists a inc, kill it! 53.52/53.72 c write failed with 2 53.52/53.73 c [INC SYSTEM] create new solver instance 53.52/53.73 c [INC] encode full formula 53.52/53.73 c fallback to adder encoding 54.22/54.46 c set iterative enc to: adder 54.22/54.46 c set iterative enc to: none 54.32/54.59 c [INC SEARCH] isOptimum variable: 0 62.81/63.08 c formula is SAT 62.92/63.10 c [INC SEARCH] copied best model 62.92/63.10 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 62.92/63.12 c model valid 62.92/63.12 c current solution ok 62.92/63.12 o 116315553 62.92/63.12 c [INC SEARCH] iteration: 2 62.92/63.12 c [INC BOUNDS] best value:116315603 search for 116315602 62.92/63.12 c [INC SYSTEM] there exists a inc, kill it! 62.92/63.12 c write failed with 2 62.92/63.13 c [INC SYSTEM] create new solver instance 62.92/63.13 c [INC] encode full formula 62.92/63.13 c fallback to adder encoding 63.63/63.86 c set iterative enc to: adder 63.63/63.86 c set iterative enc to: none 63.72/63.98 c [INC SEARCH] isOptimum variable: 0 73.02/73.27 c formula is SAT 73.12/73.30 c [INC SEARCH] copied best model 73.12/73.30 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 73.12/73.31 c model valid 73.12/73.31 c current solution ok 73.12/73.31 o 114854901 73.12/73.31 c [INC SEARCH] iteration: 3 73.12/73.31 c [INC BOUNDS] best value:114854951 search for 114854950 73.12/73.31 c [INC SYSTEM] there exists a inc, kill it! 73.12/73.31 c write failed with 2 73.12/73.32 c [INC SYSTEM] create new solver instance 73.12/73.32 c [INC] encode full formula 73.12/73.32 c fallback to adder encoding 73.84/74.05 c set iterative enc to: adder 73.84/74.05 c set iterative enc to: none 73.93/74.18 c [INC SEARCH] isOptimum variable: 0 103.42/103.61 c formula is SAT 103.42/103.64 c [INC SEARCH] copied best model 103.42/103.64 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 103.42/103.65 c model valid 103.42/103.65 c current solution ok 103.42/103.65 o 20540307 103.42/103.65 c [INC SEARCH] iteration: 4 103.42/103.65 c [INC BOUNDS] best value:20540357 search for 20540356 103.42/103.65 c [INC SYSTEM] there exists a inc, kill it! 103.42/103.65 c write failed with 2 103.42/103.66 c [INC SYSTEM] create new solver instance 103.42/103.66 c [INC] encode full formula 103.42/103.66 c fallback to adder encoding 104.04/104.25 c set iterative enc to: adder 104.04/104.25 c set iterative enc to: none 104.14/104.36 c [INC SEARCH] isOptimum variable: 0 119.82/120.03 c formula is SAT 119.82/120.05 c [INC SEARCH] copied best model 119.82/120.05 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 119.82/120.07 c model valid 119.82/120.07 c current solution ok 119.82/120.07 o 12134359 119.82/120.07 c [INC SEARCH] iteration: 5 119.82/120.07 c [INC BOUNDS] best value:12134409 search for 12134408 119.82/120.07 c [INC SYSTEM] there exists a inc, kill it! 119.82/120.07 c write failed with 2 119.82/120.08 c [INC SYSTEM] create new solver instance 119.82/120.08 c [INC] encode full formula 119.82/120.08 c fallback to adder encoding 120.44/120.60 c set iterative enc to: adder 120.44/120.60 c set iterative enc to: none 120.44/120.69 c [INC SEARCH] isOptimum variable: 0 138.11/138.37 c formula is SAT 138.11/138.39 c [INC SEARCH] copied best model 138.11/138.39 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 138.22/138.41 c model valid 138.22/138.41 c current solution ok 138.22/138.41 o 10928709 138.22/138.41 c [INC SEARCH] iteration: 6 138.22/138.41 c [INC BOUNDS] best value:10928759 search for 10928758 138.22/138.41 c [INC SYSTEM] there exists a inc, kill it! 138.22/138.41 c write failed with 2 138.22/138.42 c [INC SYSTEM] create new solver instance 138.22/138.42 c [INC] encode full formula 138.22/138.42 c fallback to adder encoding 138.74/138.93 c set iterative enc to: adder 138.74/138.93 c set iterative enc to: none 138.85/139.02 c [INC SEARCH] isOptimum variable: 0 223.42/223.68 c formula is SAT 223.53/223.70 c [INC SEARCH] copied best model 223.53/223.70 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 223.53/223.71 c model valid 223.53/223.71 c current solution ok 223.53/223.71 o 8758655 223.53/223.71 c [INC SEARCH] iteration: 7 223.53/223.71 c [INC BOUNDS] best value:8758705 search for 8758704 223.53/223.71 c [INC SYSTEM] there exists a inc, kill it! 223.53/223.71 c write failed with 2 223.53/223.72 c [INC SYSTEM] create new solver instance 223.53/223.72 c [INC] encode full formula 223.53/223.72 c fallback to adder encoding 224.03/224.22 c set iterative enc to: adder 224.03/224.22 c set iterative enc to: none 224.13/224.31 c [INC SEARCH] isOptimum variable: 0 237.92/238.18 c formula is SAT 238.03/238.20 c [INC SEARCH] copied best model 238.03/238.20 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 238.03/238.22 c model valid 238.03/238.22 c current solution ok 238.03/238.22 o 8663189 238.03/238.22 c [INC SEARCH] iteration: 8 238.03/238.22 c [INC BOUNDS] best value:8663239 search for 8663238 238.03/238.22 c [INC SYSTEM] there exists a inc, kill it! 238.03/238.22 c write failed with 2 238.03/238.22 c [INC SYSTEM] create new solver instance 238.03/238.22 c [INC] encode full formula 238.03/238.22 c fallback to adder encoding 238.54/238.72 c set iterative enc to: adder 238.54/238.72 c set iterative enc to: none 238.64/238.81 c [INC SEARCH] isOptimum variable: 0 248.34/248.50 c formula is SAT 248.34/248.52 c [INC SEARCH] copied best model 248.34/248.52 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 248.34/248.54 c model valid 248.34/248.54 c current solution ok 248.34/248.54 o 8571437 248.34/248.54 c [INC SEARCH] iteration: 9 248.34/248.54 c [INC BOUNDS] best value:8571487 search for 8571486 248.34/248.54 c [INC SYSTEM] there exists a inc, kill it! 248.34/248.54 c write failed with 2 248.34/248.54 c [INC SYSTEM] create new solver instance 248.34/248.54 c [INC] encode full formula 248.34/248.54 c fallback to adder encoding 248.85/249.04 c set iterative enc to: adder 248.85/249.04 c set iterative enc to: none 248.95/249.13 c [INC SEARCH] isOptimum variable: 0 402.19/402.47 c formula is SAT 402.19/402.48 c [INC SEARCH] copied best model 402.19/402.48 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 402.19/402.50 c model valid 402.19/402.50 c current solution ok 402.19/402.50 o 7209241 402.19/402.50 c [INC SEARCH] iteration: 10 402.19/402.50 c [INC BOUNDS] best value:7209291 search for 7209290 402.19/402.50 c [INC SYSTEM] there exists a inc, kill it! 402.19/402.50 c write failed with 2 402.30/402.50 c [INC SYSTEM] create new solver instance 402.30/402.50 c [INC] encode full formula 402.30/402.50 c fallback to adder encoding 402.71/402.95 c set iterative enc to: adder 402.71/402.95 c set iterative enc to: none 402.79/403.04 c [INC SEARCH] isOptimum variable: 0 664.23/664.56 c formula is SAT 664.23/664.57 c [INC SEARCH] copied best model 664.23/664.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 664.23/664.59 c model valid 664.23/664.59 c current solution ok 664.23/664.59 o 7166207 664.23/664.59 c [INC SEARCH] iteration: 11 664.23/664.59 c [INC BOUNDS] best value:7166257 search for 7166256 664.23/664.59 c [INC SYSTEM] there exists a inc, kill it! 664.23/664.59 c write failed with 2 664.23/664.59 c [INC SYSTEM] create new solver instance 664.23/664.59 c [INC] encode full formula 664.23/664.59 c fallback to adder encoding 664.75/665.04 c set iterative enc to: adder 664.75/665.04 c set iterative enc to: none 664.85/665.11 c [INC SEARCH] isOptimum variable: 0 1366.61/1367.01 c formula is SAT 1366.61/1367.02 c [INC SEARCH] copied best model 1366.61/1367.02 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1366.61/1367.04 c model valid 1366.61/1367.04 c current solution ok 1366.61/1367.04 o 4331333 1366.61/1367.04 c [INC SEARCH] iteration: 12 1366.61/1367.04 c [INC BOUNDS] best value:4331383 search for 4331382 1366.61/1367.04 c [INC SYSTEM] there exists a inc, kill it! 1366.61/1367.04 c write failed with 2 1366.61/1367.05 c [INC SYSTEM] create new solver instance 1366.61/1367.05 c [INC] encode full formula 1366.61/1367.05 c fallback to adder encoding 1367.03/1367.45 c set iterative enc to: adder 1367.03/1367.45 c set iterative enc to: none 1367.13/1367.53 c [INC SEARCH] isOptimum variable: 0 1800.03/1800.51 HOME/npSolver-pbo-Itd.sh: line 18: 9371 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-3746889-1339109487/watcher-3746889-1339109487 -o /tmp/evaluation-result-3746889-1339109487/solver-3746889-1339109487 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746889-1339109487.opb 1346369982 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.20 2.07 2.01 3/180 9370 /proc/meminfo: memFree=29615412/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [startup+0.084442 s] /proc/loadavg: 2.20 2.07 2.01 3/180 9370 /proc/meminfo: memFree=29615412/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100309 s] /proc/loadavg: 2.20 2.07 2.01 3/180 9370 /proc/meminfo: memFree=29615412/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.30031 s] /proc/loadavg: 2.20 2.07 2.01 3/180 9370 /proc/meminfo: memFree=29615412/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700255 s] /proc/loadavg: 2.20 2.07 2.01 3/180 9370 /proc/meminfo: memFree=29615412/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50037 s] /proc/loadavg: 2.20 2.07 2.01 3/184 9374 /proc/meminfo: memFree=29508296/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=18804 CPUtime=0.22 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 6562 0 0 0 19 3 0 0 20 0 1 0 20915864 19255296 3529 33554432000 4194304 6004724 140735952525264 140735952519728 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/9371/statm: 4701 3529 164 442 0 4255 0 [pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9373/stat : 9373 (cp2_pre.sh) S 9371 9370 8001 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 20915886 9367552 276 33554432000 4194304 5064252 140733965041008 140733965039712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/9373/statm: 2287 276 234 213 0 72 0 [pid=9374] ppid=9373 vsize=83912 CPUtime=1.26 cores=1,3,5,7 /proc/9374/stat : 9374 (coprocessor) R 9373 9370 8001 0 -1 4202496 16148 0 0 0 123 3 0 0 20 0 1 0 20915887 85925888 20126 33554432000 4194304 6586260 140734218209408 140734218204664 5599298 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 /proc/9374/statm: 20978 20126 192 584 0 20390 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 121012 [startup+3.1003 s] /proc/loadavg: 2.20 2.07 2.01 2/184 9374 /proc/meminfo: memFree=29503320/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=18804 CPUtime=2.29 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 6580 18132 0 0 19 3 200 7 20 0 1 0 20915864 19255296 3532 33554432000 4194304 6004724 140735952525264 140735952511544 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/9371/statm: 4701 3532 167 442 0 4255 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 27952 heavy processes: [startup+6.30037 s] /proc/loadavg: 2.19 2.06 2.01 3/183 9376 /proc/meminfo: memFree=29543988/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=18804 CPUtime=2.29 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 6580 18132 0 0 19 3 200 7 20 0 1 0 20915864 19255296 3532 33554432000 4194304 6004724 140735952525264 140735952511544 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/9371/statm: 4701 3532 167 442 0 4255 0 [pid=9376] ppid=9371 vsize=80096 CPUtime=3.81 cores=1,3,5,7 /proc/9376/stat : 9376 (glucosInc) R 9371 9370 8001 0 -1 4202496 11362 0 0 0 377 4 0 0 20 0 1 0 20916112 82018304 17771 33554432000 4194304 5654031 140734846808080 140734846806008 4233455 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9376/statm: 20024 17771 132 357 0 19664 0 Current children cumulated CPU time (s) 6.1 Current children cumulated vsize (KiB) 108048 [startup+12.7004 s] /proc/loadavg: 2.17 2.06 2.01 3/183 9377 /proc/meminfo: memFree=29492780/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=18804 CPUtime=2.29 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 6580 18132 0 0 19 3 200 7 20 0 1 0 20915864 19255296 3532 33554432000 4194304 6004724 140735952525264 140735952511544 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/9371/statm: 4701 3532 167 442 0 4255 0 [pid=9376] ppid=9371 vsize=99800 CPUtime=10.21 cores=1,3,5,7 /proc/9376/stat : 9376 (glucosInc) R 9371 9370 8001 0 -1 4202496 12133 0 0 0 1015 6 0 0 20 0 1 0 20916112 102195200 24168 33554432000 4194304 5654031 140734846808080 140734846806168 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9376/statm: 24950 24168 132 357 0 24590 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 127752 [startup+25.5004 s] /proc/loadavg: 2.13 2.06 2.01 3/183 9377 /proc/meminfo: memFree=29502804/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=18804 CPUtime=2.29 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 6580 18132 0 0 19 3 200 7 20 0 1 0 20915864 19255296 3532 33554432000 4194304 6004724 140735952525264 140735952511544 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/9371/statm: 4701 3532 167 442 0 4255 0 [pid=9376] ppid=9371 vsize=99800 CPUtime=23.01 cores=1,3,5,7 /proc/9376/stat : 9376 (glucosInc) R 9371 9370 8001 0 -1 4202496 14271 0 0 0 2291 10 0 0 20 0 1 0 20916112 102195200 21081 33554432000 4194304 5654031 140734846808080 140734846806168 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9376/statm: 24950 21081 132 357 0 24590 0 Current children cumulated CPU time (s) 25.3 Current children cumulated vsize (KiB) 127752 [startup+51.1004 s] /proc/loadavg: 2.09 2.05 2.01 3/183 9380 /proc/meminfo: memFree=29352512/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=36028 CPUtime=47.59 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 12922 35803 0 0 104 48 4583 24 20 0 1 0 20915864 36892672 7853 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/9371/statm: 9007 7853 182 442 0 8561 0 [pid=9380] ppid=9371 vsize=181748 CPUtime=3.32 cores=1,3,5,7 /proc/9380/stat : 9380 (glucosInc) R 9371 9370 8001 0 -1 4202496 31289 0 0 0 324 8 0 0 20 0 1 0 20920641 186109952 38894 33554432000 4194304 5654031 140737044781088 140737044768904 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9380/statm: 45437 38894 141 357 0 45077 0 Current children cumulated CPU time (s) 50.91 Current children cumulated vsize (KiB) 226924 [startup+102.307 s] /proc/loadavg: 2.08 2.06 2.01 3/183 9386 /proc/meminfo: memFree=29368520/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=23204 CPUtime=74.01 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 31198 134133 0 0 336 81 6925 59 20 0 1 0 20915864 23760896 4680 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 5801 4680 183 442 0 5355 0 [pid=9386] ppid=9371 vsize=178408 CPUtime=28.11 cores=1,3,5,7 /proc/9386/stat : 9386 (glucosInc) R 9371 9370 8001 0 -1 4202496 34342 0 0 0 2798 13 0 0 20 0 1 0 20923282 182689792 38785 33554432000 4194304 5654031 140733336734096 140733336731880 4208659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/9386/statm: 44602 38785 141 357 0 44242 0 Current children cumulated CPU time (s) 102.12 Current children cumulated vsize (KiB) 210760 [startup+162.3 s] /proc/loadavg: 2.06 2.06 2.01 3/183 9392 /proc/meminfo: memFree=29421040/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=21248 CPUtime=138.87 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 47940 223914 0 0 511 106 13173 97 20 0 1 0 20915864 21757952 4191 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 5312 4191 183 442 0 4866 0 [pid=9392] ppid=9371 vsize=132244 CPUtime=23.27 cores=1,3,5,7 /proc/9392/stat : 9392 (glucosInc) R 9371 9370 8001 0 -1 4202496 24933 0 0 0 2320 7 0 0 20 0 1 0 20929766 135417856 29960 33554432000 4194304 5654031 140736776703488 140736776691304 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/9392/statm: 33061 29960 142 357 0 32701 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 162640 [startup+222.3 s] /proc/loadavg: 2.06 2.06 2.01 3/183 9392 /proc/meminfo: memFree=29397340/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=21248 CPUtime=138.87 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 47940 223914 0 0 511 106 13173 97 20 0 1 0 20915864 21757952 4191 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 5312 4191 183 442 0 4866 0 [pid=9392] ppid=9371 vsize=135172 CPUtime=83.25 cores=1,3,5,7 /proc/9392/stat : 9392 (glucosInc) R 9371 9370 8001 0 -1 4202496 26701 0 0 0 8317 8 0 0 20 0 1 0 20929766 138416128 31136 33554432000 4194304 5654031 140736776703488 140736776691304 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/9392/statm: 33793 31136 142 357 0 33433 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 165568 ################ # More data... # ################ /proc/loadavg: 2.00 2.01 2.00 3/183 9444 /proc/meminfo: memFree=29274000/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=664.87 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 74047 359711 0 0 765 145 65415 162 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9434] ppid=9371 vsize=287172 CPUtime=697.03 cores=1,3,5,7 /proc/9434/stat : 9434 (glucosInc) R 9371 9370 8001 0 -1 4202496 36644 0 0 0 69667 36 0 0 20 0 1 0 20982376 294064128 64683 33554432000 4194304 5654031 140733452566432 140733452554248 4215081 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/9434/statm: 71793 64683 141 357 0 71433 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 349724 [startup+1422.31 s] /proc/loadavg: 2.04 2.02 2.00 3/183 9446 /proc/meminfo: memFree=29424452/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=119448 CPUtime=54.74 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 23686 0 0 0 5468 6 0 0 20 0 1 0 21052617 122314752 26328 33554432000 4194304 5654031 140734764390960 140734764378776 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/9446/statm: 29862 26328 141 357 0 29502 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 182000 [startup+1482.3 s] /proc/loadavg: 2.09 2.03 2.01 3/183 9446 /proc/meminfo: memFree=29340844/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=199540 CPUtime=114.72 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 25106 0 0 0 11464 8 0 0 20 0 1 0 21052617 204328960 46053 33554432000 4194304 5654031 140734764390960 140734764378776 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/9446/statm: 49885 46053 141 357 0 49525 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 262092 [startup+1542.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 9447 /proc/meminfo: memFree=29377708/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=150220 CPUtime=174.71 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 25358 0 0 0 17461 10 0 0 20 0 1 0 21052617 153825280 36219 33554432000 4194304 5654031 140734764390960 140734764378776 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/9446/statm: 37555 36219 141 357 0 37195 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 212772 [startup+1602.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 9447 /proc/meminfo: memFree=29329180/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=230360 CPUtime=234.7 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 26201 0 0 0 23458 12 0 0 20 0 1 0 21052617 235888640 53288 33554432000 4194304 5654031 140734764390960 140734764389048 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/9446/statm: 57590 53288 141 357 0 57230 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 292912 [startup+1662.3 s] /proc/loadavg: 1.80 1.98 1.98 2/175 9472 /proc/meminfo: memFree=30636000/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=199540 CPUtime=294.69 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 26341 0 0 0 29455 14 0 0 20 0 1 0 21052617 204328960 48101 33554432000 4194304 5654031 140734764390960 140734764378776 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/9446/statm: 49885 48101 141 357 0 49525 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 262092 [startup+1722.3 s] /proc/loadavg: 1.33 1.81 1.92 2/176 9475 /proc/meminfo: memFree=30635016/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=230360 CPUtime=354.68 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 27644 0 0 0 35452 16 0 0 20 0 1 0 21052617 235888640 49192 33554432000 4194304 5654031 140734764390960 140734764389048 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/9446/statm: 57590 49192 141 357 0 57230 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 292912 [startup+1782.3 s] /proc/loadavg: 1.15 1.67 1.87 2/175 9475 /proc/meminfo: memFree=30636524/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=199540 CPUtime=414.66 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 27798 0 0 0 41449 17 0 0 20 0 1 0 21052617 204328960 47589 33554432000 4194304 5654031 140734764390960 140734764378776 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9446/statm: 49885 47589 141 357 0 49525 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 262092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.18 1.64 1.86 2/175 9475 /proc/meminfo: memFree=30598176/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=280448 CPUtime=432.86 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 29207 0 0 0 43267 19 0 0 20 0 1 0 21052617 287178752 57173 33554432000 4194304 5654031 140734764390960 140734764389048 4215121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9446/statm: 70112 57173 141 357 0 69752 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 343000 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.18 1.64 1.86 2/175 9475 /proc/meminfo: memFree=30598176/32873844 swapFree=7124/7124 [pid=9370] ppid=9368 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9370/stat : 9370 (npSolver-pbo-It) S 9368 9370 8001 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 20915864 9367552 275 33554432000 4194304 5064252 140736726754560 140736726753472 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9370/statm: 2287 275 233 213 0 72 0 [pid=9371] ppid=9370 vsize=53404 CPUtime=1367.17 cores=1,3,5,7 /proc/9371/stat : 9371 (npSolver-pbo) S 9370 9370 8001 0 -1 4202496 80687 396919 0 0 811 151 135553 202 20 0 1 0 20915864 54685696 12198 33554432000 4194304 6004724 140735952525264 140735952511112 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/9371/statm: 13351 12198 183 442 0 12905 0 [pid=9446] ppid=9371 vsize=280448 CPUtime=432.86 cores=1,3,5,7 /proc/9446/stat : 9446 (glucosInc) R 9371 9370 8001 0 -1 4202496 29207 0 0 0 43267 19 0 0 20 0 1 0 21052617 287178752 57173 33554432000 4194304 5654031 140734764390960 140734764389048 4215121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9446/statm: 70112 57173 141 357 0 69752 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 343000 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9370 and gives # childrusage.ru_utime.tv_sec=1363 # childrusage.ru_utime.tv_usec=647694 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=536462 # CPU time returned by wait4() is 1367.18 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1796.31 CPU system time (s): 3.72 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 399044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1363.65 system time used= 3.53646 maximum resident set size= 296024 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 477981 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1151512 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7351 involuntary context switches= 1886 runsolver used 3.9474 second user time and 8.77666 second system time The end
Begin job on node133 at 2012-06-08 00:51:29 IDJOB=3746889 IDBENCH=92760 IDSOLVER=2332 FILE ID=node133/3746889-1339109487 RUNJOBID= node133-1339098176-8018 PBS_JOBID= 14643720 Free space on /tmp= 70032 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_0.opb COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3746889-1339109487/watcher-3746889-1339109487 -o /tmp/evaluation-result-3746889-1339109487/solver-3746889-1339109487 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746889-1339109487.opb 1346369982 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0955493ad3dd18776a949983101631a RANDOM SEED=1346369982 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 : 2667.139 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.27 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.139 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.139 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.139 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.139 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.139 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.139 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 : 5332.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.139 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29615808 kB Buffers: 91624 kB Cached: 1426744 kB SwapCached: 4000 kB Active: 1433084 kB Inactive: 1029940 kB Active(anon): 942136 kB Inactive(anon): 4988 kB Active(file): 490948 kB Inactive(file): 1024952 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67100304 kB Dirty: 357332 kB Writeback: 0 kB AnonPages: 948948 kB Mapped: 10964 kB Shmem: 0 kB Slab: 651876 kB SReclaimable: 93128 kB SUnreclaim: 558748 kB KernelStack: 1464 kB PageTables: 5896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1311464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 380928 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= 70340 MiB End job on node133 at 2012-06-08 01:21:30