Trace number 4392697

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

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

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 1038.88 533.521

General information on the benchmark

NameCrossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h2105.xml
MD5SUM35703c5da18cfa31646d51f4d8651558
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.518539
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints144
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":368}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":73},{"degree":2,"count":368}]
Minimum constraint arity3
Maximum constraint arity7
Distribution of constraint arities[{"arity":3,"count":28},{"arity":4,"count":20},{"arity":5,"count":28},{"arity":6,"count":44},{"arity":7,"count":24}]
Number of extensional constraints144
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":144}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1201-serial-file.bin HOME/instance-4392697-1568446296.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 09:30:55 CEST 2019
0.65/0.56	c PID: 1204
0.65/0.56	c IP: 172.20.3.134
0.65/0.56	c HOST: node134.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.84/1.28	c (0,0) Parsing End
2.84/1.29	c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 144 ctr, max domain size 26
2.84/1.29	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.84/1.29	c (0,0) Constraint Name Generate Begin
2.84/1.29	c (0,0) Ctr:HOME/instance-4392697-1568446296.xml,ExtensionSupport:Var
2.84/1.29	c (0,0) Constraint Name Generate End
2.84/1.29	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.84/1.29	c (0,0) CSP to CSPinCNF Begin
58.81/38.88	c (38,37) translated 15 (10%) constraints
102.12/72.75	c (72,70) translated 29 (20%) constraints
157.96/110.17	c (109,104) translated 44 (30%) constraints
245.86/176.05	c (175,167) translated 58 (40%) constraints
315.72/234.24	c (233,224) translated 72 (50%) constraints
316.93/235.45	c (234,225) translated 87 (60%) constraints
324.15/242.63	c (242,232) translated 101 (70%) constraints
348.35/261.05	c (260,250) translated 116 (80%) constraints
359.26/272.00	c (271,261) translated 130 (90%) constraints
367.60/277.28	c (276,265) translated 144 (100%) constraints
367.90/277.59	c (277,266) ===========================================
369.33/278.95	c (278,267) Hybrid: #OE=465834, #LE=0
369.33/278.95	c (278,267) Hybrid
369.33/278.95	c (278,267) ===========================================
383.96/289.72	c (289,277) translated 501550 (10%) constraints
394.40/300.17	c (299,288) translated 1003100 (20%) constraints
409.73/311.30	c (310,298) translated 1504649 (30%) constraints
420.13/321.75	c (321,309) translated 2006199 (40%) constraints
435.86/332.86	c (332,319) translated 2507748 (50%) constraints
451.81/343.97	c (343,330) translated 3009298 (60%) constraints
462.22/354.33	c (353,340) translated 3510848 (70%) constraints
477.74/365.42	c (364,350) translated 4012397 (80%) constraints
488.12/375.73	c (375,361) translated 4513947 (90%) constraints
503.57/386.66	c (386,371) translated 5015496 (100%) constraints
503.57/386.66	c (386,371) CSP to CSPinCNF End
503.78/386.82	c (386,371) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
503.78/386.82	c (386,371) Heap : 7716 MiB used (max 21513 MiB), NonHeap : 27 MiB used (max 0 MiB)
503.78/386.82	c (386,371) CSPinCNF Propagation Begin
565.53/414.53	c (413,394) 0 values, 144 unsatisfiable literals, and 0 valid clauses are removed
565.53/414.53	c (413,394) CSPinCNF Propagation End
565.63/414.68	c (414,394) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
565.63/414.68	c (414,394) Heap : 9109 MiB used (max 21208 MiB), NonHeap : 27 MiB used (max 0 MiB)
567.04/416.05	c (415,395) Hybrid: #OE=465834, #LE=0
567.04/416.05	c (415,395) Simplify CSPinCNF Begin
587.74/426.79	c (426,405) Simplify CSPinCNF End
587.94/426.94	c (426,405) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
587.94/426.94	c (426,405) Heap : 9782 MiB used (max 21491 MiB), NonHeap : 27 MiB used (max 0 MiB)
587.94/426.94	c (426,405) Calculate Precise Domain Begin
587.94/426.94	c (426,405) 0 values are removed by re-calculation
587.94/426.94	c (426,405) Calculate Precise Domain End
588.16/427.11	c (426,405) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26
588.16/427.12	c (426,405) Heap : 9782 MiB used (max 21491 MiB), NonHeap : 27 MiB used (max 0 MiB)
588.16/427.12	c (426,405) CSPinCNF to SatSolver Begin
601.58/433.75	c (433,411) 501550 (10 %) CSP clauses are encoded (0 SAT variables, 510242 SAT clauses)
606.44/438.59	c (438,416) 1003100 (20 %) CSP clauses are encoded (0 SAT variables, 1011792 SAT clauses)
615.51/443.98	c (443,421) 1504649 (30 %) CSP clauses are encoded (0 SAT variables, 1513341 SAT clauses)
623.06/449.16	c (448,425) 2006199 (40 %) CSP clauses are encoded (0 SAT variables, 2014891 SAT clauses)
630.80/454.35	c (453,430) 2507748 (50 %) CSP clauses are encoded (0 SAT variables, 2516440 SAT clauses)
635.61/459.18	c (458,435) 3009298 (60 %) CSP clauses are encoded (0 SAT variables, 3017990 SAT clauses)
643.39/464.37	c (463,440) 3510848 (70 %) CSP clauses are encoded (0 SAT variables, 3519540 SAT clauses)
651.08/469.55	c (469,445) 4012397 (80 %) CSP clauses are encoded (0 SAT variables, 4021089 SAT clauses)
658.61/474.66	c (474,449) 4513947 (90 %) CSP clauses are encoded (0 SAT variables, 4522639 SAT clauses)
663.41/479.45	c (478,454) 5015496 (100 %) CSP clauses are encoded (0 SAT variables, 5024188 SAT clauses)
663.41/479.45	c (478,454) CSPinCNF to SatSolver End
663.41/479.45	c (478,454) Heap : 15857 MiB used (max 21627 MiB), NonHeap : 29 MiB used (max 0 MiB)
663.41/479.45	c (478,454) 474527 bool, 5024189 clause
663.41/479.45	c (478,454) Export Begin
663.54/479.58	c (479,454) Export to HOME/scop-1201-serial-file.bin
663.54/479.58	c (479,454) Export End
663.54/479.58	c (479,454) Export File Size: 0.14 MB
663.54/479.58	c (479,454) 0,0,386,414,426,426,478,STOP-AFTER(DIMACS)
663.54/479.58	c END-Prog: Sat Sep 14 09:38:54 CEST 2019
0.00/479.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1201-serial-file.bin
664.41/480.13	c (0,0) Read Serial File Begin
664.41/480.13	c (0,0) HOME/scop-1201-serial-file.bin
664.66/480.39	c (0,0) Read Serial File End
664.95/480.41	
664.95/480.41	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
664.95/480.41	(Solving Process)
664.95/480.41	
664.95/480.43	c BEGIN-Prog: Sat Sep 14 09:38:55 CEST 2019
664.95/480.43	c PID: 1257
664.95/480.43	c IP: 172.20.3.134
664.95/480.43	c HOST: node134.alineos.net
664.95/480.43	c (0,0) SatSolver.solve Begin
664.95/480.43	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392697-1568446296.xml-scop-1204.cnf
664.95/480.46	c (0,0) c
664.95/480.46	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.95/480.46	c (0,0) c
664.95/480.46	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
664.95/480.46	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
664.95/480.46	c (0,0) c ========================================[ Problem Statistics ]===========================================
664.95/480.46	c (0,0) c |                                                                                                       |
667.08/482.35	c (2,0) c |  Number of variables:        474527                                                                   |
667.08/482.35	c (2,0) c |  Number of clauses:         5017012                                                                   |
667.08/482.35	c (2,0) c |  Parse time:                   1.75 s                                                                 |
667.08/482.35	c (2,0) c |                                                                                                       |
667.47/482.78	c (2,0) c | Too many clauses... No preprocessing                                                                  |
667.47/482.78	c (2,0) c |  Simplification time:          0.39 s                                                                 |
667.47/482.78	c (2,0) c |                                                                                                       |
667.47/482.79	c (2,0) c |  Generating clones                                                                                    |
669.09/484.32	c (4,0) c |  all clones generated. Memory =  3333.60Mb.                                                           |
669.09/484.32	c (4,0) c ========================================================================================================|
669.09/484.32	c (4,0) c
669.09/484.32	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
669.09/484.32	c (4,0) c
669.09/484.32	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
669.09/484.32	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
669.09/484.32	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
669.09/484.32	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
669.09/484.32	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
669.09/484.32	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
669.09/484.32	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
669.09/484.32	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
669.09/484.33	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
669.09/484.33	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
669.09/484.33	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
669.09/484.33	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
669.09/484.33	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
669.09/484.33	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
669.09/484.33	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
669.09/484.33	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
669.09/484.33	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
669.09/484.33	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
669.09/484.33	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
898.14/513.61	c (33,0) c
898.14/513.61	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
898.14/513.61	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
898.14/513.61	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
898.14/513.61	c (33,0) c |  0 |     81 |     291530 |      25313 |   572938 |     9172 |     3549 |    19439 |      218 |      144 |  20 |  0.025 |
898.14/513.61	c (33,0) c |  1 |     93 |     272535 |      27634 |   638749 |    11470 |     3746 |    22411 |      291 |      158 |  20 |  0.025 |
898.14/513.61	c (33,0) c |  2 |     89 |     295423 |      28288 |   563013 |    12097 |     4349 |    22512 |      181 |      161 |  20 |  0.025 |
898.14/513.61	c (33,0) c |  3 |     98 |     328346 |      27530 |   618696 |    11438 |     3787 |    23938 |      301 |      164 |  20 |  0.025 |
898.14/513.61	c (33,0) c |  4 |    104 |     284187 |      27300 |   580539 |    11160 |     3897 |    23602 |      311 |      164 |  20 |  0.025 |
898.14/513.61	c (33,0) c |  5 |    100 |     274523 |      28086 |   666173 |    11905 |     3933 |    24035 |      260 |      164 |  20 |  0.025 |
898.14/513.61	c (33,0) c |  6 |     97 |     294304 |      25994 |   563434 |     9891 |     3501 |    20485 |      227 |      150 |  20 |  0.025 |
898.14/513.61	c (33,0) c |  7 |     95 |     320661 |      27655 |   667790 |    11501 |     3683 |    24148 |      332 |      164 |  20 |  0.025 |
898.14/513.61	c (33,0) c 
898.14/513.61	c (33,0) c synthesis      217800 conflicts   643019251 propagations      960 conflicts/sec  2834927 propagations/sec
898.14/513.61	c (33,0) c real: 33.1486 s, cpu: 226.82 s, memory: 4052.70 Mb
1037.65/533.02	c (52,0) c
1037.65/533.02	c (52,0) c real time : 52.5601 s
1037.65/533.02	c (52,0) c cpu time  : 365.624 s
1037.65/533.02	c (52,0) c
1037.65/533.02	c (52,0) c
1037.65/533.02	c (52,0) c
1037.65/533.02	c (52,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1037.65/533.02	c (52,0) c
1037.65/533.02	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.02	c (52,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1037.65/533.02	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.02	c (52,0) c | Conflicts     |          361468 |      44837 |      46906 |      45433 |      44155 |      44720 |      45405 |      46107 |      43905 |
1037.65/533.02	c (52,0) c | Decisions     |         3633424 |     454721 |     456826 |     463562 |     471502 |     407152 |     417408 |     484701 |     477552 |
1037.65/533.02	c (52,0) c | Propagations  |      1059646263 |  132256930 |  129260141 |  134427029 |  133053523 |  130902207 |  131553828 |  132131035 |  136061570 |
1037.65/533.02	c (52,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1037.65/533.02	c (52,0) c | SimpDBs       |              60 |          8 |          7 |          8 |          8 |          7 |          8 |          7 |          7 |
1037.65/533.02	c (52,0) c | Restarts      |            1234 |        145 |        162 |        148 |        156 |        153 |        150 |        160 |        160 |
1037.65/533.02	c (52,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1037.65/533.02	c (52,0) c | PropBinClauses|       992217848 |  123590255 |  120727465 |  124837298 |  124673898 |  124705181 |  123761742 |  122992985 |  126929024 |
1037.65/533.02	c (52,0) c | PropPreBlocker|      5647673745 |  700586685 |  692435428 |  715946984 |  705301466 |  708772715 |  701172437 |  704118872 |  719339158 |
1037.65/533.02	c (52,0) c | PropNotBlocker|      2097194282 |  265270315 |  259929840 |  265904133 |  258349525 |  259092688 |  260889617 |  260201691 |  267556473 |
1037.65/533.02	c (52,0) c | LitFullScans  |     12615006245 | 1573081317 | 1573907923 | 1578730619 | 1589817210 | 1573522303 | 1580142913 | 1572417479 | 1573386481 |
1037.65/533.02	c (52,0) c | LitScanFracts |         9834730 |    1052715 |    1888695 |     726175 |    1288546 |     667904 |    2462193 |     392117 |    1356385 |
1037.65/533.02	c (52,0) c | DecisionLevel0|            1274 |        148 |        167 |        157 |        163 |        157 |        153 |        164 |        165 |
1037.65/533.02	c (52,0) c | Periods       |            2099 |        262 |        262 |        263 |        264 |        262 |        262 |        262 |        262 |
1037.65/533.02	c (52,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1037.65/533.02	c (52,0) c | Avg_Trail     |                 |     110495 |     115930 |     118934 |     129909 |     130918 |     121068 |     113547 |     118874 |
1037.65/533.02	c (52,0) c | Avg_DL        |                 |        324 |        426 |        404 |        457 |        388 |        355 |        419 |        385 |
1037.65/533.02	c (52,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1037.65/533.02	c (52,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1037.65/533.02	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.02	c (52,0) c | Exported      |           51716 |       6500 |       6669 |       6819 |       6346 |       6452 |       6455 |       6492 |       5983 |
1037.65/533.02	c (52,0) c | Imported      |          324522 |      40491 |      40298 |      40498 |      41463 |      38032 |      40961 |      40996 |      41783 |
1037.65/533.02	c (52,0) c | Good          |           87348 |      10837 |      10906 |      10739 |      11052 |      10465 |      11073 |      11179 |      11097 |
1037.65/533.02	c (52,0) c | Purge         |          237174 |      29654 |      29392 |      29759 |      30411 |      27567 |      29888 |      29817 |      30686 |
1037.65/533.02	c (52,0) c | Promoted      |            4465 |        574 |        539 |        517 |        562 |        584 |        530 |        593 |        566 |
1037.65/533.02	c (52,0) c | Remove_Imp    |           94312 |      10952 |      10664 |      11104 |      12587 |      12572 |      11580 |      11580 |      13273 |
1037.65/533.02	c (52,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1037.65/533.02	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.02	c (52,0) c | Unaries       |                 |          3 |          5 |          9 |          7 |          4 |          3 |          4 |          5 |
1037.65/533.02	c (52,0) c | Binaries      |                 |       1776 |       1722 |       1984 |       1713 |       1629 |       1626 |       1567 |       1730 |
1037.65/533.02	c (52,0) c | Glues         |                 |       2990 |       2937 |       3282 |       2969 |       2737 |       2893 |       2854 |       2946 |
1037.65/533.02	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.02	c (52,0) c | Orig_Seen     |            17 % |     829005 |     964303 |     910040 |     900487 |     808297 |     928567 |     851851 |     911387 |
1037.65/533.02	c (52,0) c | Diff Orig seen|                 |      20708 |     156006 |     101743 |      92190 |      X     |     120270 |      43554 |     103090 |
1037.65/533.02	c (52,0) c | Hamming       |            10 % |      44645 |      49732 |      53083 |      47649 |      X     |      48444 |      48126 |      50103 |
1037.65/533.02	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.02	c (52,0) c | RunningTime   |                 |   48.6 100%|   47.3 100%|   46.4 100%|   45.5  97%|   44.8  96%|   45.2  97%|   47.8 100%|   45.9  98%|
1037.65/533.02	c (52,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.1   0%|    1.3   3%|    1.6   3%|    1.2   3%|    0.0   0%|    0.8   2%|
1037.65/533.02	c (52,0) c | ExchangingTime|                 |    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|
1037.65/533.02	c (52,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1037.65/533.02	c (52,0) c | SolvingTime   |                 |   48.7     |   47.4     |   46.6     |   46.8     |   46.5     |   46.5     |   47.8     |   46.8     |
1037.65/533.02	c (52,0) c | PropagationTim|                 |   40.9  84%|   39.3  83%|   39.1  84%|   38.2  82%|   38.3  82%|   38.6  83%|   39.5  83%|   39.0  83%|
1037.65/533.02	c (52,0) c | AnalysisTime  |                 |    3.1   6%|    3.4   7%|    2.9   6%|    3.2   7%|    3.4   7%|    3.1   7%|    3.4   7%|    2.8   6%|
1037.65/533.02	c (52,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1037.65/533.02	c (52,0) c | SimplifyTime  |                 |    0.7   1%|    0.6   1%|    0.8   2%|    1.3   3%|    1.1   2%|    0.8   2%|    0.6   1%|    0.6   1%|
1037.65/533.02	c (52,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1037.65/533.02	c (52,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1037.65/533.02	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.02	c (52,0) c
1037.65/533.02	c (52,0) c
1037.65/533.02	c (52,0) c Threads : 8
1037.65/533.02	c (52,0) c Winner : 4
1037.65/533.02	c (52,0) c Conflicts_0 : 44837
1037.65/533.02	c (52,0) c Conflicts_1 : 46906
1037.65/533.02	c (52,0) c Conflicts_2 : 45433
1037.65/533.02	c (52,0) c Conflicts_3 : 44155
1037.65/533.02	c (52,0) c Conflicts_4 : 44720
1037.65/533.02	c (52,0) c Conflicts_5 : 45405
1037.65/533.02	c (52,0) c Conflicts_6 : 46107
1037.65/533.02	c (52,0) c Conflicts_7 : 43905
1037.65/533.02	c (52,0) c Conflicts_total : 361468
1037.65/533.02	c (52,0) c Conflicts_winner : 44720
1037.65/533.02	c (52,0) c Decisions_0 : 454721
1037.65/533.02	c (52,0) c Decisions_1 : 456826
1037.65/533.02	c (52,0) c Decisions_2 : 463562
1037.65/533.02	c (52,0) c Decisions_3 : 471502
1037.65/533.02	c (52,0) c Decisions_4 : 407152
1037.65/533.02	c (52,0) c Decisions_5 : 417408
1037.65/533.02	c (52,0) c Decisions_6 : 484701
1037.65/533.02	c (52,0) c Decisions_7 : 477552
1037.65/533.02	c (52,0) c Decisions_total : 3633424
1037.65/533.02	c (52,0) c Decisions_winner : 407152
1037.65/533.02	c (52,0) c Propagations_0 : 132256930
1037.65/533.02	c (52,0) c Propagations_1 : 129260141
1037.65/533.02	c (52,0) c Propagations_2 : 134427029
1037.65/533.02	c (52,0) c Propagations_3 : 133053523
1037.65/533.02	c (52,0) c Propagations_4 : 130902207
1037.65/533.02	c (52,0) c Propagations_5 : 131553828
1037.65/533.02	c (52,0) c Propagations_6 : 132131035
1037.65/533.02	c (52,0) c Propagations_7 : 136061570
1037.65/533.02	c (52,0) c Propagations_total : 1059646263
1037.65/533.02	c (52,0) c Propagations_winner : 130902207
1037.65/533.02	c (52,0) c ReduceDBs_0 : 5
1037.65/533.02	c (52,0) c ReduceDBs_1 : 5
1037.65/533.02	c (52,0) c ReduceDBs_2 : 5
1037.65/533.02	c (52,0) c ReduceDBs_3 : 5
1037.65/533.02	c (52,0) c ReduceDBs_4 : 5
1037.65/533.02	c (52,0) c ReduceDBs_5 : 5
1037.65/533.02	c (52,0) c ReduceDBs_6 : 5
1037.65/533.02	c (52,0) c ReduceDBs_7 : 5
1037.65/533.02	c (52,0) c ReduceDBs_total : 40
1037.65/533.02	c (52,0) c ReduceDBs_winner : 5
1037.65/533.02	c (52,0) c SimpDBs_0 : 8
1037.65/533.02	c (52,0) c SimpDBs_1 : 7
1037.65/533.02	c (52,0) c SimpDBs_2 : 8
1037.65/533.02	c (52,0) c SimpDBs_3 : 8
1037.65/533.02	c (52,0) c SimpDBs_4 : 7
1037.65/533.02	c (52,0) c SimpDBs_5 : 8
1037.65/533.02	c (52,0) c SimpDBs_6 : 7
1037.65/533.02	c (52,0) c SimpDBs_7 : 7
1037.65/533.02	c (52,0) c SimpDBs_total : 60
1037.65/533.02	c (52,0) c SimpDBs_winner : 7
1037.65/533.02	c (52,0) c Restarts_0 : 145
1037.65/533.02	c (52,0) c Restarts_1 : 162
1037.65/533.02	c (52,0) c Restarts_2 : 148
1037.65/533.02	c (52,0) c Restarts_3 : 156
1037.65/533.02	c (52,0) c Restarts_4 : 153
1037.65/533.02	c (52,0) c Restarts_5 : 150
1037.65/533.02	c (52,0) c Restarts_6 : 160
1037.65/533.02	c (52,0) c Restarts_7 : 160
1037.65/533.02	c (52,0) c Restarts_total : 1234
1037.65/533.02	c (52,0) c Restarts_winner : 153
1037.65/533.02	c (52,0) c ForcedImports_0 : 0
1037.65/533.02	c (52,0) c ForcedImports_1 : 0
1037.65/533.02	c (52,0) c ForcedImports_2 : 0
1037.65/533.02	c (52,0) c ForcedImports_3 : 0
1037.65/533.02	c (52,0) c ForcedImports_4 : 0
1037.65/533.02	c (52,0) c ForcedImports_5 : 0
1037.65/533.02	c (52,0) c ForcedImports_6 : 0
1037.65/533.02	c (52,0) c ForcedImports_7 : 0
1037.65/533.02	c (52,0) c ForcedImports_total : 0
1037.65/533.02	c (52,0) c ForcedImports_winner : 0
1037.65/533.02	c (52,0) c PropsBinClauses_0 : 123590255
1037.65/533.02	c (52,0) c PropsBinClauses_1 : 120727465
1037.65/533.02	c (52,0) c PropsBinClauses_2 : 124837298
1037.65/533.02	c (52,0) c PropsBinClauses_3 : 124673898
1037.65/533.02	c (52,0) c PropsBinClauses_4 : 124705181
1037.65/533.02	c (52,0) c PropsBinClauses_5 : 123761742
1037.65/533.02	c (52,0) c PropsBinClauses_6 : 122992985
1037.65/533.02	c (52,0) c PropsBinClauses_7 : 126929024
1037.65/533.02	c (52,0) c PropsBinClauses_total : 992217848
1037.65/533.02	c (52,0) c PropsBinClauses_winner : 124705181
1037.65/533.02	c (52,0) c PropsPreBlocker_0 : 700586685
1037.65/533.02	c (52,0) c PropsPreBlocker_1 : 692435428
1037.65/533.02	c (52,0) c PropsPreBlocker_2 : 715946984
1037.65/533.02	c (52,0) c PropsPreBlocker_3 : 705301466
1037.65/533.02	c (52,0) c PropsPreBlocker_4 : 708772715
1037.65/533.02	c (52,0) c PropsPreBlocker_5 : 701172437
1037.65/533.02	c (52,0) c PropsPreBlocker_6 : 704118872
1037.65/533.02	c (52,0) c PropsPreBlocker_7 : 719339158
1037.65/533.02	c (52,0) c PropsPreBlocker_total : 5647673745
1037.65/533.02	c (52,0) c PropsPreBlocker_winner : 708772715
1037.65/533.02	c (52,0) c PropsNotBlocker_0 : 265270315
1037.65/533.02	c (52,0) c PropsNotBlocker_1 : 259929840
1037.65/533.02	c (52,0) c PropsNotBlocker_2 : 265904133
1037.65/533.02	c (52,0) c PropsNotBlocker_3 : 258349525
1037.65/533.02	c (52,0) c PropsNotBlocker_4 : 259092688
1037.65/533.02	c (52,0) c PropsNotBlocker_5 : 260889617
1037.65/533.02	c (52,0) c PropsNotBlocker_6 : 260201691
1037.65/533.02	c (52,0) c PropsNotBlocker_7 : 267556473
1037.65/533.02	c (52,0) c PropsNotBlocker_total : 2097194282
1037.65/533.02	c (52,0) c PropsNotBlocker_winner : 259092688
1037.65/533.02	c (52,0) c PropsLitFullScans_0 : 1573081317
1037.65/533.02	c (52,0) c PropsLitFullScans_1 : 1573907923
1037.65/533.02	c (52,0) c PropsLitFullScans_2 : 1578730619
1037.65/533.02	c (52,0) c PropsLitFullScans_3 : 1589817210
1037.65/533.02	c (52,0) c PropsLitFullScans_4 : 1573522303
1037.65/533.02	c (52,0) c PropsLitFullScans_5 : 1580142913
1037.65/533.02	c (52,0) c PropsLitFullScans_6 : 1572417479
1037.65/533.02	c (52,0) c PropsLitFullScans_7 : 1573386481
1037.65/533.02	c (52,0) c PropsLitFullScans_total : 12615006245
1037.65/533.02	c (52,0) c PropsLitFullScans_winner : 1573522303
1037.65/533.02	c (52,0) c LitScanFractions_0 : 1052715
1037.65/533.02	c (52,0) c LitScanFractions_1 : 1888695
1037.65/533.02	c (52,0) c LitScanFractions_2 : 726175
1037.65/533.02	c (52,0) c LitScanFractions_3 : 1288546
1037.65/533.02	c (52,0) c LitScanFractions_4 : 667904
1037.65/533.02	c (52,0) c LitScanFractions_5 : 2462193
1037.65/533.02	c (52,0) c LitScanFractions_6 : 392117
1037.65/533.02	c (52,0) c LitScanFractions_7 : 1356385
1037.65/533.02	c (52,0) c LitScanFractions_total : 9834730
1037.65/533.02	c (52,0) c LitScanFractions_winner : 667904
1037.65/533.02	c (52,0) c DecisionLevel0_0 : 148
1037.65/533.02	c (52,0) c DecisionLevel0_1 : 167
1037.65/533.02	c (52,0) c DecisionLevel0_2 : 157
1037.65/533.02	c (52,0) c DecisionLevel0_3 : 163
1037.65/533.02	c (52,0) c DecisionLevel0_4 : 157
1037.65/533.02	c (52,0) c DecisionLevel0_5 : 153
1037.65/533.02	c (52,0) c DecisionLevel0_6 : 164
1037.65/533.02	c (52,0) c DecisionLevel0_7 : 165
1037.65/533.02	c (52,0) c DecisionLevel0_total : 1274
1037.65/533.02	c (52,0) c DecisionLevel0_winner : 157
1037.65/533.02	c (52,0) c Periods_0 : 262
1037.65/533.02	c (52,0) c Periods_1 : 262
1037.65/533.02	c (52,0) c Periods_2 : 263
1037.65/533.02	c (52,0) c Periods_3 : 264
1037.65/533.02	c (52,0) c Periods_4 : 262
1037.65/533.02	c (52,0) c Periods_5 : 262
1037.65/533.03	c (52,0) c Periods_6 : 262
1037.65/533.03	c (52,0) c Periods_7 : 262
1037.65/533.03	c (52,0) c Periods_total : 2099
1037.65/533.03	c (52,0) c Periods_winner : 262
1037.65/533.03	c (52,0) c Margin_0 : 20
1037.65/533.03	c (52,0) c Margin_1 : 20
1037.65/533.03	c (52,0) c Margin_2 : 20
1037.65/533.03	c (52,0) c Margin_3 : 20
1037.65/533.03	c (52,0) c Margin_4 : 20
1037.65/533.03	c (52,0) c Margin_5 : 20
1037.65/533.03	c (52,0) c Margin_6 : 20
1037.65/533.03	c (52,0) c Margin_7 : 20
1037.65/533.03	c (52,0) c Margin_total : 160
1037.65/533.03	c (52,0) c Margin_winner : 20
1037.65/533.03	c (52,0) c Exported_0 : 6500
1037.65/533.03	c (52,0) c Exported_1 : 6669
1037.65/533.03	c (52,0) c Exported_2 : 6819
1037.65/533.03	c (52,0) c Exported_3 : 6346
1037.65/533.03	c (52,0) c Exported_4 : 6452
1037.65/533.03	c (52,0) c Exported_5 : 6455
1037.65/533.03	c (52,0) c Exported_6 : 6492
1037.65/533.03	c (52,0) c Exported_7 : 5983
1037.65/533.03	c (52,0) c Exported_total : 51716
1037.65/533.03	c (52,0) c Exported_winner : 6452
1037.65/533.03	c (52,0) c Imported_0 : 40491
1037.65/533.03	c (52,0) c Imported_1 : 40298
1037.65/533.03	c (52,0) c Imported_2 : 40498
1037.65/533.03	c (52,0) c Imported_3 : 41463
1037.65/533.03	c (52,0) c Imported_4 : 38032
1037.65/533.03	c (52,0) c Imported_5 : 40961
1037.65/533.03	c (52,0) c Imported_6 : 40996
1037.65/533.03	c (52,0) c Imported_7 : 41783
1037.65/533.03	c (52,0) c Imported_total : 324522
1037.65/533.03	c (52,0) c Imported_winner : 38032
1037.65/533.03	c (52,0) c Good_0 : 10837
1037.65/533.03	c (52,0) c Good_1 : 10906
1037.65/533.03	c (52,0) c Good_2 : 10739
1037.65/533.03	c (52,0) c Good_3 : 11052
1037.65/533.03	c (52,0) c Good_4 : 10465
1037.65/533.03	c (52,0) c Good_5 : 11073
1037.65/533.03	c (52,0) c Good_6 : 11179
1037.65/533.03	c (52,0) c Good_7 : 11097
1037.65/533.03	c (52,0) c Good_total : 87348
1037.65/533.03	c (52,0) c Good_winner : 10465
1037.65/533.03	c (52,0) c Purge_0 : 29654
1037.65/533.03	c (52,0) c Purge_1 : 29392
1037.65/533.03	c (52,0) c Purge_2 : 29759
1037.65/533.03	c (52,0) c Purge_3 : 30411
1037.65/533.03	c (52,0) c Purge_4 : 27567
1037.65/533.03	c (52,0) c Purge_5 : 29888
1037.65/533.03	c (52,0) c Purge_6 : 29817
1037.65/533.03	c (52,0) c Purge_7 : 30686
1037.65/533.03	c (52,0) c Purge_total : 237174
1037.65/533.03	c (52,0) c Purge_winner : 27567
1037.65/533.03	c (52,0) c Promoted_0 : 574
1037.65/533.03	c (52,0) c Promoted_1 : 539
1037.65/533.03	c (52,0) c Promoted_2 : 517
1037.65/533.03	c (52,0) c Promoted_3 : 562
1037.65/533.03	c (52,0) c Promoted_4 : 584
1037.65/533.03	c (52,0) c Promoted_5 : 530
1037.65/533.03	c (52,0) c Promoted_6 : 593
1037.65/533.03	c (52,0) c Promoted_7 : 566
1037.65/533.03	c (52,0) c Promoted_total : 4465
1037.65/533.03	c (52,0) c Promoted_winner : 584
1037.65/533.03	c (52,0) c Remove_Imp_0 : 10952
1037.65/533.03	c (52,0) c Remove_Imp_1 : 10664
1037.65/533.03	c (52,0) c Remove_Imp_2 : 11104
1037.65/533.03	c (52,0) c Remove_Imp_3 : 12587
1037.65/533.03	c (52,0) c Remove_Imp_4 : 12572
1037.65/533.03	c (52,0) c Remove_Imp_5 : 11580
1037.65/533.03	c (52,0) c Remove_Imp_6 : 11580
1037.65/533.03	c (52,0) c Remove_Imp_7 : 13273
1037.65/533.03	c (52,0) c Remove_Imp_total : 94312
1037.65/533.03	c (52,0) c Remove_Imp_winner : 12572
1037.65/533.03	c (52,0) c Blocked_Reuse_0 : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_1 : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_2 : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_3 : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_4 : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_5 : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_6 : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_7 : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_total : 0
1037.65/533.03	c (52,0) c Blocked_Reuse_winner : 0
1037.65/533.03	c (52,0) c Unaries_0 : 3
1037.65/533.03	c (52,0) c Unaries_1 : 5
1037.65/533.03	c (52,0) c Unaries_2 : 9
1037.65/533.03	c (52,0) c Unaries_3 : 7
1037.65/533.03	c (52,0) c Unaries_4 : 4
1037.65/533.03	c (52,0) c Unaries_5 : 3
1037.65/533.03	c (52,0) c Unaries_6 : 4
1037.65/533.03	c (52,0) c Unaries_7 : 5
1037.65/533.03	c (52,0) c Unaries_total : 40
1037.65/533.03	c (52,0) c Unaries_winner : 4
1037.65/533.03	c (52,0) c Binaries_0 : 1776
1037.65/533.03	c (52,0) c Binaries_1 : 1722
1037.65/533.03	c (52,0) c Binaries_2 : 1984
1037.65/533.03	c (52,0) c Binaries_3 : 1713
1037.65/533.03	c (52,0) c Binaries_4 : 1629
1037.65/533.03	c (52,0) c Binaries_5 : 1626
1037.65/533.03	c (52,0) c Binaries_6 : 1567
1037.65/533.03	c (52,0) c Binaries_7 : 1730
1037.65/533.03	c (52,0) c Binaries_total : 13747
1037.65/533.03	c (52,0) c Binaries_winner : 1629
1037.65/533.03	c (52,0) c Glues_0 : 2990
1037.65/533.03	c (52,0) c Glues_1 : 2937
1037.65/533.03	c (52,0) c Glues_2 : 3282
1037.65/533.03	c (52,0) c Glues_3 : 2969
1037.65/533.03	c (52,0) c Glues_4 : 2737
1037.65/533.03	c (52,0) c Glues_5 : 2893
1037.65/533.03	c (52,0) c Glues_6 : 2854
1037.65/533.03	c (52,0) c Glues_7 : 2946
1037.65/533.03	c (52,0) c Glues_total : 23608
1037.65/533.03	c (52,0) c Glues_winner : 2737
1037.65/533.03	c (52,0) c RunningTime_0 : 48.597452
1037.65/533.03	c (52,0) c RunningTime_1 : 47.334602
1037.65/533.03	c (52,0) c RunningTime_2 : 46.391808
1037.65/533.03	c (52,0) c RunningTime_3 : 45.455295
1037.65/533.03	c (52,0) c RunningTime_4 : 44.800959
1037.65/533.03	c (52,0) c RunningTime_5 : 45.174612
1037.65/533.03	c (52,0) c RunningTime_6 : 47.766172
1037.65/533.03	c (52,0) c RunningTime_7 : 45.942251
1037.65/533.03	c (52,0) c RunningTime_total : 371.463151
1037.65/533.03	c (52,0) c RunningTime_winner : 44.800959
1037.65/533.03	c (52,0) c WaitingTime_0 : 0.000319
1037.65/533.03	c (52,0) c WaitingTime_1 : 0.000468
1037.65/533.03	c (52,0) c WaitingTime_2 : 0.141396
1037.65/533.03	c (52,0) c WaitingTime_3 : 1.263387
1037.65/533.03	c (52,0) c WaitingTime_4 : 1.621301
1037.65/533.03	c (52,0) c WaitingTime_5 : 1.247574
1037.65/533.03	c (52,0) c WaitingTime_6 : 0.000484
1037.65/533.03	c (52,0) c WaitingTime_7 : 0.832834
1037.65/533.03	c (52,0) c WaitingTime_total : 5.107761
1037.65/533.03	c (52,0) c WaitingTime_winner : 1.621301
1037.65/533.03	c (52,0) c ExchangingTime_0 : 0.052889
1037.65/533.03	c (52,0) c ExchangingTime_1 : 0.049293
1037.65/533.03	c (52,0) c ExchangingTime_2 : 0.050530
1037.65/533.03	c (52,0) c ExchangingTime_3 : 0.045035
1037.65/533.03	c (52,0) c ExchangingTime_4 : 0.041240
1037.65/533.03	c (52,0) c ExchangingTime_5 : 0.049397
1037.65/533.03	c (52,0) c ExchangingTime_6 : 0.052057
1037.65/533.03	c (52,0) c ExchangingTime_7 : 0.048780
1037.65/533.03	c (52,0) c ExchangingTime_total : 0.389222
1037.65/533.03	c (52,0) c ExchangingTime_winner : 0.041240
1037.65/533.03	c (52,0) c PeriodProcTime_0 : 0.003216
1037.65/533.03	c (52,0) c PeriodProcTime_1 : 0.002585
1037.65/533.03	c (52,0) c PeriodProcTime_2 : 0.002586
1037.65/533.03	c (52,0) c PeriodProcTime_3 : 0.002487
1037.65/533.03	c (52,0) c PeriodProcTime_4 : 0.002503
1037.65/533.03	c (52,0) c PeriodProcTime_5 : 0.002534
1037.65/533.03	c (52,0) c PeriodProcTime_6 : 0.002828
1037.65/533.03	c (52,0) c PeriodProcTime_7 : 0.002491
1037.65/533.03	c (52,0) c PeriodProcTime_total : 0.021230
1037.65/533.03	c (52,0) c PeriodProcTime_winner : 0.002503
1037.65/533.03	c (52,0) c SolvingTime_0 : 48.653877
1037.65/533.03	c (52,0) c SolvingTime_1 : 47.386947
1037.65/533.03	c (52,0) c SolvingTime_2 : 46.586319
1037.65/533.03	c (52,0) c SolvingTime_3 : 46.766204
1037.65/533.03	c (52,0) c SolvingTime_4 : 46.466004
1037.65/533.03	c (52,0) c SolvingTime_5 : 46.474116
1037.65/533.03	c (52,0) c SolvingTime_6 : 47.821541
1037.65/533.03	c (52,0) c SolvingTime_7 : 46.826356
1037.65/533.03	c (52,0) c SolvingTime_total : 376.981364
1037.65/533.03	c (52,0) c SolvingTime_winner : 46.466004
1037.65/533.03	c (52,0) c PropagationTime_0 : 40.853151
1037.65/533.03	c (52,0) c PropagationTime_1 : 39.327033
1037.65/533.03	c (52,0) c PropagationTime_2 : 39.131548
1037.65/533.03	c (52,0) c PropagationTime_3 : 38.178499
1037.65/533.03	c (52,0) c PropagationTime_4 : 38.278453
1037.65/533.03	c (52,0) c PropagationTime_5 : 38.621939
1037.65/533.03	c (52,0) c PropagationTime_6 : 39.458473
1037.65/533.03	c (52,0) c PropagationTime_7 : 38.985855
1037.65/533.03	c (52,0) c PropagationTime_total : 312.834952
1037.65/533.03	c (52,0) c PropagationTime_winner : 38.278453
1037.65/533.03	c (52,0) c AnalysisTime_0 : 3.058572
1037.65/533.03	c (52,0) c AnalysisTime_1 : 3.403624
1037.65/533.03	c (52,0) c AnalysisTime_2 : 2.881250
1037.65/533.03	c (52,0) c AnalysisTime_3 : 3.178176
1037.65/533.03	c (52,0) c AnalysisTime_4 : 3.353643
1037.65/533.03	c (52,0) c AnalysisTime_5 : 3.102601
1037.65/533.03	c (52,0) c AnalysisTime_6 : 3.362531
1037.65/533.03	c (52,0) c AnalysisTime_7 : 2.843212
1037.65/533.03	c (52,0) c AnalysisTime_total : 25.183609
1037.65/533.03	c (52,0) c AnalysisTime_winner : 3.353643
1037.65/533.03	c (52,0) c ReductionTime_0 : 0.022335
1037.65/533.03	c (52,0) c ReductionTime_1 : 0.025524
1037.65/533.03	c (52,0) c ReductionTime_2 : 0.025027
1037.65/533.03	c (52,0) c ReductionTime_3 : 0.022267
1037.65/533.03	c (52,0) c ReductionTime_4 : 0.023209
1037.65/533.03	c (52,0) c ReductionTime_5 : 0.025133
1037.65/533.03	c (52,0) c ReductionTime_6 : 0.028627
1037.65/533.03	c (52,0) c ReductionTime_7 : 0.022145
1037.65/533.03	c (52,0) c ReductionTime_total : 0.194267
1037.65/533.03	c (52,0) c ReductionTime_winner : 0.023209
1037.65/533.03	c (52,0) c SimplifyTime_0 : 0.723173
1037.65/533.03	c (52,0) c SimplifyTime_1 : 0.617095
1037.65/533.03	c (52,0) c SimplifyTime_2 : 0.762341
1037.65/533.03	c (52,0) c SimplifyTime_3 : 1.291579
1037.65/533.03	c (52,0) c SimplifyTime_4 : 1.073334
1037.65/533.03	c (52,0) c SimplifyTime_5 : 0.790089
1037.65/533.03	c (52,0) c SimplifyTime_6 : 0.619253
1037.65/533.03	c (52,0) c SimplifyTime_7 : 0.637400
1037.65/533.03	c (52,0) c SimplifyTime_total : 6.514265
1037.65/533.03	c (52,0) c SimplifyTime_winner : 1.073334
1037.65/533.03	c (52,0) c UsedRateTime_0 : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_1 : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_2 : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_3 : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_4 : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_5 : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_6 : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_7 : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_total : 0.000000
1037.65/533.03	c (52,0) c UsedRateTime_winner : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_0 : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_1 : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_2 : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_3 : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_4 : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_5 : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_6 : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_7 : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_total : 0.000000
1037.65/533.03	c (52,0) c OverlapRateTime_winner : 0.000000
1037.65/533.03	c (52,0) c
1037.65/533.03	c (52,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1037.65/533.03	c (52,0) c
1037.65/533.03	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.03	c (52,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1037.65/533.03	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.03	c (52,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1037.65/533.03	c (52,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1037.65/533.03	c (52,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1037.65/533.03	c (52,0) c | Initial random_seed   |  927083982 | 1020780465 | 1438416626 |  232045557 | 1373525524 | 1758477920 | 1987434788 | 1633136582 |
1037.65/533.03	c (52,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1037.65/533.03	c (52,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1037.65/533.03	c (52,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1037.65/533.03	c (52,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1037.65/533.03	c (52,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1037.65/533.03	c (52,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1037.65/533.03	c (52,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1037.65/533.03	c (52,0) c | var_decay             |     0.8800 |     0.8900 |     0.8900 |     0.8800 |     0.8800 |     0.8900 |     0.8900 |     0.8800 |
1037.65/533.03	c (52,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1037.65/533.03	c (52,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1037.65/533.03	c (52,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1037.65/533.03	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.65/533.03	c (52,0) 
1037.65/533.03	c (52,0) s SATISFIABLE
665.76/533.32	c (53,0) SatSolver.solve End
665.76/533.32	c (53,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
665.76/533.32	c (53,0) Show results Begin
1038.62/533.47	c (53,0) x[0][0] = 0
1038.62/533.47	c (53,0) x[0][1] = 12
1038.62/533.47	c (53,0) x[0][2] = 1
1038.62/533.47	c (53,0) x[0][3] = 17
1038.62/533.47	c (53,0) x[0][4] = 0
1038.62/533.47	c (53,0) x[0][5] = 18
1038.62/533.47	c (53,0) x[0][7] = 0
1038.62/533.47	c (53,0) x[0][8] = 2
1038.62/533.47	c (53,0) x[0][9] = 17
1038.62/533.47	c (53,0) x[0][10] = 0
1038.62/533.47	c (53,0) x[0][11] = 8
1038.62/533.47	c (53,0) x[0][12] = 18
1038.62/533.47	c (53,0) x[0][13] = 4
1038.62/533.47	c (53,0) x[0][15] = 2
1038.62/533.47	c (53,0) x[0][16] = 11
1038.62/533.47	c (53,0) x[0][17] = 8
1038.62/533.47	c (53,0) x[0][18] = 6
1038.62/533.47	c (53,0) x[0][19] = 13
1038.62/533.47	c (53,0) x[0][20] = 0
1038.62/533.47	c (53,0) x[1][0] = 19
1038.62/533.47	c (53,0) x[1][1] = 0
1038.62/533.47	c (53,0) x[1][2] = 17
1038.62/533.47	c (53,0) x[1][3] = 0
1038.62/533.47	c (53,0) x[1][4] = 12
1038.62/533.47	c (53,0) x[1][5] = 0
1038.62/533.47	c (53,0) x[1][7] = 21
1038.62/533.47	c (53,0) x[1][8] = 14
1038.62/533.47	c (53,0) x[1][9] = 20
1038.62/533.47	c (53,0) x[1][10] = 11
1038.62/533.47	c (53,0) x[1][11] = 14
1038.62/533.47	c (53,0) x[1][12] = 8
1038.62/533.47	c (53,0) x[1][13] = 17
1038.62/533.47	c (53,0) x[1][15] = 7
1038.62/533.47	c (53,0) x[1][16] = 0
1038.62/533.47	c (53,0) x[1][17] = 11
1038.62/533.47	c (53,0) x[1][18] = 11
1038.62/533.47	c (53,0) x[1][19] = 4
1038.62/533.47	c (53,0) x[1][20] = 18
1038.62/533.47	c (53,0) x[2][0] = 19
1038.62/533.47	c (53,0) x[2][1] = 17
1038.62/533.47	c (53,0) x[2][2] = 8
1038.62/533.47	c (53,0) x[2][3] = 2
1038.62/533.47	c (53,0) x[2][4] = 14
1038.62/533.47	c (53,0) x[2][5] = 19
1038.62/533.47	c (53,0) x[2][7] = 14
1038.62/533.47	c (53,0) x[2][8] = 17
1038.62/533.47	c (53,0) x[2][9] = 8
1038.62/533.47	c (53,0) x[2][10] = 4
1038.62/533.47	c (53,0) x[2][11] = 13
1038.62/533.47	c (53,0) x[2][12] = 19
1038.62/533.47	c (53,0) x[2][13] = 18
1038.62/533.47	c (53,0) x[2][15] = 14
1038.62/533.47	c (53,0) x[2][16] = 2
1038.62/533.47	c (53,0) x[2][17] = 4
1038.62/533.47	c (53,0) x[2][18] = 0
1038.62/533.47	c (53,0) x[2][19] = 13
1038.62/533.47	c (53,0) x[2][20] = 18
1038.62/533.47	c (53,0) x[3][0] = 8
1038.62/533.47	c (53,0) x[3][1] = 11
1038.62/533.47	c (53,0) x[3][2] = 18
1038.62/533.47	c (53,0) x[3][4] = 10
1038.62/533.47	c (53,0) x[3][5] = 8
1038.62/533.47	c (53,0) x[3][6] = 5
1038.62/533.47	c (53,0) x[3][7] = 8
1038.62/533.47	c (53,0) x[3][8] = 14
1038.62/533.47	c (53,0) x[3][9] = 13
1038.62/533.47	c (53,0) x[3][10] = 18
1038.62/533.47	c (53,0) x[3][12] = 2
1038.62/533.47	c (53,0) x[3][13] = 4
1038.62/533.47	c (53,0) x[3][14] = 20
1038.62/533.48	c (53,0) x[3][15] = 19
1038.62/533.48	c (53,0) x[3][16] = 0
1038.62/533.48	c (53,0) x[3][18] = 19
1038.62/533.48	c (53,0) x[3][19] = 4
1038.62/533.48	c (53,0) x[3][20] = 4
1038.62/533.48	c (53,0) x[4][0] = 17
1038.62/533.48	c (53,0) x[4][1] = 8
1038.62/533.48	c (53,0) x[4][2] = 4
1038.62/533.48	c (53,0) x[4][3] = 18
1038.62/533.48	c (53,0) x[4][5] = 18
1038.62/533.48	c (53,0) x[4][6] = 0
1038.62/533.48	c (53,0) x[4][7] = 13
1038.62/533.48	c (53,0) x[4][8] = 25
1038.62/533.48	c (53,0) x[4][9] = 0
1038.62/533.48	c (53,0) x[4][11] = 19
1038.62/533.48	c (53,0) x[4][12] = 14
1038.62/533.48	c (53,0) x[4][13] = 0
1038.62/533.48	c (53,0) x[4][14] = 18
1038.62/533.48	c (53,0) x[4][15] = 19
1038.62/533.48	c (53,0) x[4][17] = 12
1038.62/533.48	c (53,0) x[4][18] = 8
1038.62/533.48	c (53,0) x[4][19] = 4
1038.62/533.48	c (53,0) x[4][20] = 13
1038.62/533.48	c (53,0) x[5][0] = 0
1038.62/533.48	c (53,0) x[5][1] = 18
1038.62/533.48	c (53,0) x[5][2] = 17
1038.62/533.48	c (53,0) x[5][3] = 0
1038.62/533.48	c (53,0) x[5][4] = 12
1038.62/533.48	c (53,0) x[5][6] = 19
1038.62/533.48	c (53,0) x[5][7] = 0
1038.62/533.48	c (53,0) x[5][8] = 14
1038.62/533.48	c (53,0) x[5][10] = 17
1038.62/533.48	c (53,0) x[5][11] = 4
1038.62/533.48	c (53,0) x[5][12] = 12
1038.62/533.48	c (53,0) x[5][13] = 20
1038.62/533.48	c (53,0) x[5][14] = 0
1038.62/533.48	c (53,0) x[5][16] = 3
1038.62/533.48	c (53,0) x[5][17] = 0
1038.62/533.48	c (53,0) x[5][18] = 17
1038.62/533.48	c (53,0) x[5][19] = 13
1038.62/533.48	c (53,0) x[5][20] = 4
1038.62/533.48	c (53,0) x[6][3] = 11
1038.62/533.48	c (53,0) x[6][4] = 8
1038.62/533.48	c (53,0) x[6][5] = 13
1038.62/533.48	c (53,0) x[6][9] = 1
1038.62/533.48	c (53,0) x[6][10] = 8
1038.62/533.48	c (53,0) x[6][11] = 15
1038.62/533.48	c (53,0) x[6][15] = 5
1038.62/533.48	c (53,0) x[6][16] = 0
1038.62/533.48	c (53,0) x[6][17] = 19
1038.62/533.48	c (53,0) x[7][0] = 3
1038.62/533.48	c (53,0) x[7][1] = 4
1038.62/533.48	c (53,0) x[7][2] = 2
1038.62/533.48	c (53,0) x[7][3] = 8
1038.62/533.48	c (53,0) x[7][4] = 12
1038.62/533.48	c (53,0) x[7][5] = 14
1038.62/533.48	c (53,0) x[7][7] = 0
1038.62/533.48	c (53,0) x[7][8] = 1
1038.62/533.48	c (53,0) x[7][9] = 17
1038.62/533.48	c (53,0) x[7][10] = 4
1038.62/533.48	c (53,0) x[7][11] = 0
1038.62/533.48	c (53,0) x[7][12] = 6
1038.62/533.48	c (53,0) x[7][13] = 8
1038.62/533.48	c (53,0) x[7][15] = 19
1038.62/533.48	c (53,0) x[7][16] = 7
1038.62/533.48	c (53,0) x[7][17] = 17
1038.62/533.48	c (53,0) x[7][18] = 8
1038.62/533.48	c (53,0) x[7][19] = 15
1038.62/533.48	c (53,0) x[7][20] = 18
1038.62/533.48	c (53,0) x[8][0] = 4
1038.62/533.48	c (53,0) x[8][1] = 17
1038.62/533.48	c (53,0) x[8][2] = 18
1038.62/533.48	c (53,0) x[8][3] = 4
1038.62/533.48	c (53,0) x[8][4] = 0
1038.62/533.48	c (53,0) x[8][5] = 20
1038.62/533.48	c (53,0) x[8][7] = 1
1038.62/533.48	c (53,0) x[8][8] = 17
1038.62/533.48	c (53,0) x[8][9] = 0
1038.62/533.48	c (53,0) x[8][10] = 13
1038.62/533.48	c (53,0) x[8][11] = 11
1038.62/533.48	c (53,0) x[8][12] = 4
1038.62/533.48	c (53,0) x[8][13] = 17
1038.62/533.48	c (53,0) x[8][15] = 15
1038.62/533.48	c (53,0) x[8][16] = 20
1038.62/533.48	c (53,0) x[8][17] = 8
1038.62/533.48	c (53,0) x[8][18] = 18
1038.62/533.48	c (53,0) x[8][19] = 4
1038.62/533.48	c (53,0) x[8][20] = 4
1038.62/533.48	c (53,0) x[9][0] = 11
1038.62/533.48	c (53,0) x[9][1] = 8
1038.62/533.48	c (53,0) x[9][2] = 0
1038.62/533.48	c (53,0) x[9][4] = 18
1038.62/533.48	c (53,0) x[9][5] = 1
1038.62/533.48	c (53,0) x[9][6] = 8
1038.62/533.48	c (53,0) x[9][7] = 17
1038.62/533.48	c (53,0) x[9][8] = 4
1038.62/533.48	c (53,0) x[9][9] = 18
1038.62/533.48	c (53,0) x[9][11] = 4
1038.62/533.48	c (53,0) x[9][12] = 12
1038.62/533.48	c (53,0) x[9][13] = 14
1038.62/533.48	c (53,0) x[9][14] = 20
1038.62/533.48	c (53,0) x[9][16] = 18
1038.62/533.48	c (53,0) x[9][17] = 2
1038.62/533.48	c (53,0) x[9][18] = 14
1038.62/533.48	c (53,0) x[9][19] = 20
1038.62/533.48	c (53,0) x[9][20] = 19
1038.62/533.48	c (53,0) x[10][0] = 0
1038.62/533.48	c (53,0) x[10][1] = 6
1038.62/533.48	c (53,0) x[10][2] = 17
1038.62/533.48	c (53,0) x[10][3] = 0
1038.62/533.48	c (53,0) x[10][5] = 0
1038.62/533.48	c (53,0) x[10][6] = 12
1038.62/533.48	c (53,0) x[10][7] = 4
1038.62/533.48	c (53,0) x[10][8] = 13
1038.62/533.48	c (53,0) x[10][12] = 8
1038.62/533.48	c (53,0) x[10][13] = 13
1038.62/533.48	c (53,0) x[10][14] = 19
1038.62/533.48	c (53,0) x[10][15] = 8
1038.62/533.48	c (53,0) x[10][17] = 0
1038.62/533.48	c (53,0) x[10][18] = 11
1038.62/533.48	c (53,0) x[10][19] = 11
1038.62/533.48	c (53,0) x[10][20] = 0
1038.62/533.48	c (53,0) x[11][0] = 1
1038.62/533.48	c (53,0) x[11][1] = 4
1038.62/533.48	c (53,0) x[11][2] = 3
1038.62/533.48	c (53,0) x[11][3] = 4
1038.62/533.48	c (53,0) x[11][4] = 18
1038.62/533.48	c (53,0) x[11][6] = 2
1038.62/533.48	c (53,0) x[11][7] = 0
1038.62/533.48	c (53,0) x[11][8] = 18
1038.62/533.48	c (53,0) x[11][9] = 7
1038.62/533.48	c (53,0) x[11][11] = 3
1038.62/533.48	c (53,0) x[11][12] = 13
1038.62/533.48	c (53,0) x[11][13] = 8
1038.62/533.48	c (53,0) x[11][14] = 4
1038.62/533.48	c (53,0) x[11][15] = 15
1038.62/533.48	c (53,0) x[11][16] = 17
1038.62/533.48	c (53,0) x[11][18] = 0
1038.62/533.48	c (53,0) x[11][19] = 21
1038.62/533.48	c (53,0) x[11][20] = 2
1038.62/533.48	c (53,0) x[12][0] = 17
1038.62/533.48	c (53,0) x[12][1] = 4
1038.62/533.48	c (53,0) x[12][2] = 0
1038.62/533.48	c (53,0) x[12][3] = 17
1038.62/533.48	c (53,0) x[12][4] = 12
1038.62/533.48	c (53,0) x[12][5] = 0
1038.62/533.48	c (53,0) x[12][7] = 6
1038.62/533.48	c (53,0) x[12][8] = 14
1038.62/533.48	c (53,0) x[12][9] = 4
1038.62/533.48	c (53,0) x[12][10] = 19
1038.62/533.48	c (53,0) x[12][11] = 8
1038.62/533.48	c (53,0) x[12][12] = 4
1038.62/533.48	c (53,0) x[12][13] = 18
1038.62/533.48	c (53,0) x[12][15] = 15
1038.62/533.48	c (53,0) x[12][16] = 4
1038.62/533.48	c (53,0) x[12][17] = 8
1038.62/533.48	c (53,0) x[12][18] = 13
1038.62/533.48	c (53,0) x[12][19] = 4
1038.62/533.48	c (53,0) x[12][20] = 4
1038.62/533.48	c (53,0) x[13][0] = 4
1038.62/533.48	c (53,0) x[13][1] = 18
1038.62/533.48	c (53,0) x[13][2] = 18
1038.62/533.48	c (53,0) x[13][3] = 0
1038.62/533.48	c (53,0) x[13][4] = 8
1038.62/533.48	c (53,0) x[13][5] = 12
1038.62/533.48	c (53,0) x[13][7] = 8
1038.62/533.48	c (53,0) x[13][8] = 11
1038.62/533.48	c (53,0) x[13][9] = 11
1038.62/533.48	c (53,0) x[13][10] = 20
1038.62/533.48	c (53,0) x[13][11] = 19
1038.62/533.48	c (53,0) x[13][12] = 4
1038.62/533.48	c (53,0) x[13][13] = 4
1038.62/533.48	c (53,0) x[13][15] = 14
1038.62/533.48	c (53,0) x[13][16] = 15
1038.62/533.48	c (53,0) x[13][17] = 18
1038.62/533.48	c (53,0) x[13][18] = 8
1038.62/533.48	c (53,0) x[13][19] = 13
1038.62/533.48	c (53,0) x[13][20] = 4
1038.62/533.48	c (53,0) x[14][3] = 18
1038.62/533.48	c (53,0) x[14][4] = 2
1038.62/533.48	c (53,0) x[14][5] = 8
1038.62/533.48	c (53,0) x[14][9] = 8
1038.62/533.48	c (53,0) x[14][10] = 1
1038.62/533.48	c (53,0) x[14][11] = 14
1038.62/533.48	c (53,0) x[14][15] = 13
1038.62/533.48	c (53,0) x[14][16] = 8
1038.62/533.48	c (53,0) x[14][17] = 0
1038.62/533.48	c (53,0) x[15][0] = 6
1038.62/533.48	c (53,0) x[15][1] = 11
1038.62/533.48	c (53,0) x[15][2] = 0
1038.62/533.48	c (53,0) x[15][3] = 18
1038.62/533.48	c (53,0) x[15][4] = 18
1038.62/533.48	c (53,0) x[15][6] = 18
1038.62/533.48	c (53,0) x[15][7] = 15
1038.62/533.48	c (53,0) x[15][8] = 8
1038.62/533.48	c (53,0) x[15][9] = 2
1038.62/533.48	c (53,0) x[15][10] = 18
1038.62/533.48	c (53,0) x[15][12] = 2
1038.62/533.48	c (53,0) x[15][13] = 0
1038.62/533.48	c (53,0) x[15][14] = 15
1038.62/533.48	c (53,0) x[15][16] = 2
1038.62/533.48	c (53,0) x[15][17] = 17
1038.62/533.48	c (53,0) x[15][18] = 4
1038.62/533.48	c (53,0) x[15][19] = 4
1038.62/533.48	c (53,0) x[15][20] = 17
1038.62/533.48	c (53,0) x[16][0] = 11
1038.62/533.48	c (53,0) x[16][1] = 8
1038.62/533.48	c (53,0) x[16][2] = 12
1038.62/533.48	c (53,0) x[16][3] = 4
1038.62/533.48	c (53,0) x[16][5] = 4
1038.62/533.48	c (53,0) x[16][6] = 15
1038.62/533.48	c (53,0) x[16][7] = 4
1038.62/533.48	c (53,0) x[16][8] = 11
1038.62/533.48	c (53,0) x[16][9] = 4
1038.62/533.48	c (53,0) x[16][11] = 4
1038.62/533.48	c (53,0) x[16][12] = 17
1038.62/533.48	c (53,0) x[16][13] = 17
1038.62/533.48	c (53,0) x[16][14] = 0
1038.62/533.48	c (53,0) x[16][15] = 8
1038.62/533.48	c (53,0) x[16][17] = 3
1038.62/533.48	c (53,0) x[16][18] = 17
1038.62/533.48	c (53,0) x[16][19] = 14
1038.62/533.48	c (53,0) x[16][20] = 12
1038.62/533.48	c (53,0) x[17][0] = 0
1038.62/533.48	c (53,0) x[17][1] = 6
1038.62/533.48	c (53,0) x[17][2] = 0
1038.62/533.48	c (53,0) x[17][4] = 5
1038.62/533.48	c (53,0) x[17][5] = 17
1038.62/533.48	c (53,0) x[17][6] = 8
1038.62/533.48	c (53,0) x[17][7] = 17
1038.62/533.48	c (53,0) x[17][8] = 0
1038.62/533.48	c (53,0) x[17][10] = 6
1038.62/533.48	c (53,0) x[17][11] = 13
1038.62/533.48	c (53,0) x[17][12] = 14
1038.62/533.48	c (53,0) x[17][13] = 12
1038.62/533.48	c (53,0) x[17][14] = 14
1038.62/533.48	c (53,0) x[17][15] = 13
1038.62/533.48	c (53,0) x[17][16] = 18
1038.62/533.48	c (53,0) x[17][18] = 18
1038.62/533.48	c (53,0) x[17][19] = 2
1038.62/533.48	c (53,0) x[17][20] = 8
1038.62/533.48	c (53,0) x[18][0] = 2
1038.62/533.48	c (53,0) x[18][1] = 0
1038.62/533.48	c (53,0) x[18][2] = 18
1038.62/533.48	c (53,0) x[18][3] = 19
1038.62/533.48	c (53,0) x[18][4] = 17
1038.62/533.48	c (53,0) x[18][5] = 14
1038.62/533.48	c (53,0) x[18][7] = 3
1038.62/533.48	c (53,0) x[18][8] = 8
1038.62/533.48	c (53,0) x[18][9] = 13
1038.62/533.48	c (53,0) x[18][10] = 0
1038.62/533.48	c (53,0) x[18][11] = 18
1038.62/533.48	c (53,0) x[18][12] = 18
1038.62/533.48	c (53,0) x[18][13] = 4
1038.62/533.48	c (53,0) x[18][15] = 3
1038.62/533.48	c (53,0) x[18][16] = 20
1038.62/533.48	c (53,0) x[18][17] = 2
1038.62/533.48	c (53,0) x[18][18] = 7
1038.62/533.48	c (53,0) x[18][19] = 4
1038.62/533.48	c (53,0) x[18][20] = 18
1038.62/533.48	c (53,0) x[19][0] = 0
1038.62/533.48	c (53,0) x[19][1] = 18
1038.62/533.48	c (53,0) x[19][2] = 18
1038.62/533.48	c (53,0) x[19][3] = 8
1038.62/533.48	c (53,0) x[19][4] = 4
1038.62/533.48	c (53,0) x[19][5] = 3
1038.62/533.48	c (53,0) x[19][7] = 8
1038.62/533.48	c (53,0) x[19][8] = 18
1038.62/533.48	c (53,0) x[19][9] = 4
1038.62/533.48	c (53,0) x[19][10] = 17
1038.62/533.48	c (53,0) x[19][11] = 0
1038.62/533.48	c (53,0) x[19][12] = 13
1038.62/533.48	c (53,0) x[19][13] = 4
1038.62/533.48	c (53,0) x[19][15] = 4
1038.62/533.48	c (53,0) x[19][16] = 12
1038.62/533.48	c (53,0) x[19][17] = 8
1038.62/533.48	c (53,0) x[19][18] = 0
1038.62/533.48	c (53,0) x[19][19] = 13
1038.62/533.48	c (53,0) x[19][20] = 19
1038.62/533.48	c (53,0) x[20][0] = 18
1038.62/533.48	c (53,0) x[20][1] = 4
1038.62/533.48	c (53,0) x[20][2] = 0
1038.62/533.48	c (53,0) x[20][3] = 13
1038.62/533.48	c (53,0) x[20][4] = 19
1038.62/533.48	c (53,0) x[20][5] = 4
1038.62/533.48	c (53,0) x[20][7] = 18
1038.62/533.48	c (53,0) x[20][8] = 4
1038.62/533.48	c (53,0) x[20][9] = 18
1038.62/533.48	c (53,0) x[20][10] = 0
1038.62/533.48	c (53,0) x[20][11] = 12
1038.62/533.48	c (53,0) x[20][12] = 4
1038.62/533.48	c (53,0) x[20][13] = 18
1038.62/533.48	c (53,0) x[20][15] = 18
1038.62/533.48	c (53,0) x[20][16] = 14
1038.62/533.48	c (53,0) x[20][17] = 11
1038.62/533.48	c (53,0) x[20][18] = 3
1038.62/533.48	c (53,0) x[20][19] = 4
1038.62/533.48	c (53,0) x[20][20] = 4
1038.62/533.48	s SATISFIABLE
1038.62/533.49	v <instantiation>
1038.62/533.49	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>
1038.62/533.49	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>
1038.62/533.49	v </instantiation>
1038.62/533.49	c (53,0) Show results End
1038.62/533.49	c (53,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1038.62/533.49	c (53,0) 53,53,STOP-AFTER(ALL)
1038.62/533.49	c END-Prog: Sat Sep 14 09:39:48 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 (14405 MiB free)
  memory of node 1: 16384 MiB (15139 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392697-1568446296/watcher-4392697-1568446296 -o /tmp/evaluation-result-4392697-1568446296/solver-4392697-1568446296 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568446007-1004 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392697-1568446296.xml 

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

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


[startup+0.100171 s]*
/proc/loadavg: 8.12 8.40 8.38 2/216 1223
/proc/meminfo: memFree=30158220/32770624 swapFree=66916688/67108860
[pid=1201] ppid=1198 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (scop.sh) S 1198 1201 977 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420880153 115843072 349 33554432000 4194304 5098028 140735689037040 140735689034296 140579922907772 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34398208 140735689040676 140735689041004 140735689041004 140735689043917 0
/proc/1201/statm: 28282 349 296 221 0 87 0
[pid=1204] ppid=1201 vsize=27314120 memory=107356 CPUtime=0.1 cores=0-7
/proc/1204/stat : 1204 (java) S 1201 1201 977 0 -1 1077944320 6390 0 0 0 8 2 0 0 20 0 20 0 420880154 27969658880 26774 33554432000 4194304 4196468 140729195261424 140729195243968 140706368483063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
/proc/1204/statm: 6828530 26774 2775 1 0 6790935 0
[pid=1204/tid=1205] ppid=1201 vsize=27314120 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/1204/task/1205/stat : 1205 (java) R 1201 1201 977 0 -1 4202560 4510 0 0 0 6 2 0 0 20 0 20 0 420880154 27969658880 26839 33554432000 4194304 4196468 140729195261424 140706340287264 140706354551182 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1206] ppid=1201 vsize=27314120 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1204/task/1206/stat : 1206 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 27351 33554432000 4194304 4196468 140729195261424 140706372725392 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1207] ppid=1201 vsize=27314120 memory=288371045921318528 CPUtime=0 cores=0-7
/proc/1204/task/1207/stat : 1207 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 27351 33554432000 4194304 4196468 140729195261424 140706156120592 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1208] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1208/stat : 1208 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 27351 33554432000 4194304 4196468 140729195261424 140706155067792 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1209] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1209/stat : 1209 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 27351 33554432000 4194304 4196468 140729195261424 140706154014992 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1210] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1210/stat : 1210 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 27351 33554432000 4194304 4196468 140729195261424 140706152963216 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1211] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1211/stat : 1211 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 27351 33554432000 4194304 4196468 140729195261424 140706151910416 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1212] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1212/stat : 1212 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 27351 33554432000 4194304 4196468 140729195261424 140706150857616 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1213] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1213/stat : 1213 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 27351 33554432000 4194304 4196468 140729195261424 140706149804816 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1214] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1214/stat : 1214 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 27351 33554432000 4194304 4196468 140729195261424 140704889149808 140706368494210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1215] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1215/stat : 1215 (java) S 1201 1201 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 27351 33554432000 4194304 4196468 140729195261424 140704269460512 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1216] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1216/stat : 1216 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 27351 33554432000 4194304 4196468 140729195261424 140704001024880 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1217] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1217/stat : 1217 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 27351 33554432000 4194304 4196468 140729195261424 140703626516304 140706368501659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1218] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1218/stat : 1218 (java) S 1201 1201 977 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 27351 33554432000 4194304 4196468 140729195261424 140704888097648 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1219] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1219/stat : 1219 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 27351 33554432000 4194304 4196468 140729195261424 140704887044848 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1220] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1220/stat : 1220 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 27351 33554432000 4194304 4196468 140729195261424 140704885992048 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1221] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1221/stat : 1221 (java) S 1201 1201 977 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 27351 33554432000 4194304 4196468 140729195261424 140704884939248 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1222] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1222/stat : 1222 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 27351 33554432000 4194304 4196468 140729195261424 140703128611424 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1223] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1223/stat : 1223 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880162 27969658880 27351 33554432000 4194304 4196468 140729195261424 140704883886640 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108752 KiB

[startup+0.210786 s]*
/proc/loadavg: 8.12 8.40 8.38 3/216 1223
/proc/meminfo: memFree=30140476/32770624 swapFree=66916688/67108860
[pid=1201] ppid=1198 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (scop.sh) S 1198 1201 977 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420880153 115843072 349 33554432000 4194304 5098028 140735689037040 140735689034296 140579922907772 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34398208 140735689040676 140735689041004 140735689041004 140735689043917 0
/proc/1201/statm: 28282 349 296 221 0 87 0
[pid=1204] ppid=1201 vsize=27314120 memory=124208 CPUtime=0.24 cores=0-7
/proc/1204/stat : 1204 (java) S 1201 1201 977 0 -1 1077944320 11408 0 0 0 20 4 0 0 20 0 20 0 420880154 27969658880 31052 33554432000 4194304 4196468 140729195261424 140729195243968 140706368483063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
/proc/1204/statm: 6828530 31052 2920 1 0 6790935 0
[pid=1204/tid=1205] ppid=1201 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1204/task/1205/stat : 1205 (java) R 1201 1201 977 0 -1 4202560 9121 0 0 0 16 3 0 0 20 0 20 0 420880154 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706340266624 140706368504989 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1206] ppid=1201 vsize=27314120 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1204/task/1206/stat : 1206 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706372725392 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1207] ppid=1201 vsize=27314120 memory=288371045921318528 CPUtime=0 cores=0-7
/proc/1204/task/1207/stat : 1207 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706156120592 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1208] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1208/stat : 1208 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706155067792 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1209] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1209/stat : 1209 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706154014992 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1210] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1210/stat : 1210 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706152963216 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1211] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1211/stat : 1211 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706151910416 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1212] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1212/stat : 1212 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706150857616 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1213] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1213/stat : 1213 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31052 33554432000 4194304 4196468 140729195261424 140706149804816 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1214] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1214/stat : 1214 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 31052 33554432000 4194304 4196468 140729195261424 140704889149808 140706368494210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1215] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1215/stat : 1215 (java) S 1201 1201 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 31052 33554432000 4194304 4196468 140729195261424 140704269460512 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1216] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1216/stat : 1216 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 31052 33554432000 4194304 4196468 140729195261424 140704001024880 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1217] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1217/stat : 1217 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 31052 33554432000 4194304 4196468 140729195261424 140703626516304 140706368501659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1218] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1218/stat : 1218 (java) S 1201 1201 977 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 31052 33554432000 4194304 4196468 140729195261424 140704888097648 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1219] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1219/stat : 1219 (java) S 1201 1201 977 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 31052 33554432000 4194304 4196468 140729195261424 140704887044848 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1220] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1220/stat : 1220 (java) S 1201 1201 977 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 31052 33554432000 4194304 4196468 140729195261424 140704885992048 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1221] ppid=1201 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1204/task/1221/stat : 1221 (java) S 1201 1201 977 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 420880161 27969658880 31052 33554432000 4194304 4196468 140729195261424 140704884939248 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1222] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1222/stat : 1222 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 31052 33554432000 4194304 4196468 140729195261424 140703128611424 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1223] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1223/stat : 1223 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880162 27969658880 31052 33554432000 4194304 4196468 140729195261424 140704883886640 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125604 KiB

