Trace number 4405257

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 order+ManyGlucose (2019-09-22)SAT 1040.99 539.251

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12748-serial-file.bin HOME/instance-4405257-1569362147.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 22:45:25 CEST 2019
0.65/0.57	c PID: 12751
0.65/0.57	c IP: 172.20.3.104
0.65/0.57	c HOST: node104.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.78/1.28	c (0,0) Parsing End
2.78/1.29	c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 144 ctr, max domain size 26
2.78/1.29	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.78/1.29	c (0,0) Constraint Name Generate Begin
3.19/1.30	c (0,0) Ctr:HOME/instance-4405257-1569362147.xml,ExtensionSupport:Var
3.19/1.30	c (0,0) Constraint Name Generate End
3.19/1.30	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.19/1.30	c (0,0) CSP to CSPinCNF Begin
57.93/39.29	c (38,37) translated 15 (10%) constraints
101.72/73.81	c (73,71) translated 29 (20%) constraints
151.96/111.29	c (110,106) translated 44 (30%) constraints
242.78/178.54	c (177,170) translated 58 (40%) constraints
315.50/237.57	c (237,227) translated 72 (50%) constraints
316.80/238.81	c (238,228) translated 87 (60%) constraints
323.92/245.97	c (245,236) translated 101 (70%) constraints
348.05/264.44	c (263,253) translated 116 (80%) constraints
359.17/275.56	c (275,264) translated 130 (90%) constraints
367.31/280.84	c (280,269) translated 144 (100%) constraints
367.62/281.15	c (280,270) ===========================================
367.62/281.19	c (280,270) Order
367.62/281.19	c (280,270) ===========================================
378.28/291.38	c (290,280) translated 501550 (10%) constraints
392.89/302.11	c (301,290) translated 1003100 (20%) constraints
402.96/312.16	c (311,300) translated 1504649 (30%) constraints
418.04/322.90	c (322,310) translated 2006199 (40%) constraints
433.31/333.64	c (333,320) translated 2507748 (50%) constraints
443.41/343.74	c (343,330) translated 3009298 (60%) constraints
458.66/354.43	c (353,340) translated 3510848 (70%) constraints
468.67/364.46	c (363,350) translated 4012397 (80%) constraints
484.20/375.13	c (374,360) translated 4513947 (90%) constraints
494.00/385.00	c (384,370) translated 5015496 (100%) constraints
494.00/385.00	c (384,370) CSP to CSPinCNF End
494.24/385.16	c (384,370) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
494.24/385.16	c (384,370) Heap : 9671 MiB used (max 21584 MiB), NonHeap : 27 MiB used (max 0 MiB)
494.24/385.16	c (384,370) CSPinCNF Propagation Begin
553.63/412.94	c (412,394) 0 values, 144 unsatisfiable literals, and 0 valid clauses are removed
553.63/412.94	c (412,394) CSPinCNF Propagation End
553.74/413.09	c (412,394) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
553.74/413.09	c (412,394) Heap : 11288 MiB used (max 21723 MiB), NonHeap : 27 MiB used (max 0 MiB)
553.84/413.12	c (412,394) Simplify CSPinCNF Begin
575.26/424.30	c (423,403) Simplify CSPinCNF End
575.36/424.45	c (423,404) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
575.36/424.45	c (423,404) Heap : 11366 MiB used (max 20707 MiB), NonHeap : 27 MiB used (max 0 MiB)
575.36/424.45	c (423,404) Calculate Precise Domain Begin
575.36/424.45	c (423,404) 0 values are removed by re-calculation
575.36/424.45	c (423,404) Calculate Precise Domain End
575.56/424.60	c (424,404) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
575.56/424.60	c (424,404) Heap : 11366 MiB used (max 20707 MiB), NonHeap : 27 MiB used (max 0 MiB)
575.56/424.61	c (424,404) CSPinCNF to SatSolver Begin
592.58/432.32	c (431,410) 501550 (10 %) CSP clauses are encoded (0 SAT variables, 510242 SAT clauses)
601.60/438.17	c (437,416) 1003100 (20 %) CSP clauses are encoded (0 SAT variables, 1011792 SAT clauses)
609.52/443.87	c (443,421) 1504649 (30 %) CSP clauses are encoded (0 SAT variables, 1513341 SAT clauses)
617.32/449.55	c (449,426) 2006199 (40 %) CSP clauses are encoded (0 SAT variables, 2014891 SAT clauses)
625.22/455.24	c (454,432) 2507748 (50 %) CSP clauses are encoded (0 SAT variables, 2516440 SAT clauses)
630.53/460.59	c (460,437) 3009298 (60 %) CSP clauses are encoded (0 SAT variables, 3017990 SAT clauses)
638.50/466.32	c (465,442) 3510848 (70 %) CSP clauses are encoded (0 SAT variables, 3519540 SAT clauses)
646.47/472.06	c (471,448) 4012397 (80 %) CSP clauses are encoded (0 SAT variables, 4021089 SAT clauses)
654.48/477.78	c (477,453) 4513947 (90 %) CSP clauses are encoded (0 SAT variables, 4522639 SAT clauses)
662.66/483.58	c (483,459) 5015496 (100 %) CSP clauses are encoded (0 SAT variables, 5024188 SAT clauses)
662.66/483.58	c (483,459) CSPinCNF to SatSolver End
662.66/483.58	c (483,459) Heap : 11755 MiB used (max 21365 MiB), NonHeap : 29 MiB used (max 0 MiB)
662.66/483.58	c (483,459) 474527 bool, 5024189 clause
662.66/483.58	c (483,459) Export Begin
662.91/483.74	c (483,459) Export to HOME/scop-12748-serial-file.bin
662.91/483.74	c (483,459) Export End
662.91/483.74	c (483,459) Export File Size: 0.14 MB
662.91/483.74	c (483,459) 0,0,384,412,423,424,483,STOP-AFTER(DIMACS)
662.91/483.74	c END-Prog: Tue Sep 24 22:53:28 CEST 2019
0.00/483.83	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12748-serial-file.bin
663.72/484.30	c (0,0) Read Serial File Begin
663.72/484.30	c (0,0) HOME/scop-12748-serial-file.bin
664.00/484.56	c (0,0) Read Serial File End
664.00/484.58	
664.00/484.58	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
664.00/484.58	(Solving Process)
664.00/484.58	
664.29/484.60	c BEGIN-Prog: Tue Sep 24 22:53:29 CEST 2019
664.29/484.60	c PID: 12809
664.29/484.60	c IP: 172.20.3.104
664.29/484.60	c HOST: node104.alineos.net
664.29/484.61	c (0,0) SatSolver.solve Begin
664.29/484.61	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405257-1569362147.xml-scop-12751.cnf
664.29/484.63	c (0,0) c
664.29/484.63	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)
664.29/484.63	c (0,0) c
664.29/484.63	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
664.29/484.63	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
664.29/484.63	c (0,0) c ========================================[ Problem Statistics ]===========================================
664.29/484.63	c (0,0) c |                                                                                                       |
666.38/486.53	c (2,0) c |  Number of variables:        474527                                                                   |
666.38/486.53	c (2,0) c |  Number of clauses:         5017012                                                                   |
666.38/486.53	c (2,0) c |  Parse time:                   1.72 s                                                                 |
666.38/486.53	c (2,0) c |                                                                                                       |
666.78/486.96	c (2,0) c | Too many clauses... No preprocessing                                                                  |
666.78/486.96	c (2,0) c |  Simplification time:          0.38 s                                                                 |
666.78/486.96	c (2,0) c |                                                                                                       |
666.78/486.97	c (2,0) c |  Generating clones                                                                                    |
668.39/488.51	c (4,0) c |  all clones generated. Memory =  3333.60Mb.                                                           |
668.39/488.51	c (4,0) c ========================================================================================================|
668.39/488.51	c (4,0) c
668.39/488.51	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
668.39/488.51	c (4,0) c
668.39/488.51	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
668.39/488.51	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
668.39/488.51	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
668.39/488.51	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
668.39/488.51	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
668.39/488.51	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
668.39/488.51	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
668.39/488.51	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
668.39/488.51	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
668.39/488.51	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
668.39/488.51	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
668.39/488.51	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
668.39/488.51	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
668.39/488.51	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
668.39/488.51	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
668.39/488.51	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
668.39/488.51	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
668.39/488.51	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
668.39/488.51	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
892.51/517.52	c (33,0) c
892.51/517.52	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
892.51/517.52	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
892.51/517.52	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
892.51/517.52	c (33,0) c |  0 |     77 |     285523 |      24426 |   558059 |     8285 |     3427 |    18526 |      206 |      140 |  20 |  0.025 |
892.51/517.52	c (33,0) c |  1 |     94 |     274042 |      27924 |   642365 |    11760 |     3770 |    23065 |      298 |      160 |  20 |  0.025 |
892.51/517.52	c (33,0) c |  2 |     89 |     294454 |      28069 |   560754 |    11879 |     4309 |    22512 |      178 |      160 |  20 |  0.025 |
892.51/517.52	c (33,0) c |  3 |     96 |     323362 |      26836 |   602910 |    10744 |     3648 |    23207 |      293 |      160 |  20 |  0.025 |
892.51/517.52	c (33,0) c |  4 |    103 |     278692 |      26349 |   571188 |    10209 |     3753 |    21779 |      290 |      160 |  20 |  0.025 |
892.51/517.52	c (33,0) c |  5 |     95 |     267200 |      27205 |   652691 |    11024 |     3798 |    22863 |      236 |      160 |  20 |  0.025 |
892.51/517.52	c (33,0) c |  6 |    105 |     310796 |      27700 |   583826 |    11597 |     3741 |    23252 |      272 |      160 |  20 |  0.025 |
892.51/517.52	c (33,0) c |  7 |     84 |     299467 |      24601 |   618717 |     8448 |     3167 |    20013 |      299 |      146 |  20 |  0.025 |
892.51/517.52	c (33,0) c 
892.51/517.52	c (33,0) c synthesis      213111 conflicts   629878062 propagations      958 conflicts/sec  2832069 propagations/sec
892.51/517.52	c (33,0) c real: 32.8889 s, cpu: 222.409 s, memory: 4052.34 Mb
1039.76/538.75	c (54,0) c
1039.76/538.75	c (54,0) c real time : 54.1157 s
1039.76/538.75	c (54,0) c cpu time  : 368.417 s
1039.76/538.75	c (54,0) c
1039.76/538.75	c (54,0) c
1039.76/538.75	c (54,0) c
1039.76/538.75	c (54,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1039.76/538.75	c (54,0) c
1039.76/538.75	c (54,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.75	c (54,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1039.76/538.75	c (54,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.75	c (54,0) c | Conflicts     |          361476 |      44837 |      46906 |      45433 |      44155 |      44720 |      45413 |      46107 |      43905 |
1039.76/538.75	c (54,0) c | Decisions     |         3633552 |     454721 |     456826 |     463562 |     471502 |     407152 |     417536 |     484701 |     477552 |
1039.76/538.75	c (54,0) c | Propagations  |      1059684365 |  132256930 |  129260141 |  134427029 |  133053523 |  130902207 |  131591930 |  132131035 |  136061570 |
1039.76/538.75	c (54,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1039.76/538.75	c (54,0) c | SimpDBs       |              60 |          8 |          7 |          8 |          8 |          7 |          8 |          7 |          7 |
1039.76/538.75	c (54,0) c | Restarts      |            1234 |        145 |        162 |        148 |        156 |        153 |        150 |        160 |        160 |
1039.76/538.75	c (54,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1039.76/538.75	c (54,0) c | PropBinClauses|       992243537 |  123590255 |  120727465 |  124837298 |  124673898 |  124705181 |  123787431 |  122992985 |  126929024 |
1039.76/538.75	c (54,0) c | PropPreBlocker|      5647811312 |  700586685 |  692435428 |  715946984 |  705301466 |  708772715 |  701310004 |  704118872 |  719339158 |
1039.76/538.75	c (54,0) c | PropNotBlocker|      2097241225 |  265270315 |  259929840 |  265904133 |  258349525 |  259092688 |  260936560 |  260201691 |  267556473 |
1039.76/538.75	c (54,0) c | LitFullScans  |     12615338825 | 1573081317 | 1573907923 | 1578730619 | 1589817210 | 1573522303 | 1580475493 | 1572417479 | 1573386481 |
1039.76/538.75	c (54,0) c | LitScanFracts |         9834797 |    1052715 |    1888695 |     726175 |    1288546 |     667904 |    2462260 |     392117 |    1356385 |
1039.76/538.75	c (54,0) c | DecisionLevel0|            1274 |        148 |        167 |        157 |        163 |        157 |        153 |        164 |        165 |
1039.76/538.75	c (54,0) c | Periods       |            2100 |        262 |        262 |        263 |        264 |        262 |        263 |        262 |        262 |
1039.76/538.75	c (54,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1039.76/538.75	c (54,0) c | Avg_Trail     |                 |     110495 |     115930 |     118934 |     129909 |     130918 |     121051 |     113547 |     118874 |
1039.76/538.75	c (54,0) c | Avg_DL        |                 |        324 |        426 |        404 |        457 |        388 |        355 |        419 |        385 |
1039.76/538.75	c (54,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1039.76/538.75	c (54,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1039.76/538.75	c (54,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.75	c (54,0) c | Exported      |           51716 |       6500 |       6669 |       6819 |       6346 |       6452 |       6455 |       6492 |       5983 |
1039.76/538.75	c (54,0) c | Imported      |          324522 |      40491 |      40298 |      40498 |      41463 |      38032 |      40961 |      40996 |      41783 |
1039.76/538.75	c (54,0) c | Good          |           87348 |      10837 |      10906 |      10739 |      11052 |      10465 |      11073 |      11179 |      11097 |
1039.76/538.75	c (54,0) c | Purge         |          237174 |      29654 |      29392 |      29759 |      30411 |      27567 |      29888 |      29817 |      30686 |
1039.76/538.75	c (54,0) c | Promoted      |            4465 |        574 |        539 |        517 |        562 |        584 |        530 |        593 |        566 |
1039.76/538.75	c (54,0) c | Remove_Imp    |           94312 |      10952 |      10664 |      11104 |      12587 |      12572 |      11580 |      11580 |      13273 |
1039.76/538.75	c (54,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1039.76/538.75	c (54,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.75	c (54,0) c | Unaries       |                 |          3 |          5 |          9 |          7 |          4 |          3 |          4 |          5 |
1039.76/538.75	c (54,0) c | Binaries      |                 |       1776 |       1722 |       1984 |       1713 |       1629 |       1626 |       1567 |       1730 |
1039.76/538.75	c (54,0) c | Glues         |                 |       2990 |       2937 |       3282 |       2969 |       2737 |       2893 |       2854 |       2946 |
1039.76/538.75	c (54,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.75	c (54,0) c | Orig_Seen     |            17 % |     829005 |     964303 |     910040 |     900487 |     808297 |     928740 |     851851 |     911387 |
1039.76/538.75	c (54,0) c | Diff Orig seen|                 |      20708 |     156006 |     101743 |      92190 |      X     |     120443 |      43554 |     103090 |
1039.76/538.75	c (54,0) c | Hamming       |            10 % |      44645 |      49732 |      53083 |      47649 |      X     |      48408 |      48126 |      50103 |
1039.76/538.75	c (54,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.75	c (54,0) c | RunningTime   |                 |   50.1 100%|   47.4  98%|   46.6  97%|   44.8  93%|   45.4  95%|   45.0  94%|   46.6  96%|   48.7 100%|
1039.76/538.75	c (54,0) c | WaitingTime   |                 |    0.0   0%|    1.0   2%|    1.5   3%|    3.4   7%|    2.6   5%|    3.0   6%|    1.8   4%|    0.0   0%|
1039.76/538.75	c (54,0) c | ExchangingTime|                 |    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1039.76/538.75	c (54,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%|
1039.76/538.75	c (54,0) c | SolvingTime   |                 |   50.2     |   48.5     |   48.1     |   48.3     |   48.1     |   48.1     |   48.5     |   48.8     |
1039.76/538.75	c (54,0) c | PropagationTim|                 |   42.2  84%|   39.8  82%|   40.1  83%|   39.0  81%|   39.5  82%|   39.3  82%|   39.5  81%|   40.5  83%|
1039.76/538.75	c (54,0) c | AnalysisTime  |                 |    3.2   6%|    3.5   7%|    2.9   6%|    3.1   7%|    3.3   7%|    3.1   7%|    3.3   7%|    3.0   6%|
1039.76/538.75	c (54,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%|
1039.76/538.75	c (54,0) c | SimplifyTime  |                 |    0.8   2%|    1.2   2%|    1.1   2%|    2.1   4%|    1.4   3%|    1.6   3%|    1.4   3%|    0.6   1%|
1039.76/538.75	c (54,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%|
1039.76/538.75	c (54,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%|
1039.76/538.75	c (54,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.75	c (54,0) c
1039.76/538.75	c (54,0) c
1039.76/538.75	c (54,0) c Threads : 8
1039.76/538.75	c (54,0) c Winner : 4
1039.76/538.75	c (54,0) c Conflicts_0 : 44837
1039.76/538.75	c (54,0) c Conflicts_1 : 46906
1039.76/538.75	c (54,0) c Conflicts_2 : 45433
1039.76/538.75	c (54,0) c Conflicts_3 : 44155
1039.76/538.75	c (54,0) c Conflicts_4 : 44720
1039.76/538.75	c (54,0) c Conflicts_5 : 45413
1039.76/538.75	c (54,0) c Conflicts_6 : 46107
1039.76/538.75	c (54,0) c Conflicts_7 : 43905
1039.76/538.75	c (54,0) c Conflicts_total : 361476
1039.76/538.75	c (54,0) c Conflicts_winner : 44720
1039.76/538.75	c (54,0) c Decisions_0 : 454721
1039.76/538.75	c (54,0) c Decisions_1 : 456826
1039.76/538.75	c (54,0) c Decisions_2 : 463562
1039.76/538.75	c (54,0) c Decisions_3 : 471502
1039.76/538.75	c (54,0) c Decisions_4 : 407152
1039.76/538.75	c (54,0) c Decisions_5 : 417536
1039.76/538.75	c (54,0) c Decisions_6 : 484701
1039.76/538.75	c (54,0) c Decisions_7 : 477552
1039.76/538.75	c (54,0) c Decisions_total : 3633552
1039.76/538.75	c (54,0) c Decisions_winner : 407152
1039.76/538.75	c (54,0) c Propagations_0 : 132256930
1039.76/538.75	c (54,0) c Propagations_1 : 129260141
1039.76/538.75	c (54,0) c Propagations_2 : 134427029
1039.76/538.75	c (54,0) c Propagations_3 : 133053523
1039.76/538.75	c (54,0) c Propagations_4 : 130902207
1039.76/538.75	c (54,0) c Propagations_5 : 131591930
1039.76/538.75	c (54,0) c Propagations_6 : 132131035
1039.76/538.75	c (54,0) c Propagations_7 : 136061570
1039.76/538.75	c (54,0) c Propagations_total : 1059684365
1039.76/538.75	c (54,0) c Propagations_winner : 130902207
1039.76/538.75	c (54,0) c ReduceDBs_0 : 5
1039.76/538.75	c (54,0) c ReduceDBs_1 : 5
1039.76/538.75	c (54,0) c ReduceDBs_2 : 5
1039.76/538.75	c (54,0) c ReduceDBs_3 : 5
1039.76/538.75	c (54,0) c ReduceDBs_4 : 5
1039.76/538.75	c (54,0) c ReduceDBs_5 : 5
1039.76/538.75	c (54,0) c ReduceDBs_6 : 5
1039.76/538.75	c (54,0) c ReduceDBs_7 : 5
1039.76/538.75	c (54,0) c ReduceDBs_total : 40
1039.76/538.75	c (54,0) c ReduceDBs_winner : 5
1039.76/538.75	c (54,0) c SimpDBs_0 : 8
1039.76/538.75	c (54,0) c SimpDBs_1 : 7
1039.76/538.75	c (54,0) c SimpDBs_2 : 8
1039.76/538.75	c (54,0) c SimpDBs_3 : 8
1039.76/538.75	c (54,0) c SimpDBs_4 : 7
1039.76/538.75	c (54,0) c SimpDBs_5 : 8
1039.76/538.75	c (54,0) c SimpDBs_6 : 7
1039.76/538.75	c (54,0) c SimpDBs_7 : 7
1039.76/538.75	c (54,0) c SimpDBs_total : 60
1039.76/538.75	c (54,0) c SimpDBs_winner : 7
1039.76/538.75	c (54,0) c Restarts_0 : 145
1039.76/538.75	c (54,0) c Restarts_1 : 162
1039.76/538.75	c (54,0) c Restarts_2 : 148
1039.76/538.75	c (54,0) c Restarts_3 : 156
1039.76/538.75	c (54,0) c Restarts_4 : 153
1039.76/538.75	c (54,0) c Restarts_5 : 150
1039.76/538.75	c (54,0) c Restarts_6 : 160
1039.76/538.75	c (54,0) c Restarts_7 : 160
1039.76/538.75	c (54,0) c Restarts_total : 1234
1039.76/538.75	c (54,0) c Restarts_winner : 153
1039.76/538.75	c (54,0) c ForcedImports_0 : 0
1039.76/538.75	c (54,0) c ForcedImports_1 : 0
1039.76/538.75	c (54,0) c ForcedImports_2 : 0
1039.76/538.75	c (54,0) c ForcedImports_3 : 0
1039.76/538.75	c (54,0) c ForcedImports_4 : 0
1039.76/538.75	c (54,0) c ForcedImports_5 : 0
1039.76/538.75	c (54,0) c ForcedImports_6 : 0
1039.76/538.75	c (54,0) c ForcedImports_7 : 0
1039.76/538.75	c (54,0) c ForcedImports_total : 0
1039.76/538.75	c (54,0) c ForcedImports_winner : 0
1039.76/538.75	c (54,0) c PropsBinClauses_0 : 123590255
1039.76/538.75	c (54,0) c PropsBinClauses_1 : 120727465
1039.76/538.75	c (54,0) c PropsBinClauses_2 : 124837298
1039.76/538.75	c (54,0) c PropsBinClauses_3 : 124673898
1039.76/538.75	c (54,0) c PropsBinClauses_4 : 124705181
1039.76/538.75	c (54,0) c PropsBinClauses_5 : 123787431
1039.76/538.75	c (54,0) c PropsBinClauses_6 : 122992985
1039.76/538.75	c (54,0) c PropsBinClauses_7 : 126929024
1039.76/538.75	c (54,0) c PropsBinClauses_total : 992243537
1039.76/538.75	c (54,0) c PropsBinClauses_winner : 124705181
1039.76/538.75	c (54,0) c PropsPreBlocker_0 : 700586685
1039.76/538.75	c (54,0) c PropsPreBlocker_1 : 692435428
1039.76/538.75	c (54,0) c PropsPreBlocker_2 : 715946984
1039.76/538.75	c (54,0) c PropsPreBlocker_3 : 705301466
1039.76/538.75	c (54,0) c PropsPreBlocker_4 : 708772715
1039.76/538.75	c (54,0) c PropsPreBlocker_5 : 701310004
1039.76/538.75	c (54,0) c PropsPreBlocker_6 : 704118872
1039.76/538.75	c (54,0) c PropsPreBlocker_7 : 719339158
1039.76/538.75	c (54,0) c PropsPreBlocker_total : 5647811312
1039.76/538.75	c (54,0) c PropsPreBlocker_winner : 708772715
1039.76/538.75	c (54,0) c PropsNotBlocker_0 : 265270315
1039.76/538.75	c (54,0) c PropsNotBlocker_1 : 259929840
1039.76/538.75	c (54,0) c PropsNotBlocker_2 : 265904133
1039.76/538.75	c (54,0) c PropsNotBlocker_3 : 258349525
1039.76/538.75	c (54,0) c PropsNotBlocker_4 : 259092688
1039.76/538.75	c (54,0) c PropsNotBlocker_5 : 260936560
1039.76/538.75	c (54,0) c PropsNotBlocker_6 : 260201691
1039.76/538.75	c (54,0) c PropsNotBlocker_7 : 267556473
1039.76/538.75	c (54,0) c PropsNotBlocker_total : 2097241225
1039.76/538.75	c (54,0) c PropsNotBlocker_winner : 259092688
1039.76/538.75	c (54,0) c PropsLitFullScans_0 : 1573081317
1039.76/538.75	c (54,0) c PropsLitFullScans_1 : 1573907923
1039.76/538.75	c (54,0) c PropsLitFullScans_2 : 1578730619
1039.76/538.75	c (54,0) c PropsLitFullScans_3 : 1589817210
1039.76/538.75	c (54,0) c PropsLitFullScans_4 : 1573522303
1039.76/538.75	c (54,0) c PropsLitFullScans_5 : 1580475493
1039.76/538.75	c (54,0) c PropsLitFullScans_6 : 1572417479
1039.76/538.75	c (54,0) c PropsLitFullScans_7 : 1573386481
1039.76/538.75	c (54,0) c PropsLitFullScans_total : 12615338825
1039.76/538.75	c (54,0) c PropsLitFullScans_winner : 1573522303
1039.76/538.75	c (54,0) c LitScanFractions_0 : 1052715
1039.76/538.75	c (54,0) c LitScanFractions_1 : 1888695
1039.76/538.75	c (54,0) c LitScanFractions_2 : 726175
1039.76/538.75	c (54,0) c LitScanFractions_3 : 1288546
1039.76/538.75	c (54,0) c LitScanFractions_4 : 667904
1039.76/538.75	c (54,0) c LitScanFractions_5 : 2462260
1039.76/538.75	c (54,0) c LitScanFractions_6 : 392117
1039.76/538.75	c (54,0) c LitScanFractions_7 : 1356385
1039.76/538.75	c (54,0) c LitScanFractions_total : 9834797
1039.76/538.75	c (54,0) c LitScanFractions_winner : 667904
1039.76/538.75	c (54,0) c DecisionLevel0_0 : 148
1039.76/538.75	c (54,0) c DecisionLevel0_1 : 167
1039.76/538.75	c (54,0) c DecisionLevel0_2 : 157
1039.76/538.75	c (54,0) c DecisionLevel0_3 : 163
1039.76/538.75	c (54,0) c DecisionLevel0_4 : 157
1039.76/538.75	c (54,0) c DecisionLevel0_5 : 153
1039.76/538.75	c (54,0) c DecisionLevel0_6 : 164
1039.76/538.75	c (54,0) c DecisionLevel0_7 : 165
1039.76/538.75	c (54,0) c DecisionLevel0_total : 1274
1039.76/538.75	c (54,0) c DecisionLevel0_winner : 157
1039.76/538.75	c (54,0) c Periods_0 : 262
1039.76/538.75	c (54,0) c Periods_1 : 262
1039.76/538.75	c (54,0) c Periods_2 : 263
1039.76/538.75	c (54,0) c Periods_3 : 264
1039.76/538.75	c (54,0) c Periods_4 : 262
1039.76/538.75	c (54,0) c Periods_5 : 263
1039.76/538.75	c (54,0) c Periods_6 : 262
1039.76/538.75	c (54,0) c Periods_7 : 262
1039.76/538.75	c (54,0) c Periods_total : 2100
1039.76/538.75	c (54,0) c Periods_winner : 262
1039.76/538.75	c (54,0) c Margin_0 : 20
1039.76/538.76	c (54,0) c Margin_1 : 20
1039.76/538.76	c (54,0) c Margin_2 : 20
1039.76/538.76	c (54,0) c Margin_3 : 20
1039.76/538.76	c (54,0) c Margin_4 : 20
1039.76/538.76	c (54,0) c Margin_5 : 20
1039.76/538.76	c (54,0) c Margin_6 : 20
1039.76/538.76	c (54,0) c Margin_7 : 20
1039.76/538.76	c (54,0) c Margin_total : 160
1039.76/538.76	c (54,0) c Margin_winner : 20
1039.76/538.76	c (54,0) c Exported_0 : 6500
1039.76/538.76	c (54,0) c Exported_1 : 6669
1039.76/538.76	c (54,0) c Exported_2 : 6819
1039.76/538.76	c (54,0) c Exported_3 : 6346
1039.76/538.76	c (54,0) c Exported_4 : 6452
1039.76/538.76	c (54,0) c Exported_5 : 6455
1039.76/538.76	c (54,0) c Exported_6 : 6492
1039.76/538.76	c (54,0) c Exported_7 : 5983
1039.76/538.76	c (54,0) c Exported_total : 51716
1039.76/538.76	c (54,0) c Exported_winner : 6452
1039.76/538.76	c (54,0) c Imported_0 : 40491
1039.76/538.76	c (54,0) c Imported_1 : 40298
1039.76/538.76	c (54,0) c Imported_2 : 40498
1039.76/538.76	c (54,0) c Imported_3 : 41463
1039.76/538.76	c (54,0) c Imported_4 : 38032
1039.76/538.76	c (54,0) c Imported_5 : 40961
1039.76/538.76	c (54,0) c Imported_6 : 40996
1039.76/538.76	c (54,0) c Imported_7 : 41783
1039.76/538.76	c (54,0) c Imported_total : 324522
1039.76/538.76	c (54,0) c Imported_winner : 38032
1039.76/538.76	c (54,0) c Good_0 : 10837
1039.76/538.76	c (54,0) c Good_1 : 10906
1039.76/538.76	c (54,0) c Good_2 : 10739
1039.76/538.76	c (54,0) c Good_3 : 11052
1039.76/538.76	c (54,0) c Good_4 : 10465
1039.76/538.76	c (54,0) c Good_5 : 11073
1039.76/538.76	c (54,0) c Good_6 : 11179
1039.76/538.76	c (54,0) c Good_7 : 11097
1039.76/538.76	c (54,0) c Good_total : 87348
1039.76/538.76	c (54,0) c Good_winner : 10465
1039.76/538.76	c (54,0) c Purge_0 : 29654
1039.76/538.76	c (54,0) c Purge_1 : 29392
1039.76/538.76	c (54,0) c Purge_2 : 29759
1039.76/538.76	c (54,0) c Purge_3 : 30411
1039.76/538.76	c (54,0) c Purge_4 : 27567
1039.76/538.76	c (54,0) c Purge_5 : 29888
1039.76/538.76	c (54,0) c Purge_6 : 29817
1039.76/538.76	c (54,0) c Purge_7 : 30686
1039.76/538.76	c (54,0) c Purge_total : 237174
1039.76/538.76	c (54,0) c Purge_winner : 27567
1039.76/538.76	c (54,0) c Promoted_0 : 574
1039.76/538.76	c (54,0) c Promoted_1 : 539
1039.76/538.76	c (54,0) c Promoted_2 : 517
1039.76/538.76	c (54,0) c Promoted_3 : 562
1039.76/538.76	c (54,0) c Promoted_4 : 584
1039.76/538.76	c (54,0) c Promoted_5 : 530
1039.76/538.76	c (54,0) c Promoted_6 : 593
1039.76/538.76	c (54,0) c Promoted_7 : 566
1039.76/538.76	c (54,0) c Promoted_total : 4465
1039.76/538.76	c (54,0) c Promoted_winner : 584
1039.76/538.76	c (54,0) c Remove_Imp_0 : 10952
1039.76/538.76	c (54,0) c Remove_Imp_1 : 10664
1039.76/538.76	c (54,0) c Remove_Imp_2 : 11104
1039.76/538.76	c (54,0) c Remove_Imp_3 : 12587
1039.76/538.76	c (54,0) c Remove_Imp_4 : 12572
1039.76/538.76	c (54,0) c Remove_Imp_5 : 11580
1039.76/538.76	c (54,0) c Remove_Imp_6 : 11580
1039.76/538.76	c (54,0) c Remove_Imp_7 : 13273
1039.76/538.76	c (54,0) c Remove_Imp_total : 94312
1039.76/538.76	c (54,0) c Remove_Imp_winner : 12572
1039.76/538.76	c (54,0) c Blocked_Reuse_0 : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_1 : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_2 : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_3 : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_4 : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_5 : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_6 : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_7 : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_total : 0
1039.76/538.76	c (54,0) c Blocked_Reuse_winner : 0
1039.76/538.76	c (54,0) c Unaries_0 : 3
1039.76/538.76	c (54,0) c Unaries_1 : 5
1039.76/538.76	c (54,0) c Unaries_2 : 9
1039.76/538.76	c (54,0) c Unaries_3 : 7
1039.76/538.76	c (54,0) c Unaries_4 : 4
1039.76/538.76	c (54,0) c Unaries_5 : 3
1039.76/538.76	c (54,0) c Unaries_6 : 4
1039.76/538.76	c (54,0) c Unaries_7 : 5
1039.76/538.76	c (54,0) c Unaries_total : 40
1039.76/538.76	c (54,0) c Unaries_winner : 4
1039.76/538.76	c (54,0) c Binaries_0 : 1776
1039.76/538.76	c (54,0) c Binaries_1 : 1722
1039.76/538.76	c (54,0) c Binaries_2 : 1984
1039.76/538.76	c (54,0) c Binaries_3 : 1713
1039.76/538.76	c (54,0) c Binaries_4 : 1629
1039.76/538.76	c (54,0) c Binaries_5 : 1626
1039.76/538.76	c (54,0) c Binaries_6 : 1567
1039.76/538.76	c (54,0) c Binaries_7 : 1730
1039.76/538.76	c (54,0) c Binaries_total : 13747
1039.76/538.76	c (54,0) c Binaries_winner : 1629
1039.76/538.76	c (54,0) c Glues_0 : 2990
1039.76/538.76	c (54,0) c Glues_1 : 2937
1039.76/538.76	c (54,0) c Glues_2 : 3282
1039.76/538.76	c (54,0) c Glues_3 : 2969
1039.76/538.76	c (54,0) c Glues_4 : 2737
1039.76/538.76	c (54,0) c Glues_5 : 2893
1039.76/538.76	c (54,0) c Glues_6 : 2854
1039.76/538.76	c (54,0) c Glues_7 : 2946
1039.76/538.76	c (54,0) c Glues_total : 23608
1039.76/538.76	c (54,0) c Glues_winner : 2737
1039.76/538.76	c (54,0) c RunningTime_0 : 50.140041
1039.76/538.76	c (54,0) c RunningTime_1 : 47.390908
1039.76/538.76	c (54,0) c RunningTime_2 : 46.568659
1039.76/538.76	c (54,0) c RunningTime_3 : 44.821377
1039.76/538.76	c (54,0) c RunningTime_4 : 45.424413
1039.76/538.76	c (54,0) c RunningTime_5 : 45.026392
1039.76/538.76	c (54,0) c RunningTime_6 : 46.647187
1039.76/538.76	c (54,0) c RunningTime_7 : 48.733833
1039.76/538.76	c (54,0) c RunningTime_total : 374.752809
1039.76/538.76	c (54,0) c RunningTime_winner : 45.424413
1039.76/538.76	c (54,0) c WaitingTime_0 : 0.000312
1039.76/538.76	c (54,0) c WaitingTime_1 : 1.026723
1039.76/538.76	c (54,0) c WaitingTime_2 : 1.467473
1039.76/538.76	c (54,0) c WaitingTime_3 : 3.397106
1039.76/538.76	c (54,0) c WaitingTime_4 : 2.587589
1039.76/538.76	c (54,0) c WaitingTime_5 : 3.009306
1039.76/538.76	c (54,0) c WaitingTime_6 : 1.789791
1039.76/538.76	c (54,0) c WaitingTime_7 : 0.000524
1039.76/538.76	c (54,0) c WaitingTime_total : 13.278823
1039.76/538.76	c (54,0) c WaitingTime_winner : 2.587589
1039.76/538.76	c (54,0) c ExchangingTime_0 : 0.057962
1039.76/538.76	c (54,0) c ExchangingTime_1 : 0.047877
1039.76/538.76	c (54,0) c ExchangingTime_2 : 0.048043
1039.76/538.76	c (54,0) c ExchangingTime_3 : 0.045856
1039.76/538.76	c (54,0) c ExchangingTime_4 : 0.045063
1039.76/538.76	c (54,0) c ExchangingTime_5 : 0.048932
1039.76/538.76	c (54,0) c ExchangingTime_6 : 0.044136
1039.76/538.76	c (54,0) c ExchangingTime_7 : 0.048673
1039.76/538.76	c (54,0) c ExchangingTime_total : 0.386542
1039.76/538.76	c (54,0) c ExchangingTime_winner : 0.045063
1039.76/538.76	c (54,0) c PeriodProcTime_0 : 0.003335
1039.76/538.76	c (54,0) c PeriodProcTime_1 : 0.002486
1039.76/538.76	c (54,0) c PeriodProcTime_2 : 0.002458
1039.76/538.76	c (54,0) c PeriodProcTime_3 : 0.002497
1039.76/538.76	c (54,0) c PeriodProcTime_4 : 0.002550
1039.76/538.76	c (54,0) c PeriodProcTime_5 : 0.002550
1039.76/538.76	c (54,0) c PeriodProcTime_6 : 0.002606
1039.76/538.76	c (54,0) c PeriodProcTime_7 : 0.002685
1039.76/538.76	c (54,0) c PeriodProcTime_total : 0.021167
1039.76/538.76	c (54,0) c PeriodProcTime_winner : 0.002550
1039.76/538.76	c (54,0) c SolvingTime_0 : 50.201650
1039.76/538.76	c (54,0) c SolvingTime_1 : 48.467993
1039.76/538.76	c (54,0) c SolvingTime_2 : 48.086632
1039.76/538.76	c (54,0) c SolvingTime_3 : 48.266836
1039.76/538.76	c (54,0) c SolvingTime_4 : 48.059616
1039.76/538.76	c (54,0) c SolvingTime_5 : 48.087179
1039.76/538.76	c (54,0) c SolvingTime_6 : 48.483720
1039.76/538.76	c (54,0) c SolvingTime_7 : 48.785715
1039.76/538.76	c (54,0) c SolvingTime_total : 388.439341
1039.76/538.76	c (54,0) c SolvingTime_winner : 48.059616
1039.76/538.76	c (54,0) c PropagationTime_0 : 42.176696
1039.76/538.76	c (54,0) c PropagationTime_1 : 39.826409
1039.76/538.76	c (54,0) c PropagationTime_2 : 40.143867
1039.76/538.76	c (54,0) c PropagationTime_3 : 39.020914
1039.76/538.76	c (54,0) c PropagationTime_4 : 39.495147
1039.76/538.76	c (54,0) c PropagationTime_5 : 39.299507
1039.76/538.76	c (54,0) c PropagationTime_6 : 39.465667
1039.76/538.76	c (54,0) c PropagationTime_7 : 40.536390
1039.76/538.76	c (54,0) c PropagationTime_total : 319.964597
1039.76/538.76	c (54,0) c PropagationTime_winner : 39.495147
1039.76/538.76	c (54,0) c AnalysisTime_0 : 3.176181
1039.76/538.76	c (54,0) c AnalysisTime_1 : 3.473578
1039.76/538.76	c (54,0) c AnalysisTime_2 : 2.908685
1039.76/538.76	c (54,0) c AnalysisTime_3 : 3.139313
1039.76/538.76	c (54,0) c AnalysisTime_4 : 3.298546
1039.76/538.76	c (54,0) c AnalysisTime_5 : 3.139142
1039.76/538.76	c (54,0) c AnalysisTime_6 : 3.277059
1039.76/538.76	c (54,0) c AnalysisTime_7 : 2.962927
1039.76/538.76	c (54,0) c AnalysisTime_total : 25.375432
1039.76/538.76	c (54,0) c AnalysisTime_winner : 3.298546
1039.76/538.76	c (54,0) c ReductionTime_0 : 0.025176
1039.76/538.76	c (54,0) c ReductionTime_1 : 0.025333
1039.76/538.76	c (54,0) c ReductionTime_2 : 0.020952
1039.76/538.76	c (54,0) c ReductionTime_3 : 0.025843
1039.76/538.76	c (54,0) c ReductionTime_4 : 0.021452
1039.76/538.76	c (54,0) c ReductionTime_5 : 0.025820
1039.76/538.76	c (54,0) c ReductionTime_6 : 0.021737
1039.76/538.76	c (54,0) c ReductionTime_7 : 0.023122
1039.76/538.76	c (54,0) c ReductionTime_total : 0.189434
1039.76/538.76	c (54,0) c ReductionTime_winner : 0.021452
1039.76/538.76	c (54,0) c SimplifyTime_0 : 0.786160
1039.76/538.76	c (54,0) c SimplifyTime_1 : 1.152261
1039.76/538.76	c (54,0) c SimplifyTime_2 : 1.105868
1039.76/538.76	c (54,0) c SimplifyTime_3 : 2.110061
1039.76/538.76	c (54,0) c SimplifyTime_4 : 1.445764
1039.76/538.76	c (54,0) c SimplifyTime_5 : 1.644454
1039.76/538.76	c (54,0) c SimplifyTime_6 : 1.383362
1039.76/538.76	c (54,0) c SimplifyTime_7 : 0.619030
1039.76/538.76	c (54,0) c SimplifyTime_total : 10.246960
1039.76/538.76	c (54,0) c SimplifyTime_winner : 1.445764
1039.76/538.76	c (54,0) c UsedRateTime_0 : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_1 : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_2 : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_3 : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_4 : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_5 : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_6 : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_7 : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_total : 0.000000
1039.76/538.76	c (54,0) c UsedRateTime_winner : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_0 : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_1 : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_2 : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_3 : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_4 : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_5 : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_6 : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_7 : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_total : 0.000000
1039.76/538.76	c (54,0) c OverlapRateTime_winner : 0.000000
1039.76/538.76	c (54,0) c
1039.76/538.76	c (54,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1039.76/538.76	c (54,0) c
1039.76/538.76	c (54,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.76	c (54,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1039.76/538.76	c (54,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.76	c (54,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1039.76/538.76	c (54,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1039.76/538.76	c (54,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1039.76/538.76	c (54,0) c | Initial random_seed   |  927083982 | 1020780465 | 1438416626 |  232045557 | 1373525524 | 1634954180 | 1987434788 | 1633136582 |
1039.76/538.76	c (54,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1039.76/538.76	c (54,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1039.76/538.76	c (54,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1039.76/538.76	c (54,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1039.76/538.76	c (54,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1039.76/538.76	c (54,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1039.76/538.76	c (54,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1039.76/538.76	c (54,0) c | var_decay             |     0.8800 |     0.8900 |     0.8900 |     0.8800 |     0.8800 |     0.8900 |     0.8900 |     0.8800 |
1039.76/538.76	c (54,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1039.76/538.76	c (54,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1039.76/538.76	c (54,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1039.76/538.76	c (54,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.76/538.76	c (54,0) 
1039.76/538.76	c (54,0) s SATISFIABLE
664.99/539.05	c (54,0) SatSolver.solve End
664.99/539.05	c (54,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
664.99/539.05	c (54,0) Show results Begin
1040.69/539.19	c (54,0) x[0][0] = 0
1040.69/539.19	c (54,0) x[0][1] = 12
1040.69/539.19	c (54,0) x[0][2] = 1
1040.69/539.19	c (54,0) x[0][3] = 17
1040.69/539.19	c (54,0) x[0][4] = 0
1040.69/539.19	c (54,0) x[0][5] = 18
1040.69/539.19	c (54,0) x[0][7] = 0
1040.69/539.19	c (54,0) x[0][8] = 2
1040.69/539.19	c (54,0) x[0][9] = 17
1040.69/539.19	c (54,0) x[0][10] = 0
1040.69/539.19	c (54,0) x[0][11] = 8
1040.69/539.19	c (54,0) x[0][12] = 18
1040.69/539.19	c (54,0) x[0][13] = 4
1040.69/539.19	c (54,0) x[0][15] = 2
1040.69/539.19	c (54,0) x[0][16] = 11
1040.69/539.19	c (54,0) x[0][17] = 8
1040.69/539.19	c (54,0) x[0][18] = 6
1040.69/539.19	c (54,0) x[0][19] = 13
1040.69/539.19	c (54,0) x[0][20] = 0
1040.69/539.19	c (54,0) x[1][0] = 19
1040.69/539.19	c (54,0) x[1][1] = 0
1040.69/539.19	c (54,0) x[1][2] = 17
1040.69/539.19	c (54,0) x[1][3] = 0
1040.69/539.19	c (54,0) x[1][4] = 12
1040.69/539.19	c (54,0) x[1][5] = 0
1040.69/539.19	c (54,0) x[1][7] = 21
1040.69/539.19	c (54,0) x[1][8] = 14
1040.69/539.19	c (54,0) x[1][9] = 20
1040.69/539.19	c (54,0) x[1][10] = 11
1040.69/539.19	c (54,0) x[1][11] = 14
1040.69/539.19	c (54,0) x[1][12] = 8
1040.69/539.19	c (54,0) x[1][13] = 17
1040.69/539.19	c (54,0) x[1][15] = 7
1040.69/539.19	c (54,0) x[1][16] = 0
1040.69/539.19	c (54,0) x[1][17] = 11
1040.69/539.19	c (54,0) x[1][18] = 11
1040.69/539.19	c (54,0) x[1][19] = 4
1040.69/539.19	c (54,0) x[1][20] = 18
1040.69/539.19	c (54,0) x[2][0] = 19
1040.69/539.19	c (54,0) x[2][1] = 17
1040.69/539.19	c (54,0) x[2][2] = 8
1040.69/539.19	c (54,0) x[2][3] = 2
1040.69/539.19	c (54,0) x[2][4] = 14
1040.69/539.19	c (54,0) x[2][5] = 19
1040.69/539.19	c (54,0) x[2][7] = 14
1040.69/539.19	c (54,0) x[2][8] = 17
1040.69/539.19	c (54,0) x[2][9] = 8
1040.69/539.19	c (54,0) x[2][10] = 4
1040.69/539.19	c (54,0) x[2][11] = 13
1040.69/539.19	c (54,0) x[2][12] = 19
1040.69/539.19	c (54,0) x[2][13] = 18
1040.69/539.19	c (54,0) x[2][15] = 14
1040.69/539.19	c (54,0) x[2][16] = 2
1040.69/539.19	c (54,0) x[2][17] = 4
1040.69/539.19	c (54,0) x[2][18] = 0
1040.69/539.19	c (54,0) x[2][19] = 13
1040.69/539.19	c (54,0) x[2][20] = 18
1040.69/539.19	c (54,0) x[3][0] = 8
1040.69/539.19	c (54,0) x[3][1] = 11
1040.69/539.19	c (54,0) x[3][2] = 18
1040.69/539.19	c (54,0) x[3][4] = 10
1040.69/539.19	c (54,0) x[3][5] = 8
1040.69/539.19	c (54,0) x[3][6] = 5
1040.69/539.19	c (54,0) x[3][7] = 8
1040.69/539.19	c (54,0) x[3][8] = 14
1040.69/539.19	c (54,0) x[3][9] = 13
1040.69/539.19	c (54,0) x[3][10] = 18
1040.69/539.19	c (54,0) x[3][12] = 2
1040.69/539.19	c (54,0) x[3][13] = 4
1040.69/539.19	c (54,0) x[3][14] = 20
1040.89/539.20	c (54,0) x[3][15] = 19
1040.89/539.20	c (54,0) x[3][16] = 0
1040.89/539.20	c (54,0) x[3][18] = 19
1040.89/539.20	c (54,0) x[3][19] = 4
1040.89/539.20	c (54,0) x[3][20] = 4
1040.89/539.20	c (54,0) x[4][0] = 17
1040.89/539.20	c (54,0) x[4][1] = 8
1040.89/539.20	c (54,0) x[4][2] = 4
1040.89/539.20	c (54,0) x[4][3] = 18
1040.89/539.20	c (54,0) x[4][5] = 18
1040.89/539.20	c (54,0) x[4][6] = 0
1040.89/539.20	c (54,0) x[4][7] = 13
1040.89/539.20	c (54,0) x[4][8] = 25
1040.89/539.20	c (54,0) x[4][9] = 0
1040.89/539.20	c (54,0) x[4][11] = 19
1040.89/539.20	c (54,0) x[4][12] = 14
1040.89/539.20	c (54,0) x[4][13] = 0
1040.89/539.20	c (54,0) x[4][14] = 18
1040.89/539.20	c (54,0) x[4][15] = 19
1040.89/539.20	c (54,0) x[4][17] = 12
1040.89/539.20	c (54,0) x[4][18] = 8
1040.89/539.20	c (54,0) x[4][19] = 4
1040.89/539.20	c (54,0) x[4][20] = 13
1040.89/539.20	c (54,0) x[5][0] = 0
1040.89/539.20	c (54,0) x[5][1] = 18
1040.89/539.20	c (54,0) x[5][2] = 17
1040.89/539.20	c (54,0) x[5][3] = 0
1040.89/539.20	c (54,0) x[5][4] = 12
1040.89/539.20	c (54,0) x[5][6] = 19
1040.89/539.20	c (54,0) x[5][7] = 0
1040.89/539.20	c (54,0) x[5][8] = 14
1040.89/539.20	c (54,0) x[5][10] = 17
1040.89/539.20	c (54,0) x[5][11] = 4
1040.89/539.20	c (54,0) x[5][12] = 12
1040.89/539.20	c (54,0) x[5][13] = 20
1040.89/539.20	c (54,0) x[5][14] = 0
1040.89/539.20	c (54,0) x[5][16] = 3
1040.89/539.20	c (54,0) x[5][17] = 0
1040.89/539.20	c (54,0) x[5][18] = 17
1040.89/539.20	c (54,0) x[5][19] = 13
1040.89/539.20	c (54,0) x[5][20] = 4
1040.89/539.20	c (54,0) x[6][3] = 11
1040.89/539.20	c (54,0) x[6][4] = 8
1040.89/539.20	c (54,0) x[6][5] = 13
1040.89/539.20	c (54,0) x[6][9] = 1
1040.89/539.20	c (54,0) x[6][10] = 8
1040.89/539.20	c (54,0) x[6][11] = 15
1040.89/539.20	c (54,0) x[6][15] = 5
1040.89/539.20	c (54,0) x[6][16] = 0
1040.89/539.20	c (54,0) x[6][17] = 19
1040.89/539.20	c (54,0) x[7][0] = 3
1040.89/539.20	c (54,0) x[7][1] = 4
1040.89/539.20	c (54,0) x[7][2] = 2
1040.89/539.20	c (54,0) x[7][3] = 8
1040.89/539.20	c (54,0) x[7][4] = 12
1040.89/539.20	c (54,0) x[7][5] = 14
1040.89/539.20	c (54,0) x[7][7] = 0
1040.89/539.20	c (54,0) x[7][8] = 1
1040.89/539.20	c (54,0) x[7][9] = 17
1040.89/539.20	c (54,0) x[7][10] = 4
1040.89/539.20	c (54,0) x[7][11] = 0
1040.89/539.20	c (54,0) x[7][12] = 6
1040.89/539.20	c (54,0) x[7][13] = 8
1040.89/539.20	c (54,0) x[7][15] = 19
1040.89/539.20	c (54,0) x[7][16] = 7
1040.89/539.20	c (54,0) x[7][17] = 17
1040.89/539.20	c (54,0) x[7][18] = 8
1040.89/539.20	c (54,0) x[7][19] = 15
1040.89/539.20	c (54,0) x[7][20] = 18
1040.89/539.20	c (54,0) x[8][0] = 4
1040.89/539.20	c (54,0) x[8][1] = 17
1040.89/539.20	c (54,0) x[8][2] = 18
1040.89/539.20	c (54,0) x[8][3] = 4
1040.89/539.21	c (54,0) x[8][4] = 0
1040.89/539.21	c (54,0) x[8][5] = 20
1040.89/539.21	c (54,0) x[8][7] = 1
1040.89/539.21	c (54,0) x[8][8] = 17
1040.89/539.21	c (54,0) x[8][9] = 0
1040.89/539.21	c (54,0) x[8][10] = 13
1040.89/539.21	c (54,0) x[8][11] = 11
1040.89/539.21	c (54,0) x[8][12] = 4
1040.89/539.21	c (54,0) x[8][13] = 17
1040.89/539.21	c (54,0) x[8][15] = 15
1040.89/539.21	c (54,0) x[8][16] = 20
1040.89/539.21	c (54,0) x[8][17] = 8
1040.89/539.21	c (54,0) x[8][18] = 18
1040.89/539.21	c (54,0) x[8][19] = 4
1040.89/539.21	c (54,0) x[8][20] = 4
1040.89/539.21	c (54,0) x[9][0] = 11
1040.89/539.21	c (54,0) x[9][1] = 8
1040.89/539.21	c (54,0) x[9][2] = 0
1040.89/539.21	c (54,0) x[9][4] = 18
1040.89/539.21	c (54,0) x[9][5] = 1
1040.89/539.21	c (54,0) x[9][6] = 8
1040.89/539.21	c (54,0) x[9][7] = 17
1040.89/539.21	c (54,0) x[9][8] = 4
1040.89/539.21	c (54,0) x[9][9] = 18
1040.89/539.21	c (54,0) x[9][11] = 4
1040.89/539.21	c (54,0) x[9][12] = 12
1040.89/539.21	c (54,0) x[9][13] = 14
1040.89/539.21	c (54,0) x[9][14] = 20
1040.89/539.21	c (54,0) x[9][16] = 18
1040.89/539.21	c (54,0) x[9][17] = 2
1040.89/539.21	c (54,0) x[9][18] = 14
1040.89/539.21	c (54,0) x[9][19] = 20
1040.89/539.21	c (54,0) x[9][20] = 19
1040.89/539.21	c (54,0) x[10][0] = 0
1040.89/539.21	c (54,0) x[10][1] = 6
1040.89/539.21	c (54,0) x[10][2] = 17
1040.89/539.21	c (54,0) x[10][3] = 0
1040.89/539.21	c (54,0) x[10][5] = 0
1040.89/539.21	c (54,0) x[10][6] = 12
1040.89/539.21	c (54,0) x[10][7] = 4
1040.89/539.21	c (54,0) x[10][8] = 13
1040.89/539.21	c (54,0) x[10][12] = 8
1040.89/539.21	c (54,0) x[10][13] = 13
1040.89/539.21	c (54,0) x[10][14] = 19
1040.89/539.21	c (54,0) x[10][15] = 8
1040.89/539.21	c (54,0) x[10][17] = 0
1040.89/539.21	c (54,0) x[10][18] = 11
1040.89/539.21	c (54,0) x[10][19] = 11
1040.89/539.21	c (54,0) x[10][20] = 0
1040.89/539.21	c (54,0) x[11][0] = 1
1040.89/539.21	c (54,0) x[11][1] = 4
1040.89/539.21	c (54,0) x[11][2] = 3
1040.89/539.21	c (54,0) x[11][3] = 4
1040.89/539.21	c (54,0) x[11][4] = 18
1040.89/539.21	c (54,0) x[11][6] = 2
1040.89/539.21	c (54,0) x[11][7] = 0
1040.89/539.21	c (54,0) x[11][8] = 18
1040.89/539.21	c (54,0) x[11][9] = 7
1040.89/539.21	c (54,0) x[11][11] = 3
1040.89/539.21	c (54,0) x[11][12] = 13
1040.89/539.21	c (54,0) x[11][13] = 8
1040.89/539.21	c (54,0) x[11][14] = 4
1040.89/539.21	c (54,0) x[11][15] = 15
1040.89/539.21	c (54,0) x[11][16] = 17
1040.89/539.21	c (54,0) x[11][18] = 0
1040.89/539.21	c (54,0) x[11][19] = 21
1040.89/539.21	c (54,0) x[11][20] = 2
1040.89/539.21	c (54,0) x[12][0] = 17
1040.89/539.21	c (54,0) x[12][1] = 4
1040.89/539.21	c (54,0) x[12][2] = 0
1040.89/539.21	c (54,0) x[12][3] = 17
1040.89/539.21	c (54,0) x[12][4] = 12
1040.89/539.21	c (54,0) x[12][5] = 0
1040.89/539.21	c (54,0) x[12][7] = 6
1040.89/539.21	c (54,0) x[12][8] = 14
1040.89/539.21	c (54,0) x[12][9] = 4
1040.89/539.21	c (54,0) x[12][10] = 19
1040.89/539.21	c (54,0) x[12][11] = 8
1040.89/539.21	c (54,0) x[12][12] = 4
1040.89/539.21	c (54,0) x[12][13] = 18
1040.89/539.21	c (54,0) x[12][15] = 15
1040.89/539.21	c (54,0) x[12][16] = 4
1040.89/539.21	c (54,0) x[12][17] = 8
1040.89/539.21	c (54,0) x[12][18] = 13
1040.89/539.21	c (54,0) x[12][19] = 4
1040.89/539.21	c (54,0) x[12][20] = 4
1040.89/539.21	c (54,0) x[13][0] = 4
1040.89/539.21	c (54,0) x[13][1] = 18
1040.89/539.21	c (54,0) x[13][2] = 18
1040.89/539.21	c (54,0) x[13][3] = 0
1040.89/539.21	c (54,0) x[13][4] = 8
1040.89/539.21	c (54,0) x[13][5] = 12
1040.89/539.21	c (54,0) x[13][7] = 8
1040.89/539.21	c (54,0) x[13][8] = 11
1040.89/539.21	c (54,0) x[13][9] = 11
1040.89/539.21	c (54,0) x[13][10] = 20
1040.89/539.21	c (54,0) x[13][11] = 19
1040.89/539.21	c (54,0) x[13][12] = 4
1040.89/539.21	c (54,0) x[13][13] = 4
1040.89/539.21	c (54,0) x[13][15] = 14
1040.89/539.21	c (54,0) x[13][16] = 15
1040.89/539.21	c (54,0) x[13][17] = 18
1040.89/539.21	c (54,0) x[13][18] = 8
1040.89/539.21	c (54,0) x[13][19] = 13
1040.89/539.21	c (54,0) x[13][20] = 4
1040.89/539.21	c (54,0) x[14][3] = 18
1040.89/539.21	c (54,0) x[14][4] = 2
1040.89/539.21	c (54,0) x[14][5] = 8
1040.89/539.21	c (54,0) x[14][9] = 8
1040.89/539.21	c (54,0) x[14][10] = 1
1040.89/539.21	c (54,0) x[14][11] = 14
1040.89/539.21	c (54,0) x[14][15] = 13
1040.89/539.21	c (54,0) x[14][16] = 8
1040.89/539.21	c (54,0) x[14][17] = 0
1040.89/539.21	c (54,0) x[15][0] = 6
1040.89/539.21	c (54,0) x[15][1] = 11
1040.89/539.21	c (54,0) x[15][2] = 0
1040.89/539.21	c (54,0) x[15][3] = 18
1040.89/539.21	c (54,0) x[15][4] = 18
1040.89/539.21	c (54,0) x[15][6] = 18
1040.89/539.21	c (54,0) x[15][7] = 15
1040.89/539.21	c (54,0) x[15][8] = 8
1040.89/539.21	c (54,0) x[15][9] = 2
1040.89/539.21	c (54,0) x[15][10] = 18
1040.89/539.21	c (54,0) x[15][12] = 2
1040.89/539.21	c (54,0) x[15][13] = 0
1040.89/539.21	c (54,0) x[15][14] = 15
1040.89/539.21	c (54,0) x[15][16] = 2
1040.89/539.21	c (54,0) x[15][17] = 17
1040.89/539.21	c (54,0) x[15][18] = 4
1040.89/539.21	c (54,0) x[15][19] = 4
1040.89/539.21	c (54,0) x[15][20] = 17
1040.89/539.21	c (54,0) x[16][0] = 11
1040.89/539.21	c (54,0) x[16][1] = 8
1040.89/539.21	c (54,0) x[16][2] = 12
1040.89/539.21	c (54,0) x[16][3] = 4
1040.89/539.21	c (54,0) x[16][5] = 4
1040.89/539.21	c (54,0) x[16][6] = 15
1040.89/539.21	c (54,0) x[16][7] = 4
1040.89/539.21	c (54,0) x[16][8] = 11
1040.89/539.21	c (54,0) x[16][9] = 4
1040.89/539.21	c (54,0) x[16][11] = 4
1040.89/539.21	c (54,0) x[16][12] = 17
1040.89/539.21	c (54,0) x[16][13] = 17
1040.89/539.21	c (54,0) x[16][14] = 0
1040.89/539.21	c (54,0) x[16][15] = 8
1040.89/539.21	c (54,0) x[16][17] = 3
1040.89/539.21	c (54,0) x[16][18] = 17
1040.89/539.21	c (54,0) x[16][19] = 14
1040.89/539.21	c (54,0) x[16][20] = 12
1040.89/539.21	c (54,0) x[17][0] = 0
1040.89/539.21	c (54,0) x[17][1] = 6
1040.89/539.21	c (54,0) x[17][2] = 0
1040.89/539.21	c (54,0) x[17][4] = 5
1040.89/539.21	c (54,0) x[17][5] = 17
1040.89/539.21	c (54,0) x[17][6] = 8
1040.89/539.21	c (54,0) x[17][7] = 17
1040.89/539.21	c (54,0) x[17][8] = 0
1040.89/539.21	c (54,0) x[17][10] = 6
1040.89/539.21	c (54,0) x[17][11] = 13
1040.89/539.21	c (54,0) x[17][12] = 14
1040.89/539.21	c (54,0) x[17][13] = 12
1040.89/539.21	c (54,0) x[17][14] = 14
1040.89/539.21	c (54,0) x[17][15] = 13
1040.89/539.21	c (54,0) x[17][16] = 18
1040.89/539.21	c (54,0) x[17][18] = 18
1040.89/539.21	c (54,0) x[17][19] = 2
1040.89/539.21	c (54,0) x[17][20] = 8
1040.89/539.21	c (54,0) x[18][0] = 2
1040.89/539.21	c (54,0) x[18][1] = 0
1040.89/539.21	c (54,0) x[18][2] = 18
1040.89/539.21	c (54,0) x[18][3] = 19
1040.89/539.21	c (54,0) x[18][4] = 17
1040.89/539.21	c (54,0) x[18][5] = 14
1040.89/539.21	c (54,0) x[18][7] = 3
1040.89/539.21	c (54,0) x[18][8] = 8
1040.89/539.21	c (54,0) x[18][9] = 13
1040.89/539.21	c (54,0) x[18][10] = 0
1040.89/539.21	c (54,0) x[18][11] = 18
1040.89/539.21	c (54,0) x[18][12] = 18
1040.89/539.21	c (54,0) x[18][13] = 4
1040.89/539.21	c (54,0) x[18][15] = 3
1040.89/539.21	c (54,0) x[18][16] = 20
1040.89/539.21	c (54,0) x[18][17] = 2
1040.89/539.21	c (54,0) x[18][18] = 7
1040.89/539.21	c (54,0) x[18][19] = 4
1040.89/539.21	c (54,0) x[18][20] = 18
1040.89/539.21	c (54,0) x[19][0] = 0
1040.89/539.21	c (54,0) x[19][1] = 18
1040.89/539.21	c (54,0) x[19][2] = 18
1040.89/539.21	c (54,0) x[19][3] = 8
1040.89/539.21	c (54,0) x[19][4] = 4
1040.89/539.21	c (54,0) x[19][5] = 3
1040.89/539.21	c (54,0) x[19][7] = 8
1040.89/539.21	c (54,0) x[19][8] = 18
1040.89/539.21	c (54,0) x[19][9] = 4
1040.89/539.21	c (54,0) x[19][10] = 17
1040.89/539.21	c (54,0) x[19][11] = 0
1040.89/539.21	c (54,0) x[19][12] = 13
1040.89/539.21	c (54,0) x[19][13] = 4
1040.89/539.21	c (54,0) x[19][15] = 4
1040.89/539.21	c (54,0) x[19][16] = 12
1040.89/539.21	c (54,0) x[19][17] = 8
1040.89/539.21	c (54,0) x[19][18] = 0
1040.89/539.21	c (54,0) x[19][19] = 13
1040.89/539.21	c (54,0) x[19][20] = 19
1040.89/539.21	c (54,0) x[20][0] = 18
1040.89/539.21	c (54,0) x[20][1] = 4
1040.89/539.21	c (54,0) x[20][2] = 0
1040.89/539.21	c (54,0) x[20][3] = 13
1040.89/539.21	c (54,0) x[20][4] = 19
1040.89/539.21	c (54,0) x[20][5] = 4
1040.89/539.21	c (54,0) x[20][7] = 18
1040.89/539.21	c (54,0) x[20][8] = 4
1040.89/539.21	c (54,0) x[20][9] = 18
1040.89/539.21	c (54,0) x[20][10] = 0
1040.89/539.21	c (54,0) x[20][11] = 12
1040.89/539.21	c (54,0) x[20][12] = 4
1040.89/539.21	c (54,0) x[20][13] = 18
1040.89/539.21	c (54,0) x[20][15] = 18
1040.89/539.21	c (54,0) x[20][16] = 14
1040.89/539.21	c (54,0) x[20][17] = 11
1040.89/539.21	c (54,0) x[20][18] = 3
1040.89/539.21	c (54,0) x[20][19] = 4
1040.89/539.21	c (54,0) x[20][20] = 4
1040.89/539.21	s SATISFIABLE
1040.89/539.22	v <instantiation>
1040.89/539.22	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>
1040.89/539.22	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>
1040.89/539.22	v </instantiation>
1040.89/539.22	c (54,0) Show results End
1040.89/539.22	c (54,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1040.89/539.22	c (54,0) 54,54,STOP-AFTER(ALL)
1040.89/539.22	c END-Prog: Tue Sep 24 22:54:23 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 (13779 MiB free)
  memory of node 1: 16384 MiB (12334 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405257-1569362147/watcher-4405257-1569362147 -o /tmp/evaluation-result-4405257-1569362147/solver-4405257-1569362147 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569354839-12054 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405257-1569362147.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
Current StackSize limit: 8192 KiB

solver pid=12748, runsolver pid=12745

[startup+0.100114 s]*
/proc/loadavg: 7.60 8.26 8.20 2/210 12770
/proc/meminfo: memFree=26646676/32770624 swapFree=66986400/67108860
[pid=12748] ppid=12745 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12748/stat : 12748 (scop.sh) S 12745 12748 12027 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512471363 115843072 348 33554432000 4194304 5098028 140729313594112 140729313591368 140609691525756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19021824 140729313600293 140729313600620 140729313600620 140729313603533 0
/proc/12748/statm: 28282 348 296 221 0 87 0
[pid=12751] ppid=12748 vsize=27314120 memory=107188 CPUtime=0.1 cores=0-7
/proc/12751/stat : 12751 (java) S 12748 12748 12027 0 -1 1077944320 6403 0 0 0 7 3 0 0 20 0 20 0 512471363 27969658880 26797 33554432000 4194304 4196468 140727896302000 140727896284544 139879278890743 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
/proc/12751/statm: 6828530 26797 2772 1 0 6790935 0
[pid=12751/tid=12752] ppid=12748 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/12751/task/12752/stat : 12752 (java) R 12748 12748 12027 0 -1 4202560 4507 0 0 0 6 2 0 0 20 0 20 0 512471363 27969658880 26797 33554432000 4194304 4196468 140727896302000 139879250717072 139879264330116 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12753] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12753/stat : 12753 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 26797 33554432000 4194304 4196468 140727896302000 139879283132688 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12754] ppid=12748 vsize=27314120 memory=288370793198364288 CPUtime=0 cores=0-7
/proc/12751/task/12754/stat : 12754 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 26862 33554432000 4194304 4196468 140727896302000 139879101221264 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12755] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12755/stat : 12755 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 26862 33554432000 4194304 4196468 140727896302000 139879100168720 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12756] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12756/stat : 12756 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 26862 33554432000 4194304 4196468 140727896302000 139878699268752 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12757] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12757/stat : 12757 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 26862 33554432000 4194304 4196468 140727896302000 139878698216208 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12758] ppid=12748 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12751/task/12758/stat : 12758 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 26862 33554432000 4194304 4196468 140727896302000 139878697163664 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12759] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12759/stat : 12759 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 26927 33554432000 4194304 4196468 140727896302000 139878696111120 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12760] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12760/stat : 12760 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 26927 33554432000 4194304 4196468 140727896302000 139878695058576 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12761] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12761/stat : 12761 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512471367 27969658880 26927 33554432000 4194304 4196468 140727896302000 139878135916528 139879278901890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12762] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12762/stat : 12762 (java) S 12748 12748 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512471368 27969658880 26927 33554432000 4194304 4196468 140727896302000 139877219820448 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12763] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12763/stat : 12763 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471368 27969658880 26927 33554432000 4194304 4196468 140727896302000 139876951385072 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12764] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12764/stat : 12764 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471370 27969658880 26927 33554432000 4194304 4196468 140727896302000 139876576876752 139879278909339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12765] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12765/stat : 12765 (java) S 12748 12748 12027 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 512471370 27969658880 26927 33554432000 4194304 4196468 140727896302000 139878134864368 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12766] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12766/stat : 12766 (java) S 12748 12748 12027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 26927 33554432000 4194304 4196468 140727896302000 139878133811824 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12767] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12767/stat : 12767 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 26927 33554432000 4194304 4196468 140727896302000 139878132759280 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12768] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12768/stat : 12768 (java) S 12748 12748 12027 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 26927 33554432000 4194304 4196468 140727896302000 139878131706736 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12769] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12769/stat : 12769 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 26927 33554432000 4194304 4196468 140727896302000 139876078971104 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12770] ppid=12748 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12751/task/12770/stat : 12770 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 26927 33554432000 4194304 4196468 140727896302000 139878130653616 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108580 KiB

[startup+0.210112 s]*
/proc/loadavg: 7.60 8.26 8.20 4/210 12770
/proc/meminfo: memFree=26624852/32770624 swapFree=66986400/67108860
[pid=12748] ppid=12745 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12748/stat : 12748 (scop.sh) S 12745 12748 12027 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512471363 115843072 348 33554432000 4194304 5098028 140729313594112 140729313591368 140609691525756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19021824 140729313600293 140729313600620 140729313600620 140729313603533 0
/proc/12748/statm: 28282 348 296 221 0 87 0
[pid=12751] ppid=12748 vsize=27314120 memory=126748 CPUtime=0.24 cores=0-7
/proc/12751/stat : 12751 (java) S 12748 12748 12027 0 -1 1077944320 12036 0 0 0 19 5 0 0 20 0 20 0 512471363 27969658880 31687 33554432000 4194304 4196468 140727896302000 140727896284544 139879278890743 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
/proc/12751/statm: 6828530 31687 2937 1 0 6790935 0
[pid=12751/tid=12752] ppid=12748 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12751/task/12752/stat : 12752 (java) R 12748 12748 12027 0 -1 4202560 9743 0 0 0 16 4 0 0 20 0 20 0 512471363 27969658880 31687 33554432000 4194304 4196468 140727896302000 139879250690128 139879262077569 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12753] ppid=12748 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/12751/task/12753/stat : 12753 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 31687 33554432000 4194304 4196468 140727896302000 139879283132688 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12754] ppid=12748 vsize=27314120 memory=140417046664855 CPUtime=0 cores=0-7
/proc/12751/task/12754/stat : 12754 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 31687 33554432000 4194304 4196468 140727896302000 139879101221264 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12755] ppid=12748 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12751/task/12755/stat : 12755 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 31687 33554432000 4194304 4196468 140727896302000 139879100168720 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12756] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12756/stat : 12756 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878699268752 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12757] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12757/stat : 12757 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878698216208 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12758] ppid=12748 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12751/task/12758/stat : 12758 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878697163664 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12759] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12759/stat : 12759 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878696111120 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12760] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12760/stat : 12760 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878695058576 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12761] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12761/stat : 12761 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512471367 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878135916528 139879278901890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12762] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12762/stat : 12762 (java) S 12748 12748 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512471368 27969658880 31687 33554432000 4194304 4196468 140727896302000 139877219820448 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12763] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12763/stat : 12763 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471368 27969658880 31687 33554432000 4194304 4196468 140727896302000 139876951385072 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12764] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12764/stat : 12764 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471370 27969658880 31687 33554432000 4194304 4196468 140727896302000 139876576876752 139879278909339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12765] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12765/stat : 12765 (java) S 12748 12748 12027 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 512471370 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878134864368 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12766] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12766/stat : 12766 (java) S 12748 12748 12027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878133811824 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12767] ppid=12748 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12751/task/12767/stat : 12767 (java) S 12748 12748 12027 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878132759280 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12768] ppid=12748 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/12751/task/12768/stat : 12768 (java) S 12748 12748 12027 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 512471371 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878131706736 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12769] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12769/stat : 12769 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 31687 33554432000 4194304 4196468 140727896302000 139876078971104 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12770] ppid=12748 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12751/task/12770/stat : 12770 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 31687 33554432000 4194304 4196468 140727896302000 139878130653616 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128140 KiB

[startup+0.309419 s]*
/proc/loadavg: 7.60 8.26 8.20 2/210 12770
/proc/meminfo: memFree=26622556/32770624 swapFree=66986400/67108860
[pid=12748] ppid=12745 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12748/stat : 12748 (scop.sh) S 12745 12748 12027 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512471363 115843072 348 33554432000 4194304 5098028 140729313594112 140729313591368 140609691525756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19021824 140729313600293 140729313600620 140729313600620 140729313603533 0
/proc/12748/statm: 28282 348 296 221 0 87 0
[pid=12751] ppid=12748 vsize=27314120 memory=130092 CPUtime=0.42 cores=0-7
/proc/12751/stat : 12751 (java) S 12748 12748 12027 0 -1 1077944320 12399 0 0 0 36 6 0 0 20 0 20 0 512471363 27969658880 32523 33554432000 4194304 4196468 140727896302000 140727896284544 139879278890743 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
/proc/12751/statm: 6828530 32523 3026 1 0 6790935 0
[pid=12751/tid=12752] ppid=12748 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/12751/task/12752/stat : 12752 (java) R 12748 12748 12027 0 -1 4202560 9921 0 0 0 25 4 0 0 20 0 20 0 512471363 27969658880 32523 33554432000 4194304 4196468 140727896302000 139879250708240 139879259166624 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12753] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12753/stat : 12753 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 32523 33554432000 4194304 4196468 140727896302000 139879283132688 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12754] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12754/stat : 12754 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 32523 33554432000 4194304 4196468 140727896302000 139879101221264 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12755] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12755/stat : 12755 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 32523 33554432000 4194304 4196468 140727896302000 139879100168720 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12756] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12756/stat : 12756 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878699268752 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12757] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12757/stat : 12757 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878698216208 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12758] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12758/stat : 12758 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878697163664 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12759] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12759/stat : 12759 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878696111120 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12760] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12760/stat : 12760 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512471366 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878695058576 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12761] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12761/stat : 12761 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512471367 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878135916528 139879278901890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12762] ppid=12748 vsize=27314120 memory=280833818828160 CPUtime=0 cores=0-7
/proc/12751/task/12762/stat : 12762 (java) S 12748 12748 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512471368 27969658880 32523 33554432000 4194304 4196468 140727896302000 139877219820448 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12763] ppid=12748 vsize=27314120 memory=280833818832768 CPUtime=0 cores=0-7
/proc/12751/task/12763/stat : 12763 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471368 27969658880 32523 33554432000 4194304 4196468 140727896302000 139876951385072 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12764] ppid=12748 vsize=27314120 memory=280833818837376 CPUtime=0 cores=0-7
/proc/12751/task/12764/stat : 12764 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471370 27969658880 32523 33554432000 4194304 4196468 140727896302000 139876576876752 139879278909339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12765] ppid=12748 vsize=27314120 memory=280833818841984 CPUtime=0.01 cores=0-7
/proc/12751/task/12765/stat : 12765 (java) S 12748 12748 12027 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 512471370 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878134864368 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12766] ppid=12748 vsize=27314120 memory=280833818846592 CPUtime=0 cores=0-7
/proc/12751/task/12766/stat : 12766 (java) S 12748 12748 12027 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878133811824 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12767] ppid=12748 vsize=27314120 memory=280833818851200 CPUtime=0.01 cores=0-7
/proc/12751/task/12767/stat : 12767 (java) S 12748 12748 12027 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 512471371 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878132759280 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12768] ppid=12748 vsize=27314120 memory=280833818855808 CPUtime=0.07 cores=0-7
/proc/12751/task/12768/stat : 12768 (java) S 12748 12748 12027 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 512471371 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878131706736 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12769] ppid=12748 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12769/stat : 12769 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 32523 33554432000 4194304 4196468 140727896302000 139876078971104 139879278900949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12770] ppid=12748 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12751/task/12770/stat : 12770 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471371 27969658880 32523 33554432000 4194304 4196468 140727896302000 139878130653616 139879278901890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131484 KiB

