Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pb_cplex 2010-07-01 | OPTIMUM | 1525.57 | 400.914 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo |
MD5SUM | ca8c0bf53108e4446976d449224bf298 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 180.163 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 136368 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136367 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 727 |
Number of bits of the biggest sum of numbers | 10 |
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.01 c pb_cplex 1.0 - 20100701 0.00/0.01 c Parsing wbo file format. File HOME/instance-2697380-1278055514.wbo. 0.00/0.01 c Instance file HOME/instance-2697380-1278055514.wbo 0.00/0.01 c File size is 96773 bytes. 1.41/1.92 c Highest Coefficient sum: 727 1.41/1.92 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 1.41/1.92 c ============================[ Problem Statistics ]============================= 1.41/1.92 c | | 1.41/1.92 c | Parsing time: 1.43 s | 1.41/1.92 c | Number Variables: 2938 | 1.41/1.92 c | Number Constraints: 2708 | 1.41/1.92 c =============================================================================== 1525.54/400.91 c Remaining time 1798.57 sec. 1525.54/400.91 s OPTIMUM FOUND 1525.54/400.91 c Solution value = 1.00 1525.54/400.91 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 1525.54/400.91 c Total CPU time : 1511.74 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697380-1278055514/watcher-2697380-1278055514 -o /tmp/evaluation-result-2697380-1278055514/solver-2697380-1278055514 -C 1800 -W 2000 -M 3800 run HOME/instance-2697380-1278055514.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 5.94 7.24 4.39 11/187 27683 /proc/meminfo: memFree=29761156/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=8700 CPUtime=0 /proc/27683/stat : 27683 (run) R 27682 27682 25902 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 1 0 146846546 8908800 43 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816056725 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/27683/statm: 2175 43 3 178 0 68 0 [startup+0.038916 s] /proc/loadavg: 5.94 7.24 4.39 11/187 27683 /proc/meminfo: memFree=29761156/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=12968 CPUtime=0.01 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 430 0 0 0 1 0 0 0 24 0 1 0 146846546 13279232 384 4089446400 134512640 146736320 4288235760 18446744073709551615 140528748 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/27683/statm: 3242 384 289 2985 0 152 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 21668 [startup+0.100928 s] /proc/loadavg: 5.94 7.24 4.39 11/187 27683 /proc/meminfo: memFree=29761156/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=13100 CPUtime=0.08 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 466 0 0 0 8 0 0 0 24 0 1 0 146846546 13414400 420 4089446400 134512640 146736320 4288235760 18446744073709551615 140528645 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/27683/statm: 3275 420 292 2985 0 185 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 21800 [startup+0.337866 s] /proc/loadavg: 5.94 7.24 4.39 11/187 27683 /proc/meminfo: memFree=29761156/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=13236 CPUtime=0.24 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 519 0 0 0 24 0 0 0 25 0 1 0 146846546 13553664 473 4089446400 134512640 146736320 4288235760 18446744073709551615 140684755 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27683/statm: 3309 473 296 2985 0 219 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 21936 [startup+0.763456 s] /proc/loadavg: 5.94 7.24 4.39 11/187 27683 /proc/meminfo: memFree=29761156/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=13504 CPUtime=0.39 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 560 0 0 0 39 0 0 0 25 0 1 0 146846546 13828096 514 4089446400 134512640 146736320 4288235760 18446744073709551615 140714073 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27683/statm: 3376 514 298 2985 0 286 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 22204 [startup+1.52834 s] /proc/loadavg: 5.94 7.24 4.39 11/188 27684 /proc/meminfo: memFree=29759296/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=13808 CPUtime=1.03 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 661 0 0 0 103 0 0 0 25 0 1 0 146846546 14139392 615 4089446400 134512640 146736320 4288235760 18446744073709551615 140714076 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27683/statm: 3452 615 306 2985 0 362 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 22508 [startup+3.10239 s] /proc/loadavg: 5.94 7.24 4.39 11/195 27691 /proc/meminfo: memFree=29734936/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=134712 CPUtime=3.66 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 18142 0 0 0 361 5 0 0 15 0 8 0 146846546 137945088 11310 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/27683/statm: 33678 11310 1047 2985 0 30220 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 143412 [startup+6.30076 s] /proc/loadavg: 5.63 7.16 4.37 10/195 27733 /proc/meminfo: memFree=29716220/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=126808 CPUtime=6.18 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 21328 0 0 0 611 7 0 0 19 0 8 0 146846546 129851392 9931 4089446400 134512640 146736320 4288235760 18446744073709551615 136008168 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/27683/statm: 31702 9931 1085 2985 0 28244 0 [pid=27683/tid=27727] ppid=27682 vsize=126808 CPUtime=0 /proc/27683/task/27727/stat : 27727 (pb_cplex) S 27682 27682 25902 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 8 0 146846977 129851392 9931 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27728] ppid=27682 vsize=126808 CPUtime=0 /proc/27683/task/27728/stat : 27728 (pb_cplex) S 27682 27682 25902 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 8 0 146846977 129851392 9931 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 5 0 0 0 [pid=27683/tid=27729] ppid=27682 vsize=126808 CPUtime=0 /proc/27683/task/27729/stat : 27729 (pb_cplex) S 27682 27682 25902 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 8 0 146846977 129851392 9931 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27730] ppid=27682 vsize=126808 CPUtime=0 /proc/27683/task/27730/stat : 27730 (pb_cplex) S 27682 27682 25902 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 8 0 146846977 129851392 9931 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 6 0 0 0 [pid=27683/tid=27731] ppid=27682 vsize=126808 CPUtime=0 /proc/27683/task/27731/stat : 27731 (pb_cplex) S 27682 27682 25902 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 8 0 146846977 129851392 9931 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27732] ppid=27682 vsize=126808 CPUtime=0 /proc/27683/task/27732/stat : 27732 (pb_cplex) S 27682 27682 25902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 8 0 146846977 129851392 9931 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 5 0 0 0 [pid=27683/tid=27733] ppid=27682 vsize=126808 CPUtime=0 /proc/27683/task/27733/stat : 27733 (pb_cplex) S 27682 27682 25902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 8 0 146846977 129851392 9931 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 135508 [startup+12.7026 s] /proc/loadavg: 5.90 7.19 4.40 9/195 27733 /proc/meminfo: memFree=29704448/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=140120 CPUtime=30.24 /proc/27683/stat : 27683 (pb_cplex) S 27682 27682 25902 0 -1 4202496 30147 0 0 0 2996 28 0 0 15 0 8 0 146846546 143482880 13000 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 /proc/27683/statm: 35030 13000 1084 2985 0 31572 0 [pid=27683/tid=27727] ppid=27682 vsize=140120 CPUtime=2.78 /proc/27683/task/27727/stat : 27727 (pb_cplex) S 27682 27682 25902 0 -1 4202560 209 0 0 0 276 2 0 0 15 0 8 0 146846977 143482880 13000 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 7 0 0 0 [pid=27683/tid=27728] ppid=27682 vsize=140120 CPUtime=2.82 /proc/27683/task/27728/stat : 27728 (pb_cplex) R 27682 27682 25902 0 -1 4202560 1271 0 0 0 280 2 0 0 15 0 8 0 146846977 143482880 13000 4089446400 134512640 146736320 4288235760 18446744073709551615 136006238 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=27683/tid=27729] ppid=27682 vsize=140120 CPUtime=2.9 /proc/27683/task/27729/stat : 27729 (pb_cplex) R 27682 27682 25902 0 -1 4202560 2753 0 0 0 288 2 0 0 15 0 8 0 146846977 143482880 13000 4089446400 134512640 146736320 4288235760 18446744073709551615 136006363 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=27683/tid=27730] ppid=27682 vsize=140120 CPUtime=3.44 /proc/27683/task/27730/stat : 27730 (pb_cplex) S 27682 27682 25902 0 -1 4202560 40 0 0 0 342 2 0 0 15 0 8 0 146846977 143482880 13000 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 7 0 0 0 [pid=27683/tid=27731] ppid=27682 vsize=140120 CPUtime=3.04 /proc/27683/task/27731/stat : 27731 (pb_cplex) R 27682 27682 25902 0 -1 4202560 510 0 0 0 302 2 0 0 15 0 8 0 146846977 143482880 13000 4089446400 134512640 146736320 4288235760 18446744073709551615 136017763 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=27683/tid=27732] ppid=27682 vsize=140120 CPUtime=3.08 /proc/27683/task/27732/stat : 27732 (pb_cplex) R 27682 27682 25902 0 -1 4202560 376 0 0 0 307 1 0 0 15 0 8 0 146846977 143482880 13000 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=27683/tid=27733] ppid=27682 vsize=140120 CPUtime=2.79 /proc/27683/task/27733/stat : 27733 (pb_cplex) R 27682 27682 25902 0 -1 4202560 483 0 0 0 277 2 0 0 15 0 8 0 146846977 143482880 13000 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 30.24 Current children cumulated vsize (KiB) 148820 [startup+25.5012 s] /proc/loadavg: 6.89 7.34 4.49 8/195 27740 /proc/meminfo: memFree=29697296/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=141336 CPUtime=74.88 /proc/27683/stat : 27683 (pb_cplex) D 27682 27682 25902 0 -1 4202496 38757 0 0 0 7416 72 0 0 16 0 8 0 146846546 144728064 13131 4089446400 134512640 146736320 4288235760 18446744073709551615 144580846 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/27683/statm: 35334 13131 1086 2985 0 31876 0 [pid=27683/tid=27727] ppid=27682 vsize=141336 CPUtime=8.29 /proc/27683/task/27727/stat : 27727 (pb_cplex) D 27682 27682 25902 0 -1 4202560 703 0 0 0 823 6 0 0 16 0 8 0 146846977 144728064 13131 4089446400 134512640 146736320 4288235760 18446744073709551615 144580332 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=27683/tid=27728] ppid=27682 vsize=141336 CPUtime=8.25 /proc/27683/task/27728/stat : 27728 (pb_cplex) R 27682 27682 25902 0 -1 4202560 2648 0 0 0 818 7 0 0 16 0 8 0 146846977 144728064 13131 4089446400 134512640 146736320 4288235760 18446744073709551615 144785853 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=27683/tid=27729] ppid=27682 vsize=141336 CPUtime=8.5 /proc/27683/task/27729/stat : 27729 (pb_cplex) R 27682 27682 25902 0 -1 4202560 3994 0 0 0 842 8 0 0 16 0 8 0 146846977 144728064 13131 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=27683/tid=27730] ppid=27682 vsize=141336 CPUtime=8.93 /proc/27683/task/27730/stat : 27730 (pb_cplex) D 27682 27682 25902 0 -1 4202560 1635 0 0 0 884 9 0 0 16 0 8 0 146846977 144728064 13131 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=27683/tid=27731] ppid=27682 vsize=141336 CPUtime=8.77 /proc/27683/task/27731/stat : 27731 (pb_cplex) R 27682 27682 25902 0 -1 4202560 901 0 0 0 869 8 0 0 16 0 8 0 146846977 144728064 13131 4089446400 134512640 146736320 4288235760 18446744073709551615 144785853 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=27683/tid=27732] ppid=27682 vsize=141336 CPUtime=8.45 /proc/27683/task/27732/stat : 27732 (pb_cplex) R 27682 27682 25902 0 -1 4202560 1336 0 0 0 837 8 0 0 16 0 8 0 146846977 144728064 13131 4089446400 134512640 146736320 4288235760 18446744073709551615 144797937 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=27683/tid=27733] ppid=27682 vsize=141336 CPUtime=8.49 /proc/27683/task/27733/stat : 27733 (pb_cplex) R 27682 27682 25902 0 -1 4202560 2147 0 0 0 841 8 0 0 16 0 8 0 146846977 144728064 13131 4089446400 134512640 146736320 4288235760 18446744073709551615 144785853 0 2 4096 16387 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 74.88 Current children cumulated vsize (KiB) 150036 [startup+51.1265 s] /proc/loadavg: 7.99 7.58 4.65 12/195 27755 /proc/meminfo: memFree=29696676/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=142324 CPUtime=175.68 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 61671 0 0 0 17419 149 0 0 16 0 8 0 146846546 145739776 13472 4089446400 134512640 146736320 4288235760 18446744073709551615 135468704 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/27683/statm: 35581 13472 1085 2985 0 32123 0 [pid=27683/tid=27748] ppid=27682 vsize=142324 CPUtime=12.63 /proc/27683/task/27748/stat : 27748 (pb_cplex) R 27682 27682 25902 0 -1 4202560 2426 0 0 0 1254 9 0 0 15 0 8 0 146849165 145739776 13472 4089446400 134512640 146736320 4288235760 18446744073709551615 139046984 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=27683/tid=27749] ppid=27682 vsize=142324 CPUtime=11.78 /proc/27683/task/27749/stat : 27749 (pb_cplex) R 27682 27682 25902 0 -1 4202560 4083 0 0 0 1169 9 0 0 15 0 8 0 146849165 145739776 13472 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=27683/tid=27750] ppid=27682 vsize=142324 CPUtime=11.54 /proc/27683/task/27750/stat : 27750 (pb_cplex) R 27682 27682 25902 0 -1 4202560 1748 0 0 0 1145 9 0 0 15 0 8 0 146849165 145739776 13472 4089446400 134512640 146736320 4288235760 18446744073709551615 144785853 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=27683/tid=27751] ppid=27682 vsize=142324 CPUtime=10.5 /proc/27683/task/27751/stat : 27751 (pb_cplex) R 27682 27682 25902 0 -1 4202560 2219 0 0 0 1041 9 0 0 15 0 8 0 146849165 145739776 13472 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=27683/tid=27752] ppid=27682 vsize=142324 CPUtime=14.46 /proc/27683/task/27752/stat : 27752 (pb_cplex) R 27682 27682 25902 0 -1 4202560 5148 0 0 0 1436 10 0 0 15 0 8 0 146849165 145739776 13472 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=27683/tid=27753] ppid=27682 vsize=142324 CPUtime=11.92 /proc/27683/task/27753/stat : 27753 (pb_cplex) R 27682 27682 25902 0 -1 4202560 1415 0 0 0 1185 7 0 0 15 0 8 0 146849165 145739776 13472 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=27683/tid=27754] ppid=27682 vsize=142324 CPUtime=13.99 /proc/27683/task/27754/stat : 27754 (pb_cplex) R 27682 27682 25902 0 -1 4202560 3433 0 0 0 1391 8 0 0 15 0 8 0 146849165 145739776 13472 4089446400 134512640 146736320 4288235760 18446744073709551615 136000514 0 2 4096 16387 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 175.68 Current children cumulated vsize (KiB) 151024 [startup+102.302 s] /proc/loadavg: 8.49 7.77 4.86 11/195 27763 ################ # More data... # ################ Current children cumulated CPU time (s) 1461.75 Current children cumulated vsize (KiB) 152048 [startup+390.433 s] /proc/loadavg: 9.51 8.90 6.13 9/196 27879 /proc/meminfo: memFree=29662612/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=143348 CPUtime=1486.33 /proc/27683/stat : 27683 (pb_cplex) S 27682 27682 25902 0 -1 4202496 159563 0 0 0 147284 1349 0 0 15 0 8 0 146846546 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/27683/statm: 35837 13934 1103 2985 0 32379 0 [pid=27683/tid=27748] ppid=27682 vsize=143348 CPUtime=174.38 /proc/27683/task/27748/stat : 27748 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11257 0 0 0 17279 159 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 0 0 0 0 [pid=27683/tid=27749] ppid=27682 vsize=143348 CPUtime=173.63 /proc/27683/task/27749/stat : 27749 (pb_cplex) R 27682 27682 25902 0 -1 4202560 21661 0 0 0 17203 160 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=27683/tid=27750] ppid=27682 vsize=143348 CPUtime=172.83 /proc/27683/task/27750/stat : 27750 (pb_cplex) S 27682 27682 25902 0 -1 4202560 10837 0 0 0 17127 156 0 0 16 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 2 0 0 0 [pid=27683/tid=27751] ppid=27682 vsize=143348 CPUtime=172.83 /proc/27683/task/27751/stat : 27751 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17343 0 0 0 17124 159 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 6 0 0 0 [pid=27683/tid=27752] ppid=27682 vsize=143348 CPUtime=177 /proc/27683/task/27752/stat : 27752 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17228 0 0 0 17543 157 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27753] ppid=27682 vsize=143348 CPUtime=173.52 /proc/27683/task/27753/stat : 27753 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17745 0 0 0 17196 156 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 1 0 0 0 [pid=27683/tid=27754] ppid=27682 vsize=143348 CPUtime=177.34 /proc/27683/task/27754/stat : 27754 (pb_cplex) S 27682 27682 25902 0 -1 4202560 15024 0 0 0 17570 164 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1486.33 Current children cumulated vsize (KiB) 152048 [startup+396.829 s] /proc/loadavg: 9.39 8.88 6.14 10/195 27879 /proc/meminfo: memFree=29694864/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=143348 CPUtime=1510.96 /proc/27683/stat : 27683 (pb_cplex) S 27682 27682 25902 0 -1 4202496 160303 0 0 0 149728 1368 0 0 15 0 8 0 146846546 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/27683/statm: 35837 13934 1103 2985 0 32379 0 [pid=27683/tid=27748] ppid=27682 vsize=143348 CPUtime=177.39 /proc/27683/task/27748/stat : 27748 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11709 0 0 0 17577 162 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 0 0 0 0 [pid=27683/tid=27749] ppid=27682 vsize=143348 CPUtime=176.71 /proc/27683/task/27749/stat : 27749 (pb_cplex) S 27682 27682 25902 0 -1 4202560 21661 0 0 0 17509 162 0 0 16 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 1 0 0 0 [pid=27683/tid=27750] ppid=27682 vsize=143348 CPUtime=175.89 /proc/27683/task/27750/stat : 27750 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11095 0 0 0 17429 160 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 7 0 0 0 [pid=27683/tid=27751] ppid=27682 vsize=143348 CPUtime=175.88 /proc/27683/task/27751/stat : 27751 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17345 0 0 0 17426 162 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 0 0 0 0 [pid=27683/tid=27752] ppid=27682 vsize=143348 CPUtime=180.04 /proc/27683/task/27752/stat : 27752 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17248 0 0 0 17845 159 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27753] ppid=27682 vsize=143348 CPUtime=176.59 /proc/27683/task/27753/stat : 27753 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17748 0 0 0 17500 159 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27754] ppid=27682 vsize=143348 CPUtime=180.43 /proc/27683/task/27754/stat : 27754 (pb_cplex) R 27682 27682 25902 0 -1 4202560 15027 0 0 0 17876 167 0 0 16 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1510.96 Current children cumulated vsize (KiB) 152048 [startup+398.404 s] /proc/loadavg: 9.39 8.88 6.14 10/195 27879 /proc/meminfo: memFree=29695604/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=143348 CPUtime=1517.13 /proc/27683/stat : 27683 (pb_cplex) S 27682 27682 25902 0 -1 4202496 160534 0 0 0 150339 1374 0 0 16 0 8 0 146846546 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/27683/statm: 35837 13934 1103 2985 0 32379 0 [pid=27683/tid=27748] ppid=27682 vsize=143348 CPUtime=178.15 /proc/27683/task/27748/stat : 27748 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11709 0 0 0 17653 162 0 0 16 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 1 0 0 0 [pid=27683/tid=27749] ppid=27682 vsize=143348 CPUtime=177.52 /proc/27683/task/27749/stat : 27749 (pb_cplex) S 27682 27682 25902 0 -1 4202560 21662 0 0 0 17589 163 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 5 0 0 0 [pid=27683/tid=27750] ppid=27682 vsize=143348 CPUtime=176.67 /proc/27683/task/27750/stat : 27750 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11214 0 0 0 17507 160 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27751] ppid=27682 vsize=143348 CPUtime=176.62 /proc/27683/task/27751/stat : 27751 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17453 0 0 0 17500 162 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 2 0 0 0 [pid=27683/tid=27752] ppid=27682 vsize=143348 CPUtime=180.76 /proc/27683/task/27752/stat : 27752 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17248 0 0 0 17915 161 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 6 0 0 0 [pid=27683/tid=27753] ppid=27682 vsize=143348 CPUtime=177.35 /proc/27683/task/27753/stat : 27753 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17749 0 0 0 17576 159 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 0 0 0 0 [pid=27683/tid=27754] ppid=27682 vsize=143348 CPUtime=181.22 /proc/27683/task/27754/stat : 27754 (pb_cplex) R 27682 27682 25902 0 -1 4202560 15028 0 0 0 17954 168 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 139044580 0 2 4096 16387 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1517.13 Current children cumulated vsize (KiB) 152048 [startup+400.001 s] /proc/loadavg: 9.36 8.88 6.15 9/195 27879 /proc/meminfo: memFree=29695604/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=143348 CPUtime=1522.51 /proc/27683/stat : 27683 (pb_cplex) S 27682 27682 25902 0 -1 4202496 160541 0 0 0 150872 1379 0 0 15 0 8 0 146846546 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 /proc/27683/statm: 35837 13934 1103 2985 0 32379 0 [pid=27683/tid=27748] ppid=27682 vsize=143348 CPUtime=178.85 /proc/27683/task/27748/stat : 27748 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11709 0 0 0 17722 163 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 5 0 0 0 [pid=27683/tid=27749] ppid=27682 vsize=143348 CPUtime=178.27 /proc/27683/task/27749/stat : 27749 (pb_cplex) S 27682 27682 25902 0 -1 4202560 21663 0 0 0 17664 163 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 1 0 0 0 [pid=27683/tid=27750] ppid=27682 vsize=143348 CPUtime=177.37 /proc/27683/task/27750/stat : 27750 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11215 0 0 0 17576 161 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 7 0 0 0 [pid=27683/tid=27751] ppid=27682 vsize=143348 CPUtime=177.35 /proc/27683/task/27751/stat : 27751 (pb_cplex) R 27682 27682 25902 0 -1 4202560 17453 0 0 0 17572 163 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=27683/tid=27752] ppid=27682 vsize=143348 CPUtime=181.39 /proc/27683/task/27752/stat : 27752 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17249 0 0 0 17978 161 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27753] ppid=27682 vsize=143348 CPUtime=178.02 /proc/27683/task/27753/stat : 27753 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17751 0 0 0 17642 160 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 5 0 0 0 [pid=27683/tid=27754] ppid=27682 vsize=143348 CPUtime=181.85 /proc/27683/task/27754/stat : 27754 (pb_cplex) S 27682 27682 25902 0 -1 4202560 15029 0 0 0 18017 168 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1522.51 Current children cumulated vsize (KiB) 152048 [startup+400.404 s] /proc/loadavg: 9.36 8.88 6.15 9/195 27879 /proc/meminfo: memFree=29695488/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=143348 CPUtime=1524.3 /proc/27683/stat : 27683 (pb_cplex) S 27682 27682 25902 0 -1 4202496 160715 0 0 0 151050 1380 0 0 16 0 8 0 146846546 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/27683/statm: 35837 13934 1103 2985 0 32379 0 [pid=27683/tid=27748] ppid=27682 vsize=143348 CPUtime=179.07 /proc/27683/task/27748/stat : 27748 (pb_cplex) R 27682 27682 25902 0 -1 4202560 11709 0 0 0 17743 164 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 136017763 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=27683/tid=27749] ppid=27682 vsize=143348 CPUtime=178.5 /proc/27683/task/27749/stat : 27749 (pb_cplex) S 27682 27682 25902 0 -1 4202560 21663 0 0 0 17687 163 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 1 0 0 0 [pid=27683/tid=27750] ppid=27682 vsize=143348 CPUtime=177.61 /proc/27683/task/27750/stat : 27750 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11215 0 0 0 17600 161 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 5 0 0 0 [pid=27683/tid=27751] ppid=27682 vsize=143348 CPUtime=177.58 /proc/27683/task/27751/stat : 27751 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17453 0 0 0 17595 163 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 2 0 0 0 [pid=27683/tid=27752] ppid=27682 vsize=143348 CPUtime=181.62 /proc/27683/task/27752/stat : 27752 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17423 0 0 0 18001 161 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 6 0 0 0 [pid=27683/tid=27753] ppid=27682 vsize=143348 CPUtime=178.24 /proc/27683/task/27753/stat : 27753 (pb_cplex) R 27682 27682 25902 0 -1 4202560 17751 0 0 0 17664 160 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=27683/tid=27754] ppid=27682 vsize=143348 CPUtime=182.07 /proc/27683/task/27754/stat : 27754 (pb_cplex) R 27682 27682 25902 0 -1 4202560 15029 0 0 0 18038 169 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1524.3 Current children cumulated vsize (KiB) 152048 [startup+400.801 s] /proc/loadavg: 9.36 8.88 6.15 9/195 27879 /proc/meminfo: memFree=29695488/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=143348 CPUtime=1525.44 /proc/27683/stat : 27683 (pb_cplex) S 27682 27682 25902 0 -1 4202496 160716 0 0 0 151163 1381 0 0 15 0 8 0 146846546 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/27683/statm: 35837 13934 1103 2985 0 32379 0 [pid=27683/tid=27748] ppid=27682 vsize=143348 CPUtime=179.23 /proc/27683/task/27748/stat : 27748 (pb_cplex) S 27682 27682 25902 0 -1 4202560 11710 0 0 0 17759 164 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 1 0 0 0 [pid=27683/tid=27749] ppid=27682 vsize=143348 CPUtime=178.66 /proc/27683/task/27749/stat : 27749 (pb_cplex) R 27682 27682 25902 0 -1 4202560 21663 0 0 0 17703 163 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=27683/tid=27750] ppid=27682 vsize=143348 CPUtime=177.72 /proc/27683/task/27750/stat : 27750 (pb_cplex) R 27682 27682 25902 0 -1 4202560 11215 0 0 0 17611 161 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=27683/tid=27751] ppid=27682 vsize=143348 CPUtime=177.75 /proc/27683/task/27751/stat : 27751 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17453 0 0 0 17611 164 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 6 0 0 0 [pid=27683/tid=27752] ppid=27682 vsize=143348 CPUtime=181.75 /proc/27683/task/27752/stat : 27752 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17423 0 0 0 18014 161 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 2 0 0 0 [pid=27683/tid=27753] ppid=27682 vsize=143348 CPUtime=178.41 /proc/27683/task/27753/stat : 27753 (pb_cplex) S 27682 27682 25902 0 -1 4202560 17751 0 0 0 17681 160 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 3 0 0 0 [pid=27683/tid=27754] ppid=27682 vsize=143348 CPUtime=182.18 /proc/27683/task/27754/stat : 27754 (pb_cplex) S 27682 27682 25902 0 -1 4202560 15029 0 0 0 18049 169 0 0 15 0 8 0 146849165 146788352 13934 4089446400 134512640 146736320 4288235760 18446744073709551615 144580073 0 2 4096 16387 18446604471161586688 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1525.44 Current children cumulated vsize (KiB) 152048 [startup+400.901 s] /proc/loadavg: 9.36 8.88 6.15 9/195 27879 /proc/meminfo: memFree=29695488/32951124 swapFree=67111528/67111528 [pid=27682] ppid=27680 vsize=8700 CPUtime=0 /proc/27682/stat : 27682 (run) S 27680 27682 25902 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146846546 8908800 248 4089446400 4194304 4922060 140733308648192 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27682/statm: 2175 248 208 178 0 68 0 [pid=27683] ppid=27682 vsize=95708 CPUtime=1525.54 /proc/27683/stat : 27683 (pb_cplex) R 27682 27682 25902 0 -1 4202496 160716 0 0 0 151173 1381 0 0 16 0 1 0 146846546 98004992 9922 4089446400 134512640 146736320 4288235760 18446744073709551615 144798020 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/27683/statm: 23927 9782 1101 2985 0 20469 0 Current children cumulated CPU time (s) 1525.54 Current children cumulated vsize (KiB) 104408 Child status: 0 Real time (s): 400.914 CPU time (s): 1525.57 CPU user time (s): 1511.75 CPU system time (s): 13.8209 CPU usage (%): 380.522 Max. virtual memory (cumulated for all children) (KiB): 155120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1511.75 system time used= 13.8209 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 161111 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 293800 involuntary context switches= 24319 runsolver used 0.775882 second user time and 1.61575 second system time The end
Begin job on node147 at 2010-07-02 09:25:14 IDJOB=2697380 IDBENCH=79265 IDSOLVER=1210 FILE ID=node147/2697380-1278055514 PBS_JOBID= 11198887 Free space on /tmp= 74164 MiB SOLVER NAME= pb_cplex 2010-07-01 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697380-1278055514/watcher-2697380-1278055514 -o /tmp/evaluation-result-2697380-1278055514/solver-2697380-1278055514 -C 1800 -W 2000 -M 3800 run HOME/instance-2697380-1278055514.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ca8c0bf53108e4446976d449224bf298 RANDOM SEED=1570903224 node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29761940 kB Buffers: 231692 kB Cached: 2681256 kB SwapCached: 0 kB Active: 1372888 kB Inactive: 1660056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29761940 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 34540 kB Writeback: 0 kB AnonPages: 120408 kB Mapped: 18876 kB Slab: 89368 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 341320 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74148 MiB End job on node147 at 2010-07-02 09:31:55