[startup+0.311131 s]*
/proc/loadavg: 8.12 8.40 8.38 2/216 1223
/proc/meminfo: memFree=30138372/32770624 swapFree=66916688/67108860
[pid=1201] ppid=1198 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (scop.sh) S 1198 1201 977 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420880153 115843072 349 33554432000 4194304 5098028 140735689037040 140735689034296 140579922907772 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34398208 140735689040676 140735689041004 140735689041004 140735689043917 0
/proc/1201/statm: 28282 349 296 221 0 87 0
[pid=1204] ppid=1201 vsize=27314120 memory=127884 CPUtime=0.42 cores=0-7
/proc/1204/stat : 1204 (java) S 1201 1201 977 0 -1 1077944320 12352 0 0 0 37 5 0 0 20 0 20 0 420880154 27969658880 31971 33554432000 4194304 4196468 140729195261424 140729195243968 140706368483063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
/proc/1204/statm: 6828530 31971 3021 1 0 6790935 0
[pid=1204/tid=1205] ppid=1201 vsize=27314120 memory=46596 CPUtime=0.3 cores=0-7
/proc/1204/task/1205/stat : 1205 (java) R 1201 1201 977 0 -1 4202560 9885 0 0 0 26 4 0 0 20 0 20 0 420880154 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706340278552 140706350046596 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1206] ppid=1201 vsize=27314120 memory=35 CPUtime=0 cores=0-7
/proc/1204/task/1206/stat : 1206 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706372725392 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1207] ppid=1201 vsize=27314120 memory=140669769657920 CPUtime=0 cores=0-7
/proc/1204/task/1207/stat : 1207 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706156120592 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1208] ppid=1201 vsize=27314120 memory=35 CPUtime=0 cores=0-7
/proc/1204/task/1208/stat : 1208 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706155067792 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1209] ppid=1201 vsize=27314120 memory=55780 CPUtime=0 cores=0-7
/proc/1204/task/1209/stat : 1209 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706154014992 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1210] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1210/stat : 1210 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706152963216 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1211] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1211/stat : 1211 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706151910416 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1212] ppid=1201 vsize=27314120 memory=14699578051867537 CPUtime=0 cores=0-7
/proc/1204/task/1212/stat : 1212 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706150857616 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1213] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1213/stat : 1213 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880156 27969658880 31971 33554432000 4194304 4196468 140729195261424 140706149804816 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1214] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1214/stat : 1214 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 31971 33554432000 4194304 4196468 140729195261424 140704889149808 140706368494210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1215] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1215/stat : 1215 (java) S 1201 1201 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 31971 33554432000 4194304 4196468 140729195261424 140704269460512 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1216] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1216/stat : 1216 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880158 27969658880 31971 33554432000 4194304 4196468 140729195261424 140704001024880 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1217] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1217/stat : 1217 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 31971 33554432000 4194304 4196468 140729195261424 140703626516304 140706368501659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1218] ppid=1201 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1204/task/1218/stat : 1218 (java) S 1201 1201 977 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 420880161 27969658880 31971 33554432000 4194304 4196468 140729195261424 140704888097648 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1219] ppid=1201 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1204/task/1219/stat : 1219 (java) S 1201 1201 977 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 420880161 27969658880 31971 33554432000 4194304 4196468 140729195261424 140704887044848 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1220] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1220/stat : 1220 (java) R 1201 1201 977 0 -1 4202560 150 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 31971 33554432000 4194304 4196468 140729195261424 140704885992048 140706360772512 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1221] ppid=1201 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/1204/task/1221/stat : 1221 (java) S 1201 1201 977 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 20 0 420880161 27969658880 31971 33554432000 4194304 4196468 140729195261424 140704884939248 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1222] ppid=1201 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1222/stat : 1222 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420880161 27969658880 31971 33554432000 4194304 4196468 140729195261424 140703128611424 140706368493269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1223] ppid=1201 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1204/task/1223/stat : 1223 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880162 27969658880 31971 33554432000 4194304 4196468 140729195261424 140704883886640 140706368494210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129280 KiB