[startup+0.700913 s]
/proc/loadavg: 7.60 8.26 8.20 3/210 12770
/proc/meminfo: memFree=26600344/32770624 swapFree=66986400/67108860
[pid=12748] ppid=12745 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12748/stat : 12748 (scop.sh) S 12745 12748 12027 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512471363 115843072 348 33554432000 4194304 5098028 140729313594112 140729313591368 140609691525756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19021824 140729313600293 140729313600620 140729313600620 140729313603533 0
/proc/12748/statm: 28282 348 296 221 0 87 0
[pid=12751] ppid=12748 vsize=27320392 memory=166980 CPUtime=0.97 cores=0-7
/proc/12751/stat : 12751 (java) S 12748 12748 12027 0 -1 1077944320 19831 0 0 0 89 8 0 0 20 0 20 0 512471363 27976081408 41745 33554432000 4194304 4196468 140727896302000 140727896284544 139879278890743 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
/proc/12751/statm: 6830098 41745 3185 1 0 6791447 0
[pid=12751/tid=12752] ppid=12748 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/12751/task/12752/stat : 12752 (java) R 12748 12748 12027 0 -1 4202560 16830 0 0 0 61 6 0 0 20 0 20 0 512471363 27976081408 41745 33554432000 4194304 4196468 140727896302000 139879250722992 139879278902678 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12753] ppid=12748 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12753/stat : 12753 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27976081408 41745 33554432000 4194304 4196468 140727896302000 139879283132688 139879278900949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12754] ppid=12748 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/12751/task/12754/stat : 12754 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27976081408 41745 33554432000 4194304 4196468 140727896302000 139879101221264 139879278900949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0
[pid=12751/tid=12755] ppid=12748 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/12751/task/12755/stat : 12755 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512471366 27976081408 41745 33554432000 4194304 4196468 140727896302000 139879100168720 139879278900949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140727896310507 140727896310934 140727896310934 140727896313807 0

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

