Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.02 | 1800.91 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_80.opb |
MD5SUM | fa22dd251e76880c1495cc1725a19f60 |
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 | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74916 |
Sum of products size (including duplicates) | 149832 |
Number of different products | 37458 |
Sum of products size | 74916 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/458013-1178376188/instance-458013-1178376188.opb 0.00/0.00 c File size is 986482 bytes. 0.69/0.71 c Highest Coefficient sum: 1000 0.69/0.71 c Parsing was ok!! 0.69/0.71 c Total parsing time: 0.71 s 0.79/0.84 c Var: 75916 Constr: 151335 75416/1003/74916 Lit: 527912 Watch. Lit: 451579 0.79/0.84 c Obj. Vars: 0 (0 % of total variables) 179.82/179.94 c Pre-processing Time: 179.876 s 179.82/179.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.82/179.95 c 0 75916 151335 527912 3 451579 500000 0 0 179.88 179.82/179.95 c Switching off LPR mode. 1800.02/1800.80 c 351 75916 151686 788987 5 452281 550001 351 1 184.34 1800.02/1800.80 c 838 75916 152173 1122944 7 453255 605002 838 4 195.91 1800.02/1800.80 c 1255 75916 152590 1419847 9 454089 665503 1255 6 202.37 1800.02/1800.80 c 1597 75916 152932 1722865 11 454773 732054 1597 7 203.46 1800.02/1800.80 c 2108 75916 153443 2187690 14 455795 805260 2108 10 205.24 1800.02/1800.80 c 2872 75916 154207 2866769 18 457323 885787 2872 13 209.21 1800.02/1800.80 c 4041 75916 155376 3763981 24 459661 974366 4041 18 217.17 1800.02/1800.80 c 5785 75916 157120 5193740 33 463149 500000 5785 25 228.53 1800.02/1800.80 c 8376 75916 159711 7428043 46 468331 550001 8376 32 254.44 1800.02/1800.80 c 12267 75916 163602 10808736 66 476113 605002 12267 43 284.39 1800.02/1800.80 c 18099 75916 169434 15614155 92 487777 665503 18099 48 371.66 1800.02/1800.80 c 26838 75916 178173 22721241 127 505255 732054 26838 47 565.70 1800.02/1800.80 c 39950 75916 191285 33929545 177 531479 805260 39950 38 1041.36 1800.02/1800.80 c Caught signal: 15 1800.02/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.80 c 13 50568 8805 232547 201903 43055196 50568 28 1800.03 1800.02/1800.80 s UNKNOWN 1800.02/1800.80 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-458013-1178376188 -o ROOT/results/node20/solver-458013-1178376188 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/458013-1178376188/instance-458013-1178376188.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.95 0.91 3/77 1924 /proc/meminfo: memFree=1767544/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=12700 CPUtime=0 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 285536142 13004800 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 3175 333 279 324 0 2004 0 [startup+0.0778469 s] /proc/loadavg: 0.91 0.95 0.91 3/77 1924 /proc/meminfo: memFree=1767544/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=7500 CPUtime=0.06 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 1032 0 0 0 6 0 0 0 18 0 1 0 285536142 7680000 1002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 1875 1003 315 324 0 704 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7500 [startup+0.101851 s] /proc/loadavg: 0.91 0.95 0.91 3/77 1924 /proc/meminfo: memFree=1767544/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=8356 CPUtime=0.08 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 1266 0 0 0 8 0 0 0 18 0 1 0 285536142 8556544 1236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 2089 1237 323 324 0 918 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8356 [startup+0.301891 s] /proc/loadavg: 0.91 0.95 0.91 3/77 1924 /proc/meminfo: memFree=1767544/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=14804 CPUtime=0.29 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 2996 0 0 0 28 1 0 0 19 0 1 0 285536142 15159296 2926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 3701 2926 390 324 0 2530 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14804 [startup+0.701972 s] /proc/loadavg: 0.91 0.95 0.91 3/77 1924 /proc/meminfo: memFree=1767544/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=27544 CPUtime=0.69 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 6423 0 0 0 66 3 0 0 22 0 1 0 285536142 28205056 6225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 6886 6225 522 324 0 5715 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27544 [startup+1.50213 s] /proc/loadavg: 0.91 0.95 0.91 2/78 1925 /proc/meminfo: memFree=1727856/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=44980 CPUtime=1.49 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 10793 0 0 0 145 4 0 0 25 0 1 0 285536142 46059520 10354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 11245 10354 305 324 0 10315 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44980 [startup+3.10145 s] /proc/loadavg: 0.91 0.95 0.91 2/78 1925 /proc/meminfo: memFree=1727024/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=44980 CPUtime=3.09 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 10793 0 0 0 305 4 0 0 25 0 1 0 285536142 46059520 10354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 11245 10354 305 324 0 10315 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44980 [startup+6.30109 s] /proc/loadavg: 0.92 0.95 0.91 2/78 1925 /proc/meminfo: memFree=1726776/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=44980 CPUtime=6.29 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 10797 0 0 0 624 5 0 0 25 0 1 0 285536142 46059520 10358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8053669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 11245 10358 305 324 0 10315 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44980 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.91 2/78 1925 /proc/meminfo: memFree=1726840/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=44980 CPUtime=12.69 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 10806 0 0 0 1264 5 0 0 25 0 1 0 285536142 46059520 10367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 11245 10367 305 324 0 10315 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44980 [startup+25.5019 s] /proc/loadavg: 0.94 0.96 0.91 2/78 1925 /proc/meminfo: memFree=1726840/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=45112 CPUtime=25.48 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 10809 0 0 0 2543 5 0 0 25 0 1 0 285536142 46194688 10370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048709 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 11278 10370 305 324 0 10348 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45112 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.91 2/78 1925 /proc/meminfo: memFree=1726840/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=45112 CPUtime=51.07 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 10813 0 0 0 5101 6 0 0 25 0 1 0 285536142 46194688 10374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 11278 10374 305 324 0 10348 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45112 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/78 1925 /proc/meminfo: memFree=1726904/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=45112 CPUtime=102.26 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 10813 0 0 0 10219 7 0 0 25 0 1 0 285536142 46194688 10374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052823 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 11278 10374 305 324 0 10348 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45112 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1925 /proc/meminfo: memFree=1726904/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=45112 CPUtime=162.23 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 10816 0 0 0 16215 8 0 0 25 0 1 0 285536142 46194688 10377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 11278 10377 305 324 0 10348 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 45112 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1925 /proc/meminfo: memFree=1675064/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=96708 CPUtime=222.21 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 24017 0 0 0 22204 17 0 0 25 0 1 0 285536142 99028992 23429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 24177 23429 309 324 0 23247 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 96708 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 3/78 1925 /proc/meminfo: memFree=1597496/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=174308 CPUtime=282.18 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 43432 0 0 0 28190 28 0 0 25 0 1 0 285536142 178491392 42844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 43577 42844 309 324 0 42647 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 174308 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1925 /proc/meminfo: memFree=1553656/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=217656 CPUtime=342.16 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 54252 0 0 0 34181 35 0 0 25 0 1 0 285536142 222879744 53664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 54414 53664 309 324 0 53484 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 217656 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 3/78 1925 /proc/meminfo: memFree=1522424/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=249144 CPUtime=402.14 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 62139 0 0 0 40174 40 0 0 25 0 1 0 285536142 255123456 61551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 62286 61551 309 324 0 61356 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 249144 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1925 /proc/meminfo: memFree=1492536/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=278884 CPUtime=462.12 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 69579 0 0 0 46167 45 0 0 25 0 1 0 285536142 285577216 68991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 69721 68993 309 324 0 68791 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 278884 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1925 /proc/meminfo: memFree=1458872/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=312552 CPUtime=522.09 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 77998 0 0 0 52159 50 0 0 25 0 1 0 285536142 320053248 77410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 78138 77410 309 324 0 77208 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 312552 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1925 /proc/meminfo: memFree=1425080/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=346408 CPUtime=582.07 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 86460 0 0 0 58152 55 0 0 25 0 1 0 285536142 354721792 85872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 86602 85872 309 324 0 85672 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 346408 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 1925 /proc/meminfo: memFree=1392440/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=378364 CPUtime=642.05 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 94446 0 0 0 64146 59 0 0 25 0 1 0 285536142 387444736 93858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 94591 93858 309 324 0 93661 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 378364 ################ # More data... # ################ [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2142 /proc/meminfo: memFree=1260984/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=509624 CPUtime=1181.75 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 127250 0 0 0 118093 82 0 0 25 0 1 0 285536142 521854976 126662 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 127406 126662 309 324 0 126476 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 509624 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2142 /proc/meminfo: memFree=1252280/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=518200 CPUtime=1241.73 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 129400 0 0 0 124088 85 0 0 25 0 1 0 285536142 530636800 128812 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 129550 128812 309 324 0 128620 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 518200 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2142 /proc/meminfo: memFree=1242744/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=527688 CPUtime=1301.71 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 131772 0 0 0 130085 86 0 0 25 0 1 0 285536142 540352512 131184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 131922 131184 309 324 0 130992 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 527688 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2142 /proc/meminfo: memFree=1232760/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=537720 CPUtime=1361.69 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 134269 0 0 0 136081 88 0 0 25 0 1 0 285536142 550625280 133681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 134430 133681 309 324 0 133500 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 537720 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2142 /proc/meminfo: memFree=1228344/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=542024 CPUtime=1421.67 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 135367 0 0 0 142078 89 0 0 25 0 1 0 285536142 555032576 134779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 135506 134779 309 324 0 134576 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 542024 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2142 /proc/meminfo: memFree=1220344/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=550092 CPUtime=1481.65 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 137366 0 0 0 148073 92 0 0 25 0 1 0 285536142 563294208 136778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 137523 136778 309 324 0 136593 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 550092 [startup+1542.3 s] /proc/loadavg: 1.05 0.99 0.91 2/78 2142 /proc/meminfo: memFree=1209912/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=560504 CPUtime=1541.61 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 139978 0 0 0 154068 93 0 0 25 0 1 0 285536142 573956096 139390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 140126 139390 309 324 0 139196 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 560504 [startup+1602.3 s] /proc/loadavg: 1.06 1.00 0.92 2/78 2142 /proc/meminfo: memFree=1202616/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=567876 CPUtime=1601.6 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 141818 0 0 0 160065 95 0 0 25 0 1 0 285536142 581505024 141230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 141969 141230 309 324 0 141039 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 567876 [startup+1662.3 s] /proc/loadavg: 1.07 1.01 0.93 2/78 2142 /proc/meminfo: memFree=1194104/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=576320 CPUtime=1661.57 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 143941 0 0 0 166061 96 0 0 25 0 1 0 285536142 590151680 143353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 144080 143353 309 324 0 143150 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 576320 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 0.93 2/78 2142 /proc/meminfo: memFree=1186360/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=584248 CPUtime=1721.55 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 145897 0 0 0 172057 98 0 0 25 0 1 0 285536142 598269952 145309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 146062 145309 309 324 0 145132 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 584248 [startup+1782.3 s] /proc/loadavg: 1.06 1.03 0.94 2/78 2142 /proc/meminfo: memFree=1181304/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=589052 CPUtime=1781.53 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 147109 0 0 0 178054 99 0 0 25 0 1 0 285536142 603189248 146521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 147263 146521 309 324 0 146333 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 589052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.18 1.06 0.95 2/78 2142 /proc/meminfo: memFree=1178360/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=592004 CPUtime=1800.02 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 147838 0 0 0 179903 99 0 0 25 0 1 0 285536142 606212096 147250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 148001 147250 309 324 0 147071 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 592004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.8 s] /proc/loadavg: 1.18 1.06 0.95 2/78 2142 /proc/meminfo: memFree=1178360/2055920 swapFree=4154952/4192956 [pid=1924] ppid=1921 vsize=592004 CPUtime=1800.02 /proc/1924/stat : 1924 (bsolo3.0.17) R 1921 1924 1733 0 -1 4194304 147838 0 0 0 179903 99 0 0 25 0 1 0 285536142 606212096 147250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1924/statm: 148001 147250 309 324 0 147071 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 592004 # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.02 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1800.02 s) to the 'lost time'. [startup+1800.91 s] /proc/loadavg: 1.18 1.06 0.95 2/78 2142 /proc/meminfo: memFree=1178360/2055920 swapFree=4154952/4192956 [pid=1924] ppid=0 vsize=0 CPUtime=0 /proc/1924/stat : 1924 (bsolo3.0.17) X 0 -1 -1 0 -1 4194316 0 0 0 0 0 0 0 0 23 0 0 0 285536142 0 0 18446744073709551615 0 0 0 0 0 0 16384 0 0 18446744071563351923 0 0 17 1 0 0 /proc/1924/statm: -- couldn't open statm file --Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.18 1.06 0.95 2/78 2142 /proc/meminfo: memFree=1178360/2055920 swapFree=4154952/4192956 [pid=1924] ppid=0 vsize=0 CPUtime=0 /proc/1924/stat : 1924 (bsolo3.0.17) X 0 -1 -1 0 -1 4194316 0 0 0 0 0 0 0 0 23 0 0 0 285536142 0 0 18446744073709551615 0 0 0 0 0 0 16384 0 0 18446744071563351923 0 0 17 1 0 0 /proc/1924/statm: -- couldn't open statm file --Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 15 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1924 and gives # childrusage.ru_utime.tv_sec=1799 # childrusage.ru_utime.tv_usec=38504 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=95833 # CPU time returned by wait4() is 1800.13 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.02 # lost CPU user time (s): 1799.03 # lost CPU system time (s): 0.99 Real time (s): 1800.91 CPU time (s): 1800.02 CPU user time (s): 1799.03 CPU system time (s): 0.99 CPU usage (%): 99.9508 Max. virtual memory (cumulated for all children) (KiB): 592004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.04 system time used= 1.09583 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147842 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= 2366 runsolver used 1.42178 second user time and 4.03939 second system time The end
Begin job on node20 on Sat May 5 14:43:08 UTC 2007 IDJOB= 458013 IDBENCH= 48379 IDSOLVER= 199 FILE ID= node20/458013-1178376188 PBS_JOBID= 5188992 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_4_80.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/458013-1178376188/instance-458013-1178376188.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-458013-1178376188 -o ROOT/results/node20/solver-458013-1178376188 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/458013-1178376188/instance-458013-1178376188.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fa22dd251e76880c1495cc1725a19f60 RANDOM SEED= 801800476 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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: 1767888 kB Buffers: 36348 kB Cached: 150820 kB SwapCached: 16628 kB Active: 131428 kB Inactive: 79564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1767888 kB SwapTotal: 4192956 kB SwapFree: 4154952 kB Dirty: 7644 kB Writeback: 0 kB Mapped: 30748 kB Slab: 62536 kB Committed_AS: 6712392 kB PageTables: 1748 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= 66557 MiB End job on node20 on Sat May 5 15:13:11 UTC 2007