Trace number 4405557

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
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 1021.15 522.732

General information on the benchmark

NameCrossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h2105.xml
MD5SUM35703c5da18cfa31646d51f4d8651558
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 benchmark0.518539
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints144
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":368}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":73},{"degree":2,"count":368}]
Minimum constraint arity3
Maximum constraint arity7
Distribution of constraint arities[{"arity":3,"count":28},{"arity":4,"count":20},{"arity":5,"count":28},{"arity":6,"count":44},{"arity":7,"count":24}]
Number of extensional constraints144
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":144}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22339-serial-file.bin HOME/instance-4405557-1569362249.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 23:59:44 CEST 2019
0.66/0.57	c PID: 22342
0.66/0.57	c IP: 172.20.3.139
0.66/0.57	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.75/1.27	c (0,0) Parsing End
2.75/1.28	c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 144 ctr, max domain size 26
2.75/1.28	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.75/1.28	c (0,0) Constraint Name Generate Begin
2.75/1.28	c (0,0) Ctr:HOME/instance-4405557-1569362249.xml,ExtensionSupport:Var
2.75/1.28	c (0,0) Constraint Name Generate End
2.75/1.28	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.75/1.29	c (0,0) CSP to CSPinCNF Begin
52.28/37.77	c (37,36) translated 15 (10%) constraints
94.80/70.90	c (70,68) translated 29 (20%) constraints
149.45/107.45	c (106,101) translated 44 (30%) constraints
234.02/171.10	c (170,162) translated 58 (40%) constraints
300.15/226.29	c (225,216) translated 72 (50%) constraints
301.35/227.47	c (226,217) translated 87 (60%) constraints
307.99/234.04	c (233,224) translated 101 (70%) constraints
330.92/251.53	c (250,240) translated 116 (80%) constraints
341.44/262.06	c (261,251) translated 130 (90%) constraints
349.38/267.08	c (266,255) translated 144 (100%) constraints
349.67/267.37	c (266,256) ===========================================
351.21/268.80	c (268,257) Hybrid: #OE=465834, #LE=0
351.21/268.80	c (268,257) Hybrid
351.21/268.80	c (268,257) ===========================================
362.06/278.94	c (278,267) translated 501550 (10%) constraints
376.23/289.74	c (289,278) translated 1003100 (20%) constraints
391.27/300.56	c (300,288) translated 1504649 (30%) constraints
401.57/310.80	c (310,298) translated 2006199 (40%) constraints
417.19/321.72	c (321,308) translated 2507748 (50%) constraints
427.40/331.91	c (331,318) translated 3009298 (60%) constraints
443.10/342.71	c (342,328) translated 3510848 (70%) constraints
458.50/353.54	c (352,339) translated 4012397 (80%) constraints
468.57/363.56	c (363,349) translated 4513947 (90%) constraints
483.89/374.27	c (373,359) translated 5015496 (100%) constraints
483.89/374.27	c (373,359) CSP to CSPinCNF End
484.12/374.42	c (373,359) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
484.12/374.42	c (373,359) Heap : 7200 MiB used (max 21517 MiB), NonHeap : 27 MiB used (max 0 MiB)
484.12/374.42	c (373,359) CSPinCNF Propagation Begin
533.93/400.17	c (399,381) 0 values, 144 unsatisfiable literals, and 0 valid clauses are removed
533.93/400.17	c (399,381) CSPinCNF Propagation End
534.12/400.31	c (399,381) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
534.12/400.31	c (399,381) Heap : 13656 MiB used (max 21709 MiB), NonHeap : 27 MiB used (max 0 MiB)
535.64/401.80	c (401,383) Hybrid: #OE=465834, #LE=0
535.64/401.80	c (401,383) Simplify CSPinCNF Begin
557.27/413.23	c (412,393) Simplify CSPinCNF End
557.37/413.37	c (412,393) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
557.37/413.37	c (412,393) Heap : 14256 MiB used (max 21218 MiB), NonHeap : 27 MiB used (max 0 MiB)
557.37/413.37	c (412,393) Calculate Precise Domain Begin
557.37/413.37	c (412,393) 0 values are removed by re-calculation
557.37/413.37	c (412,393) Calculate Precise Domain End
557.57/413.52	c (412,393) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
557.57/413.53	c (412,393) Heap : 14256 MiB used (max 21218 MiB), NonHeap : 27 MiB used (max 0 MiB)
557.57/413.53	c (412,393) CSPinCNF to SatSolver Begin
575.84/420.82	c (420,399) 501550 (10 %) CSP clauses are encoded (0 SAT variables, 510242 SAT clauses)
586.48/426.53	c (425,404) 1003100 (20 %) CSP clauses are encoded (0 SAT variables, 1011792 SAT clauses)
594.77/431.97	c (431,409) 1504649 (30 %) CSP clauses are encoded (0 SAT variables, 1513341 SAT clauses)
602.55/437.32	c (436,414) 2006199 (40 %) CSP clauses are encoded (0 SAT variables, 2014891 SAT clauses)
610.46/442.71	c (442,419) 2507748 (50 %) CSP clauses are encoded (0 SAT variables, 2516440 SAT clauses)
615.47/447.73	c (447,424) 3009298 (60 %) CSP clauses are encoded (0 SAT variables, 3017990 SAT clauses)
623.30/453.05	c (452,429) 3510848 (70 %) CSP clauses are encoded (0 SAT variables, 3519540 SAT clauses)
631.15/458.40	c (457,434) 4012397 (80 %) CSP clauses are encoded (0 SAT variables, 4021089 SAT clauses)
638.89/463.73	c (463,439) 4513947 (90 %) CSP clauses are encoded (0 SAT variables, 4522639 SAT clauses)
643.79/468.68	c (468,444) 5015496 (100 %) CSP clauses are encoded (0 SAT variables, 5024188 SAT clauses)
643.79/468.68	c (468,444) CSPinCNF to SatSolver End
643.79/468.68	c (468,444) Heap : 15284 MiB used (max 21631 MiB), NonHeap : 29 MiB used (max 0 MiB)
643.79/468.68	c (468,444) 474527 bool, 5024189 clause
643.79/468.68	c (468,444) Export Begin
644.11/468.82	c (468,444) Export to HOME/scop-22339-serial-file.bin
644.11/468.82	c (468,444) Export End
644.11/468.82	c (468,444) Export File Size: 0.14 MB
644.11/468.82	c (468,444) 0,0,373,399,412,412,468,STOP-AFTER(DIMACS)
644.11/468.82	c END-Prog: Wed Sep 25 00:07:32 CEST 2019
0.00/468.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22339-serial-file.bin
644.75/469.37	c (0,0) Read Serial File Begin
644.75/469.37	c (0,0) HOME/scop-22339-serial-file.bin
645.24/469.63	c (0,0) Read Serial File End
645.24/469.65	
645.24/469.65	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
645.24/469.65	(Solving Process)
645.24/469.65	
645.24/469.67	c BEGIN-Prog: Wed Sep 25 00:07:33 CEST 2019
645.24/469.67	c PID: 22425
645.24/469.67	c IP: 172.20.3.139
645.24/469.67	c HOST: node139.alineos.net
645.24/469.67	c (0,0) SatSolver.solve Begin
645.24/469.67	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405557-1569362249.xml-scop-22342.cnf
645.53/469.70	c (0,0) c
645.53/469.70	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
645.53/469.70	c (0,0) c
645.53/469.70	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
645.53/469.70	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
645.53/469.70	c (0,0) c ========================================[ Problem Statistics ]===========================================
645.53/469.70	c (0,0) c |                                                                                                       |
647.53/471.60	c (2,0) c |  Number of variables:        474527                                                                   |
647.53/471.60	c (2,0) c |  Number of clauses:         5017012                                                                   |
647.53/471.60	c (2,0) c |  Parse time:                   1.74 s                                                                 |
647.53/471.60	c (2,0) c |                                                                                                       |
647.94/472.03	c (2,0) c | Too many clauses... No preprocessing                                                                  |
647.94/472.03	c (2,0) c |  Simplification time:          0.39 s                                                                 |
647.94/472.03	c (2,0) c |                                                                                                       |
647.94/472.04	c (2,0) c |  Generating clones                                                                                    |
649.43/473.57	c (4,0) c |  all clones generated. Memory =  3333.60Mb.                                                           |
649.43/473.57	c (4,0) c ========================================================================================================|
649.43/473.57	c (4,0) c
649.43/473.57	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
649.43/473.57	c (4,0) c
649.43/473.57	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
649.43/473.57	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
649.43/473.57	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
649.43/473.57	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
649.43/473.57	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
649.43/473.57	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
649.43/473.57	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
649.43/473.57	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
649.43/473.57	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
649.43/473.57	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
649.43/473.57	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
649.43/473.57	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
649.43/473.57	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
649.43/473.57	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
649.43/473.57	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
649.43/473.57	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
649.43/473.57	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
649.43/473.57	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
649.43/473.57	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
885.08/503.48	c (34,0) c
885.08/503.48	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
885.08/503.48	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
885.08/503.48	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
885.08/503.48	c (34,0) c |  0 |     85 |     307697 |      27179 |   603567 |    11038 |     3802 |    21902 |      245 |      157 |  20 |  0.025 |
885.08/503.48	c (34,0) c |  1 |    101 |     291945 |      29776 |   700020 |    13611 |     4032 |    24567 |      312 |      167 |  20 |  0.025 |
885.08/503.48	c (34,0) c |  2 |     86 |     286407 |      27249 |   546247 |    11059 |     4205 |    20716 |      164 |      154 |  20 |  0.025 |
885.08/503.48	c (34,0) c |  3 |    101 |     334034 |      28061 |   623152 |    11969 |     3858 |    24281 |      310 |      167 |  20 |  0.025 |
885.08/503.48	c (34,0) c |  4 |    108 |     289508 |      28153 |   592787 |    12013 |     4026 |    24853 |      329 |      169 |  20 |  0.025 |
885.08/503.48	c (34,0) c |  5 |     95 |     267575 |      27279 |   653334 |    11098 |     3806 |    22863 |      241 |      160 |  20 |  0.025 |
885.08/503.48	c (34,0) c |  6 |    114 |     326267 |      29272 |   607510 |    13169 |     3987 |    24860 |      312 |      170 |  20 |  0.025 |
885.08/503.48	c (34,0) c |  7 |     95 |     321837 |      27749 |   670919 |    11595 |     3694 |    24148 |      333 |      165 |  20 |  0.025 |
885.08/503.48	c (34,0) c 
885.08/503.48	c (34,0) c synthesis      224719 conflicts   662995648 propagations      961 conflicts/sec  2834139 propagations/sec
885.08/503.48	c (34,0) c real: 33.7768 s, cpu: 233.932 s, memory: 4053.28 Mb
1019.89/522.22	c (52,0) c
1019.89/522.22	c (52,0) c real time : 52.5203 s
1019.89/522.22	c (52,0) c cpu time  : 367.28 s
1019.89/522.22	c (52,0) c
1019.89/522.22	c (52,0) c
1019.89/522.22	c (52,0) c
1019.89/522.22	c (52,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1019.89/522.22	c (52,0) c
1019.89/522.22	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.22	c (52,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1019.89/522.22	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.22	c (52,0) c | Conflicts     |          361251 |      44837 |      46906 |      45216 |      44155 |      44720 |      45405 |      46107 |      43905 |
1019.89/522.22	c (52,0) c | Decisions     |         3632715 |     454721 |     456826 |     462853 |     471502 |     407152 |     417408 |     484701 |     477552 |
1019.89/522.22	c (52,0) c | Propagations  |      1059121436 |  132256930 |  129260141 |  133902202 |  133053523 |  130902207 |  131553828 |  132131035 |  136061570 |
1019.89/522.22	c (52,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1019.89/522.22	c (52,0) c | SimpDBs       |              60 |          8 |          7 |          8 |          8 |          7 |          8 |          7 |          7 |
1019.89/522.22	c (52,0) c | Restarts      |            1234 |        145 |        162 |        148 |        156 |        153 |        150 |        160 |        160 |
1019.89/522.22	c (52,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1019.89/522.22	c (52,0) c | PropBinClauses|       991711899 |  123590255 |  120727465 |  124331349 |  124673898 |  124705181 |  123761742 |  122992985 |  126929024 |
1019.89/522.22	c (52,0) c | PropPreBlocker|      5644578752 |  700586685 |  692435428 |  712851991 |  705301466 |  708772715 |  701172437 |  704118872 |  719339158 |
1019.89/522.22	c (52,0) c | PropNotBlocker|      2095869718 |  265270315 |  259929840 |  264579569 |  258349525 |  259092688 |  260889617 |  260201691 |  267556473 |
1019.89/522.22	c (52,0) c | LitFullScans  |     12609046184 | 1573081317 | 1573907923 | 1572770558 | 1589817210 | 1573522303 | 1580142913 | 1572417479 | 1573386481 |
1019.89/522.22	c (52,0) c | LitScanFracts |         9834592 |    1052715 |    1888695 |     726037 |    1288546 |     667904 |    2462193 |     392117 |    1356385 |
1019.89/522.22	c (52,0) c | DecisionLevel0|            1274 |        148 |        167 |        157 |        163 |        157 |        153 |        164 |        165 |
1019.89/522.22	c (52,0) c | Periods       |            2098 |        262 |        262 |        262 |        264 |        262 |        262 |        262 |        262 |
1019.89/522.22	c (52,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1019.89/522.22	c (52,0) c | Avg_Trail     |                 |     110495 |     115930 |     119378 |     129909 |     130918 |     121068 |     113547 |     118874 |
1019.89/522.22	c (52,0) c | Avg_DL        |                 |        324 |        426 |        404 |        457 |        388 |        355 |        419 |        385 |
1019.89/522.22	c (52,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1019.89/522.22	c (52,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1019.89/522.22	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.22	c (52,0) c | Exported      |           51672 |       6500 |       6669 |       6775 |       6346 |       6452 |       6455 |       6492 |       5983 |
1019.89/522.22	c (52,0) c | Imported      |          324522 |      40491 |      40298 |      40498 |      41463 |      38032 |      40961 |      40996 |      41783 |
1019.89/522.22	c (52,0) c | Good          |           87348 |      10837 |      10906 |      10739 |      11052 |      10465 |      11073 |      11179 |      11097 |
1019.89/522.22	c (52,0) c | Purge         |          237174 |      29654 |      29392 |      29759 |      30411 |      27567 |      29888 |      29817 |      30686 |
1019.89/522.22	c (52,0) c | Promoted      |            4462 |        574 |        539 |        514 |        562 |        584 |        530 |        593 |        566 |
1019.89/522.22	c (52,0) c | Remove_Imp    |           94312 |      10952 |      10664 |      11104 |      12587 |      12572 |      11580 |      11580 |      13273 |
1019.89/522.22	c (52,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1019.89/522.22	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.22	c (52,0) c | Unaries       |                 |          3 |          5 |          9 |          7 |          4 |          3 |          4 |          5 |
1019.89/522.22	c (52,0) c | Binaries      |                 |       1776 |       1722 |       1965 |       1713 |       1629 |       1626 |       1567 |       1730 |
1019.89/522.22	c (52,0) c | Glues         |                 |       2990 |       2937 |       3259 |       2969 |       2737 |       2893 |       2854 |       2946 |
1019.89/522.22	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.22	c (52,0) c | Orig_Seen     |            17 % |     829005 |     964303 |     909183 |     900487 |     808297 |     928567 |     851851 |     911387 |
1019.89/522.22	c (52,0) c | Diff Orig seen|                 |      20708 |     156006 |     100886 |      92190 |      X     |     120270 |      43554 |     103090 |
1019.89/522.22	c (52,0) c | Hamming       |            10 % |      44645 |      49732 |      52318 |      47649 |      X     |      48444 |      48126 |      50103 |
1019.89/522.22	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.22	c (52,0) c | RunningTime   |                 |   48.1 100%|   46.4 100%|   48.5 100%|   45.7 100%|   45.4 100%|   46.9 100%|   45.7  99%|   46.7 100%|
1019.89/522.22	c (52,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.5   1%|    0.0   0%|
1019.89/522.22	c (52,0) c | ExchangingTime|                 |    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|
1019.89/522.22	c (52,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1019.89/522.22	c (52,0) c | SolvingTime   |                 |   48.1     |   46.4     |   48.6     |   45.8     |   45.5     |   46.9     |   46.2     |   46.7     |
1019.89/522.22	c (52,0) c | PropagationTim|                 |   40.5  84%|   38.4  83%|   40.8  84%|   37.8  83%|   37.9  83%|   38.9  83%|   37.9  82%|   38.9  83%|
1019.89/522.22	c (52,0) c | AnalysisTime  |                 |    3.0   6%|    3.4   7%|    3.0   6%|    3.1   7%|    3.2   7%|    3.2   7%|    3.2   7%|    2.8   6%|
1019.89/522.22	c (52,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1019.89/522.22	c (52,0) c | SimplifyTime  |                 |    0.8   2%|    0.6   1%|    0.7   1%|    0.7   2%|    0.6   1%|    0.7   2%|    0.7   2%|    0.6   1%|
1019.89/522.22	c (52,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1019.89/522.22	c (52,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1019.89/522.22	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.22	c (52,0) c
1019.89/522.22	c (52,0) c
1019.89/522.22	c (52,0) c Threads : 8
1019.89/522.22	c (52,0) c Winner : 4
1019.89/522.22	c (52,0) c Conflicts_0 : 44837
1019.89/522.22	c (52,0) c Conflicts_1 : 46906
1019.89/522.22	c (52,0) c Conflicts_2 : 45216
1019.89/522.22	c (52,0) c Conflicts_3 : 44155
1019.89/522.22	c (52,0) c Conflicts_4 : 44720
1019.89/522.22	c (52,0) c Conflicts_5 : 45405
1019.89/522.22	c (52,0) c Conflicts_6 : 46107
1019.89/522.22	c (52,0) c Conflicts_7 : 43905
1019.89/522.22	c (52,0) c Conflicts_total : 361251
1019.89/522.22	c (52,0) c Conflicts_winner : 44720
1019.89/522.22	c (52,0) c Decisions_0 : 454721
1019.89/522.22	c (52,0) c Decisions_1 : 456826
1019.89/522.22	c (52,0) c Decisions_2 : 462853
1019.89/522.22	c (52,0) c Decisions_3 : 471502
1019.89/522.22	c (52,0) c Decisions_4 : 407152
1019.89/522.22	c (52,0) c Decisions_5 : 417408
1019.89/522.22	c (52,0) c Decisions_6 : 484701
1019.89/522.22	c (52,0) c Decisions_7 : 477552
1019.89/522.22	c (52,0) c Decisions_total : 3632715
1019.89/522.22	c (52,0) c Decisions_winner : 407152
1019.89/522.22	c (52,0) c Propagations_0 : 132256930
1019.89/522.22	c (52,0) c Propagations_1 : 129260141
1019.89/522.22	c (52,0) c Propagations_2 : 133902202
1019.89/522.22	c (52,0) c Propagations_3 : 133053523
1019.89/522.22	c (52,0) c Propagations_4 : 130902207
1019.89/522.22	c (52,0) c Propagations_5 : 131553828
1019.89/522.22	c (52,0) c Propagations_6 : 132131035
1019.89/522.22	c (52,0) c Propagations_7 : 136061570
1019.89/522.22	c (52,0) c Propagations_total : 1059121436
1019.89/522.22	c (52,0) c Propagations_winner : 130902207
1019.89/522.22	c (52,0) c ReduceDBs_0 : 5
1019.89/522.22	c (52,0) c ReduceDBs_1 : 5
1019.89/522.22	c (52,0) c ReduceDBs_2 : 5
1019.89/522.22	c (52,0) c ReduceDBs_3 : 5
1019.89/522.22	c (52,0) c ReduceDBs_4 : 5
1019.89/522.22	c (52,0) c ReduceDBs_5 : 5
1019.89/522.22	c (52,0) c ReduceDBs_6 : 5
1019.89/522.22	c (52,0) c ReduceDBs_7 : 5
1019.89/522.22	c (52,0) c ReduceDBs_total : 40
1019.89/522.22	c (52,0) c ReduceDBs_winner : 5
1019.89/522.22	c (52,0) c SimpDBs_0 : 8
1019.89/522.22	c (52,0) c SimpDBs_1 : 7
1019.89/522.22	c (52,0) c SimpDBs_2 : 8
1019.89/522.22	c (52,0) c SimpDBs_3 : 8
1019.89/522.22	c (52,0) c SimpDBs_4 : 7
1019.89/522.22	c (52,0) c SimpDBs_5 : 8
1019.89/522.22	c (52,0) c SimpDBs_6 : 7
1019.89/522.22	c (52,0) c SimpDBs_7 : 7
1019.89/522.22	c (52,0) c SimpDBs_total : 60
1019.89/522.22	c (52,0) c SimpDBs_winner : 7
1019.89/522.22	c (52,0) c Restarts_0 : 145
1019.89/522.22	c (52,0) c Restarts_1 : 162
1019.89/522.22	c (52,0) c Restarts_2 : 148
1019.89/522.22	c (52,0) c Restarts_3 : 156
1019.89/522.22	c (52,0) c Restarts_4 : 153
1019.89/522.22	c (52,0) c Restarts_5 : 150
1019.89/522.22	c (52,0) c Restarts_6 : 160
1019.89/522.22	c (52,0) c Restarts_7 : 160
1019.89/522.22	c (52,0) c Restarts_total : 1234
1019.89/522.22	c (52,0) c Restarts_winner : 153
1019.89/522.22	c (52,0) c ForcedImports_0 : 0
1019.89/522.22	c (52,0) c ForcedImports_1 : 0
1019.89/522.22	c (52,0) c ForcedImports_2 : 0
1019.89/522.22	c (52,0) c ForcedImports_3 : 0
1019.89/522.22	c (52,0) c ForcedImports_4 : 0
1019.89/522.22	c (52,0) c ForcedImports_5 : 0
1019.89/522.22	c (52,0) c ForcedImports_6 : 0
1019.89/522.22	c (52,0) c ForcedImports_7 : 0
1019.89/522.22	c (52,0) c ForcedImports_total : 0
1019.89/522.22	c (52,0) c ForcedImports_winner : 0
1019.89/522.22	c (52,0) c PropsBinClauses_0 : 123590255
1019.89/522.22	c (52,0) c PropsBinClauses_1 : 120727465
1019.89/522.22	c (52,0) c PropsBinClauses_2 : 124331349
1019.89/522.22	c (52,0) c PropsBinClauses_3 : 124673898
1019.89/522.22	c (52,0) c PropsBinClauses_4 : 124705181
1019.89/522.22	c (52,0) c PropsBinClauses_5 : 123761742
1019.89/522.22	c (52,0) c PropsBinClauses_6 : 122992985
1019.89/522.22	c (52,0) c PropsBinClauses_7 : 126929024
1019.89/522.22	c (52,0) c PropsBinClauses_total : 991711899
1019.89/522.22	c (52,0) c PropsBinClauses_winner : 124705181
1019.89/522.22	c (52,0) c PropsPreBlocker_0 : 700586685
1019.89/522.22	c (52,0) c PropsPreBlocker_1 : 692435428
1019.89/522.22	c (52,0) c PropsPreBlocker_2 : 712851991
1019.89/522.22	c (52,0) c PropsPreBlocker_3 : 705301466
1019.89/522.22	c (52,0) c PropsPreBlocker_4 : 708772715
1019.89/522.22	c (52,0) c PropsPreBlocker_5 : 701172437
1019.89/522.22	c (52,0) c PropsPreBlocker_6 : 704118872
1019.89/522.22	c (52,0) c PropsPreBlocker_7 : 719339158
1019.89/522.22	c (52,0) c PropsPreBlocker_total : 5644578752
1019.89/522.22	c (52,0) c PropsPreBlocker_winner : 708772715
1019.89/522.22	c (52,0) c PropsNotBlocker_0 : 265270315
1019.89/522.22	c (52,0) c PropsNotBlocker_1 : 259929840
1019.89/522.22	c (52,0) c PropsNotBlocker_2 : 264579569
1019.89/522.22	c (52,0) c PropsNotBlocker_3 : 258349525
1019.89/522.22	c (52,0) c PropsNotBlocker_4 : 259092688
1019.89/522.22	c (52,0) c PropsNotBlocker_5 : 260889617
1019.89/522.22	c (52,0) c PropsNotBlocker_6 : 260201691
1019.89/522.22	c (52,0) c PropsNotBlocker_7 : 267556473
1019.89/522.22	c (52,0) c PropsNotBlocker_total : 2095869718
1019.89/522.22	c (52,0) c PropsNotBlocker_winner : 259092688
1019.89/522.22	c (52,0) c PropsLitFullScans_0 : 1573081317
1019.89/522.22	c (52,0) c PropsLitFullScans_1 : 1573907923
1019.89/522.22	c (52,0) c PropsLitFullScans_2 : 1572770558
1019.89/522.22	c (52,0) c PropsLitFullScans_3 : 1589817210
1019.89/522.22	c (52,0) c PropsLitFullScans_4 : 1573522303
1019.89/522.22	c (52,0) c PropsLitFullScans_5 : 1580142913
1019.89/522.22	c (52,0) c PropsLitFullScans_6 : 1572417479
1019.89/522.23	c (52,0) c PropsLitFullScans_7 : 1573386481
1019.89/522.23	c (52,0) c PropsLitFullScans_total : 12609046184
1019.89/522.23	c (52,0) c PropsLitFullScans_winner : 1573522303
1019.89/522.23	c (52,0) c LitScanFractions_0 : 1052715
1019.89/522.23	c (52,0) c LitScanFractions_1 : 1888695
1019.89/522.23	c (52,0) c LitScanFractions_2 : 726037
1019.89/522.23	c (52,0) c LitScanFractions_3 : 1288546
1019.89/522.23	c (52,0) c LitScanFractions_4 : 667904
1019.89/522.23	c (52,0) c LitScanFractions_5 : 2462193
1019.89/522.23	c (52,0) c LitScanFractions_6 : 392117
1019.89/522.23	c (52,0) c LitScanFractions_7 : 1356385
1019.89/522.23	c (52,0) c LitScanFractions_total : 9834592
1019.89/522.23	c (52,0) c LitScanFractions_winner : 667904
1019.89/522.23	c (52,0) c DecisionLevel0_0 : 148
1019.89/522.23	c (52,0) c DecisionLevel0_1 : 167
1019.89/522.23	c (52,0) c DecisionLevel0_2 : 157
1019.89/522.23	c (52,0) c DecisionLevel0_3 : 163
1019.89/522.23	c (52,0) c DecisionLevel0_4 : 157
1019.89/522.23	c (52,0) c DecisionLevel0_5 : 153
1019.89/522.23	c (52,0) c DecisionLevel0_6 : 164
1019.89/522.23	c (52,0) c DecisionLevel0_7 : 165
1019.89/522.23	c (52,0) c DecisionLevel0_total : 1274
1019.89/522.23	c (52,0) c DecisionLevel0_winner : 157
1019.89/522.23	c (52,0) c Periods_0 : 262
1019.89/522.23	c (52,0) c Periods_1 : 262
1019.89/522.23	c (52,0) c Periods_2 : 262
1019.89/522.23	c (52,0) c Periods_3 : 264
1019.89/522.23	c (52,0) c Periods_4 : 262
1019.89/522.23	c (52,0) c Periods_5 : 262
1019.89/522.23	c (52,0) c Periods_6 : 262
1019.89/522.23	c (52,0) c Periods_7 : 262
1019.89/522.23	c (52,0) c Periods_total : 2098
1019.89/522.23	c (52,0) c Periods_winner : 262
1019.89/522.23	c (52,0) c Margin_0 : 20
1019.89/522.23	c (52,0) c Margin_1 : 20
1019.89/522.23	c (52,0) c Margin_2 : 20
1019.89/522.23	c (52,0) c Margin_3 : 20
1019.89/522.23	c (52,0) c Margin_4 : 20
1019.89/522.23	c (52,0) c Margin_5 : 20
1019.89/522.23	c (52,0) c Margin_6 : 20
1019.89/522.23	c (52,0) c Margin_7 : 20
1019.89/522.23	c (52,0) c Margin_total : 160
1019.89/522.23	c (52,0) c Margin_winner : 20
1019.89/522.23	c (52,0) c Exported_0 : 6500
1019.89/522.23	c (52,0) c Exported_1 : 6669
1019.89/522.23	c (52,0) c Exported_2 : 6775
1019.89/522.23	c (52,0) c Exported_3 : 6346
1019.89/522.23	c (52,0) c Exported_4 : 6452
1019.89/522.23	c (52,0) c Exported_5 : 6455
1019.89/522.23	c (52,0) c Exported_6 : 6492
1019.89/522.23	c (52,0) c Exported_7 : 5983
1019.89/522.23	c (52,0) c Exported_total : 51672
1019.89/522.23	c (52,0) c Exported_winner : 6452
1019.89/522.23	c (52,0) c Imported_0 : 40491
1019.89/522.23	c (52,0) c Imported_1 : 40298
1019.89/522.23	c (52,0) c Imported_2 : 40498
1019.89/522.23	c (52,0) c Imported_3 : 41463
1019.89/522.23	c (52,0) c Imported_4 : 38032
1019.89/522.23	c (52,0) c Imported_5 : 40961
1019.89/522.23	c (52,0) c Imported_6 : 40996
1019.89/522.23	c (52,0) c Imported_7 : 41783
1019.89/522.23	c (52,0) c Imported_total : 324522
1019.89/522.23	c (52,0) c Imported_winner : 38032
1019.89/522.23	c (52,0) c Good_0 : 10837
1019.89/522.23	c (52,0) c Good_1 : 10906
1019.89/522.23	c (52,0) c Good_2 : 10739
1019.89/522.23	c (52,0) c Good_3 : 11052
1019.89/522.23	c (52,0) c Good_4 : 10465
1019.89/522.23	c (52,0) c Good_5 : 11073
1019.89/522.23	c (52,0) c Good_6 : 11179
1019.89/522.23	c (52,0) c Good_7 : 11097
1019.89/522.23	c (52,0) c Good_total : 87348
1019.89/522.23	c (52,0) c Good_winner : 10465
1019.89/522.23	c (52,0) c Purge_0 : 29654
1019.89/522.23	c (52,0) c Purge_1 : 29392
1019.89/522.23	c (52,0) c Purge_2 : 29759
1019.89/522.23	c (52,0) c Purge_3 : 30411
1019.89/522.23	c (52,0) c Purge_4 : 27567
1019.89/522.23	c (52,0) c Purge_5 : 29888
1019.89/522.23	c (52,0) c Purge_6 : 29817
1019.89/522.23	c (52,0) c Purge_7 : 30686
1019.89/522.23	c (52,0) c Purge_total : 237174
1019.89/522.23	c (52,0) c Purge_winner : 27567
1019.89/522.23	c (52,0) c Promoted_0 : 574
1019.89/522.23	c (52,0) c Promoted_1 : 539
1019.89/522.23	c (52,0) c Promoted_2 : 514
1019.89/522.23	c (52,0) c Promoted_3 : 562
1019.89/522.23	c (52,0) c Promoted_4 : 584
1019.89/522.23	c (52,0) c Promoted_5 : 530
1019.89/522.23	c (52,0) c Promoted_6 : 593
1019.89/522.23	c (52,0) c Promoted_7 : 566
1019.89/522.23	c (52,0) c Promoted_total : 4462
1019.89/522.23	c (52,0) c Promoted_winner : 584
1019.89/522.23	c (52,0) c Remove_Imp_0 : 10952
1019.89/522.23	c (52,0) c Remove_Imp_1 : 10664
1019.89/522.23	c (52,0) c Remove_Imp_2 : 11104
1019.89/522.23	c (52,0) c Remove_Imp_3 : 12587
1019.89/522.23	c (52,0) c Remove_Imp_4 : 12572
1019.89/522.23	c (52,0) c Remove_Imp_5 : 11580
1019.89/522.23	c (52,0) c Remove_Imp_6 : 11580
1019.89/522.23	c (52,0) c Remove_Imp_7 : 13273
1019.89/522.23	c (52,0) c Remove_Imp_total : 94312
1019.89/522.23	c (52,0) c Remove_Imp_winner : 12572
1019.89/522.23	c (52,0) c Blocked_Reuse_0 : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_1 : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_2 : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_3 : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_4 : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_5 : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_6 : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_7 : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_total : 0
1019.89/522.23	c (52,0) c Blocked_Reuse_winner : 0
1019.89/522.23	c (52,0) c Unaries_0 : 3
1019.89/522.23	c (52,0) c Unaries_1 : 5
1019.89/522.23	c (52,0) c Unaries_2 : 9
1019.89/522.23	c (52,0) c Unaries_3 : 7
1019.89/522.23	c (52,0) c Unaries_4 : 4
1019.89/522.23	c (52,0) c Unaries_5 : 3
1019.89/522.23	c (52,0) c Unaries_6 : 4
1019.89/522.23	c (52,0) c Unaries_7 : 5
1019.89/522.23	c (52,0) c Unaries_total : 40
1019.89/522.23	c (52,0) c Unaries_winner : 4
1019.89/522.23	c (52,0) c Binaries_0 : 1776
1019.89/522.23	c (52,0) c Binaries_1 : 1722
1019.89/522.23	c (52,0) c Binaries_2 : 1965
1019.89/522.23	c (52,0) c Binaries_3 : 1713
1019.89/522.23	c (52,0) c Binaries_4 : 1629
1019.89/522.23	c (52,0) c Binaries_5 : 1626
1019.89/522.23	c (52,0) c Binaries_6 : 1567
1019.89/522.23	c (52,0) c Binaries_7 : 1730
1019.89/522.23	c (52,0) c Binaries_total : 13728
1019.89/522.23	c (52,0) c Binaries_winner : 1629
1019.89/522.23	c (52,0) c Glues_0 : 2990
1019.89/522.23	c (52,0) c Glues_1 : 2937
1019.89/522.23	c (52,0) c Glues_2 : 3259
1019.89/522.23	c (52,0) c Glues_3 : 2969
1019.89/522.23	c (52,0) c Glues_4 : 2737
1019.89/522.23	c (52,0) c Glues_5 : 2893
1019.89/522.23	c (52,0) c Glues_6 : 2854
1019.89/522.23	c (52,0) c Glues_7 : 2946
1019.89/522.23	c (52,0) c Glues_total : 23585
1019.89/522.23	c (52,0) c Glues_winner : 2737
1019.89/522.23	c (52,0) c RunningTime_0 : 48.078987
1019.89/522.23	c (52,0) c RunningTime_1 : 46.376433
1019.89/522.23	c (52,0) c RunningTime_2 : 48.547790
1019.89/522.23	c (52,0) c RunningTime_3 : 45.717971
1019.89/522.23	c (52,0) c RunningTime_4 : 45.402874
1019.89/522.23	c (52,0) c RunningTime_5 : 46.882846
1019.89/522.23	c (52,0) c RunningTime_6 : 45.660829
1019.89/522.23	c (52,0) c RunningTime_7 : 46.665315
1019.89/522.23	c (52,0) c RunningTime_total : 373.333045
1019.89/522.23	c (52,0) c RunningTime_winner : 45.402874
1019.89/522.23	c (52,0) c WaitingTime_0 : 0.000448
1019.89/522.23	c (52,0) c WaitingTime_1 : 0.000513
1019.89/522.23	c (52,0) c WaitingTime_2 : 0.000321
1019.89/522.23	c (52,0) c WaitingTime_3 : 0.014497
1019.89/522.23	c (52,0) c WaitingTime_4 : 0.014483
1019.89/522.23	c (52,0) c WaitingTime_5 : 0.000527
1019.89/522.23	c (52,0) c WaitingTime_6 : 0.463400
1019.89/522.23	c (52,0) c WaitingTime_7 : 0.001088
1019.89/522.23	c (52,0) c WaitingTime_total : 0.495276
1019.89/522.23	c (52,0) c WaitingTime_winner : 0.014483
1019.89/522.23	c (52,0) c ExchangingTime_0 : 0.052305
1019.89/522.23	c (52,0) c ExchangingTime_1 : 0.047078
1019.89/522.23	c (52,0) c ExchangingTime_2 : 0.056674
1019.89/522.23	c (52,0) c ExchangingTime_3 : 0.048313
1019.89/522.23	c (52,0) c ExchangingTime_4 : 0.045864
1019.89/522.23	c (52,0) c ExchangingTime_5 : 0.053352
1019.89/522.23	c (52,0) c ExchangingTime_6 : 0.043660
1019.89/522.23	c (52,0) c ExchangingTime_7 : 0.046961
1019.89/522.23	c (52,0) c ExchangingTime_total : 0.394206
1019.89/522.23	c (52,0) c ExchangingTime_winner : 0.045864
1019.89/522.23	c (52,0) c PeriodProcTime_0 : 0.002496
1019.89/522.23	c (52,0) c PeriodProcTime_1 : 0.002661
1019.89/522.23	c (52,0) c PeriodProcTime_2 : 0.002879
1019.89/522.23	c (52,0) c PeriodProcTime_3 : 0.002497
1019.89/522.23	c (52,0) c PeriodProcTime_4 : 0.002536
1019.89/522.23	c (52,0) c PeriodProcTime_5 : 0.002499
1019.89/522.23	c (52,0) c PeriodProcTime_6 : 0.002741
1019.89/522.23	c (52,0) c PeriodProcTime_7 : 0.002729
1019.89/522.23	c (52,0) c PeriodProcTime_total : 0.021039
1019.89/522.23	c (52,0) c PeriodProcTime_winner : 0.002536
1019.89/522.23	c (52,0) c SolvingTime_0 : 48.134235
1019.89/522.23	c (52,0) c SolvingTime_1 : 46.426685
1019.89/522.23	c (52,0) c SolvingTime_2 : 48.607664
1019.89/522.23	c (52,0) c SolvingTime_3 : 45.783278
1019.89/522.23	c (52,0) c SolvingTime_4 : 45.465757
1019.89/522.23	c (52,0) c SolvingTime_5 : 46.939224
1019.89/522.23	c (52,0) c SolvingTime_6 : 46.170630
1019.89/522.23	c (52,0) c SolvingTime_7 : 46.716093
1019.89/522.23	c (52,0) c SolvingTime_total : 374.243567
1019.89/522.23	c (52,0) c SolvingTime_winner : 45.465757
1019.89/522.23	c (52,0) c PropagationTime_0 : 40.456148
1019.89/522.23	c (52,0) c PropagationTime_1 : 38.414160
1019.89/522.23	c (52,0) c PropagationTime_2 : 40.803732
1019.89/522.23	c (52,0) c PropagationTime_3 : 37.835771
1019.89/522.23	c (52,0) c PropagationTime_4 : 37.920542
1019.89/522.23	c (52,0) c PropagationTime_5 : 38.919517
1019.89/522.23	c (52,0) c PropagationTime_6 : 37.866478
1019.89/522.23	c (52,0) c PropagationTime_7 : 38.899035
1019.89/522.23	c (52,0) c PropagationTime_total : 311.115383
1019.89/522.23	c (52,0) c PropagationTime_winner : 37.920542
1019.89/522.23	c (52,0) c AnalysisTime_0 : 2.993955
1019.89/522.23	c (52,0) c AnalysisTime_1 : 3.401599
1019.89/522.23	c (52,0) c AnalysisTime_2 : 3.010036
1019.89/522.23	c (52,0) c AnalysisTime_3 : 3.125866
1019.89/522.23	c (52,0) c AnalysisTime_4 : 3.184110
1019.89/522.23	c (52,0) c AnalysisTime_5 : 3.171849
1019.89/522.23	c (52,0) c AnalysisTime_6 : 3.231636
1019.89/522.23	c (52,0) c AnalysisTime_7 : 2.832677
1019.89/522.23	c (52,0) c AnalysisTime_total : 24.951727
1019.89/522.23	c (52,0) c AnalysisTime_winner : 3.184110
1019.89/522.23	c (52,0) c ReductionTime_0 : 0.024765
1019.89/522.23	c (52,0) c ReductionTime_1 : 0.021217
1019.89/522.23	c (52,0) c ReductionTime_2 : 0.023408
1019.89/522.23	c (52,0) c ReductionTime_3 : 0.026928
1019.89/522.23	c (52,0) c ReductionTime_4 : 0.025334
1019.89/522.23	c (52,0) c ReductionTime_5 : 0.025806
1019.89/522.23	c (52,0) c ReductionTime_6 : 0.021680
1019.89/522.23	c (52,0) c ReductionTime_7 : 0.021806
1019.89/522.23	c (52,0) c ReductionTime_total : 0.190945
1019.89/522.23	c (52,0) c ReductionTime_winner : 0.025334
1019.89/522.23	c (52,0) c SimplifyTime_0 : 0.751226
1019.89/522.23	c (52,0) c SimplifyTime_1 : 0.603797
1019.89/522.23	c (52,0) c SimplifyTime_2 : 0.705955
1019.89/522.23	c (52,0) c SimplifyTime_3 : 0.713720
1019.89/522.23	c (52,0) c SimplifyTime_4 : 0.604167
1019.89/522.23	c (52,0) c SimplifyTime_5 : 0.718461
1019.89/522.23	c (52,0) c SimplifyTime_6 : 0.708136
1019.89/522.23	c (52,0) c SimplifyTime_7 : 0.604244
1019.89/522.23	c (52,0) c SimplifyTime_total : 5.409706
1019.89/522.23	c (52,0) c SimplifyTime_winner : 0.604167
1019.89/522.23	c (52,0) c UsedRateTime_0 : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_1 : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_2 : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_3 : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_4 : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_5 : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_6 : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_7 : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_total : 0.000000
1019.89/522.23	c (52,0) c UsedRateTime_winner : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_0 : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_1 : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_2 : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_3 : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_4 : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_5 : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_6 : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_7 : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_total : 0.000000
1019.89/522.23	c (52,0) c OverlapRateTime_winner : 0.000000
1019.89/522.23	c (52,0) c
1019.89/522.23	c (52,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1019.89/522.23	c (52,0) c
1019.89/522.23	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.23	c (52,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1019.89/522.23	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.23	c (52,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1019.89/522.23	c (52,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1019.89/522.23	c (52,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1019.89/522.23	c (52,0) c | Initial random_seed   |  927083982 | 1020780465 |   67634881 |  232045557 | 1373525524 | 1758477920 | 1987434788 | 1633136582 |
1019.89/522.23	c (52,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1019.89/522.23	c (52,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1019.89/522.23	c (52,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1019.89/522.23	c (52,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1019.89/522.23	c (52,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1019.89/522.23	c (52,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1019.89/522.23	c (52,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1019.89/522.23	c (52,0) c | var_decay             |     0.8800 |     0.8900 |     0.8900 |     0.8800 |     0.8800 |     0.8900 |     0.8900 |     0.8800 |
1019.89/522.23	c (52,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1019.89/522.23	c (52,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1019.89/522.23	c (52,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1019.89/522.23	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1019.89/522.23	c (52,0) 
1019.89/522.23	c (52,0) s SATISFIABLE
646.14/522.53	c (53,0) SatSolver.solve End
646.14/522.53	c (53,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
646.14/522.53	c (53,0) Show results Begin
1020.87/522.68	c (53,0) x[0][0] = 0
1020.87/522.68	c (53,0) x[0][1] = 12
1020.87/522.68	c (53,0) x[0][2] = 1
1020.87/522.68	c (53,0) x[0][3] = 17
1020.87/522.68	c (53,0) x[0][4] = 0
1020.87/522.68	c (53,0) x[0][5] = 18
1020.87/522.68	c (53,0) x[0][7] = 0
1020.87/522.68	c (53,0) x[0][8] = 2
1020.87/522.68	c (53,0) x[0][9] = 17
1020.87/522.68	c (53,0) x[0][10] = 0
1020.87/522.68	c (53,0) x[0][11] = 8
1020.87/522.68	c (53,0) x[0][12] = 18
1020.87/522.68	c (53,0) x[0][13] = 4
1020.87/522.68	c (53,0) x[0][15] = 2
1020.87/522.68	c (53,0) x[0][16] = 11
1020.87/522.68	c (53,0) x[0][17] = 8
1020.87/522.68	c (53,0) x[0][18] = 6
1020.87/522.68	c (53,0) x[0][19] = 13
1020.87/522.68	c (53,0) x[0][20] = 0
1020.87/522.68	c (53,0) x[1][0] = 19
1020.87/522.68	c (53,0) x[1][1] = 0
1020.87/522.68	c (53,0) x[1][2] = 17
1020.87/522.68	c (53,0) x[1][3] = 0
1020.87/522.68	c (53,0) x[1][4] = 12
1020.87/522.68	c (53,0) x[1][5] = 0
1020.87/522.68	c (53,0) x[1][7] = 21
1020.87/522.68	c (53,0) x[1][8] = 14
1020.87/522.68	c (53,0) x[1][9] = 20
1020.87/522.68	c (53,0) x[1][10] = 11
1020.87/522.68	c (53,0) x[1][11] = 14
1020.87/522.68	c (53,0) x[1][12] = 8
1020.87/522.68	c (53,0) x[1][13] = 17
1020.87/522.68	c (53,0) x[1][15] = 7
1020.87/522.68	c (53,0) x[1][16] = 0
1020.87/522.68	c (53,0) x[1][17] = 11
1020.87/522.68	c (53,0) x[1][18] = 11
1020.87/522.68	c (53,0) x[1][19] = 4
1020.87/522.68	c (53,0) x[1][20] = 18
1020.87/522.68	c (53,0) x[2][0] = 19
1020.87/522.68	c (53,0) x[2][1] = 17
1020.87/522.68	c (53,0) x[2][2] = 8
1020.87/522.68	c (53,0) x[2][3] = 2
1020.87/522.68	c (53,0) x[2][4] = 14
1020.87/522.68	c (53,0) x[2][5] = 19
1020.87/522.68	c (53,0) x[2][7] = 14
1020.87/522.68	c (53,0) x[2][8] = 17
1020.87/522.68	c (53,0) x[2][9] = 8
1020.87/522.68	c (53,0) x[2][10] = 4
1020.87/522.68	c (53,0) x[2][11] = 13
1020.87/522.68	c (53,0) x[2][12] = 19
1020.87/522.68	c (53,0) x[2][13] = 18
1020.87/522.68	c (53,0) x[2][15] = 14
1020.87/522.68	c (53,0) x[2][16] = 2
1020.87/522.68	c (53,0) x[2][17] = 4
1020.87/522.68	c (53,0) x[2][18] = 0
1020.87/522.68	c (53,0) x[2][19] = 13
1020.87/522.68	c (53,0) x[2][20] = 18
1020.87/522.68	c (53,0) x[3][0] = 8
1020.87/522.68	c (53,0) x[3][1] = 11
1020.87/522.68	c (53,0) x[3][2] = 18
1020.87/522.68	c (53,0) x[3][4] = 10
1020.87/522.68	c (53,0) x[3][5] = 8
1020.87/522.68	c (53,0) x[3][6] = 5
1020.87/522.68	c (53,0) x[3][7] = 8
1020.87/522.68	c (53,0) x[3][8] = 14
1020.87/522.68	c (53,0) x[3][9] = 13
1020.87/522.68	c (53,0) x[3][10] = 18
1020.87/522.68	c (53,0) x[3][12] = 2
1020.87/522.68	c (53,0) x[3][13] = 4
1020.87/522.68	c (53,0) x[3][14] = 20
1020.87/522.69	c (53,0) x[3][15] = 19
1020.87/522.69	c (53,0) x[3][16] = 0
1020.87/522.69	c (53,0) x[3][18] = 19
1020.87/522.69	c (53,0) x[3][19] = 4
1020.87/522.69	c (53,0) x[3][20] = 4
1020.87/522.69	c (53,0) x[4][0] = 17
1020.87/522.69	c (53,0) x[4][1] = 8
1020.87/522.69	c (53,0) x[4][2] = 4
1020.87/522.69	c (53,0) x[4][3] = 18
1020.87/522.69	c (53,0) x[4][5] = 18
1020.87/522.69	c (53,0) x[4][6] = 0
1020.87/522.69	c (53,0) x[4][7] = 13
1020.87/522.69	c (53,0) x[4][8] = 25
1020.87/522.69	c (53,0) x[4][9] = 0
1020.87/522.69	c (53,0) x[4][11] = 19
1020.87/522.69	c (53,0) x[4][12] = 14
1020.87/522.69	c (53,0) x[4][13] = 0
1020.87/522.69	c (53,0) x[4][14] = 18
1020.87/522.69	c (53,0) x[4][15] = 19
1020.87/522.69	c (53,0) x[4][17] = 12
1020.87/522.69	c (53,0) x[4][18] = 8
1020.87/522.69	c (53,0) x[4][19] = 4
1020.87/522.69	c (53,0) x[4][20] = 13
1020.87/522.69	c (53,0) x[5][0] = 0
1020.87/522.69	c (53,0) x[5][1] = 18
1020.87/522.69	c (53,0) x[5][2] = 17
1020.87/522.69	c (53,0) x[5][3] = 0
1020.87/522.69	c (53,0) x[5][4] = 12
1020.87/522.69	c (53,0) x[5][6] = 19
1020.87/522.69	c (53,0) x[5][7] = 0
1020.87/522.69	c (53,0) x[5][8] = 14
1020.87/522.69	c (53,0) x[5][10] = 17
1020.87/522.69	c (53,0) x[5][11] = 4
1020.87/522.69	c (53,0) x[5][12] = 12
1020.87/522.69	c (53,0) x[5][13] = 20
1020.87/522.69	c (53,0) x[5][14] = 0
1020.87/522.69	c (53,0) x[5][16] = 3
1020.87/522.69	c (53,0) x[5][17] = 0
1020.87/522.69	c (53,0) x[5][18] = 17
1020.87/522.69	c (53,0) x[5][19] = 13
1020.87/522.69	c (53,0) x[5][20] = 4
1020.87/522.69	c (53,0) x[6][3] = 11
1020.87/522.69	c (53,0) x[6][4] = 8
1020.87/522.69	c (53,0) x[6][5] = 13
1020.87/522.69	c (53,0) x[6][9] = 1
1020.87/522.69	c (53,0) x[6][10] = 8
1020.87/522.69	c (53,0) x[6][11] = 15
1020.87/522.69	c (53,0) x[6][15] = 5
1020.87/522.69	c (53,0) x[6][16] = 0
1020.87/522.69	c (53,0) x[6][17] = 19
1020.87/522.69	c (53,0) x[7][0] = 3
1020.87/522.69	c (53,0) x[7][1] = 4
1020.87/522.69	c (53,0) x[7][2] = 2
1020.87/522.69	c (53,0) x[7][3] = 8
1020.87/522.69	c (53,0) x[7][4] = 12
1020.87/522.69	c (53,0) x[7][5] = 14
1020.87/522.69	c (53,0) x[7][7] = 0
1020.87/522.69	c (53,0) x[7][8] = 1
1020.87/522.69	c (53,0) x[7][9] = 17
1020.87/522.69	c (53,0) x[7][10] = 4
1020.87/522.69	c (53,0) x[7][11] = 0
1020.87/522.69	c (53,0) x[7][12] = 6
1020.87/522.69	c (53,0) x[7][13] = 8
1020.87/522.69	c (53,0) x[7][15] = 19
1020.87/522.69	c (53,0) x[7][16] = 7
1020.87/522.69	c (53,0) x[7][17] = 17
1020.87/522.69	c (53,0) x[7][18] = 8
1020.87/522.69	c (53,0) x[7][19] = 15
1020.87/522.69	c (53,0) x[7][20] = 18
1020.87/522.69	c (53,0) x[8][0] = 4
1020.87/522.69	c (53,0) x[8][1] = 17
1020.87/522.69	c (53,0) x[8][2] = 18
1020.87/522.69	c (53,0) x[8][3] = 4
1020.87/522.69	c (53,0) x[8][4] = 0
1020.87/522.69	c (53,0) x[8][5] = 20
1020.87/522.69	c (53,0) x[8][7] = 1
1020.87/522.69	c (53,0) x[8][8] = 17
1020.87/522.69	c (53,0) x[8][9] = 0
1020.87/522.69	c (53,0) x[8][10] = 13
1020.87/522.69	c (53,0) x[8][11] = 11
1020.87/522.69	c (53,0) x[8][12] = 4
1020.87/522.69	c (53,0) x[8][13] = 17
1020.87/522.69	c (53,0) x[8][15] = 15
1020.87/522.69	c (53,0) x[8][16] = 20
1020.87/522.69	c (53,0) x[8][17] = 8
1020.87/522.69	c (53,0) x[8][18] = 18
1020.87/522.69	c (53,0) x[8][19] = 4
1020.87/522.69	c (53,0) x[8][20] = 4
1020.87/522.69	c (53,0) x[9][0] = 11
1020.87/522.69	c (53,0) x[9][1] = 8
1020.87/522.69	c (53,0) x[9][2] = 0
1020.87/522.69	c (53,0) x[9][4] = 18
1020.87/522.69	c (53,0) x[9][5] = 1
1020.87/522.69	c (53,0) x[9][6] = 8
1020.87/522.69	c (53,0) x[9][7] = 17
1020.87/522.69	c (53,0) x[9][8] = 4
1020.87/522.69	c (53,0) x[9][9] = 18
1020.87/522.69	c (53,0) x[9][11] = 4
1020.87/522.69	c (53,0) x[9][12] = 12
1020.87/522.69	c (53,0) x[9][13] = 14
1020.87/522.69	c (53,0) x[9][14] = 20
1020.87/522.69	c (53,0) x[9][16] = 18
1020.87/522.69	c (53,0) x[9][17] = 2
1020.87/522.69	c (53,0) x[9][18] = 14
1020.87/522.69	c (53,0) x[9][19] = 20
1020.87/522.69	c (53,0) x[9][20] = 19
1020.87/522.69	c (53,0) x[10][0] = 0
1020.87/522.69	c (53,0) x[10][1] = 6
1020.87/522.69	c (53,0) x[10][2] = 17
1020.87/522.69	c (53,0) x[10][3] = 0
1020.87/522.69	c (53,0) x[10][5] = 0
1020.87/522.69	c (53,0) x[10][6] = 12
1020.87/522.69	c (53,0) x[10][7] = 4
1020.87/522.69	c (53,0) x[10][8] = 13
1020.87/522.69	c (53,0) x[10][12] = 8
1020.87/522.69	c (53,0) x[10][13] = 13
1020.87/522.69	c (53,0) x[10][14] = 19
1020.87/522.69	c (53,0) x[10][15] = 8
1020.87/522.69	c (53,0) x[10][17] = 0
1020.87/522.69	c (53,0) x[10][18] = 11
1020.87/522.69	c (53,0) x[10][19] = 11
1020.87/522.69	c (53,0) x[10][20] = 0
1020.87/522.69	c (53,0) x[11][0] = 1
1020.87/522.69	c (53,0) x[11][1] = 4
1020.87/522.69	c (53,0) x[11][2] = 3
1020.87/522.69	c (53,0) x[11][3] = 4
1020.87/522.69	c (53,0) x[11][4] = 18
1020.87/522.69	c (53,0) x[11][6] = 2
1020.87/522.69	c (53,0) x[11][7] = 0
1020.87/522.69	c (53,0) x[11][8] = 18
1020.87/522.69	c (53,0) x[11][9] = 7
1020.87/522.69	c (53,0) x[11][11] = 3
1020.87/522.69	c (53,0) x[11][12] = 13
1020.87/522.69	c (53,0) x[11][13] = 8
1020.87/522.69	c (53,0) x[11][14] = 4
1020.87/522.69	c (53,0) x[11][15] = 15
1020.87/522.69	c (53,0) x[11][16] = 17
1020.87/522.69	c (53,0) x[11][18] = 0
1020.87/522.69	c (53,0) x[11][19] = 21
1020.87/522.69	c (53,0) x[11][20] = 2
1020.87/522.69	c (53,0) x[12][0] = 17
1020.87/522.69	c (53,0) x[12][1] = 4
1020.87/522.69	c (53,0) x[12][2] = 0
1020.87/522.69	c (53,0) x[12][3] = 17
1020.87/522.69	c (53,0) x[12][4] = 12
1020.87/522.69	c (53,0) x[12][5] = 0
1020.87/522.69	c (53,0) x[12][7] = 6
1020.87/522.69	c (53,0) x[12][8] = 14
1020.87/522.69	c (53,0) x[12][9] = 4
1020.87/522.69	c (53,0) x[12][10] = 19
1020.87/522.69	c (53,0) x[12][11] = 8
1020.87/522.69	c (53,0) x[12][12] = 4
1020.87/522.69	c (53,0) x[12][13] = 18
1020.87/522.69	c (53,0) x[12][15] = 15
1020.87/522.69	c (53,0) x[12][16] = 4
1020.87/522.69	c (53,0) x[12][17] = 8
1020.87/522.69	c (53,0) x[12][18] = 13
1020.87/522.69	c (53,0) x[12][19] = 4
1020.87/522.69	c (53,0) x[12][20] = 4
1020.87/522.69	c (53,0) x[13][0] = 4
1020.87/522.69	c (53,0) x[13][1] = 18
1020.87/522.69	c (53,0) x[13][2] = 18
1020.87/522.69	c (53,0) x[13][3] = 0
1020.87/522.69	c (53,0) x[13][4] = 8
1020.87/522.69	c (53,0) x[13][5] = 12
1020.87/522.69	c (53,0) x[13][7] = 8
1020.87/522.69	c (53,0) x[13][8] = 11
1020.87/522.69	c (53,0) x[13][9] = 11
1020.87/522.69	c (53,0) x[13][10] = 20
1020.87/522.69	c (53,0) x[13][11] = 19
1020.87/522.69	c (53,0) x[13][12] = 4
1020.87/522.69	c (53,0) x[13][13] = 4
1020.87/522.69	c (53,0) x[13][15] = 14
1020.87/522.69	c (53,0) x[13][16] = 15
1020.87/522.69	c (53,0) x[13][17] = 18
1020.87/522.69	c (53,0) x[13][18] = 8
1020.87/522.69	c (53,0) x[13][19] = 13
1020.87/522.69	c (53,0) x[13][20] = 4
1020.87/522.69	c (53,0) x[14][3] = 18
1020.87/522.69	c (53,0) x[14][4] = 2
1020.87/522.69	c (53,0) x[14][5] = 8
1020.87/522.69	c (53,0) x[14][9] = 8
1020.87/522.69	c (53,0) x[14][10] = 1
1020.87/522.69	c (53,0) x[14][11] = 14
1020.87/522.69	c (53,0) x[14][15] = 13
1020.87/522.69	c (53,0) x[14][16] = 8
1020.87/522.69	c (53,0) x[14][17] = 0
1020.87/522.69	c (53,0) x[15][0] = 6
1020.87/522.69	c (53,0) x[15][1] = 11
1020.87/522.69	c (53,0) x[15][2] = 0
1020.87/522.69	c (53,0) x[15][3] = 18
1020.87/522.69	c (53,0) x[15][4] = 18
1020.87/522.69	c (53,0) x[15][6] = 18
1020.87/522.69	c (53,0) x[15][7] = 15
1020.87/522.69	c (53,0) x[15][8] = 8
1020.87/522.69	c (53,0) x[15][9] = 2
1020.87/522.69	c (53,0) x[15][10] = 18
1020.87/522.69	c (53,0) x[15][12] = 2
1020.87/522.69	c (53,0) x[15][13] = 0
1020.87/522.69	c (53,0) x[15][14] = 15
1020.87/522.69	c (53,0) x[15][16] = 2
1020.87/522.69	c (53,0) x[15][17] = 17
1020.87/522.69	c (53,0) x[15][18] = 4
1020.87/522.69	c (53,0) x[15][19] = 4
1020.87/522.69	c (53,0) x[15][20] = 17
1020.87/522.69	c (53,0) x[16][0] = 11
1020.87/522.69	c (53,0) x[16][1] = 8
1020.87/522.69	c (53,0) x[16][2] = 12
1020.87/522.69	c (53,0) x[16][3] = 4
1020.87/522.69	c (53,0) x[16][5] = 4
1020.87/522.69	c (53,0) x[16][6] = 15
1020.87/522.69	c (53,0) x[16][7] = 4
1020.87/522.69	c (53,0) x[16][8] = 11
1020.87/522.69	c (53,0) x[16][9] = 4
1020.87/522.69	c (53,0) x[16][11] = 4
1020.87/522.69	c (53,0) x[16][12] = 17
1020.87/522.69	c (53,0) x[16][13] = 17
1020.87/522.69	c (53,0) x[16][14] = 0
1020.87/522.69	c (53,0) x[16][15] = 8
1020.87/522.69	c (53,0) x[16][17] = 3
1020.87/522.69	c (53,0) x[16][18] = 17
1020.87/522.69	c (53,0) x[16][19] = 14
1020.87/522.69	c (53,0) x[16][20] = 12
1020.87/522.69	c (53,0) x[17][0] = 0
1020.87/522.69	c (53,0) x[17][1] = 6
1020.87/522.69	c (53,0) x[17][2] = 0
1020.87/522.69	c (53,0) x[17][4] = 5
1020.87/522.69	c (53,0) x[17][5] = 17
1020.87/522.69	c (53,0) x[17][6] = 8
1020.87/522.69	c (53,0) x[17][7] = 17
1020.87/522.69	c (53,0) x[17][8] = 0
1020.87/522.69	c (53,0) x[17][10] = 6
1020.87/522.69	c (53,0) x[17][11] = 13
1020.87/522.69	c (53,0) x[17][12] = 14
1020.87/522.69	c (53,0) x[17][13] = 12
1020.87/522.69	c (53,0) x[17][14] = 14
1020.87/522.69	c (53,0) x[17][15] = 13
1020.87/522.69	c (53,0) x[17][16] = 18
1020.87/522.69	c (53,0) x[17][18] = 18
1020.87/522.69	c (53,0) x[17][19] = 2
1020.87/522.69	c (53,0) x[17][20] = 8
1020.87/522.69	c (53,0) x[18][0] = 2
1020.87/522.69	c (53,0) x[18][1] = 0
1020.87/522.69	c (53,0) x[18][2] = 18
1020.87/522.69	c (53,0) x[18][3] = 19
1020.87/522.69	c (53,0) x[18][4] = 17
1020.87/522.69	c (53,0) x[18][5] = 14
1020.87/522.69	c (53,0) x[18][7] = 3
1020.87/522.69	c (53,0) x[18][8] = 8
1020.87/522.69	c (53,0) x[18][9] = 13
1020.87/522.69	c (53,0) x[18][10] = 0
1020.87/522.69	c (53,0) x[18][11] = 18
1020.87/522.69	c (53,0) x[18][12] = 18
1020.87/522.69	c (53,0) x[18][13] = 4
1020.87/522.69	c (53,0) x[18][15] = 3
1020.87/522.69	c (53,0) x[18][16] = 20
1020.87/522.69	c (53,0) x[18][17] = 2
1020.87/522.69	c (53,0) x[18][18] = 7
1020.87/522.69	c (53,0) x[18][19] = 4
1020.87/522.69	c (53,0) x[18][20] = 18
1020.87/522.69	c (53,0) x[19][0] = 0
1020.87/522.69	c (53,0) x[19][1] = 18
1020.87/522.69	c (53,0) x[19][2] = 18
1020.87/522.69	c (53,0) x[19][3] = 8
1020.87/522.69	c (53,0) x[19][4] = 4
1020.87/522.69	c (53,0) x[19][5] = 3
1020.87/522.69	c (53,0) x[19][7] = 8
1020.87/522.69	c (53,0) x[19][8] = 18
1020.87/522.69	c (53,0) x[19][9] = 4
1020.87/522.69	c (53,0) x[19][10] = 17
1020.87/522.69	c (53,0) x[19][11] = 0
1020.87/522.69	c (53,0) x[19][12] = 13
1020.87/522.69	c (53,0) x[19][13] = 4
1020.87/522.69	c (53,0) x[19][15] = 4
1020.87/522.69	c (53,0) x[19][16] = 12
1020.87/522.69	c (53,0) x[19][17] = 8
1020.87/522.69	c (53,0) x[19][18] = 0
1020.87/522.69	c (53,0) x[19][19] = 13
1020.87/522.69	c (53,0) x[19][20] = 19
1020.87/522.69	c (53,0) x[20][0] = 18
1020.87/522.69	c (53,0) x[20][1] = 4
1020.87/522.69	c (53,0) x[20][2] = 0
1020.87/522.69	c (53,0) x[20][3] = 13
1020.87/522.69	c (53,0) x[20][4] = 19
1020.87/522.69	c (53,0) x[20][5] = 4
1020.87/522.69	c (53,0) x[20][7] = 18
1020.87/522.69	c (53,0) x[20][8] = 4
1020.87/522.69	c (53,0) x[20][9] = 18
1020.87/522.69	c (53,0) x[20][10] = 0
1020.87/522.69	c (53,0) x[20][11] = 12
1020.87/522.69	c (53,0) x[20][12] = 4
1020.87/522.69	c (53,0) x[20][13] = 18
1020.87/522.69	c (53,0) x[20][15] = 18
1020.87/522.69	c (53,0) x[20][16] = 14
1020.87/522.69	c (53,0) x[20][17] = 11
1020.87/522.69	c (53,0) x[20][18] = 3
1020.87/522.69	c (53,0) x[20][19] = 4
1020.87/522.69	c (53,0) x[20][20] = 4
1020.87/522.69	s SATISFIABLE
1021.07/522.70	v <instantiation>
1021.07/522.70	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][18] x[3][19] x[3][20] x[4][0] x[4][1] x[4][2] x[4][3] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][17] x[4][18] x[4][19] x[4][20] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[6][3] x[6][4] x[6][5] x[6][9] x[6][10] x[6][11] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][11] x[9][12] x[9][13] x[9][14] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][0] x[10][1] x[10][2] x[10][3] x[10][5] x[10][6] x[10][7] x[10][8] x[10][12] x[10][13] x[10][14] x[10][15] x[10][17] x[10][18] x[10][19] x[10][20] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][3] x[14][4] x[14][5] x[14][9] x[14][10] x[14][11] x[14][15] x[14][16] x[14][17] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[17][0] x[17][1] x[17][2] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20]</list>
1021.07/522.70	v     <values>0 12 1 17 0 18 0 2 17 0 8 18 4 2 11 8 6 13 0 19 0 17 0 12 0 21 14 20 11 14 8 17 7 0 11 11 4 18 19 17 8 2 14 19 14 17 8 4 13 19 18 14 2 4 0 13 18 8 11 18 10 8 5 8 14 13 18 2 4 20 19 0 19 4 4 17 8 4 18 18 0 13 25 0 19 14 0 18 19 12 8 4 13 0 18 17 0 12 19 0 14 17 4 12 20 0 3 0 17 13 4 11 8 13 1 8 15 5 0 19 3 4 2 8 12 14 0 1 17 4 0 6 8 19 7 17 8 15 18 4 17 18 4 0 20 1 17 0 13 11 4 17 15 20 8 18 4 4 11 8 0 18 1 8 17 4 18 4 12 14 20 18 2 14 20 19 0 6 17 0 0 12 4 13 8 13 19 8 0 11 11 0 1 4 3 4 18 2 0 18 7 3 13 8 4 15 17 0 21 2 17 4 0 17 12 0 6 14 4 19 8 4 18 15 4 8 13 4 4 4 18 18 0 8 12 8 11 11 20 19 4 4 14 15 18 8 13 4 18 2 8 8 1 14 13 8 0 6 11 0 18 18 18 15 8 2 18 2 0 15 2 17 4 4 17 11 8 12 4 4 15 4 11 4 4 17 17 0 8 3 17 14 12 0 6 0 5 17 8 17 0 6 13 14 12 14 13 18 18 2 8 2 0 18 19 17 14 3 8 13 0 18 18 4 3 20 2 7 4 18 0 18 18 8 4 3 8 18 4 17 0 13 4 4 12 8 0 13 19 18 4 0 13 19 4 18 4 18 0 12 4 18 18 14 11 3 4 4</values>
1021.07/522.70	v </instantiation>
1021.07/522.70	c (53,0) Show results End
1021.07/522.70	c (53,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1021.07/522.70	c (53,0) 53,53,STOP-AFTER(ALL)
1021.07/522.70	c END-Prog: Wed Sep 25 00:08:26 CEST 2019

Verifier Data 

OK

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 (13188 MiB free)
  memory of node 1: 16384 MiB (11621 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405557-1569362249/watcher-4405557-1569362249 -o /tmp/evaluation-result-4405557-1569362249/solver-4405557-1569362249 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405557-1569362249.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=22339, runsolver pid=22336
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 1.85 4.14 6.45 2/209 22361
/proc/meminfo: memFree=25310704/32770624 swapFree=66941064/67108860
[pid=22339] ppid=22336 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22339/stat : 22339 (scop.sh) S 22336 22339 20843 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512495767 115843072 349 33554432000 4194304 5098028 140720650721904 140720650719160 140444790964860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31444992 140720650728228 140720650728556 140720650728556 140720650731469 0
/proc/22339/statm: 28282 349 296 221 0 87 0
[pid=22342] ppid=22339 vsize=27314120 memory=106380 CPUtime=0.1 cores=0-7
/proc/22342/stat : 22342 (java) S 22339 22339 20843 0 -1 1077944320 6153 0 0 0 8 2 0 0 20 0 20 0 512495767 27969658880 26595 33554432000 4194304 4196468 140731023983040 140731023965584 140316528406263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
/proc/22342/statm: 6828530 26595 2799 1 0 6790935 0
[pid=22342/tid=22343] ppid=22339 vsize=27314120 memory=7896669904268336027 CPUtime=0.09 cores=0-7
/proc/22342/task/22343/stat : 22343 (java) R 22339 22339 20843 0 -1 4202560 4260 0 0 0 7 2 0 0 20 0 20 0 512495768 27969658880 26595 33554432000 4194304 4196468 140731023983040 140316500219504 140316514474382 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22344] ppid=22339 vsize=27314120 memory=732369868618394597 CPUtime=0 cores=0-7
/proc/22342/task/22344/stat : 22344 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 26595 33554432000 4194304 4196468 140731023983040 140316532648336 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22345] ppid=22339 vsize=27314120 memory=139730280941184 CPUtime=0 cores=0-7
/proc/22342/task/22345/stat : 22345 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 26595 33554432000 4194304 4196468 140731023983040 140316316043536 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22346] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22346/stat : 22346 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 26595 33554432000 4194304 4196468 140731023983040 140316314991248 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22347] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22347/stat : 22347 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 26595 33554432000 4194304 4196468 140731023983040 140315948210704 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22348] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22348/stat : 22348 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 26595 33554432000 4194304 4196468 140731023983040 140315947158416 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22349] ppid=22339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22342/task/22349/stat : 22349 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 26595 33554432000 4194304 4196468 140731023983040 140315946105616 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22350] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22350/stat : 22350 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 26595 33554432000 4194304 4196468 140731023983040 140315945053328 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22351] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22351/stat : 22351 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 27107 33554432000 4194304 4196468 140731023983040 140315944000528 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22352] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22352/stat : 22352 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 27107 33554432000 4194304 4196468 140731023983040 140314646894704 140316528417410 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22353] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22353/stat : 22353 (java) S 22339 22339 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 27107 33554432000 4194304 4196468 140731023983040 140314501178144 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22354] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22354/stat : 22354 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 27107 33554432000 4194304 4196468 140731023983040 140314232743024 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22355] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22355/stat : 22355 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 27107 33554432000 4194304 4196468 140731023983040 140313858234448 140316528424859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22356] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22356/stat : 22356 (java) S 22339 22339 20843 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 27107 33554432000 4194304 4196468 140731023983040 140314645842544 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22357] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22357/stat : 22357 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 27107 33554432000 4194304 4196468 140731023983040 140314644789744 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22358] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22358/stat : 22358 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 27107 33554432000 4194304 4196468 140731023983040 140314643737456 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22359] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22359/stat : 22359 (java) S 22339 22339 20843 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 27107 33554432000 4194304 4196468 140731023983040 140314642684656 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22360] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22360/stat : 22360 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 27107 33554432000 4194304 4196468 140731023983040 140313360329056 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22361] ppid=22339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22342/task/22361/stat : 22361 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 27107 33554432000 4194304 4196468 140731023983040 140314641631536 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107776 KiB

[startup+0.21041 s]*
/proc/loadavg: 1.85 4.14 6.45 2/209 22361
/proc/meminfo: memFree=25292232/32770624 swapFree=66941064/67108860
[pid=22339] ppid=22336 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22339/stat : 22339 (scop.sh) S 22336 22339 20843 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512495767 115843072 349 33554432000 4194304 5098028 140720650721904 140720650719160 140444790964860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31444992 140720650728228 140720650728556 140720650728556 140720650731469 0
/proc/22339/statm: 28282 349 296 221 0 87 0
[pid=22342] ppid=22339 vsize=27314120 memory=123180 CPUtime=0.25 cores=0-7
/proc/22342/stat : 22342 (java) S 22339 22339 20843 0 -1 1077944320 11149 0 0 0 21 4 0 0 20 0 20 0 512495767 27969658880 30795 33554432000 4194304 4196468 140731023983040 140731023965584 140316528406263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
/proc/22342/statm: 6828530 30795 2954 1 0 6790935 0
[pid=22342/tid=22343] ppid=22339 vsize=27314120 memory=576460756329955521 CPUtime=0.2 cores=0-7
/proc/22342/task/22343/stat : 22343 (java) R 22339 22339 20843 0 -1 4202560 8859 0 0 0 17 3 0 0 20 0 20 0 512495768 27969658880 30795 33554432000 4194304 4196468 140731023983040 140316500211928 140316513571911 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22344] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22344/stat : 22344 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 30795 33554432000 4194304 4196468 140731023983040 140316532648336 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22345] ppid=22339 vsize=27314120 memory=3474447147469276832 CPUtime=0 cores=0-7
/proc/22342/task/22345/stat : 22345 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 30795 33554432000 4194304 4196468 140731023983040 140316316043536 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22346] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22346/stat : 22346 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 30795 33554432000 4194304 4196468 140731023983040 140316314991248 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22347] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22347/stat : 22347 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 30795 33554432000 4194304 4196468 140731023983040 140315948210704 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22348] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22348/stat : 22348 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 30795 33554432000 4194304 4196468 140731023983040 140315947158416 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22349] ppid=22339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22342/task/22349/stat : 22349 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 30795 33554432000 4194304 4196468 140731023983040 140315946105616 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22350] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22350/stat : 22350 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 30795 33554432000 4194304 4196468 140731023983040 140315945053328 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22351] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22351/stat : 22351 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 30795 33554432000 4194304 4196468 140731023983040 140315944000528 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22352] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22352/stat : 22352 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 30795 33554432000 4194304 4196468 140731023983040 140314646894704 140316528417410 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22353] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22353/stat : 22353 (java) S 22339 22339 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 30795 33554432000 4194304 4196468 140731023983040 140314501178144 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22354] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22354/stat : 22354 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 30795 33554432000 4194304 4196468 140731023983040 140314232743024 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22355] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22355/stat : 22355 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 30795 33554432000 4194304 4196468 140731023983040 140313858234448 140316528424859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22356] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22356/stat : 22356 (java) S 22339 22339 20843 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 30795 33554432000 4194304 4196468 140731023983040 140314645842544 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22357] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22357/stat : 22357 (java) S 22339 22339 20843 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 30795 33554432000 4194304 4196468 140731023983040 140314644789744 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22358] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22358/stat : 22358 (java) S 22339 22339 20843 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 30795 33554432000 4194304 4196468 140731023983040 140314643737456 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22359] ppid=22339 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22342/task/22359/stat : 22359 (java) S 22339 22339 20843 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 20 0 512495775 27969658880 30795 33554432000 4194304 4196468 140731023983040 140314642684656 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22360] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22360/stat : 22360 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 30795 33554432000 4194304 4196468 140731023983040 140313360329056 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22361] ppid=22339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22342/task/22361/stat : 22361 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 30795 33554432000 4194304 4196468 140731023983040 140314641631536 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124576 KiB