/proc/12809/task/12813/stat : 12813 (java) S 12748 12748 12027 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 31191 33554432000 4194304 4196468 140727454811984 140635223571216 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12814] ppid=12748 vsize=8414124 memory=124764 CPUtime=0 cores=0-7
/proc/12809/task/12814/stat : 12814 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 31191 33554432000 4194304 4196468 140727454811984 140635222518672 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12815] ppid=12748 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/12809/task/12815/stat : 12815 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 31191 33554432000 4194304 4196468 140727454811984 140635221465616 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12816] ppid=12748 vsize=8414124 memory=124688 CPUtime=0 cores=0-7
/proc/12809/task/12816/stat : 12816 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 31191 33554432000 4194304 4196468 140727454811984 140635220413072 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12817] ppid=12748 vsize=8414124 memory=3743664 CPUtime=0 cores=0-7
/proc/12809/task/12817/stat : 12817 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 31191 33554432000 4194304 4196468 140727454811984 140635219360016 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12818] ppid=12748 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/12809/task/12818/stat : 12818 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 31191 33554432000 4194304 4196468 140727454811984 140635218307472 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12819] ppid=12748 vsize=8414124 memory=3935164 CPUtime=0 cores=0-7
/proc/12809/task/12819/stat : 12819 (java) S 12748 12748 12027 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512519749 8616062976 31191 33554432000 4194304 4196468 140727454811984 140634379496176 140635420224130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12820] ppid=12748 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/12809/task/12820/stat : 12820 (java) S 12748 12748 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512519750 8616062976 31191 33554432000 4194304 4196468 140727454811984 140634073589408 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12821] ppid=12748 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/12809/task/12821/stat : 12821 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519750 8616062976 31191 33554432000 4194304 4196468 140727454811984 140633805153520 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12822] ppid=12748 vsize=8414124 memory=4804 CPUtime=0 cores=0-7
/proc/12809/task/12822/stat : 12822 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519753 8616062976 31191 33554432000 4194304 4196468 140727454811984 140633430645200 140635420231579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12823] ppid=12748 vsize=8414124 memory=4100 CPUtime=0.06 cores=0-7
/proc/12809/task/12823/stat : 12823 (java) S 12748 12748 12027 0 -1 1077944384 516 0 0 0 6 0 0 0 20 0 24 0 512519753 8616062976 31191 33554432000 4194304 4196468 140727454811984 140634378442992 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12824] ppid=12748 vsize=8414124 memory=1412 CPUtime=0.15 cores=0-7
/proc/12809/task/12824/stat : 12824 (java) S 12748 12748 12027 0 -1 1077944384 758 0 0 0 15 0 0 0 20 0 24 0 512519753 8616062976 31191 33554432000 4194304 4196468 140727454811984 140634377390448 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12825] ppid=12748 vsize=8414124 memory=3524 CPUtime=0.1 cores=0-7
/proc/12809/task/12825/stat : 12825 (java) S 12748 12748 12027 0 -1 1077944384 409 0 0 0 10 0 0 0 20 0 24 0 512519753 8616062976 31191 33554432000 4194304 4196468 140727454811984 140634376337392 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12826] ppid=12748 vsize=8414124 memory=912 CPUtime=0.23 cores=0-7
/proc/12809/task/12826/stat : 12826 (java) S 12748 12748 12027 0 -1 1077944384 628 0 0 0 23 0 0 0 20 0 24 0 512519753 8616062976 31191 33554432000 4194304 4196468 140727454811984 140634375284848 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12827] ppid=12748 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/12809/task/12827/stat : 12827 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512519753 8616062976 31191 33554432000 4194304 4196468 140727454811984 140632932740064 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12828] ppid=12748 vsize=8414124 memory=2480 CPUtime=0.03 cores=0-7
/proc/12809/task/12828/stat : 12828 (java) S 12748 12748 12027 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 24 0 512519754 8616062976 31191 33554432000 4194304 4196468 140727454811984 140634374233264 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12830] ppid=12748 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/12809/task/12830/stat : 12830 (java) S 12748 12748 12027 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512519826 8616062976 31191 33554432000 4194304 4196468 140727454811984 140634366199232 140635420237593 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12832] ppid=12748 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/12809/task/12832/stat : 12832 (java) S 12748 12748 12027 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512519826 8616062976 31191 33554432000 4194304 4196468 140727454811984 140632261639696 140635420234909 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12833] ppid=12748 vsize=8414124 memory=3937292 CPUtime=0 cores=0-7
/proc/12809/task/12833/stat : 12833 (java) S 12748 12748 12027 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512519826 8616062976 31191 33554432000 4194304 4196468 140727454811984 140632530075280 140635420234909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12834] ppid=12748 vsize=8414124 memory=7686721470384479637 CPUtime=0 cores=0-7
/proc/12809/task/12834/stat : 12834 (java) S 12748 12748 12027 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512519828 8616062976 31191 33554432000 4194304 4196468 140727454811984 140631993211824 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
Current children cumulated CPU time: 1039.45 s
Current children cumulated vsize: 12693316 KiB
Current children cumulated memory: 4063536 KiB

