Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | ? (TO) | 1800.07 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb |
MD5SUM | 6c673f615af1912eadc68b4290958076 |
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 | 61 |
Total number of constraints | 15 |
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 | 14 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
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 | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4944 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459123-1178649437/instance-459123-1178649437.opb ...... 1800.05/1800.61 c done parsing opb. 1800.05/1800.61 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/459123-1178649437/instance-459123-1178649437.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-459123-1178649437 -o ROOT/results/node15/solver-459123-1178649437 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459123-1178649437/instance-459123-1178649437.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21163 /proc/meminfo: memFree=1455232/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=1320 CPUtime=0 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 131 0 0 0 0 0 0 0 18 0 1 0 312861291 1351680 113 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 330 113 90 219 0 107 0 [startup+0.0378249 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21163 /proc/meminfo: memFree=1455232/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=1320 CPUtime=0.03 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 147 0 0 0 3 0 0 0 18 0 1 0 312861291 1351680 129 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 330 129 90 219 0 107 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1320 [startup+0.10183 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21163 /proc/meminfo: memFree=1455232/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=1320 CPUtime=0.09 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 184 0 0 0 9 0 0 0 18 0 1 0 312861291 1351680 166 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 330 166 90 219 0 107 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1320 [startup+0.301847 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21163 /proc/meminfo: memFree=1455232/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=2248 CPUtime=0.29 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 294 0 0 0 29 0 0 0 20 0 1 0 312861291 2301952 276 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 562 276 90 219 0 339 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2248 [startup+0.701887 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21163 /proc/meminfo: memFree=1455232/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=3408 CPUtime=0.69 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 498 0 0 0 69 0 0 0 24 0 1 0 312861291 3489792 480 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 852 480 90 219 0 629 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3408 [startup+1.50196 s] /proc/loadavg: 0.92 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1453112/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=5652 CPUtime=1.49 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 822 0 0 0 149 0 0 0 25 0 1 0 312861291 5787648 804 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 1413 804 90 219 0 1190 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5652 [startup+3.1011 s] /proc/loadavg: 0.92 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1451640/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=6128 CPUtime=3.09 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 1321 0 0 0 308 1 0 0 25 0 1 0 312861291 6275072 1254 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 1532 1254 90 219 0 1309 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6128 [startup+6.3014 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1448760/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=10660 CPUtime=6.29 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 1861 0 0 0 627 2 0 0 25 0 1 0 312861291 10915840 1794 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 2665 1794 90 219 0 2442 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10660 [startup+12.703 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1445560/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=11636 CPUtime=12.69 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 2677 0 0 0 1264 5 0 0 25 0 1 0 312861291 11915264 2513 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 2909 2513 90 219 0 2686 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11636 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1442040/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=20436 CPUtime=25.49 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 3507 0 0 0 2542 7 0 0 25 0 1 0 312861291 20926464 3343 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 5109 3343 90 219 0 4886 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20436 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1436600/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=22196 CPUtime=51.07 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 5064 0 0 0 5096 11 0 0 25 0 1 0 312861291 22728704 4707 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 5549 4707 90 219 0 5326 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22196 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1430328/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=39764 CPUtime=102.27 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 6600 0 0 0 10208 19 0 0 25 0 1 0 312861291 40718336 6243 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 9941 6243 90 219 0 9718 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39764 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1422520/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=42260 CPUtime=162.26 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 8935 0 0 0 16198 28 0 0 25 0 1 0 312861291 43274240 8193 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 10565 8193 90 219 0 10342 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 42260 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21164 /proc/meminfo: memFree=1417592/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=43292 CPUtime=222.23 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 10137 0 0 0 22191 32 0 0 25 0 1 0 312861291 44331008 9395 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 10823 9395 90 219 0 10600 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 43292 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21166 /proc/meminfo: memFree=1413752/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=44132 CPUtime=282.22 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 11089 0 0 0 28186 36 0 0 25 0 1 0 312861291 45191168 10347 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 11033 10347 90 219 0 10810 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44132 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21166 /proc/meminfo: memFree=1409400/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=77824 CPUtime=342.21 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 12188 0 0 0 34180 41 0 0 25 0 1 0 312861291 79691776 11446 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 19456 11446 90 219 0 19233 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 77824 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21166 /proc/meminfo: memFree=1404664/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=81160 CPUtime=402.19 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 14127 0 0 0 40173 46 0 0 25 0 1 0 312861291 83107840 12616 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 20290 12616 90 219 0 20067 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 81160 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21166 /proc/meminfo: memFree=1401784/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=82084 CPUtime=462.18 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 14852 0 0 0 46167 51 0 0 25 0 1 0 312861291 84054016 13341 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 20521 13341 90 219 0 20298 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 82084 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21166 /proc/meminfo: memFree=1399992/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=82876 CPUtime=522.17 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 15295 0 0 0 52162 55 0 0 25 0 1 0 312861291 84865024 13784 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 20719 13784 90 219 0 20496 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 82876 [startup+582.301 s] /proc/loadavg: 1.03 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1396472/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=83404 CPUtime=582.14 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 16167 0 0 0 58156 58 0 0 25 0 1 0 312861291 85405696 14656 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 20851 14656 90 219 0 20628 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 83404 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1393016/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=83668 CPUtime=642.14 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 17030 0 0 0 64152 62 0 0 25 0 1 0 312861291 85676032 15519 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 20917 15519 90 219 0 20694 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 83668 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1387256/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=86224 CPUtime=822.09 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 18469 0 0 0 82138 71 0 0 25 0 1 0 312861291 88293376 16958 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 21556 16958 90 219 0 21333 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 86224 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1386232/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=86692 CPUtime=882.07 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 18723 0 0 0 88134 73 0 0 25 0 1 0 312861291 88772608 17212 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 21673 17212 90 219 0 21450 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 86692 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1385528/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=87260 CPUtime=942.06 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 18914 0 0 0 94130 76 0 0 25 0 1 0 312861291 89354240 17403 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 21815 17403 90 219 0 21592 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 87260 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1384632/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=87976 CPUtime=1002.05 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 19120 0 0 0 100126 79 0 0 25 0 1 0 312861291 90087424 17609 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 21994 17609 90 219 0 21771 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 87976 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1384248/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=87976 CPUtime=1062.03 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 19224 0 0 0 106120 83 0 0 25 0 1 0 312861291 90087424 17713 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 21994 17713 90 219 0 21771 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 87976 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1383800/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=88184 CPUtime=1122.01 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 19330 0 0 0 112116 85 0 0 25 0 1 0 312861291 90300416 17819 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 22046 17819 90 219 0 21823 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 88184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1383160/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=88772 CPUtime=1182 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 19491 0 0 0 118111 89 0 0 25 0 1 0 312861291 90902528 17980 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 22193 17980 90 219 0 21970 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 88772 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1382456/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=95164 CPUtime=1241.98 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21187 0 0 0 124106 92 0 0 25 0 1 0 312861291 97447936 18139 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550349 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 23791 18139 90 219 0 23568 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 95164 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1382072/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=95428 CPUtime=1301.97 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21298 0 0 0 130101 96 0 0 25 0 1 0 312861291 97718272 18250 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 23857 18250 90 219 0 23634 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 95428 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1381624/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=95708 CPUtime=1361.95 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21410 0 0 0 136096 99 0 0 25 0 1 0 312861291 98004992 18362 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 23927 18362 90 219 0 23704 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 95708 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21166 /proc/meminfo: memFree=1381112/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=96008 CPUtime=1421.94 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21530 0 0 0 142092 102 0 0 25 0 1 0 312861291 98312192 18482 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 24002 18482 90 219 0 23779 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 96008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21364 /proc/meminfo: memFree=1380472/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=96008 CPUtime=1481.81 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21627 0 0 0 148073 108 0 0 25 0 1 0 312861291 98312192 18579 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 24002 18579 90 219 0 23779 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 96008 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21364 /proc/meminfo: memFree=1380408/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=96008 CPUtime=1541.81 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21695 0 0 0 154070 111 0 0 25 0 1 0 312861291 98312192 18647 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 24002 18647 90 219 0 23779 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 96008 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21364 /proc/meminfo: memFree=1380088/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=96324 CPUtime=1601.79 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21754 0 0 0 160065 114 0 0 25 0 1 0 312861291 98635776 18706 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 24081 18706 90 219 0 23858 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 96324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21364 /proc/meminfo: memFree=1379896/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=96324 CPUtime=1661.77 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21810 0 0 0 166061 116 0 0 25 0 1 0 312861291 98635776 18762 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 24081 18762 90 219 0 23858 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 96324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21364 /proc/meminfo: memFree=1379704/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=96324 CPUtime=1721.76 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21862 0 0 0 172057 119 0 0 25 0 1 0 312861291 98635776 18814 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 24081 18814 90 219 0 23858 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 96324 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21364 /proc/meminfo: memFree=1379448/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=96324 CPUtime=1781.75 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21920 0 0 0 178053 122 0 0 25 0 1 0 312861291 98635776 18872 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 24081 18872 90 219 0 23858 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 96324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21364 /proc/meminfo: memFree=1379192/2055920 swapFree=4169132/4192956 [pid=21163] ppid=21161 vsize=96324 CPUtime=1800.05 /proc/21163/stat : 21163 (PBS4_SAT07v2) R 21161 21163 19908 0 -1 4194304 21982 0 0 0 179882 123 0 0 25 0 1 0 312861291 98635776 18934 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21163/statm: 24081 18934 90 219 0 23858 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 96324 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.07 CPU user time (s): 1798.83 CPU system time (s): 1.24281 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 96324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.83 system time used= 1.24281 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21983 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= 8 involuntary context switches= 3048 runsolver used 1.48077 second user time and 4.09838 second system time The end
Begin job on node15 on Tue May 8 18:37:17 UTC 2007 IDJOB= 459123 IDBENCH= 2894 IDSOLVER= 200 FILE ID= node15/459123-1178649437 PBS_JOBID= 5217820 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459123-1178649437/instance-459123-1178649437.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node15/convwatcher-459123-1178649437 -o ROOT/results/node15/conversion-459123-1178649437 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459123-1178649437/instance-459123-1178649437.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-459123-1178649437 -o ROOT/results/node15/solver-459123-1178649437 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459123-1178649437/instance-459123-1178649437.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 6c673f615af1912eadc68b4290958076 RANDOM SEED= 980601488 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.227 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.227 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1455704 kB Buffers: 63696 kB Cached: 399208 kB SwapCached: 2692 kB Active: 211616 kB Inactive: 311924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1455704 kB SwapTotal: 4192956 kB SwapFree: 4169132 kB Dirty: 2360 kB Writeback: 0 kB Mapped: 68012 kB Slab: 61964 kB Committed_AS: 10805512 kB PageTables: 1996 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node15 on Tue May 8 19:07:20 UTC 2007