[startup+0.310233 s]*
/proc/loadavg: 1.85 4.14 6.45 2/209 22361
/proc/meminfo: memFree=25288448/32770624 swapFree=66941064/67108860
[pid=22339] ppid=22336 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22339/stat : 22339 (scop.sh) S 22336 22339 20843 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512495767 115843072 349 33554432000 4194304 5098028 140720650721904 140720650719160 140444790964860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31444992 140720650728228 140720650728556 140720650728556 140720650731469 0
/proc/22339/statm: 28282 349 296 221 0 87 0
[pid=22342] ppid=22339 vsize=27314120 memory=127388 CPUtime=0.43 cores=0-7
/proc/22342/stat : 22342 (java) S 22339 22339 20843 0 -1 1077944320 11752 0 0 0 39 4 0 0 20 0 20 0 512495767 27969658880 31847 33554432000 4194304 4196468 140731023983040 140731023965584 140316528406263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
/proc/22342/statm: 6828530 31847 3018 1 0 6790935 0
[pid=22342/tid=22343] ppid=22339 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22342/task/22343/stat : 22343 (java) R 22339 22339 20843 0 -1 4202560 9266 0 0 0 26 3 0 0 20 0 20 0 512495768 27969658880 31847 33554432000 4194304 4196468 140731023983040 140316500229456 140316508681958 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22344] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22344/stat : 22344 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 31847 33554432000 4194304 4196468 140731023983040 140316532648336 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22345] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22345/stat : 22345 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 31847 33554432000 4194304 4196468 140731023983040 140316316043536 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22346] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22346/stat : 22346 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 31847 33554432000 4194304 4196468 140731023983040 140316314991248 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22347] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22347/stat : 22347 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 31847 33554432000 4194304 4196468 140731023983040 140315948210704 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22348] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22348/stat : 22348 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 31847 33554432000 4194304 4196468 140731023983040 140315947158416 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22349] ppid=22339 vsize=27314120 memory=139730184399535 CPUtime=0 cores=0-7
/proc/22342/task/22349/stat : 22349 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 31847 33554432000 4194304 4196468 140731023983040 140315946105616 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22350] ppid=22339 vsize=27314120 memory=139730184401840 CPUtime=0 cores=0-7
/proc/22342/task/22350/stat : 22350 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 31847 33554432000 4194304 4196468 140731023983040 140315945053328 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22351] ppid=22339 vsize=27314120 memory=139730184404144 CPUtime=0 cores=0-7
/proc/22342/task/22351/stat : 22351 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512495770 27969658880 31847 33554432000 4194304 4196468 140731023983040 140315944000528 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22352] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22352/stat : 22352 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 31847 33554432000 4194304 4196468 140731023983040 140314646894704 140316528417410 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22353] ppid=22339 vsize=27314120 memory=279460368822160 CPUtime=0 cores=0-7
/proc/22342/task/22353/stat : 22353 (java) S 22339 22339 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 31847 33554432000 4194304 4196468 140731023983040 140314501178144 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22354] ppid=22339 vsize=27314120 memory=279460368819856 CPUtime=0 cores=0-7
/proc/22342/task/22354/stat : 22354 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495772 27969658880 31847 33554432000 4194304 4196468 140731023983040 140314232743024 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22355] ppid=22339 vsize=27314120 memory=279460368826768 CPUtime=0 cores=0-7
/proc/22342/task/22355/stat : 22355 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 31847 33554432000 4194304 4196468 140731023983040 140313858234448 140316528424859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22356] ppid=22339 vsize=27314120 memory=279460368768048 CPUtime=0 cores=0-7
/proc/22342/task/22356/stat : 22356 (java) S 22339 22339 20843 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 31847 33554432000 4194304 4196468 140731023983040 140314645842544 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22357] ppid=22339 vsize=27314120 memory=279460368840592 CPUtime=0.01 cores=0-7
/proc/22342/task/22357/stat : 22357 (java) S 22339 22339 20843 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 512495775 27969658880 31847 33554432000 4194304 4196468 140731023983040 140314644789744 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22358] ppid=22339 vsize=27314120 memory=279460368847504 CPUtime=0.02 cores=0-7
/proc/22342/task/22358/stat : 22358 (java) R 22339 22339 20843 0 -1 4202560 252 0 0 0 2 0 0 0 20 0 20 0 512495775 27969658880 31847 33554432000 4194304 4196468 140731023983040 140314643737456 140316513332955 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22359] ppid=22339 vsize=27314120 memory=279460368845200 CPUtime=0.07 cores=0-7
/proc/22342/task/22359/stat : 22359 (java) S 22339 22339 20843 0 -1 1077944384 536 0 0 0 7 0 0 0 20 0 20 0 512495775 27969658880 31847 33554432000 4194304 4196468 140731023983040 140314642684656 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22360] ppid=22339 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22360/stat : 22360 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 31847 33554432000 4194304 4196468 140731023983040 140313360329056 140316528416469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22361] ppid=22339 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22342/task/22361/stat : 22361 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495775 27969658880 31847 33554432000 4194304 4196468 140731023983040 140314641631536 140316528417410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128784 KiB

