Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.1 | 1800.92 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00200.sat05-1329.reshuffled-07.opb |
MD5SUM | 6932e9c37c423f9afe5ebc8b0b821733 |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 725 |
Total number of constraints | 22684 |
Number of constraints which are clauses | 22684 |
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 | 11 |
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 | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 20 |
Number of bits of the biggest sum of numbers | 5 |
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 Parsing PB file... 1.79/1.83 c Converting 22682 PB-constraints to clauses... 1.79/1.84 c -- Unit propagations: (none) 1.79/1.84 c -- Detecting intervals from adjacent constraints: (none) 1.79/1.84 c -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 1.89/1.92 c ==================================[MINISAT+]================================== 1.89/1.92 c | Conflicts | Original | Learnt | Progress | 1.89/1.92 c | | Clauses Literals | Max Clauses Literals LPC | | 1.89/1.92 c ============================================================================== 1.89/1.92 c | 0 | 22682 193944 | 7560 0 0 nan | 0.000 % | 1.89/1.93 c | 101 | 22666 193896 | 8316 95 1054 11.1 | 0.414 % | 1.89/1.93 c | 251 | 22666 193896 | 9147 245 3576 14.6 | 0.414 % | 1.89/1.94 c | 476 | 22666 193896 | 10062 470 5981 12.7 | 0.414 % | 1.89/1.95 c | 813 | 22666 193896 | 11068 807 10949 13.6 | 0.414 % | 1.89/1.96 c | 1319 | 22666 193896 | 12175 1313 16150 12.3 | 0.414 % | 1.89/1.98 c | 2078 | 22666 193896 | 13393 2072 29156 14.1 | 0.414 % | 1.99/2.02 c | 3217 | 22666 193896 | 14732 3211 49176 15.3 | 0.414 % | 1.99/2.06 c | 4925 | 22666 193896 | 16205 4919 71722 14.6 | 0.414 % | 2.10/2.15 c | 7487 | 22666 193896 | 17826 7481 140264 18.7 | 0.414 % | 2.29/2.33 c | 11331 | 22666 193896 | 19608 11325 256417 22.6 | 0.414 % | 2.39/2.49 c | 17097 | 22666 193896 | 21569 17091 321273 18.8 | 0.414 % | 2.89/2.93 c | 25746 | 22666 193896 | 23726 14860 392459 26.4 | 0.414 % | 3.59/3.63 c | 38720 | 21399 186431 | 26099 13812 546859 39.6 | 0.828 % | 4.69/4.70 c | 58181 | 21399 186431 | 28709 19217 686062 35.7 | 0.828 % | 6.49/6.53 c | 87375 | 21399 186431 | 31579 16251 862073 53.0 | 0.828 % | 8.88/8.94 c | 131164 | 21399 186431 | 34737 22022 348718 15.8 | 0.828 % | 14.18/14.26 c | 196848 | 21399 186431 | 38211 21444 1033443 48.2 | 0.828 % | 22.67/22.70 c | 295375 | 21395 186423 | 42032 20959 1156569 55.2 | 0.966 % | 34.46/34.55 c | 443164 | 21395 186423 | 46236 30583 802759 26.2 | 0.966 % | 58.84/58.99 c | 664847 | 21395 186423 | 50859 29503 1648273 55.9 | 0.966 % | 101.22/101.37 c | 997372 | 21268 185724 | 55945 30893 1538096 49.8 | 1.518 % | 176.08/176.25 c | 1496161 | 21268 185724 | 61540 33471 2150368 64.2 | 1.517 % | 296.29/296.52 c | 2244343 | 21268 185724 | 67694 33822 1939674 57.3 | 1.517 % | 507.55/507.91 c | 3366617 | 21268 185724 | 74463 17595 996341 56.6 | 1.517 % | 774.21/774.77 c | 5050029 | 21268 185724 | 81910 55009 2643884 48.1 | 1.517 % | 1285.65/1286.32 c | 7575145 | 21268 185724 | 90101 75507 4004111 53.0 | 1.517 % | 1800.08/1800.90 c 1800.08/1800.90 c *** TERMINATED *** 1800.08/1800.90 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/420419-1177424021/instance-420419-1177424021.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-420419-1177424021 -o ROOT/results/node25/solver-420419-1177424021 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420419-1177424021/minisat+ /tmp/evaluation/420419-1177424021/instance-420419-1177424021.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.92 0.98 0.99 3/64 7118 /proc/meminfo: memFree=1934160/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=1048 CPUtime=0 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 190319180 1073152 102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013418 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 262 105 74 215 0 44 0 [startup+0.0830399 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7118 /proc/meminfo: memFree=1934160/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=1776 CPUtime=0.07 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 285 0 0 0 7 0 0 0 18 0 1 0 190319180 1818624 272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 444 272 74 215 0 226 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1776 [startup+0.101043 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7118 /proc/meminfo: memFree=1934160/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=1936 CPUtime=0.09 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 323 0 0 0 9 0 0 0 18 0 1 0 190319180 1982464 309 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 484 309 74 215 0 266 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1936 [startup+0.301075 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7118 /proc/meminfo: memFree=1934160/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=3452 CPUtime=0.29 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 722 0 0 0 29 0 0 0 20 0 1 0 190319180 3534848 708 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 863 708 74 215 0 645 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3452 [startup+0.701145 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7118 /proc/meminfo: memFree=1934160/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=6668 CPUtime=0.69 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 1518 0 0 0 68 1 0 0 24 0 1 0 190319180 6828032 1504 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 1667 1504 74 215 0 1449 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6668 [startup+1.50128 s] /proc/loadavg: 0.92 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1926024/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=13124 CPUtime=1.49 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 3108 0 0 0 147 2 0 0 25 0 1 0 190319180 13438976 3094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 3281 3094 75 215 0 3063 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13124 [startup+3.10155 s] /proc/loadavg: 0.92 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1917576/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=17480 CPUtime=3.09 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 4235 0 0 0 304 5 0 0 25 0 1 0 190319180 17899520 4221 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 4370 4221 103 215 0 4152 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17480 [startup+6.3011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1917256/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=17480 CPUtime=6.29 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 4242 0 0 0 624 5 0 0 25 0 1 0 190319180 17899520 4228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 4370 4228 103 215 0 4152 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17480 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1915408/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=20184 CPUtime=12.67 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 4888 0 0 0 1262 5 0 0 25 0 1 0 190319180 20668416 4874 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 5046 4874 103 215 0 4828 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 20184 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1912208/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=23064 CPUtime=25.46 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 5590 0 0 0 2541 5 0 0 25 0 1 0 190319180 23617536 5576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 5766 5576 103 215 0 5548 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 23064 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1908368/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=26912 CPUtime=51.05 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 6542 0 0 0 5099 6 0 0 25 0 1 0 190319180 27557888 6528 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578281 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 6728 6528 103 215 0 6510 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 26912 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1904080/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=31180 CPUtime=102.22 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 7583 0 0 0 10215 7 0 0 25 0 1 0 190319180 31928320 7569 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581463 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 7795 7569 103 215 0 7577 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 31180 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1900496/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=34844 CPUtime=162.18 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 8485 0 0 0 16211 7 0 0 25 0 1 0 190319180 35680256 8471 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 8711 8471 103 215 0 8493 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 34844 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1898704/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=36832 CPUtime=222.14 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 8924 0 0 0 22206 8 0 0 25 0 1 0 190319180 37715968 8910 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 9208 8910 103 215 0 8990 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 36832 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1897104/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=38372 CPUtime=282.1 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 9312 0 0 0 28202 8 0 0 25 0 1 0 190319180 39292928 9298 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 9593 9298 103 215 0 9375 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 38372 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1891344/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=44152 CPUtime=342.06 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 10745 0 0 0 34197 9 0 0 25 0 1 0 190319180 45211648 10731 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 11038 10731 103 215 0 10820 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 44152 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1890704/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=44908 CPUtime=402.03 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 10901 0 0 0 40193 10 0 0 25 0 1 0 190319180 45985792 10887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 11227 10887 103 215 0 11009 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 44908 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1890704/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=44908 CPUtime=461.98 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 10903 0 0 0 46188 10 0 0 25 0 1 0 190319180 45985792 10889 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 11227 10889 103 215 0 11009 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 44908 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1890640/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=44908 CPUtime=521.95 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 10910 0 0 0 52185 10 0 0 25 0 1 0 190319180 45985792 10896 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581500 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 11227 10896 103 215 0 11009 0 Current children cumulated CPU time (s) 521.95 Current children cumulated vsize (KiB) 44908 [startup+582.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1890576/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=44908 CPUtime=581.91 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 10917 0 0 0 58181 10 0 0 25 0 1 0 190319180 45985792 10903 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007309 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 11227 10903 103 215 0 11009 0 Current children cumulated CPU time (s) 581.91 Current children cumulated vsize (KiB) 44908 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1890576/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=44908 CPUtime=641.87 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 10917 0 0 0 64177 10 0 0 25 0 1 0 190319180 45985792 10903 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577420 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 11227 10903 103 215 0 11009 0 Current children cumulated CPU time (s) 641.87 Current children cumulated vsize (KiB) 44908 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1883472/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=52304 CPUtime=881.78 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 12677 0 0 0 88165 13 0 0 25 0 1 0 190319180 53559296 12663 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 13076 12663 103 215 0 12858 0 Current children cumulated CPU time (s) 881.78 Current children cumulated vsize (KiB) 52304 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1883408/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=52304 CPUtime=941.76 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 12681 0 0 0 94163 13 0 0 25 0 1 0 190319180 53559296 12667 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 13076 12667 103 215 0 12858 0 Current children cumulated CPU time (s) 941.76 Current children cumulated vsize (KiB) 52304 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1883152/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=52608 CPUtime=1001.74 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 12757 0 0 0 100161 13 0 0 25 0 1 0 190319180 53870592 12743 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580475 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 13152 12743 103 215 0 12934 0 Current children cumulated CPU time (s) 1001.74 Current children cumulated vsize (KiB) 52608 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1882640/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=53148 CPUtime=1061.72 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 12881 0 0 0 106159 13 0 0 25 0 1 0 190319180 54423552 12867 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 13287 12867 103 215 0 13069 0 Current children cumulated CPU time (s) 1061.72 Current children cumulated vsize (KiB) 53148 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1881808/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=53940 CPUtime=1121.7 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 13075 0 0 0 112157 13 0 0 25 0 1 0 190319180 55234560 13061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 13485 13061 103 215 0 13267 0 Current children cumulated CPU time (s) 1121.7 Current children cumulated vsize (KiB) 53940 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1881744/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=53940 CPUtime=1181.68 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 13086 0 0 0 118155 13 0 0 25 0 1 0 190319180 55234560 13072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 13485 13072 103 215 0 13267 0 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (KiB) 53940 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1881232/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=54596 CPUtime=1241.66 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 13211 0 0 0 124153 13 0 0 25 0 1 0 190319180 55906304 13197 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 13649 13197 103 215 0 13431 0 Current children cumulated CPU time (s) 1241.66 Current children cumulated vsize (KiB) 54596 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1880592/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=55136 CPUtime=1301.65 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 13350 0 0 0 130151 14 0 0 25 0 1 0 190319180 56459264 13336 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587739 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 13784 13336 103 215 0 13566 0 Current children cumulated CPU time (s) 1301.65 Current children cumulated vsize (KiB) 55136 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7119 /proc/meminfo: memFree=1879504/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=56400 CPUtime=1361.62 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 13638 0 0 0 136148 14 0 0 25 0 1 0 190319180 57753600 13624 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 14100 13624 103 215 0 13882 0 Current children cumulated CPU time (s) 1361.62 Current children cumulated vsize (KiB) 56400 [startup+1422.31 s] /proc/loadavg: 1.06 1.00 1.00 2/65 7119 /proc/meminfo: memFree=1877456/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=58440 CPUtime=1421.61 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14152 0 0 0 142146 15 0 0 25 0 1 0 190319180 59842560 14138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 14610 14138 103 215 0 14392 0 Current children cumulated CPU time (s) 1421.61 Current children cumulated vsize (KiB) 58440 [startup+1482.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 7119 /proc/meminfo: memFree=1877008/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=58912 CPUtime=1481.58 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14241 0 0 0 148143 15 0 0 25 0 1 0 190319180 60325888 14227 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 14728 14227 103 215 0 14510 0 Current children cumulated CPU time (s) 1481.58 Current children cumulated vsize (KiB) 58912 [startup+1542.3 s] /proc/loadavg: 1.10 1.04 1.01 2/65 7121 /proc/meminfo: memFree=1876368/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=59568 CPUtime=1541.56 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14374 0 0 0 154141 15 0 0 25 0 1 0 190319180 60997632 14360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 14892 14360 103 215 0 14674 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 59568 [startup+1602.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 7121 /proc/meminfo: memFree=1876304/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=59568 CPUtime=1601.54 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14375 0 0 0 160139 15 0 0 25 0 1 0 190319180 60997632 14361 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 14892 14361 103 215 0 14674 0 Current children cumulated CPU time (s) 1601.54 Current children cumulated vsize (KiB) 59568 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7121 /proc/meminfo: memFree=1875792/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=60276 CPUtime=1661.53 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14540 0 0 0 166137 16 0 0 25 0 1 0 190319180 61722624 14526 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 15069 14526 103 215 0 14851 0 Current children cumulated CPU time (s) 1661.53 Current children cumulated vsize (KiB) 60276 [startup+1722.3 s] /proc/loadavg: 1.08 1.03 1.01 2/65 7121 /proc/meminfo: memFree=1875216/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=60912 CPUtime=1721.51 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14688 0 0 0 172135 16 0 0 25 0 1 0 190319180 62373888 14674 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 15228 14674 103 215 0 15010 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 60912 [startup+1782.3 s] /proc/loadavg: 1.03 1.02 1.00 2/65 7121 /proc/meminfo: memFree=1874832/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=61240 CPUtime=1781.49 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14755 0 0 0 178133 16 0 0 25 0 1 0 190319180 62709760 14741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 15310 14741 103 215 0 15092 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 61240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7121 /proc/meminfo: memFree=1874704/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=61404 CPUtime=1800.08 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14788 0 0 0 179992 16 0 0 25 0 1 0 190319180 62877696 14774 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 15351 14774 103 215 0 15133 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 61404 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7121 /proc/meminfo: memFree=1874704/2055920 swapFree=4182892/4192956 [pid=7118] ppid=7116 vsize=61404 CPUtime=1800.08 /proc/7118/stat : 7118 (minisat+) R 7116 7118 5534 0 -1 4194304 14788 0 0 0 179992 16 0 0 25 0 1 0 190319180 62877696 14774 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7118/statm: 15351 14774 103 215 0 15133 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 61404 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.1 CPU user time (s): 1799.93 CPU system time (s): 0.173973 CPU usage (%): 99.9547 Max. virtual memory (cumulated for all children) (KiB): 61404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.173973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14789 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= 259 involuntary context switches= 4384 runsolver used 1.9807 second user time and 4.5713 second system time The end
Begin job on node25 on Tue Apr 24 14:13:41 UTC 2007 IDJOB= 420419 IDBENCH= 47844 IDSOLVER= 156 FILE ID= node25/420419-1177424021 PBS_JOBID= 4675658 Free space on /tmp= 66365 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00200.sat05-1329.reshuffled-07.opb COMMAND LINE= /tmp/evaluation/420419-1177424021/minisat+ /tmp/evaluation/420419-1177424021/instance-420419-1177424021.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-420419-1177424021 -o ROOT/results/node25/conversion-420419-1177424021 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420419-1177424021/instance-420419-1177424021.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-420419-1177424021 -o ROOT/results/node25/solver-420419-1177424021 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420419-1177424021/minisat+ /tmp/evaluation/420419-1177424021/instance-420419-1177424021.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 6932e9c37c423f9afe5ebc8b0b821733 RANDOM SEED= 262349208 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1934568 kB Buffers: 7484 kB Cached: 67420 kB SwapCached: 3636 kB Active: 37756 kB Inactive: 47236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1934568 kB SwapTotal: 4192956 kB SwapFree: 4182892 kB Dirty: 3988 kB Writeback: 0 kB Mapped: 16052 kB Slab: 22404 kB Committed_AS: 4173524 kB PageTables: 1476 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= 66365 MiB End job on node25 on Tue Apr 24 14:43:44 UTC 2007