Trace number 4297138

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-07)? (MO) 2581.3 344.423

General information on the benchmark

NameCarSequencing/
CarSequencing-70-02_c18.xml
MD5SUMdf4cedb493dfe6d7df97c8cdc585ec30
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.04724
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1397
Number of domains2
Minimum domain size2
Maximum domain size23
Distribution of domain sizes[{"size":2,"count":1000},{"size":23,"count":200}]
Minimum variable degree2
Maximum variable degree57
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":33,"count":19}, {"degree":34,"count":19}, {"degree":35,"count":19}, {"degree":36,"count":19}, {"degree":37,"count":59}, {"degree":38,"count":14}, {"degree":39,"count":14}, {"degree":40,"count":14}, {"degree":41,"count":14}, {"degree":42,"count":29}, {"degree":43,"count":9}, {"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":6}, {"degree":51,"count":108}, {"degree":52,"count":3}, {"degree":53,"count":3}, {"degree":54,"count":3}, {"degree":55,"count":4}, {"degree":56,"count":4}, {"degree":57,"count":42}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1196},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Fri Jul 27 06:14:59 CEST 2018
0.65/0.55	c PID: 18584
0.65/0.55	c IP: 172.20.3.150
0.65/0.55	c HOST: node150.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.02/1.37	c (0,0) Parsing End
3.02/1.38	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1397 ctr, max domain size 23
3.02/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.02/1.38	c (0,0) Constraint Name Generate Begin
3.35/1.40	c (0,0) Ctr:HOME/instance-4297138-1532664899.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.35/1.40	c (0,0) Constraint Name Generate End
3.35/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.35/1.40	c (0,0) CSP to CSPinCNF Begin
11.67/4.29	c (3,3) translated 140 (10%) constraints
12.20/4.77	c (4,4) translated 280 (20%) constraints
12.20/4.79	c (4,4) translated 420 (30%) constraints
12.43/4.81	c (4,4) translated 559 (40%) constraints
12.43/4.84	c (4,4) translated 699 (50%) constraints
12.43/4.86	c (4,4) translated 839 (60%) constraints
12.43/4.88	c (4,4) translated 978 (70%) constraints
12.43/4.90	c (4,4) translated 1118 (80%) constraints
14.24/5.98	c (5,5) translated 1258 (90%) constraints
15.55/7.25	c (6,6) translated 1397 (100%) constraints
16.78/7.76	c (7,7) STATISTICS1:HOME/instance-4297138-1532664899.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,15800,54419,9223372036854775807,23,24,200,9223372036854775807:237;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:1;8796093022208:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,23:18000;2:151621,24:200;3:28000;2:25000;1:1219,200:51;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:2;101:2;100:2;98:2;95:4;92:2;90:2;89:2;86:2;85:2;83:2;80:4;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:3;47:1;45:1;44:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:138600;0:200,17689:51;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:2;4489:2;4356:2;4225:2;3969:4;3721:2;3600:2;3481:2;3249:2;3136:2;3025:2;2809:4;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3
16.78/7.76	c (7,7) ===========================================
16.78/7.76	c (7,7) Both Encoding selects:
16.78/7.76	c (7,7) Log
16.78/7.76	c (7,7) ===========================================
18.00/8.27	c (7,7) translated 5442 (10%) constraints
18.47/8.47	c (7,7) translated 10884 (20%) constraints
18.74/8.55	c (8,8) translated 16326 (30%) constraints
18.87/8.63	c (8,8) translated 21768 (40%) constraints
18.98/8.71	c (8,8) translated 27210 (50%) constraints
18.98/8.80	c (8,8) translated 32652 (60%) constraints
19.08/8.88	c (8,8) translated 38094 (70%) constraints
19.18/8.96	c (8,8) translated 43536 (80%) constraints
19.29/9.04	c (8,8) translated 48978 (90%) constraints
20.71/10.16	c (9,9) translated 54419 (100%) constraints
20.71/10.17	c (9,9) CSP to CSPinCNF End
20.71/10.17	c (9,9) CSP: 200 int (0 aux), 20200 bool (19200 aux), 63642 ctr, max domain size 23
20.71/10.17	c (9,9) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.71/10.17	c (9,9) CSPinCNF Propagation Begin
22.06/10.84	c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.06/10.84	c (10,10) CSPinCNF Propagation End
22.06/10.84	c (10,10) CSP: 200 int (0 aux), 20200 bool (19200 aux), 63242 ctr, max domain size 23
22.06/10.84	c (10,10) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.06/10.84	c (10,10) Simplify CSPinCNF Begin
22.30/10.99	c (10,10) Simplify CSPinCNF End
22.30/11.00	c (10,10) CSP: 200 int (0 aux), 20200 bool (19200 aux), 63242 ctr, max domain size 23
22.30/11.00	c (10,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.30/11.00	c (10,10) Calculate Precise Domain Begin
22.30/11.00	c (10,10) 0 values are removed by re-calculation
22.30/11.00	c (10,10) Calculate Precise Domain End
22.30/11.00	c (10,10) CSP: 200 int (0 aux), 20200 bool (19200 aux), 63242 ctr, max domain size 23
22.30/11.00	c (10,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.30/11.00	c (10,10) CSPinCNF to SatSolver Begin
25.69/12.47	c (11,11) 6325 (10 %) CSP clauses are being encoded (119427 SAT variables, 264837 SAT clauses)
27.60/12.97	c (12,12) 12649 (20 %) CSP clauses are being encoded (141998 SAT variables, 313140 SAT clauses)
27.92/13.27	c (12,12) 18973 (30 %) CSP clauses are being encoded (161112 SAT variables, 355128 SAT clauses)
28.51/13.44	c (12,12) 25297 (40 %) CSP clauses are being encoded (166265 SAT variables, 370557 SAT clauses)
28.63/13.57	c (13,12) 31621 (50 %) CSP clauses are being encoded (171372 SAT variables, 385902 SAT clauses)
28.83/13.71	c (13,12) 37946 (60 %) CSP clauses are being encoded (176592 SAT variables, 401449 SAT clauses)
28.93/13.84	c (13,13) 44270 (70 %) CSP clauses are being encoded (181812 SAT variables, 416995 SAT clauses)
29.04/13.98	c (13,13) 50594 (80 %) CSP clauses are being encoded (186940 SAT variables, 432379 SAT clauses)
29.25/14.12	c (13,13) 56918 (90 %) CSP clauses are being encoded (192072 SAT variables, 447769 SAT clauses)
40.02/21.39	c (20,20) 63242 (100 %) CSP clauses are being encoded (882657 SAT variables, 2472530 SAT clauses)
40.12/21.47	c (20,20) CSPinCNF to SatSolver End
40.12/21.47	c (20,20) Heap : 1298 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
41.19/21.87	c (21,20) STATISTICS2:HOME/instance-4297138-1532664899.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,20400,63242,9223372036854775807,23,23,200,9223372036854775807:237;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:1;8796093022208:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,23:26400;2:169621,23:200;3:27600;2:34200;1:1242,200:51;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:2;101:2;100:2;98:2;95:4;92:2;90:2;89:2;86:2;85:2;83:2;80:4;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:3;47:1;45:1;44:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:155800,2:237
41.19/21.87	c (21,20) SatSolver.solve Begin
41.19/21.87	c (21,20) 889757 bool, 2493547 clause
41.19/21.87	c (21,20) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297138-1532664899.xml-scop-18584.cnf HOME/instance-4297138-1532664899.xml-scop-18584.cnf.out
119.64/35.62	c (35,0) c
119.64/35.62	c (35,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
119.64/35.62	c (35,0) c
119.64/35.62	c (35,0) c WARNING: for repeatability, setting FPU to use double precision
119.64/35.62	c (35,0) c 8 solvers engines and 1 companion as a blackboard created.
119.64/35.62	c (35,0) c ========================================[ Problem Statistics ]===========================================
119.64/35.62	c (35,0) c |                                                                                                       |
119.64/35.62	c (35,0) c |  Number of variables:        889757                                                                   |
119.64/35.62	c (35,0) c |  Number of clauses:         2492105                                                                   |
119.64/35.62	c (35,0) c |  Parse time:                   1.03 s                                                                 |
119.64/35.62	c (35,0) c |                                                                                                       |
119.64/35.62	c (35,0) c |  Eliminated clauses:           3.34 Mb                                                                |
119.64/35.62	c (35,0) c |  Simplification time:          1.88 s                                                                 |
119.64/35.62	c (35,0) c |                                                                                                       |
119.64/35.62	c (35,0) c |  Generating clones                                                                                    |
119.64/35.62	c (35,0) c |  all clones generated. Memory = 2302.66Mb.                                                             |
119.64/35.62	c (35,0) c ========================================================================================================|
119.64/35.62	c (35,0) c
119.64/35.62	c (35,0) c |-------------------------------------------------------------------------------------------------------|
119.64/35.62	c (35,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
119.64/35.63	c (35,0) c |-------------------------------------------------------------------------------------------------------|
119.64/35.63	c (35,0) c |  0 |      9 |    1522924 |       2148 |    23460 |     1148 |       72 |     1727 |        0 |  0.166 |
119.64/35.63	c (35,0) c |  1 |     15 |     638097 |       4322 |    37197 |     3321 |       93 |     1864 |       10 |  0.166 |
119.64/35.63	c (35,0) c |  2 |     15 |     554185 |       4133 |    37102 |     3133 |       90 |     1784 |        9 |  0.166 |
119.64/35.63	c (35,0) c |  3 |     19 |     641943 |       3881 |    41446 |     2880 |      120 |     1205 |        0 |  0.166 |
119.64/35.63	c (35,0) c |  4 |      4 |    1177718 |       2148 |    26061 |     1151 |       53 |      618 |        0 |  0.166 |
119.64/35.63	c (35,0) c |  5 |     10 |     234547 |       8385 |    20324 |     4589 |     1355 |      570 |        0 |  0.166 |
119.64/35.63	c (35,0) c |  6 |     29 |     264540 |       4501 |    52319 |     3504 |      105 |     1850 |        7 |  0.166 |
119.64/35.63	c (35,0) c |  7 |     29 |     263717 |       4506 |    52310 |     3509 |       99 |     1853 |        7 |  0.166 |
119.64/35.63	c (35,0) c 
119.64/35.63	c (35,0) c synthesis       34028 conflicts   154414482 propagations      930 conflicts/sec  4218033 propagations/sec
119.64/35.63	c (35,0) c Total Memory so far : 2882.25Mb
119.64/35.63	c (35,0) c
119.64/35.63	c (35,0) c |-------------------------------------------------------------------------------------------------------|
119.64/35.63	c (35,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
119.64/35.63	c (35,0) c |-------------------------------------------------------------------------------------------------------|
119.64/35.63	c (35,0) c |  0 |     33 |    1609548 |       7705 |    61282 |     3912 |      573 |    15039 |       31 |  0.180 |
119.64/35.63	c (35,0) c |  1 |     33 |    1172938 |      11148 |    65976 |     7351 |     1422 |    11616 |       51 |  0.180 |
119.64/35.63	c (35,0) c |  2 |     38 |     869749 |      13812 |    62972 |     5020 |     2539 |    13625 |       37 |  0.180 |
119.64/35.63	c (35,0) c |  3 |     30 |    1021690 |       9216 |    62875 |     5417 |     1252 |    14097 |        6 |  0.180 |
119.64/35.63	c (35,0) c |  4 |     31 |    1416717 |       8769 |    68141 |     4971 |     1250 |    15846 |       76 |  0.180 |
119.64/35.63	c (35,0) c |  5 |     25 |    1551436 |      20016 |    50820 |    11217 |     5151 |    10667 |        8 |  0.180 |
119.64/35.63	c (35,0) c |  6 |     60 |     688382 |      10518 |    84371 |     6722 |     1419 |    14897 |       65 |  0.180 |
119.64/35.63	c (35,0) c |  7 |     43 |    1953933 |      16823 |    76007 |     8030 |     3704 |    12772 |       50 |  0.180 |
119.64/35.63	c (35,0) c 
239.28/50.63	c (50,0) c synthesis       98013 conflicts   359715169 propagations     1291 conflicts/sec  4738404 propagations/sec
239.28/50.63	c (50,0) c Total Memory so far : 2884.57Mb
239.28/50.63	c (50,0) c
239.28/50.63	c (50,0) c |-------------------------------------------------------------------------------------------------------|
239.28/50.63	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
239.28/50.63	c (50,0) c |-------------------------------------------------------------------------------------------------------|
239.28/50.63	c (50,0) c |  0 |     56 |    1941916 |      14223 |    98172 |     5434 |     2135 |    47093 |      134 |  0.216 |
239.28/50.63	c (50,0) c |  1 |     50 |    1262377 |      16009 |    91678 |     7210 |     2547 |    42795 |      131 |  0.198 |
239.28/50.63	c (50,0) c |  2 |     66 |    1052466 |      41522 |    84427 |    15453 |    10036 |    39135 |     1295 |  0.198 |
239.28/50.63	c (50,0) c |  3 |     51 |    1145674 |      24727 |    89367 |     8545 |     5958 |    42432 |       97 |  0.198 |
239.28/50.63	c (50,0) c |  4 |     52 |    1605809 |      29872 |    89975 |    13693 |     7784 |    42574 |     1176 |  0.216 |
239.28/50.63	c (50,0) c |  5 |     53 |    1734570 |      41084 |    75670 |    14989 |    11079 |    38081 |       79 |  0.216 |
239.28/50.63	c (50,0) c |  6 |     75 |    1151091 |      23298 |   102437 |    14507 |     3349 |    45265 |      185 |  0.216 |
239.28/50.63	c (50,0) c |  7 |     43 |    1988295 |      44681 |    77197 |    18596 |     8590 |    12772 |       56 |  0.180 |
239.28/50.63	c (50,0) c 
239.28/50.63	c (50,0) c synthesis      235443 conflicts   555138171 propagations     2037 conflicts/sec  4803602 propagations/sec
239.28/50.63	c (50,0) c Total Memory so far : 2887.95Mb
239.28/50.63	c (50,0) c
239.28/50.63	c (50,0) c |-------------------------------------------------------------------------------------------------------|
239.28/50.63	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
239.28/50.63	c (50,0) c |-------------------------------------------------------------------------------------------------------|
239.28/50.63	c (50,0) c |  0 |     61 |    2003140 |      40722 |   103264 |    14643 |    10257 |    54507 |     1210 |  0.216 |
239.28/50.63	c (50,0) c |  1 |     61 |    1555056 |      20718 |   101033 |    11919 |     3729 |    70091 |      173 |  0.219 |
239.28/50.63	c (50,0) c |  2 |     84 |    1185017 |      78272 |    93791 |    24728 |    16518 |    72548 |     2238 |  0.219 |
239.28/50.63	c (50,0) c |  3 |     66 |    2816676 |      38341 |   104558 |    12252 |     8861 |    80142 |      265 |  0.219 |
239.28/50.63	c (50,0) c |  4 |     81 |    1663157 |      56715 |   103561 |    18187 |    13588 |    75395 |     2388 |  0.219 |
239.28/50.63	c (50,0) c |  5 |     79 |    2458986 |      64269 |    97007 |    25728 |    15805 |    73195 |     1065 |  0.219 |
239.28/50.63	c (50,0) c |  6 |     94 |    1409954 |      40607 |   116712 |    14517 |     7809 |    81259 |      867 |  0.223 |
239.28/50.63	c (50,0) c |  7 |     53 |    2152485 |      62450 |    85466 |    23914 |    12589 |    66950 |     1060 |  0.223 |
239.28/50.63	c (50,0) c 
239.28/50.63	c (50,0) c synthesis      402099 conflicts   740916415 propagations     2590 conflicts/sec  4772179 propagations/sec
239.28/50.63	c (50,0) c Total Memory so far : 2891.51Mb
239.28/50.63	c (50,0) c
239.28/50.63	c (50,0) c Try to adapt solver strategies
239.28/50.63	c (50,0) c 
239.28/50.63	c (50,0) c Nothing extreme in this problem, continue with glucose default strategies.
239.28/50.63	c (50,0) c
239.28/50.63	c (50,0) c
239.28/50.63	c (50,0) c |-------------------------------------------------------------------------------------------------------|
239.28/50.63	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
239.28/50.63	c (50,0) c |-------------------------------------------------------------------------------------------------------|
239.28/50.63	c (50,0) c |  0 |     67 |    2071395 |      63138 |   107620 |    24602 |    14260 |   108901 |     2182 |  0.229 |
239.28/50.63	c (50,0) c |  1 |     73 |    1650434 |      38802 |   116089 |    12709 |     8875 |   114355 |     1261 |  0.229 |
239.28/50.63	c (50,0) c |  2 |    129 |    1236832 |     100257 |   106479 |    29095 |    20464 |   103255 |     3396 |  0.229 |
239.28/50.63	c (50,0) c |  3 |     81 |    2870994 |      63627 |   112266 |    25087 |    15454 |   108280 |     2316 |  0.229 |
239.28/50.63	c (50,0) c |  4 |    135 |    1931228 |      75517 |   117074 |    21960 |    16975 |   107028 |     4148 |  0.229 |
239.28/50.63	c (50,0) c |  5 |    105 |    2506712 |      88175 |   106871 |    34623 |    20783 |    94403 |     3042 |  0.229 |
239.28/50.63	c (50,0) c |  6 |    107 |    1457893 |      63891 |   124119 |    25343 |    12636 |   111139 |     2572 |  0.233 |
239.28/50.63	c (50,0) c |  7 |     53 |    2167466 |      75514 |    85636 |    21953 |    14637 |    66950 |     1067 |  0.223 |
239.28/50.63	c (50,0) c 
358.93/65.62	c (65,0) c synthesis      568974 conflicts   901682186 propagations     2919 conflicts/sec  4625107 propagations/sec
358.93/65.62	c (65,0) c Total Memory so far : 2895.02Mb
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c |-------------------------------------------------------------------------------------------------------|
358.93/65.62	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
358.93/65.62	c (65,0) c |-------------------------------------------------------------------------------------------------------|
358.93/65.62	c (65,0) c |  0 |    107 |    2214503 |      86132 |   125593 |    32567 |    19279 |   136219 |     4490 |  0.236 |
358.93/65.62	c (65,0) c |  1 |     87 |    2054825 |      46093 |   124144 |    20000 |     9802 |   144029 |     1308 |  0.236 |
358.93/65.62	c (65,0) c |  2 |    167 |    1288404 |     129234 |   109432 |    37875 |    24885 |   131451 |     4983 |  0.236 |
358.93/65.62	c (65,0) c |  3 |    107 |    2917385 |      89088 |   115908 |    17921 |    19937 |   129179 |     3968 |  0.236 |
358.93/65.62	c (65,0) c |  4 |    171 |    2155288 |      79660 |   151716 |    26102 |    17419 |   137690 |     4253 |  0.236 |
358.93/65.62	c (65,0) c |  5 |    120 |    2583768 |     129999 |   109824 |    38625 |    28494 |   123071 |     6109 |  0.236 |
358.93/65.62	c (65,0) c |  6 |    126 |    1785412 |      89425 |   131716 |    18249 |    17703 |   136042 |     4710 |  0.236 |
358.93/65.62	c (65,0) c |  7 |     65 |    2229617 |      98616 |    91594 |    27444 |    18958 |   137293 |     2032 |  0.236 |
358.93/65.62	c (65,0) c 
358.93/65.62	c (65,0) c synthesis      748249 conflicts  1066893869 propagations     3190 conflicts/sec  4548122 propagations/sec
358.93/65.62	c (65,0) c Total Memory so far : 2898.20Mb
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c Try to adapt solver strategies
358.93/65.62	c (65,0) c 
358.93/65.62	c (65,0) c Nothing extreme in this problem, continue with glucose default strategies.
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c Try to adapt solver strategies
358.93/65.62	c (65,0) c 
358.93/65.62	c (65,0) c Nothing extreme in this problem, continue with glucose default strategies.
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c |-------------------------------------------------------------------------------------------------------|
358.93/65.62	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
358.93/65.62	c (65,0) c |-------------------------------------------------------------------------------------------------------|
358.93/65.62	c (65,0) c |  0 |    119 |    2596292 |     100172 |   131569 |    28996 |    21233 |   159865 |     5187 |  0.241 |
358.93/65.62	c (65,0) c |  1 |    110 |    2250600 |      64446 |   137670 |    25915 |    13303 |   167683 |     1986 |  0.241 |
358.93/65.62	c (65,0) c |  2 |    216 |    1337909 |     147323 |   126537 |    33166 |    27375 |   153664 |     5587 |  0.241 |
358.93/65.62	c (65,0) c |  3 |    128 |    2954178 |     106323 |   124994 |    35156 |    22198 |   158770 |     4788 |  0.241 |
358.93/65.62	c (65,0) c |  4 |    183 |    2188164 |      98412 |   154336 |    27261 |    20269 |   159510 |     5612 |  0.241 |
358.93/65.62	c (65,0) c |  5 |    142 |    2628781 |     156688 |   111541 |    42526 |    31919 |   146944 |     7760 |  0.240 |
358.93/65.62	c (65,0) c |  6 |    157 |    1867317 |     108362 |   147085 |    37183 |    21251 |   159900 |     5512 |  0.241 |
358.93/65.62	c (65,0) c |  7 |     84 |    2543796 |     115070 |   100324 |    23693 |    23605 |   152345 |     2853 |  0.240 |
358.93/65.62	c (65,0) c 
358.93/65.62	c (65,0) c synthesis      896800 conflicts  1232584296 propagations     3270 conflicts/sec  4493742 propagations/sec
358.93/65.62	c (65,0) c Total Memory so far : 2901.05Mb
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c Try to adapt solver strategies
358.93/65.62	c (65,0) c 
358.93/65.62	c (65,0) c Nothing extreme in this problem, continue with glucose default strategies.
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c
358.93/65.62	c (65,0) c |-------------------------------------------------------------------------------------------------------|
358.93/65.62	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
358.93/65.62	c (65,0) c |-------------------------------------------------------------------------------------------------------|
358.93/65.62	c (65,0) c |  0 |    162 |    2640456 |     117856 |   138841 |    26491 |    23471 |   182306 |     6415 |  0.260 |
358.93/65.62	c (65,0) c |  1 |    118 |    2690986 |      83798 |   140897 |    30244 |    16157 |   176912 |     2678 |  0.259 |
358.93/65.62	c (65,0) c |  2 |    242 |    1904895 |     152032 |   146248 |    37870 |    27823 |   177965 |     5740 |  0.260 |
358.93/65.62	c (65,0) c |  3 |    173 |    3007234 |     129355 |   135697 |    37998 |    27011 |   177474 |     6008 |  0.262 |
358.93/65.62	c (65,0) c |  4 |    229 |    2240803 |     116129 |   165048 |    24762 |    23289 |   182847 |     7606 |  0.260 |
462.59/78.62	c (78,0) c |  5 |    156 |    2671412 |     181288 |   114718 |    41716 |    34289 |   170046 |     8415 |  0.260 |
462.59/78.62	c (78,0) c |  6 |    170 |    1913313 |     137646 |   149308 |    23482 |    25049 |   181236 |     6663 |  0.260 |
462.59/78.62	c (78,0) c |  7 |    100 |    2581526 |     138246 |   103655 |    24066 |    29319 |   176761 |     4421 |  0.260 |
462.59/78.62	c (78,0) c 
462.59/78.62	c (78,0) c synthesis     1056361 conflicts  1394655545 propagations     3364 conflicts/sec  4441032 propagations/sec
462.59/78.62	c (78,0) c Total Memory so far : 2904.08Mb
462.59/78.62	c (78,0) c
462.59/78.62	c (78,0) c |-------------------------------------------------------------------------------------------------------|
462.59/78.62	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
462.59/78.62	c (78,0) c |-------------------------------------------------------------------------------------------------------|
462.59/78.62	c (78,0) c |  0 |    193 |    2726875 |     134010 |   143724 |    42642 |    25395 |   206435 |     7760 |  0.262 |
462.59/78.62	c (78,0) c |  1 |    128 |    2752219 |     107551 |   143042 |    36376 |    22387 |   209654 |     3684 |  0.262 |
462.59/78.62	c (78,0) c |  2 |    279 |    1999859 |     162531 |   156883 |    48364 |    29849 |   200731 |     7469 |  0.262 |
462.59/78.62	c (78,0) c |  3 |    196 |    3055442 |     153506 |   137925 |    39336 |    32228 |   198427 |     7422 |  0.265 |
462.59/78.62	c (78,0) c |  4 |    257 |    2336833 |     126127 |   179315 |    34760 |    24883 |   207248 |     8020 |  0.262 |
462.59/78.62	c (78,0) c |  5 |    156 |    2694788 |     200319 |   114756 |    32750 |    36566 |   170046 |     8775 |  0.260 |
462.59/78.62	c (78,0) c |  6 |    202 |    2131773 |     157718 |   157945 |    43553 |    28695 |   200410 |     8645 |  0.262 |
462.59/78.62	c (78,0) c |  7 |    127 |    2704488 |     154366 |   115259 |    40185 |    32213 |   199349 |     5530 |  0.262 |
462.59/78.62	c (78,0) c 
462.59/78.62	c (78,0) c synthesis     1196130 conflicts  1524316439 propagations     3459 conflicts/sec  4407561 propagations/sec
462.59/78.62	c (78,0) c Total Memory so far : 2906.59Mb
462.59/78.62	c (78,0) c
462.59/78.62	c (78,0) c |-------------------------------------------------------------------------------------------------------|
462.59/78.62	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
462.59/78.62	c (78,0) c |-------------------------------------------------------------------------------------------------------|
462.59/78.62	c (78,0) c |  0 |    217 |    3015782 |     140130 |   148714 |    25958 |    26088 |   223202 |     8239 |  0.270 |
462.59/78.62	c (78,0) c |  1 |    155 |    2797206 |     128110 |   147764 |    36743 |    25546 |   222059 |     4537 |  0.262 |
462.59/78.62	c (78,0) c |  2 |    288 |    2022703 |     177757 |   158851 |    38205 |    30851 |   216694 |     8219 |  0.262 |
462.59/78.62	c (78,0) c |  3 |    213 |    3093152 |     173809 |   139501 |    34246 |    35194 |   212736 |     8088 |  0.265 |
462.59/78.62	c (78,0) c |  4 |    277 |    2365160 |     142658 |   185917 |    28486 |    26616 |   220686 |     8074 |  0.262 |
462.59/78.62	c (78,0) c |  5 |    160 |    2729185 |     222101 |   115487 |    54527 |    39654 |   209708 |     9024 |  0.274 |
462.59/78.62	c (78,0) c |  6 |    223 |    2177995 |     180219 |   160451 |    40649 |    31661 |   217203 |     9418 |  0.262 |
462.59/78.62	c (78,0) c |  7 |    157 |    2764037 |     166269 |   130359 |    26679 |    33836 |   212947 |     5617 |  0.262 |
462.59/78.62	c (78,0) c 
462.59/78.62	c (78,0) c synthesis     1331125 conflicts  1652323612 propagations     3525 conflicts/sec  4375798 propagations/sec
462.59/78.62	c (78,0) c Total Memory so far : 2909.34Mb
462.59/78.62	c (78,0) c
462.59/78.62	c (78,0) c |-------------------------------------------------------------------------------------------------------|
462.59/78.62	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
462.59/78.62	c (78,0) c |-------------------------------------------------------------------------------------------------------|
462.59/78.62	c (78,0) c |  0 |    242 |    3058453 |     162997 |   152278 |    48823 |    28878 |   244905 |    10468 |  0.275 |
462.59/78.62	c (78,0) c |  1 |    169 |    2844662 |     157411 |   148639 |    43238 |    30430 |   243291 |     5744 |  0.275 |
462.59/78.62	c (78,0) c |  2 |    337 |    2080263 |     201698 |   163024 |    34145 |    34046 |   239867 |    10435 |  0.275 |
462.59/78.62	c (78,0) c |  3 |    262 |    3202849 |     190490 |   163387 |    50926 |    36372 |   237406 |     8626 |  0.277 |
462.59/78.62	c (78,0) c |  4 |    293 |    2424460 |     171292 |   189656 |    31717 |    28897 |   237802 |     8212 |  0.274 |
462.59/78.62	c (78,0) c |  5 |    194 |    2822609 |     261343 |   120321 |    63173 |    46615 |   227075 |    11944 |  0.275 |
574.25/92.62	c (92,0) c |  6 |    243 |    2261550 |     210486 |   166600 |    42922 |    34006 |   225373 |    10383 |  0.274 |
574.25/92.62	c (92,0) c |  7 |    178 |    2784039 |     177470 |   134120 |    37879 |    34690 |   239169 |     5691 |  0.275 |
574.25/92.62	c (92,0) c 
574.25/92.62	c (92,0) c synthesis     1533202 conflicts  1815545622 propagations     3673 conflicts/sec  4349685 propagations/sec
574.25/92.62	c (92,0) c Total Memory so far : 2913.44Mb
574.25/92.62	c (92,0) c
574.25/92.62	c (92,0) c |-------------------------------------------------------------------------------------------------------|
574.25/92.62	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
574.25/92.62	c (92,0) c |-------------------------------------------------------------------------------------------------------|
574.25/92.62	c (92,0) c |  0 |    277 |    3129984 |     171878 |   162017 |    32325 |    29649 |   263218 |    11218 |  0.284 |
574.25/92.62	c (92,0) c |  1 |    188 |    2860668 |     163563 |   153268 |    49390 |    31107 |   260023 |     5944 |  0.284 |
574.25/92.62	c (92,0) c |  2 |    367 |    2240215 |     224405 |   166873 |    56852 |    38529 |   254335 |    11594 |  0.284 |
574.25/92.62	c (92,0) c |  3 |    298 |    3506747 |     198374 |   170852 |    30822 |    37071 |   252688 |     8766 |  0.286 |
574.25/92.62	c (92,0) c |  4 |    320 |    2445324 |     182379 |   194202 |    42801 |    30286 |   258632 |     8427 |  0.284 |
574.25/92.62	c (92,0) c |  5 |    236 |    2886257 |     287066 |   131193 |    55697 |    52142 |   240547 |    14300 |  0.284 |
574.25/92.62	c (92,0) c |  6 |    283 |    2322624 |     233088 |   168128 |    34922 |    36760 |   256075 |    12182 |  0.284 |
574.25/92.62	c (92,0) c |  7 |    223 |    2998670 |     193632 |   143553 |    54039 |    37589 |   254209 |     8173 |  0.284 |
574.25/92.62	c (92,0) c 
574.25/92.62	c (92,0) c synthesis     1654396 conflicts  1949798017 propagations     3683 conflicts/sec  4340577 propagations/sec
574.25/92.62	c (92,0) c Total Memory so far : 2915.01Mb
574.25/92.62	c (92,0) c
574.25/92.62	c (92,0) c |-------------------------------------------------------------------------------------------------------|
574.25/92.62	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
574.25/92.62	c (92,0) c |-------------------------------------------------------------------------------------------------------|
574.25/92.62	c (92,0) c |  0 |    309 |    3177124 |     191365 |   164957 |    51808 |    31534 |   280448 |    12921 |  0.308 |
574.25/92.62	c (92,0) c |  1 |    212 |    2890379 |     178018 |   165242 |    38442 |    32841 |   279141 |     7036 |  0.308 |
574.25/92.62	c (92,0) c |  2 |    428 |    2300426 |     246433 |   175170 |    48249 |    41170 |   270701 |    13219 |  0.315 |
574.25/92.62	c (92,0) c |  3 |    326 |    3746490 |     201962 |   189503 |    34402 |    37389 |   273138 |     8881 |  0.308 |
574.25/92.62	c (92,0) c |  4 |    345 |    2525434 |     192583 |   200306 |    52994 |    31170 |   280843 |     8552 |  0.311 |
574.25/92.62	c (92,0) c |  5 |    283 |    2955939 |     303775 |   161779 |    36624 |    54766 |   257266 |    15277 |  0.308 |
574.25/92.62	c (92,0) c |  6 |    319 |    2388543 |     256765 |   176466 |    58591 |    40827 |   270640 |    14103 |  0.308 |
574.25/92.62	c (92,0) c |  7 |    236 |    3047059 |     225067 |   144354 |    57471 |    42355 |   269169 |     9166 |  0.308 |
574.25/92.62	c (92,0) c 
574.25/92.62	c (92,0) c synthesis     1795974 conflicts  2115755462 propagations     3672 conflicts/sec  4326399 propagations/sec
574.25/92.62	c (92,0) c Total Memory so far : 2917.16Mb
574.25/92.62	c (92,0) c
574.25/92.62	c (92,0) c |-------------------------------------------------------------------------------------------------------|
574.25/92.62	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
574.25/92.62	c (92,0) c |-------------------------------------------------------------------------------------------------------|
574.25/92.62	c (92,0) c |  0 |    348 |    4025723 |     200785 |   183614 |    33229 |    32847 |   301258 |    13257 |  0.339 |
574.25/92.62	c (92,0) c |  1 |    245 |    2991318 |     190157 |   187560 |    50580 |    34162 |   299934 |     8210 |  0.339 |
574.25/92.62	c (92,0) c |  2 |    474 |    2564020 |     265920 |   184733 |    34527 |    43209 |   288470 |    14444 |  0.345 |
574.25/92.62	c (92,0) c |  3 |    363 |    3900903 |     212406 |   209519 |    44838 |    38983 |   292791 |    10181 |  0.339 |
574.25/92.62	c (92,0) c |  4 |    399 |    2570793 |     212973 |   217808 |    45389 |    33878 |   300431 |     8774 |  0.342 |
574.25/92.62	c (92,0) c |  5 |    308 |    3023829 |     336537 |   163293 |    69386 |    59304 |   274866 |    16569 |  0.339 |
574.25/92.62	c (92,0) c |  6 |    343 |    3052550 |     283261 |   182556 |    51872 |    44650 |   287104 |    15429 |  0.339 |
693.90/107.62	c (107,0) c |  7 |    270 |    3115768 |     262384 |   146546 |    64192 |    47345 |   284755 |    11651 |  0.339 |
693.90/107.62	c (107,0) c 
693.90/107.62	c (107,0) c synthesis     1964440 conflicts  2283750971 propagations     3715 conflicts/sec  4318480 propagations/sec
693.90/107.62	c (107,0) c Total Memory so far : 2919.66Mb
693.90/107.62	c (107,0) c
693.90/107.62	c (107,0) c |-------------------------------------------------------------------------------------------------------|
693.90/107.62	c (107,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
693.90/107.62	c (107,0) c |-------------------------------------------------------------------------------------------------------|
693.90/107.62	c (107,0) c |  0 |    365 |    4045849 |     212798 |   187694 |    45242 |    34867 |   319268 |    13990 |  0.339 |
693.90/107.62	c (107,0) c |  1 |    272 |    3053739 |     222974 |   189906 |    55402 |    40373 |   317899 |     9890 |  0.339 |
693.90/107.62	c (107,0) c |  2 |    484 |    2612593 |     299729 |   185627 |    68336 |    44462 |   314882 |    14858 |  0.345 |
693.90/107.62	c (107,0) c |  3 |    400 |    3945324 |     225793 |   215433 |    58225 |    40241 |   318406 |    10894 |  0.339 |
693.90/107.62	c (107,0) c |  4 |    437 |    2599544 |     227926 |   218435 |    60342 |    36367 |   322976 |     9193 |  0.342 |
693.90/107.62	c (107,0) c |  5 |    323 |    3061178 |     358247 |   164335 |    52696 |    62576 |   283757 |    17602 |  0.339 |
693.90/107.62	c (107,0) c |  6 |    381 |    3193067 |     311232 |   188705 |    44057 |    48752 |   310087 |    17565 |  0.339 |
693.90/107.62	c (107,0) c |  7 |    304 |    3187607 |     301979 |   147280 |    70597 |    51768 |   306969 |    13827 |  0.339 |
693.90/107.62	c (107,0) c 
693.90/107.62	c (107,0) c synthesis     2160687 conflicts  2441595320 propagations     3800 conflicts/sec  4293660 propagations/sec
693.90/107.62	c (107,0) c Total Memory so far : 2922.57Mb
693.90/107.62	c (107,0) c
693.90/107.62	c (107,0) c |-------------------------------------------------------------------------------------------------------|
693.90/107.62	c (107,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
693.90/107.62	c (107,0) c |-------------------------------------------------------------------------------------------------------|
693.90/107.62	c (107,0) c |  0 |    397 |    4101137 |     230179 |   193041 |    32007 |    37735 |   341112 |    15252 |  0.348 |
693.90/107.62	c (107,0) c |  1 |    322 |    3101082 |     234803 |   208561 |    36619 |    42189 |   336848 |    10701 |  0.348 |
693.90/107.62	c (107,0) c |  2 |    523 |    2710102 |     315562 |   189829 |    48402 |    47174 |   331684 |    15907 |  0.355 |
693.90/107.62	c (107,0) c |  3 |    430 |    4019251 |     251341 |   225231 |    53198 |    44571 |   334465 |    12090 |  0.348 |
693.90/107.62	c (107,0) c |  4 |    454 |    2630684 |     248983 |   218912 |    50797 |    39299 |   338876 |     9711 |  0.351 |
693.90/107.62	c (107,0) c |  5 |    365 |    3287614 |     362548 |   192343 |    56995 |    62864 |   316091 |    17892 |  0.348 |
693.90/107.62	c (107,0) c |  6 |    416 |    4110612 |     327715 |   194177 |    60533 |    50353 |   327548 |    18040 |  0.351 |
693.90/107.62	c (107,0) c |  7 |    339 |    3502811 |     321490 |   164454 |    54310 |    54870 |   324140 |    14544 |  0.353 |
693.90/107.62	c (107,0) c 
693.90/107.62	c (107,0) c synthesis     2292638 conflicts  2612873869 propagations     3768 conflicts/sec  4294239 propagations/sec
693.90/107.62	c (107,0) c Total Memory so far : 2924.66Mb
693.90/107.62	c (107,0) c
693.90/107.62	c (107,0) c |-------------------------------------------------------------------------------------------------------|
693.90/107.62	c (107,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
693.90/107.62	c (107,0) c |-------------------------------------------------------------------------------------------------------|
693.90/107.62	c (107,0) c |  0 |    446 |    4146798 |     238500 |   210588 |    40329 |    38547 |   359662 |    15739 |  0.352 |
693.90/107.62	c (107,0) c |  1 |    339 |    3503924 |     236417 |   217446 |    38233 |    42362 |   351085 |    10712 |  0.352 |
693.90/107.62	c (107,0) c |  2 |    549 |    2769399 |     346659 |   191076 |    41089 |    53589 |   341169 |    17080 |  0.359 |
693.90/107.62	c (107,0) c |  3 |    468 |    4547684 |     261294 |   236036 |    63151 |    45789 |   352525 |    12596 |  0.352 |
693.90/107.62	c (107,0) c |  4 |    502 |    2690715 |     271416 |   220631 |    40042 |    42813 |   354631 |    11142 |  0.355 |
693.90/107.62	c (107,0) c |  5 |    405 |    3320365 |     379824 |   204552 |    74269 |    64163 |   333134 |    19373 |  0.352 |
693.90/107.62	c (107,0) c |  6 |    473 |    4433061 |     357969 |   213631 |    52406 |    54086 |   344315 |    18162 |  0.355 |
693.90/107.62	c (107,0) c |  7 |    387 |    3551147 |     338814 |   191113 |    71624 |    57086 |   340592 |    15747 |  0.357 |
693.90/107.62	c (107,0) c 
797.60/120.62	c (120,0) c synthesis     2430902 conflicts  2778451711 propagations     3750 conflicts/sec  4286033 propagations/sec
797.60/120.62	c (120,0) c Total Memory so far : 2927.30Mb
797.60/120.62	c (120,0) c
797.60/120.62	c (120,0) c |-------------------------------------------------------------------------------------------------------|
797.60/120.62	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
797.60/120.62	c (120,0) c |-------------------------------------------------------------------------------------------------------|
797.60/120.62	c (120,0) c |  0 |    471 |    4170079 |     246983 |   216080 |    48778 |    39726 |   371656 |    16192 |  0.396 |
797.60/120.62	c (120,0) c |  1 |    367 |    3863143 |     253147 |   229253 |    54953 |    44750 |   368468 |    11778 |  0.396 |
797.60/120.62	c (120,0) c |  2 |    561 |    2800292 |     365500 |   192372 |    59888 |    54907 |   358277 |    17263 |  0.396 |
797.60/120.62	c (120,0) c |  3 |    518 |    4601421 |     270328 |   247922 |    38981 |    46501 |   366480 |    12915 |  0.398 |
797.60/120.62	c (120,0) c |  4 |    544 |    2726067 |     288821 |   225636 |    57438 |    44963 |   367963 |    11861 |  0.399 |
797.60/120.62	c (120,0) c |  5 |    424 |    4143956 |     397086 |   211330 |    50526 |    66637 |   346471 |    20784 |  0.396 |
797.60/120.62	c (120,0) c |  6 |    532 |    4507742 |     375802 |   231088 |    70228 |    55964 |   357388 |    19524 |  0.399 |
797.60/120.62	c (120,0) c |  7 |    428 |    3647213 |     360364 |   209279 |    54772 |    59914 |   353231 |    16519 |  0.398 |
797.60/120.62	c (120,0) c 
797.60/120.62	c (120,0) c synthesis     2558034 conflicts  2950339905 propagations     3718 conflicts/sec  4287928 propagations/sec
797.60/120.62	c (120,0) c Total Memory so far : 2929.26Mb
797.60/120.62	c (120,0) c
797.60/120.62	c (120,0) c |-------------------------------------------------------------------------------------------------------|
797.60/120.62	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
797.60/120.62	c (120,0) c |-------------------------------------------------------------------------------------------------------|
797.60/120.62	c (120,0) c |  0 |    500 |    4209693 |     260701 |   220597 |    62482 |    41496 |   388894 |    17557 |  0.402 |
797.60/120.62	c (120,0) c |  1 |    386 |    3899478 |     268857 |   231812 |    37472 |    46570 |   383922 |    12940 |  0.402 |
797.60/120.62	c (120,0) c |  2 |    603 |    2826772 |     373920 |   209741 |    68306 |    55885 |   374703 |    17832 |  0.402 |
797.60/120.62	c (120,0) c |  3 |    542 |    4646303 |     282154 |   257206 |    50805 |    47681 |   382731 |    13828 |  0.404 |
797.60/120.62	c (120,0) c |  4 |    561 |    2761632 |     310908 |   225712 |    43735 |    48780 |   378378 |    12299 |  0.405 |
797.60/120.62	c (120,0) c |  5 |    447 |    4236959 |     420507 |   214587 |    73947 |    70964 |   359655 |    21854 |  0.402 |
797.60/120.62	c (120,0) c |  6 |    570 |    4737006 |     386057 |   235256 |    80476 |    57125 |   373496 |    20133 |  0.403 |
797.60/120.62	c (120,0) c |  7 |    450 |    3684293 |     380112 |   212525 |    74518 |    62160 |   368385 |    16931 |  0.404 |
797.60/120.62	c (120,0) c 
797.60/120.62	c (120,0) c synthesis     2683220 conflicts  3085719492 propagations     3727 conflicts/sec  4286081 propagations/sec
797.60/120.62	c (120,0) c Total Memory so far : 2930.70Mb
797.60/120.62	c (120,0) c
797.60/120.62	c (120,0) c |-------------------------------------------------------------------------------------------------------|
797.60/120.62	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
797.60/120.62	c (120,0) c |-------------------------------------------------------------------------------------------------------|
797.60/120.62	c (120,0) c |  0 |    535 |    4253425 |     279199 |   222572 |    47806 |    43834 |   402899 |    19156 |  0.407 |
797.60/120.62	c (120,0) c |  1 |    414 |    3935349 |     281578 |   233247 |    50193 |    48052 |   397921 |    13511 |  0.407 |
797.60/120.62	c (120,0) c |  2 |    634 |    2931209 |     391548 |   215332 |    44966 |    58050 |   386155 |    19295 |  0.407 |
797.60/120.62	c (120,0) c |  3 |    555 |    4829752 |     298624 |   261121 |    67274 |    50032 |   389627 |    15216 |  0.409 |
797.60/120.62	c (120,0) c |  4 |    599 |    2913615 |     327144 |   229325 |    59971 |    51302 |   395382 |    13582 |  0.410 |
797.60/120.62	c (120,0) c |  5 |    459 |    4258461 |     435266 |   215475 |    45098 |    72213 |   368873 |    22248 |  0.407 |
797.60/120.62	c (120,0) c |  6 |    606 |    4834732 |     408992 |   241639 |    62456 |    59608 |   384818 |    20363 |  0.409 |
797.60/120.62	c (120,0) c |  7 |    485 |    3738069 |     394204 |   216324 |    47610 |    63697 |   383022 |    17820 |  0.409 |
797.60/120.62	c (120,0) c 
933.21/137.62	c (137,0) c synthesis     2816565 conflicts  3220023181 propagations     3746 conflicts/sec  4283037 propagations/sec
933.21/137.62	c (137,0) c Total Memory so far : 2932.40Mb
933.21/137.62	c (137,0) c
933.21/137.62	c (137,0) c |-------------------------------------------------------------------------------------------------------|
933.21/137.62	c (137,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
933.21/137.62	c (137,0) c |-------------------------------------------------------------------------------------------------------|
933.21/137.62	c (137,0) c |  0 |    551 |    4550649 |     286370 |   226490 |    52841 |    44559 |   423034 |    19395 |  0.407 |
933.21/137.62	c (137,0) c |  1 |    433 |    3990525 |     307182 |   236280 |    40013 |    50717 |   415918 |    14829 |  0.407 |
933.21/137.62	c (137,0) c |  2 |    649 |    2971483 |     413603 |   217290 |    67020 |    60608 |   403971 |    20382 |  0.407 |
933.21/137.62	c (137,0) c |  3 |    573 |    4876515 |     326381 |   261748 |    59230 |    52929 |   413662 |    16672 |  0.409 |
933.21/137.62	c (137,0) c |  4 |    631 |    3506004 |     345318 |   235437 |    39736 |    54919 |   412698 |    15678 |  0.410 |
933.21/137.62	c (137,0) c |  5 |    490 |    4313557 |     459544 |   216162 |    69375 |    75273 |   392431 |    24558 |  0.407 |
933.21/137.62	c (137,0) c |  6 |    639 |    4896431 |     432901 |   246608 |    86323 |    62933 |   404657 |    22692 |  0.409 |
933.21/137.62	c (137,0) c |  7 |    519 |    3783279 |     413181 |   220435 |    66587 |    66145 |   401895 |    19046 |  0.409 |
933.21/137.62	c (137,0) c 
933.21/137.62	c (137,0) c synthesis     2984486 conflicts  3353064149 propagations     3808 conflicts/sec  4278724 propagations/sec
933.21/137.62	c (137,0) c Total Memory so far : 2934.22Mb
933.21/137.62	c (137,0) c
933.21/137.62	c (137,0) c |-------------------------------------------------------------------------------------------------------|
933.21/137.62	c (137,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
933.21/137.62	c (137,0) c |-------------------------------------------------------------------------------------------------------|
933.21/137.62	c (137,0) c |  0 |    551 |    4563385 |     295436 |   227245 |    61907 |    45434 |   423034 |    19423 |  0.407 |
933.21/137.62	c (137,0) c |  1 |    451 |    4015729 |     318798 |   236905 |    51629 |    51781 |   432411 |    15834 |  0.416 |
933.21/137.62	c (137,0) c |  2 |    667 |    3068906 |     441677 |   222495 |    51739 |    63475 |   420302 |    21641 |  0.416 |
933.21/137.62	c (137,0) c |  3 |    604 |    4919080 |     343831 |   269477 |    76678 |    55013 |   428865 |    18728 |  0.418 |
933.21/137.62	c (137,0) c |  4 |    654 |    3563094 |     366786 |   239093 |    61204 |    58223 |   425950 |    17199 |  0.419 |
933.21/137.62	c (137,0) c |  5 |    544 |    4366871 |     476208 |   221033 |    86036 |    77311 |   406315 |    25621 |  0.412 |
933.21/137.62	c (137,0) c |  6 |    683 |    4932057 |     447227 |   259874 |    57681 |    64482 |   419255 |    23454 |  0.417 |
933.21/137.62	c (137,0) c |  7 |    544 |    3826760 |     432732 |   223912 |    86138 |    68623 |   414152 |    20855 |  0.414 |
933.21/137.62	c (137,0) c 
933.21/137.62	c (137,0) c synthesis     3122716 conflicts  3487023950 propagations     3829 conflicts/sec  4275748 propagations/sec
933.21/137.62	c (137,0) c Total Memory so far : 2935.81Mb
933.21/137.62	c (137,0) c
933.21/137.62	c (137,0) c |-------------------------------------------------------------------------------------------------------|
933.21/137.62	c (137,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
933.21/137.62	c (137,0) c |-------------------------------------------------------------------------------------------------------|
933.21/137.62	c (137,0) c |  0 |    590 |    4609244 |     307876 |   229343 |    39666 |    47116 |   456825 |    21137 |  0.418 |
933.21/137.62	c (137,0) c |  1 |    482 |    4061271 |     337105 |   238852 |    69935 |    54418 |   449290 |    18070 |  0.420 |
933.21/137.62	c (137,0) c |  2 |    675 |    3120826 |     474405 |   222593 |    84467 |    68269 |   424879 |    22646 |  0.418 |
933.21/137.62	c (137,0) c |  3 |    632 |    5091199 |     352288 |   274220 |    46730 |    55960 |   447813 |    19310 |  0.422 |
933.21/137.62	c (137,0) c |  4 |    663 |    3612273 |     386841 |   239966 |    81259 |    60371 |   433344 |    18593 |  0.421 |
933.21/137.62	c (137,0) c |  5 |    583 |    4431714 |     496224 |   226227 |    59862 |    80977 |   418429 |    26757 |  0.418 |
933.21/137.62	c (137,0) c |  6 |    705 |    4987672 |     455647 |   265828 |    66101 |    65385 |   427069 |    23707 |  0.420 |
933.21/137.62	c (137,0) c |  7 |    567 |    3884051 |     455604 |   227410 |    65414 |    71481 |   428559 |    22327 |  0.420 |
933.21/137.62	c (137,0) c 
933.21/137.62	c (137,0) c synthesis     3265994 conflicts  3620931568 propagations     3854 conflicts/sec  4273011 propagations/sec
933.21/137.62	c (137,0) c Total Memory so far : 2937.51Mb
933.21/137.62	c (137,0) c
1052.83/152.62	c (152,0) c |-------------------------------------------------------------------------------------------------------|
1052.83/152.62	c (152,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1052.83/152.62	c (152,0) c |-------------------------------------------------------------------------------------------------------|
1052.83/152.62	c (152,0) c |  0 |    615 |    4816916 |     331769 |   231110 |    63513 |    50513 |   474101 |    22916 |  0.427 |
1052.83/152.62	c (152,0) c |  1 |    491 |    4092888 |     356986 |   241164 |    51407 |    56354 |   466489 |    18410 |  0.423 |
1052.83/152.62	c (152,0) c |  2 |    717 |    3174789 |     501481 |   224804 |    68674 |    71040 |   454010 |    23514 |  0.427 |
1052.83/152.62	c (152,0) c |  3 |    665 |    5263818 |     374590 |   286425 |    69028 |    59722 |   464204 |    21033 |  0.426 |
1052.83/152.62	c (152,0) c |  4 |    663 |    3635359 |     407774 |   239993 |    61218 |    60932 |   433344 |    18719 |  0.421 |
1052.83/152.62	c (152,0) c |  5 |    629 |    4526440 |     521182 |   232736 |    84816 |    83531 |   440631 |    27590 |  0.427 |
1052.83/152.62	c (152,0) c |  6 |    706 |    4999370 |     464422 |   266006 |    74876 |    66246 |   450982 |    23714 |  0.421 |
1052.83/152.62	c (152,0) c |  7 |    589 |    3953394 |     492649 |   227520 |    56689 |    76740 |   448055 |    25085 |  0.429 |
1052.83/152.62	c (152,0) c 
1052.83/152.62	c (152,0) c synthesis     3450867 conflicts  3782082566 propagations     3890 conflicts/sec  4262912 propagations/sec
1052.83/152.62	c (152,0) c Total Memory so far : 2940.15Mb
1052.83/152.62	c (152,0) c
1052.83/152.62	c (152,0) c |-------------------------------------------------------------------------------------------------------|
1052.83/152.62	c (152,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1052.83/152.62	c (152,0) c |-------------------------------------------------------------------------------------------------------|
1052.83/152.62	c (152,0) c |  0 |    649 |    4939580 |     344376 |   237753 |    38263 |    52120 |   486468 |    23851 |  0.430 |
1052.83/152.62	c (152,0) c |  1 |    518 |    4377006 |     369643 |   243837 |    64064 |    57229 |   480472 |    18854 |  0.430 |
1052.83/152.62	c (152,0) c |  2 |    764 |    3226475 |     526694 |   229144 |    93885 |    72690 |   466031 |    25089 |  0.430 |
1052.83/152.62	c (152,0) c |  3 |    698 |    5410282 |     390192 |   296055 |    43690 |    61165 |   477391 |    21299 |  0.432 |
1052.83/152.62	c (152,0) c |  4 |    704 |    4102907 |     417018 |   255078 |    70462 |    61853 |   477203 |    19704 |  0.430 |
1052.83/152.62	c (152,0) c |  5 |    656 |    4569482 |     548552 |   234808 |    64913 |    85264 |   453819 |    28193 |  0.430 |
1052.83/152.62	c (152,0) c |  6 |    722 |    5029872 |     480815 |   269747 |    91269 |    67641 |   470944 |    23976 |  0.431 |
1052.83/152.62	c (152,0) c |  7 |    612 |    4070257 |     525507 |   228546 |    89546 |    81140 |   455726 |    25862 |  0.432 |
1052.83/152.62	c (152,0) c 
1052.83/152.62	c (152,0) c synthesis     3602798 conflicts  3950979142 propagations     3886 conflicts/sec  4261884 propagations/sec
1052.83/152.62	c (152,0) c Total Memory so far : 2991.65Mb
1052.83/152.62	c (152,0) c
1052.83/152.62	c (152,0) c |-------------------------------------------------------------------------------------------------------|
1052.83/152.62	c (152,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1052.83/152.62	c (152,0) c |-------------------------------------------------------------------------------------------------------|
1052.83/152.62	c (152,0) c |  0 |    680 |    5027622 |     365078 |   239112 |    58965 |    54537 |   505481 |    24837 |  0.430 |
1052.83/152.62	c (152,0) c |  1 |    534 |    4421511 |     395593 |   244203 |    49012 |    60529 |   498570 |    19518 |  0.430 |
1052.83/152.62	c (152,0) c |  2 |    798 |    3418673 |     546661 |   241240 |    64155 |    75132 |   485717 |    26772 |  0.430 |
1052.83/152.62	c (152,0) c |  3 |    741 |    5493191 |     414077 |   301344 |    67575 |    63846 |   495744 |    22754 |  0.432 |
1052.83/152.62	c (152,0) c |  4 |    755 |    4180758 |     437809 |   268833 |    47633 |    64188 |   497037 |    20824 |  0.430 |
1052.83/152.62	c (152,0) c |  5 |    688 |    4673761 |     581837 |   242420 |    98198 |    89903 |   461425 |    29591 |  0.430 |
1052.83/152.62	c (152,0) c |  6 |    760 |    5082385 |     498995 |   272588 |    65205 |    69374 |   489668 |    24405 |  0.432 |
1052.83/152.62	c (152,0) c |  7 |    640 |    4302133 |     552755 |   230559 |    71373 |    84053 |   473458 |    26933 |  0.432 |
1052.83/152.62	c (152,0) c 
1052.83/152.62	c (152,0) c synthesis     3792813 conflicts  4115928044 propagations     3923 conflicts/sec  4257216 propagations/sec
1052.83/152.62	c (152,0) c Total Memory so far : 2945.54Mb
1052.83/152.62	c (152,0) c
1052.83/152.62	c (152,0) c |-------------------------------------------------------------------------------------------------------|
1172.46/167.62	c (167,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1172.46/167.62	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1172.46/167.62	c (167,0) c |  0 |    717 |    5328402 |     372217 |   249313 |    66104 |    55127 |   525026 |    25372 |  0.439 |
1172.46/167.62	c (167,0) c |  1 |    564 |    4706351 |     408941 |   249525 |    62360 |    61989 |   518280 |    20160 |  0.439 |
1172.46/167.62	c (167,0) c |  2 |    835 |    3806189 |     559037 |   250914 |    76531 |    76326 |   503942 |    27119 |  0.439 |
1172.46/167.62	c (167,0) c |  3 |    762 |    5638802 |     450976 |   304170 |    62652 |    69015 |   511148 |    24070 |  0.441 |
1173.26/167.74	c (167,0) c |  4 |    790 |    4268829 |     467557 |   276130 |    77380 |    70527 |   509616 |    22067 |  0.439 |
1173.26/167.74	c (167,0) c |  5 |    722 |    5286233 |     597100 |   250110 |    66632 |    91611 |   488493 |    30245 |  0.439 |
1173.26/167.74	c (167,0) c |  6 |    804 |    5343512 |     509450 |   277093 |    75660 |    70357 |   509740 |    24987 |  0.440 |
1173.26/167.74	c (167,0) c |  7 |    680 |    4440906 |     569781 |   235004 |    88399 |    85359 |   494901 |    27581 |  0.441 |
1173.26/167.74	c (167,0) c 
1173.26/167.74	c (167,0) c synthesis     3935061 conflicts  4286304442 propagations     3909 conflicts/sec  4258057 propagations/sec
1173.26/167.74	c (167,0) c Total Memory so far : 2947.77Mb
1173.26/167.74	c (167,0) c
1173.26/167.74	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1173.26/167.74	c (167,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1173.26/167.74	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1173.26/167.74	c (167,0) c |  0 |    745 |    5391193 |     386335 |   258715 |    80222 |    56838 |   539022 |    26286 |  0.443 |
1173.26/167.74	c (167,0) c |  1 |    602 |    4744809 |     426225 |   256117 |    79642 |    63426 |   532007 |    21130 |  0.443 |
1173.26/167.74	c (167,0) c |  2 |    880 |    3985159 |     564646 |   272400 |    82140 |    76987 |   520577 |    27560 |  0.443 |
1173.26/167.74	c (167,0) c |  3 |    803 |    5936734 |     476048 |   310031 |    87725 |    72454 |   524502 |    25662 |  0.443 |
1173.26/167.74	c (167,0) c |  4 |    841 |    4323672 |     484532 |   286125 |    48210 |    73242 |   525038 |    22961 |  0.443 |
1173.26/167.74	c (167,0) c |  5 |    775 |    5378211 |     625642 |   257249 |    95174 |    95204 |   503234 |    32931 |  0.444 |
1173.26/167.74	c (167,0) c |  6 |    854 |    5413352 |     521492 |   293469 |    87702 |    71879 |   526487 |    25314 |  0.444 |
1173.26/167.74	c (167,0) c |  7 |    713 |    4490685 |     594158 |   237308 |    61109 |    88419 |   508577 |    28975 |  0.445 |
1173.26/167.74	c (167,0) c 
1173.26/167.74	c (167,0) c synthesis     4079086 conflicts  4458379252 propagations     3898 conflicts/sec  4260586 propagations/sec
1173.26/167.74	c (167,0) c Total Memory so far : 2949.71Mb
1173.26/167.74	c (167,0) c
1173.26/167.74	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1173.26/167.74	c (167,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1173.26/167.74	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1173.26/167.74	c (167,0) c |  0 |    791 |    5443593 |     396370 |   280287 |    49515 |    58196 |   557319 |    27000 |  0.443 |
1173.26/167.74	c (167,0) c |  1 |    644 |    4910356 |     433153 |   264110 |    86571 |    63991 |   550687 |    21537 |  0.443 |
1173.26/167.74	c (167,0) c |  2 |    958 |    4119055 |     594065 |   284920 |    64465 |    81033 |   534816 |    29806 |  0.443 |
1173.26/167.74	c (167,0) c |  3 |    808 |    5979807 |     511795 |   311549 |    77961 |    74089 |   526443 |    25835 |  0.443 |
1173.26/167.74	c (167,0) c |  4 |    859 |    4363564 |     508409 |   289268 |    72087 |    74557 |   533898 |    23581 |  0.443 |
1173.26/167.74	c (167,0) c |  5 |    816 |    5575227 |     652606 |   265306 |    70227 |    99279 |   516355 |    35563 |  0.444 |
1173.26/167.74	c (167,0) c |  6 |    895 |    5555594 |     544665 |   308248 |    62917 |    75133 |   539676 |    25934 |  0.444 |
1173.26/167.74	c (167,0) c |  7 |    751 |    4770772 |     613289 |   243351 |    80240 |    89673 |   525413 |    29507 |  0.445 |
1173.26/167.74	c (167,0) c 
1173.26/167.74	c (167,0) c synthesis     4254386 conflicts  4631832193 propagations     3917 conflicts/sec  4264117 propagations/sec
1173.26/167.74	c (167,0) c Total Memory so far : 2952.63Mb
1173.26/167.74	c (167,0) c
1173.26/167.74	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1276.16/180.62	c (180,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1276.16/180.62	c (180,0) c |-------------------------------------------------------------------------------------------------------|
1276.16/180.62	c (180,0) c |  0 |    818 |    5486692 |     412711 |   294969 |    65845 |    60501 |   567381 |    28079 |  0.448 |
1276.16/180.62	c (180,0) c |  1 |    670 |    4976958 |     448934 |   271401 |    58748 |    66634 |   560832 |    22371 |  0.448 |
1276.16/180.62	c (180,0) c |  2 |    998 |    4159930 |     609972 |   290082 |    80370 |    81955 |   545711 |    30554 |  0.450 |
1276.16/180.62	c (180,0) c |  3 |    808 |    6004221 |     534893 |   311549 |    50986 |    74251 |   526443 |    25841 |  0.443 |
1276.16/180.62	c (180,0) c |  4 |    898 |    4428716 |     534000 |   291286 |    48844 |    76548 |   549154 |    24870 |  0.451 |
1276.16/180.62	c (180,0) c |  5 |    862 |    5724940 |     679827 |   268915 |    97444 |   100899 |   526925 |    36733 |  0.449 |
1276.16/180.62	c (180,0) c |  6 |    953 |    5613866 |     562554 |   316478 |    80785 |    77126 |   550756 |    27669 |  0.450 |
1276.16/180.62	c (180,0) c |  7 |    769 |    4796458 |     621875 |   248345 |    88825 |    90024 |   537909 |    29589 |  0.450 |
1276.16/180.62	c (180,0) c 
1276.16/180.62	c (180,0) c synthesis     4404767 conflicts  4798259349 propagations     3912 conflicts/sec  4261050 propagations/sec
1276.16/180.62	c (180,0) c Total Memory so far : 3032.93Mb
1276.16/180.62	c (180,0) c
1276.16/180.62	c (180,0) c |-------------------------------------------------------------------------------------------------------|
1276.16/180.62	c (180,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1276.16/180.62	c (180,0) c |-------------------------------------------------------------------------------------------------------|
1276.16/180.62	c (180,0) c |  0 |    836 |    5520007 |     424153 |   296867 |    77286 |    61861 |   575885 |    28594 |  0.456 |
1276.16/180.62	c (180,0) c |  1 |    697 |    4998762 |     457151 |   276055 |    66964 |    67650 |   571851 |    22747 |  0.456 |
1276.16/180.62	c (180,0) c |  2 |   1023 |    4180346 |     620474 |   292909 |    90872 |    82464 |   557016 |    30837 |  0.456 |
1276.16/180.62	c (180,0) c |  3 |    830 |    6070815 |     555735 |   315484 |    71826 |    78110 |   561333 |    27060 |  0.456 |
1276.16/180.62	c (180,0) c |  4 |    898 |    4475061 |     574972 |   291365 |    89816 |    78385 |   549154 |    25068 |  0.451 |
1276.16/180.62	c (180,0) c |  5 |    890 |    5762207 |     691844 |   272028 |   109460 |   101862 |   537543 |    37156 |  0.456 |
1276.16/180.62	c (180,0) c |  6 |    976 |    5718225 |     571715 |   325852 |    89942 |    77708 |   557418 |    27763 |  0.457 |
1276.16/180.62	c (180,0) c |  7 |    801 |    5132275 |     633568 |   254908 |   100516 |    91501 |   546858 |    30839 |  0.458 |
1276.16/180.62	c (180,0) c 
1276.16/180.62	c (180,0) c synthesis     4529637 conflicts  4933504969 propagations     3912 conflicts/sec  4260568 propagations/sec
1276.16/180.62	c (180,0) c Total Memory so far : 3005.65Mb
1276.16/180.62	c (180,0) c
1276.16/180.62	c (180,0) c |-------------------------------------------------------------------------------------------------------|
1276.16/180.62	c (180,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1276.16/180.62	c (180,0) c |-------------------------------------------------------------------------------------------------------|
1276.16/180.62	c (180,0) c |  0 |    857 |    5561300 |     441024 |   300866 |    52156 |    63793 |   587876 |    29592 |  0.460 |
1276.16/180.62	c (180,0) c |  1 |    741 |    5097267 |     463341 |   282463 |    73151 |    68366 |   583865 |    23085 |  0.460 |
1276.16/180.62	c (180,0) c |  2 |   1059 |    4263701 |     641383 |   297328 |   111782 |    84136 |   567866 |    32990 |  0.460 |
1276.16/180.62	c (180,0) c |  3 |    859 |    6138752 |     570543 |   317406 |    86634 |    81167 |   571210 |    28430 |  0.460 |
1276.16/180.62	c (180,0) c |  4 |    916 |    4505821 |     596591 |   292082 |    60013 |    79446 |   571053 |    25203 |  0.462 |
1276.16/180.62	c (180,0) c |  5 |    920 |    6076552 |     704590 |   279341 |   122205 |   102707 |   549284 |    37747 |  0.460 |
1276.16/180.62	c (180,0) c |  6 |    976 |    5733410 |     585343 |   325853 |   103570 |    77892 |   557418 |    27797 |  0.457 |
1276.16/180.62	c (180,0) c |  7 |    821 |    5223313 |     658385 |   256998 |    72053 |    94870 |   557505 |    32029 |  0.462 |
1276.16/180.62	c (180,0) c 
1276.16/180.62	c (180,0) c synthesis     4661209 conflicts  5068755217 propagations     3918 conflicts/sec  4260023 propagations/sec
1276.16/180.62	c (180,0) c Total Memory so far : 3007.12Mb
1276.16/180.62	c (180,0) c
1276.16/180.62	c (180,0) c |-------------------------------------------------------------------------------------------------------|
1276.16/180.62	c (180,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1387.82/194.62	c (194,0) c |-------------------------------------------------------------------------------------------------------|
1387.82/194.62	c (194,0) c |  0 |    891 |    5691578 |     459676 |   302750 |    70808 |    64968 |   602390 |    30168 |  0.463 |
1387.82/194.62	c (194,0) c |  1 |    769 |    5209228 |     486175 |   285775 |    49854 |    71567 |   595631 |    25103 |  0.463 |
1387.82/194.62	c (194,0) c |  2 |   1075 |    4313403 |     671580 |   297361 |    73658 |    85781 |   576089 |    35269 |  0.463 |
1387.82/194.62	c (194,0) c |  3 |    890 |    6285885 |     589335 |   320317 |    55761 |    84604 |   582821 |    29194 |  0.463 |
1387.82/194.62	c (194,0) c |  4 |    948 |    4643205 |     614368 |   293630 |    77772 |    82294 |   585258 |    25918 |  0.465 |
1387.82/194.62	c (194,0) c |  5 |    965 |    6128766 |     725976 |   281417 |   143590 |   104134 |   563245 |    39459 |  0.466 |
1387.82/194.62	c (194,0) c |  6 |    976 |    5757809 |     607697 |   325858 |    73153 |    78109 |   557418 |    27812 |  0.457 |
1387.82/194.62	c (194,0) c |  7 |    860 |    5642274 |     670649 |   266946 |    84304 |    96103 |   570452 |    32790 |  0.465 |
1387.82/194.62	c (194,0) c 
1387.82/194.62	c (194,0) c synthesis     4825459 conflicts  5235102462 propagations     3924 conflicts/sec  4257341 propagations/sec
1387.82/194.62	c (194,0) c Total Memory so far : 2960.21Mb
1387.82/194.62	c (194,0) c
1387.82/194.62	c (194,0) c |-------------------------------------------------------------------------------------------------------|
1387.82/194.62	c (194,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1387.82/194.62	c (194,0) c |-------------------------------------------------------------------------------------------------------|
1387.82/194.62	c (194,0) c |  0 |    927 |    5836897 |     467495 |   311100 |    78625 |    66045 |   611473 |    30517 |  0.466 |
1387.82/194.62	c (194,0) c |  1 |    794 |    5252039 |     507802 |   285998 |    71481 |    74048 |   605165 |    25976 |  0.466 |
1387.82/194.62	c (194,0) c |  2 |   1075 |    4333044 |     689919 |   297362 |    91997 |    86063 |   576089 |    35332 |  0.463 |
1387.82/194.62	c (194,0) c |  3 |    936 |    6453283 |     605476 |   322534 |    71901 |    86221 |   592919 |    30388 |  0.466 |
1387.82/194.62	c (194,0) c |  4 |    968 |    4662955 |     624391 |   294132 |    87795 |    84148 |   595232 |    26190 |  0.469 |
1387.82/194.62	c (194,0) c |  5 |    992 |    6181931 |     750264 |   284251 |    98381 |   106681 |   572736 |    40529 |  0.469 |
1387.82/194.62	c (194,0) c |  6 |   1013 |    5872568 |     620508 |   329970 |    85964 |    78598 |   600689 |    28165 |  0.468 |
1387.82/194.62	c (194,0) c |  7 |    912 |    5963619 |     685896 |   277871 |    99546 |    97690 |   581748 |    33771 |  0.468 |
1387.82/194.62	c (194,0) c 
1387.82/194.62	c (194,0) c synthesis     4951753 conflicts  5369457312 propagations     3925 conflicts/sec  4256377 propagations/sec
1387.82/194.62	c (194,0) c Total Memory so far : 2962.08Mb
1387.82/194.62	c (194,0) c
1387.82/194.62	c (194,0) c |-------------------------------------------------------------------------------------------------------|
1387.82/194.62	c (194,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1387.82/194.62	c (194,0) c |-------------------------------------------------------------------------------------------------------|
1387.82/194.62	c (194,0) c |  0 |    955 |    5906975 |     482087 |   314325 |    93217 |    67883 |   630202 |    31655 |  0.469 |
1387.82/194.62	c (194,0) c |  1 |    823 |    5512695 |     533387 |   289270 |    97066 |    77887 |   621227 |    27274 |  0.469 |
1387.82/194.62	c (194,0) c |  2 |   1075 |    4359502 |     714110 |   297362 |   116188 |    86170 |   576089 |    35374 |  0.463 |
1387.82/194.62	c (194,0) c |  3 |    987 |    6525292 |     629539 |   326697 |    95963 |    89453 |   609208 |    31391 |  0.469 |
1387.82/194.62	c (194,0) c |  4 |   1000 |    4914714 |     647889 |   300247 |    57300 |    88698 |   609613 |    27394 |  0.471 |
1387.82/194.62	c (194,0) c |  5 |   1048 |    6660077 |     774887 |   297227 |   123005 |   109698 |   590087 |    41571 |  0.472 |
1387.82/194.62	c (194,0) c |  6 |   1074 |    5924087 |     639056 |   332495 |   104512 |    80592 |   619268 |    29600 |  0.470 |
1387.82/194.62	c (194,0) c |  7 |    966 |    6016404 |     706826 |   283455 |    66784 |    99739 |   600175 |    35248 |  0.471 |
1387.82/194.62	c (194,0) c 
1387.82/194.62	c (194,0) c synthesis     5127793 conflicts  5534680012 propagations     3940 conflicts/sec  4252986 propagations/sec
1387.82/194.62	c (194,0) c Total Memory so far : 3013.85Mb
1387.82/194.62	c (194,0) c
1387.82/194.62	c (194,0) c |-------------------------------------------------------------------------------------------------------|
1387.82/194.62	c (194,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1387.82/194.62	c (194,0) c |-------------------------------------------------------------------------------------------------------|
1507.48/209.62	c (209,0) c |  0 |    990 |    6075989 |     494527 |   316489 |    60277 |    69038 |   645895 |    32393 |  0.482 |
1507.48/209.62	c (209,0) c |  1 |    859 |    5609874 |     556120 |   293328 |    72438 |    81786 |   633192 |    27970 |  0.482 |
1507.48/209.62	c (209,0) c |  2 |   1114 |    4462293 |     729911 |   299627 |    67548 |    87056 |   627756 |    35991 |  0.482 |
1507.48/209.62	c (209,0) c |  3 |   1027 |    6612797 |     648110 |   328791 |    62987 |    91415 |   623581 |    33124 |  0.482 |
1507.48/209.62	c (209,0) c |  4 |   1033 |    5007526 |     662839 |   302117 |    72238 |    90159 |   624752 |    27612 |  0.484 |
1507.48/209.63	c (209,0) c |  5 |   1085 |    6729747 |     803765 |   300414 |    90421 |   111981 |   602937 |    43405 |  0.485 |
1507.48/209.63	c (209,0) c |  6 |   1095 |    5979869 |     670709 |   336152 |    82691 |    83146 |   631730 |    31587 |  0.483 |
1507.48/209.63	c (209,0) c |  7 |   1021 |    6090672 |     720723 |   296915 |    80680 |   100452 |   613993 |    36095 |  0.484 |
1507.48/209.63	c (209,0) c 
1507.48/209.63	c (209,0) c synthesis     5286722 conflicts  5699547359 propagations     3942 conflicts/sec  4249725 propagations/sec
1507.48/209.63	c (209,0) c Total Memory so far : 3015.71Mb
1507.48/209.63	c (209,0) c
1507.48/209.63	c (209,0) c |-------------------------------------------------------------------------------------------------------|
1507.48/209.63	c (209,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1507.48/209.63	c (209,0) c |-------------------------------------------------------------------------------------------------------|
1507.48/209.63	c (209,0) c |  0 |   1027 |    6139723 |     522202 |   318578 |    87949 |    73541 |   659255 |    34096 |  0.490 |
1507.48/209.63	c (209,0) c |  1 |    899 |    5888703 |     573040 |   298749 |    89358 |    83756 |   651196 |    28273 |  0.490 |
1507.48/209.63	c (209,0) c |  2 |   1153 |    4505801 |     752992 |   299991 |    90624 |    91723 |   641678 |    36667 |  0.490 |
1507.48/209.63	c (209,0) c |  3 |   1060 |    6680515 |     668265 |   332661 |    83139 |    93228 |   641295 |    34289 |  0.490 |
1507.48/209.63	c (209,0) c |  4 |   1079 |    5060760 |     686717 |   304694 |    96116 |    92560 |   640680 |    28446 |  0.492 |
1507.48/209.63	c (209,0) c |  5 |   1123 |    7164347 |     820385 |   303131 |   107041 |   113025 |   621810 |    44579 |  0.493 |
1507.48/209.63	c (209,0) c |  6 |   1144 |    6107307 |     688215 |   339485 |   100196 |    85487 |   648973 |    33070 |  0.491 |
1507.48/209.63	c (209,0) c |  7 |   1081 |    6136052 |     741625 |   297136 |   101582 |   101639 |   632886 |    37647 |  0.492 |
1507.48/209.63	c (209,0) c 
1507.48/209.63	c (209,0) c synthesis     5453454 conflicts  5861062479 propagations     3949 conflicts/sec  4244094 propagations/sec
1507.48/209.63	c (209,0) c Total Memory so far : 3066.33Mb
1507.48/209.63	c (209,0) c
1507.48/209.63	c (209,0) c |-------------------------------------------------------------------------------------------------------|
1507.48/209.63	c (209,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1507.48/209.63	c (209,0) c |-------------------------------------------------------------------------------------------------------|
1507.48/209.63	c (209,0) c |  0 |   1060 |    6245794 |     538494 |   324400 |    58743 |    75639 |   676090 |    35280 |  0.492 |
1507.48/209.63	c (209,0) c |  1 |    919 |    5953883 |     602393 |   299723 |    70936 |    87633 |   664934 |    29995 |  0.492 |
1507.48/209.63	c (209,0) c |  2 |   1217 |    4600279 |     770655 |   303769 |   108287 |    94995 |   657843 |    38081 |  0.492 |
1507.48/209.63	c (209,0) c |  3 |   1098 |    7079861 |     681249 |   338942 |    96123 |    95044 |   657923 |    34840 |  0.492 |
1507.48/209.63	c (209,0) c |  4 |   1114 |    5103871 |     708619 |   308334 |    65015 |    94685 |   657404 |    29348 |  0.495 |
1507.48/209.63	c (209,0) c |  5 |   1158 |    7393636 |     838713 |   307270 |   125369 |   114290 |   638667 |    45594 |  0.495 |
1507.48/209.63	c (209,0) c |  6 |   1172 |    6443704 |     704339 |   342250 |    61361 |    88716 |   661487 |    34809 |  0.494 |
1507.48/209.63	c (209,0) c |  7 |   1151 |    6343640 |     749381 |   309107 |   109337 |   101969 |   650818 |    38112 |  0.494 |
1507.48/209.63	c (209,0) c 
1507.48/209.63	c (209,0) c synthesis     5593866 conflicts  6021249454 propagations     3937 conflicts/sec  4237980 propagations/sec
1507.48/209.63	c (209,0) c Total Memory so far : 3067.91Mb
1507.48/209.63	c (209,0) c
1507.48/209.63	c (209,0) c |-------------------------------------------------------------------------------------------------------|
1507.48/209.63	c (209,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1507.48/209.63	c (209,0) c |-------------------------------------------------------------------------------------------------------|
1507.48/209.63	c (209,0) c |  0 |   1101 |    6300003 |     554306 |   334371 |    74555 |    76661 |   690848 |    36425 |  0.492 |
1619.15/223.62	c (223,0) c |  1 |    929 |    5998213 |     630045 |   299844 |    98588 |    90130 |   671266 |    30605 |  0.492 |
1619.15/223.62	c (223,0) c |  2 |   1274 |    4647383 |     789215 |   306162 |   126847 |    97963 |   669577 |    38988 |  0.492 |
1619.15/223.62	c (223,0) c |  3 |   1164 |    7178064 |     695854 |   348909 |   110723 |    96725 |   671194 |    35244 |  0.492 |
1619.15/223.62	c (223,0) c |  4 |   1157 |    5154189 |     735451 |   308438 |    91848 |    97062 |   670844 |    29901 |  0.495 |
1619.15/223.62	c (223,0) c |  5 |   1197 |    7495184 |     854294 |   313509 |   140950 |   115060 |   652726 |    46141 |  0.495 |
1619.15/223.62	c (223,0) c |  6 |   1222 |    6516791 |     723042 |   357308 |    80064 |    91513 |   676403 |    36096 |  0.494 |
1619.15/223.62	c (223,0) c |  7 |   1190 |    6423350 |     767486 |   311696 |   127443 |   102809 |   664915 |    39647 |  0.494 |
1619.15/223.62	c (223,0) c 
1619.15/223.62	c (223,0) c synthesis     5749720 conflicts  6186460678 propagations     3936 conflicts/sec  4235459 propagations/sec
1619.15/223.62	c (223,0) c Total Memory so far : 3069.81Mb
1619.15/223.62	c (223,0) c
1619.15/223.62	c (223,0) c |-------------------------------------------------------------------------------------------------------|
1619.15/223.62	c (223,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1619.15/223.62	c (223,0) c |-------------------------------------------------------------------------------------------------------|
1619.15/223.62	c (223,0) c |  0 |   1127 |    6392847 |     568982 |   340412 |    89226 |    77283 |   702870 |    36942 |  0.494 |
1619.15/223.62	c (223,0) c |  1 |    968 |    6064549 |     650052 |   303338 |    66552 |    92902 |   686357 |    31404 |  0.494 |
1619.15/223.62	c (223,0) c |  2 |   1334 |    4689085 |     806168 |   306977 |    87245 |    99010 |   681296 |    39711 |  0.494 |
1619.15/223.62	c (223,0) c |  3 |   1198 |    7247190 |     720847 |   352139 |    81016 |    99293 |   680643 |    36479 |  0.494 |
1619.15/223.62	c (223,0) c |  4 |   1191 |    5641533 |     747685 |   313396 |   104081 |    98010 |   682192 |    30427 |  0.496 |
1619.15/223.62	c (223,0) c |  5 |   1238 |    7649901 |     870596 |   321462 |   157248 |   116270 |   663860 |    47923 |  0.497 |
1619.15/223.62	c (223,0) c |  6 |   1242 |    6567167 |     753014 |   357520 |   110033 |    93801 |   686394 |    37278 |  0.496 |
1619.15/223.62	c (223,0) c |  7 |   1227 |    6608783 |     784564 |   316827 |   144521 |   103740 |   676539 |    40573 |  0.496 |
1619.15/223.62	c (223,0) c 
1619.15/223.62	c (223,0) c synthesis     5901908 conflicts  6345775914 propagations     3933 conflicts/sec  4229290 propagations/sec
1619.15/223.62	c (223,0) c Total Memory so far : 3120.44Mb
1619.15/223.62	c (223,0) c
1619.15/223.62	c (223,0) c |-------------------------------------------------------------------------------------------------------|
1619.15/223.62	c (223,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1619.15/223.62	c (223,0) c |-------------------------------------------------------------------------------------------------------|
1619.15/223.62	c (223,0) c |  0 |   1165 |    6534886 |     589137 |   343822 |   109381 |    78756 |   719811 |    38572 |  0.494 |
1619.15/223.62	c (223,0) c |  1 |   1007 |    6160502 |     678685 |   305343 |    95184 |    97022 |   701077 |    34036 |  0.494 |
1619.15/223.62	c (223,0) c |  2 |   1365 |    4744125 |     830901 |   307497 |   111978 |   100569 |   698135 |    40207 |  0.494 |
1619.15/223.62	c (223,0) c |  3 |   1243 |    7430897 |     727535 |   357456 |    87704 |    99831 |   699133 |    36700 |  0.494 |
1619.15/223.62	c (223,0) c |  4 |   1224 |    5754637 |     784737 |   324431 |    84189 |   103025 |   695431 |    32136 |  0.496 |
1619.15/223.62	c (223,0) c |  5 |   1270 |    7754995 |     896086 |   326923 |   104420 |   119167 |   679649 |    49756 |  0.497 |
1619.15/223.62	c (223,0) c |  6 |   1280 |    6641719 |     774987 |   360722 |    75717 |    95809 |   703148 |    37922 |  0.496 |
1619.15/223.62	c (223,0) c |  7 |   1260 |    6679510 |     796088 |   319431 |    83544 |   104797 |   694138 |    40993 |  0.496 |
1619.15/223.62	c (223,0) c 
1619.15/223.62	c (223,0) c synthesis     6078158 conflicts  6504562766 propagations     3946 conflicts/sec  4223207 propagations/sec
1619.15/223.62	c (223,0) c Total Memory so far : 3024.56Mb
1619.15/223.62	c (223,0) c
1619.15/223.62	c (223,0) c |-------------------------------------------------------------------------------------------------------|
1619.15/223.62	c (223,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1619.15/223.62	c (223,0) c |-------------------------------------------------------------------------------------------------------|
1619.15/223.62	c (223,0) c |  0 |   1181 |    6558571 |     596638 |   344895 |   116881 |    79027 |   734159 |    38857 |  0.495 |
1619.15/223.62	c (223,0) c |  1 |   1042 |    6217920 |     690559 |   308973 |   107057 |    98425 |   717022 |    34732 |  0.495 |
1730.81/237.62	c (237,0) c |  2 |   1417 |    4804334 |     847413 |   310075 |   128489 |   101454 |   713701 |    41083 |  0.495 |
1730.81/237.62	c (237,0) c |  3 |   1280 |    7485221 |     744017 |   360359 |   104186 |   101446 |   713748 |    38092 |  0.495 |
1730.81/237.62	c (237,0) c |  4 |   1254 |    5794826 |     806363 |   330719 |   105815 |   105428 |   709177 |    32150 |  0.497 |
1730.81/237.62	c (237,0) c |  5 |   1319 |    7953367 |     913886 |   333126 |   122214 |   121495 |   692007 |    50942 |  0.498 |
1730.81/237.62	c (237,0) c |  6 |   1305 |    6765754 |     794141 |   365337 |    94871 |    98394 |   716133 |    40048 |  0.496 |
1730.81/237.62	c (237,0) c |  7 |   1282 |    6821255 |     823354 |   320738 |   110806 |   109783 |   704032 |    44133 |  0.497 |
1730.81/237.62	c (237,0) c 
1730.81/237.62	c (237,0) c synthesis     6216394 conflicts  6637409274 propagations     3954 conflicts/sec  4222113 propagations/sec
1730.81/237.62	c (237,0) c Total Memory so far : 3026.15Mb
1730.81/237.62	c (237,0) c
1730.81/237.62	c (237,0) c |-------------------------------------------------------------------------------------------------------|
1730.81/237.62	c (237,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1730.81/237.62	c (237,0) c |-------------------------------------------------------------------------------------------------------|
1730.81/237.62	c (237,0) c |  0 |   1241 |    6656255 |     605642 |   348632 |   125883 |    79559 |   752798 |    40003 |  0.496 |
1730.81/237.62	c (237,0) c |  1 |   1068 |    6256764 |     700366 |   314669 |   116861 |    99046 |   733199 |    35121 |  0.496 |
1730.81/237.62	c (237,0) c |  2 |   1465 |    4883691 |     860481 |   316171 |   141557 |   102229 |   729937 |    41689 |  0.496 |
1730.81/237.62	c (237,0) c |  3 |   1318 |    7548696 |     765668 |   363217 |    69688 |   104510 |   726307 |    39747 |  0.496 |
1730.81/237.62	c (237,0) c |  4 |   1278 |    5875689 |     834698 |   342169 |    74258 |   109422 |   722609 |    32236 |  0.498 |
1730.81/237.62	c (237,0) c |  5 |   1378 |    8017755 |     938846 |   348390 |   147175 |   124747 |   707495 |    52516 |  0.499 |
1730.81/237.62	c (237,0) c |  6 |   1330 |    6805434 |     815395 |   367209 |   116121 |    99944 |   732418 |    40642 |  0.497 |
1730.81/237.62	c (237,0) c |  7 |   1331 |    6878890 |     842084 |   341548 |   129537 |   112915 |   719399 |    44957 |  0.498 |
1730.81/237.62	c (237,0) c 
1730.81/237.62	c (237,0) c synthesis     6363182 conflicts  6804044236 propagations     3948 conflicts/sec  4221309 propagations/sec
1730.81/237.62	c (237,0) c Total Memory so far : 2979.98Mb
1730.81/237.62	c (237,0) c
1730.81/237.62	c (237,0) c |-------------------------------------------------------------------------------------------------------|
1730.81/237.62	c (237,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1730.81/237.62	c (237,0) c |-------------------------------------------------------------------------------------------------------|
1730.81/237.62	c (237,0) c |  0 |   1267 |    6723014 |     616475 |   350878 |    72119 |    80556 |   766765 |    41142 |  0.499 |
1730.81/237.62	c (237,0) c |  1 |   1113 |    6330149 |     712787 |   318225 |    74864 |   100147 |   749051 |    35636 |  0.499 |
1730.81/237.62	c (237,0) c |  2 |   1502 |    4908225 |     867618 |   322701 |   148693 |   102623 |   746529 |    41855 |  0.499 |
1730.81/237.62	c (237,0) c |  3 |   1351 |    7607370 |     789193 |   366056 |    93211 |   106247 |   742103 |    40604 |  0.499 |
1730.81/237.62	c (237,0) c |  4 |   1316 |    5925463 |     858013 |   346443 |    97573 |   112175 |   736982 |    33186 |  0.501 |
1730.81/237.62	c (237,0) c |  5 |   1400 |    8068118 |     969281 |   356216 |   111244 |   127387 |   719867 |    52944 |  0.502 |
1730.81/237.62	c (237,0) c |  6 |   1357 |    6959404 |     838394 |   385007 |    80062 |   102820 |   746041 |    42555 |  0.500 |
1730.81/237.62	c (237,0) c |  7 |   1364 |    6935083 |     871355 |   348933 |    93752 |   117244 |   731815 |    46458 |  0.501 |
1730.81/237.62	c (237,0) c 
1730.81/237.62	c (237,0) c synthesis     6523121 conflicts  6941112790 propagations     3969 conflicts/sec  4222840 propagations/sec
1730.81/237.62	c (237,0) c Total Memory so far : 3031.21Mb
1730.81/237.62	c (237,0) c
1730.81/237.62	c (237,0) c |-------------------------------------------------------------------------------------------------------|
1730.81/237.62	c (237,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1730.81/237.62	c (237,0) c |-------------------------------------------------------------------------------------------------------|
1730.81/237.62	c (237,0) c |  0 |   1299 |    6815362 |     635612 |   354129 |    91245 |    82556 |   783434 |    41705 |  0.507 |
1730.81/237.62	c (237,0) c |  1 |   1156 |    6395447 |     731536 |   321387 |    93612 |   101037 |   763968 |    36486 |  0.499 |
1730.81/237.62	c (237,0) c |  2 |   1544 |    4946004 |     885948 |   323226 |    93095 |   104020 |   761602 |    42267 |  0.507 |
1850.45/252.62	c (252,0) c |  3 |   1385 |    8006609 |     806026 |   373256 |   110045 |   107227 |   757168 |    41300 |  0.499 |
1850.45/252.62	c (252,0) c |  4 |   1335 |    5982684 |     890770 |   349314 |   130329 |   117086 |   748532 |    34955 |  0.501 |
1850.45/252.62	c (252,0) c |  5 |   1450 |    8123652 |     993683 |   360991 |   135641 |   129417 |   736685 |    53839 |  0.510 |
1850.45/252.62	c (252,0) c |  6 |   1390 |    7027238 |     875074 |   392802 |   116742 |   105432 |   760029 |    44017 |  0.500 |
1850.45/252.62	c (252,0) c |  7 |   1413 |    7016827 |     898748 |   352935 |   121142 |   119358 |   746715 |    47550 |  0.509 |
1850.45/252.62	c (252,0) c 
1850.45/252.62	c (252,0) c synthesis     6717403 conflicts  7103694713 propagations     3990 conflicts/sec  4219508 propagations/sec
1850.45/252.62	c (252,0) c Total Memory so far : 3034.38Mb
1850.45/252.62	c (252,0) c
1850.45/252.62	c (252,0) c |-------------------------------------------------------------------------------------------------------|
1850.45/252.62	c (252,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1850.45/252.62	c (252,0) c |-------------------------------------------------------------------------------------------------------|
1850.45/252.62	c (252,0) c |  0 |   1330 |    6876914 |     645087 |   361477 |   100718 |    83550 |   797922 |    42449 |  0.514 |
1850.45/252.62	c (252,0) c |  1 |   1200 |    6453985 |     753859 |   331610 |   115934 |   102560 |   778666 |    37501 |  0.514 |
1850.45/252.62	c (252,0) c |  2 |   1578 |    5472673 |     891719 |   333021 |    98864 |   104469 |   777127 |    42354 |  0.514 |
1850.45/252.62	c (252,0) c |  3 |   1435 |    8161990 |     822857 |   378283 |   126876 |   108124 |   773431 |    41973 |  0.514 |
1850.45/252.62	c (252,0) c |  4 |   1362 |    6052944 |     933319 |   350680 |   115241 |   119989 |   761617 |    35937 |  0.516 |
1850.45/252.62	c (252,0) c |  5 |   1496 |    8192036 |    1020393 |   365486 |   162348 |   132151 |   749446 |    56114 |  0.517 |
1850.45/252.62	c (252,0) c |  6 |   1442 |    7132245 |     911189 |   397432 |   152854 |   108905 |   771721 |    46176 |  0.514 |
1850.45/252.62	c (252,0) c |  7 |   1439 |    7084056 |     937490 |   354150 |   159881 |   121913 |   757574 |    49061 |  0.514 |
1850.45/252.62	c (252,0) c 
1850.45/252.62	c (252,0) c synthesis     6915919 conflicts  7268261024 propagations     4013 conflicts/sec  4217542 propagations/sec
1850.45/252.62	c (252,0) c Total Memory so far : 3135.52Mb
1850.45/252.62	c (252,0) c
1850.45/252.62	c (252,0) c |-------------------------------------------------------------------------------------------------------|
1850.45/252.62	c (252,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1850.45/252.62	c (252,0) c |-------------------------------------------------------------------------------------------------------|
1850.45/252.62	c (252,0) c |  0 |   1361 |    6896427 |     655822 |   363562 |   111454 |    84215 |   818193 |    42544 |  0.514 |
1850.45/252.62	c (252,0) c |  1 |   1235 |    6531869 |     775123 |   331960 |   137199 |   103936 |   798464 |    38408 |  0.514 |
1850.45/252.62	c (252,0) c |  2 |   1582 |    5503719 |     917970 |   335119 |   125115 |   105788 |   777794 |    42686 |  0.514 |
1850.45/252.62	c (252,0) c |  3 |   1473 |    8376589 |     858395 |   385835 |    88214 |   111005 |   789518 |    43225 |  0.514 |
1850.45/252.62	c (252,0) c |  4 |   1384 |    6165814 |     975000 |   353278 |   156922 |   123784 |   779142 |    38234 |  0.516 |
1850.45/252.62	c (252,0) c |  5 |   1539 |    8264904 |    1048239 |   372664 |   110151 |   134885 |   768067 |    58423 |  0.517 |
1850.45/252.62	c (252,0) c |  6 |   1468 |    7204206 |     952310 |   398543 |   119198 |   114221 |   784942 |    47847 |  0.514 |
1850.45/252.62	c (252,0) c |  7 |   1481 |    7161960 |     975657 |   355707 |   124098 |   125139 |   777783 |    51724 |  0.516 |
1850.45/252.62	c (252,0) c 
1850.45/252.62	c (252,0) c synthesis     7158520 conflicts  7431410819 propagations     4060 conflicts/sec  4214810 propagations/sec
1850.45/252.62	c (252,0) c Total Memory so far : 3090.26Mb
1850.45/252.62	c (252,0) c
1850.45/252.62	c (252,0) c |-------------------------------------------------------------------------------------------------------|
1850.45/252.62	c (252,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1850.45/252.62	c (252,0) c |-------------------------------------------------------------------------------------------------------|
1850.45/252.62	c (252,0) c |  0 |   1383 |    6929954 |     665693 |   364931 |   121325 |    85457 |   835282 |    43245 |  0.516 |
1850.45/252.62	c (252,0) c |  1 |   1259 |    6553531 |     784281 |   333302 |   146357 |   104498 |   817321 |    38843 |  0.516 |
1850.45/252.62	c (252,0) c |  2 |   1612 |    5598860 |     944982 |   342597 |   152127 |   107934 |   813099 |    44059 |  0.516 |
1962.08/266.62	c (266,0) c |  3 |   1506 |    8458579 |     884728 |   388480 |   114547 |   114394 |   807189 |    43917 |  0.516 |
1962.08/266.62	c (266,0) c |  4 |   1409 |    6223207 |    1005641 |   355598 |   105309 |   127495 |   794328 |    39503 |  0.518 |
1962.08/266.62	c (266,0) c |  5 |   1578 |    8391351 |    1077903 |   377243 |   139813 |   137296 |   784542 |    60333 |  0.519 |
1962.08/266.62	c (266,0) c |  6 |   1495 |    7249865 |     977070 |   403726 |   143959 |   117974 |   803949 |    48514 |  0.516 |
1962.08/266.62	c (266,0) c |  7 |   1512 |    7223413 |    1009568 |   358366 |   158010 |   126929 |   792773 |    52761 |  0.516 |
1962.08/266.62	c (266,0) c 
1962.08/266.62	c (266,0) c synthesis     7349873 conflicts  7592459146 propagations     4076 conflicts/sec  4210958 propagations/sec
1962.08/266.62	c (266,0) c Total Memory so far : 3093.44Mb
1962.08/266.62	c (266,0) c
1962.08/266.62	c (266,0) c |-------------------------------------------------------------------------------------------------------|
1962.08/266.62	c (266,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1962.08/266.62	c (266,0) c |-------------------------------------------------------------------------------------------------------|
1962.08/266.62	c (266,0) c |  0 |   1397 |    6959116 |     672187 |   366930 |    70631 |    85687 |   853167 |    43436 |  0.516 |
1962.08/266.62	c (266,0) c |  1 |   1285 |    6674021 |     803646 |   333943 |    93339 |   105772 |   835745 |    39072 |  0.516 |
1962.08/266.62	c (266,0) c |  2 |   1647 |    5678078 |     986485 |   357494 |   120133 |   114085 |   826511 |    45350 |  0.516 |
1962.08/266.62	c (266,0) c |  3 |   1545 |    8505366 |     909380 |   388826 |   139199 |   116935 |   824908 |    44774 |  0.516 |
1962.08/266.62	c (266,0) c |  4 |   1459 |    6395892 |    1025421 |   361465 |   125089 |   129945 |   811890 |    40790 |  0.518 |
1962.08/266.62	c (266,0) c |  5 |   1605 |    8443789 |    1110085 |   379938 |   171995 |   138857 |   802684 |    60967 |  0.519 |
1962.08/266.62	c (266,0) c |  6 |   1534 |    7300305 |    1002692 |   406178 |   103749 |   120696 |   820894 |    49767 |  0.516 |
1962.08/266.62	c (266,0) c |  7 |   1537 |    7289349 |    1046271 |   359719 |   194713 |   129871 |   811058 |    54568 |  0.518 |
1962.08/266.62	c (266,0) c 
1962.08/266.62	c (266,0) c synthesis     7556174 conflicts  7751361995 propagations     4100 conflicts/sec  4206299 propagations/sec
1962.08/266.62	c (266,0) c Total Memory so far : 3047.94Mb
1962.08/266.62	c (266,0) c
1962.08/266.62	c (266,0) c |-------------------------------------------------------------------------------------------------------|
1962.08/266.62	c (266,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1962.08/266.62	c (266,0) c |-------------------------------------------------------------------------------------------------------|
1962.08/266.62	c (266,0) c |  0 |   1435 |    7004550 |     689768 |   368587 |    88212 |    86693 |   878579 |    44584 |  0.522 |
1962.08/266.62	c (266,0) c |  1 |   1328 |    6747050 |     835280 |   335091 |   124973 |   110347 |   854686 |    39766 |  0.519 |
1962.08/266.62	c (266,0) c |  2 |   1695 |    5755024 |    1018031 |   360983 |   151679 |   119760 |   845881 |    46751 |  0.522 |
1962.08/266.62	c (266,0) c |  3 |   1593 |    8607875 |     922007 |   399163 |   151826 |   118297 |   847071 |    45334 |  0.522 |
1962.08/266.62	c (266,0) c |  4 |   1490 |    6488125 |    1055377 |   369238 |   155045 |   132492 |   831597 |    41795 |  0.521 |
1962.08/266.62	c (266,0) c |  5 |   1662 |    8528114 |    1146352 |   381416 |   208256 |   142354 |   823305 |    63765 |  0.525 |
1962.08/266.62	c (266,0) c |  6 |   1571 |    7372776 |    1024030 |   409408 |   125087 |   121845 |   843606 |    50972 |  0.522 |
1962.08/266.62	c (266,0) c |  7 |   1590 |    7362351 |    1076977 |   361643 |   135966 |   133967 |   828907 |    55867 |  0.518 |
1962.08/266.62	c (266,0) c 
1962.08/266.62	c (266,0) c synthesis     7767832 conflicts  7913430774 propagations     4126 conflicts/sec  4203382 propagations/sec
1962.08/266.62	c (266,0) c Total Memory so far : 3200.68Mb
1962.08/266.62	c (266,0) c
1962.08/266.62	c (266,0) c |-------------------------------------------------------------------------------------------------------|
1962.08/266.62	c (266,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1962.08/266.62	c (266,0) c |-------------------------------------------------------------------------------------------------------|
1962.08/266.62	c (266,0) c |  0 |   1465 |    7034038 |     701523 |   372496 |    99967 |    87155 |   890147 |    44899 |  0.523 |
1962.08/266.62	c (266,0) c |  1 |   1346 |    6803330 |     863574 |   335806 |    90696 |   113725 |   863671 |    40209 |  0.523 |
1962.08/266.62	c (266,0) c |  2 |   1731 |    5856270 |    1034460 |   367625 |   107486 |   120526 |   856834 |    47841 |  0.523 |
1962.08/266.62	c (266,0) c |  3 |   1628 |    8661888 |     940454 |   406519 |   102773 |   119750 |   857296 |    46219 |  0.523 |
2065.78/279.62	c (279,0) c |  4 |   1493 |    6510333 |    1074789 |   369302 |   100545 |   133295 |   841937 |    42202 |  0.525 |
2065.78/279.62	c (279,0) c |  5 |   1699 |    8587368 |    1171887 |   382034 |   140935 |   144716 |   832244 |    65271 |  0.526 |
2065.78/279.62	c (279,0) c |  6 |   1605 |    7448420 |    1034377 |   416987 |   135434 |   122573 |   854794 |    51946 |  0.523 |
2065.78/279.62	c (279,0) c |  7 |   1603 |    7395320 |    1101991 |   362902 |   160980 |   135697 |   840002 |    56253 |  0.525 |
2065.78/279.62	c (279,0) c 
2065.78/279.62	c (279,0) c synthesis     7923066 conflicts  8042575322 propagations     4139 conflicts/sec  4201014 propagations/sec
2065.78/279.62	c (279,0) c Total Memory so far : 3155.32Mb
2065.78/279.62	c (279,0) c
2065.78/279.62	c (279,0) c |-------------------------------------------------------------------------------------------------------|
2065.78/279.62	c (279,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2065.78/279.62	c (279,0) c |-------------------------------------------------------------------------------------------------------|
2065.78/279.62	c (279,0) c |  0 |   1483 |    7055563 |     714380 |   372603 |   112824 |    87852 |   899469 |    45221 |  0.523 |
2065.78/279.62	c (279,0) c |  1 |   1380 |    6866002 |     883531 |   338149 |   110654 |   115061 |   872523 |    40995 |  0.523 |
2065.78/279.62	c (279,0) c |  2 |   1770 |    5923520 |    1059859 |   371189 |   132885 |   121416 |   866142 |    48966 |  0.523 |
2065.78/279.62	c (279,0) c |  3 |   1646 |    8701570 |     960894 |   412452 |   123213 |   121629 |   864895 |    46627 |  0.523 |
2065.78/279.62	c (279,0) c |  4 |   1518 |    6626514 |    1091528 |   372518 |   117284 |   133685 |   853971 |    42623 |  0.525 |
2065.78/279.62	c (279,0) c |  5 |   1729 |    8663693 |    1197298 |   384595 |   166346 |   147230 |   839669 |    66038 |  0.526 |
2065.78/279.62	c (279,0) c |  6 |   1638 |    7627506 |    1037441 |   422063 |   138498 |   122701 |   864957 |    52061 |  0.523 |
2065.78/279.62	c (279,0) c |  7 |   1613 |    7428549 |    1122802 |   363003 |   105993 |   138085 |   849255 |    57103 |  0.525 |
2065.78/279.62	c (279,0) c 
2065.78/279.62	c (279,0) c synthesis     8067734 conflicts  8174675393 propagations     4145 conflicts/sec  4200086 propagations/sec
2065.78/279.62	c (279,0) c Total Memory so far : 3233.59Mb
2065.78/279.62	c (279,0) c
2065.78/279.62	c (279,0) c |-------------------------------------------------------------------------------------------------------|
2065.78/279.62	c (279,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2065.78/279.62	c (279,0) c |-------------------------------------------------------------------------------------------------------|
2065.78/279.62	c (279,0) c |  0 |   1511 |    7085043 |     728002 |   373189 |   126446 |    88706 |   911117 |    45666 |  0.523 |
2065.78/279.62	c (279,0) c |  1 |   1394 |    6896155 |     899298 |   338558 |   126421 |   115698 |   877734 |    41198 |  0.523 |
2065.78/279.62	c (279,0) c |  2 |   1802 |    5988234 |    1094242 |   371730 |   167268 |   122799 |   877068 |    50577 |  0.523 |
2065.78/279.62	c (279,0) c |  3 |   1663 |    8749560 |     978356 |   414814 |   140675 |   123374 |   876357 |    46952 |  0.523 |
2065.78/279.62	c (279,0) c |  4 |   1563 |    6694272 |    1119869 |   373219 |   145625 |   136020 |   864077 |    44093 |  0.525 |
2065.78/279.62	c (279,0) c |  5 |   1760 |    8720579 |    1224969 |   384831 |   194017 |   149837 |   850392 |    67387 |  0.526 |
2065.78/279.62	c (279,0) c |  6 |   1669 |    7688152 |    1064055 |   424075 |   165112 |   125102 |   875173 |    54385 |  0.523 |
2065.78/279.62	c (279,0) c |  7 |   1655 |    7501320 |    1143978 |   364497 |   127169 |   138754 |   861358 |    57821 |  0.525 |
2065.78/279.62	c (279,0) c 
2065.78/279.62	c (279,0) c synthesis     8252773 conflicts  8300227489 propagations     4172 conflicts/sec  4195893 propagations/sec
2065.78/279.62	c (279,0) c Total Memory so far : 3106.41Mb
2065.78/279.62	c (279,0) c
2065.78/279.62	c (279,0) c |-------------------------------------------------------------------------------------------------------|
2065.78/279.62	c (279,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2065.78/279.62	c (279,0) c |-------------------------------------------------------------------------------------------------------|
2065.78/279.62	c (279,0) c |  0 |   1545 |    7112580 |     740240 |   373573 |   138684 |    89321 |   922198 |    45952 |  0.523 |
2065.78/279.62	c (279,0) c |  1 |   1425 |    6947654 |     911569 |   345707 |   138692 |   116203 |   892510 |    41495 |  0.523 |
2065.78/279.62	c (279,0) c |  2 |   1823 |    6034978 |    1119756 |   376385 |   192782 |   123452 |   887935 |    51497 |  0.523 |
2065.78/279.62	c (279,0) c |  3 |   1716 |    8826266 |    1008131 |   422481 |   170449 |   125623 |   886521 |    48451 |  0.523 |
2065.78/279.62	c (279,0) c |  4 |   1603 |    6764209 |    1136681 |   384828 |   162437 |   137493 |   874872 |    45083 |  0.525 |
2177.43/293.62	c (293,0) c |  5 |   1806 |    8784580 |    1253697 |   386080 |   222745 |   151758 |   860514 |    68454 |  0.526 |
2177.43/293.62	c (293,0) c |  6 |   1713 |    7774668 |    1103554 |   425382 |   117762 |   129227 |   882587 |    56803 |  0.523 |
2177.43/293.62	c (293,0) c |  7 |   1672 |    7553399 |    1175250 |   365819 |   158441 |   139340 |   872800 |    58616 |  0.525 |
2177.43/293.62	c (293,0) c 
2177.43/293.62	c (293,0) c synthesis     8448884 conflicts  8458835192 propagations     4187 conflicts/sec  4191664 propagations/sec
2177.43/293.62	c (293,0) c Total Memory so far : 3109.02Mb
2177.43/293.62	c (293,0) c
2177.43/293.62	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2177.43/293.62	c (293,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2177.43/293.62	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2177.43/293.62	c (293,0) c |  0 |   1569 |    7185318 |     750952 |   376353 |    78780 |    89918 |   933360 |    46132 |  0.523 |
2177.43/293.62	c (293,0) c |  1 |   1449 |    6975835 |     920558 |   349313 |   147681 |   116628 |   906239 |    41854 |  0.523 |
2177.43/293.62	c (293,0) c |  2 |   1838 |    6066935 |    1136431 |   377086 |   124695 |   124586 |   897479 |    52322 |  0.523 |
2177.43/293.62	c (293,0) c |  3 |   1758 |    8903759 |    1026996 |   430550 |   109448 |   127297 |   895818 |    49440 |  0.523 |
2177.43/293.62	c (293,0) c |  4 |   1627 |    6809084 |    1163830 |   384991 |   189586 |   139503 |   883715 |    45732 |  0.525 |
2177.43/293.62	c (293,0) c |  5 |   1830 |    8846338 |    1280924 |   386688 |   157160 |   154017 |   868664 |    69426 |  0.526 |
2177.43/293.62	c (293,0) c |  6 |   1750 |    7837872 |    1129626 |   426922 |   143835 |   130999 |   892007 |    57629 |  0.523 |
2177.43/293.62	c (293,0) c |  7 |   1713 |    7624819 |    1195421 |   367245 |   178612 |   140362 |   882106 |    60440 |  0.525 |
2177.43/293.62	c (293,0) c 
2177.43/293.62	c (293,0) c synthesis     8604745 conflicts  8580618866 propagations     4198 conflicts/sec  4186121 propagations/sec
2177.43/293.62	c (293,0) c Total Memory so far : 3062.17Mb
2177.43/293.62	c (293,0) c
2177.43/293.62	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2177.43/293.62	c (293,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2177.43/293.62	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2177.43/293.62	c (293,0) c |  0 |   1594 |    7257416 |     790615 |   391942 |   118443 |    97326 |   945682 |    47873 |  0.523 |
2177.43/293.62	c (293,0) c |  1 |   1485 |    7015519 |     941007 |   350064 |   168130 |   117713 |   925606 |    42603 |  0.523 |
2177.43/293.62	c (293,0) c |  2 |   1876 |    6132236 |    1157536 |   378650 |   145801 |   126116 |   918512 |    53593 |  0.523 |
2177.43/293.62	c (293,0) c |  3 |   1806 |    8960867 |    1046733 |   433912 |   129185 |   128217 |   916304 |    50178 |  0.523 |
2177.43/293.62	c (293,0) c |  4 |   1669 |    6899154 |    1198174 |   387434 |   135746 |   143310 |   901405 |    48041 |  0.525 |
2177.43/293.62	c (293,0) c |  5 |   1890 |    8930163 |    1313829 |   388219 |   190065 |   157258 |   886388 |    71441 |  0.526 |
2177.43/293.62	c (293,0) c |  6 |   1777 |    7895887 |    1152554 |   430238 |   166763 |   133479 |   909815 |    59796 |  0.523 |
2177.43/293.62	c (293,0) c |  7 |   1749 |    7717016 |    1233509 |   371963 |   126841 |   141427 |   903296 |    62032 |  0.525 |
2177.43/293.62	c (293,0) c 
2177.43/293.62	c (293,0) c synthesis     8833959 conflicts  8741373011 propagations     4228 conflicts/sec  4183286 propagations/sec
2177.43/293.62	c (293,0) c Total Memory so far : 3114.22Mb
2177.43/293.62	c (293,0) c
2177.43/293.62	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2177.43/293.62	c (293,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2177.43/293.62	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2177.43/293.62	c (293,0) c |  0 |   1613 |    7312263 |     821417 |   398893 |    88827 |   101158 |   958512 |    48949 |  0.523 |
2177.43/293.62	c (293,0) c |  1 |   1492 |    7024824 |     947347 |   350255 |   174469 |   117930 |   942748 |    42655 |  0.523 |
2177.43/293.62	c (293,0) c |  2 |   1911 |    6186879 |    1186189 |   378672 |   174454 |   127804 |   932904 |    55056 |  0.523 |
2177.43/293.62	c (293,0) c |  3 |   1813 |    8995709 |    1072235 |   433912 |   154687 |   129085 |   931712 |    50546 |  0.523 |
2177.43/293.62	c (293,0) c |  4 |   1705 |    6970546 |    1232841 |   388750 |   170413 |   146308 |   913814 |    49776 |  0.525 |
2177.43/293.62	c (293,0) c |  5 |   1922 |    9006713 |    1359216 |   388281 |   235452 |   160382 |   900188 |    72759 |  0.526 |
2297.00/308.62	c (308,0) c |  6 |   1812 |    7972839 |    1179433 |   431230 |   193642 |   135788 |   924028 |    61617 |  0.523 |
2297.00/308.62	c (308,0) c |  7 |   1801 |    7761120 |    1249520 |   375937 |   142852 |   142409 |   915977 |    62911 |  0.525 |
2297.00/308.62	c (308,0) c 
2297.00/308.62	c (308,0) c synthesis     9048210 conflicts  8895191925 propagations     4249 conflicts/sec  4177307 propagations/sec
2297.00/308.62	c (308,0) c Total Memory so far : 3263.69Mb
2297.00/308.62	c (308,0) c
2297.00/308.62	c (308,0) c |-------------------------------------------------------------------------------------------------------|
2297.00/308.62	c (308,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2297.00/308.62	c (308,0) c |-------------------------------------------------------------------------------------------------------|
2297.00/308.62	c (308,0) c |  0 |   1632 |    7350714 |     842285 |   402533 |   109695 |   102448 |   968209 |    49578 |  0.526 |
2297.00/308.62	c (308,0) c |  1 |   1492 |    7029501 |     950750 |   350313 |    95238 |   118033 |   942748 |    42657 |  0.523 |
2297.00/308.62	c (308,0) c |  2 |   1958 |    6423646 |    1216083 |   381440 |   204345 |   130830 |   940734 |    57879 |  0.526 |
2297.00/308.62	c (308,0) c |  3 |   1827 |    9045777 |    1096583 |   434545 |   179035 |   130091 |   941520 |    50939 |  0.526 |
2297.00/308.62	c (308,0) c |  4 |   1769 |    7062915 |    1248421 |   395659 |   185992 |   147324 |   924357 |    50644 |  0.528 |
2297.00/308.62	c (308,0) c |  5 |   1966 |    9088704 |    1390544 |   389807 |   169014 |   161950 |   909301 |    74093 |  0.529 |
2297.00/308.62	c (308,0) c |  6 |   1835 |    8018105 |    1200523 |   431817 |   214731 |   137545 |   934266 |    63232 |  0.526 |
2297.00/308.62	c (308,0) c |  7 |   1838 |    7818915 |    1268721 |   381791 |   162053 |   143607 |   928177 |    63571 |  0.528 |
2297.00/308.62	c (308,0) c 
2297.00/308.62	c (308,0) c synthesis     9213923 conflicts  9047697514 propagations     4248 conflicts/sec  4171022 propagations/sec
2297.00/308.62	c (308,0) c Total Memory so far : 3271.16Mb
2297.00/308.62	c (308,0) c
2297.00/308.62	c (308,0) c |-------------------------------------------------------------------------------------------------------|
2297.00/308.62	c (308,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2297.00/308.62	c (308,0) c |-------------------------------------------------------------------------------------------------------|
2297.00/308.62	c (308,0) c |  0 |   1665 |    7417276 |     870664 |   403857 |   138074 |   104352 |   978062 |    51081 |  0.526 |
2297.00/308.62	c (308,0) c |  1 |   1494 |    7036927 |     956000 |   350343 |   100487 |   118324 |   964479 |    42678 |  0.526 |
2297.00/308.62	c (308,0) c |  2 |   1987 |    6506216 |    1260024 |   382733 |   150855 |   133894 |   947875 |    59584 |  0.526 |
2297.00/308.62	c (308,0) c |  3 |   1852 |    9093247 |    1117568 |   436118 |   200019 |   131171 |   951736 |    51519 |  0.526 |
2297.00/308.62	c (308,0) c |  4 |   1803 |    7135446 |    1280785 |   397125 |   218356 |   149971 |   932126 |    52367 |  0.528 |
2297.00/308.62	c (308,0) c |  5 |   2015 |    9146349 |    1415261 |   391398 |   193731 |   162574 |   920314 |    75149 |  0.529 |
2297.00/308.62	c (308,0) c |  6 |   1871 |    8146321 |    1219192 |   435430 |   140192 |   138652 |   944107 |    63770 |  0.526 |
2297.00/308.62	c (308,0) c |  7 |   1900 |    7872663 |    1278079 |   386643 |   171411 |   143981 |   938694 |    63717 |  0.528 |
2297.00/308.62	c (308,0) c 
2297.00/308.62	c (308,0) c synthesis     9397581 conflicts  9203647206 propagations     4254 conflicts/sec  4166497 propagations/sec
2297.00/308.62	c (308,0) c Total Memory so far : 3271.16Mb
2297.00/308.62	c (308,0) c
2297.00/308.62	c (308,0) c |-------------------------------------------------------------------------------------------------------|
2297.00/308.62	c (308,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2297.00/308.62	c (308,0) c |-------------------------------------------------------------------------------------------------------|
2297.00/308.62	c (308,0) c |  0 |   1698 |    7467059 |     892623 |   404444 |   160033 |   105945 |   986998 |    52003 |  0.529 |
2297.00/308.62	c (308,0) c |  1 |   1497 |    7047787 |     963632 |   350409 |   108119 |   118801 |   974419 |    42693 |  0.529 |
2297.00/308.62	c (308,0) c |  2 |   2030 |    6592797 |    1277152 |   386355 |   167983 |   135011 |   958590 |    60110 |  0.529 |
2297.00/308.62	c (308,0) c |  3 |   1893 |    9194188 |    1136648 |   438206 |   123147 |   132999 |   960589 |    52037 |  0.529 |
2297.00/308.62	c (308,0) c |  4 |   1839 |    7188822 |    1306163 |   398200 |   146684 |   151653 |   941948 |    53305 |  0.531 |
2297.00/308.62	c (308,0) c |  5 |   2056 |    9214869 |    1442612 |   392548 |   221082 |   163827 |   929095 |    76805 |  0.532 |
2297.00/308.62	c (308,0) c |  6 |   1930 |    8274342 |    1240484 |   436851 |   161484 |   140070 |   953364 |    65538 |  0.529 |
2408.68/322.62	c (322,0) c |  7 |   1952 |    7935036 |    1297183 |   391034 |   190514 |   145332 |   948072 |    65423 |  0.531 |
2408.68/322.62	c (322,0) c 
2408.68/322.62	c (322,0) c synthesis     9556501 conflicts  9358636932 propagations     4250 conflicts/sec  4161666 propagations/sec
2408.68/322.62	c (322,0) c Total Memory so far : 3240.90Mb
2408.68/322.62	c (322,0) c
2408.68/322.62	c (322,0) c |-------------------------------------------------------------------------------------------------------|
2408.68/322.62	c (322,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2408.68/322.62	c (322,0) c |-------------------------------------------------------------------------------------------------------|
2408.68/322.62	c (322,0) c |  0 |   1722 |    7543961 |     924611 |   405775 |   115220 |   108648 |   998087 |    53031 |  0.529 |
2408.68/322.62	c (322,0) c |  1 |   1542 |    7114425 |     982943 |   352359 |   127430 |   121158 |   987259 |    43309 |  0.529 |
2408.68/322.62	c (322,0) c |  2 |   2087 |    6812977 |    1281321 |   393899 |   172151 |   135145 |   972918 |    60226 |  0.529 |
2408.68/322.62	c (322,0) c |  3 |   1928 |    9543508 |    1146679 |   441414 |   133178 |   133899 |   974310 |    52274 |  0.529 |
2408.68/322.62	c (322,0) c |  4 |   1884 |    7293444 |    1344932 |   398949 |   185453 |   155892 |   952298 |    54979 |  0.531 |
2408.68/322.62	c (322,0) c |  5 |   2098 |    9302830 |    1469666 |   393928 |   248136 |   164667 |   943649 |    78185 |  0.532 |
2408.68/322.62	c (322,0) c |  6 |   1958 |    8316731 |    1263843 |   437287 |   184843 |   141092 |   967337 |    66669 |  0.529 |
2408.68/322.62	c (322,0) c |  7 |   1969 |    7997045 |    1326921 |   392699 |   220252 |   147994 |   959473 |    67277 |  0.531 |
2408.68/322.62	c (322,0) c 
2408.68/322.62	c (322,0) c synthesis     9740932 conflicts  9520384691 propagations     4256 conflicts/sec  4159871 propagations/sec
2408.68/322.62	c (322,0) c Total Memory so far : 3240.90Mb
2408.68/322.62	c (322,0) c
2408.68/322.62	c (322,0) c |-------------------------------------------------------------------------------------------------------|
2408.68/322.62	c (322,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2408.68/322.62	c (322,0) c |-------------------------------------------------------------------------------------------------------|
2408.68/322.62	c (322,0) c |  0 |   1745 |    7608637 |     950202 |   409310 |   140810 |   110742 |  1013111 |    53493 |  0.529 |
2408.68/322.62	c (322,0) c |  1 |   1593 |    7178050 |     996480 |   360021 |   140967 |   122667 |  1001433 |    44322 |  0.529 |
2408.68/322.62	c (322,0) c |  2 |   2135 |    6888057 |    1308417 |   397425 |   199247 |   138017 |   986637 |    62182 |  0.529 |
2408.68/322.62	c (322,0) c |  3 |   1969 |    9610481 |    1173053 |   442995 |   159552 |   137503 |   987009 |    53691 |  0.529 |
2408.68/322.62	c (322,0) c |  4 |   1954 |    7367286 |    1370182 |   401165 |   210703 |   157799 |   965571 |    56044 |  0.531 |
2408.68/322.62	c (322,0) c |  5 |   2156 |    9357385 |    1488914 |   395980 |   163009 |   165287 |   959377 |    79223 |  0.532 |
2408.68/322.62	c (322,0) c |  6 |   2023 |    8389883 |    1279069 |   440233 |   200069 |   141970 |   982357 |    67250 |  0.529 |
2408.68/322.62	c (322,0) c |  7 |   2011 |    8099472 |    1361980 |   395152 |   154989 |   150724 |   973964 |    69301 |  0.531 |
2408.68/322.62	c (322,0) c 
2408.68/322.62	c (322,0) c synthesis     9928300 conflicts  9678006550 propagations     4264 conflicts/sec  4156420 propagations/sec
2408.68/322.62	c (322,0) c Total Memory so far : 3143.07Mb
2408.68/322.62	c (322,0) c
2408.68/322.62	c (322,0) c |-------------------------------------------------------------------------------------------------------|
2408.68/322.62	c (322,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2408.68/322.62	c (322,0) c |-------------------------------------------------------------------------------------------------------|
2408.68/322.62	c (322,0) c |  0 |   1778 |    7655354 |     971140 |   410708 |   161748 |   112097 |  1028625 |    54699 |  0.529 |
2408.68/322.62	c (322,0) c |  1 |   1615 |    7236886 |    1026963 |   360116 |   102260 |   126323 |  1014500 |    45429 |  0.529 |
2408.68/322.62	c (322,0) c |  2 |   2166 |    6948502 |    1338454 |   398064 |   229285 |   140252 |  1000538 |    63739 |  0.529 |
2408.68/322.62	c (322,0) c |  3 |   1979 |    9652383 |    1200246 |   443533 |   186745 |   139286 |  1001510 |    53999 |  0.529 |
2408.68/322.62	c (322,0) c |  4 |   1985 |    7428269 |    1400876 |   401432 |   141845 |   160502 |   979840 |    57226 |  0.531 |
2408.68/322.62	c (322,0) c |  5 |   2191 |    9390204 |    1503150 |   398129 |   177245 |   165584 |   973041 |    79662 |  0.532 |
2408.68/322.62	c (322,0) c |  6 |   2076 |    8433920 |    1289264 |   442479 |   210263 |   142506 |   998241 |    68025 |  0.529 |
2512.38/335.62	c (335,0) c |  7 |   2045 |    8181600 |    1403709 |   395540 |   196718 |   154330 |   986523 |    71843 |  0.531 |
2512.38/335.62	c (335,0) c 
2512.38/335.62	c (335,0) c synthesis    10133807 conflicts  9802418729 propagations     4293 conflicts/sec  4152980 propagations/sec
2512.38/335.62	c (335,0) c Total Memory so far : 3192.55Mb
2512.38/335.62	c (335,0) c
2512.38/335.62	c (335,0) c |-------------------------------------------------------------------------------------------------------|
2512.38/335.62	c (335,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2512.38/335.62	c (335,0) c |-------------------------------------------------------------------------------------------------------|
2512.38/335.62	c (335,0) c |  0 |   1811 |    7709229 |     995531 |   411346 |   186140 |   114110 |  1038377 |    55998 |  0.529 |
2512.38/335.62	c (335,0) c |  1 |   1648 |    7280431 |    1035781 |   363408 |   111078 |   126784 |  1026391 |    45597 |  0.529 |
2512.38/335.62	c (335,0) c |  2 |   2184 |    7006615 |    1369957 |   398312 |   162694 |   142821 |  1008656 |    64866 |  0.529 |
2512.38/335.62	c (335,0) c |  3 |   2004 |    9714651 |    1225401 |   444278 |   135491 |   139738 |  1013278 |    54480 |  0.529 |
2512.38/335.62	c (335,0) c |  4 |   2004 |    7471177 |    1426724 |   401535 |   167693 |   162316 |   990901 |    57693 |  0.531 |
2512.38/335.62	c (335,0) c |  5 |   2231 |    9444017 |    1521568 |   402092 |   195663 |   166244 |   986709 |    81322 |  0.532 |
2512.38/335.62	c (335,0) c |  6 |   2097 |    8481798 |    1315015 |   443034 |   135891 |   143850 |  1009368 |    69954 |  0.529 |
2512.38/335.62	c (335,0) c |  7 |   2069 |    8244959 |    1432528 |   396671 |   225536 |   157396 |   995398 |    73699 |  0.531 |
2512.38/335.62	c (335,0) c 
2512.38/335.62	c (335,0) c synthesis    10322519 conflicts  9924396880 propagations     4315 conflicts/sec  4148661 propagations/sec
2512.38/335.62	c (335,0) c Total Memory so far : 3194.03Mb
2512.38/335.62	c (335,0) c
2512.38/335.62	c (335,0) c |-------------------------------------------------------------------------------------------------------|
2512.38/335.62	c (335,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2512.38/335.62	c (335,0) c |-------------------------------------------------------------------------------------------------------|
2512.38/335.62	c (335,0) c |  0 |   1814 |    7740462 |    1022419 |   411413 |   126701 |   115143 |  1047645 |    56193 |  0.530 |
2512.38/335.62	c (335,0) c |  1 |   1691 |    7316777 |    1049312 |   364438 |   124609 |   127600 |  1035069 |    45853 |  0.530 |
2512.38/335.62	c (335,0) c |  2 |   2228 |    7073175 |    1395981 |   402194 |   188719 |   144389 |  1018368 |    65932 |  0.530 |
2512.38/335.62	c (335,0) c |  3 |   2043 |    9770624 |    1237746 |   445899 |   147837 |   140133 |  1022613 |    54738 |  0.530 |
2512.38/335.62	c (335,0) c |  4 |   2040 |    7523731 |    1451402 |   401598 |   192371 |   164569 |   998184 |    58987 |  0.532 |
2512.38/335.62	c (335,0) c |  5 |   2270 |    9506926 |    1551015 |   402109 |   225109 |   167236 |   995550 |    82971 |  0.533 |
2512.38/335.62	c (335,0) c |  6 |   2142 |    8543197 |    1331884 |   444203 |   152760 |   144716 |  1018012 |    70745 |  0.530 |
2512.38/335.62	c (335,0) c |  7 |   2101 |    8294690 |    1453747 |   397632 |   246755 |   159003 |  1002748 |    74848 |  0.532 |
2512.38/335.62	c (335,0) c 
2512.38/335.62	c (335,0) c synthesis    10493513 conflicts 10045939538 propagations     4329 conflicts/sec  4144292 propagations/sec
2512.38/335.62	c (335,0) c Total Memory so far : 3412.36Mb
2512.38/335.62	c (335,0) c
2512.38/335.62	c (335,0) c |-------------------------------------------------------------------------------------------------------|
2512.38/335.62	c (335,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2512.38/335.62	c (335,0) c |-------------------------------------------------------------------------------------------------------|
2512.38/335.62	c (335,0) c |  0 |   1859 |    7907027 |    1051189 |   414976 |   155468 |   117118 |  1054548 |    57482 |  0.530 |
2512.38/335.62	c (335,0) c |  1 |   1723 |    7393052 |    1067053 |   367320 |   142350 |   128480 |  1042511 |    46168 |  0.530 |
2512.38/335.62	c (335,0) c |  2 |   2253 |    7135101 |    1423007 |   405634 |   215744 |   145366 |  1021770 |    66589 |  0.530 |
2512.38/335.62	c (335,0) c |  3 |   2077 |    9916547 |    1242097 |   452145 |   152188 |   140217 |  1031984 |    54847 |  0.530 |
2512.38/335.62	c (335,0) c |  4 |   2082 |    7592924 |    1482383 |   401912 |   223352 |   167687 |  1004959 |    60981 |  0.532 |
2512.38/335.62	c (335,0) c |  5 |   2324 |    9577394 |    1580532 |   404961 |   254627 |   168064 |  1003198 |    84755 |  0.533 |
2512.38/335.62	c (335,0) c |  6 |   2188 |    8580095 |    1347172 |   445153 |   168048 |   145396 |  1026857 |    71248 |  0.530 |
2512.38/335.62	c (335,0) c |  7 |   2119 |    8331155 |    1474304 |   398042 |   165184 |   160321 |  1012028 |    75477 |  0.532 |
2512.38/335.62	c (335,0) c 
2580.96/344.21	c (343,0) receiving signal SIGTERM
2580.96/344.21	s UNKNOWN
41.69/344.37	c (343,0) c synthesis    10667743 conflicts 10200263623 propagations     4330 conflict
41.69/344.37	c (343,20) SatSolver is killed by some reasons.
41.69/344.37	c (343,20) 0,0,9,10,10,10,20,TO,TO,STOP-AFTER(DIMACS)
41.69/344.37	c END-Prog: Fri Jul 27 06:20:43 CEST 2018

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12787 MiB free)
  memory of node 1: 16384 MiB (14749 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297138-1532664899/watcher-4297138-1532664899 -o /tmp/evaluation-result-4297138-1532664899/solver-4297138-1532664899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532653186-16741 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297138-1532664899.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18584, runsolver pid=18581
Current StackSize limit: 8192 KiB


[startup+0.100142 s]*
/proc/loadavg: 8.06 7.60 5.45 2/198 18604
/proc/meminfo: memFree=28103372/32770624 swapFree=67108792/67108860
[pid=18584] ppid=18581 vsize=27312552 memory=108832 CPUtime=0.11 cores=0-7
/proc/18584/stat : 18584 (java) S 18581 18584 16714 0 -1 1077944320 6713 0 0 0 9 2 0 0 20 0 20 0 84053153 27968053248 27208 33554432000 4194304 4196468 140730659035600 140730659018144 140172164439799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
/proc/18584/statm: 6828138 27208 2751 1 0 6790598 0
[pid=18584/tid=18586] ppid=18581 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18584/task/18586/stat : 18586 (java) R 18581 18584 16714 0 -1 4202560 4834 0 0 0 7 2 0 0 20 0 20 0 84053153 27968053248 27208 33554432000 4194304 4196468 140730659035600 140172136224864 140172148520286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18587] ppid=18581 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18584/task/18587/stat : 18587 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 27208 33554432000 4194304 4196468 140730659035600 140172168682640 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18588] ppid=18581 vsize=27312552 memory=140250238830208 CPUtime=0 cores=0-7
/proc/18584/task/18588/stat : 18588 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 27208 33554432000 4194304 4196468 140730659035600 140171982838800 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18589] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18589/stat : 18589 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 27208 33554432000 4194304 4196468 140730659035600 140171981786000 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18590] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18590/stat : 18590 (java) S 18581 18584 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 27208 33554432000 4194304 4196468 140730659035600 140171980733200 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18591] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18591/stat : 18591 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 27208 33554432000 4194304 4196468 140730659035600 140171979680400 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18592] ppid=18581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18584/task/18592/stat : 18592 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 27208 33554432000 4194304 4196468 140730659035600 140171978627600 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18593] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18593/stat : 18593 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 27208 33554432000 4194304 4196468 140730659035600 140171977574800 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18594] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18594/stat : 18594 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 27208 33554432000 4194304 4196468 140730659035600 140171976522000 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18595] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18595/stat : 18595 (java) S 18581 18584 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84053157 27968053248 27208 33554432000 4194304 4196468 140730659035600 140170216070000 140172164450946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18596] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18596/stat : 18596 (java) S 18581 18584 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84053157 27968053248 27208 33554432000 4194304 4196468 140730659035600 140170082903584 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18597] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18597/stat : 18597 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053158 27968053248 27208 33554432000 4194304 4196468 140730659035600 140169814467952 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18598] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18598/stat : 18598 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 27208 33554432000 4194304 4196468 140730659035600 140169439959376 140172164458395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18599] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18599/stat : 18599 (java) S 18581 18584 16714 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 27208 33554432000 4194304 4196468 140730659035600 140170215016816 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18600] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18600/stat : 18600 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 27208 33554432000 4194304 4196468 140730659035600 140170213964016 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18601] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18601/stat : 18601 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 27208 33554432000 4194304 4196468 140730659035600 140170212911216 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18602] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18602/stat : 18602 (java) S 18581 18584 16714 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 27208 33554432000 4194304 4196468 140730659035600 140170211858416 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18603] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18603/stat : 18603 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 27208 33554432000 4194304 4196468 140730659035600 140168942054496 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18604] ppid=18581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18584/task/18604/stat : 18604 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053161 27968053248 27208 33554432000 4194304 4196468 140730659035600 140170210806832 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108832 KiB

[startup+0.210105 s]*
/proc/loadavg: 8.06 7.60 5.45 2/198 18604
/proc/meminfo: memFree=28087536/32770624 swapFree=67108792/67108860
[pid=18584] ppid=18581 vsize=27312552 memory=123280 CPUtime=0.25 cores=0-7
/proc/18584/stat : 18584 (java) S 18581 18584 16714 0 -1 1077944320 10550 0 0 0 22 3 0 0 20 0 20 0 84053153 27968053248 30820 33554432000 4194304 4196468 140730659035600 140730659018144 140172164439799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
/proc/18584/statm: 6828138 30820 2914 1 0 6790598 0
[pid=18584/tid=18586] ppid=18581 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/18584/task/18586/stat : 18586 (java) R 18581 18584 16714 0 -1 4202560 8479 0 0 0 17 2 0 0 20 0 20 0 84053153 27968053248 30820 33554432000 4194304 4196468 140730659035600 140172136268320 140172164461725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18587] ppid=18581 vsize=27312552 memory=10869 CPUtime=0 cores=0-7
/proc/18584/task/18587/stat : 18587 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 30820 33554432000 4194304 4196468 140730659035600 140172168682640 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18588] ppid=18581 vsize=27312552 memory=140250239327514 CPUtime=0 cores=0-7
/proc/18584/task/18588/stat : 18588 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 30820 33554432000 4194304 4196468 140730659035600 140171982838800 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18589] ppid=18581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18584/task/18589/stat : 18589 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 30820 33554432000 4194304 4196468 140730659035600 140171981786000 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18590] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18590/stat : 18590 (java) S 18581 18584 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 30820 33554432000 4194304 4196468 140730659035600 140171980733200 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18591] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18591/stat : 18591 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 30820 33554432000 4194304 4196468 140730659035600 140171979680400 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18592] ppid=18581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18584/task/18592/stat : 18592 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 30820 33554432000 4194304 4196468 140730659035600 140171978627600 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18593] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18593/stat : 18593 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 30820 33554432000 4194304 4196468 140730659035600 140171977574800 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18594] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18594/stat : 18594 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 30820 33554432000 4194304 4196468 140730659035600 140171976522000 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18595] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18595/stat : 18595 (java) S 18581 18584 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84053157 27968053248 30820 33554432000 4194304 4196468 140730659035600 140170216070000 140172164450946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18596] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18596/stat : 18596 (java) S 18581 18584 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84053157 27968053248 30820 33554432000 4194304 4196468 140730659035600 140170082903584 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18597] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18597/stat : 18597 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053158 27968053248 30820 33554432000 4194304 4196468 140730659035600 140169814467952 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18598] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18598/stat : 18598 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 30820 33554432000 4194304 4196468 140730659035600 140169439959376 140172164458395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18599] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18599/stat : 18599 (java) S 18581 18584 16714 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 30820 33554432000 4194304 4196468 140730659035600 140170215016816 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18600] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18600/stat : 18600 (java) S 18581 18584 16714 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 30820 33554432000 4194304 4196468 140730659035600 140170213964016 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18601] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18601/stat : 18601 (java) S 18581 18584 16714 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 30820 33554432000 4194304 4196468 140730659035600 140170212911216 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18602] ppid=18581 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/18584/task/18602/stat : 18602 (java) S 18581 18584 16714 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 20 0 84053160 27968053248 30820 33554432000 4194304 4196468 140730659035600 140170211858416 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18603] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18603/stat : 18603 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 30820 33554432000 4194304 4196468 140730659035600 140168942054496 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18604] ppid=18581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18584/task/18604/stat : 18604 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053161 27968053248 30820 33554432000 4194304 4196468 140730659035600 140170210806832 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123280 KiB

[startup+0.310044 s]*
/proc/loadavg: 8.06 7.60 5.45 2/198 18604
/proc/meminfo: memFree=28083752/32770624 swapFree=67108792/67108860
[pid=18584] ppid=18581 vsize=27312552 memory=126948 CPUtime=0.41 cores=0-7
/proc/18584/stat : 18584 (java) S 18581 18584 16714 0 -1 1077944320 11191 0 0 0 38 3 0 0 20 0 20 0 84053153 27968053248 31737 33554432000 4194304 4196468 140730659035600 140730659018144 140172164439799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
/proc/18584/statm: 6828138 31737 2953 1 0 6790598 0
[pid=18584/tid=18586] ppid=18581 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18584/task/18586/stat : 18586 (java) R 18581 18584 16714 0 -1 4202560 8926 0 0 0 27 2 0 0 20 0 20 0 84053153 27968053248 31737 33554432000 4194304 4196468 140730659035600 140172136244432 140172144715586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18587] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18587/stat : 18587 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 31737 33554432000 4194304 4196468 140730659035600 140172168682640 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18588] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18588/stat : 18588 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 31737 33554432000 4194304 4196468 140730659035600 140171982838800 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18589] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18589/stat : 18589 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 31737 33554432000 4194304 4196468 140730659035600 140171981786000 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18590] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18590/stat : 18590 (java) S 18581 18584 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 31737 33554432000 4194304 4196468 140730659035600 140171980733200 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18591] ppid=18581 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/18584/task/18591/stat : 18591 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 31737 33554432000 4194304 4196468 140730659035600 140171979680400 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18592] ppid=18581 vsize=27312552 memory=140250076771247 CPUtime=0 cores=0-7
/proc/18584/task/18592/stat : 18592 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 31737 33554432000 4194304 4196468 140730659035600 140171978627600 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18593] ppid=18581 vsize=27312552 memory=140250076773552 CPUtime=0 cores=0-7
/proc/18584/task/18593/stat : 18593 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 31737 33554432000 4194304 4196468 140730659035600 140171977574800 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18594] ppid=18581 vsize=27312552 memory=140250076775856 CPUtime=0 cores=0-7
/proc/18584/task/18594/stat : 18594 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27968053248 31737 33554432000 4194304 4196468 140730659035600 140171976522000 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18595] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18595/stat : 18595 (java) S 18581 18584 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84053157 27968053248 31737 33554432000 4194304 4196468 140730659035600 140170216070000 140172164450946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18596] ppid=18581 vsize=27312552 memory=280500153558672 CPUtime=0 cores=0-7
/proc/18584/task/18596/stat : 18596 (java) S 18581 18584 16714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84053157 27968053248 31737 33554432000 4194304 4196468 140730659035600 140170082903584 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18597] ppid=18581 vsize=27312552 memory=280500153565584 CPUtime=0 cores=0-7
/proc/18584/task/18597/stat : 18597 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053158 27968053248 31737 33554432000 4194304 4196468 140730659035600 140169814467952 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18598] ppid=18581 vsize=27312552 memory=280500153506864 CPUtime=0 cores=0-7
/proc/18584/task/18598/stat : 18598 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 31737 33554432000 4194304 4196468 140730659035600 140169439959376 140172164458395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18599] ppid=18581 vsize=27312552 memory=280500153579408 CPUtime=0.01 cores=0-7
/proc/18584/task/18599/stat : 18599 (java) S 18581 18584 16714 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 84053160 27968053248 31737 33554432000 4194304 4196468 140730659035600 140170215016816 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18600] ppid=18581 vsize=27312552 memory=280500153586320 CPUtime=0.01 cores=0-7
/proc/18584/task/18600/stat : 18600 (java) S 18581 18584 16714 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 20 0 84053160 27968053248 31737 33554432000 4194304 4196468 140730659035600 140170213964016 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18601] ppid=18581 vsize=27312552 memory=280500153584016 CPUtime=0 cores=0-7
/proc/18584/task/18601/stat : 18601 (java) S 18581 18584 16714 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 31737 33554432000 4194304 4196468 140730659035600 140170212911216 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18602] ppid=18581 vsize=27312552 memory=280500153600624 CPUtime=0.07 cores=0-7
/proc/18584/task/18602/stat : 18602 (java) S 18581 18584 16714 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 20 0 84053160 27968053248 31737 33554432000 4194304 4196468 140730659035600 140170211858416 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18603] ppid=18581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18603/stat : 18603 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053160 27968053248 31737 33554432000 4194304 4196468 140730659035600 140168942054496 140172164450005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18604] ppid=18581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18584/task/18604/stat : 18604 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053161 27968053248 31737 33554432000 4194304 4196468 140730659035600 140170210806832 140172164450946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 126948 KiB