[startup+0.700966 s]
/proc/loadavg: 1.85 4.14 6.45 2/209 22361
/proc/meminfo: memFree=25265384/32770624 swapFree=66941064/67108860
[pid=22339] ppid=22336 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22339/stat : 22339 (scop.sh) S 22336 22339 20843 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512495767 115843072 349 33554432000 4194304 5098028 140720650721904 140720650719160 140444790964860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31444992 140720650728228 140720650728556 140720650728556 140720650731469 0
/proc/22339/statm: 28282 349 296 221 0 87 0
[pid=22342] ppid=22339 vsize=27320392 memory=165504 CPUtime=1.01 cores=0-7
/proc/22342/stat : 22342 (java) S 22339 22339 20843 0 -1 1077944320 19966 0 0 0 94 7 0 0 20 0 20 0 512495767 27976081408 41376 33554432000 4194304 4196468 140731023983040 140731023965584 140316528406263 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
/proc/22342/statm: 6830098 41376 3183 1 0 6791447 0
[pid=22342/tid=22343] ppid=22339 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/22342/task/22343/stat : 22343 (java) R 22339 22339 20843 0 -1 4202560 16839 0 0 0 62 6 0 0 20 0 20 0 512495768 27976081408 41376 33554432000 4194304 4196468 140731023983040 140316500232592 140315994694406 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22344] ppid=22339 vsize=27320392 memory=2353 CPUtime=0 cores=0-7
/proc/22342/task/22344/stat : 22344 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512495770 27976081408 41376 33554432000 4194304 4196468 140731023983040 140316532648336 140316528416469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22345] ppid=22339 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/22342/task/22345/stat : 22345 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27976081408 41376 33554432000 4194304 4196468 140731023983040 140316316043536 140316528416469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0
[pid=22342/tid=22346] ppid=22339 vsize=27320392 memory=10728 CPUtime=0 cores=0-7
/proc/22342/task/22346/stat : 22346 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512495770 27976081408 41888 33554432000 4194304 4196468 140731023983040 140316314991248 140316528416469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140731023987434 140731023987862 140731023987862 140731023990735 0

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

