Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.08 | 1800.61 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-trento1.opb |
MD5SUM | 3e144bcef2d8d517e1e9ee592d533dc8 |
Bench Category | OPT-BIGINT (optimisation, big 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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21491069266217984 |
Optimality of the best value was proved | NO |
Number of variables | 44575 |
Total number of constraints | 1264 |
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 | 1264 |
Minimum length of a constraint | 35 |
Maximum length of a constraint | 44575 |
Number of terms in the objective function | 44575 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 3578049115531221094637 |
Number of bits of the sum of numbers in the objective function | 72 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 3578151515531221094637 |
Number of bits of the biggest sum of numbers | 72 |
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/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.89/0.96 c constraints 1264/0 clauses 0/0 units 109 0.89/0.96 c vars 44575 0.89/0.96 c objective 44520 + 0 1800.08/1800.50 s UNKNOWN
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-2682146-1277485431/watcher-2682146-1277485431 -o /tmp/evaluation-result-2682146-1277485431/solver-2682146-1277485431 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682146-1277485431.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.96 3/106 25064 /proc/meminfo: memFree=1802000/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=2416 CPUtime=0 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 291 0 0 0 0 0 0 0 18 0 1 0 122198514 2473984 211 1992294400 134512640 136421960 4289033872 18446744073709551615 135830545 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25064/statm: 604 211 138 467 0 135 0 [startup+0.047898 s] /proc/loadavg: 0.92 0.98 0.96 3/106 25064 /proc/meminfo: memFree=1802000/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=3136 CPUtime=0.04 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 521 0 0 0 4 0 0 0 18 0 1 0 122198514 3211264 409 1992294400 134512640 136421960 4289033872 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25064/statm: 784 409 138 467 0 315 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3136 [startup+0.101901 s] /proc/loadavg: 0.92 0.98 0.96 3/106 25064 /proc/meminfo: memFree=1802000/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=6380 CPUtime=0.09 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 1207 0 0 0 9 0 0 0 21 0 1 0 122198514 6533120 883 1992294400 134512640 136421960 4289033872 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25064/statm: 1595 885 138 467 0 1126 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6380 [startup+0.301917 s] /proc/loadavg: 0.92 0.98 0.96 3/106 25064 /proc/meminfo: memFree=1802000/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=8108 CPUtime=0.29 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 1948 0 0 0 29 0 0 0 21 0 1 0 122198514 8302592 1495 1992294400 134512640 136421960 4289033872 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25064/statm: 2027 1495 145 467 0 1558 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8108 [startup+0.701949 s] /proc/loadavg: 0.92 0.98 0.96 3/106 25064 /proc/meminfo: memFree=1802000/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=13900 CPUtime=0.69 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 3325 0 0 0 69 0 0 0 22 0 1 0 122198514 14233600 2872 1992294400 134512640 136421960 4289033872 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25064/statm: 3475 2872 146 467 0 3006 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13900 [startup+1.50101 s] /proc/loadavg: 0.92 0.98 0.96 2/107 25065 /proc/meminfo: memFree=1782772/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=62792 CPUtime=1.49 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 15376 0 0 0 143 6 0 0 25 0 1 0 122198514 64299008 14794 1992294400 134512640 136421960 4289033872 18446744073709551615 134560362 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 15698 14794 194 467 0 15229 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 62792 [startup+3.10114 s] /proc/loadavg: 0.92 0.98 0.96 2/107 25065 /proc/meminfo: memFree=1697212/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=185744 CPUtime=3.09 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 47738 0 0 0 288 21 0 0 25 0 1 0 122198514 190201856 45035 1992294400 134512640 136421960 4289033872 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 46436 45035 194 467 0 45967 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 185744 [startup+6.30139 s] /proc/loadavg: 0.93 0.98 0.96 2/107 25065 /proc/meminfo: memFree=1475500/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=390608 CPUtime=6.29 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 102750 0 0 0 581 48 0 0 25 0 1 0 122198514 399982592 96329 1992294400 134512640 136421960 4289033872 18446744073709551615 135241761 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 97652 96330 194 467 0 97183 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 390608 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.96 2/107 25065 /proc/meminfo: memFree=906836/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=927288 CPUtime=12.68 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 243822 0 0 0 1167 101 0 0 25 0 1 0 122198514 949542912 225811 1992294400 134512640 136421960 4289033872 18446744073709551615 134710421 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 231822 225811 205 467 0 231353 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 927288 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.96 2/107 25065 /proc/meminfo: memFree=825368/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1003204 CPUtime=25.48 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 264276 0 0 0 2405 143 0 0 25 0 1 0 122198514 1027280896 243808 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 250801 243808 217 467 0 250332 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1003204 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.96 2/107 25065 /proc/meminfo: memFree=820532/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1008672 CPUtime=51.07 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 265599 0 0 0 4887 220 0 0 25 0 1 0 122198514 1032880128 245131 1992294400 134512640 136421960 4289033872 18446744073709551615 134861907 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 252168 245131 217 467 0 251699 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1008672 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.96 2/107 25067 /proc/meminfo: memFree=811480/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1017548 CPUtime=102.27 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 267689 0 0 0 9892 335 0 0 25 0 1 0 122198514 1041969152 247221 1992294400 134512640 136421960 4289033872 18446744073709551615 135274876 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254387 247221 217 467 0 253918 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1017548 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.96 2/107 25069 /proc/meminfo: memFree=811108/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1017812 CPUtime=162.25 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 267778 0 0 0 15769 456 0 0 25 0 1 0 122198514 1042239488 247310 1992294400 134512640 136421960 4289033872 18446744073709551615 134864225 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254453 247310 217 467 0 253984 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 1017812 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.96 2/107 25071 /proc/meminfo: memFree=811108/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1017812 CPUtime=222.24 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 267778 0 0 0 21587 637 0 0 25 0 1 0 122198514 1042239488 247310 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254453 247310 217 467 0 253984 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 1017812 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.96 2/107 25071 /proc/meminfo: memFree=810984/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1017812 CPUtime=282.22 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 267788 0 0 0 27405 817 0 0 25 0 1 0 122198514 1042239488 247320 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254453 247320 217 467 0 253984 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1017812 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.96 2/107 25073 /proc/meminfo: memFree=810860/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1018076 CPUtime=342.21 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 267841 0 0 0 33232 989 0 0 25 0 1 0 122198514 1042509824 247373 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254519 247373 217 467 0 254050 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 1018076 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.96 2/107 25075 /proc/meminfo: memFree=810488/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1018340 CPUtime=402.2 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 267897 0 0 0 39039 1181 0 0 25 0 1 0 122198514 1042780160 247429 1992294400 134512640 136421960 4289033872 18446744073709551615 135029889 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254585 247429 217 467 0 254116 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 1018340 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.96 2/107 25077 /proc/meminfo: memFree=810240/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1018472 CPUtime=462.18 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 267952 0 0 0 44863 1355 0 0 25 0 1 0 122198514 1042915328 247484 1992294400 134512640 136421960 4289033872 18446744073709551615 135165360 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254618 247484 217 467 0 254149 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1018472 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.96 2/107 25079 /proc/meminfo: memFree=809992/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1018736 CPUtime=522.17 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268001 0 0 0 50684 1533 0 0 25 0 1 0 122198514 1043185664 247533 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254684 247533 217 467 0 254215 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 1018736 [startup+582.301 s] /proc/loadavg: 1.03 1.00 0.96 2/107 25079 /proc/meminfo: memFree=809744/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1018868 CPUtime=582.16 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268052 0 0 0 56503 1713 0 0 25 0 1 0 122198514 1043320832 247584 1992294400 134512640 136421960 4289033872 18446744073709551615 135818390 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254717 247584 217 467 0 254248 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 1018868 [startup+642.302 s] /proc/loadavg: 1.12 1.03 0.97 2/107 25081 /proc/meminfo: memFree=809496/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1019132 CPUtime=642.15 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268107 0 0 0 62330 1885 0 0 25 0 1 0 122198514 1043591168 247639 1992294400 134512640 136421960 4289033872 18446744073709551615 135025766 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 254783 247639 217 467 0 254314 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 1019132 [startup+702.302 s] ################ # More data... # ################ /proc/loadavg: 1.00 1.00 0.99 2/107 25095 /proc/meminfo: memFree=807388/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1020716 CPUtime=1182.02 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268512 0 0 0 114715 3487 0 0 25 0 1 0 122198514 1045213184 248044 1992294400 134512640 136421960 4289033872 18446744073709551615 135238888 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255179 248044 217 467 0 254710 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 1020716 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25097 /proc/meminfo: memFree=806520/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1021508 CPUtime=1242 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268698 0 0 0 120477 3723 0 0 25 0 1 0 122198514 1046024192 248230 1992294400 134512640 136421960 4289033872 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255377 248230 217 467 0 254908 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1021508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25099 /proc/meminfo: memFree=806396/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1021508 CPUtime=1301.99 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268715 0 0 0 126293 3906 0 0 25 0 1 0 122198514 1046024192 248247 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255377 248247 217 467 0 254908 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1021508 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25101 /proc/meminfo: memFree=806272/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1021772 CPUtime=1361.97 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268770 0 0 0 132112 4085 0 0 25 0 1 0 122198514 1046294528 248302 1992294400 134512640 136421960 4289033872 18446744073709551615 134641212 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255443 248302 217 467 0 254974 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1021772 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25103 /proc/meminfo: memFree=806024/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1022036 CPUtime=1421.96 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268837 0 0 0 137936 4260 0 0 25 0 1 0 122198514 1046564864 248369 1992294400 134512640 136421960 4289033872 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255509 248369 217 467 0 255040 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1022036 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25103 /proc/meminfo: memFree=805776/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1022168 CPUtime=1481.94 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268889 0 0 0 143751 4443 0 0 25 0 1 0 122198514 1046700032 248421 1992294400 134512640 136421960 4289033872 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255542 248421 217 467 0 255073 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1022168 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25105 /proc/meminfo: memFree=805528/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1022564 CPUtime=1541.92 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 268960 0 0 0 149573 4619 0 0 25 0 1 0 122198514 1047105536 248492 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255641 248492 217 467 0 255172 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1022564 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25107 /proc/meminfo: memFree=805280/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1022828 CPUtime=1601.91 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 269027 0 0 0 155396 4795 0 0 25 0 1 0 122198514 1047375872 248559 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255707 248559 217 467 0 255238 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1022828 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25109 /proc/meminfo: memFree=804908/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1023092 CPUtime=1661.9 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 269094 0 0 0 161228 4962 0 0 25 0 1 0 122198514 1047646208 248626 1992294400 134512640 136421960 4289033872 18446744073709551615 135160704 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255773 248626 217 467 0 255304 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1023092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25111 /proc/meminfo: memFree=804660/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1023224 CPUtime=1721.89 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 269150 0 0 0 167061 5128 0 0 25 0 1 0 122198514 1047781376 248682 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255806 248682 217 467 0 255337 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1023224 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25111 /proc/meminfo: memFree=804164/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1023620 CPUtime=1781.87 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 269222 0 0 0 172882 5305 0 0 25 0 1 0 122198514 1048186880 248754 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255905 248754 217 467 0 255436 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1023620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25113 /proc/meminfo: memFree=804040/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1023752 CPUtime=1800.08 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 269258 0 0 0 174646 5362 0 0 25 0 1 0 122198514 1048322048 248790 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255938 248790 217 467 0 255469 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1023752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.08 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.08 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25113 /proc/meminfo: memFree=804040/2059040 swapFree=4136400/4192956 [pid=25064] ppid=25062 vsize=1023752 CPUtime=1800.08 /proc/25064/stat : 25064 (pbct) R 25062 25064 24277 0 -1 4202496 269258 0 0 0 174646 5362 0 0 25 0 1 0 122198514 1048322048 248790 1992294400 134512640 136421960 4289033872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25064/statm: 255938 248790 217 467 0 255469 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1023752 [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.99 2/108 25114 /proc/meminfo: memFree=1797768/2059040 swapFree=4136400/4192956 [pid=25064] ppid=-1 vsize=0 CPUtime=0 /proc/25064/stat : -- couldn't open stat file --/proc/25064/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.99 2/108 25114 /proc/meminfo: memFree=1797768/2059040 swapFree=4136400/4192956 [pid=25064] ppid=-1 vsize=0 CPUtime=0 /proc/25064/stat : -- couldn't open stat file --/proc/25064/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25064 and gives # childrusage.ru_utime.tv_sec=1746 # childrusage.ru_utime.tv_usec=463497 # childrusage.ru_stime.tv_sec=53 # childrusage.ru_stime.tv_usec=722832 # CPU time returned by wait4() is 1800.19 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.08 # lost CPU user time (s): 1746.46 # lost CPU system time (s): 53.62 Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1746.46 CPU system time (s): 53.62 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 1023752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.46 system time used= 53.7228 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269260 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= 1 involuntary context switches= 2467 runsolver used 3.24851 second user time and 8.22775 second system time The end
Begin job on node026 at 2010-06-25 19:03:51 IDJOB=2682146 IDBENCH=2357 IDSOLVER=1192 FILE ID=node026/2682146-1277485431 PBS_JOBID= 11190516 Free space on /tmp= 62472 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682146-1277485431/watcher-2682146-1277485431 -o /tmp/evaluation-result-2682146-1277485431/solver-2682146-1277485431 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682146-1277485431.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3e144bcef2d8d517e1e9ee592d533dc8 RANDOM SEED=934020431 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1802528 kB Buffers: 45492 kB Cached: 112100 kB SwapCached: 9016 kB Active: 72164 kB Inactive: 98640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1802528 kB SwapTotal: 4192956 kB SwapFree: 4136400 kB Dirty: 5248 kB Writeback: 0 kB AnonPages: 11760 kB Mapped: 8400 kB Slab: 63768 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181048 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= 62472 MiB End job on node026 at 2010-06-25 19:33:54