Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.11 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb |
MD5SUM | dc0a3aac3e055af09a2312e5ef9f2aef |
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 | 71 |
Total number of constraints | 17 |
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 | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
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 | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5346 |
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 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/433506-1177960152/instance-433506-1177960152.opb 0.00/0.00 c File size is 8963 bytes. 0.00/0.00 c Highest Coefficient sum: 5346 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 71 Constr: 17 1/0/16 Lit: 1099 Watch. Lit: 355 0.00/0.00 c Obj. Vars: 1 (1.40845 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 70 16 1098 68 357 2196 0 0 0.01 0.00/0.00 c Switching off LPR mode. 1800.09/1800.60 c 100 70 116 6334 54 753 2416 100 8333 0.01 1800.09/1800.60 c 250 70 266 14233 53 1064 2658 250 10416 0.02 1800.09/1800.60 c 476 70 492 26076 53 1517 2924 476 10577 0.04 1800.09/1800.60 c 814 70 830 43936 52 2194 3217 814 10571 0.08 1800.09/1800.60 c 1322 70 1338 70089 52 3203 3539 1322 10015 0.13 1800.09/1800.60 c 2085 70 2101 109302 52 4721 3893 2085 9477 0.22 1800.09/1800.60 c 3231 70 3247 171343 52 7035 4283 3231 8263 0.39 1800.09/1800.60 c 4952 70 2773 142709 51 6066 4712 2757 7525 0.66 1800.09/1800.60 c 7537 70 2948 153384 52 6430 5184 2932 6965 1.08 1800.09/1800.60 c 11416 70 4178 226667 54 8906 5703 4162 6482 1.76 1800.09/1800.60 c 17238 70 4204 236599 56 8960 6274 4188 5569 3.10 1800.09/1800.60 c 25975 70 3367 183094 54 7278 6902 3351 4601 5.64 1800.09/1800.60 c 39085 70 5959 338352 56 12464 7593 5943 4096 9.54 1800.09/1800.60 c 58756 70 6378 358128 56 13315 8353 6362 3665 16.03 1800.09/1800.60 c 88266 70 6328 339610 53 13212 9189 6312 3199 27.59 1800.09/1800.60 c 132536 70 8777 503003 57 18112 10108 8761 2856 46.41 1800.09/1800.60 c 198946 70 8854 498099 56 18267 11119 8838 2533 78.52 1800.09/1800.60 c 298567 70 7490 415199 55 15527 12231 7474 2240 133.26 1800.09/1800.60 c 448003 70 9044 521099 57 18647 13455 9028 1991 224.91 1800.09/1800.60 c 672161 70 9532 549702 57 19618 14801 9516 1786 376.34 1800.09/1800.60 c 1008404 70 10528 598461 56 21609 16282 10512 1633 617.24 1800.09/1800.60 c 1512775 70 15251 864200 56 31053 17911 15235 1466 1031.26 1800.09/1800.60 c 2269338 70 15431 874364 56 31418 19703 15415 1306 1737.48 1800.09/1800.60 c Caught signal: 15 1800.09/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.60 c 23 2336717 1757 2339176 13498 758303 13482 1298 1800.10 1800.09/1800.60 s UNKNOWN 1800.09/1800.60 c Total time: 1800.1 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-433506-1177960152 -o ROOT/results/node12/solver-433506-1177960152 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433506-1177960152/instance-433506-1177960152.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.98 0.93 3/77 1510 /proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=19560 CPUtime=0 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 272052588 20029440 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 4890 333 280 324 0 3957 0 [startup+0.0470241 s] /proc/loadavg: 0.99 0.98 0.93 3/77 1510 /proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=12124 CPUtime=0.04 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 493 0 0 0 4 0 0 0 18 0 1 0 272052588 12414976 460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 3031 460 310 324 0 2101 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12124 [startup+0.101029 s] /proc/loadavg: 0.99 0.98 0.93 3/77 1510 /proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=12516 CPUtime=0.09 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 596 0 0 0 9 0 0 0 18 0 1 0 272052588 12816384 563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 3129 564 310 324 0 2199 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12516 [startup+0.301049 s] /proc/loadavg: 0.99 0.98 0.93 3/77 1510 /proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=13808 CPUtime=0.29 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 915 0 0 0 29 0 0 0 19 0 1 0 272052588 14139392 882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 3452 882 310 324 0 2522 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13808 [startup+0.701089 s] /proc/loadavg: 0.99 0.98 0.93 3/77 1510 /proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=15100 CPUtime=0.69 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 1245 0 0 0 69 0 0 0 22 0 1 0 272052588 15462400 1212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10126689 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 3775 1212 310 324 0 2845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15100 [startup+1.50117 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1849320/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=15876 CPUtime=1.49 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 1440 0 0 0 149 0 0 0 25 0 1 0 272052588 16257024 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 3969 1407 310 324 0 3039 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15876 [startup+3.10133 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1848232/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=16528 CPUtime=3.09 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 1596 0 0 0 309 0 0 0 25 0 1 0 272052588 16924672 1563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 4132 1563 310 324 0 3202 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16528 [startup+6.30165 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1847528/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=17044 CPUtime=6.29 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 1713 0 0 0 628 1 0 0 25 0 1 0 272052588 17453056 1680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 4261 1680 310 324 0 3331 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17044 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1846376/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=18208 CPUtime=12.69 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2009 0 0 0 1268 1 0 0 25 0 1 0 272052588 18644992 1976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 4552 1976 310 324 0 3622 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18208 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1845864/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=18728 CPUtime=25.48 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2136 0 0 0 2547 1 0 0 25 0 1 0 272052588 19177472 2103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 4682 2103 310 324 0 3752 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18728 [startup+51.1011 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1844136/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=20380 CPUtime=51.07 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2557 0 0 0 5106 1 0 0 25 0 1 0 272052588 20869120 2524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 5095 2524 310 324 0 4165 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20380 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1843304/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=21248 CPUtime=102.26 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2775 0 0 0 10224 2 0 0 25 0 1 0 272052588 21757952 2742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 5312 2742 310 324 0 4382 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21248 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1842408/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=22080 CPUtime=162.24 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2991 0 0 0 16222 2 0 0 25 0 1 0 272052588 22609920 2958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 5520 2958 310 324 0 4590 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22080 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1842408/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=22052 CPUtime=222.23 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2991 0 0 0 22220 3 0 0 25 0 1 0 272052588 22581248 2952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 5513 2952 310 324 0 4583 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22052 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1841128/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=23300 CPUtime=282.21 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3302 0 0 0 28218 3 0 0 25 0 1 0 272052588 23859200 3263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 5825 3263 310 324 0 4895 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 23300 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1841000/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=23376 CPUtime=342.19 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3320 0 0 0 34215 4 0 0 25 0 1 0 272052588 23937024 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 5844 3281 310 324 0 4914 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 23376 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1840040/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=24364 CPUtime=402.17 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3551 0 0 0 40213 4 0 0 25 0 1 0 272052588 24948736 3512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6091 3512 310 324 0 5161 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 24364 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1840168/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=24356 CPUtime=462.16 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3551 0 0 0 46211 5 0 0 25 0 1 0 272052588 24940544 3512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6089 3512 310 324 0 5159 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 24356 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1840232/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=24348 CPUtime=522.14 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3551 0 0 0 52209 5 0 0 25 0 1 0 272052588 24932352 3512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6087 3512 310 324 0 5157 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 24348 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1840168/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=24436 CPUtime=582.12 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3569 0 0 0 58206 6 0 0 25 0 1 0 272052588 25022464 3530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6109 3530 310 324 0 5179 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 24436 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1838952/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=25592 CPUtime=642.11 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3859 0 0 0 64205 6 0 0 25 0 1 0 272052588 26206208 3820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6398 3820 310 324 0 5468 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 25592 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1838632/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=25696 CPUtime=822.06 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3908 0 0 0 82198 8 0 0 25 0 1 0 272052588 26312704 3862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6424 3862 310 324 0 5494 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 25696 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1838632/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=25696 CPUtime=882.04 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3908 0 0 0 88196 8 0 0 25 0 1 0 272052588 26312704 3862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6424 3862 310 324 0 5494 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 25696 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1838568/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=25680 CPUtime=942.02 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3908 0 0 0 94193 9 0 0 25 0 1 0 272052588 26296320 3858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6420 3858 310 324 0 5490 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 25680 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1838440/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=25800 CPUtime=1002 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3929 0 0 0 100191 9 0 0 25 0 1 0 272052588 26419200 3878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6450 3878 310 324 0 5520 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 25800 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27256 CPUtime=1061.99 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4296 0 0 0 106189 10 0 0 25 0 1 0 272052588 27910144 4245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10125464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6814 4245 310 324 0 5884 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 27256 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1836968/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27332 CPUtime=1121.97 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 112187 10 0 0 25 0 1 0 272052588 27987968 4265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6833 4265 310 324 0 5903 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 27332 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27332 CPUtime=1181.96 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 118185 11 0 0 25 0 1 0 272052588 27987968 4265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6833 4265 310 324 0 5903 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 27332 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1836968/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27272 CPUtime=1241.94 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 124183 11 0 0 25 0 1 0 272052588 27926528 4257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6818 4257 310 324 0 5888 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 27272 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27268 CPUtime=1301.93 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 130181 12 0 0 25 0 1 0 272052588 27922432 4256 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6817 4256 310 324 0 5887 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 27268 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1836968/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27264 CPUtime=1361.91 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 136179 12 0 0 25 0 1 0 272052588 27918336 4255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6816 4255 310 324 0 5886 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 27264 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1837096/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27260 CPUtime=1421.89 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 142177 12 0 0 25 0 1 0 272052588 27914240 4254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6815 4254 310 324 0 5885 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 27260 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1511 /proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27252 CPUtime=1481.87 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 148174 13 0 0 25 0 1 0 272052588 27906048 4252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6813 4252 310 324 0 5883 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 27252 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1513 /proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27248 CPUtime=1541.85 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 154172 13 0 0 25 0 1 0 272052588 27901952 4251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6812 4251 310 324 0 5882 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 27248 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1513 /proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27244 CPUtime=1601.84 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 160170 14 0 0 25 0 1 0 272052588 27897856 4250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6811 4250 310 324 0 5881 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 27244 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1513 /proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27244 CPUtime=1661.82 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 166168 14 0 0 25 0 1 0 272052588 27897856 4250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6811 4250 310 324 0 5881 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 27244 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1513 /proc/meminfo: memFree=1836968/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=27240 CPUtime=1721.8 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 172166 14 0 0 25 0 1 0 272052588 27893760 4249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 6810 4249 310 324 0 5880 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 27240 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1513 /proc/meminfo: memFree=1835880/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=28364 CPUtime=1781.79 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4594 0 0 0 178164 15 0 0 25 0 1 0 272052588 29044736 4527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 7091 4527 310 324 0 6161 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 28364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.93 2/78 1513 /proc/meminfo: memFree=1835816/2055920 swapFree=4160072/4192956 [pid=1510] ppid=1508 vsize=28440 CPUtime=1800.09 /proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4603 0 0 0 179994 15 0 0 25 0 1 0 272052588 29122560 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1510/statm: 7110 4536 310 324 0 6180 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 28440 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.61 CPU time (s): 1800.11 CPU user time (s): 1799.95 CPU system time (s): 0.159975 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 28440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 0.159975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4607 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= 3450 runsolver used 1.39979 second user time and 3.80542 second system time The end
Begin job on node12 on Mon Apr 30 19:09:12 UTC 2007 IDJOB= 433506 IDBENCH= 2893 IDSOLVER= 199 FILE ID= node12/433506-1177960152 PBS_JOBID= 4727707 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_8_70_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433506-1177960152/instance-433506-1177960152.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-433506-1177960152 -o ROOT/results/node12/solver-433506-1177960152 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433506-1177960152/instance-433506-1177960152.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= dc0a3aac3e055af09a2312e5ef9f2aef RANDOM SEED= 56450436 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1853768 kB Buffers: 33340 kB Cached: 81492 kB SwapCached: 11512 kB Active: 48752 kB Inactive: 89888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853768 kB SwapTotal: 4192956 kB SwapFree: 4160072 kB Dirty: 6612 kB Writeback: 0 kB Mapped: 30780 kB Slab: 49024 kB Committed_AS: 6250472 kB PageTables: 1796 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 node12 on Mon Apr 30 19:39:15 UTC 2007