[pid=22425/tid=22426] ppid=22339 vsize=8414124 memory=125136 CPUtime=0.81 cores=0-7
/proc/22425/task/22426/stat : 22426 (java) S 22339 22339 20843 0 -1 1077944384 17374 0 0 0 75 6 0 0 20 0 24 0 512542658 8616062976 46494 33554432000 4194304 4196468 140721760286592 139793039814560 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22427] ppid=22339 vsize=8414124 memory=8324240465810652046 CPUtime=0 cores=0-7
/proc/22425/task/22427/stat : 22427 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512542660 8616062976 46494 33554432000 4194304 4196468 140721760286592 139793072217104 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22428] ppid=22339 vsize=8414124 memory=125136 CPUtime=0 cores=0-7
/proc/22425/task/22428/stat : 22428 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512542660 8616062976 46494 33554432000 4194304 4196468 140721760286592 139792872385680 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22429] ppid=22339 vsize=8414124 memory=3931156 CPUtime=0 cores=0-7
/proc/22425/task/22429/stat : 22429 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512542660 8616062976 46494 33554432000 4194304 4196468 140721760286592 139792871332624 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22430] ppid=22339 vsize=8414124 memory=3927700 CPUtime=0 cores=0-7
/proc/22425/task/22430/stat : 22430 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512542660 8616062976 46494 33554432000 4194304 4196468 140721760286592 139792870280080 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22431] ppid=22339 vsize=8414124 memory=7686721470317500821 CPUtime=0 cores=0-7
/proc/22425/task/22431/stat : 22431 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512542660 8616062976 46494 33554432000 4194304 4196468 140721760286592 139792869227024 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22432] ppid=22339 vsize=8414124 memory=6369591060327518295 CPUtime=0 cores=0-7
/proc/22425/task/22432/stat : 22432 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512542660 8616062976 46494 33554432000 4194304 4196468 140721760286592 139792868174480 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22433] ppid=22339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22425/task/22433/stat : 22433 (java) S 22339 22339 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512542660 8616062976 46494 33554432000 4194304 4196468 140721760286592 139792867121424 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22434] ppid=22339 vsize=8414124 memory=6296685734266953792 CPUtime=0 cores=0-7
/proc/22425/task/22434/stat : 22434 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512542660 8616062976 46494 33554432000 4194304 4196468 140721760286592 139792866068880 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22435] ppid=22339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22425/task/22435/stat : 22435 (java) S 22339 22339 20843 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 512542661 8616062976 46494 33554432000 4194304 4196468 140721760286592 139791893015280 139793067985538 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22436] ppid=22339 vsize=8414124 memory=6296685734266953792 CPUtime=0 cores=0-7
/proc/22425/task/22436/stat : 22436 (java) S 22339 22339 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512542662 8616062976 46494 33554432000 4194304 4196468 140721760286592 139791723128480 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22437] ppid=22339 vsize=8414124 memory=3905536 CPUtime=0 cores=0-7
/proc/22425/task/22437/stat : 22437 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512542662 8616062976 46494 33554432000 4194304 4196468 140721760286592 139791454692592 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22438] ppid=22339 vsize=8414124 memory=33808 CPUtime=0 cores=0-7
/proc/22425/task/22438/stat : 22438 (java) S 22339 22339 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512542665 8616062976 46494 33554432000 4194304 4196468 140721760286592 139791080184272 139793067992987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22439] ppid=22339 vsize=8414124 memory=2116 CPUtime=0.16 cores=0-7
/proc/22425/task/22439/stat : 22439 (java) R 22339 22339 20843 0 -1 4202560 1119 0 0 0 16 0 0 0 20 0 24 0 512542665 8616062976 46494 33554432000 4194304 4196468 140721760286592 139791891962096 139793067986326 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22440] ppid=22339 vsize=8414124 memory=12024 CPUtime=0.11 cores=0-7
/proc/22425/task/22440/stat : 22440 (java) S 22339 22339 20843 0 -1 1077944384 353 0 0 0 11 0 0 0 20 0 24 0 512542665 8616062976 46494 33554432000 4194304 4196468 140721760286592 139791890909552 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22441] ppid=22339 vsize=8414124 memory=1560 CPUtime=0.14 cores=0-7
/proc/22425/task/22441/stat : 22441 (java) S 22339 22339 20843 0 -1 1077944384 547 0 0 0 14 0 0 0 20 0 24 0 512542665 8616062976 47006 33554432000 4194304 4196468 140721760286592 139791889856496 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22442] ppid=22339 vsize=8414124 memory=500 CPUtime=0.28 cores=0-7
/proc/22425/task/22442/stat : 22442 (java) S 22339 22339 20843 0 -1 1077944384 1159 0 0 0 28 0 0 0 20 0 24 0 512542665 8616062976 47006 33554432000 4194304 4196468 140721760286592 139791888803952 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22443] ppid=22339 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/22425/task/22443/stat : 22443 (java) S 22339 22339 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512542665 8616062976 47006 33554432000 4194304 4196468 140721760286592 139790582279136 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22444] ppid=22339 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/22425/task/22444/stat : 22444 (java) S 22339 22339 20843 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 512542665 8616062976 47006 33554432000 4194304 4196468 140721760286592 139791887752368 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22446] ppid=22339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22425/task/22446/stat : 22446 (java) S 22339 22339 20843 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512542737 8616062976 47006 33554432000 4194304 4196468 140721760286592 139791879718336 139793067999001 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22448] ppid=22339 vsize=8414124 memory=64424 CPUtime=0.12 cores=0-7
/proc/22425/task/22448/stat : 22448 (java) R 22339 22339 20843 0 -1 4202560 77 0 0 0 10 2 0 0 20 0 24 0 512542738 8616062976 47006 33554432000 4194304 4196468 140721760286592 139789911178752 139792548767099 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22449] ppid=22339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22425/task/22449/stat : 22449 (java) S 22339 22339 20843 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512542738 8616062976 47006 33554432000 4194304 4196468 140721760286592 139790179614352 139793067996317 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22450] ppid=22339 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22425/task/22450/stat : 22450 (java) S 22339 22339 20843 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 24 0 512542740 8616062976 47006 33554432000 4194304 4196468 140721760286592 139789642750896 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
Current children cumulated CPU time: 645.93 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 187452 KiB