[startup+0.700977 s]
/proc/loadavg: 8.12 8.40 8.38 2/216 1223
/proc/meminfo: memFree=30114328/32770624 swapFree=66916688/67108860
[pid=1201] ppid=1198 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (scop.sh) S 1198 1201 977 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420880153 115843072 349 33554432000 4194304 5098028 140735689037040 140735689034296 140579922907772 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34398208 140735689040676 140735689041004 140735689041004 140735689043917 0
/proc/1201/statm: 28282 349 296 221 0 87 0
[pid=1204] ppid=1201 vsize=27320392 memory=167764 CPUtime=1 cores=0-7
/proc/1204/stat : 1204 (java) S 1201 1201 977 0 -1 1077944320 20019 0 0 0 93 7 0 0 20 0 20 0 420880154 27976081408 41941 33554432000 4194304 4196468 140729195261424 140729195243968 140706368483063 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
/proc/1204/statm: 6830098 41941 3189 1 0 6791447 0
[pid=1204/tid=1205] ppid=1201 vsize=27320392 memory=992 CPUtime=0.68 cores=0-7
/proc/1204/task/1205/stat : 1205 (java) R 1201 1201 977 0 -1 4202560 16889 0 0 0 62 6 0 0 20 0 20 0 420880154 27976081408 41941 33554432000 4194304 4196468 140729195261424 140706340319104 140706368504989 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1206] ppid=1201 vsize=27320392 memory=2044 CPUtime=0 cores=0-7
/proc/1204/task/1206/stat : 1206 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880156 27976081408 41941 33554432000 4194304 4196468 140729195261424 140706372725392 140706368493269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1207] ppid=1201 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1207/stat : 1207 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420880156 27976081408 41941 33554432000 4194304 4196468 140729195261424 140706156120592 140706368493269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0
[pid=1204/tid=1208] ppid=1201 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1204/task/1208/stat : 1208 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420880156 27976081408 41941 33554432000 4194304 4196468 140729195261424 140706155067792 140706368493269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13336576 140729195262699 140729195263126 140729195263126 140729195265999 0

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

