Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown | ? (TO) | 1800.05 | 1801.21 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_8.opb |
| MD5SUM | 4bf433c60343e128a7fab53c33d88c45 |
| 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 | 3841241 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| 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 | 157464000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 48028849250 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 157464000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 48028849250 |
| 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.16 c run inc solver 0.00/0.16 c [INC SYSTEM] run initial solver 0.00/0.16 c [INC SYSTEM] preprocess with white file 1.08/1.18 c [INC SYSTEM] finished preprocessing in 1 s 1.08/1.18 c [INC SYSTEM] execute solver 1.17/1.33 c [INC SEARCH] formula is SAT 1.17/1.34 c [INC SYSTEM] solved the initial formula 1.17/1.35 c model valid 1.17/1.35 c current solution ok 1.54/1.72 o 75089175 1.54/1.72 c [INC SYSTEM] there exists a inc, kill it! 1.54/1.72 c write failed with 2 1.54/1.73 c [INC SEARCH] iteration: 0 1.54/1.73 c [INC BOUNDS] best value:75089225 search for 75089224 1.54/1.73 c [INC SYSTEM] create new solver instance 1.54/1.73 c [INC] encode full formula 1.54/1.73 c fallback to adder encoding 2.38/2.44 c set iterative enc to: adder 2.38/2.44 c set iterative enc to: none 2.47/2.56 c [INC SEARCH] isOptimum variable: 0 4.57/4.64 c formula is SAT 4.57/4.66 c [INC SEARCH] copied best model 4.57/4.66 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 4.57/4.68 c model valid 4.57/4.68 c current solution ok 4.57/4.68 o 23479447 4.57/4.68 c [INC SEARCH] iteration: 1 4.57/4.68 c [INC BOUNDS] best value:23479497 search for 23479496 4.57/4.68 c [INC SYSTEM] there exists a inc, kill it! 4.57/4.68 c write failed with 2 4.57/4.69 c [INC SYSTEM] create new solver instance 4.57/4.69 c [INC] encode full formula 4.57/4.69 c fallback to adder encoding 5.18/5.28 c set iterative enc to: adder 5.18/5.28 c set iterative enc to: none 5.30/6.05 c [INC SEARCH] isOptimum variable: 0 43.39/44.12 c formula is SAT 43.39/44.14 c [INC SEARCH] copied best model 43.39/44.14 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 43.39/44.16 c model valid 43.39/44.16 c current solution ok 43.39/44.16 o 21914757 43.39/44.16 c [INC SEARCH] iteration: 2 43.39/44.16 c [INC BOUNDS] best value:21914807 search for 21914806 43.39/44.16 c [INC SYSTEM] there exists a inc, kill it! 43.39/44.16 c write failed with 2 43.39/44.17 c [INC SYSTEM] create new solver instance 43.39/44.17 c [INC] encode full formula 43.39/44.17 c fallback to adder encoding 44.00/44.74 c set iterative enc to: adder 44.00/44.74 c set iterative enc to: none 44.09/44.84 c [INC SEARCH] isOptimum variable: 0 75.46/76.24 c formula is SAT 75.46/76.25 c [INC SEARCH] copied best model 75.46/76.25 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 75.46/76.27 c model valid 75.46/76.27 c current solution ok 75.46/76.27 o 14331703 75.46/76.27 c [INC SEARCH] iteration: 3 75.46/76.27 c [INC BOUNDS] best value:14331753 search for 14331752 75.46/76.27 c [INC SYSTEM] there exists a inc, kill it! 75.46/76.27 c write failed with 2 75.46/76.27 c [INC SYSTEM] create new solver instance 75.46/76.27 c [INC] encode full formula 75.46/76.27 c fallback to adder encoding 75.97/76.79 c set iterative enc to: adder 75.97/76.79 c set iterative enc to: none 76.06/76.88 c [INC SEARCH] isOptimum variable: 0 109.35/110.13 c formula is SAT 109.35/110.14 c [INC SEARCH] copied best model 109.35/110.14 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 109.35/110.16 c model valid 109.35/110.16 c current solution ok 109.35/110.16 o 14093801 109.35/110.16 c [INC SEARCH] iteration: 4 109.35/110.16 c [INC BOUNDS] best value:14093851 search for 14093850 109.35/110.16 c [INC SYSTEM] there exists a inc, kill it! 109.35/110.16 c write failed with 2 109.35/110.17 c [INC SYSTEM] create new solver instance 109.35/110.17 c [INC] encode full formula 109.35/110.17 c fallback to adder encoding 109.86/110.68 c set iterative enc to: adder 109.86/110.68 c set iterative enc to: none 109.95/110.77 c [INC SEARCH] isOptimum variable: 0 159.51/160.36 c formula is SAT 159.51/160.37 c [INC SEARCH] copied best model 159.51/160.38 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 159.51/160.39 c model valid 159.51/160.39 c current solution ok 159.51/160.39 o 13070323 159.51/160.39 c [INC SEARCH] iteration: 5 159.51/160.39 c [INC BOUNDS] best value:13070373 search for 13070372 159.51/160.39 c [INC SYSTEM] there exists a inc, kill it! 159.51/160.39 c write failed with 2 159.51/160.39 c [INC SYSTEM] create new solver instance 159.51/160.39 c [INC] encode full formula 159.51/160.39 c fallback to adder encoding 160.12/160.91 c set iterative enc to: adder 160.12/160.91 c set iterative enc to: none 160.21/161.00 c [INC SEARCH] isOptimum variable: 0 245.07/245.98 c formula is SAT 245.18/246.00 c [INC SEARCH] copied best model 245.18/246.00 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 245.18/246.01 c model valid 245.18/246.01 c current solution ok 245.18/246.01 o 8951591 245.18/246.01 c [INC SEARCH] iteration: 6 245.18/246.01 c [INC BOUNDS] best value:8951641 search for 8951640 245.18/246.01 c [INC SYSTEM] there exists a inc, kill it! 245.18/246.01 c write failed with 2 245.18/246.02 c [INC SYSTEM] create new solver instance 245.18/246.02 c [INC] encode full formula 245.18/246.02 c fallback to adder encoding 245.60/246.48 c set iterative enc to: adder 245.60/246.48 c set iterative enc to: none 245.70/246.57 c [INC SEARCH] isOptimum variable: 0 257.58/258.45 c formula is SAT 257.58/258.47 c [INC SEARCH] copied best model 257.58/258.47 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 257.58/258.48 c model valid 257.58/258.48 c current solution ok 257.58/258.48 o 8130159 257.58/258.48 c [INC SEARCH] iteration: 7 257.58/258.48 c [INC BOUNDS] best value:8130209 search for 8130208 257.58/258.48 c [INC SYSTEM] there exists a inc, kill it! 257.58/258.48 c write failed with 2 257.58/258.49 c [INC SYSTEM] create new solver instance 257.58/258.49 c [INC] encode full formula 257.58/258.49 c fallback to adder encoding 258.08/258.93 c set iterative enc to: adder 258.08/258.93 c set iterative enc to: none 258.19/259.01 c [INC SEARCH] isOptimum variable: 0 413.14/414.03 c formula is SAT 413.14/414.05 c [INC SEARCH] copied best model 413.14/414.05 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 413.14/414.06 c model valid 413.14/414.06 c current solution ok 413.14/414.06 o 7964877 413.14/414.06 c [INC SEARCH] iteration: 8 413.14/414.06 c [INC BOUNDS] best value:7964927 search for 7964926 413.14/414.06 c [INC SYSTEM] there exists a inc, kill it! 413.14/414.06 c write failed with 2 413.14/414.07 c [INC SYSTEM] create new solver instance 413.14/414.07 c [INC] encode full formula 413.14/414.07 c fallback to adder encoding 413.65/414.50 c set iterative enc to: adder 413.65/414.50 c set iterative enc to: none 413.65/414.58 c [INC SEARCH] isOptimum variable: 0 524.29/525.28 c formula is SAT 524.29/525.29 c [INC SEARCH] copied best model 524.29/525.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 524.41/525.31 c model valid 524.41/525.31 c current solution ok 524.41/525.31 o 7415637 524.41/525.31 c [INC SEARCH] iteration: 9 524.41/525.31 c [INC BOUNDS] best value:7415687 search for 7415686 524.41/525.31 c [INC SYSTEM] there exists a inc, kill it! 524.41/525.31 c write failed with 2 524.41/525.31 c [INC SYSTEM] create new solver instance 524.41/525.31 c [INC] encode full formula 524.41/525.31 c fallback to adder encoding 524.80/525.74 c set iterative enc to: adder 524.80/525.74 c set iterative enc to: none 524.92/525.81 c [INC SEARCH] isOptimum variable: 0 788.13/789.10 c formula is SAT 788.13/789.11 c [INC SEARCH] copied best model 788.13/789.11 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 788.13/789.13 c model valid 788.13/789.13 c current solution ok 788.13/789.13 o 5888175 788.13/789.13 c [INC SEARCH] iteration: 10 788.13/789.13 c [INC BOUNDS] best value:5888225 search for 5888224 788.13/789.13 c [INC SYSTEM] there exists a inc, kill it! 788.13/789.13 c write failed with 2 788.13/789.13 c [INC SYSTEM] create new solver instance 788.13/789.13 c [INC] encode full formula 788.13/789.13 c fallback to adder encoding 788.55/789.55 c set iterative enc to: adder 788.55/789.55 c set iterative enc to: none 788.65/789.62 c [INC SEARCH] isOptimum variable: 0 827.54/828.53 c formula is SAT 827.54/828.54 c [INC SEARCH] copied best model 827.54/828.54 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 827.54/828.56 c model valid 827.54/828.56 c current solution ok 827.54/828.56 o 5855567 827.54/828.56 c [INC SEARCH] iteration: 11 827.54/828.56 c [INC BOUNDS] best value:5855617 search for 5855616 827.54/828.56 c [INC SYSTEM] there exists a inc, kill it! 827.54/828.56 c write failed with 2 827.54/828.57 c [INC SYSTEM] create new solver instance 827.54/828.57 c [INC] encode full formula 827.54/828.57 c fallback to adder encoding 827.94/828.98 c set iterative enc to: adder 827.94/828.98 c set iterative enc to: none 828.03/829.05 c [INC SEARCH] isOptimum variable: 0 1036.27/1037.38 c formula is SAT 1036.27/1037.39 c [INC SEARCH] copied best model 1036.27/1037.39 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1036.38/1037.41 c model valid 1036.38/1037.41 c current solution ok 1036.38/1037.41 o 5762845 1036.38/1037.41 c [INC SEARCH] iteration: 12 1036.38/1037.41 c [INC BOUNDS] best value:5762895 search for 5762894 1036.38/1037.41 c [INC SYSTEM] there exists a inc, kill it! 1036.38/1037.41 c write failed with 2 1036.38/1037.41 c [INC SYSTEM] create new solver instance 1036.38/1037.41 c [INC] encode full formula 1036.38/1037.41 c fallback to adder encoding 1036.79/1037.83 c set iterative enc to: adder 1036.79/1037.83 c set iterative enc to: none 1036.87/1037.90 c [INC SEARCH] isOptimum variable: 0 1391.89/1393.04 c formula is SAT 1391.89/1393.05 c [INC SEARCH] copied best model 1391.89/1393.05 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 1391.89/1393.07 c model valid 1391.89/1393.07 c current solution ok 1391.89/1393.07 o 5110917 1391.89/1393.07 c [INC SEARCH] iteration: 13 1391.89/1393.07 c [INC BOUNDS] best value:5110967 search for 5110966 1391.89/1393.07 c [INC SYSTEM] there exists a inc, kill it! 1391.89/1393.07 c write failed with 2 1391.89/1393.07 c [INC SYSTEM] create new solver instance 1391.89/1393.07 c [INC] encode full formula 1391.89/1393.07 c fallback to adder encoding 1392.32/1393.48 c set iterative enc to: adder 1392.32/1393.48 c set iterative enc to: none 1392.40/1393.56 c [INC SEARCH] isOptimum variable: 0 1800.02/1801.21 c [INC SYSTEM] an unexpexted return value has been received, exit 1800.02/1801.21 s UNKNOWN 1800.02/1801.21 c [INC SYSTEM] there exists a inc, kill it! 1800.02/1801.21 c write failed with -1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3697737-1338130163/watcher-3697737-1338130163 -o /tmp/evaluation-result-3697737-1338130163/solver-3697737-1338130163 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697737-1338130163.opb 159720109 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.79 2.32 2.15 3/179 15729 /proc/meminfo: memFree=28933276/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [startup+0.0607899 s] /proc/loadavg: 2.79 2.32 2.15 3/179 15729 /proc/meminfo: memFree=28933276/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.202565 s] /proc/loadavg: 2.79 2.32 2.15 3/179 15729 /proc/meminfo: memFree=28933276/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300355 s] /proc/loadavg: 2.79 2.32 2.15 3/179 15729 /proc/meminfo: memFree=28933276/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700328 s] /proc/loadavg: 2.79 2.32 2.15 3/179 15729 /proc/meminfo: memFree=28933276/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50032 s] /proc/loadavg: 2.79 2.32 2.15 3/183 15733 /proc/meminfo: memFree=28836076/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=18244 CPUtime=1.33 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) R 15729 15729 14200 0 -1 4202496 4569 17904 0 0 21 11 88 13 20 0 1 0 279141351 18681856 3749 33554432000 4194304 5992684 140733349182864 140733349169128 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 4561 3749 181 440 0 4117 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 27392 [startup+3.10036 s] /proc/loadavg: 2.79 2.32 2.15 3/181 15736 /proc/meminfo: memFree=28864836/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=30208 CPUtime=2.53 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 9821 25886 0 0 98 38 102 15 20 0 1 0 279141351 30932992 6750 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 7552 6750 191 440 0 7108 0 Current children cumulated CPU time (s) 2.53 Current children cumulated vsize (KiB) 39356 [startup+6.30024 s] /proc/loadavg: 2.73 2.31 2.15 2/182 15739 /proc/meminfo: memFree=28820800/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=25000 CPUtime=5.36 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 16215 57361 0 0 159 48 301 28 20 0 1 0 279141351 25600000 5480 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 6250 5480 191 440 0 5806 0 Current children cumulated CPU time (s) 5.36 Current children cumulated vsize (KiB) 34148 [startup+12.7004 s] /proc/loadavg: 2.67 2.31 2.15 3/182 15740 /proc/meminfo: memFree=28735860/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=25000 CPUtime=5.36 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 16215 57361 0 0 159 48 301 28 20 0 1 0 279141351 25600000 5480 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 6250 5480 191 440 0 5806 0 [pid=15740] ppid=15730 vsize=148536 CPUtime=6.64 cores=1,3,5,7 /proc/15740/stat : 15740 (glucosInc) R 15730 15729 14200 0 -1 4202496 26885 0 0 0 656 8 0 0 20 0 1 0 279141956 152100864 31147 33554432000 4194304 5654031 140735365414480 140735365402296 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/15740/statm: 37134 31147 141 357 0 36774 0 Current children cumulated CPU time (s) 12 Current children cumulated vsize (KiB) 182684 [startup+25.5005 s] /proc/loadavg: 2.59 2.31 2.15 3/181 15740 /proc/meminfo: memFree=28732312/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=25000 CPUtime=5.36 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 16215 57361 0 0 159 48 301 28 20 0 1 0 279141351 25600000 5480 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 6250 5480 191 440 0 5806 0 [pid=15740] ppid=15730 vsize=148536 CPUtime=19.43 cores=1,3,5,7 /proc/15740/stat : 15740 (glucosInc) R 15730 15729 14200 0 -1 4202496 26921 0 0 0 1935 8 0 0 20 0 1 0 279141956 152100864 31689 33554432000 4194304 5654031 140735365414480 140735365402296 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/15740/statm: 37134 31689 142 357 0 36774 0 Current children cumulated CPU time (s) 24.79 Current children cumulated vsize (KiB) 182684 [startup+51.1005 s] /proc/loadavg: 2.47 2.30 2.15 3/182 15745 /proc/meminfo: memFree=28735816/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=24556 CPUtime=44.14 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 20949 85953 0 0 220 57 4097 40 20 0 1 0 279141351 25145344 5369 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 6139 5369 191 440 0 5695 0 [pid=15745] ppid=15730 vsize=134844 CPUtime=6.23 cores=1,3,5,7 /proc/15745/stat : 15745 (glucosInc) R 15730 15729 14200 0 -1 4202496 26273 0 0 0 617 6 0 0 20 0 1 0 279145835 138080256 30077 33554432000 4194304 5654031 140735759346304 140735759334120 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15745/statm: 33711 30077 141 357 0 33351 0 Current children cumulated CPU time (s) 50.37 Current children cumulated vsize (KiB) 168548 [startup+102.3 s] /proc/loadavg: 2.20 2.25 2.14 3/181 15747 /proc/meminfo: memFree=28752496/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=24200 CPUtime=76.16 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 24861 113066 0 0 276 65 7225 50 20 0 1 0 279141351 24780800 5280 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 6050 5280 191 440 0 5606 0 [pid=15747] ppid=15730 vsize=131508 CPUtime=25.39 cores=1,3,5,7 /proc/15747/stat : 15747 (glucosInc) R 15730 15729 14200 0 -1 4202496 26488 0 0 0 2532 7 0 0 20 0 1 0 279149039 134664192 28696 33554432000 4194304 5654031 140735497084208 140735497072024 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15747/statm: 32877 28696 142 357 0 32517 0 Current children cumulated CPU time (s) 101.55 Current children cumulated vsize (KiB) 164856 [startup+162.3 s] /proc/loadavg: 2.13 2.22 2.13 3/181 15751 /proc/meminfo: memFree=28750416/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=23980 CPUtime=160.22 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 32989 167747 0 0 385 82 15484 71 20 0 1 0 279141351 24555520 5225 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 5995 5225 191 440 0 5551 0 [pid=15751] ppid=15730 vsize=127660 CPUtime=1.28 cores=1,3,5,7 /proc/15751/stat : 15751 (glucosInc) R 15730 15729 14200 0 -1 4202496 23885 0 0 0 123 5 0 0 20 0 1 0 279157451 130723840 27192 33554432000 4194304 5654031 140736859188832 140736859176648 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15751/statm: 31915 27192 141 357 0 31555 0 Current children cumulated CPU time (s) 161.5 Current children cumulated vsize (KiB) 160788 [startup+222.307 s] /proc/loadavg: 2.05 2.17 2.12 3/181 15751 /proc/meminfo: memFree=28744224/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=23980 CPUtime=160.22 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 32989 167747 0 0 385 82 15484 71 20 0 1 0 279141351 24555520 5225 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 5995 5225 191 440 0 5551 0 [pid=15751] ppid=15730 vsize=133448 CPUtime=61.26 cores=1,3,5,7 /proc/15751/stat : 15751 (glucosInc) R 15730 15729 14200 0 -1 4202496 28414 0 0 0 6115 11 0 0 20 0 1 0 279157451 136650752 30165 33554432000 4194304 5654031 140736859188832 140736859176648 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15751/statm: 33362 30165 142 357 0 33002 0 Current children cumulated CPU time (s) 221.48 Current children cumulated vsize (KiB) 166576 [startup+282.3 s] /proc/loadavg: 2.08 2.16 2.12 3/181 15755 /proc/meminfo: memFree=28723308/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=258.2 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 42803 222465 0 0 484 95 25147 94 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15755] ppid=15730 vsize=118952 CPUtime=23.28 cores=1,3,5,7 ################ # More data... # ################ /proc/meminfo: memFree=28515276/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1036.88 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 70967 351028 0 0 715 123 102696 154 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15850] ppid=15730 vsize=197220 CPUtime=264.32 cores=1,3,5,7 /proc/15850/stat : 15850 (glucosInc) R 15730 15729 14200 0 -1 4202496 24291 0 0 0 26424 8 0 0 20 0 1 0 279245141 201953280 46939 33554432000 4194304 5654031 140737133715552 140737133703368 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15850/statm: 49305 46939 141 357 0 48945 0 Current children cumulated CPU time (s) 1301.2 Current children cumulated vsize (KiB) 262592 [startup+1362.3 s] /proc/loadavg: 2.04 2.03 2.04 3/181 15862 /proc/meminfo: memFree=28488944/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1036.88 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 70967 351028 0 0 715 123 102696 154 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15850] ppid=15730 vsize=197696 CPUtime=324.32 cores=1,3,5,7 /proc/15850/stat : 15850 (glucosInc) R 15730 15729 14200 0 -1 4202496 24768 0 0 0 32422 10 0 0 20 0 1 0 279245141 202440704 39796 33554432000 4194304 5654031 140737133715552 140737133713496 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15850/statm: 49424 39796 141 357 0 49064 0 Current children cumulated CPU time (s) 1361.2 Current children cumulated vsize (KiB) 263068 [startup+1422.3 s] /proc/loadavg: 2.01 2.03 2.03 3/181 15864 /proc/meminfo: memFree=28558616/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=116756 CPUtime=28.73 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 23018 0 0 0 2869 4 0 0 20 0 1 0 279280706 119558144 26905 33554432000 4194304 5654031 140733948116080 140733948103896 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 29189 26905 141 357 0 28829 0 Current children cumulated CPU time (s) 1421.2 Current children cumulated vsize (KiB) 182128 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.03 3/181 15864 /proc/meminfo: memFree=28527724/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=148760 CPUtime=88.7 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 24893 0 0 0 8864 6 0 0 20 0 1 0 279280706 152330240 33879 33554432000 4194304 5654031 140733948116080 140733948103896 4232922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 37190 33879 141 357 0 36830 0 Current children cumulated CPU time (s) 1481.17 Current children cumulated vsize (KiB) 214132 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.02 3/181 15864 /proc/meminfo: memFree=28500528/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=167732 CPUtime=148.69 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 25782 0 0 0 14861 8 0 0 20 0 1 0 279280706 171757568 36615 33554432000 4194304 5654031 140733948116080 140733948114024 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 41933 36615 141 357 0 41573 0 Current children cumulated CPU time (s) 1541.16 Current children cumulated vsize (KiB) 233104 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.02 3/181 15865 /proc/meminfo: memFree=28488140/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=148760 CPUtime=208.67 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 26591 0 0 0 20858 9 0 0 20 0 1 0 279280706 152330240 35611 33554432000 4194304 5654031 140733948116080 140733948103896 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 37190 35611 141 357 0 36830 0 Current children cumulated CPU time (s) 1601.14 Current children cumulated vsize (KiB) 214132 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.01 3/181 15865 /proc/meminfo: memFree=28509840/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=148760 CPUtime=268.67 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 26976 0 0 0 26857 10 0 0 20 0 1 0 279280706 152330240 35611 33554432000 4194304 5654031 140733948116080 140733948103896 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 37190 35611 141 357 0 36830 0 Current children cumulated CPU time (s) 1661.14 Current children cumulated vsize (KiB) 214132 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.01 3/181 15865 /proc/meminfo: memFree=28490048/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=198080 CPUtime=328.66 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 27746 0 0 0 32854 12 0 0 20 0 1 0 279280706 202833920 43658 33554432000 4194304 5654031 140733948116080 140733948103896 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 49520 43658 141 357 0 49160 0 Current children cumulated CPU time (s) 1721.13 Current children cumulated vsize (KiB) 263452 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/181 15865 /proc/meminfo: memFree=28396964/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=198080 CPUtime=388.65 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 28136 0 0 0 38852 13 0 0 20 0 1 0 279280706 202833920 43658 33554432000 4194304 5654031 140733948116080 140733948103896 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 49520 43658 141 357 0 49160 0 Current children cumulated CPU time (s) 1781.12 Current children cumulated vsize (KiB) 263452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 2.00 2.01 2.00 3/181 15865 /proc/meminfo: memFree=28400500/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=198080 CPUtime=407.55 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 28142 0 0 0 40742 13 0 0 20 0 1 0 279280706 202833920 46730 33554432000 4194304 5654031 140733948116080 140733948103896 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 49520 46730 141 357 0 49160 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 263452 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.2 s] /proc/loadavg: 2.00 2.01 2.00 3/181 15865 /proc/meminfo: memFree=28400500/32873844 swapFree=7116/7116 [pid=15729] ppid=15727 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15729/stat : 15729 (npSolver-pbo-It) S 15727 15729 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279141350 9367552 274 33554432000 4194304 5064252 140734408139680 140734408138592 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15729/statm: 2287 274 233 213 0 72 0 [pid=15730] ppid=15729 vsize=56224 CPUtime=1392.47 cores=1,3,5,7 /proc/15730/stat : 15730 (npSolver-pbo) S 15729 15729 14200 0 -1 4202496 76571 377277 0 0 760 129 138191 167 20 0 1 0 279141351 57573376 13254 33554432000 4194304 5992684 140733349182864 140733349168696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/15730/statm: 14056 13254 191 440 0 13612 0 [pid=15864] ppid=15730 vsize=198080 CPUtime=407.55 cores=1,3,5,7 /proc/15864/stat : 15864 (glucosInc) R 15730 15729 14200 0 -1 4202496 28142 0 0 0 40742 13 0 0 20 0 1 0 279280706 202833920 46730 33554432000 4194304 5654031 140733948116080 140733948103896 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15864/statm: 49520 46730 141 357 0 49160 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 263452 Child status: 0 Real time (s): 1801.21 CPU time (s): 1800.05 CPU user time (s): 1796.94 CPU system time (s): 3.10853 CPU usage (%): 99.9356 Max. virtual memory (cumulated for all children) (KiB): 293416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.94 system time used= 3.10853 maximum resident set size= 238720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 482369 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1099312 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7257 involuntary context switches= 3924 runsolver used 2.90556 second user time and 8.5697 second system time The end
Begin job on node138 at 2012-05-27 16:49:23 IDJOB=3697737 IDBENCH=92722 IDSOLVER=2275 FILE ID=node138/3697737-1338130163 RUNJOBID= node138-1338124125-14217 PBS_JOBID= 14624507 Free space on /tmp= 71452 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_8.opb COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3697737-1338130163/watcher-3697737-1338130163 -o /tmp/evaluation-result-3697737-1338130163/solver-3697737-1338130163 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697737-1338130163.opb 159720109 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4bf433c60343e128a7fab53c33d88c45 RANDOM SEED=159720109 node138.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.347 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.69 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.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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.91 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.347 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 : 2667.347 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 : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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.92 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.347 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: 28933548 kB Buffers: 416508 kB Cached: 2442300 kB SwapCached: 212 kB Active: 1105104 kB Inactive: 1938248 kB Active(anon): 175744 kB Inactive(anon): 11368 kB Active(file): 929360 kB Inactive(file): 1926880 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108644 kB Dirty: 9560 kB Writeback: 0 kB AnonPages: 213464 kB Mapped: 15684 kB Shmem: 200 kB Slab: 734160 kB SReclaimable: 175700 kB SUnreclaim: 558460 kB KernelStack: 1472 kB PageTables: 4616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 344480 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 161792 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= 71356 MiB End job on node138 at 2012-05-27 17:19:24