Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb_cplex 2010-06-29 | ? (TO) | 1800.19 | 1080.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | bc7893eb7aff4749139e472af91e587e |
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 | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 2650 |
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 | 2650 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2650 |
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-2695813-1278018669.opb. 0.00/0.00 c Instance file HOME/instance-2695813-1278018669.opb 0.00/0.00 c File size is 223485 bytes. 1.79/1.81 c Highest Coefficient sum: 4 1.79/1.81 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 1.79/1.82 c ============================[ Problem Statistics ]============================= 1.79/1.82 c | | 1.79/1.82 c | Parsing time: 1.82 s | 1.79/1.82 c | Number Variables: 2650 | 1.79/1.83 c | Number Constraints: 6619 | 1.79/1.83 c =============================================================================== 1800.19/1080.71 c Remaining time 1798.18 sec. 1800.19/1080.71 c 1800.19/1080.71 c *** INTERRUPTED *** 1800.19/1080.71 s UNKNOWN 1800.19/1080.71 c Total CPU time : 1797.03 s 1800.19/1080.71 c Memory used : 95.19 MB 1800.19/1080.71 c CPU time : 1797.03 s 1800.19/1080.71 c 1800.19/1080.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-2695813-1278018669/watcher-2695813-1278018669 -o /tmp/evaluation-result-2695813-1278018669/solver-2695813-1278018669 -C 1800 -W 2000 -M 1800 run HOME/instance-2695813-1278018669.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 2.03 1.73 3/106 28644 /proc/meminfo: memFree=1546108/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [startup+0.0494599 s] /proc/loadavg: 1.54 2.03 1.73 3/106 28644 /proc/meminfo: memFree=1546108/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100466 s] /proc/loadavg: 1.54 2.03 1.73 3/106 28644 /proc/meminfo: memFree=1546108/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300496 s] /proc/loadavg: 1.54 2.03 1.73 3/106 28644 /proc/meminfo: memFree=1546108/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700554 s] /proc/loadavg: 1.54 2.03 1.73 3/106 28644 /proc/meminfo: memFree=1546108/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50067 s] /proc/loadavg: 1.54 2.03 1.73 2/108 28646 /proc/meminfo: memFree=1544852/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=13624 CPUtime=1.49 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 563 0 0 0 149 0 0 0 25 0 1 0 143157933 13950976 517 1992294400 134512640 146736320 4294229360 18446744073709551615 140526616 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 3406 517 290 2985 0 285 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22324 [startup+3.1009 s] /proc/loadavg: 1.54 2.03 1.73 2/108 28646 /proc/meminfo: memFree=1534436/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=33280 CPUtime=3.08 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 4751 0 0 0 307 1 0 0 19 0 1 0 143157933 34078720 3722 1992294400 134512640 146736320 4294229360 18446744073709551615 136403109 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 8320 3722 905 2985 0 4862 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41980 [startup+6.30137 s] /proc/loadavg: 1.49 2.01 1.73 2/108 28646 /proc/meminfo: memFree=1530344/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=36424 CPUtime=6.28 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 7377 0 0 0 626 2 0 0 25 0 1 0 143157933 37298176 4769 1992294400 134512640 146736320 4294229360 18446744073709551615 135857544 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 9106 4769 983 2985 0 5648 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 45124 [startup+12.7013 s] /proc/loadavg: 1.45 1.99 1.72 2/108 28646 /proc/meminfo: memFree=1530112/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=36028 CPUtime=12.68 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 13108 0 0 0 1264 4 0 0 25 0 1 0 143157933 36892672 4803 1992294400 134512640 146736320 4294229360 18446744073709551615 136403116 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 9007 4803 986 2985 0 5549 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44728 [startup+25.5012 s] /proc/loadavg: 1.35 1.94 1.71 2/108 28646 /proc/meminfo: memFree=1529004/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=36856 CPUtime=25.47 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 35736 0 0 0 2532 15 0 0 25 0 1 0 143157933 37740544 5127 1992294400 134512640 146736320 4294229360 18446744073709551615 137084972 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 9214 5127 986 2985 0 5756 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 45556 [startup+51.1009 s] /proc/loadavg: 1.23 1.87 1.69 2/108 28648 /proc/meminfo: memFree=1526400/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=41084 CPUtime=51.05 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 84896 0 0 0 5068 37 0 0 25 0 1 0 143157933 42070016 6224 1992294400 134512640 146736320 4294229360 18446744073709551615 137701306 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 10271 6224 986 2985 0 6813 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 49784 [startup+102.308 s] /proc/loadavg: 1.10 1.73 1.65 2/108 28648 /proc/meminfo: memFree=1523052/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=42360 CPUtime=102.25 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 140192 0 0 0 10165 60 0 0 25 0 1 0 143157933 43376640 6633 1992294400 134512640 146736320 4294229360 18446744073709551615 136015710 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 10590 6633 1013 2985 0 7132 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 51060 [startup+162.301 s] /proc/loadavg: 1.26 1.64 1.63 3/109 28651 /proc/meminfo: memFree=1499980/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=85056 CPUtime=175.75 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 157100 0 0 0 17502 73 0 0 25 0 2 0 143157933 87097344 12537 1992294400 134512640 146736320 4294229360 18446744073709551615 135846304 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 21264 12537 1106 2985 0 17806 0 [pid=28645/tid=28651] ppid=28644 vsize=85056 CPUtime=15.85 /proc/28645/task/28651/stat : 28651 (pb_cplex) R 28644 28644 28187 0 -1 4202560 1883 0 0 0 1583 2 0 0 25 0 2 0 143172109 87097344 12537 1992294400 134512640 146736320 4294229360 18446744073709551615 136008306 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 175.75 Current children cumulated vsize (KiB) 93756 [startup+222.302 s] /proc/loadavg: 1.58 1.67 1.64 2/108 28653 /proc/meminfo: memFree=1515612/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=55684 CPUtime=275.56 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 165784 0 0 0 27465 91 0 0 25 0 1 0 143157933 57020416 8449 1992294400 134512640 146736320 4294229360 18446744073709551615 136406061 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 13921 8449 1064 2985 0 10463 0 Current children cumulated CPU time (s) 275.56 Current children cumulated vsize (KiB) 64384 [startup+282.302 s] /proc/loadavg: 1.21 1.55 1.60 2/108 28655 /proc/meminfo: memFree=1515364/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=55684 CPUtime=335.54 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 167047 0 0 0 33462 92 0 0 25 0 1 0 143157933 57020416 8457 1992294400 134512640 146736320 4294229360 18446744073709551615 139044529 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/28645/statm: 13921 8457 1064 2985 0 10463 0 Current children cumulated CPU time (s) 335.54 Current children cumulated vsize (KiB) 64384 [startup+342.301 s] /proc/loadavg: 1.61 1.59 1.60 2/109 28658 /proc/meminfo: memFree=1490928/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=81848 CPUtime=432.65 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 181106 0 0 0 43157 108 0 0 18 0 2 0 143157933 83812352 14008 1992294400 134512640 146736320 4294229360 18446744073709551615 135405246 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 20462 14008 1067 2985 0 17004 0 [pid=28645/tid=28656] ppid=28644 vsize=81848 CPUtime=43.06 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 4673 0 0 0 4299 7 0 0 18 0 2 0 143186988 83812352 14008 1992294400 134512640 146736320 4294229360 18446744073709551615 135405195 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 432.65 Current children cumulated vsize (KiB) 90548 [startup+402.301 s] /proc/loadavg: 1.83 1.64 1.62 3/109 28658 /proc/meminfo: memFree=1490804/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=85060 CPUtime=544.25 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 202057 0 0 0 54295 130 0 0 19 0 2 0 143157933 87101440 14745 1992294400 134512640 146736320 4294229360 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 21265 14745 1067 2985 0 17807 0 ################ # More data... # ################ [pid=28645] ppid=28644 vsize=86964 CPUtime=877.94 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 261768 0 0 0 87603 191 0 0 22 0 2 0 143157933 89051136 15296 1992294400 134512640 146736320 4294229360 18446744073709551615 136403109 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 21741 15296 1067 2985 0 18283 0 [pid=28645/tid=28656] ppid=28644 vsize=86964 CPUtime=261.23 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 78396 0 0 0 26054 69 0 0 23 0 2 0 143186988 89051136 15296 1992294400 134512640 146736320 4294229360 18446744073709551615 136008450 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 877.94 Current children cumulated vsize (KiB) 95664 [startup+642.301 s] /proc/loadavg: 2.03 1.87 1.72 3/109 28666 /proc/meminfo: memFree=1488076/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=87296 CPUtime=989.89 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 287358 0 0 0 98775 214 0 0 19 0 2 0 143157933 89391104 15445 1992294400 134512640 146736320 4294229360 18446744073709551615 135999757 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 21824 15445 1067 2985 0 18366 0 [pid=28645/tid=28656] ppid=28644 vsize=87296 CPUtime=316.38 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 101054 0 0 0 31553 85 0 0 19 0 2 0 143186988 89391104 15445 1992294400 134512640 146736320 4294229360 18446744073709551615 136400484 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 989.89 Current children cumulated vsize (KiB) 95996 [startup+702.301 s] /proc/loadavg: 2.06 1.91 1.74 4/109 28666 /proc/meminfo: memFree=1484604/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=90492 CPUtime=1102.16 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 295775 0 0 0 109987 229 0 0 18 0 2 0 143157933 92663808 16133 1992294400 134512640 146736320 4294229360 18446744073709551615 136001936 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 22623 16133 1067 2985 0 19165 0 [pid=28645/tid=28656] ppid=28644 vsize=90492 CPUtime=370.64 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 103752 0 0 0 36970 94 0 0 19 0 2 0 143186988 92663808 16133 1992294400 134512640 146736320 4294229360 18446744073709551615 136008178 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1102.16 Current children cumulated vsize (KiB) 99192 [startup+762.309 s] /proc/loadavg: 2.12 1.95 1.76 3/109 28668 /proc/meminfo: memFree=1484852/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=89660 CPUtime=1214.96 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 307197 0 0 0 121253 243 0 0 22 0 2 0 143157933 91811840 16031 1992294400 134512640 146736320 4294229360 18446744073709551615 136007372 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 22415 16031 1067 2985 0 18957 0 [pid=28645/tid=28656] ppid=28644 vsize=89660 CPUtime=426.91 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 104789 0 0 0 42592 99 0 0 23 0 2 0 143186988 91811840 16031 1992294400 134512640 146736320 4294229360 18446744073709551615 136007292 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1214.96 Current children cumulated vsize (KiB) 98360 [startup+822.301 s] /proc/loadavg: 2.33 2.04 1.80 3/109 28670 /proc/meminfo: memFree=1482868/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=92372 CPUtime=1324.55 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 320072 0 0 0 132196 259 0 0 25 0 2 0 143157933 94588928 16696 1992294400 134512640 146736320 4294229360 18446744073709551615 136008441 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 23093 16696 1067 2985 0 19635 0 [pid=28645/tid=28656] ppid=28644 vsize=92372 CPUtime=479.75 /proc/28645/task/28656/stat : 28656 (pb_cplex) S 28644 28644 28187 0 -1 4202560 105845 0 0 0 47871 104 0 0 25 0 2 0 143186988 94588928 16696 1992294400 134512640 146736320 4294229360 18446744073709551615 144580073 0 2 4096 16387 18446604436005604352 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1324.55 Current children cumulated vsize (KiB) 101072 [startup+882.301 s] /proc/loadavg: 2.01 1.98 1.79 3/109 28672 /proc/meminfo: memFree=1483736/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=91316 CPUtime=1434.79 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 325000 0 0 0 143205 274 0 0 19 0 2 0 143157933 93507584 16483 1992294400 134512640 146736320 4294229360 18446744073709551615 136008178 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 22829 16483 1067 2985 0 19371 0 [pid=28645/tid=28656] ppid=28644 vsize=91316 CPUtime=532.7 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 107657 0 0 0 53158 112 0 0 19 0 2 0 143186988 93507584 16483 1992294400 134512640 146736320 4294229360 18446744073709551615 135854505 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1434.79 Current children cumulated vsize (KiB) 100016 [startup+942.301 s] /proc/loadavg: 2.04 1.99 1.80 3/109 28674 /proc/meminfo: memFree=1483612/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=91676 CPUtime=1544.78 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 331092 0 0 0 154190 288 0 0 19 0 2 0 143157933 93876224 16499 1992294400 134512640 146736320 4294229360 18446744073709551615 136008441 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 22919 16499 1067 2985 0 19461 0 [pid=28645/tid=28656] ppid=28644 vsize=91676 CPUtime=587.34 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 111631 0 0 0 58612 122 0 0 25 0 2 0 143186988 93876224 16499 1992294400 134512640 146736320 4294229360 18446744073709551615 136008450 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1544.78 Current children cumulated vsize (KiB) 100376 [startup+1002.3 s] /proc/loadavg: 1.98 1.98 1.81 3/109 28674 /proc/meminfo: memFree=1478404/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=97988 CPUtime=1655.55 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 344513 0 0 0 165251 304 0 0 25 0 2 0 143157933 100339712 17751 1992294400 134512640 146736320 4294229360 18446744073709551615 136405567 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 24497 17751 1075 2985 0 21039 0 [pid=28645/tid=28656] ppid=28644 vsize=97988 CPUtime=639.86 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 116765 0 0 0 63856 130 0 0 21 0 2 0 143186988 100339712 17751 1992294400 134512640 146736320 4294229360 18446744073709551615 136008168 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1655.55 Current children cumulated vsize (KiB) 106688 [startup+1062.3 s] /proc/loadavg: 1.95 1.97 1.82 3/109 28676 /proc/meminfo: memFree=1479024/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=97472 CPUtime=1766.94 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 349259 0 0 0 176379 315 0 0 25 0 2 0 143157933 99811328 17657 1992294400 134512640 146736320 4294229360 18446744073709551615 136400472 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 24368 17657 1067 2985 0 20910 0 [pid=28645/tid=28656] ppid=28644 vsize=97472 CPUtime=695.21 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 118343 0 0 0 69385 136 0 0 22 0 2 0 143186988 99811328 17657 1992294400 134512640 146736320 4294229360 18446744073709551615 136403116 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1766.94 Current children cumulated vsize (KiB) 106172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1080.7 s] /proc/loadavg: 1.88 1.95 1.82 3/109 28676 /proc/meminfo: memFree=1479024/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=97472 CPUtime=1800.19 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 349260 0 0 0 179701 318 0 0 25 0 2 0 143157933 99811328 17658 1992294400 134512640 146736320 4294229360 18446744073709551615 136400472 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 24368 17658 1067 2985 0 20910 0 [pid=28645/tid=28656] ppid=28644 vsize=97472 CPUtime=710.23 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 118343 0 0 0 70885 138 0 0 25 0 2 0 143186988 99811328 17658 1992294400 134512640 146736320 4294229360 18446744073709551615 136006331 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 106172 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1080.7 s] /proc/loadavg: 1.88 1.95 1.82 3/109 28676 /proc/meminfo: memFree=1479024/2059040 swapFree=4139872/4192956 [pid=28644] ppid=28642 vsize=8700 CPUtime=0 /proc/28644/stat : 28644 (run) S 28642 28644 28187 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 143157933 8908800 248 1992294400 4194304 4922060 140735387030432 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/28644/statm: 2175 248 208 178 0 68 0 [pid=28645] ppid=28644 vsize=97472 CPUtime=1800.19 /proc/28645/stat : 28645 (pb_cplex) R 28644 28644 28187 0 -1 4202496 349260 0 0 0 179701 318 0 0 25 0 2 0 143157933 99811328 17658 1992294400 134512640 146736320 4294229360 18446744073709551615 136400472 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/28645/statm: 24368 17658 1067 2985 0 20910 0 [pid=28645/tid=28656] ppid=28644 vsize=97472 CPUtime=710.23 /proc/28645/task/28656/stat : 28656 (pb_cplex) R 28644 28644 28187 0 -1 4202560 118343 0 0 0 70885 138 0 0 25 0 2 0 143186988 99811328 17658 1992294400 134512640 146736320 4294229360 18446744073709551615 136006331 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 106172 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28644 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.19 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1080.72 CPU time (s): 1800.19 CPU user time (s): 1797.01 CPU system time (s): 3.18 CPU usage (%): 166.573 Max. virtual memory (cumulated for all children) (KiB): 107936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 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 1.93571 second user time and 5.21821 second system time The end
Begin job on node052 at 2010-07-01 23:11:09 IDJOB=2695813 IDBENCH=2175 IDSOLVER=1209 FILE ID=node052/2695813-1278018669 PBS_JOBID= 11198713 Free space on /tmp= 62168 MiB SOLVER NAME= pb_cplex 2010-06-29 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695813-1278018669/watcher-2695813-1278018669 -o /tmp/evaluation-result-2695813-1278018669/solver-2695813-1278018669 -C 1800 -W 2000 -M 1800 run HOME/instance-2695813-1278018669.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e RANDOM SEED=1567934781 node052.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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1546636 kB Buffers: 131180 kB Cached: 276108 kB SwapCached: 6256 kB Active: 160380 kB Inactive: 260100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1546636 kB SwapTotal: 4192956 kB SwapFree: 4139872 kB Dirty: 17096 kB Writeback: 0 kB AnonPages: 11704 kB Mapped: 12116 kB Slab: 69988 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181388 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= 62152 MiB End job on node052 at 2010-07-01 23:29:12