Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.09 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_3.opb |
MD5SUM | f48abdef3d00ab6f87ca2e4f0d43c1d1 |
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 | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3811 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433532-1177960633/instance-433532-1177960633.opb 0.00/0.00 c File size is 4933 bytes. 0.00/0.00 c Highest Coefficient sum: 3811 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 51 Constr: 13 1/0/12 Lit: 593 Watch. Lit: 193 0.00/0.00 c Obj. Vars: 1 (1.96078 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 50 12 592 49 196 1184 0 0 0.00 0.00/0.00 c Switching off LPR mode. 1800.09/1800.70 c 100 50 112 4522 40 528 1303 100 12500 0.01 1800.09/1800.70 c 251 50 263 10222 38 831 1434 251 14764 0.02 1800.09/1800.70 c 476 50 488 18148 37 1278 1578 476 14875 0.03 1800.09/1800.70 c 814 50 826 30511 36 1943 1736 814 14034 0.06 1800.09/1800.70 c 1322 50 1334 49034 36 2963 1910 1322 12711 0.10 1800.09/1800.70 c 2085 50 1119 41032 36 2532 2102 1107 10803 0.19 1800.09/1800.70 c 3232 50 1180 44532 37 2670 2313 1168 10325 0.31 1800.09/1800.70 c 4953 50 1714 64470 37 3736 2545 1702 9654 0.51 1800.09/1800.70 c 7537 50 1688 66630 39 3678 2800 1676 8867 0.85 1800.09/1800.70 c 11417 50 2705 106140 39 5720 3081 2693 8388 1.36 1800.09/1800.70 c 17240 50 2211 86043 38 4729 3390 2199 7829 2.20 1800.09/1800.70 c 25977 50 2314 91156 39 4915 3730 2302 7346 3.54 1800.09/1800.70 c 39087 50 2119 82424 38 4552 4104 2107 6691 5.84 1800.09/1800.70 c 58757 50 3011 118664 39 6327 4515 2999 6233 9.43 1800.09/1800.71 c 88267 50 2737 107619 39 5785 4967 2725 5828 15.14 1800.09/1800.71 c 132537 50 4204 161335 38 8719 5464 4192 5542 23.91 1800.09/1800.71 c 198947 50 4207 165360 39 8718 6011 4195 5049 39.40 1800.09/1800.71 c 298567 50 3519 136098 38 7347 6613 3507 4701 63.50 1800.09/1800.71 c 448002 50 6092 239234 39 12488 7275 6080 4400 101.81 1800.09/1800.71 c 672160 50 6335 242309 38 12978 8003 6323 4075 164.93 1800.09/1800.71 c 1008403 50 7797 301781 38 15901 8804 7785 3701 272.41 1800.09/1800.71 c 1512775 50 6527 255209 39 13366 9685 6515 3490 433.40 1800.09/1800.71 c 2269338 50 7454 287420 38 15215 10654 7442 3222 704.14 1800.09/1800.71 c 3404190 50 6100 237151 38 12511 11720 6088 2862 1189.43 1800.09/1800.71 c Caught signal: 15 1800.09/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.71 c 24 4667644 12013 4680254 8387 326990 8375 2593 1800.09 1800.09/1800.71 s UNKNOWN 1800.09/1800.71 c Total time: 1800.09 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-433532-1177960633 -o ROOT/results/node59/solver-433532-1177960633 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433532-1177960633/instance-433532-1177960633.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.99 0.97 0.91 3/64 31435 /proc/meminfo: memFree=1721016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19556 CPUtime=0 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 243972896 20025344 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4889 333 280 324 0 3957 0 [startup+0.100309 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31435 /proc/meminfo: memFree=1721016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=12512 CPUtime=0.09 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 579 0 0 0 9 0 0 0 18 0 1 0 243972896 12812288 547 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3128 547 310 324 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12512 [startup+0.202328 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31435 /proc/meminfo: memFree=1721016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=12904 CPUtime=0.19 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 681 0 0 0 19 0 0 0 19 0 1 0 243972896 13213696 649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3226 649 310 324 0 2296 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12904 [startup+0.302346 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31435 /proc/meminfo: memFree=1721016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=13040 CPUtime=0.29 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 715 0 0 0 29 0 0 0 19 0 1 0 243972896 13352960 683 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3260 683 310 324 0 2330 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13040 [startup+0.701422 s] /proc/loadavg: 0.99 0.97 0.91 3/64 31435 /proc/meminfo: memFree=1721016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=13296 CPUtime=0.69 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 787 0 0 0 69 0 0 0 23 0 1 0 243972896 13615104 755 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3324 755 310 324 0 2394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13296 [startup+1.50158 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1718960/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=13680 CPUtime=1.49 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 880 0 0 0 149 0 0 0 25 0 1 0 243972896 14008320 848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3420 848 310 324 0 2490 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13680 [startup+3.10188 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1718640/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=13808 CPUtime=3.09 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 921 0 0 0 309 0 0 0 25 0 1 0 243972896 14139392 889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3452 889 310 324 0 2522 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13808 [startup+6.30149 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1718000/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=14316 CPUtime=6.29 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1033 0 0 0 629 0 0 0 25 0 1 0 243972896 14659584 1001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3579 1001 310 324 0 2649 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14316 [startup+12.7017 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1717624/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=14572 CPUtime=12.69 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1104 0 0 0 1269 0 0 0 25 0 1 0 243972896 14921728 1072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3643 1072 310 324 0 2713 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14572 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1717112/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=15092 CPUtime=25.48 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1242 0 0 0 2548 0 0 0 25 0 1 0 243972896 15454208 1210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3773 1210 310 324 0 2843 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15092 [startup+51.103 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1716792/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=15468 CPUtime=51.07 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1332 0 0 0 5107 0 0 0 25 0 1 0 243972896 15839232 1300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 3867 1300 310 324 0 2937 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15468 [startup+102.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1715960/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=16332 CPUtime=102.27 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1529 0 0 0 10226 1 0 0 25 0 1 0 243972896 16723968 1497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4083 1497 310 324 0 3153 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16332 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1715896/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=16332 CPUtime=162.24 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1538 0 0 0 16223 1 0 0 25 0 1 0 243972896 16723968 1506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551952 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4083 1506 310 324 0 3153 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16332 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1715576/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=16696 CPUtime=222.22 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1628 0 0 0 22221 1 0 0 25 0 1 0 243972896 17096704 1596 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9719336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4174 1596 310 324 0 3244 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 16696 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1715064/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=17208 CPUtime=282.2 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1770 0 0 0 28219 1 0 0 25 0 1 0 243972896 17620992 1738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4302 1738 310 324 0 3372 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 17208 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1715000/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=17312 CPUtime=342.18 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1777 0 0 0 34217 1 0 0 25 0 1 0 243972896 17727488 1745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4328 1745 310 324 0 3398 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 17312 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1715000/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=17304 CPUtime=402.16 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1777 0 0 0 40215 1 0 0 25 0 1 0 243972896 17719296 1745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4326 1745 310 324 0 3396 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 17304 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1714488/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=17820 CPUtime=462.13 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1910 0 0 0 46212 1 0 0 25 0 1 0 243972896 18247680 1878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4455 1878 310 324 0 3525 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 17820 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1714424/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=17820 CPUtime=522.11 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1911 0 0 0 52210 1 0 0 25 0 1 0 243972896 18247680 1879 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4455 1879 310 324 0 3525 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 17820 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1714424/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=17820 CPUtime=582.09 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1921 0 0 0 58208 1 0 0 25 0 1 0 243972896 18247680 1889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4455 1889 310 324 0 3525 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 17820 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1714360/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=17896 CPUtime=642.07 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 1931 0 0 0 64206 1 0 0 25 0 1 0 243972896 18325504 1899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4474 1899 310 324 0 3544 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 17896 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 3/65 31436 /proc/meminfo: memFree=1713784/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=18440 CPUtime=822.01 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2080 0 0 0 82200 1 0 0 25 0 1 0 243972896 18882560 2048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4610 2048 310 324 0 3680 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 18440 [startup+882.305 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713784/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=18436 CPUtime=881.99 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2080 0 0 0 88198 1 0 0 25 0 1 0 243972896 18878464 2048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4609 2048 310 324 0 3679 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 18436 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713784/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=18432 CPUtime=941.97 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2080 0 0 0 94196 1 0 0 25 0 1 0 243972896 18874368 2047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4608 2047 310 324 0 3678 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 18432 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713784/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=18432 CPUtime=1001.95 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2080 0 0 0 100194 1 0 0 25 0 1 0 243972896 18874368 2047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9727786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4608 2047 310 324 0 3678 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 18432 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713784/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=18432 CPUtime=1061.93 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2080 0 0 0 106192 1 0 0 25 0 1 0 243972896 18874368 2047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4608 2047 310 324 0 3678 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 18432 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713848/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=18432 CPUtime=1121.91 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2080 0 0 0 112190 1 0 0 25 0 1 0 243972896 18874368 2047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4608 2047 310 324 0 3678 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 18432 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713784/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=18432 CPUtime=1181.88 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2080 0 0 0 118187 1 0 0 25 0 1 0 243972896 18874368 2047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4608 2047 310 324 0 3678 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 18432 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713208/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19064 CPUtime=1241.87 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2223 0 0 0 124185 2 0 0 25 0 1 0 243972896 19521536 2190 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4766 2190 310 324 0 3836 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 19064 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713144/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19064 CPUtime=1301.85 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2232 0 0 0 130183 2 0 0 25 0 1 0 243972896 19521536 2199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4766 2199 310 324 0 3836 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 19064 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713144/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19064 CPUtime=1361.83 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2232 0 0 0 136181 2 0 0 25 0 1 0 243972896 19521536 2199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4766 2199 310 324 0 3836 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 19064 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713144/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19064 CPUtime=1421.81 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2232 0 0 0 142179 2 0 0 25 0 1 0 243972896 19521536 2199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9720159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4766 2199 310 324 0 3836 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 19064 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31436 /proc/meminfo: memFree=1713144/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19064 CPUtime=1481.79 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2237 0 0 0 148177 2 0 0 25 0 1 0 243972896 19521536 2204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4766 2204 310 324 0 3836 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 19064 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31438 /proc/meminfo: memFree=1712952/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19064 CPUtime=1541.77 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2237 0 0 0 154175 2 0 0 25 0 1 0 243972896 19521536 2204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4766 2204 310 324 0 3836 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 19064 [startup+1602.3 s] /proc/loadavg: 1.06 0.99 0.91 2/65 31438 /proc/meminfo: memFree=1712952/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19156 CPUtime=1601.74 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2240 0 0 0 160172 2 0 0 25 0 1 0 243972896 19615744 2207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4789 2207 310 324 0 3859 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 19156 [startup+1662.3 s] /proc/loadavg: 1.08 1.00 0.92 2/65 31438 /proc/meminfo: memFree=1713016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19148 CPUtime=1661.72 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2248 0 0 0 166170 2 0 0 25 0 1 0 243972896 19607552 2215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4787 2215 310 324 0 3857 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 19148 [startup+1722.3 s] /proc/loadavg: 1.08 1.01 0.93 2/65 31438 /proc/meminfo: memFree=1713016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19148 CPUtime=1721.7 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2248 0 0 0 172168 2 0 0 25 0 1 0 243972896 19607552 2215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4787 2215 310 324 0 3857 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 19148 [startup+1782.3 s] /proc/loadavg: 1.08 1.02 0.93 2/65 31438 /proc/meminfo: memFree=1713016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19148 CPUtime=1781.68 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2248 0 0 0 178166 2 0 0 25 0 1 0 243972896 19607552 2215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9727717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4787 2215 310 324 0 3857 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 19148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.05 1.02 0.93 2/65 31438 /proc/meminfo: memFree=1713016/2055920 swapFree=4184616/4192956 [pid=31435] ppid=31433 vsize=19148 CPUtime=1800.09 /proc/31435/stat : 31435 (bsolo3.0.17) R 31433 31435 30978 0 -1 4194304 2248 0 0 0 180007 2 0 0 25 0 1 0 243972896 19607552 2215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31435/statm: 4787 2215 310 324 0 3857 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 19148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.71 CPU time (s): 1800.09 CPU user time (s): 1800.07 CPU system time (s): 0.023996 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 19156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.023996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2252 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= 12 involuntary context switches= 2799 runsolver used 1.39479 second user time and 3.52846 second system time The end
Begin job on node59 on Mon Apr 30 19:17:13 UTC 2007 IDJOB= 433532 IDBENCH= 2919 IDSOLVER= 199 FILE ID= node59/433532-1177960633 PBS_JOBID= 4727741 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433532-1177960633/instance-433532-1177960633.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-433532-1177960633 -o ROOT/results/node59/solver-433532-1177960633 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433532-1177960633/instance-433532-1177960633.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1 RANDOM SEED= 228405290 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1721424 kB Buffers: 34352 kB Cached: 220732 kB SwapCached: 2364 kB Active: 120408 kB Inactive: 144392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1721424 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 6588 kB Writeback: 0 kB Mapped: 16456 kB Slab: 55704 kB Committed_AS: 3199312 kB PageTables: 1472 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= 66558 MiB End job on node59 on Mon Apr 30 19:47:16 UTC 2007