Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb |
MD5SUM | 0b8531b64d2ca93b44d439b9cb9fcfaa |
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 | 6352 |
Total number of constraints | 13429 |
Number of constraints which are clauses | 13429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
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/349125-1176652656/instance-349125-1176652656.opb 0.00/0.00 c File size is 453016 bytes. 0.07/0.08 c Highest Coefficient sum: 6352 0.07/0.08 c Parsing was ok!! 0.07/0.08 c Total parsing time: 0.082 s 0.07/0.09 c Var: 6352 Constr: 13429 13429/0/0 Lit: 33757 Watch. Lit: 26717 0.07/0.09 c Obj. Vars: 6352 (100 % of total variables) 0.09/0.17 c Pre-processing Time: 0.172 s 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 1908 5683 16072 2 11366 1894 0 0 0.17 0.09/0.17 c Switching off LPR mode. 1799.94/1800.55 c 100 1908 5783 18010 3 11566 2084 100 480 0.21 1799.94/1800.55 c 250 1908 5933 23114 3 11866 2293 250 922 0.27 1799.94/1800.55 c 476 1908 6159 29808 4 12318 2523 476 1425 0.33 1799.94/1800.55 c 814 1908 6497 42124 6 12994 2776 814 1765 0.46 1799.94/1800.55 c 1322 1908 7005 52199 7 14010 3054 1322 2275 0.58 1799.94/1800.55 c 2085 1908 7768 78776 10 15536 3360 2085 2213 0.94 1799.94/1800.55 c 3232 1908 8915 115747 12 17830 3697 3232 2255 1.43 1799.94/1800.55 c 4953 1908 10636 190359 17 21272 4067 4953 1694 2.92 1799.94/1800.55 c 7539 1908 13222 329926 24 26444 4474 7539 1196 6.30 1799.94/1800.55 c 11418 1908 10281 262364 25 20562 4922 4598 1039 10.98 1799.94/1800.55 c 17240 1908 9103 174177 19 18206 5415 3420 940 18.32 1799.94/1800.55 c 25977 1908 9908 164321 16 19816 5957 4225 976 26.59 1799.94/1800.55 c 39090 1908 15317 595788 38 30634 6553 9634 948 41.20 1799.94/1800.55 c 58760 1908 11105 305704 27 22210 7209 5422 913 64.31 1799.94/1800.55 c 88270 1908 15833 533019 33 31666 7930 10150 853 103.36 1799.94/1800.55 c 132540 1908 16703 680813 40 33406 8724 11020 803 164.86 1799.94/1800.55 c 198950 1908 11282 229035 20 22564 9597 5599 765 259.86 1799.94/1800.55 c 298570 1908 16818 530101 31 33636 10557 11135 725 411.62 1799.94/1800.55 c 448005 1908 17941 631730 35 35882 11613 12258 671 667.33 1799.94/1800.55 c 672163 1908 11958 297247 24 23916 12775 6275 627 1071.55 1799.94/1800.55 c 1008407 1908 19186 811801 42 38372 14053 13503 584 1725.98 1799.94/1800.55 c Resources Exceeded 1799.94/1800.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.55 c 21 1045073 84679 1155417 21102 931199 15419 580 1800.00 1799.94/1800.55 s UNKNOWN 1799.94/1800.55 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/node50/watcher-349125-1176652656 -o ROOT/results/node50/solver-349125-1176652656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349125-1176652656/instance-349125-1176652656.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: 1.00 1.00 1.00 3/64 15260 /proc/meminfo: memFree=1818400/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=12180 CPUtime=0 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 20110807 12472320 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 3045 336 281 324 0 2003 0 [startup+0.0846969 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15260 /proc/meminfo: memFree=1818400/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=6236 CPUtime=0.07 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 941 0 0 0 7 0 0 0 18 0 1 0 20110807 6385664 909 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 1559 909 390 324 0 517 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6236 [startup+0.101698 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15260 /proc/meminfo: memFree=1818400/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=6980 CPUtime=0.09 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 1245 0 0 0 9 0 0 0 18 0 1 0 20110807 7147520 1102 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 1745 1102 304 324 0 814 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6980 [startup+0.301716 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15260 /proc/meminfo: memFree=1818400/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=7048 CPUtime=0.29 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 1305 0 0 0 28 1 0 0 19 0 1 0 20110807 7217152 1144 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 1762 1144 311 324 0 831 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7048 [startup+0.70175 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15260 /proc/meminfo: memFree=1818400/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=7048 CPUtime=0.69 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 1305 0 0 0 68 1 0 0 22 0 1 0 20110807 7217152 1144 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 1762 1144 311 324 0 831 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7048 [startup+1.50282 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15261 /proc/meminfo: memFree=1814936/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=7572 CPUtime=1.49 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 1434 0 0 0 148 1 0 0 25 0 1 0 20110807 7753728 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 1893 1273 311 324 0 962 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7572 [startup+3.10196 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15261 /proc/meminfo: memFree=1813976/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=8868 CPUtime=3.09 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 1732 0 0 0 307 2 0 0 25 0 1 0 20110807 9080832 1571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 2217 1571 311 324 0 1286 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8868 [startup+6.30124 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15261 /proc/meminfo: memFree=1811672/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=10824 CPUtime=6.29 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 2220 0 0 0 626 3 0 0 25 0 1 0 20110807 11083776 2059 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 2706 2059 311 324 0 1775 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10824 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15261 /proc/meminfo: memFree=1809816/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=12116 CPUtime=12.69 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 2549 0 0 0 1264 5 0 0 25 0 1 0 20110807 12406784 2388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 3029 2388 311 324 0 2098 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12116 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15261 /proc/meminfo: memFree=1808536/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=13288 CPUtime=25.48 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 2862 0 0 0 2541 7 0 0 25 0 1 0 20110807 13606912 2701 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 3322 2701 311 324 0 2391 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13288 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15261 /proc/meminfo: memFree=1806360/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=15592 CPUtime=51.07 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 3420 0 0 0 5097 10 0 0 25 0 1 0 20110807 15966208 3259 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 3898 3259 311 324 0 2967 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15592 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15261 /proc/meminfo: memFree=1806040/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=15848 CPUtime=102.27 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 3499 0 0 0 10210 17 0 0 25 0 1 0 20110807 16228352 3338 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 3962 3338 311 324 0 3031 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15848 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15261 /proc/meminfo: memFree=1804504/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=17396 CPUtime=162.26 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 3889 0 0 0 16201 25 0 0 25 0 1 0 20110807 17813504 3728 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4349 3728 311 324 0 3418 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 17396 [startup+222.301 s] /proc/loadavg: 1.07 1.02 1.00 2/71 15351 /proc/meminfo: memFree=1802656/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=17916 CPUtime=222.18 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4017 0 0 0 22187 31 0 0 25 0 1 0 20110807 18345984 3856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4479 3856 311 324 0 3548 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 17916 [startup+282.302 s] /proc/loadavg: 1.08 1.03 1.00 2/65 15459 /proc/meminfo: memFree=1803608/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=17920 CPUtime=282.1 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4018 0 0 0 28172 38 0 0 25 0 1 0 20110807 18350080 3857 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4480 3857 311 324 0 3549 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 17920 [startup+342.302 s] /proc/loadavg: 1.13 1.05 1.01 2/65 15459 /proc/meminfo: memFree=1803608/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=17920 CPUtime=342.09 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4018 0 0 0 34164 45 0 0 25 0 1 0 20110807 18350080 3857 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4480 3857 311 324 0 3549 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 17920 [startup+402.301 s] /proc/loadavg: 1.05 1.04 1.00 2/65 15459 /proc/meminfo: memFree=1803608/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=17920 CPUtime=402.07 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4018 0 0 0 40154 53 0 0 25 0 1 0 20110807 18350080 3857 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4480 3857 311 324 0 3549 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 17920 [startup+462.301 s] /proc/loadavg: 1.02 1.03 1.00 2/65 15459 /proc/meminfo: memFree=1802008/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=19744 CPUtime=462.06 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4472 0 0 0 46147 59 0 0 25 0 1 0 20110807 20217856 4311 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4936 4311 311 324 0 4005 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 19744 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 15459 /proc/meminfo: memFree=1801816/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=19960 CPUtime=522.04 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4520 0 0 0 52139 65 0 0 25 0 1 0 20110807 20439040 4359 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8359653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4990 4359 311 324 0 4059 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 19960 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 15461 /proc/meminfo: memFree=1801624/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=19936 CPUtime=582.03 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4520 0 0 0 58132 71 0 0 25 0 1 0 20110807 20414464 4359 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4984 4359 311 324 0 4053 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 19936 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15461 /proc/meminfo: memFree=1801624/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=19936 CPUtime=642.02 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4520 0 0 0 64125 77 0 0 25 0 1 0 20110807 20414464 4359 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 4984 4359 311 324 0 4053 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 19936 ################ # More data... # ################ /proc/meminfo: memFree=1799960/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=21724 CPUtime=1061.91 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4972 0 0 0 106071 120 0 0 25 0 1 0 20110807 22245376 4811 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5431 4811 311 324 0 4500 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 21724 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1799960/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=21728 CPUtime=1121.91 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 4973 0 0 0 112066 125 0 0 25 0 1 0 20110807 22249472 4812 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5432 4812 311 324 0 4501 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 21728 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798744/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=22924 CPUtime=1181.89 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5262 0 0 0 118058 131 0 0 25 0 1 0 20110807 23474176 5101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5731 5101 311 324 0 4800 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 22924 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798680/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=22900 CPUtime=1241.88 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5262 0 0 0 124052 136 0 0 25 0 1 0 20110807 23449600 5101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5725 5101 311 324 0 4794 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 22900 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798680/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=22848 CPUtime=1301.86 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5262 0 0 0 130046 140 0 0 25 0 1 0 20110807 23396352 5094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550862 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5712 5094 311 324 0 4781 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 22848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798680/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=22844 CPUtime=1361.84 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5262 0 0 0 136039 145 0 0 25 0 1 0 20110807 23392256 5093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5711 5093 311 324 0 4780 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 22844 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798680/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=22844 CPUtime=1421.84 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5262 0 0 0 142033 151 0 0 25 0 1 0 20110807 23392256 5093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5711 5093 311 324 0 4780 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 22844 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798488/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1481.82 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5321 0 0 0 148025 157 0 0 25 0 1 0 20110807 23662592 5152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8359618 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5152 311 324 0 4846 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 23108 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798488/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1541.81 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5321 0 0 0 154019 162 0 0 25 0 1 0 20110807 23662592 5152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5152 311 324 0 4846 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 23108 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798488/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1601.79 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5321 0 0 0 160012 167 0 0 25 0 1 0 20110807 23662592 5152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8359722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5152 311 324 0 4846 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 23108 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798488/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1661.77 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5321 0 0 0 166005 172 0 0 25 0 1 0 20110807 23662592 5152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5152 311 324 0 4846 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 23108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798488/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23104 CPUtime=1721.76 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5321 0 0 0 171997 179 0 0 25 0 1 0 20110807 23658496 5152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8351476 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5776 5152 311 324 0 4845 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 23104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798424/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1781.74 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5322 0 0 0 177988 186 0 0 25 0 1 0 20110807 23662592 5153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5153 311 324 0 4846 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 23108 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798424/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1791.35 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5322 0 0 0 178948 187 0 0 25 0 1 0 20110807 23662592 5153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5153 311 324 0 4846 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 23108 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798424/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1794.55 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5322 0 0 0 179268 187 0 0 25 0 1 0 20110807 23662592 5153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5153 311 324 0 4846 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 23108 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798424/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1797.74 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5322 0 0 0 179587 187 0 0 25 0 1 0 20110807 23662592 5153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8351158 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5153 311 324 0 4846 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 23108 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798424/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1799.34 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5322 0 0 0 179747 187 0 0 25 0 1 0 20110807 23662592 5153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5153 311 324 0 4846 0 Current children cumulated CPU time (s) 1799.34 Current children cumulated vsize (KiB) 23108 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798424/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1799.74 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5322 0 0 0 179787 187 0 0 25 0 1 0 20110807 23662592 5153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5153 311 324 0 4846 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (KiB) 23108 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15461 /proc/meminfo: memFree=1798424/2055920 swapFree=4183712/4192956 [pid=15260] ppid=15258 vsize=23108 CPUtime=1799.94 /proc/15260/stat : 15260 (bsolo3.0.16) R 15258 15260 14865 0 -1 4194304 5322 0 0 0 179807 187 0 0 25 0 1 0 20110807 23662592 5153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15260/statm: 5777 5153 311 324 0 4846 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 23108 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.01 CPU user time (s): 1798.13 CPU system time (s): 1.87871 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 23108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.13 system time used= 1.87871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5323 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= 3836 runsolver used 1.17682 second user time and 3.79942 second system time The end
Begin job on node50 on Sun Apr 15 15:57:36 UTC 2007 IDJOB= 349125 IDBENCH= 2160 IDSOLVER= 163 FILE ID= node50/349125-1176652656 PBS_JOBID= 4559859 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349125-1176652656/instance-349125-1176652656.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-349125-1176652656 -o ROOT/results/node50/solver-349125-1176652656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349125-1176652656/instance-349125-1176652656.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa RANDOM SEED= 957457758 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1818808 kB Buffers: 16940 kB Cached: 170428 kB SwapCached: 4324 kB Active: 49604 kB Inactive: 148620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1818808 kB SwapTotal: 4192956 kB SwapFree: 4183712 kB Dirty: 4836 kB Writeback: 0 kB Mapped: 15400 kB Slab: 24864 kB Committed_AS: 363216 kB PageTables: 1460 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= 66559 MiB End job on node50 on Sun Apr 15 16:27:37 UTC 2007