[pid=1257/tid=1258] ppid=1201 vsize=8414124 memory=-7824251494390585449 CPUtime=0.81 cores=0-7
/proc/1257/task/1258/stat : 1258 (java) S 1201 1201 977 0 -1 1077944384 16835 0 0 0 74 7 0 0 20 0 24 0 420928121 8616062976 47502 33554432000 4194304 4196468 140720479488368 140077993623456 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1259] ppid=1201 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/1257/task/1259/stat : 1259 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420928122 8616062976 47502 33554432000 4194304 4196468 140720479488368 140078026026000 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1260] ppid=1201 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/1257/task/1260/stat : 1260 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420928122 8616062976 47502 33554432000 4194304 4196468 140720479488368 140077826194576 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1261] ppid=1201 vsize=8414124 memory=20956 CPUtime=0 cores=0-7
/proc/1257/task/1261/stat : 1261 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420928122 8616062976 47502 33554432000 4194304 4196468 140720479488368 140077825141520 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1262] ppid=1201 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/1257/task/1262/stat : 1262 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420928122 8616062976 47502 33554432000 4194304 4196468 140720479488368 140077824088976 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1263] ppid=1201 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/1257/task/1263/stat : 1263 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420928122 8616062976 47502 33554432000 4194304 4196468 140720479488368 140077823035920 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1264] ppid=1201 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/1257/task/1264/stat : 1264 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420928122 8616062976 47502 33554432000 4194304 4196468 140720479488368 140077821983376 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1265] ppid=1201 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/1257/task/1265/stat : 1265 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420928122 8616062976 47502 33554432000 4194304 4196468 140720479488368 140077820930320 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1266] ppid=1201 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/1257/task/1266/stat : 1266 (java) S 1201 1201 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420928122 8616062976 48014 33554432000 4194304 4196468 140720479488368 140077819877776 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1267] ppid=1201 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/1257/task/1267/stat : 1267 (java) S 1201 1201 977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420928124 8616062976 48014 33554432000 4194304 4196468 140720479488368 140077249481456 140078021794434 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1268] ppid=1201 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/1257/task/1268/stat : 1268 (java) S 1201 1201 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420928124 8616062976 48014 33554432000 4194304 4196468 140720479488368 140076331820704 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1269] ppid=1201 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/1257/task/1269/stat : 1269 (java) S 1201 1201 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420928125 8616062976 48014 33554432000 4194304 4196468 140720479488368 140076197598448 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1270] ppid=1201 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/1257/task/1270/stat : 1270 (java) S 1201 1201 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420928127 8616062976 48014 33554432000 4194304 4196468 140720479488368 140075823094224 140078021801883 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1271] ppid=1201 vsize=8414124 memory=3516 CPUtime=0.19 cores=0-7
/proc/1257/task/1271/stat : 1271 (java) S 1201 1201 977 0 -1 1077944384 1232 0 0 0 19 0 0 0 20 0 24 0 420928127 8616062976 48014 33554432000 4194304 4196468 140720479488368 140077248428272 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1272] ppid=1201 vsize=8414124 memory=1398720917958146503 CPUtime=0.1 cores=0-7
/proc/1257/task/1272/stat : 1272 (java) S 1201 1201 977 0 -1 1077944384 339 0 0 0 10 0 0 0 20 0 24 0 420928127 8616062976 48014 33554432000 4194304 4196468 140720479488368 140077247375728 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1273] ppid=1201 vsize=8414124 memory=4136 CPUtime=0.14 cores=0-7
/proc/1257/task/1273/stat : 1273 (java) R 1201 1201 977 0 -1 4202560 545 0 0 0 14 0 0 0 20 0 24 0 420928127 8616062976 48014 33554432000 4194304 4196468 140720479488368 140077246322672 140078000972736 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1274] ppid=1201 vsize=8414124 memory=500 CPUtime=0.26 cores=0-7
/proc/1257/task/1274/stat : 1274 (java) S 1201 1201 977 0 -1 1077944384 1091 0 0 0 26 0 0 0 20 0 24 0 420928127 8616062976 48014 33554432000 4194304 4196468 140720479488368 140077245270128 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1275] ppid=1201 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/1257/task/1275/stat : 1275 (java) S 1201 1201 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420928128 8616062976 48014 33554432000 4194304 4196468 140720479488368 140075325189088 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1276] ppid=1201 vsize=8414124 memory=928 CPUtime=0.02 cores=0-7
/proc/1257/task/1276/stat : 1276 (java) S 1201 1201 977 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 420928128 8616062976 48014 33554432000 4194304 4196468 140720479488368 140077244218544 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1278] ppid=1201 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/1257/task/1278/stat : 1278 (java) S 1201 1201 977 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420928199 8616062976 48014 33554432000 4194304 4196468 140720479488368 140077236184512 140078021807897 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1280] ppid=1201 vsize=8414124 memory=3608 CPUtime=0.13 cores=0-7
/proc/1257/task/1280/stat : 1280 (java) R 1201 1201 977 0 -1 4202560 79 0 0 0 12 1 0 0 20 0 24 0 420928200 8616062976 48014 33554432000 4194304 4196468 140720479488368 140074654093128 140077492945867 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1281] ppid=1201 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1257/task/1281/stat : 1281 (java) S 1201 1201 977 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420928200 8616062976 48014 33554432000 4194304 4196468 140720479488368 140074922524336 140078021805213 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1282] ppid=1201 vsize=8414124 memory=124800 CPUtime=0 cores=0-7
/proc/1257/task/1282/stat : 1282 (java) S 1201 1201 977 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 24 0 420928202 8616062976 48014 33554432000 4194304 4196468 140720479488368 140074385660848 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
Current children cumulated CPU time: 665.56 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 191484 KiB

