Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pb_cplex 2010-07-01 | OPTIMUM | 645.42 | 185.284 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo |
MD5SUM | b6831e02f19f517e205ea45f0a3f162b |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 159.195 |
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 | 1839 |
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 | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 745 |
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-2697813-1278054863.wbo. 0.00/0.00 c Instance file HOME/instance-2697813-1278054863.wbo 0.00/0.00 c File size is 92500 bytes. 0.00/0.67 c Highest Coefficient sum: 745 0.00/0.67 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 0.00/0.68 c ============================[ Problem Statistics ]============================= 0.00/0.68 c | | 0.00/0.68 c | Parsing time: 0.68 s | 0.00/0.68 c | Number Variables: 2070 | 0.00/0.68 c | Number Constraints: 2708 | 0.00/0.68 c =============================================================================== 645.30/185.28 c Remaining time 1799.32 sec. 645.30/185.28 s OPTIMUM FOUND 645.30/185.28 c Solution value = 2.00 645.30/185.28 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 645.30/185.28 c Total CPU time : 640.181 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697813-1278054863/watcher-2697813-1278054863 -o /tmp/evaluation-result-2697813-1278054863/solver-2697813-1278054863 -C 1800 -W 2000 -M 3800 run HOME/instance-2697813-1278054863.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: 0.00 0.00 0.00 3/179 858 /proc/meminfo: memFree=30935880/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [startup+0.0915041 s] /proc/loadavg: 0.00 0.00 0.00 3/179 858 /proc/meminfo: memFree=30935880/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100503 s] /proc/loadavg: 0.00 0.00 0.00 3/179 858 /proc/meminfo: memFree=30935880/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300483 s] /proc/loadavg: 0.00 0.00 0.00 3/179 858 /proc/meminfo: memFree=30935880/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700433 s] /proc/loadavg: 0.00 0.00 0.00 3/179 858 /proc/meminfo: memFree=30935880/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50027 s] /proc/loadavg: 0.16 0.03 0.01 3/188 889 /proc/meminfo: memFree=30893772/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=127584 CPUtime=1.94 /proc/859/stat : 859 (pb_cplex) S 858 858 668 0 -1 4202496 17145 0 0 0 190 4 0 0 17 0 8 0 179125911 130646016 9871 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/859/statm: 31896 9871 1083 2985 0 28438 0 Current children cumulated CPU time (s) 1.94 Current children cumulated vsize (KiB) 136284 [startup+3.10097 s] /proc/loadavg: 0.16 0.03 0.01 3/181 925 /proc/meminfo: memFree=30866176/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=93792 CPUtime=4.5 /proc/859/stat : 859 (pb_cplex) R 858 858 668 0 -1 4202496 21688 0 0 0 442 8 0 0 18 0 1 0 179125911 96043008 9290 4089446400 134512640 146736320 4289665104 18446744073709551615 136017519 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/859/statm: 23448 9290 1070 2985 0 19990 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 102492 [startup+6.30446 s] /proc/loadavg: 0.95 0.20 0.06 14/195 961 /proc/meminfo: memFree=30849704/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=137776 CPUtime=9.33 /proc/859/stat : 859 (pb_cplex) R 858 858 668 0 -1 4202496 30167 0 0 0 922 11 0 0 20 0 8 0 179125911 141082624 12253 4089446400 134512640 146736320 4289665104 18446744073709551615 139042980 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 /proc/859/statm: 34444 12253 1081 2985 0 30986 0 [pid=859/tid=955] ppid=858 vsize=137776 CPUtime=0.01 /proc/859/task/955/stat : 955 (pb_cplex) S 858 858 668 0 -1 4202560 3 0 0 0 1 0 0 0 17 0 8 0 179126258 141082624 12253 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 1 0 0 0 [pid=859/tid=956] ppid=858 vsize=137776 CPUtime=0.59 /proc/859/task/956/stat : 956 (pb_cplex) S 858 858 668 0 -1 4202560 183 0 0 0 59 0 0 0 18 0 8 0 179126258 141082624 12253 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 5 0 0 0 [pid=859/tid=957] ppid=858 vsize=137776 CPUtime=0.41 /proc/859/task/957/stat : 957 (pb_cplex) S 858 858 668 0 -1 4202560 104 0 0 0 41 0 0 0 18 0 8 0 179126258 141082624 12253 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 5 0 0 0 [pid=859/tid=958] ppid=858 vsize=137776 CPUtime=0.3 /proc/859/task/958/stat : 958 (pb_cplex) S 858 858 668 0 -1 4202560 671 0 0 0 30 0 0 0 18 0 8 0 179126258 141082624 12253 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=959] ppid=858 vsize=137776 CPUtime=0.53 /proc/859/task/959/stat : 959 (pb_cplex) S 858 858 668 0 -1 4202560 65 0 0 0 53 0 0 0 16 0 8 0 179126258 141082624 12253 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 1 0 0 0 [pid=859/tid=960] ppid=858 vsize=137776 CPUtime=0.47 /proc/859/task/960/stat : 960 (pb_cplex) S 858 858 668 0 -1 4202560 362 0 0 0 47 0 0 0 18 0 8 0 179126258 141082624 12253 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 0 0 0 0 [pid=859/tid=961] ppid=858 vsize=137776 CPUtime=0.29 /proc/859/task/961/stat : 961 (pb_cplex) S 858 858 668 0 -1 4202560 483 0 0 0 29 0 0 0 17 0 8 0 179126258 141082624 12253 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 9.33 Current children cumulated vsize (KiB) 146476 [startup+12.7014 s] /proc/loadavg: 1.43 0.31 0.10 10/195 961 /proc/meminfo: memFree=30834276/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=142896 CPUtime=33.84 /proc/859/stat : 859 (pb_cplex) R 858 858 668 0 -1 4202496 46821 0 0 0 3350 34 0 0 15 0 8 0 179125911 146325504 13471 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/859/statm: 35724 13471 1081 2985 0 32266 0 [pid=859/tid=955] ppid=858 vsize=142896 CPUtime=3.06 /proc/859/task/955/stat : 955 (pb_cplex) R 858 858 668 0 -1 4202560 2272 0 0 0 304 2 0 0 15 0 8 0 179126258 146325504 13471 4089446400 134512640 146736320 4289665104 18446744073709551615 136001716 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=859/tid=956] ppid=858 vsize=142896 CPUtime=3.59 /proc/859/task/956/stat : 956 (pb_cplex) R 858 858 668 0 -1 4202560 783 0 0 0 357 2 0 0 15 0 8 0 179126258 146325504 13471 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=859/tid=957] ppid=858 vsize=142896 CPUtime=3.54 /proc/859/task/957/stat : 957 (pb_cplex) R 858 858 668 0 -1 4202560 1233 0 0 0 351 3 0 0 15 0 8 0 179126258 146325504 13471 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=859/tid=958] ppid=858 vsize=142896 CPUtime=3.42 /proc/859/task/958/stat : 958 (pb_cplex) R 858 858 668 0 -1 4202560 1405 0 0 0 339 3 0 0 15 0 8 0 179126258 146325504 13471 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=859/tid=959] ppid=858 vsize=142896 CPUtime=3.59 /proc/859/task/959/stat : 959 (pb_cplex) S 858 858 668 0 -1 4202560 2301 0 0 0 356 3 0 0 15 0 8 0 179126258 146325504 13471 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 4 0 0 0 [pid=859/tid=960] ppid=858 vsize=142896 CPUtime=3.41 /proc/859/task/960/stat : 960 (pb_cplex) S 858 858 668 0 -1 4202560 5302 0 0 0 339 2 0 0 15 0 8 0 179126258 146325504 13471 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 2 0 0 0 [pid=859/tid=961] ppid=858 vsize=142896 CPUtime=3.25 /proc/859/task/961/stat : 961 (pb_cplex) S 858 858 668 0 -1 4202560 1397 0 0 0 323 2 0 0 16 0 8 0 179126258 146325504 13471 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 33.84 Current children cumulated vsize (KiB) 151596 [startup+25.5012 s] /proc/loadavg: 3.19 0.75 0.25 11/195 975 /proc/meminfo: memFree=30814188/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=168148 CPUtime=93.27 /proc/859/stat : 859 (pb_cplex) R 858 858 668 0 -1 4202496 67787 0 0 0 9243 84 0 0 19 0 8 0 179125911 172183552 19148 4089446400 134512640 146736320 4289665104 18446744073709551615 144785853 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/859/statm: 42037 19148 1088 2985 0 38579 0 [pid=859/tid=955] ppid=858 vsize=168148 CPUtime=10.61 /proc/859/task/955/stat : 955 (pb_cplex) R 858 858 668 0 -1 4202560 5793 0 0 0 1053 8 0 0 18 0 8 0 179126258 172183552 19148 4089446400 134512640 146736320 4289665104 18446744073709551615 138462752 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=859/tid=956] ppid=858 vsize=168148 CPUtime=11.33 /proc/859/task/956/stat : 956 (pb_cplex) R 858 858 668 0 -1 4202560 3457 0 0 0 1125 8 0 0 18 0 8 0 179126258 172183552 19148 4089446400 134512640 146736320 4289665104 18446744073709551615 144785853 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=859/tid=957] ppid=858 vsize=168148 CPUtime=11.48 /proc/859/task/957/stat : 957 (pb_cplex) R 858 858 668 0 -1 4202560 3669 0 0 0 1138 10 0 0 18 0 8 0 179126258 172183552 19148 4089446400 134512640 146736320 4289665104 18446744073709551615 139042901 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=859/tid=958] ppid=858 vsize=168148 CPUtime=10.8 /proc/859/task/958/stat : 958 (pb_cplex) R 858 858 668 0 -1 4202560 3062 0 0 0 1072 8 0 0 18 0 8 0 179126258 172183552 19148 4089446400 134512640 146736320 4289665104 18446744073709551615 138425001 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=859/tid=959] ppid=858 vsize=168148 CPUtime=11.2 /proc/859/task/959/stat : 959 (pb_cplex) R 858 858 668 0 -1 4202560 5745 0 0 0 1111 9 0 0 20 0 8 0 179126258 172183552 19148 4089446400 134512640 146736320 4289665104 18446744073709551615 135961988 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=859/tid=960] ppid=858 vsize=168148 CPUtime=10.38 /proc/859/task/960/stat : 960 (pb_cplex) S 858 858 668 0 -1 4202560 8709 0 0 0 1030 8 0 0 18 0 8 0 179126258 172183552 19148 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 1 0 0 0 [pid=859/tid=961] ppid=858 vsize=168148 CPUtime=10.3 /proc/859/task/961/stat : 961 (pb_cplex) R 858 858 668 0 -1 4202560 3706 0 0 0 1021 9 0 0 18 0 8 0 179126258 172183552 19148 4089446400 134512640 146736320 4289665104 18446744073709551615 144785853 0 2 4096 16387 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 93.27 Current children cumulated vsize (KiB) 176848 [startup+51.1039 s] /proc/loadavg: 4.45 1.24 0.42 10/195 997 /proc/meminfo: memFree=30824852/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=148752 CPUtime=147.91 /proc/859/stat : 859 (pb_cplex) S 858 858 668 0 -1 4202496 92338 0 0 0 14673 118 0 0 15 0 8 0 179125911 152322048 14934 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/859/statm: 37188 14934 1089 2985 0 33730 0 [pid=859/tid=991] ppid=858 vsize=148752 CPUtime=4.12 /proc/859/task/991/stat : 991 (pb_cplex) S 858 858 668 0 -1 4202560 915 0 0 0 410 2 0 0 16 0 8 0 179129831 152322048 14934 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 0 0 0 0 [pid=859/tid=992] ppid=858 vsize=148752 CPUtime=3.94 /proc/859/task/992/stat : 992 (pb_cplex) S 858 858 668 0 -1 4202560 1148 0 0 0 392 2 0 0 16 0 8 0 179129831 152322048 14934 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 5 0 0 0 [pid=859/tid=993] ppid=858 vsize=148752 CPUtime=4.12 /proc/859/task/993/stat : 993 (pb_cplex) S 858 858 668 0 -1 4202560 61 0 0 0 410 2 0 0 16 0 8 0 179129831 152322048 14934 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 1 0 0 0 [pid=859/tid=994] ppid=858 vsize=148752 CPUtime=4.19 /proc/859/task/994/stat : 994 (pb_cplex) R 858 858 668 0 -1 4202560 806 0 0 0 416 3 0 0 15 0 8 0 179129831 152322048 14934 4089446400 134512640 146736320 4289665104 18446744073709551615 136384857 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=859/tid=995] ppid=858 vsize=148752 CPUtime=4.51 /proc/859/task/995/stat : 995 (pb_cplex) S 858 858 668 0 -1 4202560 2250 0 0 0 448 3 0 0 15 0 8 0 179129831 152322048 14934 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 7 0 0 0 [pid=859/tid=996] ppid=858 vsize=148752 CPUtime=4.38 /proc/859/task/996/stat : 996 (pb_cplex) R 858 858 668 0 -1 4202560 3048 0 0 0 435 3 0 0 15 0 8 0 179129831 152322048 14934 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=859/tid=997] ppid=858 vsize=148752 CPUtime=4.7 /proc/859/task/997/stat : 997 (pb_cplex) R 858 858 668 0 -1 4202560 1425 0 0 0 467 3 0 0 15 0 8 0 179129831 152322048 14934 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 147.91 Current children cumulated vsize (KiB) 157452 [startup+102.33 s] /proc/loadavg: 7.23 2.49 0.89 11/195 999 /proc/meminfo: memFree=30823132/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=149776 CPUtime=343.18 /proc/859/stat : 859 (pb_cplex) S 858 858 668 0 -1 4202496 106532 0 0 0 34048 270 0 0 15 0 8 0 179125911 153370624 15318 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 /proc/859/statm: 37444 15318 1089 2985 0 33986 0 [pid=859/tid=991] ppid=858 vsize=149776 CPUtime=28.34 /proc/859/task/991/stat : 991 (pb_cplex) S 858 858 668 0 -1 4202560 2454 0 0 0 2813 21 0 0 15 0 8 0 179129831 153370624 15318 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 0 0 0 0 [pid=859/tid=992] ppid=858 vsize=149776 CPUtime=28.09 /proc/859/task/992/stat : 992 (pb_cplex) R 858 858 668 0 -1 4202560 1866 0 0 0 2790 19 0 0 15 0 8 0 179129831 153370624 15318 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=859/tid=993] ppid=858 vsize=149776 CPUtime=28.36 /proc/859/task/993/stat : 993 (pb_cplex) S 858 858 668 0 -1 4202560 1443 0 0 0 2815 21 0 0 15 0 8 0 179129831 153370624 15318 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 4 0 0 0 [pid=859/tid=994] ppid=858 vsize=149776 CPUtime=28.4 /proc/859/task/994/stat : 994 (pb_cplex) S 858 858 668 0 -1 4202560 3289 0 0 0 2820 20 0 0 15 0 8 0 179129831 153370624 15318 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=859/tid=992] ppid=858 vsize=150800 CPUtime=59.9 /proc/859/task/992/stat : 992 (pb_cplex) R 858 858 668 0 -1 4202560 3446 0 0 0 5945 45 0 0 15 0 8 0 179129831 154419200 15614 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=859/tid=993] ppid=858 vsize=150800 CPUtime=60.37 /proc/859/task/993/stat : 993 (pb_cplex) R 858 858 668 0 -1 4202560 2810 0 0 0 5991 46 0 0 15 0 8 0 179129831 154419200 15614 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=859/tid=994] ppid=858 vsize=150800 CPUtime=60.1 /proc/859/task/994/stat : 994 (pb_cplex) R 858 858 668 0 -1 4202560 4874 0 0 0 5965 45 0 0 15 0 8 0 179129831 154419200 15614 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=859/tid=995] ppid=858 vsize=150800 CPUtime=60.46 /proc/859/task/995/stat : 995 (pb_cplex) R 858 858 668 0 -1 4202560 4967 0 0 0 5996 50 0 0 15 0 8 0 179129831 154419200 15614 4089446400 134512640 146736320 4289665104 18446744073709551615 139043579 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=859/tid=996] ppid=858 vsize=150800 CPUtime=60.11 /proc/859/task/996/stat : 996 (pb_cplex) R 858 858 668 0 -1 4202560 8658 0 0 0 5961 50 0 0 15 0 8 0 179129831 154419200 15614 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=859/tid=997] ppid=858 vsize=150800 CPUtime=60.8 /proc/859/task/997/stat : 997 (pb_cplex) R 858 858 668 0 -1 4202560 2748 0 0 0 6029 51 0 0 15 0 8 0 179129831 154419200 15614 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 601.24 Current children cumulated vsize (KiB) 159500 [startup+179.113 s] /proc/loadavg: 8.70 3.99 1.54 10/195 1001 /proc/meminfo: memFree=30820708/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=150800 CPUtime=624.53 /proc/859/stat : 859 (pb_cplex) S 858 858 668 0 -1 4202496 118518 0 0 0 61953 500 0 0 16 0 8 0 179125911 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/859/statm: 37700 15589 1107 2985 0 34242 0 [pid=859/tid=991] ppid=858 vsize=150800 CPUtime=63.44 /proc/859/task/991/stat : 991 (pb_cplex) R 858 858 668 0 -1 4202560 3779 0 0 0 6294 50 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=859/tid=992] ppid=858 vsize=150800 CPUtime=62.78 /proc/859/task/992/stat : 992 (pb_cplex) S 858 858 668 0 -1 4202560 3586 0 0 0 6231 47 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 0 0 0 0 [pid=859/tid=993] ppid=858 vsize=150800 CPUtime=63.31 /proc/859/task/993/stat : 993 (pb_cplex) S 858 858 668 0 -1 4202560 2931 0 0 0 6284 47 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 4 0 0 0 [pid=859/tid=994] ppid=858 vsize=150800 CPUtime=62.99 /proc/859/task/994/stat : 994 (pb_cplex) R 858 858 668 0 -1 4202560 4877 0 0 0 6252 47 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=859/tid=995] ppid=858 vsize=150800 CPUtime=63.36 /proc/859/task/995/stat : 995 (pb_cplex) R 858 858 668 0 -1 4202560 5062 0 0 0 6283 53 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=859/tid=996] ppid=858 vsize=150800 CPUtime=62.96 /proc/859/task/996/stat : 996 (pb_cplex) R 858 858 668 0 -1 4202560 9071 0 0 0 6243 53 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=859/tid=997] ppid=858 vsize=150800 CPUtime=63.75 /proc/859/task/997/stat : 997 (pb_cplex) R 858 858 668 0 -1 4202560 2816 0 0 0 6322 53 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 137461474 0 2 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 624.53 Current children cumulated vsize (KiB) 159500 [startup+182.301 s] /proc/loadavg: 8.89 4.11 1.59 10/195 1001 /proc/meminfo: memFree=30820088/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=150800 CPUtime=635.74 /proc/859/stat : 859 (pb_cplex) S 858 858 668 0 -1 4202496 118690 0 0 0 63061 513 0 0 16 0 8 0 179125911 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 /proc/859/statm: 37700 15589 1107 2985 0 34242 0 [pid=859/tid=991] ppid=858 vsize=150800 CPUtime=64.81 /proc/859/task/991/stat : 991 (pb_cplex) S 858 858 668 0 -1 4202560 3902 0 0 0 6429 52 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 1 0 0 0 [pid=859/tid=992] ppid=858 vsize=150800 CPUtime=64.16 /proc/859/task/992/stat : 992 (pb_cplex) R 858 858 668 0 -1 4202560 3588 0 0 0 6368 48 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=859/tid=993] ppid=858 vsize=150800 CPUtime=64.7 /proc/859/task/993/stat : 993 (pb_cplex) R 858 858 668 0 -1 4202560 2931 0 0 0 6421 49 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=859/tid=994] ppid=858 vsize=150800 CPUtime=64.32 /proc/859/task/994/stat : 994 (pb_cplex) R 858 858 668 0 -1 4202560 4877 0 0 0 6383 49 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=859/tid=995] ppid=858 vsize=150800 CPUtime=64.72 /proc/859/task/995/stat : 995 (pb_cplex) S 858 858 668 0 -1 4202560 5062 0 0 0 6418 54 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 2 0 0 0 [pid=859/tid=996] ppid=858 vsize=150800 CPUtime=64.36 /proc/859/task/996/stat : 996 (pb_cplex) R 858 858 668 0 -1 4202560 9071 0 0 0 6382 54 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=859/tid=997] ppid=858 vsize=150800 CPUtime=65.13 /proc/859/task/997/stat : 997 (pb_cplex) R 858 858 668 0 -1 4202560 2817 0 0 0 6459 54 0 0 15 0 8 0 179129831 154419200 15589 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 635.74 Current children cumulated vsize (KiB) 159500 [startup+183.901 s] /proc/loadavg: 8.89 4.11 1.59 8/195 1001 /proc/meminfo: memFree=30821356/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=150800 CPUtime=640.7 /proc/859/stat : 859 (pb_cplex) S 858 858 668 0 -1 4202496 118912 0 0 0 63553 517 0 0 15 0 8 0 179125911 154419200 15409 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/859/statm: 37700 15409 1107 2985 0 34242 0 [pid=859/tid=991] ppid=858 vsize=150800 CPUtime=65.43 /proc/859/task/991/stat : 991 (pb_cplex) S 858 858 668 0 -1 4202560 3958 0 0 0 6491 52 0 0 15 0 8 0 179129831 154419200 15409 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=992] ppid=858 vsize=150800 CPUtime=64.79 /proc/859/task/992/stat : 992 (pb_cplex) R 858 858 668 0 -1 4202560 3588 0 0 0 6431 48 0 0 15 0 8 0 179129831 154419200 15409 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=859/tid=993] ppid=858 vsize=150800 CPUtime=65.29 /proc/859/task/993/stat : 993 (pb_cplex) S 858 858 668 0 -1 4202560 2959 0 0 0 6480 49 0 0 15 0 8 0 179129831 154419200 15409 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=994] ppid=858 vsize=150800 CPUtime=64.95 /proc/859/task/994/stat : 994 (pb_cplex) S 858 858 668 0 -1 4202560 4877 0 0 0 6445 50 0 0 15 0 8 0 179129831 154419200 15409 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 3 0 0 0 [pid=859/tid=995] ppid=858 vsize=150800 CPUtime=65.35 /proc/859/task/995/stat : 995 (pb_cplex) S 858 858 668 0 -1 4202560 5062 0 0 0 6480 55 0 0 15 0 8 0 179129831 154419200 15409 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 7 0 0 0 [pid=859/tid=996] ppid=858 vsize=150800 CPUtime=64.99 /proc/859/task/996/stat : 996 (pb_cplex) S 858 858 668 0 -1 4202560 9209 0 0 0 6444 55 0 0 15 0 8 0 179129831 154419200 15409 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 5 0 0 0 [pid=859/tid=997] ppid=858 vsize=150800 CPUtime=65.69 /proc/859/task/997/stat : 997 (pb_cplex) S 858 858 668 0 -1 4202560 2817 0 0 0 6514 55 0 0 15 0 8 0 179129831 154419200 15409 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 640.7 Current children cumulated vsize (KiB) 159500 [startup+184.707 s] /proc/loadavg: 8.89 4.11 1.59 10/195 1001 /proc/meminfo: memFree=30821108/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=150800 CPUtime=643.59 /proc/859/stat : 859 (pb_cplex) R 858 858 668 0 -1 4202496 119011 0 0 0 63839 520 0 0 15 0 8 0 179125911 154419200 15407 4089446400 134512640 146736320 4289665104 18446744073709551615 135999621 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/859/statm: 37700 15407 1107 2985 0 34242 0 [pid=859/tid=991] ppid=858 vsize=150800 CPUtime=65.79 /proc/859/task/991/stat : 991 (pb_cplex) R 858 858 668 0 -1 4202560 3958 0 0 0 6527 52 0 0 15 0 8 0 179129831 154419200 15407 4089446400 134512640 146736320 4289665104 18446744073709551615 136019021 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=859/tid=992] ppid=858 vsize=150800 CPUtime=65.18 /proc/859/task/992/stat : 992 (pb_cplex) R 858 858 668 0 -1 4202560 3588 0 0 0 6469 49 0 0 15 0 8 0 179129831 154419200 15407 4089446400 134512640 146736320 4289665104 18446744073709551615 139046538 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=859/tid=993] ppid=858 vsize=150800 CPUtime=65.63 /proc/859/task/993/stat : 993 (pb_cplex) R 858 858 668 0 -1 4202560 2980 0 0 0 6514 49 0 0 15 0 8 0 179129831 154419200 15407 4089446400 134512640 146736320 4289665104 18446744073709551615 135854513 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=859/tid=994] ppid=858 vsize=150800 CPUtime=65.31 /proc/859/task/994/stat : 994 (pb_cplex) R 858 858 668 0 -1 4202560 4877 0 0 0 6481 50 0 0 15 0 8 0 179129831 154419200 15407 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=859/tid=995] ppid=858 vsize=150800 CPUtime=65.72 /proc/859/task/995/stat : 995 (pb_cplex) R 858 858 668 0 -1 4202560 5062 0 0 0 6517 55 0 0 15 0 8 0 179129831 154419200 15407 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=859/tid=996] ppid=858 vsize=150800 CPUtime=65.36 /proc/859/task/996/stat : 996 (pb_cplex) R 858 858 668 0 -1 4202560 9287 0 0 0 6480 56 0 0 15 0 8 0 179129831 154419200 15407 4089446400 134512640 146736320 4289665104 18446744073709551615 137334480 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=859/tid=997] ppid=858 vsize=150800 CPUtime=65.98 /proc/859/task/997/stat : 997 (pb_cplex) R 858 858 668 0 -1 4202560 2817 0 0 0 6543 55 0 0 15 0 8 0 179129831 154419200 15407 4089446400 134512640 146736320 4289665104 18446744073709551615 135846463 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 643.59 Current children cumulated vsize (KiB) 159500 [startup+185.131 s] /proc/loadavg: 8.89 4.11 1.59 10/195 1001 /proc/meminfo: memFree=30821108/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=148752 CPUtime=645.06 /proc/859/stat : 859 (pb_cplex) S 858 858 668 0 -1 4202496 119081 0 0 0 63983 523 0 0 15 0 8 0 179125911 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/859/statm: 37188 15113 1107 2985 0 33730 0 [pid=859/tid=991] ppid=858 vsize=148752 CPUtime=65.98 /proc/859/task/991/stat : 991 (pb_cplex) S 858 858 668 0 -1 4202560 3958 0 0 0 6545 53 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=992] ppid=858 vsize=148752 CPUtime=65.38 /proc/859/task/992/stat : 992 (pb_cplex) R 858 858 668 0 -1 4202560 3608 0 0 0 6489 49 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=859/tid=993] ppid=858 vsize=148752 CPUtime=65.83 /proc/859/task/993/stat : 993 (pb_cplex) R 858 858 668 0 -1 4202560 2980 0 0 0 6533 50 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=859/tid=994] ppid=858 vsize=148752 CPUtime=65.49 /proc/859/task/994/stat : 994 (pb_cplex) R 858 858 668 0 -1 4202560 4877 0 0 0 6498 51 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=859/tid=995] ppid=858 vsize=148752 CPUtime=65.88 /proc/859/task/995/stat : 995 (pb_cplex) S 858 858 668 0 -1 4202560 5062 0 0 0 6533 55 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=996] ppid=858 vsize=148752 CPUtime=65.54 /proc/859/task/996/stat : 996 (pb_cplex) S 858 858 668 0 -1 4202560 9316 0 0 0 6498 56 0 0 16 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=997] ppid=858 vsize=148752 CPUtime=66.16 /proc/859/task/997/stat : 997 (pb_cplex) S 858 858 668 0 -1 4202560 2817 0 0 0 6561 55 0 0 16 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 645.06 Current children cumulated vsize (KiB) 157452 [startup+185.202 s] /proc/loadavg: 8.89 4.11 1.59 10/195 1001 /proc/meminfo: memFree=30821108/32951124 swapFree=67111528/67111528 [pid=858] ppid=850 vsize=8700 CPUtime=0 /proc/858/stat : 858 (run) S 850 858 668 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 179125911 8908800 249 4089446400 4194304 4922060 140737166455936 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/858/statm: 2175 249 208 178 0 68 0 [pid=859] ppid=858 vsize=148752 CPUtime=645.3 /proc/859/stat : 859 (pb_cplex) S 858 858 668 0 -1 4202496 119081 0 0 0 64007 523 0 0 15 0 8 0 179125911 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/859/statm: 37188 15113 1107 2985 0 33730 0 [pid=859/tid=991] ppid=858 vsize=148752 CPUtime=65.98 /proc/859/task/991/stat : 991 (pb_cplex) S 858 858 668 0 -1 4202560 3958 0 0 0 6545 53 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=992] ppid=858 vsize=148752 CPUtime=65.39 /proc/859/task/992/stat : 992 (pb_cplex) S 858 858 668 0 -1 4202560 3608 0 0 0 6490 49 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=993] ppid=858 vsize=148752 CPUtime=65.87 /proc/859/task/993/stat : 993 (pb_cplex) S 858 858 668 0 -1 4202560 2980 0 0 0 6537 50 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 2 0 0 0 [pid=859/tid=994] ppid=858 vsize=148752 CPUtime=65.56 /proc/859/task/994/stat : 994 (pb_cplex) S 858 858 668 0 -1 4202560 4877 0 0 0 6505 51 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 1 0 0 0 [pid=859/tid=995] ppid=858 vsize=148752 CPUtime=65.91 /proc/859/task/995/stat : 995 (pb_cplex) S 858 858 668 0 -1 4202560 5062 0 0 0 6536 55 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=996] ppid=858 vsize=148752 CPUtime=65.57 /proc/859/task/996/stat : 996 (pb_cplex) S 858 858 668 0 -1 4202560 9316 0 0 0 6501 56 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144580073 0 2 4096 16387 18446604453979226368 0 0 -1 6 0 0 0 [pid=859/tid=997] ppid=858 vsize=148752 CPUtime=66.22 /proc/859/task/997/stat : 997 (pb_cplex) R 858 858 668 0 -1 4202560 2817 0 0 0 6567 55 0 0 15 0 8 0 179129831 152322048 15113 4089446400 134512640 146736320 4289665104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 645.3 Current children cumulated vsize (KiB) 157452 Child status: 0 Real time (s): 185.284 CPU time (s): 645.42 CPU user time (s): 640.181 CPU system time (s): 5.2392 CPU usage (%): 348.34 Max. virtual memory (cumulated for all children) (KiB): 178584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 640.181 system time used= 5.2392 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119475 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= 116561 involuntary context switches= 13622 runsolver used 0.363944 second user time and 0.741887 second system time The end
Begin job on node118 at 2010-07-02 09:14:23 IDJOB=2697813 IDBENCH=78887 IDSOLVER=1210 FILE ID=node118/2697813-1278054863 PBS_JOBID= 11198945 Free space on /tmp= 74192 MiB SOLVER NAME= pb_cplex 2010-07-01 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697813-1278054863/watcher-2697813-1278054863 -o /tmp/evaluation-result-2697813-1278054863/solver-2697813-1278054863 -C 1800 -W 2000 -M 3800 run HOME/instance-2697813-1278054863.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b6831e02f19f517e205ea45f0a3f162b RANDOM SEED=893539541 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.83 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.791 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.75 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.791 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.83 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30936408 kB Buffers: 217700 kB Cached: 1583984 kB SwapCached: 0 kB Active: 642388 kB Inactive: 1224652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30936408 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 33496 kB Writeback: 0 kB AnonPages: 64832 kB Mapped: 15792 kB Slab: 84180 kB PageTables: 4516 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 206408 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= 74176 MiB End job on node118 at 2010-07-02 09:17:29