Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.1 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_1.opb |
MD5SUM | c7543821508efc06c2ce41424051ab2c |
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 | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5652 |
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/350037-1176745480/instance-350037-1176745480.opb 0.00/0.00 c File size is 9033 bytes. 0.00/0.00 c Highest Coefficient sum: 5652 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: 1109 Watch. Lit: 357 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 1108 69 358 2216 0 0 0.01 0.00/0.00 c Switching off LPR mode. 1800.09/1800.80 c 100 70 116 6691 57 782 2438 100 7692 0.01 1800.09/1800.80 c 250 70 266 14874 55 1081 2682 250 10000 0.03 1800.09/1800.80 c 475 70 491 26990 54 1529 2951 475 10555 0.04 1800.09/1800.80 c 813 70 829 45491 54 2216 3247 813 10037 0.08 1800.09/1800.80 c 1321 70 1337 73874 55 3227 3572 1321 9435 0.14 1800.09/1800.80 c 2084 70 2100 117296 55 4766 3930 2084 8336 0.25 1800.09/1800.80 c 3230 70 3246 181696 55 7036 4324 3230 7340 0.44 1800.09/1800.80 c 4951 70 2766 157083 56 6088 4757 2750 6429 0.77 1800.09/1800.80 c 7535 70 2923 165128 56 6415 5233 2907 5644 1.33 1800.09/1800.80 c 11414 70 4135 234828 56 8834 5757 4119 4479 2.55 1800.09/1800.80 c 17236 70 4084 229944 56 8725 6333 4068 4080 4.22 1800.09/1800.80 c 25973 70 3184 181891 57 6935 6967 3168 3631 7.15 1800.09/1800.80 c 39083 70 5687 326168 57 11945 7664 5671 3357 11.64 1800.09/1800.80 c 58753 70 5946 342044 57 12464 8431 5930 3015 19.48 1800.09/1800.80 c 88263 70 5603 324612 57 11778 9275 5587 2787 31.66 1800.09/1800.80 c 132534 70 7684 431204 56 15933 10203 7668 2630 50.38 1800.09/1800.80 c 198944 70 7080 407038 57 14723 11224 7064 2462 80.80 1800.09/1800.80 c 298564 70 10404 606685 58 21381 12347 10388 2197 135.88 1800.09/1800.80 c 447999 70 10479 613706 58 21530 13582 10463 1978 226.45 1800.09/1800.80 c 672157 70 8856 523660 59 18275 14941 8840 1796 374.07 1800.09/1800.80 c 1008400 70 14255 805562 56 29071 16436 14239 1638 615.53 1800.09/1800.80 c 1512771 70 14360 793814 55 29265 18080 14344 1485 1018.02 1800.09/1800.80 c 2269334 70 16667 920684 55 33891 19889 16651 1364 1663.20 1800.09/1800.80 c Caught signal: 15 1800.09/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.80 c 23 2402567 2363 2405641 19381 1092560 19365 1334 1800.10 1800.09/1800.80 s UNKNOWN 1800.09/1800.80 c Total time: 1800.1 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-350037-1176745480 -o ROOT/results/node38/solver-350037-1176745480 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350037-1176745480/instance-350037-1176745480.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.98 0.99 3/77 6455 /proc/meminfo: memFree=1769936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=19560 CPUtime=0 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 106714632 20029440 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 4890 335 282 324 0 3956 0 [startup+0.089069 s] /proc/loadavg: 0.91 0.98 0.99 3/77 6455 /proc/meminfo: memFree=1769936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=12508 CPUtime=0.08 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 579 0 0 0 8 0 0 0 18 0 1 0 106714632 12808192 544 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 3127 544 312 324 0 2196 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12508 [startup+0.101071 s] /proc/loadavg: 0.91 0.98 0.99 3/77 6455 /proc/meminfo: memFree=1769936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=12508 CPUtime=0.09 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 600 0 0 0 9 0 0 0 18 0 1 0 106714632 12808192 565 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 3127 565 312 324 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12508 [startup+0.301109 s] /proc/loadavg: 0.91 0.98 0.99 3/77 6455 /proc/meminfo: memFree=1769936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=13804 CPUtime=0.29 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 897 0 0 0 29 0 0 0 19 0 1 0 106714632 14135296 862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 3451 862 312 324 0 2520 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13804 [startup+0.701185 s] /proc/loadavg: 0.91 0.98 0.99 3/77 6455 /proc/meminfo: memFree=1769936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=15352 CPUtime=0.69 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 1314 0 0 0 69 0 0 0 23 0 1 0 106714632 15720448 1279 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 3838 1279 312 324 0 2907 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15352 [startup+1.50134 s] /proc/loadavg: 0.91 0.98 0.99 2/78 6456 /proc/meminfo: memFree=1766024/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=15868 CPUtime=1.48 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 1416 0 0 0 148 0 0 0 25 0 1 0 106714632 16248832 1381 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 3967 1381 312 324 0 3036 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 15868 [startup+3.10165 s] /proc/loadavg: 0.91 0.98 0.99 2/78 6456 /proc/meminfo: memFree=1765064/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=16644 CPUtime=3.09 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 1624 0 0 0 308 1 0 0 25 0 1 0 106714632 17043456 1589 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 4161 1589 312 324 0 3230 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16644 [startup+6.30126 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6456 /proc/meminfo: memFree=1764040/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=17156 CPUtime=6.29 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 1753 0 0 0 627 2 0 0 25 0 1 0 106714632 17567744 1718 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 4289 1718 312 324 0 3358 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17156 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6456 /proc/meminfo: memFree=1763344/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=18324 CPUtime=12.68 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 2041 0 0 0 1265 3 0 0 25 0 1 0 106714632 18763776 2006 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 4581 2006 312 324 0 3650 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18324 [startup+25.502 s] /proc/loadavg: 0.94 0.98 0.99 2/78 6456 /proc/meminfo: memFree=1762128/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=18972 CPUtime=25.48 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 2219 0 0 0 2542 6 0 0 25 0 1 0 106714632 19427328 2184 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 4743 2184 312 324 0 3812 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18972 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 6456 /proc/meminfo: memFree=1761424/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=20004 CPUtime=51.08 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 2474 0 0 0 5096 12 0 0 25 0 1 0 106714632 20484096 2439 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 5001 2439 312 324 0 4070 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20004 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 6456 /proc/meminfo: memFree=1759568/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=21488 CPUtime=102.26 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 2852 0 0 0 10204 22 0 0 25 0 1 0 106714632 22003712 2813 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 5372 2813 312 324 0 4441 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21488 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6456 /proc/meminfo: memFree=1758608/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=22548 CPUtime=162.23 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3105 0 0 0 16192 31 0 0 25 0 1 0 106714632 23089152 3066 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 5637 3066 312 324 0 4706 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 22548 [startup+222.303 s] /proc/loadavg: 1.05 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1758608/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=22544 CPUtime=222.22 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3105 0 0 0 22182 40 0 0 25 0 1 0 106714632 23085056 3066 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 5636 3066 312 324 0 4705 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 22544 [startup+282.301 s] /proc/loadavg: 1.02 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1757520/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=23616 CPUtime=282.2 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3368 0 0 0 28170 50 0 0 25 0 1 0 106714632 24182784 3329 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 5904 3329 312 324 0 4973 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 23616 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1757456/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=23648 CPUtime=342.17 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3386 0 0 0 34159 58 0 0 25 0 1 0 106714632 24215552 3347 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 5912 3347 312 324 0 4981 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 23648 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1756368/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=24676 CPUtime=402.15 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3647 0 0 0 40145 70 0 0 25 0 1 0 106714632 25268224 3608 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6169 3608 312 324 0 5238 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 24676 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1756368/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=24676 CPUtime=462.13 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3647 0 0 0 46135 78 0 0 25 0 1 0 106714632 25268224 3608 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6169 3608 312 324 0 5238 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 24676 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1756368/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=24676 CPUtime=522.11 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3647 0 0 0 52124 87 0 0 25 0 1 0 106714632 25268224 3608 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6169 3608 312 324 0 5238 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 24676 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1756368/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=24676 CPUtime=582.09 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3647 0 0 0 58114 95 0 0 25 0 1 0 106714632 25268224 3608 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6169 3608 312 324 0 5238 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 24676 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1755600/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=25540 CPUtime=642.07 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3850 0 0 0 64104 103 0 0 25 0 1 0 106714632 26152960 3811 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6385 3811 312 324 0 5454 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 25540 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1755536/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=25520 CPUtime=822.01 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3850 0 0 0 82073 128 0 0 25 0 1 0 106714632 26132480 3811 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6380 3811 312 324 0 5449 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 25520 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1755344/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=25696 CPUtime=881.98 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3897 0 0 0 88062 136 0 0 25 0 1 0 106714632 26312704 3858 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6424 3858 312 324 0 5493 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 25696 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6456 /proc/meminfo: memFree=1755344/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=25696 CPUtime=941.97 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3897 0 0 0 94053 144 0 0 25 0 1 0 106714632 26312704 3858 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6424 3858 312 324 0 5493 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 25696 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/84 6572 /proc/meminfo: memFree=1753952/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=25696 CPUtime=1001.9 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 3897 0 0 0 100036 154 0 0 25 0 1 0 106714632 26312704 3858 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6424 3858 312 324 0 5493 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 25696 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1754000/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26688 CPUtime=1061.83 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4138 0 0 0 106021 162 0 0 25 0 1 0 106714632 27328512 4099 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6672 4099 312 324 0 5741 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 26688 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1754000/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26832 CPUtime=1121.82 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4188 0 0 0 112012 170 0 0 25 0 1 0 106714632 27475968 4149 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6708 4149 312 324 0 5777 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 26832 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1753936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26920 CPUtime=1181.79 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4196 0 0 0 117999 180 0 0 25 0 1 0 106714632 27566080 4157 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6730 4157 312 324 0 5799 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 26920 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1753936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26864 CPUtime=1241.78 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4196 0 0 0 123989 189 0 0 25 0 1 0 106714632 27508736 4157 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6716 4157 312 324 0 5785 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 26864 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1754000/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26864 CPUtime=1301.76 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4196 0 0 0 129980 196 0 0 25 0 1 0 106714632 27508736 4157 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6716 4157 312 324 0 5785 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 26864 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1754000/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26836 CPUtime=1361.73 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4196 0 0 0 135970 203 0 0 25 0 1 0 106714632 27480064 4150 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9040787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6709 4150 312 324 0 5778 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 26836 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1753936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26944 CPUtime=1421.72 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4220 0 0 0 141959 213 0 0 25 0 1 0 106714632 27590656 4173 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6736 4173 312 324 0 5805 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 26944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1753936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26944 CPUtime=1481.7 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4220 0 0 0 147950 220 0 0 25 0 1 0 106714632 27590656 4173 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6736 4173 312 324 0 5805 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 26944 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1753936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26944 CPUtime=1541.67 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4220 0 0 0 153941 226 0 0 25 0 1 0 106714632 27590656 4173 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6736 4173 312 324 0 5805 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 26944 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1753936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26944 CPUtime=1601.65 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4220 0 0 0 159932 233 0 0 25 0 1 0 106714632 27590656 4173 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6736 4173 312 324 0 5805 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 26944 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1753936/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=26940 CPUtime=1661.63 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4220 0 0 0 165923 240 0 0 25 0 1 0 106714632 27586560 4173 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 6735 4173 312 324 0 5804 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 26940 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1752016/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=28840 CPUtime=1721.61 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4685 0 0 0 171913 248 0 0 25 0 1 0 106714632 29532160 4638 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 7210 4638 312 324 0 6279 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 28840 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1752016/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=28692 CPUtime=1781.59 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4685 0 0 0 177904 255 0 0 25 0 1 0 106714632 29380608 4614 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 7173 4614 312 324 0 6242 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 28692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6654 /proc/meminfo: memFree=1752016/2055920 swapFree=4147248/4192956 [pid=6455] ppid=6453 vsize=28692 CPUtime=1800.09 /proc/6455/stat : 6455 (bsolo3.0.16) R 6453 6455 5232 0 -1 4194304 4685 0 0 0 179752 257 0 0 25 0 1 0 106714632 29380608 4614 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6455/statm: 7173 4614 312 324 0 6242 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 28692 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.81 CPU time (s): 1800.1 CPU user time (s): 1797.52 CPU system time (s): 2.57461 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (KiB): 28840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.52 system time used= 2.57461 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4686 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= 36146 runsolver used 2.06968 second user time and 4.46832 second system time The end
Begin job on node38 on Mon Apr 16 17:44:40 UTC 2007 IDJOB= 350037 IDBENCH= 2930 IDSOLVER= 163 FILE ID= node38/350037-1176745480 PBS_JOBID= 4580682 Free space on /tmp= 66318 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_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350037-1176745480/instance-350037-1176745480.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-350037-1176745480 -o ROOT/results/node38/solver-350037-1176745480 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350037-1176745480/instance-350037-1176745480.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c7543821508efc06c2ce41424051ab2c RANDOM SEED= 679235883 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1770344 kB Buffers: 34584 kB Cached: 110764 kB SwapCached: 3980 kB Active: 156620 kB Inactive: 85200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1770344 kB SwapTotal: 4192956 kB SwapFree: 4147248 kB Dirty: 4408 kB Writeback: 0 kB Mapped: 104012 kB Slab: 28984 kB Committed_AS: 1508856 kB PageTables: 2060 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= 66318 MiB End job on node38 on Mon Apr 16 18:14:43 UTC 2007