[startup+0.700798 s]
/proc/loadavg: 8.06 7.60 5.45 2/198 18604
/proc/meminfo: memFree=28059320/32770624 swapFree=67108792/67108860
[pid=18584] ppid=18581 vsize=27318824 memory=167356 CPUtime=1.02 cores=0-7
/proc/18584/stat : 18584 (java) S 18581 18584 16714 0 -1 1077944320 18336 0 0 0 97 5 0 0 20 0 20 0 84053153 27974475776 41839 33554432000 4194304 4196468 140730659035600 140730659018144 140172164439799 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
/proc/18584/statm: 6829706 41839 3139 1 0 6791110 0
[pid=18584/tid=18586] ppid=18581 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7
/proc/18584/task/18586/stat : 18586 (java) R 18581 18584 16714 0 -1 4202560 15468 0 0 0 63 4 0 0 20 0 20 0 84053153 27974475776 41839 33554432000 4194304 4196468 140730659035600 140172136263568 140172164461725 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18587] ppid=18581 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18587/stat : 18587 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27974475776 41839 33554432000 4194304 4196468 140730659035600 140172168682640 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18588] ppid=18581 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18588/stat : 18588 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27974475776 41839 33554432000 4194304 4196468 140730659035600 140171982838800 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18589] ppid=18581 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/18584/task/18589/stat : 18589 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27974475776 41839 33554432000 4194304 4196468 140730659035600 140171981786000 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18590] ppid=18581 vsize=27318824 memory=792 CPUtime=0 cores=0-7
/proc/18584/task/18590/stat : 18590 (java) S 18581 18584 16714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84053155 27974475776 41839 33554432000 4194304 4196468 140730659035600 140171980733200 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18591] ppid=18581 vsize=27318824 memory=1008 CPUtime=0 cores=0-7
/proc/18584/task/18591/stat : 18591 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84053155 27974475776 41839 33554432000 4194304 4196468 140730659035600 140171979680400 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18592] ppid=18581 vsize=27318824 memory=1228 CPUtime=0 cores=0-7
/proc/18584/task/18592/stat : 18592 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27974475776 41839 33554432000 4194304 4196468 140730659035600 140171978627600 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18593] ppid=18581 vsize=27318824 memory=1200 CPUtime=0 cores=0-7
/proc/18584/task/18593/stat : 18593 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27974475776 41839 33554432000 4194304 4196468 140730659035600 140171977574800 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18594] ppid=18581 vsize=27318824 memory=15876 CPUtime=0 cores=0-7
/proc/18584/task/18594/stat : 18594 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84053155 27974475776 41839 33554432000 4194304 4196468 140730659035600 140171976522000 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18595] ppid=18581 vsize=27318824 memory=18268 CPUtime=0 cores=0-7
/proc/18584/task/18595/stat : 18595 (java) S 18581 18584 16714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84053157 27974475776 41839 33554432000 4194304 4196468 140730659035600 140170216070000 140172164450946 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0

