Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.06 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_4.opb |
MD5SUM | cef055af6c2a22a549e672ed9a55f2c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 51 |
Total number of constraints | 13 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1486 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4459 |
Number of bits of the biggest sum of numbers | 13 |
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 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 12/0 clauses 0/0 units 1 0.00/0.00 c vars 51 0.00/0.00 c objective 0 + 0 1800.04/1800.61 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-2668391-1276612691/watcher-2668391-1276612691 -o /tmp/evaluation-result-2668391-1276612691/solver-2668391-1276612691 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668391-1276612691.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 3/106 2532 /proc/meminfo: memFree=1819052/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=3516 CPUtime=0 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 560 0 0 0 0 0 0 0 20 0 1 0 36872824 3600384 483 1992294400 134512640 136485738 4293874656 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 879 483 197 482 0 395 0 [startup+0.0663171 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2532 /proc/meminfo: memFree=1819052/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5512 CPUtime=0.05 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1073 0 0 0 5 0 0 0 20 0 1 0 36872824 5644288 996 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1378 996 225 482 0 894 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5512 [startup+0.10132 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2532 /proc/meminfo: memFree=1819052/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5512 CPUtime=0.09 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1083 0 0 0 8 1 0 0 20 0 1 0 36872824 5644288 1006 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1378 1006 225 482 0 894 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5512 [startup+0.301342 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2532 /proc/meminfo: memFree=1819052/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5512 CPUtime=0.29 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1096 0 0 0 26 3 0 0 20 0 1 0 36872824 5644288 1019 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1378 1019 225 482 0 894 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5512 [startup+0.701387 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2532 /proc/meminfo: memFree=1819052/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5640 CPUtime=0.69 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1103 0 0 0 62 7 0 0 21 0 1 0 36872824 5775360 1026 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1410 1026 225 482 0 926 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5640 [startup+1.50148 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2533 /proc/meminfo: memFree=1815572/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5640 CPUtime=1.5 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1118 0 0 0 133 17 0 0 23 0 1 0 36872824 5775360 1041 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1410 1041 225 482 0 926 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 5640 [startup+3.10165 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2533 /proc/meminfo: memFree=1815324/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5772 CPUtime=3.1 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1134 0 0 0 273 37 0 0 25 0 1 0 36872824 5910528 1057 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1443 1057 225 482 0 959 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 5772 [startup+6.30101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2533 /proc/meminfo: memFree=1815200/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5772 CPUtime=6.29 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1152 0 0 0 555 74 0 0 25 0 1 0 36872824 5910528 1075 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1443 1075 225 482 0 959 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5772 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2533 /proc/meminfo: memFree=1814836/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5896 CPUtime=12.69 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1168 0 0 0 1122 147 0 0 25 0 1 0 36872824 6037504 1091 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1474 1091 225 482 0 990 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5896 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2535 /proc/meminfo: memFree=1814836/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=5896 CPUtime=25.48 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1188 0 0 0 2248 300 0 0 25 0 1 0 36872824 6037504 1111 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1474 1111 225 482 0 990 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5896 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2535 /proc/meminfo: memFree=1814712/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6028 CPUtime=51.07 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1224 0 0 0 4510 597 0 0 25 0 1 0 36872824 6172672 1147 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1507 1147 225 482 0 1023 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6028 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2537 /proc/meminfo: memFree=1814464/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6296 CPUtime=102.27 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1273 0 0 0 9042 1185 0 0 25 0 1 0 36872824 6447104 1196 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1574 1196 225 482 0 1090 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 6296 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2537 /proc/meminfo: memFree=1814216/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6428 CPUtime=162.24 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1304 0 0 0 14353 1871 0 0 25 0 1 0 36872824 6582272 1227 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1607 1227 225 482 0 1123 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 6428 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2539 /proc/meminfo: memFree=1814216/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6428 CPUtime=222.22 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1316 0 0 0 19669 2553 0 0 25 0 1 0 36872824 6582272 1239 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1607 1239 225 482 0 1123 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 6428 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2541 /proc/meminfo: memFree=1814092/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6560 CPUtime=282.2 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1343 0 0 0 24993 3227 0 0 25 0 1 0 36872824 6717440 1266 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1640 1266 225 482 0 1156 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 6560 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2543 /proc/meminfo: memFree=1813844/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6696 CPUtime=342.19 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1366 0 0 0 30318 3901 0 0 25 0 1 0 36872824 6856704 1289 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1674 1289 225 482 0 1190 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 6696 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2545 /proc/meminfo: memFree=1813720/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6696 CPUtime=402.17 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1378 0 0 0 35644 4573 0 0 25 0 1 0 36872824 6856704 1301 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1674 1301 225 482 0 1190 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 6696 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2545 /proc/meminfo: memFree=1813720/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6696 CPUtime=462.15 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1388 0 0 0 40948 5267 0 0 25 0 1 0 36872824 6856704 1311 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1674 1311 225 482 0 1190 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 6696 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2547 /proc/meminfo: memFree=1813596/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6836 CPUtime=522.13 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1396 0 0 0 46266 5947 0 0 25 0 1 0 36872824 7000064 1319 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1709 1319 225 482 0 1225 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 6836 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2549 /proc/meminfo: memFree=1813596/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6836 CPUtime=582.12 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1400 0 0 0 51588 6624 0 0 25 0 1 0 36872824 7000064 1323 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1709 1323 225 482 0 1225 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 6836 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2551 /proc/meminfo: memFree=1813472/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6836 CPUtime=642.11 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1420 0 0 0 56925 7286 0 0 25 0 1 0 36872824 7000064 1343 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1709 1343 225 482 0 1225 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 6836 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.10 1.03 1.00 2/107 2555 /proc/meminfo: memFree=1813224/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6972 CPUtime=822.04 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1439 0 0 0 72932 9272 0 0 25 0 1 0 36872824 7139328 1362 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1743 1362 225 482 0 1259 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 6972 [startup+882.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 2557 /proc/meminfo: memFree=1813224/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6972 CPUtime=882.03 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1441 0 0 0 78274 9929 0 0 25 0 1 0 36872824 7139328 1364 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1743 1364 225 482 0 1259 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 6972 [startup+942.301 s] /proc/loadavg: 1.16 1.06 1.01 2/107 2559 /proc/meminfo: memFree=1813100/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6972 CPUtime=942.01 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1444 0 0 0 83608 10593 0 0 25 0 1 0 36872824 7139328 1367 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1743 1367 225 482 0 1259 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 6972 [startup+1002.3 s] /proc/loadavg: 1.16 1.08 1.01 2/107 2561 /proc/meminfo: memFree=1813100/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6972 CPUtime=1001.99 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1452 0 0 0 88939 11260 0 0 25 0 1 0 36872824 7139328 1375 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1743 1375 225 482 0 1259 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 6972 [startup+1062.3 s] /proc/loadavg: 1.11 1.08 1.01 2/107 2561 /proc/meminfo: memFree=1812976/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6972 CPUtime=1061.97 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1459 0 0 0 94271 11926 0 0 25 0 1 0 36872824 7139328 1382 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1743 1382 225 482 0 1259 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 6972 [startup+1122.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 2563 /proc/meminfo: memFree=1812976/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=6972 CPUtime=1121.95 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1460 0 0 0 99585 12610 0 0 25 0 1 0 36872824 7139328 1383 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1743 1383 225 482 0 1259 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 6972 [startup+1182.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 2565 /proc/meminfo: memFree=1812852/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7104 CPUtime=1181.94 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1463 0 0 0 104911 13283 0 0 25 0 1 0 36872824 7274496 1386 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1776 1386 225 482 0 1292 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 7104 [startup+1242.3 s] /proc/loadavg: 1.06 1.07 1.01 2/107 2567 /proc/meminfo: memFree=1812728/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7104 CPUtime=1241.92 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1463 0 0 0 110226 13966 0 0 25 0 1 0 36872824 7274496 1386 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1776 1386 225 482 0 1292 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 7104 [startup+1302.3 s] /proc/loadavg: 1.06 1.07 1.01 2/107 2569 /proc/meminfo: memFree=1812604/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7104 CPUtime=1301.9 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1491 0 0 0 115563 14627 0 0 25 0 1 0 36872824 7274496 1414 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1776 1414 225 482 0 1292 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 7104 [startup+1362.3 s] /proc/loadavg: 1.13 1.09 1.02 2/107 2569 /proc/meminfo: memFree=1812604/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7104 CPUtime=1361.88 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1491 0 0 0 120907 15281 0 0 25 0 1 0 36872824 7274496 1414 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1776 1414 225 482 0 1292 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 7104 [startup+1422.31 s] /proc/loadavg: 1.12 1.09 1.02 2/107 2580 /proc/meminfo: memFree=1811488/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7252 CPUtime=1421.85 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1515 0 0 0 126232 15953 0 0 25 0 1 0 36872824 7426048 1438 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1813 1438 225 482 0 1329 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 7252 [startup+1482.3 s] /proc/loadavg: 1.11 1.08 1.02 2/107 2582 /proc/meminfo: memFree=1811488/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7400 CPUtime=1481.84 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1521 0 0 0 131572 16612 0 0 25 0 1 0 36872824 7577600 1444 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1850 1444 225 482 0 1366 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 7400 [startup+1542.3 s] /proc/loadavg: 1.10 1.08 1.01 2/107 2584 /proc/meminfo: memFree=1811736/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7400 CPUtime=1541.81 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1532 0 0 0 136919 17262 0 0 25 0 1 0 36872824 7577600 1455 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1850 1455 225 482 0 1366 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 7400 [startup+1602.3 s] /proc/loadavg: 1.09 1.08 1.01 2/107 2586 /proc/meminfo: memFree=1811736/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7400 CPUtime=1601.79 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1540 0 0 0 142267 17912 0 0 25 0 1 0 36872824 7577600 1463 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1850 1463 225 482 0 1366 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 7400 [startup+1662.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 2586 /proc/meminfo: memFree=1811736/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7400 CPUtime=1661.78 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1556 0 0 0 147612 18566 0 0 25 0 1 0 36872824 7577600 1479 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1850 1479 225 482 0 1366 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 7400 [startup+1722.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 2588 /proc/meminfo: memFree=1811736/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7400 CPUtime=1721.76 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1557 0 0 0 152961 19215 0 0 25 0 1 0 36872824 7577600 1480 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1850 1480 225 482 0 1366 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 7400 [startup+1782.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 2590 /proc/meminfo: memFree=1811488/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7400 CPUtime=1781.73 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1558 0 0 0 158312 19861 0 0 25 0 1 0 36872824 7577600 1481 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1850 1481 225 482 0 1366 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 7400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.13 1.09 1.02 2/107 2590 /proc/meminfo: memFree=1811488/2059040 swapFree=4140532/4192956 [pid=2532] ppid=2530 vsize=7400 CPUtime=1800.04 /proc/2532/stat : 2532 (pbct) R 2530 2532 2427 0 -1 4202496 1558 0 0 0 159943 20061 0 0 25 0 1 0 36872824 7577600 1481 1992294400 134512640 136485738 4293874656 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/2532/statm: 1850 1481 225 482 0 1366 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 7400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1599.44 CPU system time (s): 200.617 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 7400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1599.44 system time used= 200.617 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1558 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= 4745 runsolver used 3.15352 second user time and 8.32573 second system time The end
Begin job on node005 at 2010-06-15 16:38:11 IDJOB=2668391 IDBENCH=2911 IDSOLVER=1170 FILE ID=node005/2668391-1276612691 PBS_JOBID= 11172290 Free space on /tmp= 62564 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_4.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668391-1276612691/watcher-2668391-1276612691 -o /tmp/evaluation-result-2668391-1276612691/solver-2668391-1276612691 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668391-1276612691.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cef055af6c2a22a549e672ed9a55f2c8 RANDOM SEED=1027800345 node005.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.246 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.49 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.246 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: 1819456 kB Buffers: 60800 kB Cached: 96748 kB SwapCached: 6800 kB Active: 90424 kB Inactive: 81288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1819456 kB SwapTotal: 4192956 kB SwapFree: 4140532 kB Dirty: 2028 kB Writeback: 0 kB AnonPages: 11708 kB Mapped: 13076 kB Slab: 46128 kB PageTables: 3952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181624 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= 62564 MiB End job on node005 at 2010-06-15 17:08:14