Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_2.opb |
MD5SUM | ccdf85c0efcf9b688264aa74ef25462f |
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 | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5830 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/349894-1176725890/instance-349894-1176725890.opb 0.00/0.00 c File size is 9107 bytes. 0.00/0.00 c Highest Coefficient sum: 5830 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: 1119 Watch. Lit: 363 0.00/0.00 c Obj. Vars: 1 (1.40845 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 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 1118 69 370 2236 0 0 0.00 0.00/0.00 c Switching off LPR mode. 1799.96/1800.53 c 100 70 116 6371 54 760 2460 100 9090 0.01 1799.96/1800.53 c 250 70 266 14598 54 1071 2707 250 11363 0.02 1799.96/1800.53 c 475 70 491 26741 54 1527 2978 475 11875 0.04 1799.96/1800.53 c 814 70 830 45585 54 2212 3276 814 11464 0.07 1799.96/1800.53 c 1323 70 1339 73538 54 3236 3604 1323 10844 0.12 1799.96/1800.53 c 2086 70 2102 115045 54 4745 3965 2086 10175 0.20 1799.96/1800.53 c 3232 70 3248 178179 54 7031 4362 3232 8505 0.38 1799.96/1800.53 c 4954 70 2735 153492 56 6035 4799 2719 7026 0.70 1799.96/1800.53 c 7539 70 2865 162672 56 6278 5279 2849 5790 1.30 1799.96/1800.53 c 11418 70 4060 230225 56 8692 5807 4044 5434 2.10 1799.96/1800.53 c 17240 70 3965 227999 57 8504 6388 3949 4886 3.53 1799.96/1800.53 c 25977 70 6197 359126 57 12966 7027 6181 4410 5.89 1799.96/1800.53 c 39087 70 5043 289387 57 10646 7730 5027 3819 10.23 1799.96/1800.53 c 58758 70 5135 295227 57 10840 8504 5119 3356 17.51 1799.96/1800.53 c 88268 70 4554 263620 57 9658 9355 4538 3033 29.09 1799.96/1800.53 c 132538 70 6298 361741 57 13165 10291 6282 2691 49.24 1799.96/1800.53 c 198948 70 5168 293465 56 10909 11321 5152 2441 81.48 1799.96/1800.53 c 298568 70 7692 447610 58 15954 12454 7676 2169 137.65 1799.96/1800.53 c 448004 70 6537 379217 58 13640 13700 6521 1970 227.35 1799.96/1800.53 c 672162 70 9836 572187 58 20238 15071 9820 1815 370.31 1799.96/1800.53 c 1008405 70 12304 718047 58 25180 16579 12288 1598 630.86 1799.96/1800.53 c 1512776 70 16340 932194 57 33249 18237 16324 1436 1052.74 1799.96/1800.53 c 2269339 70 11939 689840 57 24442 20061 11923 1271 1784.95 1799.96/1800.53 c Resources Exceeded 1799.96/1800.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.53 c 23 2286344 292 2287336 18856 1076327 18840 1270 1800.00 1799.96/1800.53 s UNKNOWN 1799.96/1800.53 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-349894-1176725890 -o ROOT/results/node11/solver-349894-1176725890 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349894-1176725890/instance-349894-1176725890.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.91 0.97 0.98 3/77 21478 /proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=19560 CPUtime=0 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 113637949 20029440 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 4890 335 282 324 0 3956 0 [startup+0.086572 s] /proc/loadavg: 0.91 0.97 0.98 3/77 21478 /proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=12512 CPUtime=0.08 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 593 0 0 0 8 0 0 0 18 0 1 0 113637949 12812288 558 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 3128 558 312 324 0 2197 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12512 [startup+0.101574 s] /proc/loadavg: 0.91 0.97 0.98 3/77 21478 /proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=12644 CPUtime=0.09 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 625 0 0 0 9 0 0 0 18 0 1 0 113637949 12947456 590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 3161 590 312 324 0 2230 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12644 [startup+0.301598 s] /proc/loadavg: 0.91 0.97 0.98 3/77 21478 /proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=14060 CPUtime=0.29 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 964 0 0 0 29 0 0 0 19 0 1 0 113637949 14397440 929 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 3515 929 312 324 0 2584 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14060 [startup+0.701646 s] /proc/loadavg: 0.91 0.97 0.98 3/77 21478 /proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=15356 CPUtime=0.69 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 1313 0 0 0 69 0 0 0 22 0 1 0 113637949 15724544 1278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 3839 1278 312 324 0 2908 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15356 [startup+1.50274 s] /proc/loadavg: 0.91 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1515328/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=15868 CPUtime=1.49 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 1420 0 0 0 148 1 0 0 25 0 1 0 113637949 16248832 1385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 3967 1385 312 324 0 3036 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15868 [startup+3.10193 s] /proc/loadavg: 0.92 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1514368/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=16764 CPUtime=3.09 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 1640 0 0 0 308 1 0 0 25 0 1 0 113637949 17166336 1605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 4191 1605 312 324 0 3260 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16764 [startup+6.30131 s] /proc/loadavg: 0.92 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1513152/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=17800 CPUtime=6.29 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 1924 0 0 0 626 3 0 0 25 0 1 0 113637949 18227200 1889 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 4450 1889 312 324 0 3519 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17800 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1512064/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=18420 CPUtime=12.69 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 2056 0 0 0 1265 4 0 0 25 0 1 0 113637949 18862080 2021 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 4605 2021 312 324 0 3674 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18420 [startup+25.5016 s] /proc/loadavg: 0.94 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1511360/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=19064 CPUtime=25.48 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 2233 0 0 0 2541 7 0 0 25 0 1 0 113637949 19521536 2198 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 4766 2198 312 324 0 3835 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19064 [startup+51.1016 s] /proc/loadavg: 0.96 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1510464/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=20612 CPUtime=51.08 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 2610 0 0 0 5096 12 0 0 25 0 1 0 113637949 21106688 2575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 5153 2575 312 324 0 4222 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20612 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1508864/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=21584 CPUtime=102.27 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 2865 0 0 0 10206 21 0 0 25 0 1 0 113637949 22102016 2830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 5396 2830 312 324 0 4465 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21584 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1507968/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=22460 CPUtime=162.24 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3080 0 0 0 16194 30 0 0 25 0 1 0 113637949 22999040 3045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 5615 3045 312 324 0 4684 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22460 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1507776/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=22588 CPUtime=222.22 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3109 0 0 0 22181 41 0 0 25 0 1 0 113637949 23130112 3074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 5647 3074 312 324 0 4716 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 22588 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1506624/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=23696 CPUtime=282.21 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3395 0 0 0 28171 50 0 0 25 0 1 0 113637949 24264704 3360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 5924 3360 312 324 0 4993 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 23696 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1506560/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=23696 CPUtime=342.19 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3395 0 0 0 34160 59 0 0 25 0 1 0 113637949 24264704 3360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 5924 3360 312 324 0 4993 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 23696 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1505536/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=24704 CPUtime=402.17 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3639 0 0 0 40149 68 0 0 25 0 1 0 113637949 25296896 3604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6176 3604 312 324 0 5245 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 24704 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21479 /proc/meminfo: memFree=1505536/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=24696 CPUtime=462.15 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3639 0 0 0 46138 77 0 0 25 0 1 0 113637949 25288704 3604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6174 3604 312 324 0 5243 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 24696 [startup+522.302 s] /proc/loadavg: 1.06 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1505472/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=24696 CPUtime=522.14 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3649 0 0 0 52129 85 0 0 25 0 1 0 113637949 25288704 3614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6174 3614 312 324 0 5243 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 24696 [startup+582.302 s] /proc/loadavg: 1.02 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1505408/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=24800 CPUtime=582.12 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3666 0 0 0 58118 94 0 0 25 0 1 0 113637949 25395200 3631 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6200 3631 312 324 0 5269 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 24800 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1504192/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=26056 CPUtime=642.11 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3979 0 0 0 64109 102 0 0 25 0 1 0 113637949 26681344 3944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6514 3944 312 324 0 5583 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 26056 ################ # More data... # ################ /proc/meminfo: memFree=1502976/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27212 CPUtime=1061.97 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4275 0 0 0 106037 160 0 0 25 0 1 0 113637949 27865088 4237 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6803 4237 312 324 0 5872 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 27212 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1502784/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27372 CPUtime=1121.96 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4311 0 0 0 112027 169 0 0 25 0 1 0 113637949 28028928 4273 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6843 4273 312 324 0 5912 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 27372 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1502464/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27644 CPUtime=1181.95 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 118018 177 0 0 25 0 1 0 113637949 28307456 4344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6911 4344 312 324 0 5980 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 27644 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1502400/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27600 CPUtime=1241.92 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 124007 185 0 0 25 0 1 0 113637949 28262400 4341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6900 4341 312 324 0 5969 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 27600 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1502400/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27588 CPUtime=1301.91 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 129998 193 0 0 25 0 1 0 113637949 28250112 4338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6897 4338 312 324 0 5966 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 27588 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1502336/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27584 CPUtime=1361.89 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 135986 203 0 0 25 0 1 0 113637949 28246016 4337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6896 4337 312 324 0 5965 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 27584 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21479 /proc/meminfo: memFree=1502400/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27568 CPUtime=1421.88 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 141978 210 0 0 25 0 1 0 113637949 28229632 4333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6892 4333 312 324 0 5961 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 27568 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1502336/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27564 CPUtime=1481.85 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 147967 218 0 0 25 0 1 0 113637949 28225536 4332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6891 4332 312 324 0 5960 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 27564 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1502336/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27564 CPUtime=1541.84 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 153959 225 0 0 25 0 1 0 113637949 28225536 4332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6891 4332 312 324 0 5960 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 27564 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1502208/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27752 CPUtime=1601.82 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4415 0 0 0 159951 231 0 0 25 0 1 0 113637949 28418048 4365 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6938 4365 312 324 0 6007 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 27752 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1502272/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27688 CPUtime=1661.8 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4415 0 0 0 165942 238 0 0 25 0 1 0 113637949 28352512 4363 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8412936 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6922 4363 312 324 0 5991 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 27688 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1502208/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27672 CPUtime=1721.79 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4415 0 0 0 171933 246 0 0 25 0 1 0 113637949 28336128 4359 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6918 4359 312 324 0 5987 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 27672 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1502144/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=27760 CPUtime=1781.76 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4436 0 0 0 177923 253 0 0 25 0 1 0 113637949 28426240 4380 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 6940 4380 312 324 0 6009 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 27760 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=28800 CPUtime=1791.36 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 178881 255 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 7200 4636 312 324 0 6269 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 28800 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=28800 CPUtime=1794.56 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179200 256 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 7200 4636 312 324 0 6269 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 28800 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=28800 CPUtime=1797.77 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179520 257 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 7200 4636 312 324 0 6269 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 28800 [startup+1799.9 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=28800 CPUtime=1799.36 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179679 257 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 7200 4636 312 324 0 6269 0 Current children cumulated CPU time (s) 1799.36 Current children cumulated vsize (KiB) 28800 [startup+1800.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=28800 CPUtime=1799.76 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179719 257 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 7200 4636 312 324 0 6269 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (KiB) 28800 [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21481 /proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956 [pid=21478] ppid=21476 vsize=28800 CPUtime=1799.96 /proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179739 257 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21478/statm: 7200 4636 312 324 0 6269 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 28800 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.01 CPU user time (s): 1797.43 CPU system time (s): 2.57761 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 28800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.43 system time used= 2.57761 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4693 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= 11 involuntary context switches= 2741 runsolver used 2.17567 second user time and 4.23236 second system time The end
Begin job on node11 on Mon Apr 16 12:18:10 UTC 2007 IDJOB= 349894 IDBENCH= 2898 IDSOLVER= 163 FILE ID= node11/349894-1176725890 PBS_JOBID= 4559465 Free space on /tmp= 66374 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349894-1176725890/instance-349894-1176725890.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-349894-1176725890 -o ROOT/results/node11/solver-349894-1176725890 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349894-1176725890/instance-349894-1176725890.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= ccdf85c0efcf9b688264aa74ef25462f RANDOM SEED= 806053251 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1519648 kB Buffers: 34604 kB Cached: 431536 kB SwapCached: 15504 kB Active: 271520 kB Inactive: 219752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1519648 kB SwapTotal: 4192956 kB SwapFree: 4146520 kB Dirty: 4408 kB Writeback: 0 kB Mapped: 31636 kB Slab: 30396 kB Committed_AS: 6123832 kB PageTables: 1852 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= 66374 MiB End job on node11 on Mon Apr 16 12:48:11 UTC 2007