Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 274.158 | 274.233 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG8-gensys-ukn005.sat05-3584.reshuffled-07.opb |
MD5SUM | 7d763ab159af95e4899190c924d81317 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 274.158 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1133 |
Total number of constraints | 56210 |
Number of constraints which are clauses | 56210 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 36 |
Number of bits of the biggest sum of numbers | 6 |
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... 3.49/3.54 c Converting 55499 PB-constraints to clauses... 3.49/3.56 c -- Unit propagations: pppppppppppppp 3.49/3.58 c -- Detecting intervals from adjacent constraints: (none) 3.49/3.59 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.69/3.76 c ==================================[MINISAT+]================================== 3.69/3.76 c | Conflicts | Original | Learnt | Progress | 3.69/3.76 c | | Clauses Literals | Max Clauses Literals LPC | | 3.69/3.76 c ============================================================================== 3.69/3.76 c | 0 | 54582 338332 | 18194 0 0 nan | 0.000 % | 3.69/3.77 c | 101 | 54582 338332 | 20013 101 1954 19.3 | 5.649 % | 3.69/3.80 c | 252 | 54582 338332 | 22014 252 5368 21.3 | 5.653 % | 3.78/3.83 c | 478 | 54582 338332 | 24216 478 10666 22.3 | 5.649 % | 3.78/3.86 c | 815 | 54582 338332 | 26637 815 18138 22.3 | 5.653 % | 3.88/3.95 c | 1321 | 54582 338332 | 29301 1321 29062 22.0 | 5.649 % | 3.98/4.08 c | 2080 | 54582 338332 | 32231 2080 48621 23.4 | 5.653 % | 4.28/4.35 c | 3219 | 54582 338332 | 35454 3219 76227 23.7 | 5.653 % | 4.68/4.75 c | 4927 | 54582 338332 | 39000 4927 117577 23.9 | 5.653 % | 5.38/5.45 c | 7489 | 54582 338332 | 42900 7489 185447 24.8 | 5.654 % | 6.58/6.62 c | 11334 | 54582 338332 | 47190 11334 287215 25.3 | 5.649 % | 8.58/8.69 c | 17100 | 54582 338332 | 51909 17100 475576 27.8 | 5.653 % | 13.68/13.73 c | 25750 | 54582 338332 | 57100 25750 758561 29.5 | 5.654 % | 24.68/24.74 c | 38727 | 54582 338332 | 62810 38727 1189215 30.7 | 5.654 % | 44.68/44.72 c | 58191 | 54582 338332 | 69091 58191 1902746 32.7 | 5.649 % | 76.07/76.12 c | 87383 | 54582 338332 | 76000 36117 1233608 34.2 | 5.649 % | 132.95/133.02 c | 131173 | 52283 322899 | 83600 68252 2428140 35.6 | 5.914 % | 234.24/234.38 c | 196858 | 47176 289122 | 91961 55085 1679580 30.5 | 6.708 % | 274.12/274.22 c ============================================================================== 274.12/274.22 c [1mUNSATISFIABLE[0m 274.12/274.22 s UNSATISFIABLE 274.12/274.22 c _______________________________________________________________________________ 274.12/274.22 c 274.12/274.22 c restarts : 18 274.12/274.22 c conflicts : 226200 (826 /sec) 274.12/274.22 c decisions : 369195 (1347 /sec) 274.12/274.22 c propagations : 0 (0 /sec) 274.12/274.22 c inspects : 0 (0 /sec) 274.12/274.22 c CPU time : 274.007 s 274.12/274.22 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/420531-1177426375/instance-420531-1177426375.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-420531-1177426375 -o ROOT/results/node41/solver-420531-1177426375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420531-1177426375/minisat+ /tmp/evaluation/420531-1177426375/instance-420531-1177426375.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/77 6061 /proc/meminfo: memFree=1868120/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=1048 CPUtime=0 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 119 0 0 0 0 0 0 0 18 0 1 0 190549397 1073152 105 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 262 105 74 215 0 44 0 [startup+0.0926321 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6061 /proc/meminfo: memFree=1868120/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=1920 CPUtime=0.09 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 315 0 0 0 9 0 0 0 18 0 1 0 190549397 1966080 301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 480 301 75 215 0 262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1920 [startup+0.101632 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6061 /proc/meminfo: memFree=1868120/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=1920 CPUtime=0.1 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 329 0 0 0 10 0 0 0 18 0 1 0 190549397 1966080 315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 480 315 75 215 0 262 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1920 [startup+0.301649 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6061 /proc/meminfo: memFree=1868120/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=3520 CPUtime=0.29 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 722 0 0 0 29 0 0 0 19 0 1 0 190549397 3604480 708 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 880 708 75 215 0 662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3520 [startup+0.701684 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6061 /proc/meminfo: memFree=1868120/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=6672 CPUtime=0.69 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 1507 0 0 0 68 1 0 0 23 0 1 0 190549397 6832128 1493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 1668 1493 75 215 0 1450 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6672 [startup+1.50276 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1860048/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=12788 CPUtime=1.49 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 3060 0 0 0 148 1 0 0 25 0 1 0 190549397 13094912 3046 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 3197 3046 75 215 0 2979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12788 [startup+3.10189 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1851408/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=25256 CPUtime=3.09 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 6145 0 0 0 305 4 0 0 25 0 1 0 190549397 25862144 6131 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 6314 6131 75 215 0 6096 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25256 [startup+6.30117 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1836624/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=32088 CPUtime=6.28 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 7897 0 0 0 617 11 0 0 25 0 1 0 190549397 32858112 7883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8022 7883 103 215 0 7804 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32088 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1836440/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=32240 CPUtime=12.68 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 7912 0 0 0 1257 11 0 0 25 0 1 0 190549397 33013760 7898 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8060 7898 103 215 0 7842 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32240 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1836376/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=32240 CPUtime=25.48 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 7927 0 0 0 2536 12 0 0 25 0 1 0 190549397 33013760 7913 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8060 7913 103 215 0 7842 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32240 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1836120/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=32604 CPUtime=51.07 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8006 0 0 0 5095 12 0 0 25 0 1 0 190549397 33386496 7992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8151 7992 103 215 0 7933 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32604 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1836120/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=32608 CPUtime=102.26 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8013 0 0 0 10214 12 0 0 25 0 1 0 190549397 33390592 7999 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8152 7999 103 215 0 7934 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32608 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1835096/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=33520 CPUtime=162.25 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8244 0 0 0 16212 13 0 0 25 0 1 0 190549397 34324480 8230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580935 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8380 8230 103 215 0 8162 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33520 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833816/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=34884 CPUtime=222.24 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8557 0 0 0 22210 14 0 0 25 0 1 0 190549397 35721216 8543 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8721 8543 103 215 0 8503 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 34884 Solver just ended. Dumping a history of the last processes samples [startup+230.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833816/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=34884 CPUtime=230.23 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8568 0 0 0 23009 14 0 0 25 0 1 0 190549397 35721216 8554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8721 8554 103 215 0 8503 0 Current children cumulated CPU time (s) 230.23 Current children cumulated vsize (KiB) 34884 [startup+255.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833624/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=35020 CPUtime=255.82 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8618 0 0 0 25568 14 0 0 25 0 1 0 190549397 35860480 8604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8755 8604 103 215 0 8537 0 Current children cumulated CPU time (s) 255.82 Current children cumulated vsize (KiB) 35020 [startup+262.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833560/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=35020 CPUtime=262.22 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8618 0 0 0 26208 14 0 0 25 0 1 0 190549397 35860480 8604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8755 8604 103 215 0 8537 0 Current children cumulated CPU time (s) 262.22 Current children cumulated vsize (KiB) 35020 [startup+268.702 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833560/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=35020 CPUtime=268.62 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8618 0 0 0 26848 14 0 0 25 0 1 0 190549397 35860480 8604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8755 8604 103 215 0 8537 0 Current children cumulated CPU time (s) 268.62 Current children cumulated vsize (KiB) 35020 [startup+271.901 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833560/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=35020 CPUtime=271.82 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8618 0 0 0 27168 14 0 0 25 0 1 0 190549397 35860480 8604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8755 8604 103 215 0 8537 0 Current children cumulated CPU time (s) 271.82 Current children cumulated vsize (KiB) 35020 [startup+273.501 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833560/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=35020 CPUtime=273.42 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8618 0 0 0 27328 14 0 0 25 0 1 0 190549397 35860480 8604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8755 8604 103 215 0 8537 0 Current children cumulated CPU time (s) 273.42 Current children cumulated vsize (KiB) 35020 [startup+273.905 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833560/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=35020 CPUtime=273.82 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8618 0 0 0 27368 14 0 0 25 0 1 0 190549397 35860480 8604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8755 8604 103 215 0 8537 0 Current children cumulated CPU time (s) 273.82 Current children cumulated vsize (KiB) 35020 [startup+274.101 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833560/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=35020 CPUtime=274.02 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8618 0 0 0 27388 14 0 0 25 0 1 0 190549397 35860480 8604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8755 8604 103 215 0 8537 0 Current children cumulated CPU time (s) 274.02 Current children cumulated vsize (KiB) 35020 [startup+274.201 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6062 /proc/meminfo: memFree=1833560/2055920 swapFree=4169768/4192956 [pid=6061] ppid=6059 vsize=35020 CPUtime=274.12 /proc/6061/stat : 6061 (minisat+) R 6059 6061 5948 0 -1 4194304 8618 0 0 0 27398 14 0 0 25 0 1 0 190549397 35860480 8604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568545 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6061/statm: 8755 8604 103 215 0 8537 0 Current children cumulated CPU time (s) 274.12 Current children cumulated vsize (KiB) 35020 Child status: 20 Real time (s): 274.233 CPU time (s): 274.158 CPU user time (s): 274.007 CPU system time (s): 0.150977 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 35020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 274.007 system time used= 0.150977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8621 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= 725 involuntary context switches= 5618 runsolver used 0.263959 second user time and 0.712891 second system time The end
Begin job on node41 on Tue Apr 24 14:52:55 UTC 2007 IDJOB= 420531 IDBENCH= 47852 IDSOLVER= 156 FILE ID= node41/420531-1177426375 PBS_JOBID= 4675717 Free space on /tmp= 66343 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/others/QG8-gensys-ukn005.sat05-3584.reshuffled-07.opb COMMAND LINE= /tmp/evaluation/420531-1177426375/minisat+ /tmp/evaluation/420531-1177426375/instance-420531-1177426375.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-420531-1177426375 -o ROOT/results/node41/conversion-420531-1177426375 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420531-1177426375/instance-420531-1177426375.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-420531-1177426375 -o ROOT/results/node41/solver-420531-1177426375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420531-1177426375/minisat+ /tmp/evaluation/420531-1177426375/instance-420531-1177426375.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 7d763ab159af95e4899190c924d81317 RANDOM SEED= 239965563 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1868528 kB Buffers: 22268 kB Cached: 94344 kB SwapCached: 2388 kB Active: 74920 kB Inactive: 64964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1868528 kB SwapTotal: 4192956 kB SwapFree: 4169768 kB Dirty: 5552 kB Writeback: 0 kB Mapped: 31500 kB Slab: 32800 kB Committed_AS: 3440476 kB PageTables: 2008 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= 66343 MiB End job on node41 on Tue Apr 24 14:57:30 UTC 2007