[startup+533.401 s]
/proc/loadavg: 5.23 3.50 5.62 2/221 1293
/proc/meminfo: memFree=26067484/32770624 swapFree=66916688/67108860
[pid=1201] ppid=1198 vsize=113128 memory=1476 CPUtime=663.84 cores=0-7
/proc/1201/stat : 1201 (scop.sh) S 1198 1201 977 0 -1 4202496 583 228777 0 0 0 0 63004 3380 20 0 1 0 420880153 115843072 369 33554432000 4194304 5098028 140735689037040 140735689033784 140579922907772 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34398208 140735689040676 140735689041004 140735689041004 140735689043917 0
/proc/1201/statm: 28282 369 311 221 0 87 0
[pid=1257] ppid=1201 vsize=8283048 memory=224168 CPUtime=374.78 cores=0-7
/proc/1257/stat : 1257 (java) S 1201 1201 977 0 -1 1077944320 22034 2912746 0 0 200 12 36572 694 20 0 22 0 420928120 8481841152 56042 33554432000 4194304 4196468 140720479488368 140720479470912 140078021783287 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
/proc/1257/statm: 2070762 56042 3234 1 0 2032106 0
[pid=1257/tid=1258] ppid=1201 vsize=8283048 memory=1460 CPUtime=373.54 cores=0-7
/proc/1257/task/1258/stat : 1258 (java) R 1201 1201 977 0 -1 4202560 17015 2912746 0 0 81 7 36572 694 20 0 22 0 420928121 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077993618976 140078005863774 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1259] ppid=1201 vsize=8283048 memory=291045324259328026 CPUtime=372.66 cores=0-7
/proc/1257/task/1259/stat : 1259 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 56042 33554432000 4194304 4196468 140720479488368 140078026026000 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1260] ppid=1201 vsize=8283048 memory=288230596050944315 CPUtime=372.66 cores=0-7
/proc/1257/task/1260/stat : 1260 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077826194576 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1261] ppid=1201 vsize=8283048 memory=15258134134392232 CPUtime=372.66 cores=0-7
/proc/1257/task/1261/stat : 1261 (java) S 1201 1201 977 0 -1 1077944384 1 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077825141520 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1262] ppid=1201 vsize=8283048 memory=2528 CPUtime=372.66 cores=0-7
/proc/1257/task/1262/stat : 1262 (java) S 1201 1201 977 0 -1 1077944384 3 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077824088976 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1263] ppid=1201 vsize=8283048 memory=3628 CPUtime=372.66 cores=0-7
/proc/1257/task/1263/stat : 1263 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077823035920 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1264] ppid=1201 vsize=8283048 memory=40440 CPUtime=372.66 cores=0-7
/proc/1257/task/1264/stat : 1264 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077821983376 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1265] ppid=1201 vsize=8283048 memory=992 CPUtime=372.66 cores=0-7
/proc/1257/task/1265/stat : 1265 (java) S 1201 1201 977 0 -1 1077944384 1 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077820930320 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1266] ppid=1201 vsize=8283048 memory=2044 CPUtime=372.66 cores=0-7
/proc/1257/task/1266/stat : 1266 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077819877776 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1267] ppid=1201 vsize=8283048 memory=1296 CPUtime=372.66 cores=0-7
/proc/1257/task/1267/stat : 1267 (java) S 1201 1201 977 0 -1 1077944384 6 2912746 0 0 0 0 36572 694 20 0 22 0 420928124 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077249481456 140078021794434 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1268] ppid=1201 vsize=8283048 memory=620 CPUtime=372.66 cores=0-7
/proc/1257/task/1268/stat : 1268 (java) S 1201 1201 977 0 -1 1077944384 13 2912746 0 0 0 0 36572 694 20 0 22 0 420928124 8481841152 56042 33554432000 4194304 4196468 140720479488368 140076331820704 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1269] ppid=1201 vsize=8283048 memory=4000 CPUtime=372.66 cores=0-7
/proc/1257/task/1269/stat : 1269 (java) S 1201 1201 977 0 -1 1077944384 21 2912746 0 0 0 0 36572 694 20 0 22 0 420928125 8481841152 56042 33554432000 4194304 4196468 140720479488368 140076197598448 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1270] ppid=1201 vsize=8283048 memory=2828 CPUtime=372.66 cores=0-7
/proc/1257/task/1270/stat : 1270 (java) S 1201 1201 977 0 -1 1077944384 1 2912746 0 0 0 0 36572 694 20 0 22 0 420928127 8481841152 56042 33554432000 4194304 4196468 140720479488368 140075823094224 140078021801883 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1271] ppid=1201 vsize=8283048 memory=1712 CPUtime=372.9 cores=0-7
/proc/1257/task/1271/stat : 1271 (java) S 1201 1201 977 0 -1 1077944384 1259 2912746 0 0 24 0 36572 694 20 0 22 0 420928127 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077248428272 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1272] ppid=1201 vsize=8283048 memory=1156 CPUtime=372.81 cores=0-7
/proc/1257/task/1272/stat : 1272 (java) R 1201 1201 977 0 -1 1077944384 352 2912746 0 0 15 0 36572 694 20 0 22 0 420928127 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077247375728 140078021794434 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1273] ppid=1201 vsize=8283048 memory=1640 CPUtime=372.85 cores=0-7
/proc/1257/task/1273/stat : 1273 (java) R 1201 1201 977 0 -1 1077944384 572 2912746 0 0 19 0 36572 694 20 0 22 0 420928127 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077246322672 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1274] ppid=1201 vsize=8283048 memory=4100 CPUtime=372.98 cores=0-7
/proc/1257/task/1274/stat : 1274 (java) R 1201 1201 977 0 -1 4202560 1188 2912746 0 0 31 1 36572 694 20 0 22 0 420928127 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077245270128 140078021804634 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1275] ppid=1201 vsize=8283048 memory=1398720917958146503 CPUtime=372.66 cores=0-7
/proc/1257/task/1275/stat : 1275 (java) S 1201 1201 977 0 -1 1077944384 3 2912746 0 0 0 0 36572 694 20 0 22 0 420928128 8481841152 56042 33554432000 4194304 4196468 140720479488368 140075325189088 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1276] ppid=1201 vsize=8283048 memory=0 CPUtime=372.68 cores=0-7
/proc/1257/task/1276/stat : 1276 (java) S 1201 1201 977 0 -1 1077944384 5 2912746 0 0 2 0 36572 694 20 0 22 0 420928128 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077244218544 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1278] ppid=1201 vsize=8283048 memory=0 CPUtime=372.66 cores=0-7
/proc/1257/task/1278/stat : 1278 (java) S 1201 1201 977 0 -1 1077944384 23 2912746 0 0 0 0 36572 694 20 0 22 0 420928199 8481841152 56042 33554432000 4194304 4196468 140720479488368 140077236183696 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1282] ppid=1201 vsize=8283048 memory=40440 CPUtime=372.66 cores=0-7
/proc/1257/task/1282/stat : 1282 (java) S 1201 1201 977 0 -1 1077944384 136 2912746 0 0 0 0 36572 694 20 0 22 0 420928202 8481841152 56042 33554432000 4194304 4196468 140720479488368 140074385662640 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
Current children cumulated CPU time: 1038.62 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 225644 KiB

