Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.16 | 1800.56 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb |
MD5SUM | e373f8acbb3a8da6f3b336b030bf2de6 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1800.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 13201 |
Total number of constraints | 38881 |
Number of constraints which are clauses | 38880 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 12960 |
Number of terms in the objective function | 81 |
Biggest coefficient in the objective function | 1208925819614629174706176 |
Number of bits for the biggest coefficient in the objective function | 81 |
Sum of the numbers in the objective function | 2417851639229258349412351 |
Number of bits of the sum of numbers in the objective function | 81 |
Biggest number in a constraint | 883423532389192164791648750371459257913741948437809479060803100646309888 |
Number of bits of the biggest number in a constraint | 240 |
Biggest sum of numbers in a constraint | 3533694129556768659166594778305965527968662855207593266623367657506383399 |
Number of bits of the biggest sum of numbers | 241 |
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.59/1.69 c Converting 38882 PB-constraints to clauses... 1.69/1.70 c -- Unit propagations: (none) 8.29/8.38 c -- Detecting intervals from adjacent constraints: # 8.29/8.39 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 8.39/8.46 c ---[ 0]---> Adder-cost: 19276 maxlim: 117143310857975919761233325426248982958702983469531 bits: 167/167 28.49/28.54 c ==================================[MINISAT+]================================== 28.49/28.54 c | Conflicts | Original | Learnt | Progress | 28.49/28.54 c | | Clauses Literals | Max Clauses Literals LPC | | 28.49/28.54 c ============================================================================== 28.49/28.54 c | 0 | 166234 551960 | 55411 0 0 nan | 0.000 % | 28.59/28.61 c | 100 | 166219 551911 | 60952 97 315 3.2 | 10.958 % | 28.59/28.64 c | 250 | 166129 551589 | 67047 238 4836 20.3 | 11.007 % | 28.98/29.01 c | 475 | 166129 551589 | 73752 463 6644 14.3 | 11.007 % | 28.98/29.07 c | 812 | 166129 551589 | 81127 800 24977 31.2 | 11.007 % | 29.08/29.20 c | 1320 | 166120 551560 | 89239 1307 47664 36.5 | 11.013 % | 29.38/29.41 c | 2079 | 166103 551501 | 98163 2064 74864 36.3 | 11.022 % | 29.78/29.83 c | 3219 | 166095 551475 | 107980 3203 136710 42.7 | 11.025 % | 30.08/30.17 c | 4927 | 166095 551475 | 118778 4911 206785 42.1 | 11.025 % | 31.08/31.14 c | 7489 | 166095 551475 | 130656 7473 329994 44.2 | 11.025 % | 31.98/32.03 c | 11333 | 166095 551475 | 143721 11317 514059 45.4 | 11.025 % | 33.58/33.68 c | 17100 | 166087 551449 | 158094 17083 837332 49.0 | 11.028 % | 37.58/37.66 c | 25750 | 166079 551423 | 173903 25732 1309222 50.9 | 11.032 % | 44.98/45.06 c | 38725 | 166047 551319 | 191293 38703 2335802 60.4 | 11.044 % | 55.18/55.21 c | 58186 | 166015 551215 | 210423 58160 3951791 67.9 | 11.056 % | 75.37/75.44 c | 87379 | 165991 551137 | 231465 87350 7485161 85.7 | 11.065 % | 128.96/129.04 c | 131168 | 165975 551085 | 254612 131137 10375875 79.1 | 11.071 % | 214.64/214.76 c | 196852 | 165943 550981 | 280073 196817 16442434 83.5 | 11.084 % | 376.70/376.87 c | 295378 | 165919 550903 | 308080 25743 1863042 72.4 | 11.093 % | 534.87/535.04 c | 443168 | 165848 550668 | 338888 173524 18900244 108.9 | 11.120 % | 1035.86/1036.11 c | 664852 | 165785 550463 | 372777 72034 9288471 128.9 | 11.145 % | 1800.09/1800.50 c 1800.09/1800.50 c *** TERMINATED *** 1800.09/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-350218-1176807722 -o ROOT/results/node52/solver-350218-1176807722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350218-1176807722/minisat+ /tmp/evaluation/350218-1176807722/instance-350218-1176807722.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 25827 /proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=1048 CPUtime=0 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 35617292 1073152 100 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 262 100 74 215 0 44 0 [startup+0.0277111 s] /proc/loadavg: 0.92 0.98 0.99 3/64 25827 /proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=1332 CPUtime=0.02 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 182 0 0 0 2 0 0 0 18 0 1 0 35617292 1363968 167 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 333 167 74 215 0 115 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1332 [startup+0.101715 s] /proc/loadavg: 0.92 0.98 0.99 3/64 25827 /proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=2064 CPUtime=0.09 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 373 0 0 0 9 0 0 0 18 0 1 0 35617292 2113536 358 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005920 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 516 358 74 215 0 298 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2064 [startup+0.301728 s] /proc/loadavg: 0.92 0.98 0.99 3/64 25827 /proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=4192 CPUtime=0.29 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 880 0 0 0 29 0 0 0 19 0 1 0 35617292 4292608 865 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 1048 865 74 215 0 830 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4192 [startup+0.701755 s] /proc/loadavg: 0.92 0.98 0.99 3/64 25827 /proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=8228 CPUtime=0.69 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 1874 0 0 0 68 1 0 0 23 0 1 0 35617292 8425472 1859 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 2057 1859 74 215 0 1839 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8228 [startup+1.50181 s] /proc/loadavg: 0.92 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1891260/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=16432 CPUtime=1.49 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 3984 0 0 0 147 2 0 0 25 0 1 0 35617292 16826368 3889 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006403 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 4108 3889 74 215 0 3890 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16432 [startup+3.10192 s] /proc/loadavg: 0.92 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1884732/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=17408 CPUtime=3.09 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 4304 0 0 0 307 2 0 0 25 0 1 0 35617292 17825792 4171 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812736 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 4352 4171 83 215 0 4134 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17408 [startup+6.30113 s] /proc/loadavg: 0.93 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1884540/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=17408 CPUtime=6.29 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 4304 0 0 0 627 2 0 0 25 0 1 0 35617292 17825792 4171 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012117 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 4352 4171 83 215 0 4134 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17408 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1847300/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=55100 CPUtime=12.69 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 13860 0 0 0 1259 10 0 0 25 0 1 0 35617292 56422400 13467 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 13775 13467 92 215 0 13557 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55100 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1847428/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=55100 CPUtime=25.48 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 13860 0 0 0 2538 10 0 0 25 0 1 0 35617292 56422400 13467 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808949 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 13775 13467 92 215 0 13557 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 55100 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1841732/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=60900 CPUtime=51.08 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 15510 0 0 0 5097 11 0 0 25 0 1 0 35617292 62361600 14973 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60900 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1831748/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=70968 CPUtime=102.27 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 18003 0 0 0 10213 14 0 0 25 0 1 0 35617292 72671232 17466 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587739 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 17742 17466 123 215 0 17524 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 70968 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1814212/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=88560 CPUtime=162.26 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 22402 0 0 0 16207 19 0 0 25 0 1 0 35617292 90685440 21865 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 22140 21865 123 215 0 21922 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 88560 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1795844/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=106704 CPUtime=222.24 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 26951 0 0 0 22200 24 0 0 25 0 1 0 35617292 109264896 26414 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 26676 26414 123 215 0 26458 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 106704 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25828 /proc/meminfo: memFree=1769412/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=133504 CPUtime=282.23 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 33610 0 0 0 28191 32 0 0 25 0 1 0 35617292 136708096 33073 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 33376 33073 123 215 0 33158 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 133504 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25830 /proc/meminfo: memFree=1758340/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=144240 CPUtime=342.21 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 36328 0 0 0 34186 35 0 0 25 0 1 0 35617292 147701760 35791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 36060 35791 123 215 0 35842 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 144240 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25830 /proc/meminfo: memFree=1753156/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=149372 CPUtime=402.19 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37604 0 0 0 40183 36 0 0 25 0 1 0 35617292 152956928 37067 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 37343 37067 123 215 0 37125 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 149372 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25830 /proc/meminfo: memFree=1753156/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=149372 CPUtime=462.18 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37604 0 0 0 46182 36 0 0 25 0 1 0 35617292 152956928 37067 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 37343 37067 123 215 0 37125 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 149372 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25830 /proc/meminfo: memFree=1753156/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=149372 CPUtime=522.17 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37604 0 0 0 52181 36 0 0 25 0 1 0 35617292 152956928 37067 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576171 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 37343 37067 123 215 0 37125 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 149372 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25830 /proc/meminfo: memFree=1753156/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=149372 CPUtime=582.15 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37605 0 0 0 58179 36 0 0 25 0 1 0 35617292 152956928 37068 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 37343 37068 123 215 0 37125 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 149372 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25830 /proc/meminfo: memFree=1753092/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=149372 CPUtime=642.14 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37605 0 0 0 64178 36 0 0 25 0 1 0 35617292 152956928 37068 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 37343 37068 123 215 0 37125 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 149372 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 25830 /proc/meminfo: memFree=1735108/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=167756 CPUtime=882.09 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 42090 0 0 0 88167 42 0 0 25 0 1 0 35617292 171782144 41553 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577636 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 41939 41553 123 215 0 41721 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 167756 [startup+942.302 s] /proc/loadavg: 1.05 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1729412/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=173516 CPUtime=942.07 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 43518 0 0 0 94164 43 0 0 25 0 1 0 35617292 177680384 42981 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 43379 42981 123 215 0 43161 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 173516 [startup+1002.3 s] /proc/loadavg: 1.07 1.01 1.00 2/65 25830 /proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=177812 CPUtime=1002.07 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 100162 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587739 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 44453 44058 123 215 0 44235 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 177812 [startup+1062.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 25830 /proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=177812 CPUtime=1062.05 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 106160 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 44453 44058 123 215 0 44235 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 177812 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=177812 CPUtime=1122.04 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 112159 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 44453 44058 123 215 0 44235 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 177812 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=177812 CPUtime=1182.03 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 118158 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 44453 44058 123 215 0 44235 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 177812 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=177812 CPUtime=1242.01 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 124156 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 44453 44058 123 215 0 44235 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 177812 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1721540/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=181228 CPUtime=1302.01 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 45463 0 0 0 130155 46 0 0 25 0 1 0 35617292 185577472 44926 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 45307 44926 123 215 0 45089 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 181228 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1709956/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=192968 CPUtime=1361.99 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 48376 0 0 0 136151 48 0 0 25 0 1 0 35617292 197599232 47839 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 48242 47839 123 215 0 48024 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 192968 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1700100/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=202668 CPUtime=1421.98 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 50802 0 0 0 142147 51 0 0 25 0 1 0 35617292 207532032 50265 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 50667 50265 123 215 0 50449 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 202668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1689668/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=213304 CPUtime=1481.96 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 53467 0 0 0 148142 54 0 0 25 0 1 0 35617292 218423296 52930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 53326 52930 123 215 0 53108 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 213304 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1670468/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=232176 CPUtime=1541.95 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 58192 0 0 0 154136 59 0 0 25 0 1 0 35617292 237748224 57655 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 58044 57655 123 215 0 57826 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 232176 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1659972/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=242836 CPUtime=1601.94 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 60839 0 0 0 160132 62 0 0 25 0 1 0 35617292 248664064 60302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 60709 60302 123 215 0 60491 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 242836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1637060/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=265740 CPUtime=1661.92 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 66555 0 0 0 166127 65 0 0 25 0 1 0 35617292 272117760 66018 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 66435 66018 123 215 0 66217 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 265740 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1611524/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=291348 CPUtime=1721.91 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 72961 0 0 0 172121 70 0 0 25 0 1 0 35617292 298340352 72424 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 72837 72424 123 215 0 72619 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 291348 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1591620/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=311008 CPUtime=1781.89 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 77888 0 0 0 178115 74 0 0 25 0 1 0 35617292 318472192 77351 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 77752 77351 123 215 0 77534 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 311008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1585604/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=316864 CPUtime=1800.09 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 79356 0 0 0 179934 75 0 0 25 0 1 0 35617292 324468736 78819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 79216 78819 123 215 0 78998 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 316864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25830 /proc/meminfo: memFree=1585604/2055920 swapFree=4179260/4192956 [pid=25827] ppid=25825 vsize=316864 CPUtime=1800.09 /proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 79356 0 0 0 179934 75 0 0 25 0 1 0 35617292 324468736 78819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25827/statm: 79216 78819 123 215 0 78998 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 316864 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.16 CPU user time (s): 1799.35 CPU system time (s): 0.809876 CPU usage (%): 99.9777 Max. virtual memory (cumulated for all children) (KiB): 316864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.35 system time used= 0.809876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79357 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= 220 involuntary context switches= 2484 runsolver used 1.17582 second user time and 3.82642 second system time The end
Begin job on node52 on Tue Apr 17 11:02:02 UTC 2007 IDJOB= 350218 IDBENCH= 3047 IDSOLVER= 156 FILE ID= node52/350218-1176807722 PBS_JOBID= 4586247 Free space on /tmp= 66377 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb COMMAND LINE= /tmp/evaluation/350218-1176807722/minisat+ /tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node52/convwatcher-350218-1176807722 -o ROOT/results/node52/conversion-350218-1176807722 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-350218-1176807722 -o ROOT/results/node52/solver-350218-1176807722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350218-1176807722/minisat+ /tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= e373f8acbb3a8da6f3b336b030bf2de6 RANDOM SEED= 448643499 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1901788 kB Buffers: 16844 kB Cached: 83404 kB SwapCached: 7940 kB Active: 43140 kB Inactive: 71180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1901788 kB SwapTotal: 4192956 kB SwapFree: 4179260 kB Dirty: 3980 kB Writeback: 0 kB Mapped: 15848 kB Slab: 25760 kB Committed_AS: 1513716 kB PageTables: 1484 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= 66377 MiB End job on node52 on Tue Apr 17 11:32:05 UTC 2007