Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.09 | 1800.75 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_40.opb |
MD5SUM | 476815bfad4ec3fb3f4fdbbbbf10b706 |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2516 |
Sum of products size (including duplicates) | 5032 |
Number of different products | 1258 |
Sum of products size | 2516 |
0.00/0.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/456693-1178361908/instance-456693-1178361908.opb 0.00/0.01 c File size is 36248 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.017 s 0.00/0.03 c Var: 2716 Constr: 5335 2616/203/2516 Lit: 18312 Watch. Lit: 15539 0.00/0.03 c Obj. Vars: 0 (0 % of total variables) 0.99/1.03 c Pre-processing Time: 1.019 s 0.99/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.03 c 0 2716 5335 18312 3 15539 29040 0 0 1.02 0.99/1.03 c Switching off LPR mode. 1800.03/1800.70 c 109 2716 5444 34492 6 15757 31945 109 104 1.04 1800.03/1800.70 c 264 2716 5599 57956 10 16067 35140 264 246 1.07 1800.03/1800.70 c 493 2716 5828 91512 15 16525 38655 493 435 1.13 1800.03/1800.70 c 842 2716 6177 141031 22 17223 42521 842 682 1.23 1800.03/1800.70 c 1355 2716 6690 220954 33 18249 46774 1355 995 1.36 1800.03/1800.70 c 2121 2716 7456 338662 45 19781 51452 2121 1290 1.64 1800.03/1800.70 c 3268 2716 8603 518318 60 22075 56598 3268 1612 2.03 1800.03/1800.70 c 4993 2716 10328 785179 76 25525 62258 4993 1634 3.06 1800.03/1800.70 c 7581 2716 12916 1171823 90 30701 68484 7581 1583 4.79 1800.03/1800.70 c 11460 2716 16795 1728288 102 38459 75333 11460 1223 9.37 1800.03/1800.70 c 17284 2716 22619 2562310 113 50107 82867 17284 941 18.35 1800.03/1800.70 c 26027 2716 31362 3844297 122 67593 91154 26027 544 47.83 1800.03/1800.70 c 39137 2716 44472 5763508 129 93813 100270 39137 365 106.96 1800.03/1800.70 c 58809 2716 64144 8688431 135 133157 110298 58809 233 252.30 1800.03/1800.71 c 88323 2716 93658 13133150 140 192185 121328 88323 126 697.56 1800.03/1800.71 c 132593 2716 27590 3309125 119 60049 133461 22255 74 1773.21 1800.03/1800.71 c Caught signal: 15 1800.03/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.71 c 16 141287 12095 181795 36284 4651118 30949 78 1800.04 1800.03/1800.71 s UNKNOWN 1800.03/1800.71 c Total time: 1800.04 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-456693-1178361908 -o ROOT/results/node54/solver-456693-1178361908 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/456693-1178361908/instance-456693-1178361908.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.00 0.00 0.00 3/66 9420 /proc/meminfo: memFree=1504440/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=3780 CPUtime=0 /proc/9420/stat : 9420 (bsolo3.0.17) D 9418 9420 9355 0 -1 4194304 183 0 2 0 0 0 0 0 18 0 1 0 283565298 3870720 155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/9420/statm: 945 155 129 324 0 15 0 [startup+0.0875341 s] /proc/loadavg: 0.00 0.00 0.00 3/66 9420 /proc/meminfo: memFree=1504440/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=5300 CPUtime=0.07 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 738 0 3 0 7 0 0 0 18 0 1 0 283565298 5427200 702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 1325 702 304 324 0 395 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5300 [startup+0.101534 s] /proc/loadavg: 0.00 0.00 0.00 3/66 9420 /proc/meminfo: memFree=1504440/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=5300 CPUtime=0.08 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 738 0 3 0 8 0 0 0 18 0 1 0 283565298 5427200 702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 1325 702 304 324 0 395 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5300 [startup+0.301559 s] /proc/loadavg: 0.00 0.00 0.00 3/66 9420 /proc/meminfo: memFree=1504440/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=5300 CPUtime=0.28 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 738 0 3 0 28 0 0 0 19 0 1 0 283565298 5427200 702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 1325 702 304 324 0 395 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5300 [startup+0.701609 s] /proc/loadavg: 0.00 0.00 0.00 3/66 9420 /proc/meminfo: memFree=1504440/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=5300 CPUtime=0.68 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 738 0 3 0 68 0 0 0 22 0 1 0 283565298 5427200 702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 1325 702 304 324 0 395 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5300 [startup+1.50171 s] /proc/loadavg: 0.00 0.00 0.00 2/67 9421 /proc/meminfo: memFree=1502192/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=9016 CPUtime=1.48 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 1703 0 3 0 147 1 0 0 25 0 1 0 283565298 9232384 1619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 2254 1619 309 324 0 1324 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9016 [startup+3.10191 s] /proc/loadavg: 0.08 0.02 0.01 2/67 9421 /proc/meminfo: memFree=1495024/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=15848 CPUtime=3.08 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 3428 0 3 0 306 2 0 0 25 0 1 0 283565298 16228352 3344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 3962 3344 309 324 0 3032 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15848 [startup+6.30132 s] /proc/loadavg: 0.08 0.02 0.01 2/67 9421 /proc/meminfo: memFree=1484912/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=24596 CPUtime=6.28 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 5621 0 3 0 624 4 0 0 25 0 1 0 283565298 25186304 5537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 6149 5537 309 324 0 5219 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24596 [startup+12.7011 s] /proc/loadavg: 0.22 0.05 0.02 2/67 9421 /proc/meminfo: memFree=1474416/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=33876 CPUtime=12.68 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 7914 0 3 0 1261 7 0 0 25 0 1 0 283565298 34689024 7830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 8469 7830 309 324 0 7539 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33876 [startup+25.5017 s] /proc/loadavg: 0.34 0.08 0.02 2/67 9421 /proc/meminfo: memFree=1463152/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=44320 CPUtime=25.47 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 10542 0 3 0 2538 9 0 0 25 0 1 0 283565298 45383680 10458 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 11080 10458 309 324 0 10150 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 44320 [startup+51.102 s] /proc/loadavg: 0.56 0.15 0.05 2/67 9421 /proc/meminfo: memFree=1449392/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=58256 CPUtime=51.07 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 14030 0 3 0 5094 13 0 0 25 0 1 0 283565298 59654144 13946 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 14564 13946 309 324 0 13634 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 58256 [startup+102.305 s] /proc/loadavg: 0.82 0.29 0.10 2/67 9421 /proc/meminfo: memFree=1425456/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=81844 CPUtime=102.25 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 19932 0 3 0 10207 18 0 0 25 0 1 0 283565298 83808256 19848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 20461 19848 309 324 0 19531 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 81844 [startup+162.302 s] /proc/loadavg: 0.93 0.42 0.15 2/67 9421 /proc/meminfo: memFree=1403952/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=103504 CPUtime=162.23 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 25329 0 3 0 16199 24 0 0 25 0 1 0 283565298 105988096 25245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 25876 25245 309 324 0 24946 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 103504 [startup+222.302 s] /proc/loadavg: 0.97 0.52 0.20 2/67 9421 /proc/meminfo: memFree=1390448/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=116780 CPUtime=222.22 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 28659 0 3 0 22194 28 0 0 25 0 1 0 283565298 119582720 28575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 29195 28575 309 324 0 28265 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 116780 [startup+282.301 s] /proc/loadavg: 0.99 0.61 0.25 2/67 9421 /proc/meminfo: memFree=1379440/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=127868 CPUtime=282.2 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 31427 0 3 0 28189 31 0 0 25 0 1 0 283565298 130936832 31343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 31967 31343 309 324 0 31037 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 127868 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.30 2/67 9421 /proc/meminfo: memFree=1369328/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=138060 CPUtime=342.18 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 33959 0 3 0 34185 33 0 0 25 0 1 0 283565298 141373440 33875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 34515 33875 309 324 0 33585 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 138060 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.34 2/67 9421 /proc/meminfo: memFree=1360624/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=146680 CPUtime=402.16 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 36141 0 3 0 40180 36 0 0 25 0 1 0 283565298 150200320 36057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 36670 36057 309 324 0 35740 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 146680 [startup+462.302 s] /proc/loadavg: 0.99 0.78 0.38 2/67 9421 /proc/meminfo: memFree=1353648/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=153632 CPUtime=462.14 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 37877 0 3 0 46176 38 0 0 25 0 1 0 283565298 157319168 37793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 38408 37793 309 324 0 37478 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 153632 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/67 9421 /proc/meminfo: memFree=1346160/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=161352 CPUtime=522.13 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 39803 0 3 0 52172 41 0 0 25 0 1 0 283565298 165224448 39719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 40338 39719 309 324 0 39408 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 161352 [startup+582.302 s] /proc/loadavg: 0.99 0.85 0.45 2/67 9421 /proc/meminfo: memFree=1339184/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=168076 CPUtime=582.11 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 41492 0 3 0 58168 43 0 0 25 0 1 0 283565298 172109824 41408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 42019 41408 309 324 0 41089 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 168076 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.48 2/67 9421 /proc/meminfo: memFree=1334256/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=172956 CPUtime=642.09 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 42698 0 3 0 64165 44 0 0 25 0 1 0 283565298 177106944 42614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 43239 42614 309 324 0 42309 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 172956 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.93 0.58 2/67 9421 /proc/meminfo: memFree=1301360/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=205920 CPUtime=882.01 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 50937 0 3 0 88148 53 0 0 25 0 1 0 283565298 210862080 50853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 51480 50853 309 324 0 50550 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 205920 [startup+942.302 s] /proc/loadavg: 0.99 0.94 0.61 2/67 9421 /proc/meminfo: memFree=1294640/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=212628 CPUtime=942 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 52609 0 3 0 94144 56 0 0 25 0 1 0 283565298 217731072 52525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 53157 52525 309 324 0 52227 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 212628 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/73 9595 /proc/meminfo: memFree=1285952/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=219996 CPUtime=1001.89 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 54446 0 3 0 100131 58 0 0 25 0 1 0 283565298 225275904 54362 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 54999 54362 309 324 0 54069 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 219996 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/67 9619 /proc/meminfo: memFree=1281392/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=225544 CPUtime=1061.85 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 55859 0 3 0 106125 60 0 0 25 0 1 0 283565298 230957056 55775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 56386 55775 309 324 0 55456 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 225544 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/67 9619 /proc/meminfo: memFree=1274800/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=232112 CPUtime=1121.83 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 57495 0 3 0 112122 61 0 0 25 0 1 0 283565298 237682688 57411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 58028 57411 309 324 0 57098 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 232112 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.69 2/67 9619 /proc/meminfo: memFree=1268912/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=238156 CPUtime=1181.81 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 58997 0 3 0 118118 63 0 0 25 0 1 0 283565298 243871744 58913 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 59539 58913 309 324 0 58609 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 238156 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/67 9619 /proc/meminfo: memFree=1264944/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=242140 CPUtime=1241.8 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 60005 0 3 0 124115 65 0 0 25 0 1 0 283565298 247951360 59921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 60535 59921 309 324 0 59605 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 242140 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/67 9619 /proc/meminfo: memFree=1259056/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=247940 CPUtime=1301.78 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 61444 0 3 0 130112 66 0 0 25 0 1 0 283565298 253890560 61360 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 61985 61360 309 324 0 61055 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 247940 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.74 2/67 9619 /proc/meminfo: memFree=1254832/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=252192 CPUtime=1361.76 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 62507 0 3 0 136109 67 0 0 25 0 1 0 283565298 258244608 62423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63048 62423 309 324 0 62118 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 252192 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/67 9619 /proc/meminfo: memFree=1252656/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1421.75 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 142107 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 254124 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/67 9619 /proc/meminfo: memFree=1252656/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1481.73 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 148105 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 254124 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/67 9619 /proc/meminfo: memFree=1252784/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1541.71 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 154103 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 254124 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/67 9619 /proc/meminfo: memFree=1252784/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1601.69 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 160101 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 254124 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/67 9621 /proc/meminfo: memFree=1252848/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1661.67 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 166099 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 254124 [startup+1722.3 s] /proc/loadavg: 1.04 0.99 0.81 2/67 9621 /proc/meminfo: memFree=1252848/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1721.65 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 172097 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 254124 [startup+1782.3 s] /proc/loadavg: 1.11 1.02 0.83 2/67 9621 /proc/meminfo: memFree=1252912/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1781.63 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 178095 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 254124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.16 1.03 0.84 2/67 9621 /proc/meminfo: memFree=1252912/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1800.03 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 179935 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 254124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.16 1.03 0.84 2/67 9621 /proc/meminfo: memFree=1252912/2055920 swapFree=4182240/4192956 [pid=9420] ppid=9418 vsize=254124 CPUtime=1800.03 /proc/9420/stat : 9420 (bsolo3.0.17) R 9418 9420 9355 0 -1 4194304 63109 0 3 0 179935 68 0 0 25 0 1 0 283565298 260222976 62903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9420/statm: 63531 62903 309 324 0 62601 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 254124 Child status: 15 Real time (s): 1800.75 CPU time (s): 1800.09 CPU user time (s): 1799.36 CPU system time (s): 0.728889 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 254612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 0.728889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63113 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 3503 runsolver used 1.62175 second user time and 4.94025 second system time The end
Begin job on node54 on Sat May 5 10:45:08 UTC 2007 IDJOB= 456693 IDBENCH= 48291 IDSOLVER= 199 FILE ID= node54/456693-1178361908 PBS_JOBID= 5189177 Free space on /tmp= 66553 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_4_40.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/456693-1178361908/instance-456693-1178361908.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-456693-1178361908 -o ROOT/results/node54/solver-456693-1178361908 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/456693-1178361908/instance-456693-1178361908.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 476815bfad4ec3fb3f4fdbbbbf10b706 RANDOM SEED= 66765504 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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.234 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.234 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: 1504912 kB Buffers: 63888 kB Cached: 353620 kB SwapCached: 4568 kB Active: 167488 kB Inactive: 260800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1504912 kB SwapTotal: 4192956 kB SwapFree: 4182240 kB Dirty: 6856 kB Writeback: 0 kB Mapped: 15672 kB Slab: 108656 kB Committed_AS: 5347988 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66553 MiB End job on node54 on Sat May 5 11:15:11 UTC 2007