Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pb_cplex 2010-07-01 | OPTIMUM | 894.772 | 196.628 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo |
MD5SUM | 81f3c07bf85fb8fa2211498324cd1b10 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 325.622 |
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 | 136843 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136842 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
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-2697523-1278055876.wbo. 0.00/0.00 c Instance file HOME/instance-2697523-1278055876.wbo 0.00/0.00 c File size is 96750 bytes. 1.43/2.92 c Highest Coefficient sum: 689 1.43/2.92 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 1.46/3.22 c ============================[ Problem Statistics ]============================= 1.46/3.22 c | | 1.46/3.22 c | Parsing time: 1.46 s | 1.46/3.22 c | Number Variables: 2938 | 1.46/3.22 c | Number Constraints: 2708 | 1.46/3.22 c =============================================================================== 894.74/196.62 c Remaining time 1798.54 sec. 894.74/196.62 s OPTIMUM FOUND 894.74/196.62 c Solution value = 2.00 894.74/196.62 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 894.74/196.62 c Total CPU time : 887.185 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-2697523-1278055876/watcher-2697523-1278055876 -o /tmp/evaluation-result-2697523-1278055876/solver-2697523-1278055876 -C 1800 -W 2000 -M 3800 run HOME/instance-2697523-1278055876.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: 11.41 9.89 6.27 10/186 21727 /proc/meminfo: memFree=30591484/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [startup+0.0802759 s] /proc/loadavg: 11.41 9.89 6.27 10/186 21727 /proc/meminfo: memFree=30591484/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.10027 s] /proc/loadavg: 11.41 9.89 6.27 10/186 21727 /proc/meminfo: memFree=30591484/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300232 s] /proc/loadavg: 11.41 9.89 6.27 10/186 21727 /proc/meminfo: memFree=30591484/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700162 s] /proc/loadavg: 11.41 9.89 6.27 10/186 21727 /proc/meminfo: memFree=30591484/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50102 s] /proc/loadavg: 11.41 9.89 6.27 10/188 21729 /proc/meminfo: memFree=30590104/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=13676 CPUtime=0.74 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 611 0 0 0 74 0 0 0 25 0 1 0 146884325 14004224 565 4089446400 134512640 146736320 4288665040 18446744073709551615 140684688 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/21728/statm: 3419 565 303 2985 0 329 0 Current children cumulated CPU time (s) 0.74 Current children cumulated vsize (KiB) 22376 [startup+3.10074 s] /proc/loadavg: 11.41 9.89 6.27 10/188 21729 /proc/meminfo: memFree=30588740/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=17332 CPUtime=1.46 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 1150 0 0 0 146 0 0 0 25 0 1 0 146884325 17747968 1054 4089446400 134512640 146736320 4288665040 18446744073709551615 4294960144 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/21728/statm: 4333 1054 471 2985 0 875 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 26032 heavy processes: [startup+6.30116 s] /proc/loadavg: 11.30 9.89 6.29 11/195 21743 /proc/meminfo: memFree=30560276/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=141252 CPUtime=3.27 /proc/21728/stat : 21728 (pb_cplex) S 21727 21727 20701 0 -1 4202496 17469 0 0 0 323 4 0 0 20 0 8 0 146884325 144642048 11327 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/21728/statm: 35313 11327 1076 2985 0 31855 0 [pid=21728/tid=21737] ppid=21727 vsize=141252 CPUtime=0.11 /proc/21728/task/21737/stat : 21737 (pb_cplex) S 21727 21727 20701 0 -1 4202560 286 0 0 0 11 0 0 0 15 0 8 0 146884826 144642048 11327 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 7 0 0 0 [pid=21728/tid=21738] ppid=21727 vsize=141252 CPUtime=0.13 /proc/21728/task/21738/stat : 21738 (pb_cplex) S 21727 21727 20701 0 -1 4202560 678 0 0 0 13 0 0 0 15 0 8 0 146884826 144642048 11327 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 2 0 0 0 [pid=21728/tid=21739] ppid=21727 vsize=141252 CPUtime=0.14 /proc/21728/task/21739/stat : 21739 (pb_cplex) S 21727 21727 20701 0 -1 4202560 648 0 0 0 14 0 0 0 15 0 8 0 146884826 144642048 11327 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 0 0 0 0 [pid=21728/tid=21740] ppid=21727 vsize=141252 CPUtime=0.1 /proc/21728/task/21740/stat : 21740 (pb_cplex) S 21727 21727 20701 0 -1 4202560 171 0 0 0 10 0 0 0 16 0 8 0 146884826 144642048 11327 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 4 0 0 0 [pid=21728/tid=21741] ppid=21727 vsize=141252 CPUtime=0.13 /proc/21728/task/21741/stat : 21741 (pb_cplex) S 21727 21727 20701 0 -1 4202560 147 0 0 0 13 0 0 0 17 0 8 0 146884835 144642048 11327 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 5 0 0 0 [pid=21728/tid=21742] ppid=21727 vsize=141252 CPUtime=0.11 /proc/21728/task/21742/stat : 21742 (pb_cplex) S 21727 21727 20701 0 -1 4202560 337 0 0 0 11 0 0 0 18 0 8 0 146884835 144642048 11327 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 1 0 0 0 [pid=21728/tid=21743] ppid=21727 vsize=141252 CPUtime=0.14 /proc/21728/task/21743/stat : 21743 (pb_cplex) R 21727 21727 20701 0 -1 4202560 464 0 0 0 14 0 0 0 25 0 8 0 146884835 144642048 11327 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.27 Current children cumulated vsize (KiB) 149952 heavy processes: [startup+12.713 s] /proc/loadavg: 11.12 9.88 6.30 18/196 21768 /proc/meminfo: memFree=30522092/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=146476 CPUtime=20.75 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 26443 0 0 0 2057 18 0 0 25 0 8 0 146884325 149991424 14457 4089446400 134512640 146736320 4288665040 18446744073709551615 135920669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/21728/statm: 36619 14457 1081 2985 0 33161 0 [pid=21728/tid=21758] ppid=21727 vsize=146476 CPUtime=1.59 /proc/21728/task/21758/stat : 21758 (pb_cplex) R 21727 21727 20701 0 -1 4202560 450 0 0 0 158 1 0 0 15 0 8 0 146885197 149991424 14457 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21728/tid=21759] ppid=21727 vsize=146476 CPUtime=1.99 /proc/21728/task/21759/stat : 21759 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1862 0 0 0 198 1 0 0 15 0 8 0 146885197 149991424 14457 4089446400 134512640 146736320 4288665040 18446744073709551615 135854505 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21728/tid=21760] ppid=21727 vsize=146476 CPUtime=1.22 /proc/21728/task/21760/stat : 21760 (pb_cplex) R 21727 21727 20701 0 -1 4202560 357 0 0 0 122 0 0 0 15 0 8 0 146885197 149991424 14457 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21728/tid=21761] ppid=21727 vsize=146476 CPUtime=1.32 /proc/21728/task/21761/stat : 21761 (pb_cplex) R 21727 21727 20701 0 -1 4202560 720 0 0 0 132 0 0 0 15 0 8 0 146885197 149991424 14457 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21728/tid=21762] ppid=21727 vsize=146476 CPUtime=1.4 /proc/21728/task/21762/stat : 21762 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1159 0 0 0 140 0 0 0 15 0 8 0 146885197 149991424 14457 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21728/tid=21763] ppid=21727 vsize=146476 CPUtime=1.74 /proc/21728/task/21763/stat : 21763 (pb_cplex) R 21727 21727 20701 0 -1 4202560 480 0 0 0 173 1 0 0 15 0 8 0 146885197 149991424 14457 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21728/tid=21764] ppid=21727 vsize=146476 CPUtime=1.4 /proc/21728/task/21764/stat : 21764 (pb_cplex) R 21727 21727 20701 0 -1 4202560 527 0 0 0 140 0 0 0 15 0 8 0 146885197 149991424 14457 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 20.75 Current children cumulated vsize (KiB) 155176 [startup+25.5007 s] /proc/loadavg: 11.46 10.03 6.41 14/195 21768 /proc/meminfo: memFree=30529508/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=151596 CPUtime=72.57 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 32617 0 0 0 7183 74 0 0 25 0 8 0 146884325 155234304 15536 4089446400 134512640 146736320 4288665040 18446744073709551615 136746101 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21728/statm: 37899 15536 1081 2985 0 34441 0 [pid=21728/tid=21758] ppid=21727 vsize=151596 CPUtime=7.96 /proc/21728/task/21758/stat : 21758 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2008 0 0 0 789 7 0 0 15 0 8 0 146885197 155234304 15536 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21728/tid=21759] ppid=21727 vsize=151596 CPUtime=8.31 /proc/21728/task/21759/stat : 21759 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3178 0 0 0 823 8 0 0 15 0 8 0 146885197 155234304 15536 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21728/tid=21760] ppid=21727 vsize=151596 CPUtime=7.74 /proc/21728/task/21760/stat : 21760 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1856 0 0 0 769 5 0 0 15 0 8 0 146885197 155234304 15536 4089446400 134512640 146736320 4288665040 18446744073709551615 136403116 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21728/tid=21761] ppid=21727 vsize=151596 CPUtime=7.7 /proc/21728/task/21761/stat : 21761 (pb_cplex) R 21727 21727 20701 0 -1 4202560 878 0 0 0 763 7 0 0 15 0 8 0 146885197 155234304 15536 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21728/tid=21762] ppid=21727 vsize=151596 CPUtime=7.88 /proc/21728/task/21762/stat : 21762 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2186 0 0 0 781 7 0 0 15 0 8 0 146885197 155234304 15536 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21728/tid=21763] ppid=21727 vsize=151596 CPUtime=8.22 /proc/21728/task/21763/stat : 21763 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1049 0 0 0 817 5 0 0 15 0 8 0 146885197 155234304 15536 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21728/tid=21764] ppid=21727 vsize=151596 CPUtime=7.95 /proc/21728/task/21764/stat : 21764 (pb_cplex) R 21727 21727 20701 0 -1 4202560 564 0 0 0 787 8 0 0 15 0 8 0 146885197 155234304 15536 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 72.57 Current children cumulated vsize (KiB) 160296 [startup+51.1012 s] /proc/loadavg: 12.54 10.37 6.61 18/195 21782 /proc/meminfo: memFree=30518204/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=149436 CPUtime=195.87 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 89216 0 0 0 19410 177 0 0 16 0 8 0 146884325 153022464 15201 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21728/statm: 37359 15201 1089 2985 0 33901 0 [pid=21728/tid=21776] ppid=21727 vsize=149436 CPUtime=10.4 /proc/21728/task/21776/stat : 21776 (pb_cplex) R 21727 21727 20701 0 -1 4202560 815 0 0 0 1032 8 0 0 15 0 8 0 146887908 153022464 15201 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21728/tid=21777] ppid=21727 vsize=149436 CPUtime=11.13 /proc/21728/task/21777/stat : 21777 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1211 0 0 0 1104 9 0 0 16 0 8 0 146887908 153022464 15201 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=149436 CPUtime=10.2 /proc/21728/task/21778/stat : 21778 (pb_cplex) R 21727 21727 20701 0 -1 4202560 6810 0 0 0 1014 6 0 0 16 0 8 0 146887908 153022464 15201 4089446400 134512640 146736320 4288665040 18446744073709551615 135453303 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21728/tid=21779] ppid=21727 vsize=149436 CPUtime=9.47 /proc/21728/task/21779/stat : 21779 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2586 0 0 0 939 8 0 0 15 0 8 0 146887908 153022464 15201 4089446400 134512640 146736320 4288665040 18446744073709551615 135964337 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21728/tid=21780] ppid=21727 vsize=149436 CPUtime=9.85 /proc/21728/task/21780/stat : 21780 (pb_cplex) R 21727 21727 20701 0 -1 4202560 6166 0 0 0 977 8 0 0 16 0 8 0 146887908 153022464 15201 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21728/tid=21781] ppid=21727 vsize=149436 CPUtime=10.08 /proc/21728/task/21781/stat : 21781 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1617 0 0 0 1002 6 0 0 15 0 8 0 146887908 153022464 15201 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21728/tid=21782] ppid=21727 vsize=149436 CPUtime=9.69 /proc/21728/task/21782/stat : 21782 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2229 0 0 0 962 7 0 0 16 0 8 0 146887908 153022464 15201 4089446400 134512640 146736320 4288665040 18446744073709551615 135526120 0 2 4096 16387 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 195.87 Current children cumulated vsize (KiB) 158136 [startup+102.301 s] /proc/loadavg: 9.34 9.89 6.65 10/188 21784 /proc/meminfo: memFree=30755444/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=149436 CPUtime=434.44 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 92463 0 0 0 43066 378 0 0 15 0 8 0 146884325 153022464 15240 4089446400 134512640 146736320 4288665040 18446744073709551615 136007039 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/21728/statm: 37359 15240 1089 2985 0 33901 0 [pid=21728/tid=21776] ppid=21727 vsize=149436 CPUtime=40.38 /proc/21728/task/21776/stat : 21776 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1077 0 0 0 4003 35 0 0 17 0 8 0 146887908 153022464 15240 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21728/tid=21777] ppid=21727 vsize=149436 CPUtime=40.78 /proc/21728/task/21777/stat : 21777 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2301 0 0 0 4044 34 0 0 16 0 8 0 146887908 153022464 15240 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=149436 CPUtime=39.93 /proc/21728/task/21778/stat : 21778 (pb_cplex) R 21727 21727 20701 0 -1 4202560 8042 0 0 0 3963 30 0 0 16 0 8 0 146887908 153022464 15240 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=21728/tid=21777] ppid=21727 vsize=149436 CPUtime=87.99 /proc/21728/task/21777/stat : 21777 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2720 0 0 0 8724 75 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=149436 CPUtime=87.3 /proc/21728/task/21778/stat : 21778 (pb_cplex) R 21727 21727 20701 0 -1 4202560 8291 0 0 0 8664 66 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21728/tid=21779] ppid=21727 vsize=149436 CPUtime=86.37 /proc/21728/task/21779/stat : 21779 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3142 0 0 0 8560 77 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21728/tid=21780] ppid=21727 vsize=149436 CPUtime=87.19 /proc/21728/task/21780/stat : 21780 (pb_cplex) R 21727 21727 20701 0 -1 4202560 7075 0 0 0 8647 72 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21728/tid=21781] ppid=21727 vsize=149436 CPUtime=87.18 /proc/21728/task/21781/stat : 21781 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2323 0 0 0 8652 66 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21728/tid=21782] ppid=21727 vsize=149436 CPUtime=86.46 /proc/21728/task/21782/stat : 21782 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3265 0 0 0 8575 71 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 139044499 0 2 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 812.91 Current children cumulated vsize (KiB) 158136 [startup+185.601 s] /proc/loadavg: 6.32 8.80 6.55 3/188 21786 /proc/meminfo: memFree=30878560/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=149436 CPUtime=844.46 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 96838 0 0 0 83734 712 0 0 16 0 8 0 146884325 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 135443437 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/21728/statm: 37359 15276 1089 2985 0 33901 0 [pid=21728/tid=21776] ppid=21727 vsize=149436 CPUtime=91.37 /proc/21728/task/21776/stat : 21776 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1697 0 0 0 9061 76 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21728/tid=21777] ppid=21727 vsize=149436 CPUtime=91.91 /proc/21728/task/21777/stat : 21777 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2721 0 0 0 9113 78 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=149436 CPUtime=91.2 /proc/21728/task/21778/stat : 21778 (pb_cplex) R 21727 21727 20701 0 -1 4202560 8377 0 0 0 9051 69 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21728/tid=21779] ppid=21727 vsize=149436 CPUtime=90.39 /proc/21728/task/21779/stat : 21779 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3145 0 0 0 8958 81 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21728/tid=21780] ppid=21727 vsize=149436 CPUtime=91.15 /proc/21728/task/21780/stat : 21780 (pb_cplex) R 21727 21727 20701 0 -1 4202560 7077 0 0 0 9039 76 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21728/tid=21781] ppid=21727 vsize=149436 CPUtime=91.13 /proc/21728/task/21781/stat : 21781 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2444 0 0 0 9045 68 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21728/tid=21782] ppid=21727 vsize=149436 CPUtime=90.36 /proc/21728/task/21782/stat : 21782 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3268 0 0 0 8961 75 0 0 16 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 844.46 Current children cumulated vsize (KiB) 158136 [startup+192.044 s] /proc/loadavg: 6.54 8.80 6.56 9/188 21786 /proc/meminfo: memFree=30878312/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=149436 CPUtime=874.06 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 96991 0 0 0 86666 740 0 0 15 0 8 0 146884325 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/21728/statm: 37359 15276 1089 2985 0 33901 0 [pid=21728/tid=21776] ppid=21727 vsize=149436 CPUtime=94.96 /proc/21728/task/21776/stat : 21776 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1756 0 0 0 9416 80 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21728/tid=21777] ppid=21727 vsize=149436 CPUtime=95.7 /proc/21728/task/21777/stat : 21777 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2723 0 0 0 9488 82 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=149436 CPUtime=94.97 /proc/21728/task/21778/stat : 21778 (pb_cplex) R 21727 21727 20701 0 -1 4202560 8423 0 0 0 9424 73 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21728/tid=21779] ppid=21727 vsize=149436 CPUtime=94.1 /proc/21728/task/21779/stat : 21779 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3147 0 0 0 9325 85 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 137083807 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21728/tid=21780] ppid=21727 vsize=149436 CPUtime=94.85 /proc/21728/task/21780/stat : 21780 (pb_cplex) R 21727 21727 20701 0 -1 4202560 7078 0 0 0 9406 79 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21728/tid=21781] ppid=21727 vsize=149436 CPUtime=94.77 /proc/21728/task/21781/stat : 21781 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2446 0 0 0 9406 71 0 0 15 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 135857492 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21728/tid=21782] ppid=21727 vsize=149436 CPUtime=93.99 /proc/21728/task/21782/stat : 21782 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3308 0 0 0 9321 78 0 0 16 0 8 0 146887908 153022464 15276 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 874.06 Current children cumulated vsize (KiB) 158136 [startup+195.217 s] /proc/loadavg: 6.73 8.80 6.57 8/188 21786 /proc/meminfo: memFree=30878180/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=146364 CPUtime=888.81 /proc/21728/stat : 21728 (pb_cplex) R 21727 21727 20701 0 -1 4202496 97101 0 0 0 88128 753 0 0 15 0 8 0 146884325 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/21728/statm: 36591 14646 1089 2985 0 33133 0 [pid=21728/tid=21776] ppid=21727 vsize=146364 CPUtime=96.71 /proc/21728/task/21776/stat : 21776 (pb_cplex) R 21727 21727 20701 0 -1 4202560 1756 0 0 0 9589 82 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 136007039 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21728/tid=21777] ppid=21727 vsize=146364 CPUtime=97.53 /proc/21728/task/21777/stat : 21777 (pb_cplex) S 21727 21727 20701 0 -1 4202560 2723 0 0 0 9670 83 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 6 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=146364 CPUtime=96.78 /proc/21728/task/21778/stat : 21778 (pb_cplex) R 21727 21727 20701 0 -1 4202560 8444 0 0 0 9604 74 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 136746113 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21728/tid=21779] ppid=21727 vsize=146364 CPUtime=96.04 /proc/21728/task/21779/stat : 21779 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3148 0 0 0 9517 87 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21728/tid=21780] ppid=21727 vsize=146364 CPUtime=96.71 /proc/21728/task/21780/stat : 21780 (pb_cplex) R 21727 21727 20701 0 -1 4202560 7163 0 0 0 9591 80 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21728/tid=21781] ppid=21727 vsize=146364 CPUtime=96.58 /proc/21728/task/21781/stat : 21781 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2447 0 0 0 9584 74 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21728/tid=21782] ppid=21727 vsize=146364 CPUtime=95.9 /proc/21728/task/21782/stat : 21782 (pb_cplex) R 21727 21727 20701 0 -1 4202560 3309 0 0 0 9511 79 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 888.81 Current children cumulated vsize (KiB) 155064 [startup+196.003 s] /proc/loadavg: 6.73 8.80 6.57 4/188 21786 /proc/meminfo: memFree=30879916/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=146364 CPUtime=891.99 /proc/21728/stat : 21728 (pb_cplex) S 21727 21727 20701 0 -1 4202496 97121 0 0 0 88443 756 0 0 15 0 8 0 146884325 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/21728/statm: 36591 14646 1089 2985 0 33133 0 [pid=21728/tid=21776] ppid=21727 vsize=146364 CPUtime=97.1 /proc/21728/task/21776/stat : 21776 (pb_cplex) S 21727 21727 20701 0 -1 4202560 1756 0 0 0 9628 82 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 7 0 0 0 [pid=21728/tid=21777] ppid=21727 vsize=146364 CPUtime=97.94 /proc/21728/task/21777/stat : 21777 (pb_cplex) S 21727 21727 20701 0 -1 4202560 2723 0 0 0 9710 84 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 6 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=146364 CPUtime=97.27 /proc/21728/task/21778/stat : 21778 (pb_cplex) S 21727 21727 20701 0 -1 4202560 8458 0 0 0 9652 75 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 1 0 0 0 [pid=21728/tid=21779] ppid=21727 vsize=146364 CPUtime=96.41 /proc/21728/task/21779/stat : 21779 (pb_cplex) S 21727 21727 20701 0 -1 4202560 3148 0 0 0 9554 87 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 2 0 0 0 [pid=21728/tid=21780] ppid=21727 vsize=146364 CPUtime=97.12 /proc/21728/task/21780/stat : 21780 (pb_cplex) S 21727 21727 20701 0 -1 4202560 7163 0 0 0 9631 81 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 4 0 0 0 [pid=21728/tid=21781] ppid=21727 vsize=146364 CPUtime=96.91 /proc/21728/task/21781/stat : 21781 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2447 0 0 0 9617 74 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21728/tid=21782] ppid=21727 vsize=146364 CPUtime=96.27 /proc/21728/task/21782/stat : 21782 (pb_cplex) S 21727 21727 20701 0 -1 4202560 3315 0 0 0 9548 79 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 891.99 Current children cumulated vsize (KiB) 155064 [startup+196.401 s] /proc/loadavg: 6.73 8.80 6.57 4/188 21786 /proc/meminfo: memFree=30879916/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=146364 CPUtime=893.56 /proc/21728/stat : 21728 (pb_cplex) S 21727 21727 20701 0 -1 4202496 97121 0 0 0 88599 757 0 0 15 0 8 0 146884325 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/21728/statm: 36591 14646 1089 2985 0 33133 0 [pid=21728/tid=21776] ppid=21727 vsize=146364 CPUtime=97.3 /proc/21728/task/21776/stat : 21776 (pb_cplex) S 21727 21727 20701 0 -1 4202560 1756 0 0 0 9647 83 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 7 0 0 0 [pid=21728/tid=21777] ppid=21727 vsize=146364 CPUtime=98.13 /proc/21728/task/21777/stat : 21777 (pb_cplex) S 21727 21727 20701 0 -1 4202560 2723 0 0 0 9729 84 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 6 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=146364 CPUtime=97.42 /proc/21728/task/21778/stat : 21778 (pb_cplex) R 21727 21727 20701 0 -1 4202560 8458 0 0 0 9667 75 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 136008056 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21728/tid=21779] ppid=21727 vsize=146364 CPUtime=96.6 /proc/21728/task/21779/stat : 21779 (pb_cplex) S 21727 21727 20701 0 -1 4202560 3148 0 0 0 9573 87 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 2 0 0 0 [pid=21728/tid=21780] ppid=21727 vsize=146364 CPUtime=97.31 /proc/21728/task/21780/stat : 21780 (pb_cplex) S 21727 21727 20701 0 -1 4202560 7163 0 0 0 9650 81 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 4 0 0 0 [pid=21728/tid=21781] ppid=21727 vsize=146364 CPUtime=97.17 /proc/21728/task/21781/stat : 21781 (pb_cplex) S 21727 21727 20701 0 -1 4202560 2447 0 0 0 9643 74 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 1 0 0 0 [pid=21728/tid=21782] ppid=21727 vsize=146364 CPUtime=96.46 /proc/21728/task/21782/stat : 21782 (pb_cplex) S 21727 21727 20701 0 -1 4202560 3315 0 0 0 9567 79 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 893.56 Current children cumulated vsize (KiB) 155064 [startup+196.601 s] /proc/loadavg: 6.73 8.80 6.57 4/188 21786 /proc/meminfo: memFree=30879916/32950904 swapFree=67111528/67111528 [pid=21727] ppid=21725 vsize=8700 CPUtime=0 /proc/21727/stat : 21727 (run) S 21725 21727 20701 0 -1 4202496 365 0 0 0 0 0 0 0 19 0 1 0 146884324 8908800 249 4089446400 4194304 4922060 140734930929968 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/21727/statm: 2175 249 208 178 0 68 0 [pid=21728] ppid=21727 vsize=146364 CPUtime=894.74 /proc/21728/stat : 21728 (pb_cplex) S 21727 21727 20701 0 -1 4202496 97317 0 0 0 88716 758 0 0 16 0 8 0 146884325 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/21728/statm: 36591 14646 1089 2985 0 33133 0 [pid=21728/tid=21776] ppid=21727 vsize=146364 CPUtime=97.45 /proc/21728/task/21776/stat : 21776 (pb_cplex) S 21727 21727 20701 0 -1 4202560 1756 0 0 0 9662 83 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 7 0 0 0 [pid=21728/tid=21777] ppid=21727 vsize=146364 CPUtime=98.28 /proc/21728/task/21777/stat : 21777 (pb_cplex) S 21727 21727 20701 0 -1 4202560 2723 0 0 0 9744 84 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 6 0 0 0 [pid=21728/tid=21778] ppid=21727 vsize=146364 CPUtime=97.59 /proc/21728/task/21778/stat : 21778 (pb_cplex) S 21727 21727 20701 0 -1 4202560 8654 0 0 0 9684 75 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 0 0 0 0 [pid=21728/tid=21779] ppid=21727 vsize=146364 CPUtime=96.73 /proc/21728/task/21779/stat : 21779 (pb_cplex) S 21727 21727 20701 0 -1 4202560 3148 0 0 0 9586 87 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 2 0 0 0 [pid=21728/tid=21780] ppid=21727 vsize=146364 CPUtime=97.45 /proc/21728/task/21780/stat : 21780 (pb_cplex) S 21727 21727 20701 0 -1 4202560 7163 0 0 0 9664 81 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 4 0 0 0 [pid=21728/tid=21781] ppid=21727 vsize=146364 CPUtime=97.32 /proc/21728/task/21781/stat : 21781 (pb_cplex) R 21727 21727 20701 0 -1 4202560 2447 0 0 0 9658 74 0 0 16 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21728/tid=21782] ppid=21727 vsize=146364 CPUtime=96.6 /proc/21728/task/21782/stat : 21782 (pb_cplex) S 21727 21727 20701 0 -1 4202560 3315 0 0 0 9580 80 0 0 15 0 8 0 146887908 149876736 14646 4089446400 134512640 146736320 4288665040 18446744073709551615 144580073 0 2 4096 16387 18446604471136784448 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 894.74 Current children cumulated vsize (KiB) 155064 Child status: 0 Real time (s): 196.628 CPU time (s): 894.772 CPU user time (s): 887.185 CPU system time (s): 7.58685 CPU usage (%): 455.058 Max. virtual memory (cumulated for all children) (KiB): 177776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 887.185 system time used= 7.58685 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97712 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= 139051 involuntary context switches= 5999 runsolver used 0.349946 second user time and 0.78388 second system time The end
Begin job on node121 at 2010-07-02 09:31:16 IDJOB=2697523 IDBENCH=79314 IDSOLVER=1210 FILE ID=node121/2697523-1278055876 PBS_JOBID= 11198940 Free space on /tmp= 74188 MiB SOLVER NAME= pb_cplex 2010-07-01 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697523-1278055876/watcher-2697523-1278055876 -o /tmp/evaluation-result-2697523-1278055876/solver-2697523-1278055876 -C 1800 -W 2000 -M 3800 run HOME/instance-2697523-1278055876.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 81f3c07bf85fb8fa2211498324cd1b10 RANDOM SEED=1460950014 node121.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.876 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.75 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.23 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.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.876 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.876 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.82 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.876 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 30592136 kB Buffers: 217352 kB Cached: 1306896 kB SwapCached: 0 kB Active: 1266216 kB Inactive: 940544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 30592136 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 16732 kB Writeback: 0 kB AnonPages: 682404 kB Mapped: 18796 kB Slab: 83396 kB PageTables: 6532 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 1119380 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 node121 at 2010-07-02 09:34:33