Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.12 | 1801.2 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb |
MD5SUM | 0c8a7426d22e304535ce287c1bd24030 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 3.9314 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
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.49/1.57 c Converting 38882 PB-constraints to clauses... 1.49/1.57 c -- Unit propagations: (none) 7.69/7.71 c -- Detecting intervals from adjacent constraints: # 7.69/7.72 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 7.69/7.79 c ---[ 0]---> Adder-cost: 19276 maxlim: 117143310857975919761233325426248982958702983469531 bits: 167/167 26.48/26.56 c ==================================[MINISAT+]================================== 26.48/26.56 c | Conflicts | Original | Learnt | Progress | 26.48/26.56 c | | Clauses Literals | Max Clauses Literals LPC | | 26.48/26.56 c ============================================================================== 26.48/26.56 c | 0 | 166234 551960 | 55411 0 0 nan | 0.000 % | 26.58/26.63 c | 100 | 166219 551911 | 60952 97 362 3.7 | 10.958 % | 26.58/26.69 c | 250 | 166129 551589 | 67047 238 6579 27.6 | 11.007 % | 26.98/27.02 c | 476 | 166129 551589 | 73752 464 12392 26.7 | 11.007 % | 27.28/27.32 c | 813 | 166129 551589 | 81127 801 53585 66.9 | 11.007 % | 28.18/28.21 c | 1319 | 166129 551589 | 89239 1307 88801 67.9 | 11.007 % | 29.28/29.37 c | 2081 | 166121 551563 | 98163 2068 224021 108.3 | 11.010 % | 29.98/30.07 c | 3220 | 166121 551563 | 107980 3207 332655 103.7 | 11.010 % | 32.38/32.44 c | 4928 | 166095 551475 | 118778 4913 412136 83.9 | 11.025 % | 35.67/35.72 c | 7491 | 166079 551423 | 130656 7474 623538 83.4 | 11.031 % | 42.07/42.14 c | 11336 | 166039 551293 | 143721 11314 1617834 143.0 | 11.047 % | 48.86/48.98 c | 17103 | 166023 551241 | 158094 17079 2079544 121.8 | 11.053 % | 56.46/56.57 c | 25754 | 166015 551215 | 173903 25729 3323310 129.2 | 11.056 % | 75.75/75.88 c | 38731 | 166007 551189 | 191293 38705 5342322 138.0 | 11.059 % | 103.74/103.87 c | 58194 | 165847 550669 | 210423 58148 8298614 142.7 | 11.120 % | 156.11/156.24 c | 87387 | 165764 550386 | 231465 87325 16258377 186.2 | 11.157 % | 247.65/247.87 c | 131176 | 165747 550331 | 254612 131112 31308357 238.8 | 11.166 % | 360.78/361.03 c | 196862 | 165731 550275 | 280073 196794 43774764 222.4 | 11.172 % | 610.53/610.91 c | 295388 | 165647 549987 | 308080 295310 71833448 243.2 | 11.215 % | 1201.08/1201.85 c | 443179 | 165561 549663 | 338888 135209 84828768 627.4 | 11.258 % | 1800.01/1801.10 c 1800.01/1801.10 c *** TERMINATED *** 1800.01/1801.10 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/366923-1177068075/instance-366923-1177068075.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-366923-1177068075 -o ROOT/results/node4/solver-366923-1177068075 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366923-1177068075/minisat+ /tmp/evaluation/366923-1177068075/instance-366923-1177068075.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.88 1.00 1.01 3/77 32445 /proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=1048 CPUtime=0 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 118 0 0 0 0 0 0 0 18 0 1 0 182845271 1073152 103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 262 103 74 215 0 44 0 [startup+0.038189 s] /proc/loadavg: 0.88 1.00 1.01 3/77 32445 /proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=1464 CPUtime=0.03 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 217 0 0 0 3 0 0 0 18 0 1 0 182845271 1499136 202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 366 202 74 215 0 148 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1464 [startup+0.101194 s] /proc/loadavg: 0.88 1.00 1.01 3/77 32445 /proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=2200 CPUtime=0.1 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 387 0 0 0 10 0 0 0 18 0 1 0 182845271 2252800 372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002826 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 550 372 74 215 0 332 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2200 [startup+0.301213 s] /proc/loadavg: 0.88 1.00 1.01 3/77 32445 /proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=4476 CPUtime=0.29 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 959 0 0 0 29 0 0 0 20 0 1 0 182845271 4583424 944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134570150 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 1119 944 74 215 0 901 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4476 [startup+0.701252 s] /proc/loadavg: 0.88 1.00 1.01 3/77 32445 /proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=8768 CPUtime=0.69 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 2011 0 0 0 68 1 0 0 24 0 1 0 182845271 8978432 1996 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809834 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 2192 1996 74 215 0 1974 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8768 [startup+1.50233 s] /proc/loadavg: 0.88 1.00 1.01 2/78 32446 /proc/meminfo: memFree=1718536/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=17596 CPUtime=1.49 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 4277 0 0 0 147 2 0 0 25 0 1 0 182845271 18018304 4182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 4399 4182 74 215 0 4181 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17596 [startup+3.10148 s] /proc/loadavg: 0.88 1.00 1.01 2/78 32446 /proc/meminfo: memFree=1712776/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=17408 CPUtime=3.09 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 4305 0 0 0 307 2 0 0 25 0 1 0 182845271 17825792 4172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 4352 4172 83 215 0 4134 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17408 [startup+6.30179 s] /proc/loadavg: 0.89 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1712712/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=17408 CPUtime=6.29 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 4305 0 0 0 627 2 0 0 25 0 1 0 182845271 17825792 4172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 4352 4172 83 215 0 4134 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17408 [startup+12.7014 s] /proc/loadavg: 0.90 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1675656/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=55096 CPUtime=12.69 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 13852 0 0 0 1259 10 0 0 25 0 1 0 182845271 56418304 13458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012176 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 13774 13458 92 215 0 13556 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55096 [startup+25.5016 s] /proc/loadavg: 0.92 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1675848/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=56472 CPUtime=25.48 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 14292 0 0 0 2538 10 0 0 25 0 1 0 182845271 57827328 13755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135037705 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 14118 13755 92 215 0 13900 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56472 [startup+51.1011 s] /proc/loadavg: 0.95 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1670088/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=60900 CPUtime=51.06 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 15511 0 0 0 5095 11 0 0 25 0 1 0 182845271 62361600 14974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 15225 14974 123 215 0 15007 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 60900 [startup+102.307 s] /proc/loadavg: 0.98 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1667016/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=64072 CPUtime=102.24 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 16301 0 0 0 10213 11 0 0 25 0 1 0 182845271 65609728 15764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 16018 15764 123 215 0 15800 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 64072 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1630728/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=100288 CPUtime=162.2 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 25358 0 0 0 16201 19 0 0 25 0 1 0 182845271 102694912 24821 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580842 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 25072 24821 123 215 0 24854 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 100288 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1592456/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=138652 CPUtime=222.16 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 34925 0 0 0 22189 27 0 0 25 0 1 0 182845271 141979648 34388 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574442 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 34663 34388 123 215 0 34445 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 138652 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1549512/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=181684 CPUtime=282.13 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 45668 0 0 0 28176 37 0 0 25 0 1 0 182845271 186044416 45131 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 45421 45131 123 215 0 45203 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 181684 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1522376/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=208396 CPUtime=342.09 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 52373 0 0 0 34166 43 0 0 25 0 1 0 182845271 213397504 51836 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580863 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 52099 51836 123 215 0 51881 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 208396 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1501832/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=229276 CPUtime=402.05 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 57503 0 0 0 40158 47 0 0 25 0 1 0 182845271 234778624 56966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576464 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 57319 56966 123 215 0 57101 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 229276 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1477128/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=253900 CPUtime=462.02 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 63707 0 0 0 46150 52 0 0 25 0 1 0 182845271 259993600 63170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 63475 63170 123 215 0 63257 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 253900 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1445896/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=285296 CPUtime=521.99 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 71582 0 0 0 52141 58 0 0 25 0 1 0 182845271 292143104 71045 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 71324 71045 123 215 0 71106 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 285296 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32446 /proc/meminfo: memFree=1418632/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=312204 CPUtime=581.93 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 78307 0 0 0 58131 62 0 0 25 0 1 0 182845271 319696896 77770 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 78051 77770 123 215 0 77833 0 Current children cumulated CPU time (s) 581.93 Current children cumulated vsize (KiB) 312204 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1392264/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=338144 CPUtime=641.9 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 84824 0 0 0 64122 68 0 0 25 0 1 0 182845271 346259456 84287 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 84536 84287 123 215 0 84318 0 Current children cumulated CPU time (s) 641.9 Current children cumulated vsize (KiB) 338144 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1304776/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=426096 CPUtime=881.77 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106651 0 0 0 88092 85 0 0 25 0 1 0 182845271 436322304 106114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 106524 106114 123 215 0 106306 0 Current children cumulated CPU time (s) 881.77 Current children cumulated vsize (KiB) 426096 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1304712/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=426096 CPUtime=941.73 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106651 0 0 0 94088 85 0 0 25 0 1 0 182845271 436322304 106114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 106524 106114 123 215 0 106306 0 Current children cumulated CPU time (s) 941.73 Current children cumulated vsize (KiB) 426096 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1304712/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=426096 CPUtime=1001.7 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106651 0 0 0 100085 85 0 0 25 0 1 0 182845271 436322304 106114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 106524 106114 123 215 0 106306 0 Current children cumulated CPU time (s) 1001.7 Current children cumulated vsize (KiB) 426096 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1304712/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=426096 CPUtime=1061.68 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106651 0 0 0 106082 86 0 0 25 0 1 0 182845271 436322304 106114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 106524 106114 123 215 0 106306 0 Current children cumulated CPU time (s) 1061.68 Current children cumulated vsize (KiB) 426096 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1304712/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=426096 CPUtime=1121.63 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106652 0 0 0 112077 86 0 0 25 0 1 0 182845271 436322304 106115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32445/statm: 106524 106115 123 215 0 106306 0 Current children cumulated CPU time (s) 1121.63 Current children cumulated vsize (KiB) 426096 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1304648/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=426096 CPUtime=1181.59 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106652 0 0 0 118073 86 0 0 25 0 1 0 182845271 436322304 106115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575399 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 106524 106115 123 215 0 106306 0 Current children cumulated CPU time (s) 1181.59 Current children cumulated vsize (KiB) 426096 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1304584/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=426096 CPUtime=1241.56 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106652 0 0 0 124070 86 0 0 25 0 1 0 182845271 436322304 106115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 106524 106115 123 215 0 106306 0 Current children cumulated CPU time (s) 1241.56 Current children cumulated vsize (KiB) 426096 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1296968/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=433856 CPUtime=1301.52 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 108595 0 0 0 130065 87 0 0 25 0 1 0 182845271 444268544 108058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 108464 108058 123 215 0 108246 0 Current children cumulated CPU time (s) 1301.52 Current children cumulated vsize (KiB) 433856 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1268360/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=462800 CPUtime=1361.48 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 115831 0 0 0 136055 93 0 0 25 0 1 0 182845271 473907200 115294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 115700 115294 123 215 0 115482 0 Current children cumulated CPU time (s) 1361.48 Current children cumulated vsize (KiB) 462800 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1239816/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=490864 CPUtime=1421.45 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 122872 0 0 0 142047 98 0 0 25 0 1 0 182845271 502644736 122335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573865 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 122716 122335 123 215 0 122498 0 Current children cumulated CPU time (s) 1421.45 Current children cumulated vsize (KiB) 490864 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1212104/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=518780 CPUtime=1481.42 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 129840 0 0 0 148038 104 0 0 25 0 1 0 182845271 531230720 129303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 129695 129303 123 215 0 129477 0 Current children cumulated CPU time (s) 1481.42 Current children cumulated vsize (KiB) 518780 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1185672/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=544940 CPUtime=1541.37 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 136380 0 0 0 154028 109 0 0 25 0 1 0 182845271 558018560 135843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580442 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 136235 135843 123 215 0 136017 0 Current children cumulated CPU time (s) 1541.37 Current children cumulated vsize (KiB) 544940 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1164872/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=566040 CPUtime=1601.35 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 141656 0 0 0 160019 116 0 0 25 0 1 0 182845271 579624960 141119 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 141510 141119 123 215 0 141292 0 Current children cumulated CPU time (s) 1601.35 Current children cumulated vsize (KiB) 566040 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1141896/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=588720 CPUtime=1661.31 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 147324 0 0 0 166009 122 0 0 25 0 1 0 182845271 602849280 146787 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 147180 146787 123 215 0 146962 0 Current children cumulated CPU time (s) 1661.31 Current children cumulated vsize (KiB) 588720 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1120072/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=610756 CPUtime=1721.27 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 152799 0 0 0 172001 126 0 0 25 0 1 0 182845271 625414144 152262 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 152689 152262 123 215 0 152471 0 Current children cumulated CPU time (s) 1721.27 Current children cumulated vsize (KiB) 610756 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1097288/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=633280 CPUtime=1781.22 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 158448 0 0 0 177992 130 0 0 25 0 1 0 182845271 648478720 157911 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 158320 157911 123 215 0 158102 0 Current children cumulated CPU time (s) 1781.22 Current children cumulated vsize (KiB) 633280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1089480/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=641044 CPUtime=1800.01 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 160380 0 0 0 179869 132 0 0 25 0 1 0 182845271 656429056 159843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 160261 159843 123 215 0 160043 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 641044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 0.99 1.00 1.00 2/78 32448 /proc/meminfo: memFree=1089480/2055920 swapFree=4153812/4192956 [pid=32445] ppid=32443 vsize=641044 CPUtime=1800.01 /proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 160380 0 0 0 179869 132 0 0 25 0 1 0 182845271 656429056 159843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/32445/statm: 160261 159843 123 215 0 160043 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 641044 Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.12 CPU user time (s): 1798.7 CPU system time (s): 1.41978 CPU usage (%): 99.94 Max. virtual memory (cumulated for all children) (KiB): 641044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.7 system time used= 1.41978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 160381 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= 122 involuntary context switches= 38798 runsolver used 1.77273 second user time and 4.85726 second system time The end
Begin job on node4 on Fri Apr 20 11:21:15 UTC 2007 IDJOB= 366923 IDBENCH= 2958 IDSOLVER= 156 FILE ID= node4/366923-1177068075 PBS_JOBID= 4640247 Free space on /tmp= 66470 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.opb COMMAND LINE= /tmp/evaluation/366923-1177068075/minisat+ /tmp/evaluation/366923-1177068075/instance-366923-1177068075.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-366923-1177068075 -o ROOT/results/node4/conversion-366923-1177068075 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/366923-1177068075/instance-366923-1177068075.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-366923-1177068075 -o ROOT/results/node4/solver-366923-1177068075 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366923-1177068075/minisat+ /tmp/evaluation/366923-1177068075/instance-366923-1177068075.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 0c8a7426d22e304535ce287c1bd24030 RANDOM SEED= 886175517 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1729896 kB Buffers: 54756 kB Cached: 192368 kB SwapCached: 2368 kB Active: 37784 kB Inactive: 232924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1729896 kB SwapTotal: 4192956 kB SwapFree: 4153812 kB Dirty: 4068 kB Writeback: 0 kB Mapped: 30776 kB Slab: 40756 kB Committed_AS: 6168744 kB PageTables: 1816 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= 66470 MiB End job on node4 on Fri Apr 20 11:51:18 UTC 2007