Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pb_cplex 2010-07-01 | OPTIMUM | 1168.79 | 316.916 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo |
MD5SUM | a56ccccf952bf820f5367d29dba24868 |
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 | 24.5563 |
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 | 135715 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 135714 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
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.00 c pb_cplex 1.0 - 20100701 0.00/0.00 c Parsing wbo file format. File HOME/instance-2697393-1278055529.wbo. 0.00/0.00 c Instance file HOME/instance-2697393-1278055529.wbo 0.00/0.00 c File size is 96740 bytes. 1.39/1.43 c Highest Coefficient sum: 695 1.39/1.43 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 1.39/1.43 c ============================[ Problem Statistics ]============================= 1.39/1.43 c | | 1.39/1.43 c | Parsing time: 1.43 s | 1.39/1.43 c | Number Variables: 2938 | 1.39/1.43 c | Number Constraints: 2708 | 1.39/1.43 c =============================================================================== 1168.77/316.91 c Remaining time 1798.57 sec. 1168.77/316.91 s OPTIMUM FOUND 1168.77/316.91 c Solution value = 1.00 1168.77/316.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 1168.77/316.91 c Total CPU time : 1158.65 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-2697393-1278055529/watcher-2697393-1278055529 -o /tmp/evaluation-result-2697393-1278055529/solver-2697393-1278055529 -C 1800 -W 2000 -M 3800 run HOME/instance-2697393-1278055529.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: 9.33 8.18 4.66 8/186 23791 /proc/meminfo: memFree=31001032/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [startup+0.092446 s] /proc/loadavg: 9.33 8.18 4.66 8/186 23791 /proc/meminfo: memFree=31001032/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100442 s] /proc/loadavg: 9.33 8.18 4.66 8/186 23791 /proc/meminfo: memFree=31001032/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30041 s] /proc/loadavg: 9.33 8.18 4.66 8/186 23791 /proc/meminfo: memFree=31001032/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700332 s] /proc/loadavg: 9.33 8.18 4.66 8/186 23791 /proc/meminfo: memFree=31001032/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50016 s] /proc/loadavg: 9.06 8.14 4.66 6/188 23793 /proc/meminfo: memFree=31002504/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=25648 CPUtime=1.49 /proc/23792/stat : 23792 (pb_cplex) R 23791 23791 22653 0 -1 4202496 3236 0 0 0 149 0 0 0 18 0 1 0 146848096 26263552 2776 4089446400 134512640 146736320 4289773056 18446744073709551615 138411638 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/23792/statm: 6412 2776 926 2985 0 2954 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34348 [startup+3.10089 s] /proc/loadavg: 9.06 8.14 4.66 9/195 23814 /proc/meminfo: memFree=30965744/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=104256 CPUtime=5.41 /proc/23792/stat : 23792 (pb_cplex) R 23791 23791 22653 0 -1 4202496 21638 0 0 0 532 9 0 0 16 0 1 0 146848096 106758144 11331 4089446400 134512640 146736320 4289773056 18446744073709551615 136406144 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23792/statm: 26064 11331 1072 2985 0 22606 0 Current children cumulated CPU time (s) 5.41 Current children cumulated vsize (KiB) 112956 [startup+6.34824 s] /proc/loadavg: 9.06 8.14 4.66 13/188 23835 /proc/meminfo: memFree=30986508/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=146436 CPUtime=17.06 /proc/23792/stat : 23792 (pb_cplex) S 23791 23791 22653 0 -1 4202496 32238 0 0 0 1686 20 0 0 16 0 8 0 146848096 149950464 13737 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/23792/statm: 36609 13737 1081 2985 0 33151 0 [pid=23792/tid=23829] ppid=23791 vsize=146436 CPUtime=1.69 /proc/23792/task/23829/stat : 23829 (pb_cplex) S 23791 23791 22653 0 -1 4202560 2315 0 0 0 167 2 0 0 16 0 8 0 146848440 149950464 13737 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 3 0 0 0 [pid=23792/tid=23830] ppid=23791 vsize=146436 CPUtime=1.1 /proc/23792/task/23830/stat : 23830 (pb_cplex) R 23791 23791 22653 0 -1 4202560 510 0 0 0 109 1 0 0 15 0 8 0 146848440 149950464 13737 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=23792/tid=23831] ppid=23791 vsize=146436 CPUtime=1.52 /proc/23792/task/23831/stat : 23831 (pb_cplex) R 23791 23791 22653 0 -1 4202560 1091 0 0 0 151 1 0 0 16 0 8 0 146848440 149950464 13737 4089446400 134512640 146736320 4289773056 18446744073709551615 144580332 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=23792/tid=23832] ppid=23791 vsize=146436 CPUtime=0.84 /proc/23792/task/23832/stat : 23832 (pb_cplex) R 23791 23791 22653 0 -1 4202560 687 0 0 0 84 0 0 0 15 0 8 0 146848440 149950464 13737 4089446400 134512640 146736320 4289773056 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=23792/tid=23833] ppid=23791 vsize=146436 CPUtime=1.43 /proc/23792/task/23833/stat : 23833 (pb_cplex) R 23791 23791 22653 0 -1 4202560 1830 0 0 0 142 1 0 0 15 0 8 0 146848440 149950464 13737 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=23792/tid=23834] ppid=23791 vsize=146436 CPUtime=1.54 /proc/23792/task/23834/stat : 23834 (pb_cplex) R 23791 23791 22653 0 -1 4202560 465 0 0 0 154 0 0 0 16 0 8 0 146848440 149950464 13737 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=23792/tid=23835] ppid=23791 vsize=146436 CPUtime=0.89 /proc/23792/task/23835/stat : 23835 (pb_cplex) R 23791 23791 22653 0 -1 4202560 616 0 0 0 89 0 0 0 16 0 8 0 146848440 149950464 13737 4089446400 134512640 146736320 4289773056 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 17.06 Current children cumulated vsize (KiB) 155136 [startup+12.7011 s] /proc/loadavg: 9.29 8.22 4.73 11/195 23849 /proc/meminfo: memFree=30975804/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=146860 CPUtime=37.96 /proc/23792/stat : 23792 (pb_cplex) S 23791 23791 22653 0 -1 4202496 39827 0 0 0 3758 38 0 0 15 0 8 0 146848096 150384640 14189 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23792/statm: 36715 14189 1081 2985 0 33257 0 [pid=23792/tid=23829] ppid=23791 vsize=146860 CPUtime=4.34 /proc/23792/task/23829/stat : 23829 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4759 0 0 0 430 4 0 0 15 0 8 0 146848440 150384640 14189 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 5 0 0 0 [pid=23792/tid=23830] ppid=23791 vsize=146860 CPUtime=3.51 /proc/23792/task/23830/stat : 23830 (pb_cplex) S 23791 23791 22653 0 -1 4202560 2017 0 0 0 348 3 0 0 15 0 8 0 146848440 150384640 14189 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 6 0 0 0 [pid=23792/tid=23831] ppid=23791 vsize=146860 CPUtime=3.99 /proc/23792/task/23831/stat : 23831 (pb_cplex) S 23791 23791 22653 0 -1 4202560 1281 0 0 0 395 4 0 0 15 0 8 0 146848440 150384640 14189 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 3 0 0 0 [pid=23792/tid=23832] ppid=23791 vsize=146860 CPUtime=3.34 /proc/23792/task/23832/stat : 23832 (pb_cplex) S 23791 23791 22653 0 -1 4202560 907 0 0 0 332 2 0 0 15 0 8 0 146848440 150384640 14189 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 7 0 0 0 [pid=23792/tid=23833] ppid=23791 vsize=146860 CPUtime=4.05 /proc/23792/task/23833/stat : 23833 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4642 0 0 0 402 3 0 0 15 0 8 0 146848440 150384640 14189 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 0 0 0 0 [pid=23792/tid=23834] ppid=23791 vsize=146860 CPUtime=4.18 /proc/23792/task/23834/stat : 23834 (pb_cplex) R 23791 23791 22653 0 -1 4202560 526 0 0 0 416 2 0 0 15 0 8 0 146848440 150384640 14189 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=23792/tid=23835] ppid=23791 vsize=146860 CPUtime=3.38 /proc/23792/task/23835/stat : 23835 (pb_cplex) S 23791 23791 22653 0 -1 4202560 955 0 0 0 336 2 0 0 15 0 8 0 146848440 150384640 14189 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 37.96 Current children cumulated vsize (KiB) 155560 [startup+25.5008 s] /proc/loadavg: 9.32 8.26 4.78 10/195 23850 /proc/meminfo: memFree=30959808/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=162216 CPUtime=74.26 /proc/23792/stat : 23792 (pb_cplex) R 23791 23791 22653 0 -1 4202496 60803 0 0 0 7348 78 0 0 16 0 8 0 146848096 166109184 17868 4089446400 134512640 146736320 4289773056 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/23792/statm: 40554 17868 1093 2985 0 37096 0 [pid=23792/tid=23829] ppid=23791 vsize=162216 CPUtime=9.08 /proc/23792/task/23829/stat : 23829 (pb_cplex) R 23791 23791 22653 0 -1 4202560 6075 0 0 0 900 8 0 0 17 0 8 0 146848440 166109184 17868 4089446400 134512640 146736320 4289773056 18446744073709551615 136403103 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=23792/tid=23830] ppid=23791 vsize=162216 CPUtime=7.85 /proc/23792/task/23830/stat : 23830 (pb_cplex) R 23791 23791 22653 0 -1 4202560 9725 0 0 0 777 8 0 0 16 0 8 0 146848440 166109184 17868 4089446400 134512640 146736320 4289773056 18446744073709551615 137083602 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=23792/tid=23831] ppid=23791 vsize=162216 CPUtime=8.25 /proc/23792/task/23831/stat : 23831 (pb_cplex) R 23791 23791 22653 0 -1 4202560 4050 0 0 0 817 8 0 0 16 0 8 0 146848440 166109184 17868 4089446400 134512640 146736320 4289773056 18446744073709551615 136007982 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=23792/tid=23832] ppid=23791 vsize=162216 CPUtime=7.9 /proc/23792/task/23832/stat : 23832 (pb_cplex) R 23791 23791 22653 0 -1 4202560 2129 0 0 0 783 7 0 0 16 0 8 0 146848440 166109184 17868 4089446400 134512640 146736320 4289773056 18446744073709551615 136000154 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=23792/tid=23833] ppid=23791 vsize=162216 CPUtime=8.58 /proc/23792/task/23833/stat : 23833 (pb_cplex) R 23791 23791 22653 0 -1 4202560 6309 0 0 0 850 8 0 0 16 0 8 0 146848440 166109184 17868 4089446400 134512640 146736320 4289773056 18446744073709551615 144716523 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=23792/tid=23834] ppid=23791 vsize=162216 CPUtime=8.69 /proc/23792/task/23834/stat : 23834 (pb_cplex) R 23791 23791 22653 0 -1 4202560 2934 0 0 0 862 7 0 0 16 0 8 0 146848440 166109184 17868 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=23792/tid=23835] ppid=23791 vsize=162216 CPUtime=7.73 /proc/23792/task/23835/stat : 23835 (pb_cplex) R 23791 23791 22653 0 -1 4202560 2243 0 0 0 766 7 0 0 16 0 8 0 146848440 166109184 17868 4089446400 134512640 146736320 4289773056 18446744073709551615 136018854 0 2 4096 16387 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 74.26 Current children cumulated vsize (KiB) 170916 [startup+51.1126 s] /proc/loadavg: 9.57 8.43 4.94 9/195 23864 /proc/meminfo: memFree=30967124/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=149240 CPUtime=165.52 /proc/23792/stat : 23792 (pb_cplex) R 23791 23791 22653 0 -1 4202496 97170 0 0 0 16400 152 0 0 15 0 8 0 146848096 152821760 15126 4089446400 134512640 146736320 4289773056 18446744073709551615 136674344 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/23792/statm: 37310 15126 1092 2985 0 33852 0 [pid=23792/tid=23858] ppid=23791 vsize=149240 CPUtime=6.76 /proc/23792/task/23858/stat : 23858 (pb_cplex) S 23791 23791 22653 0 -1 4202560 628 0 0 0 671 5 0 0 15 0 8 0 146851649 152821760 15126 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 2 0 0 0 [pid=23792/tid=23859] ppid=23791 vsize=149240 CPUtime=7.62 /proc/23792/task/23859/stat : 23859 (pb_cplex) R 23791 23791 22653 0 -1 4202560 2276 0 0 0 756 6 0 0 15 0 8 0 146851649 152821760 15126 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=23792/tid=23860] ppid=23791 vsize=149240 CPUtime=6.76 /proc/23792/task/23860/stat : 23860 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4242 0 0 0 670 6 0 0 15 0 8 0 146851649 152821760 15126 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 4 0 0 0 [pid=23792/tid=23861] ppid=23791 vsize=149240 CPUtime=7.75 /proc/23792/task/23861/stat : 23861 (pb_cplex) S 23791 23791 22653 0 -1 4202560 3239 0 0 0 769 6 0 0 15 0 8 0 146851649 152821760 15126 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 4 0 0 0 [pid=23792/tid=23862] ppid=23791 vsize=149240 CPUtime=6.35 /proc/23792/task/23862/stat : 23862 (pb_cplex) S 23791 23791 22653 0 -1 4202560 2417 0 0 0 630 5 0 0 15 0 8 0 146851649 152821760 15126 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 4 0 0 0 [pid=23792/tid=23863] ppid=23791 vsize=149240 CPUtime=7.77 /proc/23792/task/23863/stat : 23863 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4692 0 0 0 770 7 0 0 15 0 8 0 146851649 152821760 15126 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 4 0 0 0 [pid=23792/tid=23864] ppid=23791 vsize=149240 CPUtime=7.41 /proc/23792/task/23864/stat : 23864 (pb_cplex) R 23791 23791 22653 0 -1 4202560 4705 0 0 0 736 5 0 0 16 0 8 0 146851649 152821760 15126 4089446400 134512640 146736320 4289773056 18446744073709551615 144580332 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 165.52 Current children cumulated vsize (KiB) 157940 [startup+102.312 s] /proc/loadavg: 9.30 8.53 5.16 9/195 23866 /proc/meminfo: memFree=30963948/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=154360 CPUtime=348.28 /proc/23792/stat : 23792 (pb_cplex) S 23791 23791 22653 0 -1 4202496 128741 0 0 0 34519 309 0 0 15 0 8 0 146848096 158064640 16218 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/23792/statm: 38590 16218 1092 2985 0 35132 0 [pid=23792/tid=23858] ppid=23791 vsize=154360 CPUtime=29.61 /proc/23792/task/23858/stat : 23858 (pb_cplex) S 23791 23791 22653 0 -1 4202560 7236 0 0 0 2936 25 0 0 15 0 8 0 146851649 158064640 16218 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 5 0 0 0 [pid=23792/tid=23859] ppid=23791 vsize=154360 CPUtime=29.78 /proc/23792/task/23859/stat : 23859 (pb_cplex) S 23791 23791 22653 0 -1 4202560 6286 0 0 0 2954 24 0 0 15 0 8 0 146851649 158064640 16218 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 5 0 0 0 [pid=23792/tid=23860] ppid=23791 vsize=154360 CPUtime=29.23 /proc/23792/task/23860/stat : 23860 (pb_cplex) S 23791 23791 22653 0 -1 4202560 11306 0 0 0 2898 25 0 0 15 0 8 0 146851649 158064640 16218 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 6 0 0 0 [pid=23792/tid=23861] ppid=23791 vsize=154360 CPUtime=30.38 /proc/23792/task/23861/stat : 23861 (pb_cplex) S 23791 23791 22653 0 -1 4202560 7821 0 0 0 3013 25 0 0 15 0 8 0 146851649 158064640 16218 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 1082.25 Current children cumulated vsize (KiB) 163060 [startup+307.201 s] /proc/loadavg: 9.17 8.84 5.95 4/195 23871 /proc/meminfo: memFree=30962664/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=154360 CPUtime=1131.61 /proc/23792/stat : 23792 (pb_cplex) S 23791 23791 22653 0 -1 4202496 145283 0 0 0 112179 982 0 0 15 0 8 0 146848096 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/23792/statm: 38590 16418 1110 2985 0 35132 0 [pid=23792/tid=23858] ppid=23791 vsize=154360 CPUtime=126.74 /proc/23792/task/23858/stat : 23858 (pb_cplex) S 23791 23791 22653 0 -1 4202560 7991 0 0 0 12567 107 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 6 0 0 0 [pid=23792/tid=23859] ppid=23791 vsize=154360 CPUtime=126.19 /proc/23792/task/23859/stat : 23859 (pb_cplex) S 23791 23791 22653 0 -1 4202560 9169 0 0 0 12508 111 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23860] ppid=23791 vsize=154360 CPUtime=126.08 /proc/23792/task/23860/stat : 23860 (pb_cplex) S 23791 23791 22653 0 -1 4202560 14025 0 0 0 12495 113 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 4 0 0 0 [pid=23792/tid=23861] ppid=23791 vsize=154360 CPUtime=127.3 /proc/23792/task/23861/stat : 23861 (pb_cplex) S 23791 23791 22653 0 -1 4202560 10292 0 0 0 12624 106 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23862] ppid=23791 vsize=154360 CPUtime=126.8 /proc/23792/task/23862/stat : 23862 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4169 0 0 0 12575 105 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23863] ppid=23791 vsize=154360 CPUtime=126.87 /proc/23792/task/23863/stat : 23863 (pb_cplex) R 23791 23791 22653 0 -1 4202560 13490 0 0 0 12574 113 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=23792/tid=23864] ppid=23791 vsize=154360 CPUtime=127.89 /proc/23792/task/23864/stat : 23864 (pb_cplex) S 23791 23791 22653 0 -1 4202560 7867 0 0 0 12674 115 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1131.61 Current children cumulated vsize (KiB) 163060 [startup+313.614 s] /proc/loadavg: 9.15 8.84 5.96 9/195 23871 /proc/meminfo: memFree=30962592/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=154360 CPUtime=1156.82 /proc/23792/stat : 23792 (pb_cplex) R 23791 23791 22653 0 -1 4202496 146756 0 0 0 114680 1002 0 0 15 0 8 0 146848096 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 /proc/23792/statm: 38590 16418 1110 2985 0 35132 0 [pid=23792/tid=23858] ppid=23791 vsize=154360 CPUtime=129.82 /proc/23792/task/23858/stat : 23858 (pb_cplex) R 23791 23791 22653 0 -1 4202560 8252 0 0 0 12874 108 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=23792/tid=23859] ppid=23791 vsize=154360 CPUtime=129.28 /proc/23792/task/23859/stat : 23859 (pb_cplex) R 23791 23791 22653 0 -1 4202560 9309 0 0 0 12814 114 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 135468651 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=23792/tid=23860] ppid=23791 vsize=154360 CPUtime=129.24 /proc/23792/task/23860/stat : 23860 (pb_cplex) R 23791 23791 22653 0 -1 4202560 14263 0 0 0 12809 115 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 136017512 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=23792/tid=23861] ppid=23791 vsize=154360 CPUtime=130.4 /proc/23792/task/23861/stat : 23861 (pb_cplex) R 23791 23791 22653 0 -1 4202560 10438 0 0 0 12931 109 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=23792/tid=23862] ppid=23791 vsize=154360 CPUtime=129.93 /proc/23792/task/23862/stat : 23862 (pb_cplex) R 23791 23791 22653 0 -1 4202560 4204 0 0 0 12886 107 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=23792/tid=23863] ppid=23791 vsize=154360 CPUtime=129.97 /proc/23792/task/23863/stat : 23863 (pb_cplex) R 23791 23791 22653 0 -1 4202560 13642 0 0 0 12881 116 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=23792/tid=23864] ppid=23791 vsize=154360 CPUtime=131.05 /proc/23792/task/23864/stat : 23864 (pb_cplex) S 23791 23791 22653 0 -1 4202560 8313 0 0 0 12987 118 0 0 15 0 8 0 146851649 158064640 16418 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1156.82 Current children cumulated vsize (KiB) 163060 [startup+315.201 s] /proc/loadavg: 9.15 8.84 5.96 9/195 23871 /proc/meminfo: memFree=30962900/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=154360 CPUtime=1163.22 /proc/23792/stat : 23792 (pb_cplex) S 23791 23791 22653 0 -1 4202496 147696 0 0 0 115316 1006 0 0 15 0 8 0 146848096 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23792/statm: 38590 16419 1110 2985 0 35132 0 [pid=23792/tid=23858] ppid=23791 vsize=154360 CPUtime=130.6 /proc/23792/task/23858/stat : 23858 (pb_cplex) S 23791 23791 22653 0 -1 4202560 8273 0 0 0 12951 109 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 3 0 0 0 [pid=23792/tid=23859] ppid=23791 vsize=154360 CPUtime=130.05 /proc/23792/task/23859/stat : 23859 (pb_cplex) S 23791 23791 22653 0 -1 4202560 9310 0 0 0 12891 114 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 5 0 0 0 [pid=23792/tid=23860] ppid=23791 vsize=154360 CPUtime=130.01 /proc/23792/task/23860/stat : 23860 (pb_cplex) R 23791 23791 22653 0 -1 4202560 14263 0 0 0 12885 116 0 0 16 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=23792/tid=23861] ppid=23791 vsize=154360 CPUtime=131.21 /proc/23792/task/23861/stat : 23861 (pb_cplex) S 23791 23791 22653 0 -1 4202560 11060 0 0 0 13012 109 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 0 0 0 0 [pid=23792/tid=23862] ppid=23791 vsize=154360 CPUtime=130.8 /proc/23792/task/23862/stat : 23862 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4204 0 0 0 12972 108 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 6 0 0 0 [pid=23792/tid=23863] ppid=23791 vsize=154360 CPUtime=130.79 /proc/23792/task/23863/stat : 23863 (pb_cplex) S 23791 23791 22653 0 -1 4202560 13656 0 0 0 12962 117 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 2 0 0 0 [pid=23792/tid=23864] ppid=23791 vsize=154360 CPUtime=131.84 /proc/23792/task/23864/stat : 23864 (pb_cplex) S 23791 23791 22653 0 -1 4202560 8313 0 0 0 13066 118 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1163.22 Current children cumulated vsize (KiB) 163060 [startup+316.039 s] /proc/loadavg: 9.14 8.85 5.98 9/195 23871 /proc/meminfo: memFree=30962280/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=154360 CPUtime=1165.85 /proc/23792/stat : 23792 (pb_cplex) R 23791 23791 22653 0 -1 4202496 148169 0 0 0 115577 1008 0 0 15 0 8 0 146848096 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580332 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/23792/statm: 38590 16419 1110 2985 0 35132 0 [pid=23792/tid=23858] ppid=23791 vsize=154360 CPUtime=130.99 /proc/23792/task/23858/stat : 23858 (pb_cplex) S 23791 23791 22653 0 -1 4202560 8282 0 0 0 12990 109 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 3 0 0 0 [pid=23792/tid=23859] ppid=23791 vsize=154360 CPUtime=130.35 /proc/23792/task/23859/stat : 23859 (pb_cplex) S 23791 23791 22653 0 -1 4202560 9310 0 0 0 12920 115 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23860] ppid=23791 vsize=154360 CPUtime=130.37 /proc/23792/task/23860/stat : 23860 (pb_cplex) S 23791 23791 22653 0 -1 4202560 14263 0 0 0 12921 116 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23861] ppid=23791 vsize=154360 CPUtime=131.6 /proc/23792/task/23861/stat : 23861 (pb_cplex) S 23791 23791 22653 0 -1 4202560 11060 0 0 0 13050 110 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23862] ppid=23791 vsize=154360 CPUtime=131.05 /proc/23792/task/23862/stat : 23862 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4204 0 0 0 12997 108 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23863] ppid=23791 vsize=154360 CPUtime=131.07 /proc/23792/task/23863/stat : 23863 (pb_cplex) S 23791 23791 22653 0 -1 4202560 13664 0 0 0 12990 117 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23864] ppid=23791 vsize=154360 CPUtime=132.13 /proc/23792/task/23864/stat : 23864 (pb_cplex) R 23791 23791 22653 0 -1 4202560 8313 0 0 0 13095 118 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1165.85 Current children cumulated vsize (KiB) 163060 [startup+316.406 s] /proc/loadavg: 9.14 8.85 5.98 9/195 23871 /proc/meminfo: memFree=30962280/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=154360 CPUtime=1167.23 /proc/23792/stat : 23792 (pb_cplex) S 23791 23791 22653 0 -1 4202496 148170 0 0 0 115713 1010 0 0 15 0 8 0 146848096 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 /proc/23792/statm: 38590 16419 1110 2985 0 35132 0 [pid=23792/tid=23858] ppid=23791 vsize=154360 CPUtime=131.16 /proc/23792/task/23858/stat : 23858 (pb_cplex) S 23791 23791 22653 0 -1 4202560 8282 0 0 0 13006 110 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 0 0 0 0 [pid=23792/tid=23859] ppid=23791 vsize=154360 CPUtime=130.54 /proc/23792/task/23859/stat : 23859 (pb_cplex) R 23791 23791 22653 0 -1 4202560 9310 0 0 0 12939 115 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=23792/tid=23860] ppid=23791 vsize=154360 CPUtime=130.53 /proc/23792/task/23860/stat : 23860 (pb_cplex) S 23791 23791 22653 0 -1 4202560 14264 0 0 0 12937 116 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 4 0 0 0 [pid=23792/tid=23861] ppid=23791 vsize=154360 CPUtime=131.79 /proc/23792/task/23861/stat : 23861 (pb_cplex) R 23791 23791 22653 0 -1 4202560 11060 0 0 0 13069 110 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=23792/tid=23862] ppid=23791 vsize=154360 CPUtime=131.23 /proc/23792/task/23862/stat : 23862 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4204 0 0 0 13015 108 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 1 0 0 0 [pid=23792/tid=23863] ppid=23791 vsize=154360 CPUtime=131.25 /proc/23792/task/23863/stat : 23863 (pb_cplex) R 23791 23791 22653 0 -1 4202560 13664 0 0 0 13007 118 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=23792/tid=23864] ppid=23791 vsize=154360 CPUtime=132.26 /proc/23792/task/23864/stat : 23864 (pb_cplex) R 23791 23791 22653 0 -1 4202560 8313 0 0 0 13108 118 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1167.23 Current children cumulated vsize (KiB) 163060 [startup+316.829 s] /proc/loadavg: 9.14 8.85 5.98 10/195 23872 /proc/meminfo: memFree=30962156/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=154360 CPUtime=1168.65 /proc/23792/stat : 23792 (pb_cplex) R 23791 23791 22653 0 -1 4202496 148317 0 0 0 115853 1012 0 0 16 0 8 0 146848096 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 136384857 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/23792/statm: 38590 16419 1110 2985 0 35132 0 [pid=23792/tid=23858] ppid=23791 vsize=154360 CPUtime=131.32 /proc/23792/task/23858/stat : 23858 (pb_cplex) R 23791 23791 22653 0 -1 4202560 8282 0 0 0 13022 110 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=23792/tid=23859] ppid=23791 vsize=154360 CPUtime=130.71 /proc/23792/task/23859/stat : 23859 (pb_cplex) S 23791 23791 22653 0 -1 4202560 9310 0 0 0 12956 115 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 4 0 0 0 [pid=23792/tid=23860] ppid=23791 vsize=154360 CPUtime=130.71 /proc/23792/task/23860/stat : 23860 (pb_cplex) R 23791 23791 22653 0 -1 4202560 14264 0 0 0 12955 116 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=23792/tid=23861] ppid=23791 vsize=154360 CPUtime=131.96 /proc/23792/task/23861/stat : 23861 (pb_cplex) S 23791 23791 22653 0 -1 4202560 11060 0 0 0 13086 110 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 3 0 0 0 [pid=23792/tid=23862] ppid=23791 vsize=154360 CPUtime=131.38 /proc/23792/task/23862/stat : 23862 (pb_cplex) S 23791 23791 22653 0 -1 4202560 4204 0 0 0 13030 108 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144580073 0 2 4096 16387 18446604471141042048 0 0 -1 0 0 0 0 [pid=23792/tid=23863] ppid=23791 vsize=154360 CPUtime=131.42 /proc/23792/task/23863/stat : 23863 (pb_cplex) R 23791 23791 22653 0 -1 4202560 13664 0 0 0 13024 118 0 0 15 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=23792/tid=23864] ppid=23791 vsize=154360 CPUtime=132.47 /proc/23792/task/23864/stat : 23864 (pb_cplex) R 23791 23791 22653 0 -1 4202560 8313 0 0 0 13128 119 0 0 16 0 8 0 146851649 158064640 16419 4089446400 134512640 146736320 4289773056 18446744073709551615 135454070 0 2 4096 16387 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1168.65 Current children cumulated vsize (KiB) 163060 [startup+316.907 s] /proc/loadavg: 9.14 8.85 5.98 10/195 23872 /proc/meminfo: memFree=30962156/32951124 swapFree=67111528/67111528 [pid=23791] ppid=23789 vsize=8700 CPUtime=0 /proc/23791/stat : 23791 (run) S 23789 23791 22653 0 -1 4202496 363 0 0 0 0 0 0 0 21 0 1 0 146848096 8908800 248 4089446400 4194304 4922060 140733749292544 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23791/statm: 2175 248 208 178 0 68 0 [pid=23792] ppid=23791 vsize=107328 CPUtime=1168.77 /proc/23792/stat : 23792 (pb_cplex) R 23791 23791 22653 0 -1 4202496 148324 0 0 0 115864 1013 0 0 15 0 1 0 146848096 109903872 12402 4089446400 134512640 146736320 4289773056 18446744073709551615 136765704 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/23792/statm: 26832 12402 1116 2985 0 23374 0 Current children cumulated CPU time (s) 1168.77 Current children cumulated vsize (KiB) 116028 Child status: 0 Real time (s): 316.916 CPU time (s): 1168.79 CPU user time (s): 1158.65 CPU system time (s): 10.1345 CPU usage (%): 368.8 Max. virtual memory (cumulated for all children) (KiB): 175584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1158.65 system time used= 10.1345 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148711 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= 232307 involuntary context switches= 22153 runsolver used 0.596909 second user time and 1.27481 second system time The end
Begin job on node145 at 2010-07-02 09:25:29 IDJOB=2697393 IDBENCH=79270 IDSOLVER=1210 FILE ID=node145/2697393-1278055529 PBS_JOBID= 11198892 Free space on /tmp= 74184 MiB SOLVER NAME= pb_cplex 2010-07-01 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697393-1278055529/watcher-2697393-1278055529 -o /tmp/evaluation-result-2697393-1278055529/solver-2697393-1278055529 -C 1800 -W 2000 -M 3800 run HOME/instance-2697393-1278055529.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a56ccccf952bf820f5367d29dba24868 RANDOM SEED=1570903224 node145.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.851 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.70 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.851 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 : 5332.75 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.851 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.82 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.851 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.75 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.851 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.82 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.851 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.67 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.851 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.82 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.851 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31001684 kB Buffers: 224808 kB Cached: 1425912 kB SwapCached: 0 kB Active: 707952 kB Inactive: 1089616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31001684 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 33440 kB Writeback: 0 kB AnonPages: 146900 kB Mapped: 18868 kB Slab: 84676 kB PageTables: 4972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 372736 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= 74168 MiB End job on node145 at 2010-07-02 09:30:46