[startup+538.801 s]
/proc/loadavg: 5.38 3.41 5.46 2/217 12845
/proc/meminfo: memFree=22552804/32770624 swapFree=66986400/67108860
[pid=12748] ppid=12745 vsize=113128 memory=1472 CPUtime=663.11 cores=0-7
/proc/12748/stat : 12748 (scop.sh) S 12745 12748 12027 0 -1 4202496 582 244054 0 0 0 0 63147 3164 20 0 1 0 512471363 115843072 368 33554432000 4194304 5098028 140729313594112 140729313590856 140609691525756 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19021824 140729313600293 140729313600620 140729313600620 140729313603533 0
/proc/12748/statm: 28282 368 311 221 0 87 0
[pid=12809] ppid=12748 vsize=8414124 memory=131920 CPUtime=1.59 cores=0-7
/proc/12809/stat : 12809 (java) S 12748 12748 12027 0 -1 1077944320 21459 0 0 0 148 11 0 0 20 0 24 0 512519746 8616062976 32980 33554432000 4194304 4196468 140727454811984 140727454794528 140635420212983 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
/proc/12809/statm: 2103531 32980 3225 1 0 2064875 0
[pid=12829] ppid=12809 vsize=4133792 memory=3938124 CPUtime=375.27 cores=0-7
/proc/12829/stat : 12829 (manyglucose-4.1) R 12809 12748 12027 0 -1 4202496 3158067 0 0 0 36845 682 0 0 20 0 1 0 512519826 4233003008 984531 33554432000 4194304 4454172 140730669940928 140730669937648 140144412378470 0 4 0 8388610 0 0 0 17 7 0 0 0 0 0 6552832 6554400 32038912 140730669945705 140730669945904 140730669945904 140730669948858 0
/proc/12829/statm: 1033448 984531 422 64 0 1029116 0
[pid=12809/tid=12810] ppid=12748 vsize=8414124 memory=1472 CPUtime=0.82 cores=0-7
/proc/12809/task/12810/stat : 12810 (java) S 12748 12748 12027 0 -1 1077944384 16989 0 0 0 75 7 0 0 20 0 24 0 512519747 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635392053152 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12811] ppid=12748 vsize=8414124 memory=124764 CPUtime=0 cores=0-7
/proc/12809/task/12811/stat : 12811 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635424455696 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12812] ppid=12748 vsize=8414124 memory=3937292 CPUtime=0 cores=0-7
/proc/12809/task/12812/stat : 12812 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635224624272 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12813] ppid=12748 vsize=8414124 memory=-2025810976467231676 CPUtime=0 cores=0-7
/proc/12809/task/12813/stat : 12813 (java) S 12748 12748 12027 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635223571216 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12814] ppid=12748 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/12809/task/12814/stat : 12814 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635222518672 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12815] ppid=12748 vsize=8414124 memory=7686721470384479637 CPUtime=0 cores=0-7
/proc/12809/task/12815/stat : 12815 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635221465616 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12816] ppid=12748 vsize=8414124 memory=7686721470384479637 CPUtime=0 cores=0-7
/proc/12809/task/12816/stat : 12816 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635220413072 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12817] ppid=12748 vsize=8414124 memory=3836940 CPUtime=0 cores=0-7
/proc/12809/task/12817/stat : 12817 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635219360016 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12818] ppid=12748 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/12809/task/12818/stat : 12818 (java) S 12748 12748 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519748 8616062976 32980 33554432000 4194304 4196468 140727454811984 140635218307472 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12819] ppid=12748 vsize=8414124 memory=6204 CPUtime=0 cores=0-7
/proc/12809/task/12819/stat : 12819 (java) S 12748 12748 12027 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512519749 8616062976 32980 33554432000 4194304 4196468 140727454811984 140634379496176 140635420224130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12820] ppid=12748 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/12809/task/12820/stat : 12820 (java) S 12748 12748 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512519750 8616062976 32980 33554432000 4194304 4196468 140727454811984 140634073589408 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12821] ppid=12748 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/12809/task/12821/stat : 12821 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519750 8616062976 32980 33554432000 4194304 4196468 140727454811984 140633805153520 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12822] ppid=12748 vsize=8414124 memory=124764 CPUtime=0 cores=0-7
/proc/12809/task/12822/stat : 12822 (java) S 12748 12748 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519753 8616062976 32980 33554432000 4194304 4196468 140727454811984 140633430645200 140635420231579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12823] ppid=12748 vsize=8414124 memory=3914000 CPUtime=0.07 cores=0-7
/proc/12809/task/12823/stat : 12823 (java) S 12748 12748 12027 0 -1 1077944384 519 0 0 0 7 0 0 0 20 0 24 0 512519753 8616062976 32980 33554432000 4194304 4196468 140727454811984 140634378442992 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12824] ppid=12748 vsize=8414124 memory=988 CPUtime=0.18 cores=0-7
/proc/12809/task/12824/stat : 12824 (java) R 12748 12748 12027 0 -1 4202560 765 0 0 0 18 0 0 0 20 0 24 0 512519753 8616062976 32980 33554432000 4194304 4196468 140727454811984 140634377380832 140635404601876 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12825] ppid=12748 vsize=8414124 memory=2004 CPUtime=0.13 cores=0-7
/proc/12809/task/12825/stat : 12825 (java) S 12748 12748 12027 0 -1 1077944384 605 0 0 0 13 0 0 0 20 0 24 0 512519753 8616062976 32980 33554432000 4194304 4196468 140727454811984 140634376337392 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12826] ppid=12748 vsize=8414124 memory=1416 CPUtime=0.27 cores=0-7
/proc/12809/task/12826/stat : 12826 (java) S 12748 12748 12027 0 -1 1077944384 1159 0 0 0 27 0 0 0 20 0 24 0 512519753 8616062976 32980 33554432000 4194304 4196468 140727454811984 140634375284848 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12827] ppid=12748 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/12809/task/12827/stat : 12827 (java) S 12748 12748 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512519753 8616062976 32980 33554432000 4194304 4196468 140727454811984 140632932740064 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12828] ppid=12748 vsize=8414124 memory=692 CPUtime=0.03 cores=0-7
/proc/12809/task/12828/stat : 12828 (java) S 12748 12748 12027 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 24 0 512519754 8616062976 32980 33554432000 4194304 4196468 140727454811984 140634374233264 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12830] ppid=12748 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/12809/task/12830/stat : 12830 (java) S 12748 12748 12027 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512519826 8616062976 32980 33554432000 4194304 4196468 140727454811984 140634366199232 140635420237593 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12832] ppid=12748 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/12809/task/12832/stat : 12832 (java) S 12748 12748 12027 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 24 0 512519826 8616062976 32980 33554432000 4194304 4196468 140727454811984 140632261639760 140635420234909 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12833] ppid=12748 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12809/task/12833/stat : 12833 (java) S 12748 12748 12027 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512519826 8616062976 32980 33554432000 4194304 4196468 140727454811984 140632530075280 140635420234909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12834] ppid=12748 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12809/task/12834/stat : 12834 (java) S 12748 12748 12027 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512519828 8616062976 32980 33554432000 4194304 4196468 140727454811984 140631993211824 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
Current children cumulated CPU time: 1039.97 s
Current children cumulated vsize: 12661044 KiB
Current children cumulated memory: 4071516 KiB