[startup+522.601 s]
/proc/loadavg: 5.22 2.88 4.62 2/215 22461
/proc/meminfo: memFree=21224192/32770624 swapFree=66941064/67108860
[pid=22339] ppid=22336 vsize=113128 memory=1476 CPUtime=644.24 cores=0-7
/proc/22339/stat : 22339 (scop.sh) S 22336 22339 20843 0 -1 4202496 582 229033 0 0 0 0 61144 3280 20 0 1 0 512495767 115843072 369 33554432000 4194304 5098028 140720650721904 140720650718648 140444790964860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31444992 140720650728228 140720650728556 140720650728556 140720650731469 0
/proc/22339/statm: 28282 369 311 221 0 87 0
[pid=22425] ppid=22339 vsize=8283048 memory=224356 CPUtime=376.63 cores=0-7
/proc/22425/stat : 22425 (java) S 22339 22339 20843 0 -1 1077944320 22499 2827526 0 0 199 12 36738 714 20 0 22 0 512542658 8481841152 56089 33554432000 4194304 4196468 140721760286592 140721760269136 139793067974391 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
/proc/22425/statm: 2070762 56089 3232 1 0 2032106 0
[pid=22425/tid=22426] ppid=22339 vsize=8283048 memory=3930148 CPUtime=375.4 cores=0-7
/proc/22425/task/22426/stat : 22426 (java) R 22339 22339 20843 0 -1 4202560 17521 2827526 0 0 82 6 36738 714 20 0 22 0 512542658 8481841152 56089 33554432000 4194304 4196468 140721760286592 139793039801368 139793049548368 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22427] ppid=22339 vsize=8283048 memory=6791534058613427641 CPUtime=374.52 cores=0-7
/proc/22425/task/22427/stat : 22427 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 56089 33554432000 4194304 4196468 140721760286592 139793072217104 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22428] ppid=22339 vsize=8283048 memory=1724 CPUtime=374.52 cores=0-7
/proc/22425/task/22428/stat : 22428 (java) S 22339 22339 20843 0 -1 1077944384 2 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 56089 33554432000 4194304 4196468 140721760286592 139792872385680 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22429] ppid=22339 vsize=8283048 memory=1096 CPUtime=374.52 cores=0-7
/proc/22425/task/22429/stat : 22429 (java) S 22339 22339 20843 0 -1 1077944384 3 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 56089 33554432000 4194304 4196468 140721760286592 139792871332624 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22430] ppid=22339 vsize=8283048 memory=1228 CPUtime=374.52 cores=0-7
/proc/22425/task/22430/stat : 22430 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 56089 33554432000 4194304 4196468 140721760286592 139792870280080 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22431] ppid=22339 vsize=8283048 memory=6144 CPUtime=374.52 cores=0-7
/proc/22425/task/22431/stat : 22431 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 56089 33554432000 4194304 4196468 140721760286592 139792869227024 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22432] ppid=22339 vsize=8283048 memory=780 CPUtime=374.52 cores=0-7
/proc/22425/task/22432/stat : 22432 (java) S 22339 22339 20843 0 -1 1077944384 2 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 56089 33554432000 4194304 4196468 140721760286592 139792868174480 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22433] ppid=22339 vsize=8283048 memory=14008 CPUtime=374.52 cores=0-7
/proc/22425/task/22433/stat : 22433 (java) S 22339 22339 20843 0 -1 1077944384 2 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 56089 33554432000 4194304 4196468 140721760286592 139792867121424 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22434] ppid=22339 vsize=8283048 memory=7686721470317500821 CPUtime=374.52 cores=0-7
/proc/22425/task/22434/stat : 22434 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 56089 33554432000 4194304 4196468 140721760286592 139792866068880 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22435] ppid=22339 vsize=8283048 memory=125136 CPUtime=374.52 cores=0-7
/proc/22425/task/22435/stat : 22435 (java) S 22339 22339 20843 0 -1 1077944384 6 2827526 0 0 0 0 36738 714 20 0 22 0 512542661 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791893015280 139793067985538 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22436] ppid=22339 vsize=8283048 memory=3872556 CPUtime=374.52 cores=0-7
/proc/22425/task/22436/stat : 22436 (java) S 22339 22339 20843 0 -1 1077944384 13 2827526 0 0 0 0 36738 714 20 0 22 0 512542662 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791723128480 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22437] ppid=22339 vsize=8283048 memory=279460368701184 CPUtime=374.52 cores=0-7
/proc/22425/task/22437/stat : 22437 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542662 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791454692592 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22438] ppid=22339 vsize=8283048 memory=3470698966564955456 CPUtime=374.52 cores=0-7
/proc/22425/task/22438/stat : 22438 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542665 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791080184272 139793067992987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22439] ppid=22339 vsize=8283048 memory=7589503725372330069 CPUtime=374.73 cores=0-7
/proc/22425/task/22439/stat : 22439 (java) S 22339 22339 20843 0 -1 1077944384 1144 2827526 0 0 21 0 36738 714 20 0 22 0 512542665 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791891962096 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22440] ppid=22339 vsize=8283048 memory=7086507941990453332 CPUtime=374.69 cores=0-7
/proc/22425/task/22440/stat : 22440 (java) R 22339 22339 20843 0 -1 4202560 364 2827526 0 0 17 0 36738 714 20 0 22 0 512542665 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791890899344 139793060225914 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22441] ppid=22339 vsize=8283048 memory=288230574492221466 CPUtime=374.71 cores=0-7
/proc/22425/task/22441/stat : 22441 (java) S 22339 22339 20843 0 -1 1077944384 583 2827526 0 0 19 0 36738 714 20 0 22 0 512542665 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791889856496 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22442] ppid=22339 vsize=8283048 memory=288230596050944315 CPUtime=374.85 cores=0-7
/proc/22425/task/22442/stat : 22442 (java) S 22339 22339 20843 0 -1 1077944384 1255 2827526 0 0 33 0 36738 714 20 0 22 0 512542665 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791888803952 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22443] ppid=22339 vsize=8283048 memory=13571487609129518 CPUtime=374.52 cores=0-7
/proc/22425/task/22443/stat : 22443 (java) S 22339 22339 20843 0 -1 1077944384 3 2827526 0 0 0 0 36738 714 20 0 22 0 512542665 8481841152 56089 33554432000 4194304 4196468 140721760286592 139790582279136 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22444] ppid=22339 vsize=8283048 memory=111632 CPUtime=374.54 cores=0-7
/proc/22425/task/22444/stat : 22444 (java) S 22339 22339 20843 0 -1 1077944384 5 2827526 0 0 0 2 36738 714 20 0 22 0 512542665 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791887752368 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22446] ppid=22339 vsize=8283048 memory=6791534058613427641 CPUtime=374.52 cores=0-7
/proc/22425/task/22446/stat : 22446 (java) S 22339 22339 20843 0 -1 1077944384 25 2827526 0 0 0 0 36738 714 20 0 22 0 512542737 8481841152 56089 33554432000 4194304 4196468 140721760286592 139791879717520 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22450] ppid=22339 vsize=8283048 memory=1416 CPUtime=374.52 cores=0-7
/proc/22425/task/22450/stat : 22450 (java) S 22339 22339 20843 0 -1 1077944384 137 2827526 0 0 0 0 36738 714 20 0 22 0 512542740 8481841152 56089 33554432000 4194304 4196468 140721760286592 139789642752688 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
Current children cumulated CPU time: 1020.87 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 225832 KiB

