Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb_cplex 2010-06-29 | ? (TO) | 1800.08 | 1034.82 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=67-P1=47-P2=2-P3=53-P4=23-P5=7-P6=41-P7=31-B.opb |
MD5SUM | 908985d974b16faef92bc77f5752fc1c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 3.65044 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 126 |
Total number of constraints | 15 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 15 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 252 |
Sum of products size (including duplicates) | 504 |
Number of different products | 252 |
Sum of products size | 504 |
0.00/0.00 c pb_cplex 1.0 - 20100701 0.00/0.00 c Parsing opb file format. File HOME/instance-2697002-1278048438.opb. 0.00/0.00 c Instance file HOME/instance-2697002-1278048438.opb 0.00/0.00 c File size is 18837 bytes. 0.00/0.01 c Highest Coefficient sum: 8064 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: 378 | 0.00/0.01 c | Number Constraints: 519 | 0.00/0.01 c =============================================================================== 1800.08/1034.81 c Remaining time 1799.99 sec. 1800.08/1034.81 c 1800.08/1034.81 c *** INTERRUPTED *** 1800.08/1034.81 s UNKNOWN 1800.08/1034.81 c Total CPU time : 1772.2 s 1800.08/1034.81 c Memory used : 72.41 MB 1800.08/1034.81 c CPU time : 1772.2 s 1800.08/1034.81 c 1800.08/1034.81 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-2697002-1278048438/watcher-2697002-1278048438 -o /tmp/evaluation-result-2697002-1278048438/solver-2697002-1278048438 -C 1800 -W 2000 -M 1800 run HOME/instance-2697002-1278048438.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: 3.33 2.21 1.40 3/106 31447 /proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) R 31445 31447 31197 0 -1 4202496 347 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588929429 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [startup+0.0585449 s] /proc/loadavg: 3.33 2.21 1.40 3/106 31447 /proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101547 s] /proc/loadavg: 3.33 2.21 1.40 3/106 31447 /proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.306557 s] /proc/loadavg: 3.33 2.21 1.40 3/106 31447 /proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.705921 s] /proc/loadavg: 3.33 2.21 1.40 3/106 31447 /proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50168 s] /proc/loadavg: 3.33 2.21 1.40 3/109 31452 /proc/meminfo: memFree=1253640/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=33348 CPUtime=2.26 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 9736 0 0 0 219 7 0 0 17 0 2 0 146137685 34148352 2847 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 8337 2850 1071 2985 0 4879 0 [pid=31448/tid=31452] ppid=31447 vsize=33348 CPUtime=0.7 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 2304 0 0 0 69 1 0 0 17 0 2 0 146137751 34148352 2852 1992294400 134512640 146736320 4288525312 18446744073709551615 139044555 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 42048 [startup+3.10085 s] /proc/loadavg: 3.33 2.21 1.40 3/109 31452 /proc/meminfo: memFree=1251532/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=35188 CPUtime=5.02 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 18162 0 0 0 487 15 0 0 16 0 2 0 146137685 36032512 3311 1992294400 134512640 146736320 4288525312 18446744073709551615 135454093 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 8797 3311 1071 2985 0 5339 0 [pid=31448/tid=31452] ppid=31447 vsize=35188 CPUtime=2.11 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 7612 0 0 0 205 6 0 0 17 0 2 0 146137751 36032512 3311 1992294400 134512640 146736320 4288525312 18446744073709551615 135526120 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.02 Current children cumulated vsize (KiB) 43888 [startup+6.30118 s] /proc/loadavg: 3.14 2.19 1.40 3/109 31452 /proc/meminfo: memFree=1247068/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=38348 CPUtime=10.44 /proc/31448/stat : 31448 (pb_cplex) S 31447 31447 31197 0 -1 4202496 32258 0 0 0 1020 24 0 0 16 0 2 0 146137685 39268352 4131 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 9587 4131 1087 2985 0 6129 0 [pid=31448/tid=31452] ppid=31447 vsize=38348 CPUtime=4.93 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 13837 0 0 0 482 11 0 0 16 0 2 0 146137751 39268352 4131 1992294400 134512640 146736320 4288525312 18446744073709551615 136008306 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 10.44 Current children cumulated vsize (KiB) 47048 [startup+12.7008 s] /proc/loadavg: 3.13 2.20 1.41 3/109 31452 /proc/meminfo: memFree=1245464/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=43364 CPUtime=21.28 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 54181 0 0 0 2087 41 0 0 16 0 2 0 146137685 44404736 5176 1992294400 134512640 146736320 4288525312 18446744073709551615 136403116 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 10841 5176 1071 2985 0 7383 0 [pid=31448/tid=31452] ppid=31447 vsize=43364 CPUtime=10.59 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 24419 0 0 0 1041 18 0 0 17 0 2 0 146137751 44404736 5176 1992294400 134512640 146736320 4288525312 18446744073709551615 136385268 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 21.28 Current children cumulated vsize (KiB) 52064 [startup+25.5012 s] /proc/loadavg: 3.32 2.29 1.45 2/109 31452 /proc/meminfo: memFree=1236784/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=46988 CPUtime=42.87 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 85096 0 0 0 4221 66 0 0 15 0 2 0 146137685 48115712 6140 1992294400 134512640 146736320 4288525312 18446744073709551615 136008450 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 11747 6140 1080 2985 0 8289 0 [pid=31448/tid=31452] ppid=31447 vsize=46988 CPUtime=21.46 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 46318 0 0 0 2112 34 0 0 17 0 2 0 146137751 48115712 6140 1992294400 134512640 146736320 4288525312 18446744073709551615 136008072 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 42.87 Current children cumulated vsize (KiB) 55688 [startup+51.1018 s] /proc/loadavg: 3.57 2.43 1.51 2/109 31454 /proc/meminfo: memFree=1234428/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=52392 CPUtime=85.2 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 113326 0 0 0 8421 99 0 0 20 0 2 0 146137685 53649408 7353 1992294400 134512640 146736320 4288525312 18446744073709551615 136384857 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 13098 7353 1084 2985 0 9640 0 [pid=31448/tid=31452] ppid=31447 vsize=52392 CPUtime=40.94 /proc/31448/task/31452/stat : 31452 (pb_cplex) S 31447 31447 31197 0 -1 4202560 58157 0 0 0 4044 50 0 0 16 0 2 0 146137751 53649408 7353 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 2 4096 16387 18446604437705828352 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 85.2 Current children cumulated vsize (KiB) 61092 [startup+102.309 s] /proc/loadavg: 2.79 2.40 1.55 3/109 31454 /proc/meminfo: memFree=1236784/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=49320 CPUtime=172.7 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 199207 0 0 0 17058 212 0 0 17 0 2 0 146137685 50503680 6773 1992294400 134512640 146736320 4288525312 18446744073709551615 135526788 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 12330 6773 1084 2985 0 8872 0 [pid=31448/tid=31452] ppid=31447 vsize=49320 CPUtime=82.27 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 86224 0 0 0 8122 105 0 0 17 0 2 0 146137751 50503680 6773 1992294400 134512640 146736320 4288525312 18446744073709551615 135450638 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 172.7 Current children cumulated vsize (KiB) 58020 [startup+162.301 s] /proc/loadavg: 2.16 2.29 1.56 3/109 31456 /proc/meminfo: memFree=1236040/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=50660 CPUtime=279.31 /proc/31448/stat : 31448 (pb_cplex) S 31447 31447 31197 0 -1 4202496 279236 0 0 0 27569 362 0 0 16 0 2 0 146137685 51875840 6911 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 12665 6911 1084 2985 0 9207 0 [pid=31448/tid=31452] ppid=31447 vsize=50660 CPUtime=135.85 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 117279 0 0 0 13408 177 0 0 16 0 2 0 146137751 51875840 6911 1992294400 134512640 146736320 4288525312 18446744073709551615 136002916 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 279.31 Current children cumulated vsize (KiB) 59360 [startup+222.301 s] /proc/loadavg: 1.98 2.21 1.58 3/109 31458 /proc/meminfo: memFree=1235420/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=50552 CPUtime=383.71 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 357866 0 0 0 37851 520 0 0 16 0 2 0 146137685 51765248 7081 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 12638 7081 1084 2985 0 9180 0 [pid=31448/tid=31452] ppid=31447 vsize=50552 CPUtime=187.95 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 159290 0 0 0 18536 259 0 0 16 0 2 0 146137751 51765248 7081 1992294400 134512640 146736320 4288525312 18446744073709551615 135854505 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 383.71 Current children cumulated vsize (KiB) 59252 [startup+282.302 s] /proc/loadavg: 1.85 2.12 1.58 2/109 31460 /proc/meminfo: memFree=1236164/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=52800 CPUtime=488.8 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 463096 0 0 0 48184 696 0 0 16 0 2 0 146137685 54067200 7402 1992294400 134512640 146736320 4288525312 18446744073709551615 139023078 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 13200 7402 1084 2985 0 9742 0 [pid=31448/tid=31452] ppid=31447 vsize=52800 CPUtime=240.2 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 204134 0 0 0 23678 342 0 0 16 0 2 0 146137751 54067200 7402 1992294400 134512640 146736320 4288525312 18446744073709551615 135526859 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 488.8 Current children cumulated vsize (KiB) 61500 [startup+342.302 s] /proc/loadavg: 1.95 2.10 1.61 3/109 31462 /proc/meminfo: memFree=1234924/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 ################ # More data... # ################ [pid=31448] ppid=31447 vsize=55620 CPUtime=803.27 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 774774 0 0 0 79095 1232 0 0 16 0 2 0 146137685 56954880 8326 1992294400 134512640 146736320 4288525312 18446744073709551615 139041227 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/31448/statm: 13905 8326 1100 2985 0 10447 0 [pid=31448/tid=31452] ppid=31447 vsize=55620 CPUtime=397.71 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 360033 0 0 0 39156 615 0 0 15 0 2 0 146137751 56954880 8326 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 803.27 Current children cumulated vsize (KiB) 64320 [startup+522.301 s] /proc/loadavg: 1.76 1.94 1.64 3/109 31469 /proc/meminfo: memFree=1229336/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=57476 CPUtime=908.1 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 829675 0 0 0 89414 1396 0 0 16 0 2 0 146137685 58855424 8703 1992294400 134512640 146736320 4288525312 18446744073709551615 136676165 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 14369 8703 1103 2985 0 10911 0 [pid=31448/tid=31452] ppid=31447 vsize=57476 CPUtime=450.25 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 389398 0 0 0 44323 702 0 0 16 0 2 0 146137751 58855424 8703 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 908.1 Current children cumulated vsize (KiB) 66176 [startup+582.302 s] /proc/loadavg: 1.63 1.89 1.63 3/109 31471 /proc/meminfo: memFree=1226608/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=59344 CPUtime=1012.32 /proc/31448/stat : 31448 (pb_cplex) S 31447 31447 31197 0 -1 4202496 869095 0 0 0 99683 1549 0 0 16 0 2 0 146137685 60768256 9217 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 14836 9217 1103 2985 0 11378 0 [pid=31448/tid=31452] ppid=31447 vsize=59344 CPUtime=502.53 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 410535 0 0 0 49471 782 0 0 16 0 2 0 146137751 60768256 9217 1992294400 134512640 146736320 4288525312 18446744073709551615 139041230 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1012.32 Current children cumulated vsize (KiB) 68044 [startup+642.302 s] /proc/loadavg: 1.75 1.87 1.64 4/109 31473 /proc/meminfo: memFree=1224128/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=61964 CPUtime=1116.46 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 891398 0 0 0 109956 1690 0 0 16 0 2 0 146137685 63451136 9928 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 15491 9928 1103 2985 0 12033 0 [pid=31448/tid=31452] ppid=31447 vsize=61964 CPUtime=554.68 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 421731 0 0 0 54616 852 0 0 16 0 2 0 146137751 63451136 9928 1992294400 134512640 146736320 4288525312 18446744073709551615 135850440 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1116.46 Current children cumulated vsize (KiB) 70664 [startup+702.302 s] /proc/loadavg: 1.79 1.86 1.65 3/109 31473 /proc/meminfo: memFree=1223880/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=62952 CPUtime=1220.77 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 928555 0 0 0 120235 1842 0 0 16 0 2 0 146137685 64462848 10069 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 15738 10069 1103 2985 0 12280 0 [pid=31448/tid=31452] ppid=31447 vsize=62952 CPUtime=606.89 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 437482 0 0 0 59764 925 0 0 16 0 2 0 146137751 64462848 10069 1992294400 134512640 146736320 4288525312 18446744073709551615 136015684 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1220.77 Current children cumulated vsize (KiB) 71652 [startup+762.31 s] /proc/loadavg: 1.74 1.84 1.65 3/109 31475 /proc/meminfo: memFree=1220656/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=66476 CPUtime=1324.67 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1005072 0 0 0 130456 2011 0 0 16 0 2 0 146137685 68071424 10823 1992294400 134512640 146736320 4288525312 18446744073709551615 135850288 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 16619 10823 1103 2985 0 13161 0 [pid=31448/tid=31452] ppid=31447 vsize=66476 CPUtime=658.47 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 474622 0 0 0 64839 1008 0 0 16 0 2 0 146137751 68071424 10823 1992294400 134512640 146736320 4288525312 18446744073709551615 136364170 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1324.67 Current children cumulated vsize (KiB) 75176 [startup+822.302 s] /proc/loadavg: 1.72 1.82 1.65 3/109 31477 /proc/meminfo: memFree=1219300/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=67292 CPUtime=1428.8 /proc/31448/stat : 31448 (pb_cplex) S 31447 31447 31197 0 -1 4202496 1060472 0 0 0 140706 2174 0 0 16 0 2 0 146137685 68907008 11218 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 16823 11218 1103 2985 0 13365 0 [pid=31448/tid=31452] ppid=31447 vsize=67292 CPUtime=710.62 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 500603 0 0 0 69976 1086 0 0 16 0 2 0 146137751 68907008 11218 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1428.8 Current children cumulated vsize (KiB) 75992 [startup+882.301 s] /proc/loadavg: 1.82 1.83 1.66 3/109 31479 /proc/meminfo: memFree=1216448/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=70172 CPUtime=1533.69 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1156741 0 0 0 151012 2357 0 0 16 0 2 0 146137685 71856128 11802 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 17543 11802 1103 2985 0 14085 0 [pid=31448/tid=31452] ppid=31447 vsize=70172 CPUtime=763.13 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 551998 0 0 0 75131 1182 0 0 16 0 2 0 146137751 71856128 11802 1992294400 134512640 146736320 4288525312 18446744073709551615 135468694 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1533.69 Current children cumulated vsize (KiB) 78872 [startup+942.302 s] /proc/loadavg: 1.71 1.80 1.66 3/109 31479 /proc/meminfo: memFree=1216448/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=71256 CPUtime=1638.64 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1273301 0 0 0 161319 2545 0 0 15 0 2 0 146137685 72966144 11850 1992294400 134512640 146736320 4288525312 18446744073709551615 135454073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 17814 11850 1103 2985 0 14356 0 [pid=31448/tid=31452] ppid=31447 vsize=71256 CPUtime=815.45 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 605358 0 0 0 80269 1276 0 0 16 0 2 0 146137751 72966144 11850 1992294400 134512640 146736320 4288525312 18446744073709551615 135982990 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1638.64 Current children cumulated vsize (KiB) 79956 [startup+1002.3 s] /proc/loadavg: 1.82 1.81 1.67 3/109 31481 /proc/meminfo: memFree=1214588/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=73116 CPUtime=1743.64 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1333029 0 0 0 171651 2713 0 0 16 0 2 0 146137685 74870784 12282 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 18279 12282 1103 2985 0 14821 0 [pid=31448/tid=31452] ppid=31447 vsize=73116 CPUtime=867.52 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 635669 0 0 0 85391 1361 0 0 16 0 2 0 146137751 74870784 12282 1992294400 134512640 146736320 4288525312 18446744073709551615 135454096 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1743.64 Current children cumulated vsize (KiB) 81816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1034.8 s] /proc/loadavg: 1.65 1.77 1.66 2/109 31483 /proc/meminfo: memFree=1214092/2059040 swapFree=4139312/4192956 [pid=31447] ppid=31445 vsize=8700 CPUtime=0 /proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/31447/statm: 2175 248 208 178 0 68 0 [pid=31448] ppid=31447 vsize=74140 CPUtime=1800.08 /proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1348161 0 0 0 177218 2790 0 0 16 0 2 0 146137685 75919360 12410 1992294400 134512640 146736320 4288525312 18446744073709551615 136674344 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/31448/statm: 18535 12410 1103 2985 0 15077 0 [pid=31448/tid=31452] ppid=31447 vsize=74140 CPUtime=895.74 /proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 643051 0 0 0 88174 1400 0 0 16 0 2 0 146137751 75919360 12410 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 82840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31447 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=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1034.82 CPU time (s): 1800.08 CPU user time (s): 1772.18 CPU system time (s): 27.9 CPU usage (%): 173.951 Max. virtual memory (cumulated for all children) (KiB): 85596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 363 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.10768 second user time and 5.42917 second system time The end
Begin job on node083 at 2010-07-02 07:27:19 IDJOB=2697002 IDBENCH=48036 IDSOLVER=1209 FILE ID=node083/2697002-1278048438 PBS_JOBID= 11198832 Free space on /tmp= 62508 MiB SOLVER NAME= pb_cplex 2010-06-29 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=67-P1=47-P2=2-P3=53-P4=23-P5=7-P6=41-P7=31-B.opb COMMAND LINE= run BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697002-1278048438/watcher-2697002-1278048438 -o /tmp/evaluation-result-2697002-1278048438/solver-2697002-1278048438 -C 1800 -W 2000 -M 1800 run HOME/instance-2697002-1278048438.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 908985d974b16faef92bc77f5752fc1c RANDOM SEED=1595750319 node083.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.262 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.52 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.262 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1261516 kB Buffers: 198384 kB Cached: 484012 kB SwapCached: 6856 kB Active: 289672 kB Inactive: 406560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1261516 kB SwapTotal: 4192956 kB SwapFree: 4139312 kB Dirty: 16876 kB Writeback: 72 kB AnonPages: 11784 kB Mapped: 12000 kB Slab: 79272 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182836 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-2697002-1278048438.opb Free space on /tmp at the end= 62492 MiB End job on node083 at 2010-07-02 07:44:35