################
# More data... #
################

/proc/18605/task/18612/stat : 18612 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 464092 0 0 0 31179 75 0 0 20 0 9 0 84055773 3820011520 767123 33554432000 4194304 4373367 140732508739344 140193792073072 4271597 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18613] ppid=18584 vsize=3730480 memory=6686200 CPUtime=315.83 cores=0-7
/proc/18605/task/18613/stat : 18613 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 400942 0 0 0 31496 87 0 0 20 0 9 0 84055773 3820011520 767123 33554432000 4194304 4373367 140732508739344 140193778011504 4271619 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18614] ppid=18584 vsize=3730480 memory=2777924 CPUtime=315.82 cores=0-7
/proc/18605/task/18614/stat : 18614 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 405686 0 0 0 31514 68 0 0 20 0 9 0 84055773 3820011520 767123 33554432000 4194304 4373367 140732508739344 140193769618232 4272341 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18615] ppid=18584 vsize=3730480 memory=1428 CPUtime=315.6 cores=0-7
/proc/18605/task/18615/stat : 18615 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 403401 0 0 0 31482 78 0 0 20 0 9 0 84055773 3820011520 767123 33554432000 4194304 4373367 140732508739344 140193761225872 4271769 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18616] ppid=18584 vsize=3730480 memory=6686200 CPUtime=312.52 cores=0-7
/proc/18605/task/18616/stat : 18616 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 392543 0 0 0 31186 66 0 0 20 0 9 0 84055773 3820011520 767123 33554432000 4194304 4373367 140732508739344 140193704557936 4272341 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18617] ppid=18584 vsize=3730480 memory=3020964 CPUtime=315.87 cores=0-7
/proc/18605/task/18617/stat : 18617 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 404114 0 0 0 31503 84 0 0 20 0 9 0 84055773 3820011520 767123 33554432000 4194304 4373367 140732508739344 140192221145928 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18618] ppid=18584 vsize=3730480 memory=6686200 CPUtime=315.86 cores=0-7
/proc/18605/task/18618/stat : 18618 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 405740 0 0 0 31502 84 0 0 20 0 9 0 84055773 3820011520 767123 33554432000 4194304 4373367 140732508739344 140192355364208 4258831 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18584/tid=18586] ppid=18581 vsize=27984808 memory=3016516 CPUtime=21.11 cores=0-7
/proc/18584/task/18586/stat : 18586 (java) S 18581 18584 16714 0 -1 1077944384 22225 0 0 0 2016 95 0 0 20 0 24 0 84053153 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140172136279040 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18587] ppid=18581 vsize=27984808 memory=4052 CPUtime=0.57 cores=0-7
/proc/18584/task/18587/stat : 18587 (java) S 18581 18584 16714 0 -1 1077944384 357 0 0 0 32 25 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140172168682640 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18588] ppid=18581 vsize=27984808 memory=644 CPUtime=0.57 cores=0-7
/proc/18584/task/18588/stat : 18588 (java) S 18581 18584 16714 0 -1 1077944384 345 0 0 0 31 26 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171982838800 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18589] ppid=18581 vsize=27984808 memory=6686200 CPUtime=0.56 cores=0-7
/proc/18584/task/18589/stat : 18589 (java) S 18581 18584 16714 0 -1 1077944384 355 0 0 0 32 24 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171981786000 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18590] ppid=18581 vsize=27984808 memory=3018880 CPUtime=0.57 cores=0-7
/proc/18584/task/18590/stat : 18590 (java) S 18581 18584 16714 0 -1 1077944384 348 0 0 0 33 24 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171980733200 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18591] ppid=18581 vsize=27984808 memory=6686200 CPUtime=0.57 cores=0-7
/proc/18584/task/18591/stat : 18591 (java) S 18581 18584 16714 0 -1 1077944384 373 0 0 0 32 25 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171979680400 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18592] ppid=18581 vsize=27984808 memory=437 CPUtime=0.55 cores=0-7
/proc/18584/task/18592/stat : 18592 (java) S 18581 18584 16714 0 -1 1077944384 399 0 0 0 31 24 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171978627600 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18593] ppid=18581 vsize=27984808 memory=6686200 CPUtime=0.56 cores=0-7
/proc/18584/task/18593/stat : 18593 (java) S 18581 18584 16714 0 -1 1077944384 360 0 0 0 32 24 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171977574800 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18594] ppid=18581 vsize=27984808 memory=3053460 CPUtime=0.57 cores=0-7
/proc/18584/task/18594/stat : 18594 (java) S 18581 18584 16714 0 -1 1077944384 357 0 0 0 32 25 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171976522000 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18595] ppid=18581 vsize=27984808 memory=6686200 CPUtime=0.02 cores=0-7
/proc/18584/task/18595/stat : 18595 (java) S 18581 18584 16714 0 -1 1077944384 31 0 0 0 2 0 0 0 20 0 24 0 84053157 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170216070000 140172164450946 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18596] ppid=18581 vsize=27984808 memory=2977540 CPUtime=0 cores=0-7
/proc/18584/task/18596/stat : 18596 (java) S 18581 18584 16714 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84053157 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170082903648 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18597] ppid=18581 vsize=27984808 memory=2981512 CPUtime=0 cores=0-7
/proc/18584/task/18597/stat : 18597 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84053158 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140169814467968 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18598] ppid=18581 vsize=27984808 memory=280500154927792 CPUtime=0 cores=0-7
/proc/18584/task/18598/stat : 18598 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140169439959376 140172164458395 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18599] ppid=18581 vsize=27984808 memory=6686200 CPUtime=5.37 cores=0-7
/proc/18584/task/18599/stat : 18599 (java) S 18581 18584 16714 0 -1 1077944384 9885 0 0 0 534 3 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170215016816 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18600] ppid=18581 vsize=27984808 memory=3063988 CPUtime=4.37 cores=0-7
/proc/18584/task/18600/stat : 18600 (java) S 18581 18584 16714 0 -1 1077944384 4568 0 0 0 435 2 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170213964016 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18601] ppid=18581 vsize=27984808 memory=1792 CPUtime=4.21 cores=0-7
/proc/18584/task/18601/stat : 18601 (java) S 18581 18584 16714 0 -1 1077944384 4134 0 0 0 420 1 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170212911216 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18602] ppid=18581 vsize=27984808 memory=1232 CPUtime=1.73 cores=0-7
/proc/18584/task/18602/stat : 18602 (java) S 18581 18584 16714 0 -1 1077944384 4284 0 0 0 171 2 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170211858416 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18603] ppid=18581 vsize=27984808 memory=956 CPUtime=0 cores=0-7
/proc/18584/task/18603/stat : 18603 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140168942054496 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18604] ppid=18581 vsize=27984808 memory=-5155631280135892357 CPUtime=0.16 cores=0-7
/proc/18584/task/18604/stat : 18604 (java) S 18581 18584 16714 0 -1 1077944384 25 0 0 0 9 7 0 0 20 0 24 0 84053161 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170210806832 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18606] ppid=18581 vsize=27984808 memory=6686200 CPUtime=0 cores=0-7
/proc/18584/task/18606/stat : 18606 (java) S 18581 18584 16714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84055342 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171559634496 140172164464409 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18608] ppid=18581 vsize=27984808 memory=3029944 CPUtime=0.02 cores=0-7
/proc/18584/task/18608/stat : 18608 (java) S 18581 18584 16714 0 -1 4202560 51 0 0 0 2 0 0 0 20 0 24 0 84055342 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140168270954240 140172164461725 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18609] ppid=18581 vsize=27984808 memory=6686200 CPUtime=0 cores=0-7
/proc/18584/task/18609/stat : 18609 (java) S 18581 18584 16714 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 84055342 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140168539389360 140172164461725 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18610] ppid=18581 vsize=27984808 memory=6686200 CPUtime=0 cores=0-7
/proc/18584/task/18610/stat : 18610 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84055344 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140168002526240 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
Current children cumulated CPU time: 2565.81 s
Current children cumulated vsize: 31715288 KiB
Current children cumulated memory: 9754692 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+344.202 s]
/proc/loadavg: 8.39 7.86 6.18 9/211 18626
/proc/meminfo: memFree=18377312/32770624 swapFree=67108792/67108860
[pid=18584] ppid=18581 vsize=27984808 memory=6686200 CPUtime=41.69 cores=0-7
/proc/18584/stat : 18584 (java) S 18581 18584 16714 0 -1 1077944320 49471 0 0 0 3860 309 0 0 20 0 24 0 84053153 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140730659018144 140172164439799 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
/proc/18584/statm: 6996202 1671550 3254 1 0 6957058 0
[pid=18605] ppid=18584 vsize=3810620 memory=3077076 CPUtime=2539.27 cores=0-7
/proc/18605/stat : 18605 (glucose-syrup) S 18584 18584 16714 0 -1 1077944320 3845008 0 0 0 253219 708 0 0 20 0 9 0 84055341 3902074880 769269 33554432000 4194304 4373367 140732508739344 140732508737888 140193841769090 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
/proc/18605/statm: 952655 769269 388 44 0 948343 0
[pid=18605/tid=18611] ppid=18584 vsize=3876156 memory=840 CPUtime=317.56 cores=0-7
/proc/18605/task/18611/stat : 18611 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 621691 0 0 0 31647 109 0 0 20 0 9 0 84055773 3969183744 769269 33554432000 4194304 4373367 140732508739344 140193807940976 4259410 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18612] ppid=18584 vsize=3876156 memory=1800 CPUtime=314.44 cores=0-7
/proc/18605/task/18612/stat : 18612 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 464153 0 0 0 31369 75 0 0 20 0 9 0 84055773 3969183744 769269 33554432000 4194304 4373367 140732508739344 140193792073072 4271817 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18613] ppid=18584 vsize=3876156 memory=920 CPUtime=317.73 cores=0-7
/proc/18605/task/18613/stat : 18613 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 401505 0 0 0 31686 87 0 0 20 0 9 0 84055773 3969183744 769269 33554432000 4194304 4373367 140732508739344 140193778011280 4258831 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18614] ppid=18584 vsize=3876156 memory=4780 CPUtime=317.72 cores=0-7
/proc/18605/task/18614/stat : 18614 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 406015 0 0 0 31704 68 0 0 20 0 9 0 84055773 3969183744 769269 33554432000 4194304 4373367 140732508739344 140193769618752 140193827047139 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18615] ppid=18584 vsize=3876156 memory=1412 CPUtime=317.45 cores=0-7
/proc/18605/task/18615/stat : 18615 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 403785 0 0 0 31667 78 0 0 20 0 9 0 84055773 3969183744 769269 33554432000 4194304 4373367 140732508739344 140193761225672 4342806 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18616] ppid=18584 vsize=3876156 memory=3920 CPUtime=314.42 cores=0-7
/proc/18605/task/18616/stat : 18616 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 393489 0 0 0 31376 66 0 0 20 0 9 0 84055773 3969183744 769269 33554432000 4194304 4373367 140732508739344 140193704557840 4271761 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18617] ppid=18584 vsize=3876156 memory=288230574492221466 CPUtime=317.77 cores=0-7
/proc/18605/task/18617/stat : 18617 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 405067 0 0 0 31693 84 0 0 20 0 9 0 84055773 3969183744 769269 33554432000 4194304 4373367 140732508739344 140192221146480 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18605/tid=18618] ppid=18584 vsize=3876156 memory=288230583166042426 CPUtime=317.76 cores=0-7
/proc/18605/task/18618/stat : 18618 (glucose-syrup) R 18584 18584 16714 0 -1 4202560 405778 0 0 0 31692 84 0 0 20 0 9 0 84055773 3969183744 769269 33554432000 4194304 4373367 140732508739344 140192355364208 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 28123136 140732508746671 140732508746924 140732508746924 140732508749767 0
[pid=18584/tid=18586] ppid=18581 vsize=27984808 memory=13573716680378929 CPUtime=21.11 cores=0-7
/proc/18584/task/18586/stat : 18586 (java) S 18581 18584 16714 0 -1 1077944384 22225 0 0 0 2016 95 0 0 20 0 24 0 84053153 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140172136279040 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18587] ppid=18581 vsize=27984808 memory=445504 CPUtime=0.57 cores=0-7
/proc/18584/task/18587/stat : 18587 (java) S 18581 18584 16714 0 -1 1077944384 357 0 0 0 32 25 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140172168682640 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18588] ppid=18581 vsize=27984808 memory=-7522837583129502606 CPUtime=0.57 cores=0-7
/proc/18584/task/18588/stat : 18588 (java) S 18581 18584 16714 0 -1 1077944384 345 0 0 0 31 26 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171982838800 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18589] ppid=18581 vsize=27984808 memory=-9001734013606258791 CPUtime=0.56 cores=0-7
/proc/18584/task/18589/stat : 18589 (java) S 18581 18584 16714 0 -1 1077944384 355 0 0 0 32 24 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171981786000 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18590] ppid=18581 vsize=27984808 memory=-7173504570860347296 CPUtime=0.57 cores=0-7
/proc/18584/task/18590/stat : 18590 (java) S 18581 18584 16714 0 -1 1077944384 348 0 0 0 33 24 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171980733200 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18591] ppid=18581 vsize=27984808 memory=-7173504570860347296 CPUtime=0.57 cores=0-7
/proc/18584/task/18591/stat : 18591 (java) S 18581 18584 16714 0 -1 1077944384 373 0 0 0 32 25 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171979680400 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18592] ppid=18581 vsize=27984808 memory=7681905605394137875 CPUtime=0.55 cores=0-7
/proc/18584/task/18592/stat : 18592 (java) S 18581 18584 16714 0 -1 1077944384 399 0 0 0 31 24 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171978627600 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18593] ppid=18581 vsize=27984808 memory=595151805469386523 CPUtime=0.56 cores=0-7
/proc/18584/task/18593/stat : 18593 (java) S 18581 18584 16714 0 -1 1077944384 360 0 0 0 32 24 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171977574800 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18594] ppid=18581 vsize=27984808 memory=12404 CPUtime=0.57 cores=0-7
/proc/18584/task/18594/stat : 18594 (java) S 18581 18584 16714 0 -1 1077944384 357 0 0 0 32 25 0 0 20 0 24 0 84053155 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171976522000 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18595] ppid=18581 vsize=27984808 memory=445504 CPUtime=0.02 cores=0-7
/proc/18584/task/18595/stat : 18595 (java) S 18581 18584 16714 0 -1 1077944384 31 0 0 0 2 0 0 0 20 0 24 0 84053157 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170216070000 140172164450946 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18596] ppid=18581 vsize=27984808 memory=140250076871907 CPUtime=0 cores=0-7
/proc/18584/task/18596/stat : 18596 (java) S 18581 18584 16714 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84053157 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170082903648 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18597] ppid=18581 vsize=27984808 memory=3072792 CPUtime=0 cores=0-7
/proc/18584/task/18597/stat : 18597 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84053158 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140169814467968 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18598] ppid=18581 vsize=27984808 memory=-5155631280135892357 CPUtime=0 cores=0-7
/proc/18584/task/18598/stat : 18598 (java) S 18581 18584 16714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140169439959376 140172164458395 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18599] ppid=18581 vsize=27984808 memory=1800 CPUtime=5.37 cores=0-7
/proc/18584/task/18599/stat : 18599 (java) S 18581 18584 16714 0 -1 1077944384 9885 0 0 0 534 3 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170215016816 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18600] ppid=18581 vsize=27984808 memory=920 CPUtime=4.37 cores=0-7
/proc/18584/task/18600/stat : 18600 (java) S 18581 18584 16714 0 -1 1077944384 4568 0 0 0 435 2 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170213964016 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18601] ppid=18581 vsize=27984808 memory=4780 CPUtime=4.21 cores=0-7
/proc/18584/task/18601/stat : 18601 (java) S 18581 18584 16714 0 -1 1077944384 4134 0 0 0 420 1 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170212911216 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18602] ppid=18581 vsize=27984808 memory=1412 CPUtime=1.73 cores=0-7
/proc/18584/task/18602/stat : 18602 (java) S 18581 18584 16714 0 -1 1077944384 4284 0 0 0 171 2 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170211858416 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18603] ppid=18581 vsize=27984808 memory=3920 CPUtime=0 cores=0-7
/proc/18584/task/18603/stat : 18603 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84053160 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140168942054496 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18604] ppid=18581 vsize=27984808 memory=6686200 CPUtime=0.16 cores=0-7
/proc/18584/task/18604/stat : 18604 (java) S 18581 18584 16714 0 -1 1077944384 25 0 0 0 9 7 0 0 20 0 24 0 84053161 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140170210806832 140172164450946 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18606] ppid=18581 vsize=27984808 memory=3050268 CPUtime=0 cores=0-7
/proc/18584/task/18606/stat : 18606 (java) S 18581 18584 16714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84055342 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140171559634496 140172164464409 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18608] ppid=18581 vsize=27984808 memory=4136 CPUtime=0.02 cores=0-7
/proc/18584/task/18608/stat : 18608 (java) S 18581 18584 16714 0 -1 4202560 51 0 0 0 2 0 0 0 20 0 24 0 84055342 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140168270954240 140172164461725 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18609] ppid=18581 vsize=27984808 memory=24924 CPUtime=0 cores=0-7
/proc/18584/task/18609/stat : 18609 (java) S 18581 18584 16714 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 84055342 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140168539389360 140172164461725 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
[pid=18584/tid=18610] ppid=18581 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/18584/task/18610/stat : 18610 (java) S 18581 18584 16714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84055344 28656443392 1671550 33554432000 4194304 4196468 140730659035600 140168002526240 140172164450005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140730659038170 140730659038469 140730659038469 140730659041231 0
Current children cumulated CPU time: 2580.96 s
Current children cumulated vsize: 31795428 KiB
Current children cumulated memory: 9763276 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+344.423 s]
# the end of solver process 18584 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2570.9 s, system=10.3949 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+344.401 s]*
/proc/loadavg: 8.39 7.86 6.18 2/180 18627
/proc/meminfo: memFree=25515012/32770624 swapFree=67108792/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 344.423
CPU time (s): 2581.3
CPU user time (s): 2570.9
CPU system time (s): 10.3949
CPU usage (%): 749.456
Max. virtual memory (cumulated for all children) (KiB): 31795428
Max. memory (cumulated for all children) (KiB): 9763276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2570.9
system time used= 10.3949
maximum resident set size= 6688248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3894550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 108784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75830
involuntary context switches= 26839


