Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.05 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_20.opb |
MD5SUM | 601a73d2c5752739e04dd0126b5500f0 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 398 |
Optimality of the best value was proved | NO |
Number of variables | 13478 |
Total number of constraints | 26620 |
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 | 26619 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 190 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 445 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 589 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2977 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.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/355129-1176772526/instance-355129-1176772526.opb 0.00/0.00 c File size is 7672173 bytes. 1.29/1.35 c Highest Coefficient sum: 2977 1.29/1.35 c Parsing was ok!! 1.29/1.35 c Total parsing time: 1.347 s 1.29/1.38 c Var: 13478 Constr: 26620 1/0/26619 Lit: 901318 Watch. Lit: 141864 1.29/1.38 c Obj. Vars: 9 (0.0667755 % of total variables) 6.88/7.00 c Pre-processing Time: 6.988 s 6.98/7.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.00 c 0 13477 26619 901317 33 214291 500000 0 0 6.99 6.98/7.00 c Switching off LPR mode. 1799.98/1800.63 c 101 13477 26720 905801 33 509129 550001 101 11 8.93 1799.98/1800.63 c 252 13477 26871 912746 33 518053 605002 252 26 9.43 1799.98/1800.63 c 477 13477 27096 926141 34 518659 665503 477 41 11.36 1799.98/1800.63 c 816 13477 27435 940685 34 513418 732054 816 65 12.38 1799.98/1800.63 c 1326 13477 27945 966129 34 492031 805260 1326 91 14.49 1799.98/1800.63 c 2090 13477 28709 1009130 35 504839 885787 2090 115 18.11 1799.98/1800.63 c 3237 13477 29856 1067124 35 484272 974366 3237 144 22.37 1799.98/1800.63 c 4959 13477 31578 1188505 37 502885 500000 4959 168 29.44 1799.98/1800.63 c 7543 13477 34162 1351617 39 511803 550001 7543 170 44.29 1799.98/1800.63 c 11422 13477 38041 1612230 42 496074 605002 11422 170 67.07 1799.98/1800.63 c 17245 13477 43864 2051872 46 522404 665503 17245 178 96.65 1799.98/1800.63 c 25983 13477 52602 2667457 50 544696 732054 25983 143 181.03 1799.98/1800.63 c 39094 13477 65713 3405607 51 547476 805260 39094 161 241.77 1799.98/1800.63 c 58766 13477 85385 5101413 59 617193 885787 58766 122 479.66 1799.98/1800.63 c 88279 13477 114898 6554844 57 689737 974366 88279 125 702.14 1799.98/1800.63 c 132551 13477 159170 10627488 66 755803 500000 132551 120 1098.36 1799.98/1800.63 c 198961 13477 225580 14164341 62 865565 550001 198961 114 1736.23 1799.98/1800.63 c Resources Exceeded 1799.98/1800.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.63 c 17 204231 22406 251674 230850 14509380 204231 113 1800.01 1799.98/1800.63 s UNKNOWN 1799.98/1800.63 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-355129-1176772526 -o ROOT/results/node22/solver-355129-1176772526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355129-1176772526/instance-355129-1176772526.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/77 18417 /proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=27044 CPUtime=0 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 125170244 27693056 334 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 6761 334 281 324 0 3956 0 [startup+0.0638611 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18417 /proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=12068 CPUtime=0.05 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 609 0 0 0 5 0 0 0 18 0 1 0 125170244 12357632 577 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 3017 577 370 324 0 212 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12068 [startup+0.101867 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18417 /proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=12460 CPUtime=0.09 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 763 0 0 0 9 0 0 0 18 0 1 0 125170244 12759040 731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 3115 731 425 324 0 310 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12460 [startup+0.301897 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18417 /proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=14552 CPUtime=0.29 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 1568 0 0 0 29 0 0 0 19 0 1 0 125170244 14901248 1536 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 3638 1536 710 324 0 833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14552 [startup+0.702958 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18417 /proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=18592 CPUtime=0.69 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 3146 0 0 0 69 0 0 0 23 0 1 0 125170244 19038208 3114 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 4648 3114 1260 324 0 1843 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18592 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1727544/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=23596 CPUtime=1.49 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 7138 0 0 0 147 2 0 0 25 0 1 0 125170244 24162304 5232 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 5899 5233 305 324 0 4968 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23596 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1703288/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=38640 CPUtime=3.09 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 10882 0 0 0 305 4 0 0 25 0 1 0 125170244 39567360 8976 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 9660 8976 307 324 0 8729 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38640 [startup+6.30181 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1703104/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=38640 CPUtime=6.28 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 10882 0 0 0 623 5 0 0 25 0 1 0 125170244 39567360 8976 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 9660 8976 307 324 0 8729 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38640 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1709248/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=32680 CPUtime=12.68 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 13035 0 0 0 1260 8 0 0 25 0 1 0 125170244 33464320 7534 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 8170 7534 312 324 0 7239 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32680 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1707200/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=34860 CPUtime=25.47 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 13558 0 0 0 2537 10 0 0 25 0 1 0 125170244 35696640 8057 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 8715 8057 312 324 0 7784 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 34860 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1702784/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=39256 CPUtime=51.06 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 14675 0 0 0 5093 13 0 0 25 0 1 0 125170244 40198144 9174 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 9814 9174 312 324 0 8883 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 39256 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1692992/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=49044 CPUtime=102.24 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 17118 0 0 0 10206 18 0 0 25 0 1 0 125170244 50221056 11617 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 12261 11617 312 324 0 11330 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 49044 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1686336/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=55752 CPUtime=162.22 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 18774 0 0 0 16202 20 0 0 25 0 1 0 125170244 57090048 13273 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 13938 13273 312 324 0 13007 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 55752 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1678336/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=63680 CPUtime=222.2 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 20756 0 0 0 22194 26 0 0 25 0 1 0 125170244 65208320 15255 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 15920 15255 312 324 0 14989 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 63680 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1669952/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=71928 CPUtime=282.18 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 22839 0 0 0 28187 31 0 0 25 0 1 0 125170244 73654272 17338 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134573104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 17982 17338 312 324 0 17051 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 71928 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1663488/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=78444 CPUtime=342.16 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 24452 0 0 0 34181 35 0 0 25 0 1 0 125170244 80326656 18951 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111649 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 19611 18951 312 324 0 18680 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 78444 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1657792/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=84108 CPUtime=402.14 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 25882 0 0 0 40176 38 0 0 25 0 1 0 125170244 86126592 20381 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 21027 20381 312 324 0 20096 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 84108 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1651456/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=90496 CPUtime=462.12 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 27464 0 0 0 46171 41 0 0 25 0 1 0 125170244 92667904 21963 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 22624 21963 312 324 0 21693 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 90496 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1645120/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=96772 CPUtime=522.1 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 29053 0 0 0 52165 45 0 0 25 0 1 0 125170244 99094528 23552 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 24193 23552 312 324 0 23262 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 96772 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1639488/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=102436 CPUtime=582.09 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 30443 0 0 0 58160 49 0 0 25 0 1 0 125170244 104894464 24942 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 25609 24942 312 324 0 24678 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 102436 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1633856/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=107980 CPUtime=642.06 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 31837 0 0 0 64154 52 0 0 25 0 1 0 125170244 110571520 26336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 26995 26336 312 324 0 26064 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 107980 ################ # More data... # ################ /proc/meminfo: memFree=1569152/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=172460 CPUtime=1121.9 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 47979 0 0 0 112104 86 0 0 25 0 1 0 125170244 176599040 42478 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 43115 42478 312 324 0 42184 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 172460 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1564032/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=177808 CPUtime=1181.88 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 49291 0 0 0 118098 90 0 0 25 0 1 0 125170244 182075392 43790 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134573104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 44452 43790 312 324 0 43521 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 177808 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18418 /proc/meminfo: memFree=1558016/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=183704 CPUtime=1241.86 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 50761 0 0 0 124092 94 0 0 25 0 1 0 125170244 188112896 45260 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 45926 45260 312 324 0 44995 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 183704 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1552896/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=188716 CPUtime=1301.84 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 52026 0 0 0 130087 97 0 0 25 0 1 0 125170244 193245184 46525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 47179 46525 312 324 0 46248 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 188716 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1547840/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=193836 CPUtime=1361.82 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 53299 0 0 0 136082 100 0 0 25 0 1 0 125170244 198488064 47798 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 48459 47798 312 324 0 47528 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 193836 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1542976/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=198576 CPUtime=1421.81 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 54503 0 0 0 142078 103 0 0 25 0 1 0 125170244 203341824 49002 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 49644 49002 312 324 0 48713 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 198576 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1538496/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=203184 CPUtime=1481.78 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 55637 0 0 0 148073 105 0 0 25 0 1 0 125170244 208060416 50136 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 50796 50136 312 324 0 49865 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 203184 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1533632/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=208056 CPUtime=1541.76 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 56872 0 0 0 154068 108 0 0 25 0 1 0 125170244 213049344 51371 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111649 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 52014 51371 312 324 0 51083 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 208056 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1529024/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=212680 CPUtime=1601.74 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 58033 0 0 0 160064 110 0 0 25 0 1 0 125170244 217784320 52532 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 53170 52532 312 324 0 52239 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 212680 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1524608/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=217144 CPUtime=1661.72 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 59135 0 0 0 166058 114 0 0 25 0 1 0 125170244 222355456 53634 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 54286 53634 312 324 0 53355 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 217144 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1519936/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=221756 CPUtime=1721.7 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 60297 0 0 0 172054 116 0 0 25 0 1 0 125170244 227078144 54796 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 55439 54796 312 324 0 54508 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 221756 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1514880/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=226704 CPUtime=1781.69 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 61541 0 0 0 178050 119 0 0 25 0 1 0 125170244 232144896 56040 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 56676 56040 312 324 0 55745 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 226704 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1513152/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=228536 CPUtime=1791.28 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 61978 0 0 0 179009 119 0 0 25 0 1 0 125170244 234020864 56477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 57134 56477 312 324 0 56203 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 228536 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1512832/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=228800 CPUtime=1794.48 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62045 0 0 0 179329 119 0 0 25 0 1 0 125170244 234291200 56544 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134574878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 57200 56544 312 324 0 56269 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 228800 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1512640/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=229056 CPUtime=1797.68 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62111 0 0 0 179648 120 0 0 25 0 1 0 125170244 234553344 56610 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 57264 56610 312 324 0 56333 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 229056 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1512448/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=229184 CPUtime=1799.28 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62148 0 0 0 179808 120 0 0 25 0 1 0 125170244 234684416 56647 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 57296 56647 312 324 0 56365 0 Current children cumulated CPU time (s) 1799.28 Current children cumulated vsize (KiB) 229184 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1512448/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=229184 CPUtime=1799.68 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62155 0 0 0 179848 120 0 0 25 0 1 0 125170244 234684416 56654 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 57296 56654 312 324 0 56365 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (KiB) 229184 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1512448/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=229184 CPUtime=1799.88 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62159 0 0 0 179868 120 0 0 25 0 1 0 125170244 234684416 56658 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 57296 56658 312 324 0 56365 0 Current children cumulated CPU time (s) 1799.88 Current children cumulated vsize (KiB) 229184 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18420 /proc/meminfo: memFree=1512384/2055920 swapFree=4168688/4192956 [pid=18417] ppid=18415 vsize=229312 CPUtime=1799.98 /proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62162 0 0 0 179878 120 0 0 25 0 1 0 125170244 234815488 56661 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18417/statm: 57328 56661 312 324 0 56397 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 229312 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.05 CPU user time (s): 1798.81 CPU system time (s): 1.23981 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 229312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.81 system time used= 1.23981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62163 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= 38723 runsolver used 1.9657 second user time and 4.09238 second system time The end
Begin job on node22 on Tue Apr 17 01:15:26 UTC 2007 IDJOB= 355129 IDBENCH= 2947 IDSOLVER= 163 FILE ID= node22/355129-1176772526 PBS_JOBID= 4580767 Free space on /tmp= 66544 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355129-1176772526/instance-355129-1176772526.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-355129-1176772526 -o ROOT/results/node22/solver-355129-1176772526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355129-1176772526/instance-355129-1176772526.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 601a73d2c5752739e04dd0126b5500f0 RANDOM SEED= 634951533 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1738648 kB Buffers: 62436 kB Cached: 161456 kB SwapCached: 2412 kB Active: 91624 kB Inactive: 157364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1738648 kB SwapTotal: 4192956 kB SwapFree: 4168688 kB Dirty: 11900 kB Writeback: 0 kB Mapped: 31108 kB Slab: 53900 kB Committed_AS: 1697960 kB PageTables: 1680 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= 66544 MiB End job on node22 on Tue Apr 17 01:45:27 UTC 2007