[startup+539.201 s]
/proc/loadavg: 5.38 3.41 5.46 5/216 12845
/proc/meminfo: memFree=24261208/32770624 swapFree=66986400/67108860
[pid=12748] ppid=12745 vsize=113128 memory=1472 CPUtime=663.11 cores=0-7
/proc/12748/stat : 12748 (scop.sh) S 12745 12748 12027 0 -1 4202496 582 244054 0 0 0 0 63147 3164 20 0 1 0 512471363 115843072 368 33554432000 4194304 5098028 140729313594112 140729313590856 140609691525756 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19021824 140729313600293 140729313600620 140729313600620 140729313603533 0
/proc/12748/statm: 28282 368 311 221 0 87 0
[pid=12809] ppid=12748 vsize=8284072 memory=227436 CPUtime=377.78 cores=0-7
/proc/12809/stat : 12809 (java) S 12748 12748 12027 0 -1 1077944320 22411 3158073 0 0 213 14 36852 699 20 0 22 0 512519746 8482889728 56859 33554432000 4194304 4196468 140727454811984 140727454794528 140635420212983 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
/proc/12809/statm: 2071018 56859 3232 1 0 2032362 0
[pid=12809/tid=12810] ppid=12748 vsize=8284072 memory=1056 CPUtime=376.47 cores=0-7
/proc/12809/task/12810/stat : 12810 (java) R 12748 12748 12027 0 -1 4202560 17525 3158073 0 0 89 7 36852 699 20 0 22 0 512519747 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635392039568 140635412892701 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12811] ppid=12748 vsize=8284072 memory=1556 CPUtime=375.51 cores=0-7
/proc/12809/task/12811/stat : 12811 (java) S 12748 12748 12027 0 -1 1077944384 2 3158073 0 0 0 0 36852 699 20 0 22 0 512519748 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635424455696 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12812] ppid=12748 vsize=8284072 memory=780 CPUtime=375.51 cores=0-7
/proc/12809/task/12812/stat : 12812 (java) S 12748 12748 12027 0 -1 1077944384 1 3158073 0 0 0 0 36852 699 20 0 22 0 512519748 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635224624272 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12813] ppid=12748 vsize=8284072 memory=4486604260213485459 CPUtime=375.51 cores=0-7
/proc/12809/task/12813/stat : 12813 (java) S 12748 12748 12027 0 -1 1077944384 4 3158073 0 0 0 0 36852 699 20 0 22 0 512519748 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635223571216 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12814] ppid=12748 vsize=8284072 memory=124764 CPUtime=375.51 cores=0-7
/proc/12809/task/12814/stat : 12814 (java) S 12748 12748 12027 0 -1 1077944384 2 3158073 0 0 0 0 36852 699 20 0 22 0 512519748 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635222518672 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12815] ppid=12748 vsize=8284072 memory=3937680 CPUtime=375.51 cores=0-7
/proc/12809/task/12815/stat : 12815 (java) S 12748 12748 12027 0 -1 1077944384 2 3158073 0 0 0 0 36852 699 20 0 22 0 512519748 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635221465616 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12816] ppid=12748 vsize=8284072 memory=124764 CPUtime=375.51 cores=0-7
/proc/12809/task/12816/stat : 12816 (java) S 12748 12748 12027 0 -1 1077944384 2 3158073 0 0 0 0 36852 699 20 0 22 0 512519748 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635220413072 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12817] ppid=12748 vsize=8284072 memory=3911860 CPUtime=375.51 cores=0-7
/proc/12809/task/12817/stat : 12817 (java) S 12748 12748 12027 0 -1 1077944384 1 3158073 0 0 0 0 36852 699 20 0 22 0 512519748 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635219360016 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12818] ppid=12748 vsize=8284072 memory=6791534058613427641 CPUtime=375.51 cores=0-7
/proc/12809/task/12818/stat : 12818 (java) S 12748 12748 12027 0 -1 1077944384 2 3158073 0 0 0 0 36852 699 20 0 22 0 512519748 8482889728 56859 33554432000 4194304 4196468 140727454811984 140635218307472 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12819] ppid=12748 vsize=8284072 memory=124764 CPUtime=375.51 cores=0-7
/proc/12809/task/12819/stat : 12819 (java) S 12748 12748 12027 0 -1 1077944384 8 3158073 0 0 0 0 36852 699 20 0 22 0 512519749 8482889728 56859 33554432000 4194304 4196468 140727454811984 140634379496176 140635420224130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12820] ppid=12748 vsize=8284072 memory=3935116 CPUtime=375.51 cores=0-7
/proc/12809/task/12820/stat : 12820 (java) S 12748 12748 12027 0 -1 1077944384 13 3158073 0 0 0 0 36852 699 20 0 22 0 512519750 8482889728 56859 33554432000 4194304 4196468 140727454811984 140634073589408 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12821] ppid=12748 vsize=8284072 memory=796 CPUtime=375.51 cores=0-7
/proc/12809/task/12821/stat : 12821 (java) S 12748 12748 12027 0 -1 1077944384 1 3158073 0 0 0 0 36852 699 20 0 22 0 512519750 8482889728 56859 33554432000 4194304 4196468 140727454811984 140633805153520 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12822] ppid=12748 vsize=8284072 memory=1472 CPUtime=375.51 cores=0-7
/proc/12809/task/12822/stat : 12822 (java) S 12748 12748 12027 0 -1 1077944384 1 3158073 0 0 0 0 36852 699 20 0 22 0 512519753 8482889728 56859 33554432000 4194304 4196468 140727454811984 140633430645200 140635420231579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12823] ppid=12748 vsize=8284072 memory=2120 CPUtime=375.64 cores=0-7
/proc/12809/task/12823/stat : 12823 (java) S 12748 12748 12027 0 -1 1077944384 550 3158073 0 0 12 1 36852 699 20 0 22 0 512519753 8482889728 56859 33554432000 4194304 4196468 140727454811984 140634378442992 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12824] ppid=12748 vsize=8284072 memory=532 CPUtime=375.77 cores=0-7
/proc/12809/task/12824/stat : 12824 (java) S 12748 12748 12027 0 -1 1077944384 788 3158073 0 0 26 0 36852 699 20 0 22 0 512519753 8482889728 56859 33554432000 4194304 4196468 140727454811984 140634377390448 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12825] ppid=12748 vsize=8284072 memory=1564 CPUtime=375.72 cores=0-7
/proc/12809/task/12825/stat : 12825 (java) S 12748 12748 12027 0 -1 1077944384 657 3158073 0 0 21 0 36852 699 20 0 22 0 512519753 8482889728 56859 33554432000 4194304 4196468 140727454811984 140634376337392 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12826] ppid=12748 vsize=8284072 memory=924 CPUtime=375.88 cores=0-7
/proc/12809/task/12826/stat : 12826 (java) S 12748 12748 12027 0 -1 1077944384 1381 3158073 0 0 36 1 36852 699 20 0 22 0 512519753 8482889728 56876 33554432000 4194304 4196468 140727454811984 140634375284848 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12827] ppid=12748 vsize=8284072 memory=1760 CPUtime=375.51 cores=0-7
/proc/12809/task/12827/stat : 12827 (java) S 12748 12748 12027 0 -1 1077944384 3 3158073 0 0 0 0 36852 699 20 0 22 0 512519753 8482889728 56663 33554432000 4194304 4196468 140727454811984 140632932740064 140635420223189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12828] ppid=12748 vsize=8284072 memory=1728 CPUtime=375.54 cores=0-7
/proc/12809/task/12828/stat : 12828 (java) S 12748 12748 12027 0 -1 1077944384 5 3158073 0 0 1 2 36852 699 20 0 22 0 512519754 8482889728 56663 33554432000 4194304 4196468 140727454811984 140634374233264 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12830] ppid=12748 vsize=8283048 memory=692 CPUtime=375.51 cores=0-7
/proc/12809/task/12830/stat : 12830 (java) S 12748 12748 12027 0 -1 1077944384 24 3158073 0 0 0 0 36852 699 20 0 22 0 512519826 8481841152 56663 33554432000 4194304 4196468 140727454811984 140634366198416 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
[pid=12809/tid=12834] ppid=12748 vsize=8283048 memory=1056 CPUtime=375.51 cores=0-7
/proc/12809/task/12834/stat : 12834 (java) S 12748 12748 12027 0 -1 1077944384 13 3158073 0 0 0 0 36852 699 20 0 22 0 512519828 8481841152 56663 33554432000 4194304 4196468 140727454811984 140631993213616 140635420224130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36519936 140727454815223 140727454815382 140727454815382 140727454818255 0
Current children cumulated CPU time: 1040.89 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 228908 KiB