[startup+522.701 s]
/proc/loadavg: 5.22 2.88 4.62 2/215 22461
/proc/meminfo: memFree=21224192/32770624 swapFree=66941064/67108860
[pid=22339] ppid=22336 vsize=113128 memory=1476 CPUtime=644.24 cores=0-7
/proc/22339/stat : 22339 (scop.sh) S 22336 22339 20843 0 -1 4202496 582 229033 0 0 0 0 61144 3280 20 0 1 0 512495767 115843072 369 33554432000 4194304 5098028 140720650721904 140720650718648 140444790964860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31444992 140720650728228 140720650728556 140720650728556 140720650731469 0
/proc/22339/statm: 28282 369 311 221 0 87 0
[pid=22425] ppid=22339 vsize=8283048 memory=229368 CPUtime=376.83 cores=0-7
/proc/22425/stat : 22425 (java) S 22339 22339 20843 0 -1 1077944320 23822 2827526 0 0 218 13 36738 714 20 0 22 0 512542658 8481841152 57342 33554432000 4194304 4196468 140721760286592 140721760269136 139793067974391 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
/proc/22425/statm: 2070762 57342 3235 1 0 2032106 0
[pid=22425/tid=22426] ppid=22339 vsize=8283048 memory=1476 CPUtime=375.5 cores=0-7
/proc/22425/task/22426/stat : 22426 (java) R 22339 22339 20843 0 -1 4202560 18684 2827526 0 0 91 7 36738 714 20 0 22 0 512542658 8481841152 57342 33554432000 4194304 4196468 140721760286592 139793039812288 139793067986326 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22427] ppid=22339 vsize=8283048 memory=125136 CPUtime=374.52 cores=0-7
/proc/22425/task/22427/stat : 22427 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 57342 33554432000 4194304 4196468 140721760286592 139793072217104 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22428] ppid=22339 vsize=8283048 memory=1476 CPUtime=374.52 cores=0-7
/proc/22425/task/22428/stat : 22428 (java) S 22339 22339 20843 0 -1 1077944384 2 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 57342 33554432000 4194304 4196468 140721760286592 139792872385680 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22429] ppid=22339 vsize=8283048 memory=214780 CPUtime=374.52 cores=0-7
/proc/22425/task/22429/stat : 22429 (java) S 22339 22339 20843 0 -1 1077944384 3 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 57342 33554432000 4194304 4196468 140721760286592 139792871332624 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22430] ppid=22339 vsize=8283048 memory=1476 CPUtime=374.52 cores=0-7
/proc/22425/task/22430/stat : 22430 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 57342 33554432000 4194304 4196468 140721760286592 139792870280080 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22431] ppid=22339 vsize=8283048 memory=1448 CPUtime=374.52 cores=0-7
/proc/22425/task/22431/stat : 22431 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 57342 33554432000 4194304 4196468 140721760286592 139792869227024 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22432] ppid=22339 vsize=8283048 memory=3620 CPUtime=374.52 cores=0-7
/proc/22425/task/22432/stat : 22432 (java) S 22339 22339 20843 0 -1 1077944384 2 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 57342 33554432000 4194304 4196468 140721760286592 139792868174480 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22433] ppid=22339 vsize=8283048 memory=63560 CPUtime=374.52 cores=0-7
/proc/22425/task/22433/stat : 22433 (java) S 22339 22339 20843 0 -1 1077944384 2 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 57342 33554432000 4194304 4196468 140721760286592 139792867121424 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22434] ppid=22339 vsize=8283048 memory=0 CPUtime=374.52 cores=0-7
/proc/22425/task/22434/stat : 22434 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542660 8481841152 57342 33554432000 4194304 4196468 140721760286592 139792866068880 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22435] ppid=22339 vsize=8283048 memory=1476 CPUtime=374.52 cores=0-7
/proc/22425/task/22435/stat : 22435 (java) S 22339 22339 20843 0 -1 1077944384 6 2827526 0 0 0 0 36738 714 20 0 22 0 512542661 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791893015280 139793067985538 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22436] ppid=22339 vsize=8283048 memory=1984 CPUtime=374.52 cores=0-7
/proc/22425/task/22436/stat : 22436 (java) S 22339 22339 20843 0 -1 1077944384 13 2827526 0 0 0 0 36738 714 20 0 22 0 512542662 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791723128480 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22437] ppid=22339 vsize=8283048 memory=2364 CPUtime=374.52 cores=0-7
/proc/22425/task/22437/stat : 22437 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542662 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791454692592 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22438] ppid=22339 vsize=8283048 memory=125136 CPUtime=374.52 cores=0-7
/proc/22425/task/22438/stat : 22438 (java) S 22339 22339 20843 0 -1 1077944384 1 2827526 0 0 0 0 36738 714 20 0 22 0 512542665 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791080184272 139793067992987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22439] ppid=22339 vsize=8283048 memory=1476 CPUtime=374.74 cores=0-7
/proc/22425/task/22439/stat : 22439 (java) S 22339 22339 20843 0 -1 1077944384 1156 2827526 0 0 22 0 36738 714 20 0 22 0 512542665 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791891962096 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22440] ppid=22339 vsize=8283048 memory=0 CPUtime=374.71 cores=0-7
/proc/22425/task/22440/stat : 22440 (java) S 22339 22339 20843 0 -1 1077944384 384 2827526 0 0 19 0 36738 714 20 0 22 0 512542665 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791890909552 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22441] ppid=22339 vsize=8283048 memory=0 CPUtime=374.72 cores=0-7
/proc/22425/task/22441/stat : 22441 (java) R 22339 22339 20843 0 -1 4202560 588 2827526 0 0 20 0 36738 714 20 0 22 0 512542665 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791889856496 139793067985538 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22442] ppid=22339 vsize=8283048 memory=125136 CPUtime=374.9 cores=0-7
/proc/22425/task/22442/stat : 22442 (java) R 22339 22339 20843 0 -1 4202560 1381 2827526 0 0 38 0 36738 714 20 0 22 0 512542665 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791888803952 139793061071227 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22443] ppid=22339 vsize=8283048 memory=1476 CPUtime=374.52 cores=0-7
/proc/22425/task/22443/stat : 22443 (java) S 22339 22339 20843 0 -1 1077944384 3 2827526 0 0 0 0 36738 714 20 0 22 0 512542665 8481841152 57342 33554432000 4194304 4196468 140721760286592 139790582279136 139793067984597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22444] ppid=22339 vsize=8283048 memory=279460370173072 CPUtime=374.54 cores=0-7
/proc/22425/task/22444/stat : 22444 (java) S 22339 22339 20843 0 -1 1077944384 5 2827526 0 0 0 2 36738 714 20 0 22 0 512542665 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791887752368 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22446] ppid=22339 vsize=8283048 memory=4639924115538006630 CPUtime=374.52 cores=0-7
/proc/22425/task/22446/stat : 22446 (java) S 22339 22339 20843 0 -1 1077944384 25 2827526 0 0 0 0 36738 714 20 0 22 0 512542737 8481841152 57342 33554432000 4194304 4196468 140721760286592 139791879717520 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
[pid=22425/tid=22450] ppid=22339 vsize=8283048 memory=0 CPUtime=374.52 cores=0-7
/proc/22425/task/22450/stat : 22450 (java) S 22339 22339 20843 0 -1 1077944384 137 2827526 0 0 0 0 36738 714 20 0 22 0 512542740 8481841152 57342 33554432000 4194304 4196468 140721760286592 139789642752688 139793067985538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140721760289783 140721760289942 140721760289942 140721760292815 0
Current children cumulated CPU time: 1021.07 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 230844 KiB

