Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.16 | 1800.63 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos2.opb |
MD5SUM | 44facea850693084b6f9bb62059a35af |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 32294 |
Total number of constraints | 1133 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 13 |
Number of constraints which are nor clauses,nor cardinality constraints | 1120 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4780 |
Number of terms in the objective function | 124 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 8589934588 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 2454208150643933184000 |
Number of bits of the biggest number in a constraint | 72 |
Biggest sum of numbers in a constraint | 289272765430218968121839 |
Number of bits of the biggest sum of numbers | 78 |
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 3.30/3.33 c constraints 1133/0 clauses 0/0 units 18655 3.30/3.33 c vars 32294 3.30/3.33 c objective 124 + 0 1800.03/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-2681913-1277485187/watcher-2681913-1277485187 -o /tmp/evaluation-result-2681913-1277485187/solver-2681913-1277485187 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681913-1277485187.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.00 1.00 1.00 2/105 29844 /proc/meminfo: memFree=1788840/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=2284 CPUtime=0 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 286 0 0 0 0 0 0 0 22 0 1 0 89812586 2338816 206 1992294400 134512640 136421960 4290036352 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29844/statm: 571 206 146 467 0 102 0 [startup+0.036023 s] /proc/loadavg: 1.00 1.00 1.00 2/105 29844 /proc/meminfo: memFree=1788840/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=2924 CPUtime=0.03 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 414 0 0 0 3 0 0 0 22 0 1 0 89812586 2994176 334 1992294400 134512640 136421960 4290036352 18446744073709551615 135162362 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29844/statm: 731 334 146 467 0 262 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2924 [startup+0.101028 s] /proc/loadavg: 1.00 1.00 1.00 2/105 29844 /proc/meminfo: memFree=1788840/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=3528 CPUtime=0.09 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 521 0 0 0 9 0 0 0 24 0 1 0 89812586 3612672 441 1992294400 134512640 136421960 4290036352 18446744073709551615 135154801 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29844/statm: 882 441 146 467 0 413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3528 [startup+0.301048 s] /proc/loadavg: 1.00 1.00 1.00 2/105 29844 /proc/meminfo: memFree=1788840/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=3528 CPUtime=0.29 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 521 0 0 0 29 0 0 0 25 0 1 0 89812586 3612672 441 1992294400 134512640 136421960 4290036352 18446744073709551615 135818268 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29844/statm: 882 441 146 467 0 413 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3528 [startup+0.701088 s] /proc/loadavg: 1.00 1.00 1.00 2/105 29844 /proc/meminfo: memFree=1788840/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=3528 CPUtime=0.69 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 521 0 0 0 69 0 0 0 25 0 1 0 89812586 3612672 441 1992294400 134512640 136421960 4290036352 18446744073709551615 135818229 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29844/statm: 882 441 146 467 0 413 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3528 [startup+1.50117 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29845 /proc/meminfo: memFree=1787592/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=3528 CPUtime=1.49 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 521 0 0 0 149 0 0 0 25 0 1 0 89812586 3612672 441 1992294400 134512640 136421960 4290036352 18446744073709551615 134541214 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29844/statm: 882 441 146 467 0 413 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3528 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29845 /proc/meminfo: memFree=1787220/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=12896 CPUtime=3.09 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 2540 0 0 0 309 0 0 0 25 0 1 0 89812586 13205504 2460 1992294400 134512640 136421960 4290036352 18446744073709551615 135161820 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29844/statm: 3224 2460 147 467 0 2755 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12896 [startup+6.30165 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29845 /proc/meminfo: memFree=1608908/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=234892 CPUtime=6.29 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 61343 0 0 0 601 28 0 0 25 0 1 0 89812586 240529408 58194 1992294400 134512640 136421960 4290036352 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 58723 58194 195 467 0 58254 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 234892 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29845 /proc/meminfo: memFree=1371456/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=436268 CPUtime=12.69 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 113300 0 0 0 1191 78 0 0 25 0 1 0 89812586 446738432 104875 1992294400 134512640 136421960 4290036352 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 109067 104875 217 467 0 108598 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 436268 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29845 /proc/meminfo: memFree=1309580/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=496412 CPUtime=25.48 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 128334 0 0 0 2424 124 0 0 25 0 1 0 89812586 508325888 119909 1992294400 134512640 136421960 4290036352 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 124103 119909 217 467 0 123634 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 496412 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29845 /proc/meminfo: memFree=1197236/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=609916 CPUtime=51.07 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 156679 0 0 0 4887 220 0 0 25 0 1 0 89812586 624553984 148254 1992294400 134512640 136421960 4290036352 18446744073709551615 134863644 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 152479 148254 217 467 0 152010 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 609916 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29856 /proc/meminfo: memFree=1050048/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=754660 CPUtime=102.26 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 192793 0 0 0 9879 347 0 0 25 0 1 0 89812586 772771840 184368 1992294400 134512640 136421960 4290036352 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 188665 184368 217 467 0 188196 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 754660 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29858 /proc/meminfo: memFree=958288/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=847304 CPUtime=162.24 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 215762 0 0 0 15787 437 0 0 25 0 1 0 89812586 867639296 207337 1992294400 134512640 136421960 4290036352 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 211826 207337 217 467 0 211357 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 847304 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29860 /proc/meminfo: memFree=905960/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=901168 CPUtime=222.22 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 228947 0 0 0 21734 488 0 0 25 0 1 0 89812586 922796032 220522 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 225292 220522 217 467 0 224823 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 901168 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29860 /proc/meminfo: memFree=883392/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=923892 CPUtime=282.21 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 234398 0 0 0 27710 511 0 0 25 0 1 0 89812586 946065408 225973 1992294400 134512640 136421960 4290036352 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 230973 225973 217 467 0 230504 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 923892 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29862 /proc/meminfo: memFree=853136/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=954572 CPUtime=342.2 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 241923 0 0 0 33677 543 0 0 25 0 1 0 89812586 977481728 233498 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 238643 233498 217 467 0 238174 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 954572 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29864 /proc/meminfo: memFree=826972/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=981208 CPUtime=402.18 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 248533 0 0 0 39651 567 0 0 25 0 1 0 89812586 1004756992 240108 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 245302 240108 217 467 0 244833 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 981208 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29866 /proc/meminfo: memFree=799196/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1009472 CPUtime=462.17 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 255428 0 0 0 45628 589 0 0 25 0 1 0 89812586 1033699328 247003 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 252368 247003 217 467 0 251899 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1009472 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29868 /proc/meminfo: memFree=775016/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1033752 CPUtime=522.15 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 261461 0 0 0 51602 613 0 0 25 0 1 0 89812586 1058562048 253036 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 258438 253036 217 467 0 257969 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1033752 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29868 /proc/meminfo: memFree=753316/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1055352 CPUtime=582.13 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 266876 0 0 0 57579 634 0 0 25 0 1 0 89812586 1080680448 258451 1992294400 134512640 136421960 4290036352 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 263838 258451 217 467 0 263369 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1055352 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29870 /proc/meminfo: memFree=723060/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1085908 CPUtime=642.13 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 274387 0 0 0 63541 672 0 0 25 0 1 0 89812586 1111969792 265962 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 271477 265962 217 467 0 271008 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1085908 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29878 /proc/meminfo: memFree=636880/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1175028 CPUtime=882.06 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 295862 0 0 0 87439 767 0 0 25 0 1 0 89812586 1203228672 287437 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 293757 287437 217 467 0 293288 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1175028 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29878 /proc/meminfo: memFree=629936/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1182024 CPUtime=942.05 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 297591 0 0 0 93429 776 0 0 25 0 1 0 89812586 1210392576 289166 1992294400 134512640 136421960 4290036352 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 295506 289166 217 467 0 295037 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1182024 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29880 /proc/meminfo: memFree=623116/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1189376 CPUtime=1002.03 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 299297 0 0 0 99419 784 0 0 25 0 1 0 89812586 1217921024 290872 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 297344 290872 217 467 0 296875 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1189376 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29882 /proc/meminfo: memFree=613816/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1199252 CPUtime=1062.02 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 301629 0 0 0 105411 791 0 0 25 0 1 0 89812586 1228034048 293204 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 299813 293204 217 467 0 299344 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1199252 [startup+1122.3 s] /proc/loadavg: 1.07 1.02 1.00 2/106 29884 /proc/meminfo: memFree=606376/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1207076 CPUtime=1122 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 303447 0 0 0 111401 799 0 0 25 0 1 0 89812586 1236045824 295022 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 301769 295022 217 467 0 301300 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1207076 [startup+1182.3 s] /proc/loadavg: 1.08 1.03 1.00 2/106 29884 /proc/meminfo: memFree=596580/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1217360 CPUtime=1181.99 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 305919 0 0 0 117388 811 0 0 25 0 1 0 89812586 1246576640 297494 1992294400 134512640 136421960 4290036352 18446744073709551615 134861999 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 304340 297494 217 467 0 303871 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1217360 [startup+1242.3 s] /proc/loadavg: 1.14 1.05 1.01 2/106 29886 /proc/meminfo: memFree=584304/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1230124 CPUtime=1241.97 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 308926 0 0 0 123372 825 0 0 25 0 1 0 89812586 1259646976 300501 1992294400 134512640 136421960 4290036352 18446744073709551615 134861992 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 307531 300501 217 467 0 307062 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1230124 [startup+1302.3 s] /proc/loadavg: 1.10 1.06 1.01 2/106 29888 /proc/meminfo: memFree=571904/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1242652 CPUtime=1301.96 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 311969 0 0 0 129353 843 0 0 25 0 1 0 89812586 1272475648 303544 1992294400 134512640 136421960 4290036352 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 310663 303544 217 467 0 310194 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1242652 [startup+1362.3 s] /proc/loadavg: 1.08 1.06 1.01 2/106 29890 /proc/meminfo: memFree=554792/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1260180 CPUtime=1361.94 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 316278 0 0 0 135326 868 0 0 25 0 1 0 89812586 1290424320 307853 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 315045 307853 217 467 0 314576 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1260180 [startup+1422.31 s] /proc/loadavg: 1.07 1.06 1.01 2/106 29892 /proc/meminfo: memFree=542268/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1273032 CPUtime=1421.93 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 319381 0 0 0 141311 882 0 0 25 0 1 0 89812586 1303584768 310956 1992294400 134512640 136421960 4290036352 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 318258 310956 217 467 0 317789 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1273032 [startup+1482.3 s] /proc/loadavg: 1.07 1.06 1.01 2/106 29892 /proc/meminfo: memFree=530116/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1285328 CPUtime=1481.91 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 322449 0 0 0 147289 902 0 0 25 0 1 0 89812586 1316175872 314024 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 321332 314024 217 467 0 320863 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1285328 [startup+1542.3 s] /proc/loadavg: 1.13 1.08 1.01 2/106 29894 /proc/meminfo: memFree=516352/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1299416 CPUtime=1541.9 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 325881 0 0 0 153270 920 0 0 25 0 1 0 89812586 1330601984 317456 1992294400 134512640 136421960 4290036352 18446744073709551615 134861992 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 324854 317456 217 467 0 324385 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1299416 [startup+1602.3 s] /proc/loadavg: 1.05 1.06 1.01 2/106 29896 /proc/meminfo: memFree=503332/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1312540 CPUtime=1601.87 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 329129 0 0 0 159247 940 0 0 25 0 1 0 89812586 1344040960 320704 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 328135 320704 217 467 0 327666 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1312540 [startup+1662.3 s] /proc/loadavg: 1.02 1.05 1.00 2/106 29898 /proc/meminfo: memFree=494156/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1321928 CPUtime=1661.86 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 331376 0 0 0 165233 953 0 0 25 0 1 0 89812586 1353654272 322951 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 330482 322951 217 467 0 330013 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1321928 [startup+1722.3 s] /proc/loadavg: 1.00 1.04 1.00 2/106 29900 /proc/meminfo: memFree=487212/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1329644 CPUtime=1721.85 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 333131 0 0 0 171225 960 0 0 25 0 1 0 89812586 1361555456 324706 1992294400 134512640 136421960 4290036352 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 332411 324706 217 467 0 331942 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1329644 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 29900 /proc/meminfo: memFree=477912/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1338940 CPUtime=1781.83 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 335361 0 0 0 177212 971 0 0 25 0 1 0 89812586 1371074560 326936 1992294400 134512640 136421960 4290036352 18446744073709551615 134861992 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 334735 326936 217 467 0 334266 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1338940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.02 1.00 2/106 29902 /proc/meminfo: memFree=474316/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=1342608 CPUtime=1800.03 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4202496 336265 0 0 0 179029 974 0 0 25 0 1 0 89812586 1374830592 327840 1992294400 134512640 136421960 4290036352 18446744073709551615 134861992 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29844/statm: 335652 327840 217 467 0 335183 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1342608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.02 1.00 2/107 29903 /proc/meminfo: memFree=1598904/2059040 swapFree=4135616/4192956 [pid=29844] ppid=29842 vsize=0 CPUtime=1800.14 /proc/29844/stat : 29844 (pbct) R 29842 29844 29248 0 -1 4194308 336267 0 0 0 179029 985 0 0 25 0 1 0 89812586 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/29844/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.16 CPU user time (s): 1790.3 CPU system time (s): 9.8645 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1342608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.3 system time used= 9.8645 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 336267 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= 2111 runsolver used 2.87356 second user time and 8.60569 second system time The end
Begin job on node084 at 2010-06-25 18:59:47 IDJOB=2681913 IDBENCH=2332 IDSOLVER=1192 FILE ID=node084/2681913-1277485187 PBS_JOBID= 11190484 Free space on /tmp= 62456 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681913-1277485187/watcher-2681913-1277485187 -o /tmp/evaluation-result-2681913-1277485187/solver-2681913-1277485187 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681913-1277485187.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 44facea850693084b6f9bb62059a35af RANDOM SEED=357608993 node084.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.229 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.45 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.229 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: 1789244 kB Buffers: 35548 kB Cached: 136376 kB SwapCached: 9832 kB Active: 71336 kB Inactive: 113552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1789244 kB SwapTotal: 4192956 kB SwapFree: 4135616 kB Dirty: 3996 kB Writeback: 0 kB AnonPages: 11580 kB Mapped: 8280 kB Slab: 62944 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181572 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= 62452 MiB End job on node084 at 2010-06-25 19:29:50