Child status: 0
Real time (s): 539.251
CPU time (s): 1040.99
CPU user time (s): 1002.16
CPU system time (s): 38.8266
CPU usage (%): 193.043
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 18519360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1002.16
system time used= 38.8266
maximum resident set size= 18518420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3425977
page faults= 0
swaps= 0
block input operations= 16
block output operations= 259520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274197
involuntary context switches= 5578


# summary of solver processes directly reported to runsolver:
#   pid: 12748
#   total CPU time (s): 1040.99
#   total CPU user time (s): 1002.16
#   total CPU system time (s): 38.8266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89411 second user time and 5.19069 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 22:45:24
IDJOB=4405257
IDBENCH=139942
IDSOLVER=2867
FILE ID=node104/4405257-1569362147
RUNJOBID= node104-1569354839-12054
PBS_JOBID= 21705117
Free space on /tmp= 9832 MiB

SOLVER NAME= Fun-sCOP order+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 -order 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-4405257-1569362147/watcher-4405257-1569362147 -o /tmp/evaluation-result-4405257-1569362147/solver-4405257-1569362147 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569354839-12054 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405257-1569362147.xml

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

MD5SUM BENCH= 35703c5da18cfa31646d51f4d8651558
RANDOM SEED=1684107341

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26740944 kB
MemAvailable:   31819712 kB
Buffers:          103476 kB
Cached:          5066976 kB
SwapCached:        22640 kB
Active:          3192140 kB
Inactive:        2005548 kB
Active(anon):       4492 kB
Inactive(anon):    80336 kB
Active(file):    3187648 kB
Inactive(file):  1925212 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986400 kB
Dirty:             21216 kB
Writeback:             0 kB
AnonPages:         45588 kB
Mapped:            57540 kB
Shmem:             49032 kB
Slab:             424004 kB
SReclaimable:     394368 kB
SUnreclaim:        29636 kB
KernelStack:        3696 kB
PageTables:         5688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506688 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:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-24 22:54:23