Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb_cplex 2010-06-29 | ? (TO) | 1800.19 | 1043.82 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_3.opb |
MD5SUM | f48abdef3d00ab6f87ca2e4f0d43c1d1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 51 |
Total number of constraints | 13 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3811 |
Number of bits of the biggest sum of numbers | 12 |
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-2695830-1278020868.opb. 0.00/0.00 c Instance file HOME/instance-2695830-1278020868.opb 0.00/0.00 c File size is 4933 bytes. 0.00/0.01 c Highest Coefficient sum: 3811 0.00/0.01 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.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 51 | 0.00/0.01 c | Number Constraints: 13 | 0.00/0.01 c =============================================================================== 1800.16/1043.82 c Remaining time 1799.99 sec. 1800.16/1043.82 c 1800.16/1043.82 c *** INTERRUPTED *** 1800.16/1043.82 s UNKNOWN 1800.16/1043.82 c Total CPU time : 1547.42 s 1800.16/1043.82 c Memory used : 31.59 MB 1800.16/1043.82 c CPU time : 1547.42 s 1800.16/1043.82 c 1800.16/1043.82 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-2695830-1278020868/watcher-2695830-1278020868 -o /tmp/evaluation-result-2695830-1278020868/solver-2695830-1278020868 -C 1800 -W 2000 -M 1800 run HOME/instance-2695830-1278020868.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: 1.54 1.64 1.46 3/106 21521 /proc/meminfo: memFree=1535536/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [startup+0.0549649 s] /proc/loadavg: 1.54 1.64 1.46 3/106 21521 /proc/meminfo: memFree=1535536/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.102195 s] /proc/loadavg: 1.54 1.64 1.46 3/106 21521 /proc/meminfo: memFree=1535536/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30219 s] /proc/loadavg: 1.54 1.64 1.46 3/106 21521 /proc/meminfo: memFree=1535536/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701744 s] /proc/loadavg: 1.54 1.64 1.46 3/106 21521 /proc/meminfo: memFree=1535536/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50182 s] /proc/loadavg: 1.54 1.64 1.46 2/109 21526 /proc/meminfo: memFree=1532536/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=28448 CPUtime=2.29 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 2345 0 0 0 198 31 0 0 17 0 2 0 177690701 29130752 1693 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7112 1693 1053 2985 0 3654 0 [pid=21522/tid=21526] ppid=21521 vsize=28448 CPUtime=0.94 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 219 0 0 0 80 14 0 0 16 0 2 0 177690717 29130752 1693 1992294400 134512640 146736320 4287904816 18446744073709551615 136015583 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 37148 [startup+3.10197 s] /proc/loadavg: 1.54 1.64 1.46 2/109 21526 /proc/meminfo: memFree=1531792/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=28492 CPUtime=5.05 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 2495 0 0 0 435 70 0 0 15 0 2 0 177690701 29175808 1700 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7123 1700 1053 2985 0 3665 0 [pid=21522/tid=21526] ppid=21521 vsize=28492 CPUtime=2.26 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 290 0 0 0 193 33 0 0 18 0 2 0 177690717 29175808 1700 1992294400 134512640 146736320 4287904816 18446744073709551615 137371802 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.05 Current children cumulated vsize (KiB) 37192 [startup+6.30127 s] /proc/loadavg: 1.58 1.64 1.47 2/109 21526 /proc/meminfo: memFree=1531420/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=28492 CPUtime=10.58 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 2586 0 0 0 912 146 0 0 15 0 2 0 177690701 29175808 1700 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7123 1700 1053 2985 0 3665 0 [pid=21522/tid=21526] ppid=21521 vsize=28492 CPUtime=4.91 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 337 0 0 0 423 68 0 0 18 0 2 0 177690717 29175808 1700 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.58 Current children cumulated vsize (KiB) 37192 [startup+12.7009 s] /proc/loadavg: 1.53 1.63 1.46 3/109 21526 /proc/meminfo: memFree=1531420/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=28492 CPUtime=21.63 /proc/21522/stat : 21522 (pb_cplex) S 21521 21521 20975 0 -1 4202496 2719 0 0 0 1871 292 0 0 15 0 2 0 177690701 29175808 1701 1992294400 134512640 146736320 4287904816 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7123 1701 1053 2985 0 3665 0 [pid=21522/tid=21526] ppid=21521 vsize=28492 CPUtime=10.19 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 405 0 0 0 880 139 0 0 18 0 2 0 177690717 29175808 1701 1992294400 134512640 146736320 4287904816 18446744073709551615 137369820 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 21.63 Current children cumulated vsize (KiB) 37192 [startup+25.5011 s] /proc/loadavg: 1.56 1.63 1.46 2/109 21526 /proc/meminfo: memFree=1531544/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=28492 CPUtime=43.78 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 2888 0 0 0 3784 594 0 0 15 0 2 0 177690701 29175808 1703 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7123 1703 1053 2985 0 3665 0 [pid=21522/tid=21526] ppid=21521 vsize=28492 CPUtime=20.77 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 492 0 0 0 1794 283 0 0 18 0 2 0 177690717 29175808 1703 1992294400 134512640 146736320 4287904816 18446744073709551615 136339035 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 43.78 Current children cumulated vsize (KiB) 37192 [startup+51.1015 s] /proc/loadavg: 1.57 1.63 1.47 2/109 21528 /proc/meminfo: memFree=1531544/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=28492 CPUtime=87.92 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 3518 0 0 0 7581 1211 0 0 18 0 2 0 177690701 29175808 1708 1992294400 134512640 146736320 4287904816 18446744073709551615 135467946 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/21522/statm: 7123 1708 1053 2985 0 3665 0 [pid=21522/tid=21526] ppid=21521 vsize=28492 CPUtime=43.13 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 786 0 0 0 3717 596 0 0 15 0 2 0 177690717 29175808 1708 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 87.92 Current children cumulated vsize (KiB) 37192 [startup+102.308 s] /proc/loadavg: 1.70 1.65 1.48 3/109 21528 /proc/meminfo: memFree=1531420/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=29152 CPUtime=176.38 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 3789 0 0 0 15213 2425 0 0 18 0 2 0 177690701 29851648 1818 1992294400 134512640 146736320 4287904816 18446744073709551615 139023043 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/21522/statm: 7288 1818 1053 2985 0 3830 0 [pid=21522/tid=21526] ppid=21521 vsize=29152 CPUtime=88.27 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 911 0 0 0 7602 1225 0 0 15 0 2 0 177690717 29851648 1818 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 176.38 Current children cumulated vsize (KiB) 37852 [startup+162.301 s] /proc/loadavg: 1.74 1.67 1.49 2/109 21530 /proc/meminfo: memFree=1531296/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=29152 CPUtime=279.53 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 4426 0 0 0 24083 3870 0 0 18 0 2 0 177690701 29851648 1833 1992294400 134512640 146736320 4287904816 18446744073709551615 144580332 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/21522/statm: 7288 1833 1053 2985 0 3830 0 [pid=21522/tid=21526] ppid=21521 vsize=29152 CPUtime=140.85 /proc/21522/task/21526/stat : 21526 (pb_cplex) S 21521 21521 20975 0 -1 4202560 1216 0 0 0 12109 1976 0 0 15 0 2 0 177690717 29851648 1833 1992294400 134512640 146736320 4287904816 18446744073709551615 144580073 0 2 4096 16387 18446604437852082560 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 279.53 Current children cumulated vsize (KiB) 37852 [startup+222.302 s] /proc/loadavg: 1.62 1.65 1.50 2/109 21532 /proc/meminfo: memFree=1531296/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=29152 CPUtime=382.94 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 4447 0 0 0 32966 5328 0 0 15 0 2 0 177690701 29851648 1854 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7288 1854 1053 2985 0 3830 0 [pid=21522/tid=21526] ppid=21521 vsize=29152 CPUtime=190.78 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 1229 0 0 0 16388 2690 0 0 18 0 2 0 177690717 29851648 1854 1992294400 134512640 146736320 4287904816 18446744073709551615 136411388 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 382.94 Current children cumulated vsize (KiB) 37852 [startup+282.301 s] /proc/loadavg: 1.82 1.70 1.52 3/109 21534 /proc/meminfo: memFree=1531296/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=29152 CPUtime=486.52 /proc/21522/stat : 21522 (pb_cplex) S 21521 21521 20975 0 -1 4202496 4599 0 0 0 41872 6780 0 0 15 0 2 0 177690701 29851648 1870 1992294400 134512640 146736320 4287904816 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7288 1870 1053 2985 0 3830 0 [pid=21522/tid=21526] ppid=21521 vsize=29152 CPUtime=240.26 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 1330 0 0 0 20635 3391 0 0 18 0 2 0 177690717 29851648 1870 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 486.52 Current children cumulated vsize (KiB) 37852 [startup+342.301 s] /proc/loadavg: 1.83 1.72 1.54 2/109 21536 /proc/meminfo: memFree=1531172/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 ################ # More data... # ################ [pid=21522] ppid=21521 vsize=30924 CPUtime=693.12 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 4935 0 0 0 59632 9680 0 0 15 0 2 0 177690701 31666176 2003 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7731 2003 1053 2985 0 4273 0 [pid=21522/tid=21526] ppid=21521 vsize=30924 CPUtime=338.94 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 1491 0 0 0 29104 4790 0 0 18 0 2 0 177690717 31666176 2003 1992294400 134512640 146736320 4287904816 18446744073709551615 137088535 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 693.12 Current children cumulated vsize (KiB) 39624 [startup+462.302 s] /proc/loadavg: 1.90 1.76 1.57 2/109 21538 /proc/meminfo: memFree=1531048/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=30924 CPUtime=796.1 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 5091 0 0 0 68461 11149 0 0 15 0 2 0 177690701 31666176 2021 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7731 2021 1053 2985 0 4273 0 [pid=21522/tid=21526] ppid=21521 vsize=30924 CPUtime=389.44 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 1554 0 0 0 33427 5517 0 0 18 0 2 0 177690717 31666176 2021 1992294400 134512640 146736320 4287904816 18446744073709551615 136364232 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 796.1 Current children cumulated vsize (KiB) 39624 [startup+522.301 s] /proc/loadavg: 1.77 1.75 1.58 3/109 21540 /proc/meminfo: memFree=1530924/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=30924 CPUtime=899.72 /proc/21522/stat : 21522 (pb_cplex) S 21521 21521 20975 0 -1 4202496 5216 0 0 0 77358 12614 0 0 15 0 2 0 177690701 31666176 2040 1992294400 134512640 146736320 4287904816 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7731 2040 1053 2985 0 4273 0 [pid=21522/tid=21526] ppid=21521 vsize=30924 CPUtime=438.82 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 1619 0 0 0 37665 6217 0 0 18 0 2 0 177690717 31666176 2040 1992294400 134512640 146736320 4287904816 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 899.72 Current children cumulated vsize (KiB) 39624 [startup+582.301 s] /proc/loadavg: 1.84 1.78 1.59 3/109 21542 /proc/meminfo: memFree=1530924/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=30924 CPUtime=1003.65 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 5338 0 0 0 86285 14080 0 0 15 0 2 0 177690701 31666176 2055 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7731 2055 1053 2985 0 4273 0 [pid=21522/tid=21526] ppid=21521 vsize=30924 CPUtime=488.51 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 1664 0 0 0 41921 6930 0 0 18 0 2 0 177690717 31666176 2055 1992294400 134512640 146736320 4287904816 18446744073709551615 138443194 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1003.65 Current children cumulated vsize (KiB) 39624 [startup+642.302 s] /proc/loadavg: 1.94 1.82 1.62 3/109 21544 /proc/meminfo: memFree=1530676/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=30924 CPUtime=1107.67 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 5576 0 0 0 95239 15528 0 0 15 0 2 0 177690701 31666176 2073 1992294400 134512640 146736320 4287904816 18446744073709551615 136674344 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 7731 2073 1053 2985 0 4273 0 [pid=21522/tid=21526] ppid=21521 vsize=30924 CPUtime=538.23 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 1791 0 0 0 46201 7622 0 0 18 0 2 0 177690717 31666176 2073 1992294400 134512640 146736320 4287904816 18446744073709551615 144580332 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1107.67 Current children cumulated vsize (KiB) 39624 [startup+702.301 s] /proc/loadavg: 1.93 1.83 1.64 3/109 21544 /proc/meminfo: memFree=1530304/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=32344 CPUtime=1211.1 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 5808 0 0 0 104133 16977 0 0 18 0 2 0 177690701 33120256 2157 1992294400 134512640 146736320 4287904816 18446744073709551615 137281851 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/21522/statm: 8086 2157 1053 2985 0 4628 0 [pid=21522/tid=21526] ppid=21521 vsize=32344 CPUtime=588.36 /proc/21522/task/21526/stat : 21526 (pb_cplex) S 21521 21521 20975 0 -1 4202560 1968 0 0 0 50514 8322 0 0 15 0 2 0 177690717 33120256 2157 1992294400 134512640 146736320 4287904816 18446744073709551615 144580073 0 2 4096 16387 18446604437852082560 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1211.1 Current children cumulated vsize (KiB) 41044 [startup+762.309 s] /proc/loadavg: 1.81 1.81 1.64 3/109 21546 /proc/meminfo: memFree=1530056/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=32344 CPUtime=1314.1 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 6047 0 0 0 113001 18409 0 0 18 0 2 0 177690701 33120256 2187 1992294400 134512640 146736320 4287904816 18446744073709551615 137084011 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/21522/statm: 8086 2187 1053 2985 0 4628 0 [pid=21522/tid=21526] ppid=21521 vsize=32344 CPUtime=640.94 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 2062 0 0 0 55023 9071 0 0 15 0 2 0 177690717 33120256 2187 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1314.1 Current children cumulated vsize (KiB) 41044 [startup+822.302 s] /proc/loadavg: 1.78 1.81 1.65 3/109 21557 /proc/meminfo: memFree=1529560/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=32344 CPUtime=1417.43 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 6084 0 0 0 121865 19878 0 0 15 0 2 0 177690701 33120256 2211 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 8086 2211 1053 2985 0 4628 0 [pid=21522/tid=21526] ppid=21521 vsize=32344 CPUtime=691.62 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 2078 0 0 0 59355 9807 0 0 18 0 2 0 177690717 33120256 2211 1992294400 134512640 146736320 4287904816 18446744073709551615 138374191 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1417.43 Current children cumulated vsize (KiB) 41044 [startup+882.301 s] /proc/loadavg: 1.78 1.80 1.65 2/109 21559 /proc/meminfo: memFree=1529560/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=32344 CPUtime=1520.88 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 6105 0 0 0 130749 21339 0 0 15 0 2 0 177690701 33120256 2232 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 8086 2232 1053 2985 0 4628 0 [pid=21522/tid=21526] ppid=21521 vsize=32344 CPUtime=741.2 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 2090 0 0 0 63597 10523 0 0 18 0 2 0 177690717 33120256 2232 1992294400 134512640 146736320 4287904816 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1520.88 Current children cumulated vsize (KiB) 41044 [startup+942.301 s] /proc/loadavg: 1.82 1.80 1.65 3/109 21561 /proc/meminfo: memFree=1529560/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=32344 CPUtime=1624.37 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 6124 0 0 0 139621 22816 0 0 15 0 2 0 177690701 33120256 2251 1992294400 134512640 146736320 4287904816 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 8086 2251 1053 2985 0 4628 0 [pid=21522/tid=21526] ppid=21521 vsize=32344 CPUtime=790.69 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 2100 0 0 0 67829 11240 0 0 18 0 2 0 177690717 33120256 2251 1992294400 134512640 146736320 4287904816 18446744073709551615 135526333 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1624.37 Current children cumulated vsize (KiB) 41044 [startup+1002.3 s] /proc/loadavg: 1.77 1.79 1.66 3/109 21561 /proc/meminfo: memFree=1529560/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=32344 CPUtime=1728.16 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 6148 0 0 0 148542 24274 0 0 15 0 2 0 177690701 33120256 2275 1992294400 134512640 146736320 4287904816 18446744073709551615 136676168 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 8086 2275 1053 2985 0 4628 0 [pid=21522/tid=21526] ppid=21521 vsize=32344 CPUtime=840.39 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 2111 0 0 0 72091 11948 0 0 18 0 2 0 177690717 33120256 2275 1992294400 134512640 146736320 4287904816 18446744073709551615 136735242 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1728.16 Current children cumulated vsize (KiB) 41044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1043.8 s] /proc/loadavg: 1.81 1.80 1.66 3/109 21563 /proc/meminfo: memFree=1529560/2059040 swapFree=4139476/4192956 [pid=21521] ppid=21519 vsize=8700 CPUtime=0 /proc/21521/stat : 21521 (run) S 21519 21521 20975 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177690700 8908800 249 1992294400 4194304 4922060 140737147884784 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21521/statm: 2175 249 208 178 0 68 0 [pid=21522] ppid=21521 vsize=32344 CPUtime=1800.16 /proc/21522/stat : 21522 (pb_cplex) R 21521 21521 20975 0 -1 4202496 6164 0 0 0 154740 25276 0 0 15 0 2 0 177690701 33120256 2291 1992294400 134512640 146736320 4287904816 18446744073709551615 136674347 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21522/statm: 8086 2291 1053 2985 0 4628 0 [pid=21522/tid=21526] ppid=21521 vsize=32344 CPUtime=874.83 /proc/21522/task/21526/stat : 21526 (pb_cplex) R 21521 21521 20975 0 -1 4202560 2121 0 0 0 75049 12434 0 0 18 0 2 0 177690717 33120256 2291 1992294400 134512640 146736320 4287904816 18446744073709551615 144580332 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 41044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1043.82 CPU time (s): 1800.19 CPU user time (s): 1547.42 CPU system time (s): 252.767 CPU usage (%): 172.461 Max. virtual memory (cumulated for all children) (KiB): 41044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1547.42 system time used= 252.767 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6537 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= 15532020 involuntary context switches= 57331 runsolver used 1.78673 second user time and 4.90825 second system time The end
Begin job on node004 at 2010-07-01 23:47:48 IDJOB=2695830 IDBENCH=2919 IDSOLVER=1209 FILE ID=node004/2695830-1278020868 PBS_JOBID= 11198750 Free space on /tmp= 62180 MiB SOLVER NAME= pb_cplex 2010-06-29 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695830-1278020868/watcher-2695830-1278020868 -o /tmp/evaluation-result-2695830-1278020868/solver-2695830-1278020868 -C 1800 -W 2000 -M 1800 run HOME/instance-2695830-1278020868.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1 RANDOM SEED=52249179 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1536064 kB Buffers: 113652 kB Cached: 297896 kB SwapCached: 7448 kB Active: 155476 kB Inactive: 270712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1536064 kB SwapTotal: 4192956 kB SwapFree: 4139476 kB Dirty: 16660 kB Writeback: 0 kB AnonPages: 12732 kB Mapped: 12088 kB Slab: 74740 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182096 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62164 MiB End job on node004 at 2010-07-02 00:05:12