[startup+533.501 s]
/proc/loadavg: 5.23 3.50 5.62 2/221 1293
/proc/meminfo: memFree=26067484/32770624 swapFree=66916688/67108860
[pid=1201] ppid=1198 vsize=113128 memory=1476 CPUtime=663.84 cores=0-7
/proc/1201/stat : 1201 (scop.sh) S 1198 1201 977 0 -1 4202496 583 228777 0 0 0 0 63004 3380 20 0 1 0 420880153 115843072 369 33554432000 4194304 5098028 140735689037040 140735689033784 140579922907772 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34398208 140735689040676 140735689041004 140735689041004 140735689043917 0
/proc/1201/statm: 28282 369 311 221 0 87 0
[pid=1257] ppid=1201 vsize=8283048 memory=231476 CPUtime=374.99 cores=0-7
/proc/1257/stat : 1257 (java) S 1201 1201 977 0 -1 1077944320 23331 2912746 0 0 219 14 36572 694 20 0 22 0 420928120 8481841152 57869 33554432000 4194304 4196468 140720479488368 140720479470912 140078021783287 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
/proc/1257/statm: 2070762 57869 3235 1 0 2032106 0
[pid=1257/tid=1258] ppid=1201 vsize=8283048 memory=146728 CPUtime=373.64 cores=0-7
/proc/1257/task/1258/stat : 1258 (java) R 1201 1201 977 0 -1 4202560 18141 2912746 0 0 89 9 36572 694 20 0 22 0 420928121 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077993626872 140078014468919 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1259] ppid=1201 vsize=8283048 memory=124800 CPUtime=372.66 cores=0-7
/proc/1257/task/1259/stat : 1259 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 57869 33554432000 4194304 4196468 140720479488368 140078026026000 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1260] ppid=1201 vsize=8283048 memory=124800 CPUtime=372.66 cores=0-7
/proc/1257/task/1260/stat : 1260 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077826194576 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1261] ppid=1201 vsize=8283048 memory=216696 CPUtime=372.66 cores=0-7
/proc/1257/task/1261/stat : 1261 (java) S 1201 1201 977 0 -1 1077944384 1 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077825141520 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1262] ppid=1201 vsize=8283048 memory=1476 CPUtime=372.66 cores=0-7
/proc/1257/task/1262/stat : 1262 (java) S 1201 1201 977 0 -1 1077944384 3 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077824088976 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1263] ppid=1201 vsize=8283048 memory=3936948 CPUtime=372.66 cores=0-7
/proc/1257/task/1263/stat : 1263 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077823035920 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1264] ppid=1201 vsize=8283048 memory=3878588 CPUtime=372.66 cores=0-7
/proc/1257/task/1264/stat : 1264 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077821983376 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1265] ppid=1201 vsize=8283048 memory=140674064574079 CPUtime=372.66 cores=0-7
/proc/1257/task/1265/stat : 1265 (java) S 1201 1201 977 0 -1 1077944384 1 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077820930320 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1266] ppid=1201 vsize=8283048 memory=992 CPUtime=372.66 cores=0-7
/proc/1257/task/1266/stat : 1266 (java) S 1201 1201 977 0 -1 1077944384 2 2912746 0 0 0 0 36572 694 20 0 22 0 420928122 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077819877776 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1267] ppid=1201 vsize=8283048 memory=2044 CPUtime=372.66 cores=0-7
/proc/1257/task/1267/stat : 1267 (java) S 1201 1201 977 0 -1 1077944384 6 2912746 0 0 0 0 36572 694 20 0 22 0 420928124 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077249481456 140078021794434 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1268] ppid=1201 vsize=8283048 memory=281338411261874 CPUtime=372.66 cores=0-7
/proc/1257/task/1268/stat : 1268 (java) S 1201 1201 977 0 -1 1077944384 13 2912746 0 0 0 0 36572 694 20 0 22 0 420928124 8481841152 57869 33554432000 4194304 4196468 140720479488368 140076331820704 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1269] ppid=1201 vsize=8283048 memory=7523107478184158290 CPUtime=372.66 cores=0-7
/proc/1257/task/1269/stat : 1269 (java) S 1201 1201 977 0 -1 1077944384 21 2912746 0 0 0 0 36572 694 20 0 22 0 420928125 8481841152 57869 33554432000 4194304 4196468 140720479488368 140076197598448 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1270] ppid=1201 vsize=8283048 memory=124800 CPUtime=372.66 cores=0-7
/proc/1257/task/1270/stat : 1270 (java) S 1201 1201 977 0 -1 1077944384 1 2912746 0 0 0 0 36572 694 20 0 22 0 420928127 8481841152 57869 33554432000 4194304 4196468 140720479488368 140075823094224 140078021801883 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1271] ppid=1201 vsize=8283048 memory=1476 CPUtime=372.92 cores=0-7
/proc/1257/task/1271/stat : 1271 (java) S 1201 1201 977 0 -1 1077944384 1270 2912746 0 0 26 0 36572 694 20 0 22 0 420928127 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077248428272 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1272] ppid=1201 vsize=8283048 memory=10 CPUtime=372.83 cores=0-7
/proc/1257/task/1272/stat : 1272 (java) S 1201 1201 977 0 -1 1077944384 363 2912746 0 0 17 0 36572 694 20 0 22 0 420928127 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077247375728 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1273] ppid=1201 vsize=8283048 memory=22 CPUtime=372.87 cores=0-7
/proc/1257/task/1273/stat : 1273 (java) S 1201 1201 977 0 -1 1077944384 587 2912746 0 0 21 0 36572 694 20 0 22 0 420928127 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077246322672 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1274] ppid=1201 vsize=8283048 memory=18288972 CPUtime=373.03 cores=0-7
/proc/1257/task/1274/stat : 1274 (java) S 1201 1201 977 0 -1 1077944384 1322 2912746 0 0 36 1 36572 694 20 0 22 0 420928127 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077245270128 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1275] ppid=1201 vsize=8283048 memory=1460 CPUtime=372.66 cores=0-7
/proc/1257/task/1275/stat : 1275 (java) S 1201 1201 977 0 -1 1077944384 3 2912746 0 0 0 0 36572 694 20 0 22 0 420928128 8481841152 57869 33554432000 4194304 4196468 140720479488368 140075325189088 140078021793493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1276] ppid=1201 vsize=8283048 memory=0 CPUtime=372.68 cores=0-7
/proc/1257/task/1276/stat : 1276 (java) S 1201 1201 977 0 -1 1077944384 5 2912746 0 0 2 0 36572 694 20 0 22 0 420928128 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077244218544 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1278] ppid=1201 vsize=8283048 memory=1 CPUtime=372.66 cores=0-7
/proc/1257/task/1278/stat : 1278 (java) S 1201 1201 977 0 -1 1077944384 23 2912746 0 0 0 0 36572 694 20 0 22 0 420928199 8481841152 57869 33554432000 4194304 4196468 140720479488368 140077236183696 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
[pid=1257/tid=1282] ppid=1201 vsize=8283048 memory=1476 CPUtime=372.66 cores=0-7
/proc/1257/task/1282/stat : 1282 (java) S 1201 1201 977 0 -1 1077944384 136 2912746 0 0 0 0 36572 694 20 0 22 0 420928202 8481841152 57869 33554432000 4194304 4196468 140720479488368 140074385662640 140078021794434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13484032 140720479491064 140720479491222 140720479491222 140720479494095 0
Current children cumulated CPU time: 1038.83 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 232952 KiB

