PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUM	3acd642471b3f4559739eef7eb2e9b58
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41095
Number of constraints which are clauses	41095
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	2
Maximum length of a constraint	2
Trace number 30504

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 17:14:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21908 boxname=wulflinc30 idbench=326 idsolver=15 numberseed=0
MD5SUM SOLVER: 34d34154b8ad81f02ee98439942e0814  /oldhome/oroussel/solvers/minisat+_script
MD5SUM BENCH:  3acd642471b3f4559739eef7eb2e9b58  /oldhome/oroussel/tmp/wulflinc30/normalized-frb40-19-3.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc30/normalized-frb40-19-3.opb
IDLAUNCH: 21908
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        759904 kB
Buffers:         30960 kB
Cached:         220756 kB
SwapCached:        632 kB
Active:          37840 kB
Inactive:       215840 kB
HighTotal:      131008 kB
HighFree:        42336 kB
LowTotal:       903652 kB
LowFree:        717568 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            15492 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 17:35:25 (client local time) WITH STATUS 152 IN 1229.85 SECONDS
stats: 21908 7 1229.85 152
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 41095 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   41095    82190 |   13698       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -31[0m
c ---[   0]---> Sorter-cost:35010     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   77395   167462 |   25798       0        0     nan |  0.000 % |
c |       101 |   77238   167143 |   28377      90      929    10.3 |  0.331 % |
c |       251 |   76847   166316 |   31215     211     2466    11.7 |  1.208 % |
c |       476 |   75972   164442 |   34337     395     4215    10.7 |  3.304 % |
c |       813 |   74494   161218 |   37770     658     7446    11.3 |  6.726 % |
c |      1319 |   71556   154677 |   41547    1013    11473    11.3 | 13.931 % |
c |      2078 |   68045   146771 |   45702    1564    17859    11.4 | 22.774 % |
c |      3217 |   62670   134504 |   50273    2321    28070    12.1 | 36.635 % |
c |      4925 |   56128   119095 |   55300    3417    45635    13.4 | 53.971 % |
c |      7487 |   51841   108909 |   60830    5071    80265    15.8 | 65.575 % |
c ==============================================================================
c [1mFound solution: -32[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      8864 |   50474   105612 |   16824    6059   132156    21.8 | 65.575 % |
c |      8964 |   50044   104589 |   18506    6068   132299    21.8 | 70.483 % |
c |      9114 |   49720   103800 |   20357    6093   133270    21.9 | 71.397 % |
c |      9339 |   49622   103571 |   22392    6281   138021    22.0 | 71.655 % |
c |      9677 |   49534   103357 |   24632    6586   144121    21.9 | 71.908 % |
c |     10183 |   49289   102776 |   27095    7005   153375    21.9 | 72.576 % |
c |     10942 |   48817   101638 |   29804    7437   174082    23.4 | 73.908 % |
c |     12081 |   48123    99987 |   32785    8315   226746    27.3 | 75.808 % |
c |     13789 |   47814    99243 |   36063    9822   297504    30.3 | 76.774 % |
c ==============================================================================
c [1mFound solution: -33[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     15122 |   47804    99246 |   15934   11128   367947    33.1 | 76.774 % |
c |     15222 |   47639    98853 |   17527   11109   366482    33.0 | 77.190 % |
c |     15372 |   47595    98751 |   19280   11227   369541    32.9 | 77.307 % |
c |     15597 |   47595    98751 |   21208   11452   386987    33.8 | 77.307 % |
c |     15936 |   47595    98751 |   23328   11791   400789    34.0 | 77.307 % |
c |     16442 |   47499    98515 |   25661   12216   419172    34.3 | 77.584 % |
c |     17201 |   47006    97343 |   28228   12699   460842    36.3 | 78.935 % |
c |     18340 |   46999    97326 |   31050   13820   534818    38.7 | 78.955 % |
c |     20048 |   46939    97192 |   34155   15464   658464    42.6 | 79.104 % |
c ==============================================================================
c [1mFound solution: -34[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     20986 |   46927    97141 |   15642   16249   721785    44.4 | 79.104 % |
c |     21086 |   46732    96676 |   17206   16212   722537    44.6 | 79.688 % |
c |     21236 |   46721    96649 |   18926   16356   727214    44.5 | 79.720 % |
c |     21463 |   46721    96649 |   20819   16583   740187    44.6 | 79.720 % |
c |     21800 |   46721    96649 |   22901   16920   757005    44.7 | 79.720 % |
c |     22306 |   46721    96649 |   25191   17426   776599    44.6 | 79.720 % |
c |     23065 |   46718    96642 |   27710   18177   823057    45.3 | 79.728 % |
c |     24204 |   46648    96470 |   30481   19252   920173    47.8 | 79.929 % |
c |     25912 |   46551    96239 |   33530   20864  1063720    51.0 | 80.183 % |
c |     28474 |   46411    95903 |   36883   23262  1288226    55.4 | 80.568 % |
c |     32318 |   46361    95779 |   40571   27052  1576672    58.3 | 80.713 % |
c |     38085 |   46232    95472 |   44628   32638  2119521    64.9 | 81.067 % |
c |     46736 |   46197    95387 |   49091   41194  3124221    75.8 | 81.163 % |
c |     59710 |   45887    94639 |   54000   53780  4274679    79.5 | 82.040 % |
c ==============================================================================
c [1mFound solution: -35[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     68731 |   45876    94626 |   15292   62730  5053895    80.6 | 82.040 % |
c |     68831 |   45876    94626 |   16821   18447  1108901    60.1 | 82.148 % |
c |     68981 |   45852    94564 |   18503   18590  1112238    59.8 | 82.220 % |
c |     69207 |   45846    94550 |   20353   18795  1124590    59.8 | 82.236 % |
c |     69544 |   45846    94550 |   22389   19132  1156718    60.5 | 82.236 % |
c |     70050 |   45846    94550 |   24627   19638  1198376    61.0 | 82.236 % |
c |     70809 |   45846    94550 |   27090   20397  1276601    62.6 | 82.236 % |
c |     71948 |   45846    94550 |   29799   21536  1352008    62.8 | 82.236 % |
c |     73656 |   45846    94550 |   32779   23244  1501208    64.6 | 82.236 % |
c |     76218 |   45772    94364 |   36057   25794  1717538    66.6 | 82.460 % |
c ==============================================================================
c [1mFound solution: -36[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     79852 |   45763    94329 |   15254   29426  2135545    72.6 | 82.460 % |
c |     79952 |   45763    94329 |   16779   29526  2141968    72.5 | 82.494 % |
c |     80102 |   45763    94329 |   18457   29676  2155080    72.6 | 82.494 % |
c |     80327 |   45763    94329 |   20303   29901  2168898    72.5 | 82.494 % |
c |     80665 |   45763    94329 |   22333   30239  2188372    72.4 | 82.494 % |
c |     81171 |   45763    94329 |   24566   30745  2229210    72.5 | 82.494 % |
c |     81930 |   45763    94329 |   27023   31504  2289974    72.7 | 82.494 % |
c |     83069 |   45763    94329 |   29725   32643  2381067    72.9 | 82.494 % |
c |     84777 |   45763    94329 |   32698   34351  2511357    73.1 | 82.494 % |
c |     87340 |   45753    94303 |   35968   36906  2770585    75.1 | 82.526 % |
c |     91184 |   45690    94150 |   39564   40741  3063992    75.2 | 82.706 % |
c |     96950 |   45658    94074 |   43521   46425  3529731    76.0 | 82.794 % |
c |    105600 |   45646    94046 |   47873   55068  4237732    77.0 | 82.826 % |
c |    118574 |   45646    94046 |   52660   68042  5330410    78.3 | 82.826 % |
c |    138036 |   45576    93882 |   57927   34000  2343565    68.9 | 83.014 % |
c ==============================================================================
c [1mFound solution: -37[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    149466 |   45599    93945 |   15199   45430  3332463    73.4 | 83.014 % |
c |    149566 |   45599    93945 |   16718   17803  1045062    58.7 | 82.973 % |
c |    149718 |   45599    93945 |   18390   17955  1053066    58.7 | 82.973 % |
c |    149943 |   45599    93945 |   20229   18180  1067373    58.7 | 82.973 % |
c |    150281 |   45596    93938 |   22252   18516  1082787    58.5 | 82.981 % |
c |    150787 |   45593    93931 |   24478   19013  1111621    58.5 | 82.989 % |
c |    151546 |   45593    93931 |   26925   19772  1179618    59.7 | 82.989 % |
c |    152686 |   45593    93931 |   29618   20912  1287628    61.6 | 82.989 % |
c |    154394 |   45593    93931 |   32580   22620  1436347    63.5 | 82.989 % |
c |    156956 |   45580    93900 |   35838   25160  1626071    64.6 | 83.025 % |
c |    160800 |   45469    93635 |   39422   28964  1960525    67.7 | 83.337 % |
c |    166566 |   45422    93516 |   43364   34720  2450264    70.6 | 83.481 % |
c |    175216 |   45422    93516 |   47700   43370  3106157    71.6 | 83.481 % |
c |    188190 |   45409    93485 |   52471   56340  4190159    74.4 | 83.517 % |
c |    207651 |   45378    93412 |   57718   20752   843783    40.7 | 83.597 % |
c |    236844 |   45348    93342 |   63489   49941  3556546    71.2 | 83.677 % |
c |    280635 |   45332    93300 |   69838   29311  1271672    43.4 | 83.729 % |
c ==============================================================================
c [1mFound solution: -38[0m
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    344995 |   45289    93179 |   15096   22206   620998    28.0 | 83.729 % |
c |    345095 |   45289    93179 |   16605   22306   624408    28.0 | 83.859 % |
c |    345245 |   45289    93179 |   18266   22456   629871    28.0 | 83.859 % |
c |    345471 |   45289    93179 |   20092   22682   637923    28.1 | 83.859 % |
c |    345808 |   45289    93179 |   22102   23019   650581    28.3 | 83.859 % |
c |    346315 |   45289    93179 |   24312   23526   669167    28.4 | 83.859 % |
c |    347074 |   45221    93013 |   26743   24280   705523    29.1 | 84.055 % |
c |    348213 |   45212    92988 |   29417   25414   778295    30.6 | 84.087 % |
c |    349921 |   45141    92818 |   32359   27103   880732    32.5 | 84.283 % |
c |    352483 |   45141    92818 |   35595   29665  1032114    34.8 | 84.283 % |
c |    356327 |   45141    92818 |   39155   33509  1294905    38.6 | 84.283 % |
c |    362093 |   45141    92818 |   43070   39275  1678091    42.7 | 84.283 % |
c |    370742 |   45141    92818 |   47377   47924  2281068    47.6 | 84.283 % |
c |    383716 |   45141    92818 |   52115   60898  2875601    47.2 | 84.283 % |
c |    403178 |   45131    92794 |   57327   26764   757803    28.3 | 84.311 % |
c |    432371 |   45125    92780 |   63059   55955  2218138    39.6 | 84.327 % |
c |    476160 |   45116    92759 |   69365   36944  1091586    29.5 | 84.351 % |
/oldhome/oroussel/solvers/minisat+_script: line 9:  9129 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@"
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 9125
Raw data (stat): 9125 (runsolver) R 9124 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840594659 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+20 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+370.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+410.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+420.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+440.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+460.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+470.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+480.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+520.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+530.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+540.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+550.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+570.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+590.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+600.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+610.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+620.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+630.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+640.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+650.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+660.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+680.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+690.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+700.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+710.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+720.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+730.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+740.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+750.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+760.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+770.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+780.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+790.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+800.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+810.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+820.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+830.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+840.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+850.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+860.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+880.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+890.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+900.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+910.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+920.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+930.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+940.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+950.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+960.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+970.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+980.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+990.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1210.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1220.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+1229.71 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 9129
Raw data (stat): 9125 (minisat+_script) S 9124 22056 22055 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 840594659 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

Child status: 152
Real time (s): 1229.71
CPU time (s): 1229.85
CPU user time (s): 1229.46
CPU system time (s): 0.39294
CPU usage (%): 100.012
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####