Child status: 0
Real time (s): 522.732
CPU time (s): 1021.15
CPU user time (s): 981.025
CPU system time (s): 40.1234
CPU usage (%): 195.348
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 18283180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 981.025
system time used= 40.1234
maximum resident set size= 18281920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3081020
page faults= 0
swaps= 0
block input operations= 8
block output operations= 259456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305581
involuntary context switches= 4992


# summary of solver processes directly reported to runsolver:
#   pid: 22339
#   total CPU time (s): 1021.15
#   total CPU user time (s): 981.025
#   total CPU system time (s): 40.1234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53964 second user time and 3.90058 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-24 23:59:43
IDJOB=4405557
IDBENCH=139942
IDSOLVER=2868
FILE ID=node139/4405557-1569362249
RUNJOBID= node139-1569356582-20870
PBS_JOBID= 21705103
Free space on /tmp= 5144 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h2105.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405557-1569362249/watcher-4405557-1569362249 -o /tmp/evaluation-result-4405557-1569362249/solver-4405557-1569362249 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405557-1569362249.xml

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

MD5SUM BENCH= 35703c5da18cfa31646d51f4d8651558
RANDOM SEED=1852955503

node139.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.57
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.57
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.57
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.57
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:        25405924 kB
MemAvailable:   31779488 kB
Buffers:          114276 kB
Cached:          6347800 kB
SwapCached:        64808 kB
Active:          3223084 kB
Inactive:        3308584 kB
Active(anon):       4996 kB
Inactive(anon):   120880 kB
Active(file):    3218088 kB
Inactive(file):  3187704 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66941064 kB
Dirty:             21824 kB
Writeback:             0 kB
AnonPages:         45048 kB
Mapped:            57428 kB
Shmem:             47400 kB
Slab:             426064 kB
SReclaimable:     396232 kB
SUnreclaim:        29832 kB
KernelStack:        3680 kB
PageTables:         6048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5124 MiB
End job on node139 at 2019-09-25 00:08:26