# summary of solver processes directly reported to runsolver:
#   pid: 18584
#   total CPU time (s): 2581.3
#   total CPU user time (s): 2570.9
#   total CPU system time (s): 10.3949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.0765 second user time and 4.43108 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-27 06:14:59
IDJOB=4297138
IDBENCH=141462
IDSOLVER=2759
FILE ID=node150/4297138-1532664899
RUNJOBID= node150-1532653186-16741
PBS_JOBID= 21022212
Free space on /tmp= 53100 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-70-02_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297138-1532664899/watcher-4297138-1532664899 -o /tmp/evaluation-result-4297138-1532664899/solver-4297138-1532664899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532653186-16741 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297138-1532664899.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= df4cedb493dfe6d7df97c8cdc585ec30
RANDOM SEED=530682287

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28199256 kB
MemAvailable:   31936936 kB
Buffers:          174804 kB
Cached:          3802216 kB
SwapCached:           32 kB
Active:          1415924 kB
Inactive:        2614568 kB
Active(anon):       1716 kB
Inactive(anon):    79512 kB
Active(file):    1414208 kB
Inactive(file):  2535056 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:              8324 kB
Writeback:             0 kB
AnonPages:         60332 kB
Mapped:            42120 kB
Shmem:             25156 kB
Slab:             236572 kB
SReclaimable:     208504 kB
SUnreclaim:        28068 kB
KernelStack:        3152 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53092 MiB
End job on node150 at 2018-07-27 06:20:43