Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb_cplex 2010-06-29 | ? (TO) | 1800.01 | 1719.72 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1209_1.std.opb |
MD5SUM | 7659daf228cc7c2442c50ab8d9f96b57 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 88 |
Best CPU time to get the best result obtained on this benchmark | 21.9697 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 72842 |
Total number of constraints | 234247 |
Number of constraints which are clauses | 233047 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
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 opb file format. File HOME/instance-2696800-1278446193.opb. 0.00/0.00 c Instance file HOME/instance-2696800-1278446193.opb 0.00/0.00 c File size is 7317130 bytes. 3.49/3.54 c Highest Coefficient sum: 383 3.49/3.54 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 3.79/3.97 c ============================[ Problem Statistics ]============================= 3.79/3.97 c | | 3.79/3.97 c | Parsing time: 3.75 s | 3.79/3.97 c | Number Variables: 72842 | 3.89/4.04 c | Number Constraints: 234247 | 3.89/4.04 c =============================================================================== 1800.01/1719.71 c Remaining time 1796.20 sec. 1800.01/1719.71 c 1800.01/1719.71 c *** INTERRUPTED *** 1800.01/1719.71 s UNKNOWN 1800.01/1719.71 c Total CPU time : 1796.13 s 1800.01/1719.71 c Memory used : 241.15 MB 1800.01/1719.71 c CPU time : 1796.13 s 1800.01/1719.71 c 1800.01/1719.71 c *** INTERRUPTED ***
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2696800-1278446193/watcher-2696800-1278446193 -o /tmp/evaluation-result-2696800-1278446193/solver-2696800-1278446193 -C 1800 -W 2000 -M 1800 run HOME/instance-2696800-1278446193.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.89 0.97 0.99 3/106 22440 /proc/meminfo: memFree=1824180/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [startup+0.052895 s] /proc/loadavg: 0.89 0.97 0.99 3/106 22440 /proc/meminfo: memFree=1824180/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101901 s] /proc/loadavg: 0.89 0.97 0.99 3/106 22440 /proc/meminfo: memFree=1824180/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300923 s] /proc/loadavg: 0.89 0.97 0.99 3/106 22440 /proc/meminfo: memFree=1824180/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700967 s] /proc/loadavg: 0.89 0.97 0.99 3/106 22440 /proc/meminfo: memFree=1824180/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50206 s] /proc/loadavg: 0.89 0.97 0.99 2/108 22442 /proc/meminfo: memFree=1796636/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=59796 CPUtime=1.48 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 11718 0 0 0 144 4 0 0 25 0 1 0 12833075 61231104 11148 1992294400 134512640 146736320 4293268944 18446744073709551615 144735123 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22441/statm: 14949 11149 1408 2985 0 10096 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 68496 [startup+3.10124 s] /proc/loadavg: 0.89 0.97 0.99 2/108 22442 /proc/meminfo: memFree=1771216/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=78740 CPUtime=3.09 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 17341 0 0 0 302 7 0 0 25 0 1 0 12833075 80629760 16258 1992294400 134512640 146736320 4293268944 18446744073709551615 134543014 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22441/statm: 19685 16258 2018 2985 0 14832 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 87440 [startup+6.30159 s] /proc/loadavg: 0.90 0.97 0.99 2/108 22442 /proc/meminfo: memFree=1688976/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=160040 CPUtime=6.19 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 63533 0 11 0 595 24 0 0 22 0 1 0 12833075 163880960 34401 1992294400 134512640 146736320 4293268944 18446744073709551615 138730248 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 40010 34401 794 2985 0 36552 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 168740 [startup+12.7013 s] /proc/loadavg: 0.91 0.97 0.99 2/108 22443 /proc/meminfo: memFree=1573408/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=466516 CPUtime=12.59 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 138831 0 11 0 1201 58 0 0 25 0 1 0 12833075 477712384 63108 1992294400 134512640 146736320 4293268944 18446744073709551615 139044550 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 116629 63108 899 2985 0 113171 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 475216 [startup+25.5017 s] /proc/loadavg: 0.93 0.97 0.99 2/108 22444 /proc/meminfo: memFree=1568448/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=469980 CPUtime=25.39 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 151739 0 11 0 2476 63 0 0 25 0 1 0 12833075 481259520 64190 1992294400 134512640 146736320 4293268944 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 117495 64190 898 2985 0 114037 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 478680 [startup+51.1016 s] /proc/loadavg: 0.95 0.97 0.99 2/108 22444 /proc/meminfo: memFree=1563488/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=474136 CPUtime=50.97 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 166008 0 11 0 5029 68 0 0 25 0 1 0 12833075 485515264 65459 1992294400 134512640 146736320 4293268944 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 118534 65459 898 2985 0 115076 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 482836 [startup+102.309 s] /proc/loadavg: 0.98 0.97 0.99 2/108 22446 /proc/meminfo: memFree=1555304/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=480556 CPUtime=102.16 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 197535 0 11 0 10133 83 0 0 25 0 1 0 12833075 492089344 67462 1992294400 134512640 146736320 4293268944 18446744073709551615 136475798 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 120139 67462 898 2985 0 116681 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 489256 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22447 /proc/meminfo: memFree=1554064/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=481020 CPUtime=162.14 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 212002 0 11 0 16124 90 0 0 25 0 1 0 12833075 492564480 67695 1992294400 134512640 146736320 4293268944 18446744073709551615 136413871 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 120255 67695 898 2985 0 116797 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 489720 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22448 /proc/meminfo: memFree=1552948/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=482128 CPUtime=222.12 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 240439 0 11 0 22110 102 0 0 25 0 1 0 12833075 493699072 67961 1992294400 134512640 146736320 4293268944 18446744073709551615 136384857 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 120532 67961 898 2985 0 117074 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 490828 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22459 /proc/meminfo: memFree=1551460/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=483184 CPUtime=282.08 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 264045 0 11 0 28097 111 0 0 25 0 1 0 12833075 494780416 68232 1992294400 134512640 146736320 4293268944 18446744073709551615 136017512 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 120796 68232 898 2985 0 117338 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 491884 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22461 /proc/meminfo: memFree=1551212/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=483388 CPUtime=342.07 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 281994 0 11 0 34089 118 0 0 25 0 1 0 12833075 494989312 68286 1992294400 134512640 146736320 4293268944 18446744073709551615 136017804 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 120847 68286 898 2985 0 117389 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 492088 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22463 /proc/meminfo: memFree=1551088/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=483432 CPUtime=402.04 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 298194 0 11 0 40080 124 0 0 25 0 1 0 12833075 495034368 68295 1992294400 134512640 146736320 4293268944 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 8 /proc/22441/statm: 120858 68295 898 2985 0 117400 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 492132 [startup+462.301 s] ################ # More data... # ################ [pid=22441] ppid=22440 vsize=225716 CPUtime=1181.8 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 780391 0 11 0 117872 308 0 0 25 0 2 0 12833075 231133184 45299 1992294400 134512640 146736320 4293268944 18446744073709551615 136475798 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 56429 45299 1069 2985 0 52971 0 [pid=22441/tid=22485] ppid=22440 vsize=225716 CPUtime=0 /proc/22441/task/22485/stat : 22485 (pb_cplex) S 22440 22440 22379 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 2 0 12947156 231133184 45299 1992294400 134512640 146736320 4293268944 18446744073709551615 144580073 0 2 4096 16387 18446604437812771904 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 234416 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/109 22487 /proc/meminfo: memFree=1643460/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=229408 CPUtime=1241.78 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 799470 0 11 0 123862 316 0 0 25 0 2 0 12833075 234913792 45668 1992294400 134512640 146736320 4293268944 18446744073709551615 139023073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 57352 45668 1069 2985 0 53894 0 [pid=22441/tid=22485] ppid=22440 vsize=229408 CPUtime=0 /proc/22441/task/22485/stat : 22485 (pb_cplex) S 22440 22440 22379 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 2 0 12947156 234913792 45668 1992294400 134512640 146736320 4293268944 18446744073709551615 144580073 0 2 4096 16387 18446604437812771904 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 238108 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/109 22489 /proc/meminfo: memFree=1643212/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=226164 CPUtime=1301.78 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 816179 0 11 0 129854 324 0 0 25 0 2 0 12833075 231591936 45356 1992294400 134512640 146736320 4293268944 18446744073709551615 135468697 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 56541 45356 1071 2985 0 53083 0 [pid=22441/tid=22485] ppid=22440 vsize=226164 CPUtime=0 /proc/22441/task/22485/stat : 22485 (pb_cplex) S 22440 22440 22379 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 2 0 12947156 231591936 45356 1992294400 134512640 146736320 4293268944 18446744073709551615 144580073 0 2 4096 16387 18446604437812771904 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 234864 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/109 22493 /proc/meminfo: memFree=1642840/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=226376 CPUtime=1361.75 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 834134 0 11 0 135844 331 0 0 25 0 2 0 12833075 231809024 45384 1992294400 134512640 146736320 4293268944 18446744073709551615 136400477 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 56594 45384 1071 2985 0 53136 0 [pid=22441/tid=22485] ppid=22440 vsize=226376 CPUtime=0 /proc/22441/task/22485/stat : 22485 (pb_cplex) S 22440 22440 22379 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 2 0 12947156 231809024 45384 1992294400 134512640 146736320 4293268944 18446744073709551615 144580073 0 2 4096 16387 18446604437812771904 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 235076 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/109 22494 /proc/meminfo: memFree=1642964/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=226400 CPUtime=1421.75 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 849453 0 11 0 141837 338 0 0 25 0 2 0 12833075 231833600 45393 1992294400 134512640 146736320 4293268944 18446744073709551615 139046472 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 56600 45393 1071 2985 0 53142 0 [pid=22441/tid=22485] ppid=22440 vsize=226400 CPUtime=0 /proc/22441/task/22485/stat : 22485 (pb_cplex) S 22440 22440 22379 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 2 0 12947156 231833600 45393 1992294400 134512640 146736320 4293268944 18446744073709551615 144580073 0 2 4096 16387 18446604437812771904 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 235100 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/109 22496 /proc/meminfo: memFree=1642840/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=226424 CPUtime=1481.72 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 864993 0 11 0 147826 346 0 0 25 0 2 0 12833075 231858176 45400 1992294400 134512640 146736320 4293268944 18446744073709551615 136017752 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 56606 45400 1071 2985 0 53148 0 [pid=22441/tid=22485] ppid=22440 vsize=226424 CPUtime=0 /proc/22441/task/22485/stat : 22485 (pb_cplex) S 22440 22440 22379 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 2 0 12947156 231858176 45400 1992294400 134512640 146736320 4293268944 18446744073709551615 144580073 0 2 4096 16387 18446604437812771904 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 235124 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/109 22498 /proc/meminfo: memFree=1642096/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=226432 CPUtime=1541.71 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 881943 0 11 0 153819 352 0 0 25 0 2 0 12833075 231866368 45574 1992294400 134512640 146736320 4293268944 18446744073709551615 139046511 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 56608 45574 1071 2985 0 53150 0 [pid=22441/tid=22485] ppid=22440 vsize=226432 CPUtime=0 /proc/22441/task/22485/stat : 22485 (pb_cplex) S 22440 22440 22379 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 2 0 12947156 231866368 45574 1992294400 134512640 146736320 4293268944 18446744073709551615 144580073 0 2 4096 16387 18446604437812771904 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 235132 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/109 22500 /proc/meminfo: memFree=1642096/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=226432 CPUtime=1601.69 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 899153 0 11 0 159810 359 0 0 25 0 2 0 12833075 231866368 45574 1992294400 134512640 146736320 4293268944 18446744073709551615 136017755 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 56608 45574 1071 2985 0 53150 0 [pid=22441/tid=22485] ppid=22440 vsize=226432 CPUtime=0 /proc/22441/task/22485/stat : 22485 (pb_cplex) S 22440 22440 22379 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 2 0 12947156 231866368 45574 1992294400 134512640 146736320 4293268944 18446744073709551615 144580073 0 2 4096 16387 18446604437812771904 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 235132 [startup+1662.3 s] /proc/loadavg: 1.39 1.07 1.02 3/109 22501 /proc/meminfo: memFree=1626844/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=246908 CPUtime=1685.65 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 927369 0 11 0 168192 373 0 0 25 0 2 0 12833075 252833792 49343 1992294400 134512640 146736320 4293268944 18446744073709551615 135855165 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 61727 49343 1071 2985 0 58269 0 [pid=22441/tid=22485] ppid=22440 vsize=246908 CPUtime=23.97 /proc/22441/task/22485/stat : 22485 (pb_cplex) R 22440 22440 22379 0 -1 4202560 10223 0 0 0 2392 5 0 0 25 0 2 0 12947156 252833792 49343 1992294400 134512640 146736320 4293268944 18446744073709551615 135855174 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1685.65 Current children cumulated vsize (KiB) 255608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1719.7 s] /proc/loadavg: 1.78 1.23 1.08 3/109 22502 /proc/meminfo: memFree=1626720/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=246932 CPUtime=1800.01 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 957232 0 11 0 179612 389 0 0 25 0 2 0 12833075 252858368 49353 1992294400 134512640 146736320 4293268944 18446744073709551615 136403116 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 61733 49353 1071 2985 0 58275 0 [pid=22441/tid=22485] ppid=22440 vsize=246932 CPUtime=80.94 /proc/22441/task/22485/stat : 22485 (pb_cplex) R 22440 22440 22379 0 -1 4202560 26506 0 0 0 8080 14 0 0 25 0 2 0 12947156 252858368 49353 1992294400 134512640 146736320 4293268944 18446744073709551615 136017769 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 255632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1719.7 s] /proc/loadavg: 1.78 1.23 1.08 3/109 22502 /proc/meminfo: memFree=1626720/2059040 swapFree=4175860/4192956 [pid=22440] ppid=22438 vsize=8700 CPUtime=0 /proc/22440/stat : 22440 (run) S 22438 22440 22379 0 -1 4202496 365 0 0 0 0 0 0 0 21 0 1 0 12833075 8908800 249 1992294400 4194304 4922060 140737211138848 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22440/statm: 2175 249 208 178 0 68 0 [pid=22441] ppid=22440 vsize=246932 CPUtime=1800.01 /proc/22441/stat : 22441 (pb_cplex) R 22440 22440 22379 0 -1 4202496 957232 0 11 0 179612 389 0 0 25 0 2 0 12833075 252858368 49353 1992294400 134512640 146736320 4293268944 18446744073709551615 136403116 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 8 /proc/22441/statm: 61733 49353 1071 2985 0 58275 0 [pid=22441/tid=22485] ppid=22440 vsize=246932 CPUtime=80.94 /proc/22441/task/22485/stat : 22485 (pb_cplex) R 22440 22440 22379 0 -1 4202560 26506 0 0 0 8080 14 0 0 25 0 2 0 12947156 252858368 49353 1992294400 134512640 146736320 4293268944 18446744073709551615 136017769 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 255632 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22440 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.001999 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1719.72 CPU time (s): 1800.01 CPU user time (s): 1796.12 CPU system time (s): 3.89 CPU usage (%): 104.669 Max. virtual memory (cumulated for all children) (KiB): 692936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 365 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= 2 involuntary context switches= 2 runsolver used 2.92355 second user time and 8.11177 second system time The end
Begin job on node005 at 2010-07-06 21:56:33 IDJOB=2696800 IDBENCH=77300 IDSOLVER=1209 FILE ID=node005/2696800-1278446193 PBS_JOBID= 11233498 Free space on /tmp= 62536 MiB SOLVER NAME= pb_cplex 2010-06-29 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1209_1.std.opb COMMAND LINE= run BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2696800-1278446193/watcher-2696800-1278446193 -o /tmp/evaluation-result-2696800-1278446193/solver-2696800-1278446193 -C 1800 -W 2000 -M 1800 run HOME/instance-2696800-1278446193.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7659daf228cc7c2442c50ab8d9f96b57 RANDOM SEED=841949026 node005.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1824320 kB Buffers: 5392 kB Cached: 112304 kB SwapCached: 124 kB Active: 46924 kB Inactive: 113928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1824320 kB SwapTotal: 4192956 kB SwapFree: 4175860 kB Dirty: 24000 kB Writeback: 0 kB AnonPages: 43028 kB Mapped: 14460 kB Slab: 51916 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179136 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2696800-1278446193.opb Free space on /tmp at the end= 62520 MiB End job on node005 at 2010-07-06 22:25:16