Child status: 0
Real time (s): 533.521
CPU time (s): 1038.88
CPU user time (s): 997.966
CPU system time (s): 40.9121
CPU usage (%): 194.721
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 18291288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 997.966
system time used= 40.9121
maximum resident set size= 18290652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3165479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 259456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 303053
involuntary context switches= 6285


# summary of solver processes directly reported to runsolver:
#   pid: 1201
#   total CPU time (s): 1038.88
#   total CPU user time (s): 997.966
#   total CPU system time (s): 40.9121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.95128 second user time and 6.91526 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-14 09:30:55
IDJOB=4392697
IDBENCH=139942
IDSOLVER=2839
FILE ID=node134/4392697-1568446296
RUNJOBID= node134-1568446007-1004
PBS_JOBID= 21702351
Free space on /tmp= 59576 MiB

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

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

MD5SUM BENCH= 35703c5da18cfa31646d51f4d8651558
RANDOM SEED=1021914247

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30254212 kB
MemAvailable:   31795144 kB
Buffers:          202968 kB
Cached:          1604280 kB
SwapCached:        90612 kB
Active:           499820 kB
Inactive:        1400080 kB
Active(anon):      25116 kB
Inactive(anon):   106660 kB
Active(file):     474704 kB
Inactive(file):  1293420 kB
Unevictable:      110900 kB
Mlocked:          110900 kB
SwapTotal:      67108860 kB
SwapFree:       66916688 kB
Dirty:             21512 kB
Writeback:             0 kB
AnonPages:        141784 kB
Mapped:            44376 kB
Shmem:             31132 kB
Slab:             207060 kB
SReclaimable:     177284 kB
SUnreclaim:        29776 kB
KernelStack:        3808 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59556 MiB
End job on node134 at 2019-09-14 09:39:49