Trace number 4405275

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 1930.19 252.732

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-08-int.xml
MD5SUM473b10c1a98fbd59115b24ad203b92fd
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 benchmark8.59086
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints66
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":62},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":65},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints64
Distribution of constraint types[{"type":"intension","count":64},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-31664-serial-file.bin HOME/instance-4405275-1569343291.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:39:51 CEST 2019
0.66/0.56	c PID: 31667
0.66/0.56	c IP: 172.20.3.105
0.66/0.56	c HOST: node105.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.72/1.04	c (0,0) Parsing End
1.72/1.04	c (0,0) CSP: 63 int (0 aux), 1 bool (0 aux), 66 ctr, max domain size 64
1.72/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.72/1.04	c (0,0) Constraint Name Generate Begin
1.72/1.05	c (0,0) Ctr:HOME/instance-4405275-1569343291.xml,AllDifferent:And:Dist:Div:Eq:Instantiation:Mod:Num:Or:Var
1.72/1.05	c (0,0) Constraint Name Generate End
1.72/1.05	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.72/1.05	c (0,0) CSP to CSPinCNF Begin
3.32/1.52	c (0,0) translated 7 (10%) constraints
3.32/1.55	c (1,0) translated 14 (20%) constraints
3.32/1.57	c (1,1) translated 20 (30%) constraints
3.32/1.59	c (1,1) translated 27 (40%) constraints
3.75/1.61	c (1,1) translated 33 (50%) constraints
3.75/1.63	c (1,1) translated 40 (60%) constraints
3.75/1.64	c (1,1) translated 47 (70%) constraints
3.75/1.66	c (1,1) translated 53 (80%) constraints
3.75/1.67	c (1,1) translated 60 (90%) constraints
3.75/1.68	c (1,1) translated 66 (100%) constraints
3.75/1.69	c (1,1) ===========================================
3.75/1.69	c (1,1) Order
3.75/1.69	c (1,1) ===========================================
4.17/1.72	c (1,1) translated 330 (10%) constraints
4.17/1.75	c (1,1) translated 660 (20%) constraints
4.17/1.77	c (1,1) translated 990 (30%) constraints
4.17/1.79	c (1,1) translated 1320 (40%) constraints
4.57/1.81	c (1,1) translated 1650 (50%) constraints
4.57/1.83	c (1,1) translated 1980 (60%) constraints
5.70/2.11	c (1,1) translated 2310 (70%) constraints
5.70/2.12	c (1,1) translated 2640 (80%) constraints
5.70/2.14	c (1,1) translated 2970 (90%) constraints
5.70/2.15	c (1,1) translated 3300 (100%) constraints
5.70/2.15	c (1,1) CSP to CSPinCNF End
5.70/2.16	c (1,1) CSP: 313 int (250 aux), 4231 bool (4230 aux), 11622 ctr, max domain size 63
5.70/2.16	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.70/2.16	c (1,1) CSPinCNF Propagation Begin
6.50/2.33	c (1,1) 191 values, 524 unsatisfiable literals, and 857 valid clauses are removed
6.50/2.33	c (1,1) CSPinCNF Propagation End
6.50/2.33	c (1,1) CSP: 313 int (250 aux), 4231 bool (4230 aux), 10765 ctr, max domain size 63
6.50/2.33	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.50/2.33	c (1,1) Simplify CSPinCNF Begin
6.93/2.47	c (1,1) Simplify CSPinCNF End
6.93/2.47	c (1,1) CSP: 313 int (250 aux), 8631 bool (8630 aux), 15165 ctr, max domain size 63
6.93/2.47	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.93/2.47	c (1,1) Calculate Precise Domain Begin
6.93/2.47	c (1,1) 0 values are removed by re-calculation
6.93/2.47	c (1,1) Calculate Precise Domain End
6.93/2.47	c (1,1) CSP: 313 int (250 aux), 8631 bool (8630 aux), 15165 ctr, max domain size 63
6.93/2.47	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.93/2.47	c (1,1) CSPinCNF to SatSolver Begin
9.43/3.06	c (2,2) 1517 (10 %) CSP clauses are encoded (0 SAT variables, 61718 SAT clauses)
9.91/3.37	c (2,2) 3033 (20 %) CSP clauses are encoded (0 SAT variables, 125916 SAT clauses)
10.23/3.68	c (3,3) 4550 (30 %) CSP clauses are encoded (0 SAT variables, 190115 SAT clauses)
10.61/3.94	c (3,3) 6066 (40 %) CSP clauses are encoded (0 SAT variables, 245819 SAT clauses)
10.61/3.96	c (3,3) 7583 (50 %) CSP clauses are encoded (0 SAT variables, 247336 SAT clauses)
10.61/3.97	c (3,3) 9099 (60 %) CSP clauses are encoded (0 SAT variables, 248852 SAT clauses)
10.61/3.99	c (3,3) 10616 (70 %) CSP clauses are encoded (0 SAT variables, 250369 SAT clauses)
10.61/4.01	c (3,3) 12132 (80 %) CSP clauses are encoded (0 SAT variables, 251885 SAT clauses)
10.77/4.03	c (3,3) 13649 (90 %) CSP clauses are encoded (0 SAT variables, 253717 SAT clauses)
11.49/4.21	c (3,3) 15165 (100 %) CSP clauses are encoded (0 SAT variables, 275538 SAT clauses)
11.49/4.21	c (3,3) CSPinCNF to SatSolver End
11.49/4.21	c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.49/4.21	c (3,3) 14013 bool, 275539 clause
11.49/4.21	c (3,3) Export Begin
11.49/4.29	c (3,3) Export to HOME/scop-31664-serial-file.bin
11.49/4.29	c (3,3) Export End
11.49/4.29	c (3,3) Export File Size: 0.01 MB
11.49/4.29	c (3,3) 0,0,1,1,1,1,3,STOP-AFTER(DIMACS)
11.49/4.29	c END-Prog: Tue Sep 24 17:39:55 CEST 2019
0.00/4.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-31664-serial-file.bin
11.96/4.89	c (0,0) Read Serial File Begin
11.96/4.89	c (0,0) HOME/scop-31664-serial-file.bin
12.72/5.09	c (0,0) Read Serial File End
12.72/5.10	
12.72/5.10	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.72/5.10	(Solving Process)
12.72/5.10	
12.89/5.13	c BEGIN-Prog: Tue Sep 24 17:39:56 CEST 2019
12.89/5.13	c PID: 31688
12.89/5.13	c IP: 172.20.3.105
12.89/5.13	c HOST: node105.alineos.net
12.89/5.13	c (0,0) SatSolver.solve Begin
12.89/5.13	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405275-1569343291.xml-scop-31667.cnf
12.89/5.16	c (0,0) c
12.89/5.16	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)
12.89/5.16	c (0,0) c
12.89/5.16	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.89/5.16	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.89/5.16	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.89/5.16	c (0,0) c |                                                                                                       |
13.10/5.24	c (0,0) c |  Number of variables:         14013                                                                   |
13.10/5.24	c (0,0) c |  Number of clauses:          275539                                                                   |
13.10/5.24	c (0,0) c |  Parse time:                   0.07 s                                                                 |
13.10/5.24	c (0,0) c |                                                                                                       |
13.10/5.60	c (0,0) c |  Simplification time:          0.35 s                                                                 |
13.10/5.60	c (0,0) c |                                                                                                       |
13.10/5.60	c (0,0) c |  Generating clones                                                                                    |
13.10/5.68	c (0,0) c |  all clones generated. Memory =   204.90Mb.                                                           |
13.10/5.68	c (0,0) c ========================================================================================================|
13.10/5.68	c (0,0) c
13.10/5.68	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.10/5.68	c (0,0) c
13.10/5.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.10/5.68	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.10/5.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.10/5.68	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.10/5.68	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.10/5.68	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.10/5.68	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.10/5.68	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.10/5.68	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.10/5.68	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.10/5.68	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.10/5.68	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.10/5.68	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.10/5.68	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.10/5.68	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.10/5.68	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.10/5.68	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.10/5.68	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.10/5.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
247.42/35.05	c (30,0) c
247.42/35.05	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
247.42/35.05	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
247.42/35.05	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
247.42/35.05	c (30,0) c |  0 |    713 |     458189 |     188839 |   160923 |    49213 |    20348 |   139189 |    14354 |      284 |  20 |  2.883 |
247.42/35.05	c (30,0) c |  1 |    594 |     431456 |     206626 |   152743 |    39029 |    24694 |   138791 |    13090 |      291 |  20 |  2.897 |
247.42/35.05	c (30,0) c |  2 |    721 |     446278 |     198416 |   160158 |    30812 |    21539 |   146963 |    14310 |      302 |  20 |  2.876 |
247.42/35.05	c (30,0) c |  3 |    805 |     463300 |     172115 |   166977 |    32509 |    18577 |   143628 |    13854 |      288 |  20 |  2.890 |
247.42/35.05	c (30,0) c |  4 |    794 |     427970 |     180940 |   160381 |    41332 |    22207 |   143496 |    14608 |      296 |  20 |  2.890 |
247.42/35.05	c (30,0) c |  5 |    803 |     432510 |     181925 |   162780 |    42319 |    20599 |   144918 |    13399 |      295 |  20 |  2.890 |
247.42/35.05	c (30,0) c |  6 |    798 |     443545 |     195252 |   162389 |    55617 |    21809 |   142943 |    15030 |      294 |  20 |  2.869 |
247.42/35.05	c (30,0) c |  7 |    735 |     461563 |     186645 |   163139 |    47005 |    22653 |   141288 |    14347 |      291 |  20 |  2.890 |
247.42/35.05	c (30,0) c 
247.42/35.05	c (30,0) c synthesis     1510758 conflicts   551840271 propagations     6453 conflicts/sec  2356972 propagations/sec
247.42/35.05	c (30,0) c real: 29.8942 s, cpu: 234.131 s, memory: 773.32 Mb
481.49/65.05	c (60,0) c
481.49/65.05	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
481.49/65.05	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
481.49/65.05	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
481.49/65.05	c (60,0) c |  0 |   1213 |     827761 |     334652 |   189216 |    67421 |    31117 |   224930 |    25404 |      563 |  20 |  3.012 |
481.49/65.05	c (60,0) c |  1 |   1110 |     791010 |     381701 |   182479 |    76114 |    37056 |   224839 |    24085 |      583 |  20 |  3.012 |
481.49/65.05	c (60,0) c |  2 |   1226 |     778198 |     341368 |   186937 |    74160 |    32007 |   226080 |    25013 |      570 |  20 |  2.990 |
481.49/65.05	c (60,0) c |  3 |   1283 |     840038 |     346612 |   191458 |    41042 |    30869 |   230972 |    24494 |      582 |  20 |  3.019 |
481.49/65.05	c (60,0) c |  4 |   1200 |     774892 |     354653 |   185393 |    49066 |    35679 |   225767 |    25055 |      582 |  20 |  3.012 |
481.49/65.05	c (60,0) c |  5 |   1291 |     771675 |     339396 |   188645 |    72183 |    32496 |   226078 |    23532 |      573 |  20 |  3.011 |
481.49/65.05	c (60,0) c |  6 |   1347 |     820853 |     358469 |   188982 |    52867 |    32508 |   228967 |    25505 |      582 |  20 |  2.990 |
481.49/65.05	c (60,0) c |  7 |   1289 |     812272 |     345143 |   189943 |    39565 |    34392 |   227348 |    25484 |      583 |  20 |  3.011 |
481.49/65.05	c (60,0) c 
481.49/65.05	c (60,0) c synthesis     2801995 conflicts  1023153767 propagations     5986 conflicts/sec  2185838 propagations/sec
481.49/65.05	c (60,0) c real: 59.8941 s, cpu: 468.083 s, memory: 773.32 Mb
714.01/95.04	c (90,0) c
714.01/95.04	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
714.01/95.04	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
714.01/95.04	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
714.01/95.04	c (90,0) c |  0 |   1663 |    1155007 |     469807 |   202930 |    79390 |    41161 |   298548 |    34937 |      838 |  20 |  3.161 |
714.01/95.04	c (90,0) c |  1 |   1525 |    1110511 |     532097 |   196041 |    95590 |    47107 |   298259 |    33188 |      858 |  20 |  3.169 |
714.01/95.04	c (90,0) c |  2 |   1793 |    1102287 |     467785 |   202298 |    77379 |    42194 |   302160 |    35548 |      854 |  20 |  3.169 |
714.01/95.04	c (90,0) c |  3 |   1836 |    1168100 |     481354 |   203979 |    91004 |    42475 |   301468 |    35484 |      857 |  20 |  3.169 |
714.01/95.04	c (90,0) c |  4 |   1553 |    1101588 |     493873 |   198238 |    57401 |    46037 |   297247 |    35169 |      852 |  20 |  3.169 |
714.01/95.04	c (90,0) c |  5 |   1756 |    1100342 |     492977 |   201946 |    56538 |    43380 |   302552 |    33174 |      857 |  20 |  3.169 |
714.01/95.04	c (90,0) c |  6 |   1770 |    1150868 |     497154 |   201635 |    60656 |    42736 |   301359 |    35304 |      853 |  20 |  3.168 |
714.01/95.04	c (90,0) c |  7 |   1726 |    1135426 |     492406 |   202260 |    55909 |    45091 |   300437 |    35242 |      858 |  20 |  3.168 |
714.01/95.04	c (90,0) c 
714.01/95.04	c (90,0) c synthesis     3927454 conflicts  1443841627 propagations     5609 conflicts/sec  2062044 propagations/sec
714.01/95.04	c (90,0) c real: 89.8913 s, cpu: 700.199 s, memory: 837.32 Mb
945.07/124.04	c (119,0) c
945.07/124.04	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
945.07/124.04	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
945.07/124.04	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
945.07/124.04	c (119,0) c |  0 |   2085 |    1448777 |     614233 |   209850 |    77167 |    50938 |   364042 |    43084 |     1116 |  20 |  3.468 |
945.07/124.04	c (119,0) c |  1 |   1964 |    1411948 |     646873 |   204991 |    54860 |    56083 |   357900 |    42088 |     1114 |  20 |  3.475 |
945.07/124.04	c (119,0) c |  2 |   2250 |    1399396 |     582137 |   210373 |    96072 |    50232 |   367344 |    44645 |     1128 |  20 |  3.483 |
945.07/124.04	c (119,0) c |  3 |   2312 |    1470665 |     590718 |   211374 |    53735 |    50760 |   363648 |    43727 |     1115 |  20 |  3.468 |
945.07/124.04	c (119,0) c |  4 |   1999 |    1409753 |     614926 |   207065 |    77835 |    54932 |   360737 |    44086 |     1120 |  20 |  3.475 |
945.07/124.04	c (119,0) c |  5 |   2234 |    1393764 |     607343 |   210076 |    70252 |    51718 |   364165 |    42317 |     1121 |  20 |  3.483 |
945.07/124.04	c (119,0) c |  6 |   2309 |    1444303 |     613334 |   210075 |    76138 |    51276 |   366507 |    44339 |     1129 |  20 |  3.483 |
945.07/124.04	c (119,0) c |  7 |   2182 |    1444430 |     612613 |   210373 |    75543 |    53955 |   362176 |    44086 |     1122 |  20 |  3.475 |
945.07/124.04	c (119,0) c 
945.07/124.04	c (119,0) c synthesis     4882177 conflicts  1826720830 propagations     5243 conflicts/sec  1961883 propagations/sec
945.07/124.04	c (119,0) c real: 118.891 s, cpu: 931.106 s, memory: 773.32 Mb
1175.04/153.04	c (148,0) c
1175.04/153.04	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1175.04/153.04	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1175.04/153.04	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1175.04/153.04	c (148,0) c |  0 |   2540 |    1728123 |     747190 |   214331 |    95110 |    58312 |   414474 |    49739 |     1385 |  20 |  3.697 |
1175.04/153.04	c (148,0) c |  1 |   2519 |    1666942 |     748815 |   211831 |   100588 |    63206 |   407012 |    49142 |     1372 |  20 |  3.675 |
1175.04/153.04	c (148,0) c |  2 |   2768 |    1656286 |     683416 |   216237 |    92285 |    57098 |   416450 |    51404 |     1389 |  20 |  3.697 |
1175.04/153.04	c (148,0) c |  3 |   2831 |    1757085 |     706717 |   216794 |    59265 |    57467 |   414456 |    50306 |     1381 |  20 |  3.690 |
1175.04/153.04	c (148,0) c |  4 |   2456 |    1679335 |     730576 |   213267 |    82980 |    62592 |   410400 |    51303 |     1387 |  20 |  3.697 |
1175.04/153.04	c (148,0) c |  5 |   2752 |    1649655 |     704203 |   216247 |    56517 |    58470 |   414122 |    50143 |     1383 |  20 |  3.697 |
1175.04/153.04	c (148,0) c |  6 |   2863 |    1707349 |     712852 |   215789 |    65251 |    58258 |   415920 |    51536 |     1392 |  20 |  3.697 |
1175.04/153.04	c (148,0) c |  7 |   2705 |    1696373 |     703858 |   216370 |    56319 |    60530 |   410497 |    51307 |     1378 |  20 |  3.689 |
1175.04/153.04	c (148,0) c 
1175.04/153.04	c (148,0) c synthesis     5737628 conflicts  2179165316 propagations     4942 conflicts/sec  1877078 propagations/sec
1175.04/153.04	c (148,0) c real: 147.891 s, cpu: 1160.93 s, memory: 773.32 Mb
1396.61/182.04	c (177,0) c
1396.61/182.04	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1396.61/182.04	c (177,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1396.61/182.04	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1396.61/182.04	c (177,0) c |  0 |   2981 |    1973380 |     858817 |   218683 |    75683 |    66056 |   455192 |    54842 |     1636 |  20 |  3.953 |
1396.61/182.04	c (177,0) c |  1 |   3148 |    1886946 |     822454 |   216887 |   114312 |    68521 |   449456 |    55169 |     1616 |  20 |  3.939 |
1396.61/182.04	c (177,0) c |  2 |   3304 |    1867450 |     765304 |   220272 |   116441 |    62593 |   458900 |    56952 |     1636 |  20 |  3.953 |
1396.61/182.04	c (177,0) c |  3 |   3403 |    1990425 |     794147 |   221102 |    87125 |    63771 |   457726 |    56171 |     1635 |  20 |  3.953 |
1396.61/182.04	c (177,0) c |  4 |   2913 |    1898789 |     830001 |   217451 |    57944 |    68902 |   452330 |    57179 |     1636 |  20 |  3.953 |
1396.61/182.04	c (177,0) c |  5 |   3220 |    1874708 |     790988 |   220691 |    83788 |    63851 |   457341 |    55637 |     1634 |  20 |  3.953 |
1396.61/182.04	c (177,0) c |  6 |   3267 |    1930325 |     822875 |   219231 |   115476 |    63791 |   447832 |    56255 |     1636 |  20 |  3.932 |
1396.61/182.04	c (177,0) c |  7 |   3297 |    1926282 |     787953 |   220858 |    79207 |    66080 |   454439 |    56978 |     1631 |  20 |  3.954 |
1396.61/182.04	c (177,0) c 
1396.61/182.04	c (177,0) c synthesis     6472540 conflicts  2499636284 propagations     4682 conflicts/sec  1808095 propagations/sec
1396.61/182.04	c (177,0) c real: 176.891 s, cpu: 1382.47 s, memory: 779.73 Mb
1623.60/212.04	c (207,0) c
1623.60/212.04	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
1623.60/212.04	c (207,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1623.60/212.04	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
1623.60/212.04	c (207,0) c |  0 |   3473 |    2188194 |     947810 |   222178 |    94506 |    70243 |   491427 |    60585 |     1881 |  20 |  4.189 |
1623.60/212.04	c (207,0) c |  1 |   3668 |    2112116 |     895678 |   220890 |   126127 |    73685 |   485074 |    61003 |     1863 |  20 |  4.168 |
1623.60/212.04	c (207,0) c |  2 |   3814 |    2086099 |     848357 |   223456 |    79522 |    67928 |   493223 |    61816 |     1881 |  20 |  4.203 |
1623.60/212.04	c (207,0) c |  3 |   3991 |    2196243 |     869567 |   224443 |   100758 |    70147 |   491692 |    62030 |     1883 |  20 |  4.189 |
1623.60/212.04	c (207,0) c |  4 |   3423 |    2113025 |     907080 |   221399 |    72376 |    72269 |   489323 |    62194 |     1883 |  20 |  4.189 |
1623.60/212.04	c (207,0) c |  5 |   3698 |    2095425 |     871762 |   224258 |   102583 |    69802 |   492040 |    61268 |     1883 |  20 |  4.189 |
1623.60/212.04	c (207,0) c |  6 |   3745 |    2134336 |     916500 |   222207 |    69105 |    68984 |   492589 |    61239 |     1883 |  20 |  4.189 |
1623.60/212.04	c (207,0) c |  7 |   3835 |    2148676 |     876607 |   224133 |   106956 |    71045 |   487940 |    62356 |     1883 |  20 |  4.168 |
1623.60/212.04	c (207,0) c 
1623.60/212.04	c (207,0) c synthesis     7133362 conflicts  2805964526 propagations     4433 conflicts/sec  1743604 propagations/sec
1623.60/212.04	c (207,0) c real: 206.891 s, cpu: 1609.29 s, memory: 785.53 Mb
1847.11/241.04	c (236,0) c
1847.11/241.04	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
1847.11/241.04	c (236,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1847.11/241.04	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
1847.11/241.04	c (236,0) c |  0 |   4035 |    2376164 |    1012307 |   225102 |    88642 |    77583 |   520751 |    66500 |     2116 |  20 |  4.360 |
1847.11/241.04	c (236,0) c |  1 |   4207 |    2305623 |     971823 |   224181 |    71623 |    78582 |   517992 |    65957 |     2106 |  20 |  4.353 |
1847.11/241.04	c (236,0) c |  2 |   4344 |    2289643 |     930409 |   225991 |    97181 |    72435 |   526506 |    66652 |     2123 |  20 |  4.360 |
1847.11/241.04	c (236,0) c |  3 |   4579 |    2387429 |     937597 |   227334 |   104428 |    74499 |   524602 |    66955 |     2124 |  20 |  4.367 |
1847.11/241.04	c (236,0) c |  4 |   3793 |    2312651 |    1005640 |   223761 |   104709 |    77407 |   522159 |    66523 |     2125 |  20 |  4.367 |
1847.11/241.04	c (236,0) c |  5 |   4225 |    2283831 |     944634 |   227062 |   111213 |    74732 |   524645 |    66213 |     2126 |  20 |  4.382 |
1847.11/241.04	c (236,0) c |  6 |   4277 |    2336785 |     981421 |   225460 |   133738 |    70729 |   528606 |    67058 |     2126 |  20 |  4.375 |
1847.11/241.04	c (236,0) c |  7 |   4341 |    2352583 |     948287 |   226698 |   113905 |    75181 |   524212 |    67101 |     2125 |  20 |  4.367 |
1847.11/241.04	c (236,0) c 
1847.11/241.04	c (236,0) c synthesis     7732118 conflicts  3095730094 propagations     4219 conflicts/sec  1689228 propagations/sec
1847.11/241.04	c (236,0) c real: 235.891 s, cpu: 1832.63 s, memory: 855.00 Mb
1929.69/252.54	c (247,0) c
1929.69/252.54	c (247,0) c real time : 247.385 s
1929.69/252.54	c (247,0) c cpu time  : 1914.94 s
1929.69/252.54	c (247,0) c
1929.69/252.54	c (247,0) c
1929.69/252.54	c (247,0) c
1929.69/252.54	c (247,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1929.69/252.54	c (247,0) c
1929.69/252.54	c (247,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.54	c (247,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1929.69/252.54	c (247,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.54	c (247,0) c | Conflicts     |         7897766 |    1037307 |     997156 |     951034 |     956629 |    1025738 |     963400 |     999831 |     966671 |
1929.69/252.54	c (247,0) c | Decisions     |        19163384 |    2448883 |    2382493 |    2354060 |    2448238 |    2375014 |    2345121 |    2397715 |    2411860 |
1929.69/252.54	c (247,0) c | Propagations  |      3192552614 |  403648650 |  398768902 |  398235178 |  400970681 |  398331350 |  397380333 |  397894460 |  397323060 |
1929.69/252.54	c (247,0) c | ReduceDBs     |             213 |         27 |         27 |         26 |         26 |         27 |         26 |         27 |         27 |
1929.69/252.54	c (247,0) c | SimpDBs       |             954 |        115 |        118 |        125 |        122 |        118 |        119 |        113 |        124 |
1929.69/252.54	c (247,0) c | Restarts      |           35524 |       4243 |       4473 |       4541 |       4808 |       3994 |       4434 |       4469 |       4562 |
1929.69/252.54	c (247,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1929.69/252.54	c (247,0) c | PropBinClauses|      5369368733 |  679232778 |  669236398 |  669078870 |  672967699 |  673440652 |  668242198 |  669244289 |  667925849 |
1929.69/252.54	c (247,0) c | PropPreBlocker|     72526165720 | 9025024544 | 9023554506 | 9108625438 | 9093213927 | 9052283823 | 9084651073 | 9070013234 | 9068799175 |
1929.69/252.54	c (247,0) c | PropNotBlocker|     14009234180 | 1759914233 | 1769791160 | 1736078003 | 1747246403 | 1748244333 | 1759393614 | 1735148786 | 1753417648 |
1929.69/252.54	c (247,0) c | LitFullScans  |    105934471520 |13239145691 |13238573773 |13241321881 |13237573527 |13249011488 |13246752300 |13243649094 |13238443766 |
1929.69/252.54	c (247,0) c | LitScanFracts |        21313130 |    3135471 |    2566004 |    2326208 |    1571821 |    3676711 |    2492125 |    3110135 |    2434655 |
1929.69/252.54	c (247,0) c | DecisionLevel0|           35853 |       4288 |       4514 |       4571 |       4843 |       4044 |       4476 |       4513 |       4604 |
1929.69/252.54	c (247,0) c | Periods       |           17650 |       2206 |       2206 |       2206 |       2206 |       2207 |       2207 |       2206 |       2206 |
1929.69/252.54	c (247,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1929.69/252.54	c (247,0) c | Avg_Trail     |                 |       5068 |       5229 |       5595 |       5404 |       5229 |       5483 |       5216 |       5453 |
1929.69/252.54	c (247,0) c | Avg_DL        |                 |         38 |         39 |         42 |         41 |         39 |         40 |         39 |         42 |
1929.69/252.54	c (247,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1929.69/252.54	c (247,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1929.69/252.54	c (247,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.54	c (247,0) c | Exported      |          613887 |      79953 |      80106 |      73907 |      75899 |      79484 |      76149 |      71879 |      76510 |
1929.69/252.54	c (247,0) c | Imported      |         4273603 |     530945 |     530632 |     536880 |     534868 |     531687 |     534972 |     539398 |     534221 |
1929.69/252.54	c (247,0) c | Good          |           42758 |       5269 |       5487 |       5334 |       5289 |       5323 |       5351 |       5354 |       5351 |
1929.69/252.54	c (247,0) c | Purge         |         4230845 |     525676 |     525145 |     531546 |     529579 |     526364 |     529621 |     534044 |     528870 |
1929.69/252.54	c (247,0) c | Promoted      |          547476 |      68612 |      67614 |      68642 |      68602 |      68368 |      67988 |      68918 |      68732 |
1929.69/252.54	c (247,0) c | Remove_Imp    |         2905760 |     356433 |     362466 |     358787 |     360798 |     353726 |     356553 |     376334 |     380663 |
1929.69/252.54	c (247,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1929.69/252.54	c (247,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.54	c (247,0) c | Unaries       |                 |         45 |         41 |         30 |         35 |         50 |         42 |         44 |         42 |
1929.69/252.54	c (247,0) c | Binaries      |                 |        842 |        621 |        774 |        820 |        791 |        761 |        754 |        766 |
1929.69/252.54	c (247,0) c | Glues         |                 |       7518 |       7396 |       7541 |       7668 |       7516 |       7711 |       7255 |       7429 |
1929.69/252.54	c (247,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.54	c (247,0) c | Orig_Seen     |            87 % |     226223 |     225417 |     226920 |     228115 |     224691 |     227893 |     226466 |     227649 |
1929.69/252.54	c (247,0) c | Diff Orig seen|                 | -      697 | -     1503 |      X     |       1195 | -     2229 |        973 | -      454 |        729 |
1929.69/252.54	c (247,0) c | Hamming       |            22 % |       3341 |       2676 |      X     |       2705 |       3590 |       3058 |       3363 |       3301 |
1929.69/252.54	c (247,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.54	c (247,0) c | RunningTime   |                 |  241.4  98%|  244.8  99%|  239.4  98%|  242.5  99%|  235.2  96%|  241.2  98%|  233.2  95%|  241.6  98%|
1929.69/252.54	c (247,0) c | WaitingTime   |                 |    4.3   2%|    1.7   1%|    5.7   2%|    2.7   1%|    9.9   4%|    3.9   2%|   11.9   5%|    3.7   2%|
1929.69/252.54	c (247,0) c | ExchangingTime|                 |    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.3   0%|    0.2   0%|    0.2   0%|    0.2   0%|
1929.69/252.54	c (247,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%|
1929.69/252.54	c (247,0) c | SolvingTime   |                 |  245.9     |  246.8     |  245.3     |  245.5     |  245.3     |  245.3     |  245.3     |  245.5     |
1929.69/252.54	c (247,0) c | PropagationTim|                 |  221.2  90%|  222.5  90%|  221.0  90%|  220.3  90%|  219.9  90%|  221.0  90%|  221.2  90%|  220.1  90%|
1929.69/252.54	c (247,0) c | AnalysisTime  |                 |   13.7   6%|   12.8   5%|   12.8   5%|   13.8   6%|   14.1   6%|   12.9   5%|   12.8   5%|   13.9   6%|
1929.69/252.54	c (247,0) c | ReductionTime |                 |    2.1   1%|    2.1   1%|    2.0   1%|    2.0   1%|    2.1   1%|    2.0   1%|    2.1   1%|    2.1   1%|
1929.69/252.54	c (247,0) c | SimplifyTime  |                 |    2.3   1%|    2.6   1%|    2.8   1%|    2.6   1%|    2.6   1%|    2.6   1%|    2.6   1%|    2.6   1%|
1929.69/252.54	c (247,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%|
1929.69/252.54	c (247,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%|
1929.69/252.54	c (247,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.54	c (247,0) c
1929.69/252.54	c (247,0) c
1929.69/252.54	c (247,0) c Threads : 8
1929.69/252.54	c (247,0) c Winner : 2
1929.69/252.54	c (247,0) c Conflicts_0 : 1037307
1929.69/252.54	c (247,0) c Conflicts_1 : 997156
1929.69/252.54	c (247,0) c Conflicts_2 : 951034
1929.69/252.54	c (247,0) c Conflicts_3 : 956629
1929.69/252.54	c (247,0) c Conflicts_4 : 1025738
1929.69/252.54	c (247,0) c Conflicts_5 : 963400
1929.69/252.54	c (247,0) c Conflicts_6 : 999831
1929.69/252.54	c (247,0) c Conflicts_7 : 966671
1929.69/252.54	c (247,0) c Conflicts_total : 7897766
1929.69/252.54	c (247,0) c Conflicts_winner : 951034
1929.69/252.54	c (247,0) c Decisions_0 : 2448883
1929.69/252.54	c (247,0) c Decisions_1 : 2382493
1929.69/252.54	c (247,0) c Decisions_2 : 2354060
1929.69/252.54	c (247,0) c Decisions_3 : 2448238
1929.69/252.54	c (247,0) c Decisions_4 : 2375014
1929.69/252.54	c (247,0) c Decisions_5 : 2345121
1929.69/252.54	c (247,0) c Decisions_6 : 2397715
1929.69/252.54	c (247,0) c Decisions_7 : 2411860
1929.69/252.54	c (247,0) c Decisions_total : 19163384
1929.69/252.54	c (247,0) c Decisions_winner : 2354060
1929.69/252.54	c (247,0) c Propagations_0 : 403648650
1929.69/252.54	c (247,0) c Propagations_1 : 398768902
1929.69/252.54	c (247,0) c Propagations_2 : 398235178
1929.69/252.54	c (247,0) c Propagations_3 : 400970681
1929.69/252.54	c (247,0) c Propagations_4 : 398331350
1929.69/252.54	c (247,0) c Propagations_5 : 397380333
1929.69/252.54	c (247,0) c Propagations_6 : 397894460
1929.69/252.54	c (247,0) c Propagations_7 : 397323060
1929.69/252.54	c (247,0) c Propagations_total : 3192552614
1929.69/252.54	c (247,0) c Propagations_winner : 398235178
1929.69/252.54	c (247,0) c ReduceDBs_0 : 27
1929.69/252.54	c (247,0) c ReduceDBs_1 : 27
1929.69/252.54	c (247,0) c ReduceDBs_2 : 26
1929.69/252.54	c (247,0) c ReduceDBs_3 : 26
1929.69/252.54	c (247,0) c ReduceDBs_4 : 27
1929.69/252.54	c (247,0) c ReduceDBs_5 : 26
1929.69/252.54	c (247,0) c ReduceDBs_6 : 27
1929.69/252.54	c (247,0) c ReduceDBs_7 : 27
1929.69/252.54	c (247,0) c ReduceDBs_total : 213
1929.69/252.54	c (247,0) c ReduceDBs_winner : 26
1929.69/252.54	c (247,0) c SimpDBs_0 : 115
1929.69/252.54	c (247,0) c SimpDBs_1 : 118
1929.69/252.54	c (247,0) c SimpDBs_2 : 125
1929.69/252.54	c (247,0) c SimpDBs_3 : 122
1929.69/252.54	c (247,0) c SimpDBs_4 : 118
1929.69/252.54	c (247,0) c SimpDBs_5 : 119
1929.69/252.54	c (247,0) c SimpDBs_6 : 113
1929.69/252.54	c (247,0) c SimpDBs_7 : 124
1929.69/252.54	c (247,0) c SimpDBs_total : 954
1929.69/252.54	c (247,0) c SimpDBs_winner : 125
1929.69/252.54	c (247,0) c Restarts_0 : 4243
1929.69/252.54	c (247,0) c Restarts_1 : 4473
1929.69/252.54	c (247,0) c Restarts_2 : 4541
1929.69/252.54	c (247,0) c Restarts_3 : 4808
1929.69/252.54	c (247,0) c Restarts_4 : 3994
1929.69/252.54	c (247,0) c Restarts_5 : 4434
1929.69/252.54	c (247,0) c Restarts_6 : 4469
1929.69/252.54	c (247,0) c Restarts_7 : 4562
1929.69/252.54	c (247,0) c Restarts_total : 35524
1929.69/252.54	c (247,0) c Restarts_winner : 4541
1929.69/252.54	c (247,0) c ForcedImports_0 : 0
1929.69/252.54	c (247,0) c ForcedImports_1 : 0
1929.69/252.54	c (247,0) c ForcedImports_2 : 0
1929.69/252.54	c (247,0) c ForcedImports_3 : 0
1929.69/252.54	c (247,0) c ForcedImports_4 : 0
1929.69/252.54	c (247,0) c ForcedImports_5 : 0
1929.69/252.54	c (247,0) c ForcedImports_6 : 0
1929.69/252.54	c (247,0) c ForcedImports_7 : 0
1929.69/252.54	c (247,0) c ForcedImports_total : 0
1929.69/252.54	c (247,0) c ForcedImports_winner : 0
1929.69/252.54	c (247,0) c PropsBinClauses_0 : 679232778
1929.69/252.54	c (247,0) c PropsBinClauses_1 : 669236398
1929.69/252.54	c (247,0) c PropsBinClauses_2 : 669078870
1929.69/252.54	c (247,0) c PropsBinClauses_3 : 672967699
1929.69/252.54	c (247,0) c PropsBinClauses_4 : 673440652
1929.69/252.54	c (247,0) c PropsBinClauses_5 : 668242198
1929.69/252.54	c (247,0) c PropsBinClauses_6 : 669244289
1929.69/252.54	c (247,0) c PropsBinClauses_7 : 667925849
1929.69/252.54	c (247,0) c PropsBinClauses_total : 5369368733
1929.69/252.54	c (247,0) c PropsBinClauses_winner : 669078870
1929.69/252.54	c (247,0) c PropsPreBlocker_0 : 9025024544
1929.69/252.54	c (247,0) c PropsPreBlocker_1 : 9023554506
1929.69/252.54	c (247,0) c PropsPreBlocker_2 : 9108625438
1929.69/252.54	c (247,0) c PropsPreBlocker_3 : 9093213927
1929.69/252.54	c (247,0) c PropsPreBlocker_4 : 9052283823
1929.69/252.54	c (247,0) c PropsPreBlocker_5 : 9084651073
1929.69/252.54	c (247,0) c PropsPreBlocker_6 : 9070013234
1929.69/252.54	c (247,0) c PropsPreBlocker_7 : 9068799175
1929.69/252.54	c (247,0) c PropsPreBlocker_total : 72526165720
1929.69/252.54	c (247,0) c PropsPreBlocker_winner : 9108625438
1929.69/252.54	c (247,0) c PropsNotBlocker_0 : 1759914233
1929.69/252.54	c (247,0) c PropsNotBlocker_1 : 1769791160
1929.69/252.54	c (247,0) c PropsNotBlocker_2 : 1736078003
1929.69/252.54	c (247,0) c PropsNotBlocker_3 : 1747246403
1929.69/252.54	c (247,0) c PropsNotBlocker_4 : 1748244333
1929.69/252.54	c (247,0) c PropsNotBlocker_5 : 1759393614
1929.69/252.54	c (247,0) c PropsNotBlocker_6 : 1735148786
1929.69/252.54	c (247,0) c PropsNotBlocker_7 : 1753417648
1929.69/252.54	c (247,0) c PropsNotBlocker_total : 14009234180
1929.69/252.54	c (247,0) c PropsNotBlocker_winner : 1736078003
1929.69/252.54	c (247,0) c PropsLitFullScans_0 : 13239145691
1929.69/252.54	c (247,0) c PropsLitFullScans_1 : 13238573773
1929.69/252.54	c (247,0) c PropsLitFullScans_2 : 13241321881
1929.69/252.54	c (247,0) c PropsLitFullScans_3 : 13237573527
1929.69/252.54	c (247,0) c PropsLitFullScans_4 : 13249011488
1929.69/252.54	c (247,0) c PropsLitFullScans_5 : 13246752300
1929.69/252.54	c (247,0) c PropsLitFullScans_6 : 13243649094
1929.69/252.54	c (247,0) c PropsLitFullScans_7 : 13238443766
1929.69/252.54	c (247,0) c PropsLitFullScans_total : 105934471520
1929.69/252.54	c (247,0) c PropsLitFullScans_winner : 13241321881
1929.69/252.54	c (247,0) c LitScanFractions_0 : 3135471
1929.69/252.54	c (247,0) c LitScanFractions_1 : 2566004
1929.69/252.54	c (247,0) c LitScanFractions_2 : 2326208
1929.69/252.54	c (247,0) c LitScanFractions_3 : 1571821
1929.69/252.54	c (247,0) c LitScanFractions_4 : 3676711
1929.69/252.54	c (247,0) c LitScanFractions_5 : 2492125
1929.69/252.54	c (247,0) c LitScanFractions_6 : 3110135
1929.69/252.54	c (247,0) c LitScanFractions_7 : 2434655
1929.69/252.54	c (247,0) c LitScanFractions_total : 21313130
1929.69/252.54	c (247,0) c LitScanFractions_winner : 2326208
1929.69/252.54	c (247,0) c DecisionLevel0_0 : 4288
1929.69/252.54	c (247,0) c DecisionLevel0_1 : 4514
1929.69/252.54	c (247,0) c DecisionLevel0_2 : 4571
1929.69/252.54	c (247,0) c DecisionLevel0_3 : 4843
1929.69/252.54	c (247,0) c DecisionLevel0_4 : 4044
1929.69/252.54	c (247,0) c DecisionLevel0_5 : 4476
1929.69/252.54	c (247,0) c DecisionLevel0_6 : 4513
1929.69/252.54	c (247,0) c DecisionLevel0_7 : 4604
1929.69/252.54	c (247,0) c DecisionLevel0_total : 35853
1929.69/252.54	c (247,0) c DecisionLevel0_winner : 4571
1929.69/252.54	c (247,0) c Periods_0 : 2206
1929.69/252.54	c (247,0) c Periods_1 : 2206
1929.69/252.54	c (247,0) c Periods_2 : 2206
1929.69/252.54	c (247,0) c Periods_3 : 2206
1929.69/252.54	c (247,0) c Periods_4 : 2207
1929.69/252.54	c (247,0) c Periods_5 : 2207
1929.69/252.54	c (247,0) c Periods_6 : 2206
1929.69/252.54	c (247,0) c Periods_7 : 2206
1929.69/252.54	c (247,0) c Periods_total : 17650
1929.69/252.54	c (247,0) c Periods_winner : 2206
1929.69/252.54	c (247,0) c Margin_0 : 20
1929.69/252.54	c (247,0) c Margin_1 : 20
1929.69/252.54	c (247,0) c Margin_2 : 20
1929.69/252.54	c (247,0) c Margin_3 : 20
1929.69/252.54	c (247,0) c Margin_4 : 20
1929.69/252.54	c (247,0) c Margin_5 : 20
1929.69/252.54	c (247,0) c Margin_6 : 20
1929.69/252.54	c (247,0) c Margin_7 : 20
1929.69/252.54	c (247,0) c Margin_total : 160
1929.69/252.54	c (247,0) c Margin_winner : 20
1929.69/252.54	c (247,0) c Exported_0 : 79953
1929.69/252.54	c (247,0) c Exported_1 : 80106
1929.69/252.54	c (247,0) c Exported_2 : 73907
1929.69/252.54	c (247,0) c Exported_3 : 75899
1929.69/252.55	c (247,0) c Exported_4 : 79484
1929.69/252.55	c (247,0) c Exported_5 : 76149
1929.69/252.55	c (247,0) c Exported_6 : 71879
1929.69/252.55	c (247,0) c Exported_7 : 76510
1929.69/252.55	c (247,0) c Exported_total : 613887
1929.69/252.55	c (247,0) c Exported_winner : 73907
1929.69/252.55	c (247,0) c Imported_0 : 530945
1929.69/252.55	c (247,0) c Imported_1 : 530632
1929.69/252.55	c (247,0) c Imported_2 : 536880
1929.69/252.55	c (247,0) c Imported_3 : 534868
1929.69/252.55	c (247,0) c Imported_4 : 531687
1929.69/252.55	c (247,0) c Imported_5 : 534972
1929.69/252.55	c (247,0) c Imported_6 : 539398
1929.69/252.55	c (247,0) c Imported_7 : 534221
1929.69/252.55	c (247,0) c Imported_total : 4273603
1929.69/252.55	c (247,0) c Imported_winner : 536880
1929.69/252.55	c (247,0) c Good_0 : 5269
1929.69/252.55	c (247,0) c Good_1 : 5487
1929.69/252.55	c (247,0) c Good_2 : 5334
1929.69/252.55	c (247,0) c Good_3 : 5289
1929.69/252.55	c (247,0) c Good_4 : 5323
1929.69/252.55	c (247,0) c Good_5 : 5351
1929.69/252.55	c (247,0) c Good_6 : 5354
1929.69/252.55	c (247,0) c Good_7 : 5351
1929.69/252.55	c (247,0) c Good_total : 42758
1929.69/252.55	c (247,0) c Good_winner : 5334
1929.69/252.55	c (247,0) c Purge_0 : 525676
1929.69/252.55	c (247,0) c Purge_1 : 525145
1929.69/252.55	c (247,0) c Purge_2 : 531546
1929.69/252.55	c (247,0) c Purge_3 : 529579
1929.69/252.55	c (247,0) c Purge_4 : 526364
1929.69/252.55	c (247,0) c Purge_5 : 529621
1929.69/252.55	c (247,0) c Purge_6 : 534044
1929.69/252.55	c (247,0) c Purge_7 : 528870
1929.69/252.55	c (247,0) c Purge_total : 4230845
1929.69/252.55	c (247,0) c Purge_winner : 531546
1929.69/252.55	c (247,0) c Promoted_0 : 68612
1929.69/252.55	c (247,0) c Promoted_1 : 67614
1929.69/252.55	c (247,0) c Promoted_2 : 68642
1929.69/252.55	c (247,0) c Promoted_3 : 68602
1929.69/252.55	c (247,0) c Promoted_4 : 68368
1929.69/252.55	c (247,0) c Promoted_5 : 67988
1929.69/252.55	c (247,0) c Promoted_6 : 68918
1929.69/252.55	c (247,0) c Promoted_7 : 68732
1929.69/252.55	c (247,0) c Promoted_total : 547476
1929.69/252.55	c (247,0) c Promoted_winner : 68642
1929.69/252.55	c (247,0) c Remove_Imp_0 : 356433
1929.69/252.55	c (247,0) c Remove_Imp_1 : 362466
1929.69/252.55	c (247,0) c Remove_Imp_2 : 358787
1929.69/252.55	c (247,0) c Remove_Imp_3 : 360798
1929.69/252.55	c (247,0) c Remove_Imp_4 : 353726
1929.69/252.55	c (247,0) c Remove_Imp_5 : 356553
1929.69/252.55	c (247,0) c Remove_Imp_6 : 376334
1929.69/252.55	c (247,0) c Remove_Imp_7 : 380663
1929.69/252.55	c (247,0) c Remove_Imp_total : 2905760
1929.69/252.55	c (247,0) c Remove_Imp_winner : 358787
1929.69/252.55	c (247,0) c Blocked_Reuse_0 : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_1 : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_2 : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_3 : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_4 : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_5 : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_6 : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_7 : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_total : 0
1929.69/252.55	c (247,0) c Blocked_Reuse_winner : 0
1929.69/252.55	c (247,0) c Unaries_0 : 45
1929.69/252.55	c (247,0) c Unaries_1 : 41
1929.69/252.55	c (247,0) c Unaries_2 : 30
1929.69/252.55	c (247,0) c Unaries_3 : 35
1929.69/252.55	c (247,0) c Unaries_4 : 50
1929.69/252.55	c (247,0) c Unaries_5 : 42
1929.69/252.55	c (247,0) c Unaries_6 : 44
1929.69/252.55	c (247,0) c Unaries_7 : 42
1929.69/252.55	c (247,0) c Unaries_total : 329
1929.69/252.55	c (247,0) c Unaries_winner : 30
1929.69/252.55	c (247,0) c Binaries_0 : 842
1929.69/252.55	c (247,0) c Binaries_1 : 621
1929.69/252.55	c (247,0) c Binaries_2 : 774
1929.69/252.55	c (247,0) c Binaries_3 : 820
1929.69/252.55	c (247,0) c Binaries_4 : 791
1929.69/252.55	c (247,0) c Binaries_5 : 761
1929.69/252.55	c (247,0) c Binaries_6 : 754
1929.69/252.55	c (247,0) c Binaries_7 : 766
1929.69/252.55	c (247,0) c Binaries_total : 6129
1929.69/252.55	c (247,0) c Binaries_winner : 774
1929.69/252.55	c (247,0) c Glues_0 : 7518
1929.69/252.55	c (247,0) c Glues_1 : 7396
1929.69/252.55	c (247,0) c Glues_2 : 7541
1929.69/252.55	c (247,0) c Glues_3 : 7668
1929.69/252.55	c (247,0) c Glues_4 : 7516
1929.69/252.55	c (247,0) c Glues_5 : 7711
1929.69/252.55	c (247,0) c Glues_6 : 7255
1929.69/252.55	c (247,0) c Glues_7 : 7429
1929.69/252.55	c (247,0) c Glues_total : 60034
1929.69/252.55	c (247,0) c Glues_winner : 7541
1929.69/252.55	c (247,0) c RunningTime_0 : 241.371738
1929.69/252.55	c (247,0) c RunningTime_1 : 244.784598
1929.69/252.55	c (247,0) c RunningTime_2 : 239.364333
1929.69/252.55	c (247,0) c RunningTime_3 : 242.511481
1929.69/252.55	c (247,0) c RunningTime_4 : 235.184026
1929.69/252.55	c (247,0) c RunningTime_5 : 241.183601
1929.69/252.55	c (247,0) c RunningTime_6 : 233.193355
1929.69/252.55	c (247,0) c RunningTime_7 : 241.550396
1929.69/252.55	c (247,0) c RunningTime_total : 1919.143528
1929.69/252.55	c (247,0) c RunningTime_winner : 239.364333
1929.69/252.55	c (247,0) c WaitingTime_0 : 4.278960
1929.69/252.55	c (247,0) c WaitingTime_1 : 1.704935
1929.69/252.55	c (247,0) c WaitingTime_2 : 5.694741
1929.69/252.55	c (247,0) c WaitingTime_3 : 2.691458
1929.69/252.55	c (247,0) c WaitingTime_4 : 9.872839
1929.69/252.55	c (247,0) c WaitingTime_5 : 3.886560
1929.69/252.55	c (247,0) c WaitingTime_6 : 11.868466
1929.69/252.55	c (247,0) c WaitingTime_7 : 3.719358
1929.69/252.55	c (247,0) c WaitingTime_total : 43.717316
1929.69/252.55	c (247,0) c WaitingTime_winner : 5.694741
1929.69/252.55	c (247,0) c ExchangingTime_0 : 0.244896
1929.69/252.55	c (247,0) c ExchangingTime_1 : 0.249669
1929.69/252.55	c (247,0) c ExchangingTime_2 : 0.246874
1929.69/252.55	c (247,0) c ExchangingTime_3 : 0.247744
1929.69/252.55	c (247,0) c ExchangingTime_4 : 0.259854
1929.69/252.55	c (247,0) c ExchangingTime_5 : 0.245174
1929.69/252.55	c (247,0) c ExchangingTime_6 : 0.247941
1929.69/252.55	c (247,0) c ExchangingTime_7 : 0.226225
1929.69/252.55	c (247,0) c ExchangingTime_total : 1.968378
1929.69/252.55	c (247,0) c ExchangingTime_winner : 0.246874
1929.69/252.55	c (247,0) c PeriodProcTime_0 : 0.023801
1929.69/252.55	c (247,0) c PeriodProcTime_1 : 0.021165
1929.69/252.55	c (247,0) c PeriodProcTime_2 : 0.020874
1929.69/252.55	c (247,0) c PeriodProcTime_3 : 0.017465
1929.69/252.55	c (247,0) c PeriodProcTime_4 : 0.021336
1929.69/252.55	c (247,0) c PeriodProcTime_5 : 0.016742
1929.69/252.55	c (247,0) c PeriodProcTime_6 : 0.022257
1929.69/252.55	c (247,0) c PeriodProcTime_7 : 0.016955
1929.69/252.55	c (247,0) c PeriodProcTime_total : 0.160595
1929.69/252.55	c (247,0) c PeriodProcTime_winner : 0.020874
1929.69/252.55	c (247,0) c SolvingTime_0 : 245.919394
1929.69/252.55	c (247,0) c SolvingTime_1 : 246.760367
1929.69/252.55	c (247,0) c SolvingTime_2 : 245.326821
1929.69/252.55	c (247,0) c SolvingTime_3 : 245.468148
1929.69/252.55	c (247,0) c SolvingTime_4 : 245.338055
1929.69/252.55	c (247,0) c SolvingTime_5 : 245.332077
1929.69/252.55	c (247,0) c SolvingTime_6 : 245.332020
1929.69/252.55	c (247,0) c SolvingTime_7 : 245.512935
1929.69/252.55	c (247,0) c SolvingTime_total : 1964.989817
1929.69/252.55	c (247,0) c SolvingTime_winner : 245.326821
1929.69/252.55	c (247,0) c PropagationTime_0 : 221.162749
1929.69/252.55	c (247,0) c PropagationTime_1 : 222.519086
1929.69/252.55	c (247,0) c PropagationTime_2 : 220.972475
1929.69/252.55	c (247,0) c PropagationTime_3 : 220.276716
1929.69/252.55	c (247,0) c PropagationTime_4 : 219.937656
1929.69/252.55	c (247,0) c PropagationTime_5 : 221.046642
1929.69/252.55	c (247,0) c PropagationTime_6 : 221.221308
1929.69/252.55	c (247,0) c PropagationTime_7 : 220.142567
1929.69/252.55	c (247,0) c PropagationTime_total : 1767.279198
1929.69/252.55	c (247,0) c PropagationTime_winner : 220.972475
1929.69/252.55	c (247,0) c AnalysisTime_0 : 13.687196
1929.69/252.55	c (247,0) c AnalysisTime_1 : 12.778094
1929.69/252.55	c (247,0) c AnalysisTime_2 : 12.823271
1929.69/252.55	c (247,0) c AnalysisTime_3 : 13.844697
1929.69/252.55	c (247,0) c AnalysisTime_4 : 14.097837
1929.69/252.55	c (247,0) c AnalysisTime_5 : 12.945402
1929.69/252.55	c (247,0) c AnalysisTime_6 : 12.845650
1929.69/252.55	c (247,0) c AnalysisTime_7 : 13.932627
1929.69/252.55	c (247,0) c AnalysisTime_total : 106.954774
1929.69/252.55	c (247,0) c AnalysisTime_winner : 12.823271
1929.69/252.55	c (247,0) c ReductionTime_0 : 2.061775
1929.69/252.55	c (247,0) c ReductionTime_1 : 2.107236
1929.69/252.55	c (247,0) c ReductionTime_2 : 2.001916
1929.69/252.55	c (247,0) c ReductionTime_3 : 2.027428
1929.69/252.55	c (247,0) c ReductionTime_4 : 2.090734
1929.69/252.55	c (247,0) c ReductionTime_5 : 1.981762
1929.69/252.55	c (247,0) c ReductionTime_6 : 2.089266
1929.69/252.55	c (247,0) c ReductionTime_7 : 2.131937
1929.69/252.55	c (247,0) c ReductionTime_total : 16.492053
1929.69/252.55	c (247,0) c ReductionTime_winner : 2.001916
1929.69/252.55	c (247,0) c SimplifyTime_0 : 2.318368
1929.69/252.55	c (247,0) c SimplifyTime_1 : 2.613474
1929.69/252.55	c (247,0) c SimplifyTime_2 : 2.783219
1929.69/252.55	c (247,0) c SimplifyTime_3 : 2.565653
1929.69/252.55	c (247,0) c SimplifyTime_4 : 2.590216
1929.69/252.55	c (247,0) c SimplifyTime_5 : 2.614941
1929.69/252.55	c (247,0) c SimplifyTime_6 : 2.567202
1929.69/252.55	c (247,0) c SimplifyTime_7 : 2.642618
1929.69/252.55	c (247,0) c SimplifyTime_total : 20.695690
1929.69/252.55	c (247,0) c SimplifyTime_winner : 2.783219
1929.69/252.55	c (247,0) c UsedRateTime_0 : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_1 : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_2 : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_3 : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_4 : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_5 : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_6 : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_7 : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_total : 0.000000
1929.69/252.55	c (247,0) c UsedRateTime_winner : 0.000000
1929.69/252.55	c (247,0) c OverlapRateTime_0 : 0.000000
1929.69/252.55	c (247,0) c OverlapRateTime_1 : 0.000000
1929.69/252.55	c (247,0) c OverlapRateTime_2 : 0.000000
1929.69/252.55	c (247,0) c OverlapRateTime_3 : 0.000000
1929.69/252.55	c (247,0) c OverlapRateTime_4 : 0.000000
1929.69/252.55	c (247,0) c OverlapRateTime_5 : 0.000000
1929.69/252.56	c (247,0) c OverlapRateTime_6 : 0.000000
1929.69/252.56	c (247,0) c OverlapRateTime_7 : 0.000000
1929.69/252.56	c (247,0) c OverlapRateTime_total : 0.000000
1929.69/252.56	c (247,0) c OverlapRateTime_winner : 0.000000
1929.69/252.56	c (247,0) c
1929.69/252.56	c (247,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1929.69/252.56	c (247,0) c
1929.69/252.56	c (247,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.56	c (247,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1929.69/252.56	c (247,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.56	c (247,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1929.69/252.56	c (247,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1929.69/252.56	c (247,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1929.69/252.56	c (247,0) c | Initial random_seed   | 1397250077 |  926136643 | 1411134974 |  131062931 |  894420700 | 1788246029 | 1743550735 | 1698987208 |
1929.69/252.56	c (247,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1929.69/252.56	c (247,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1929.69/252.56	c (247,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1929.69/252.56	c (247,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1929.69/252.56	c (247,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1929.69/252.56	c (247,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1929.69/252.56	c (247,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1929.69/252.56	c (247,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1929.69/252.56	c (247,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1929.69/252.56	c (247,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1929.69/252.56	c (247,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1929.69/252.56	c (247,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.69/252.56	c (247,0) 
1929.69/252.56	c (247,0) s SATISFIABLE
1929.92/252.60	c (247,0) SatSolver.solve End
1929.92/252.60	c (247,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1929.92/252.60	c (247,0) Show results Begin
1930.13/252.70	c (247,0) x[0] = 0
1930.13/252.70	c (247,0) x[1] = 10
1930.13/252.70	c (247,0) x[2] = 4
1930.13/252.70	c (247,0) x[3] = 14
1930.13/252.70	c (247,0) x[4] = 31
1930.13/252.70	c (247,0) x[5] = 37
1930.13/252.70	c (247,0) x[6] = 27
1930.13/252.70	c (247,0) x[7] = 12
1930.13/252.70	c (247,0) x[8] = 2
1930.13/252.70	c (247,0) x[9] = 8
1930.13/252.70	c (247,0) x[10] = 25
1930.13/252.70	c (247,0) x[11] = 40
1930.13/252.70	c (247,0) x[12] = 57
1930.13/252.70	c (247,0) x[13] = 51
1930.13/252.70	c (247,0) x[14] = 61
1930.13/252.70	c (247,0) x[15] = 46
1930.13/252.70	c (247,0) x[16] = 63
1930.13/252.70	c (247,0) x[17] = 53
1930.13/252.70	c (247,0) x[18] = 38
1930.13/252.70	c (247,0) x[19] = 55
1930.13/252.70	c (247,0) x[20] = 45
1930.13/252.70	c (247,0) x[21] = 30
1930.13/252.70	c (247,0) x[22] = 47
1930.13/252.70	c (247,0) x[23] = 62
1930.13/252.70	c (247,0) x[24] = 52
1930.13/252.70	c (247,0) x[25] = 35
1930.13/252.70	c (247,0) x[26] = 18
1930.13/252.70	c (247,0) x[27] = 3
1930.13/252.70	c (247,0) x[28] = 13
1930.13/252.70	c (247,0) x[29] = 7
1930.13/252.70	c (247,0) x[30] = 22
1930.13/252.70	c (247,0) x[31] = 39
1930.13/252.70	c (247,0) x[32] = 54
1930.13/252.70	c (247,0) x[33] = 60
1930.13/252.70	c (247,0) x[34] = 50
1930.13/252.70	c (247,0) x[35] = 56
1930.13/252.70	c (247,0) x[36] = 41
1930.13/252.70	c (247,0) x[37] = 24
1930.13/252.70	c (247,0) x[38] = 34
1930.13/252.70	c (247,0) x[39] = 28
1930.13/252.70	c (247,0) x[40] = 11
1930.13/252.70	c (247,0) x[41] = 1
1930.13/252.70	c (247,0) x[42] = 16
1930.13/252.70	c (247,0) x[43] = 33
1930.13/252.70	c (247,0) x[44] = 48
1930.13/252.70	c (247,0) x[45] = 58
1930.13/252.70	c (247,0) x[46] = 43
1930.13/252.70	c (247,0) x[47] = 49
1930.13/252.70	c (247,0) x[48] = 59
1930.13/252.70	c (247,0) x[49] = 44
1930.13/252.70	c (247,0) x[50] = 29
1930.13/252.70	c (247,0) x[51] = 23
1930.13/252.70	c (247,0) x[52] = 6
1930.13/252.70	c (247,0) x[53] = 21
1930.13/252.70	c (247,0) x[54] = 15
1930.13/252.70	c (247,0) x[55] = 5
1930.13/252.70	c (247,0) x[56] = 20
1930.13/252.70	c (247,0) x[57] = 26
1930.13/252.70	c (247,0) x[58] = 9
1930.13/252.70	c (247,0) x[59] = 19
1930.13/252.70	c (247,0) x[60] = 36
1930.13/252.70	c (247,0) x[61] = 42
1930.13/252.70	c (247,0) x[62] = 32
1930.13/252.70	c (247,0) x[63] = 17
1930.13/252.70	s SATISFIABLE
1930.13/252.71	v <instantiation>
1930.13/252.71	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63]</list>
1930.13/252.71	v     <values>0 10 4 14 31 37 27 12 2 8 25 40 57 51 61 46 63 53 38 55 45 30 47 62 52 35 18 3 13 7 22 39 54 60 50 56 41 24 34 28 11 1 16 33 48 58 43 49 59 44 29 23 6 21 15 5 20 26 9 19 36 42 32 17</values>
1930.13/252.71	v </instantiation>
1930.13/252.71	c (247,0) Show results End
1930.13/252.71	c (247,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1930.13/252.71	c (247,0) 247,247,STOP-AFTER(ALL)
1930.13/252.71	c END-Prog: Tue Sep 24 17:44:03 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 (13552 MiB free)
  memory of node 1: 16384 MiB (12069 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100134 s]*
/proc/loadavg: 7.74 7.93 7.85 2/210 31686
/proc/meminfo: memFree=26142620/32770624 swapFree=66956840/67108860
[pid=31664] ppid=31661 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/31664/stat : 31664 (scop.sh) S 31661 31664 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510586910 115843072 348 33554432000 4194304 5098028 140726476467632 140726476464888 140108015833724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40660992 140726476468989 140726476469336 140726476469336 140726476472265 0
/proc/31664/statm: 28282 348 296 221 0 87 0
[pid=31667] ppid=31664 vsize=27314120 memory=106124 CPUtime=0.11 cores=0-7
/proc/31667/stat : 31667 (java) S 31664 31664 29338 0 -1 1077944320 6617 0 0 0 8 3 0 0 20 0 20 0 510586910 27969658880 26531 33554432000 4194304 4196468 140734052709472 140734052692016 140448342658807 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
/proc/31667/statm: 6828530 26531 2800 1 0 6790935 0
[pid=31667/tid=31668] ppid=31664 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/31667/task/31668/stat : 31668 (java) R 31664 31664 29338 0 -1 4202560 4714 0 0 0 6 2 0 0 20 0 20 0 510586911 27969658880 26531 33554432000 4194304 4196468 140734052709472 140448314481088 140448328726926 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31669] ppid=31664 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/31667/task/31669/stat : 31669 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 26531 33554432000 4194304 4196468 140734052709472 140448346901264 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31670] ppid=31664 vsize=27314120 memory=140340703401600 CPUtime=0 cores=0-7
/proc/31667/task/31670/stat : 31670 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 26531 33554432000 4194304 4196468 140734052709472 140448130296720 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31671] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31671/stat : 31671 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 26531 33554432000 4194304 4196468 140734052709472 140448129244176 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31672] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31672/stat : 31672 (java) S 31664 31664 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 27043 33554432000 4194304 4196468 140734052709472 140448128191632 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31673] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31673/stat : 31673 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 27043 33554432000 4194304 4196468 140734052709472 140448127138064 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31674] ppid=31664 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31667/task/31674/stat : 31674 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 27043 33554432000 4194304 4196468 140734052709472 140448126085520 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31675] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31675/stat : 31675 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 27043 33554432000 4194304 4196468 140734052709472 140448125032976 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31676] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31676/stat : 31676 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 27043 33554432000 4194304 4196468 140734052709472 140448123980432 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31677] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31677/stat : 31677 (java) S 31664 31664 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510586914 27969658880 27043 33554432000 4194304 4196468 140734052709472 140447715690992 140448342669954 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31678] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31678/stat : 31678 (java) S 31664 31664 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510586915 27969658880 27043 33554432000 4194304 4196468 140734052709472 140446302987680 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31679] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31679/stat : 31679 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586915 27969658880 27043 33554432000 4194304 4196468 140734052709472 140446034552304 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31680] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31680/stat : 31680 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 27043 33554432000 4194304 4196468 140734052709472 140445660043984 140448342677403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31681] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31681/stat : 31681 (java) S 31664 31664 29338 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 27043 33554432000 4194304 4196468 140734052709472 140447714637808 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31682] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31682/stat : 31682 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 27043 33554432000 4194304 4196468 140734052709472 140447713585264 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31683] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31683/stat : 31683 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 27043 33554432000 4194304 4196468 140734052709472 140446458177776 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31684] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31684/stat : 31684 (java) S 31664 31664 29338 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 27043 33554432000 4194304 4196468 140734052709472 140446457125232 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31685] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31685/stat : 31685 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 27043 33554432000 4194304 4196468 140734052709472 140445162138336 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31686] ppid=31664 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31667/task/31686/stat : 31686 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 27043 33554432000 4194304 4196468 140734052709472 140446456073136 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107516 KiB

[startup+0.210385 s]*
/proc/loadavg: 7.74 7.93 7.85 3/210 31686
/proc/meminfo: memFree=26121056/32770624 swapFree=66956840/67108860
[pid=31664] ppid=31661 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/31664/stat : 31664 (scop.sh) S 31661 31664 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510586910 115843072 348 33554432000 4194304 5098028 140726476467632 140726476464888 140108015833724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40660992 140726476468989 140726476469336 140726476469336 140726476472265 0
/proc/31664/statm: 28282 348 296 221 0 87 0
[pid=31667] ppid=31664 vsize=27314120 memory=125452 CPUtime=0.24 cores=0-7
/proc/31667/stat : 31667 (java) S 31664 31664 29338 0 -1 1077944320 12106 0 0 0 20 4 0 0 20 0 20 0 510586910 27969658880 31363 33554432000 4194304 4196468 140734052709472 140734052692016 140448342658807 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
/proc/31667/statm: 6828530 31363 2963 1 0 6790935 0
[pid=31667/tid=31668] ppid=31664 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/31667/task/31668/stat : 31668 (java) R 31664 31664 29338 0 -1 4202560 9822 0 0 0 16 4 0 0 20 0 20 0 510586911 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448314479888 140448324222359 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31669] ppid=31664 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/31667/task/31669/stat : 31669 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448346901264 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31670] ppid=31664 vsize=27314120 memory=140340703431195 CPUtime=0 cores=0-7
/proc/31667/task/31670/stat : 31670 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448130296720 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31671] ppid=31664 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31667/task/31671/stat : 31671 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448129244176 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31672] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31672/stat : 31672 (java) S 31664 31664 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448128191632 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31673] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31673/stat : 31673 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448127138064 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31674] ppid=31664 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31667/task/31674/stat : 31674 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448126085520 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31675] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31675/stat : 31675 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448125032976 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31676] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31676/stat : 31676 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 31363 33554432000 4194304 4196468 140734052709472 140448123980432 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31677] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31677/stat : 31677 (java) S 31664 31664 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510586914 27969658880 31363 33554432000 4194304 4196468 140734052709472 140447715690992 140448342669954 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31678] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31678/stat : 31678 (java) S 31664 31664 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510586915 27969658880 31363 33554432000 4194304 4196468 140734052709472 140446302987680 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31679] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31679/stat : 31679 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586915 27969658880 31363 33554432000 4194304 4196468 140734052709472 140446034552304 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31680] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31680/stat : 31680 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 31363 33554432000 4194304 4196468 140734052709472 140445660043984 140448342677403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31681] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31681/stat : 31681 (java) S 31664 31664 29338 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 31363 33554432000 4194304 4196468 140734052709472 140447714637808 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31682] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31682/stat : 31682 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 31363 33554432000 4194304 4196468 140734052709472 140447713585264 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31683] ppid=31664 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31667/task/31683/stat : 31683 (java) S 31664 31664 29338 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 31363 33554432000 4194304 4196468 140734052709472 140446458177776 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31684] ppid=31664 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/31667/task/31684/stat : 31684 (java) S 31664 31664 29338 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 510586918 27969658880 31363 33554432000 4194304 4196468 140734052709472 140446457125232 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31685] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31685/stat : 31685 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 31363 33554432000 4194304 4196468 140734052709472 140445162138336 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31686] ppid=31664 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31667/task/31686/stat : 31686 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 31363 33554432000 4194304 4196468 140734052709472 140446456073136 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126844 KiB

[startup+0.31029 s]*
/proc/loadavg: 7.74 7.93 7.85 2/210 31686
/proc/meminfo: memFree=26117644/32770624 swapFree=66956840/67108860
[pid=31664] ppid=31661 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/31664/stat : 31664 (scop.sh) S 31661 31664 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510586910 115843072 348 33554432000 4194304 5098028 140726476467632 140726476464888 140108015833724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40660992 140726476468989 140726476469336 140726476469336 140726476472265 0
/proc/31664/statm: 28282 348 296 221 0 87 0
[pid=31667] ppid=31664 vsize=27314120 memory=129568 CPUtime=0.42 cores=0-7
/proc/31667/stat : 31667 (java) S 31664 31664 29338 0 -1 1077944320 13297 0 0 0 37 5 0 0 20 0 20 0 510586910 27969658880 32392 33554432000 4194304 4196468 140734052709472 140734052692016 140448342658807 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
/proc/31667/statm: 6828530 32392 3006 1 0 6790935 0
[pid=31667/tid=31668] ppid=31664 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/31667/task/31668/stat : 31668 (java) R 31664 31664 29338 0 -1 4202560 10807 0 0 0 25 4 0 0 20 0 20 0 510586911 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448314488880 140448326739294 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31669] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31669/stat : 31669 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448346901264 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31670] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31670/stat : 31670 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448130296720 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31671] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31671/stat : 31671 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448129244176 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31672] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31672/stat : 31672 (java) S 31664 31664 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448128191632 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31673] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31673/stat : 31673 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448127138064 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31674] ppid=31664 vsize=27314120 memory=140340606626479 CPUtime=0 cores=0-7
/proc/31667/task/31674/stat : 31674 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448126085520 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31675] ppid=31664 vsize=27314120 memory=140340606628784 CPUtime=0 cores=0-7
/proc/31667/task/31675/stat : 31675 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448125032976 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31676] ppid=31664 vsize=27314120 memory=140340606631088 CPUtime=0 cores=0-7
/proc/31667/task/31676/stat : 31676 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27969658880 32392 33554432000 4194304 4196468 140734052709472 140448123980432 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31677] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31677/stat : 31677 (java) S 31664 31664 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510586914 27969658880 32392 33554432000 4194304 4196468 140734052709472 140447715690992 140448342669954 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31678] ppid=31664 vsize=27314120 memory=280681213276048 CPUtime=0 cores=0-7
/proc/31667/task/31678/stat : 31678 (java) S 31664 31664 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510586915 27969658880 32392 33554432000 4194304 4196468 140734052709472 140446302987680 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31679] ppid=31664 vsize=27314120 memory=280681213273744 CPUtime=0 cores=0-7
/proc/31667/task/31679/stat : 31679 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586915 27969658880 32392 33554432000 4194304 4196468 140734052709472 140446034552304 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31680] ppid=31664 vsize=27314120 memory=280681213280656 CPUtime=0 cores=0-7
/proc/31667/task/31680/stat : 31680 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 32392 33554432000 4194304 4196468 140734052709472 140445660043984 140448342677403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31681] ppid=31664 vsize=27314120 memory=280681213221936 CPUtime=0.01 cores=0-7
/proc/31667/task/31681/stat : 31681 (java) S 31664 31664 29338 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 20 0 510586918 27969658880 32392 33554432000 4194304 4196468 140734052709472 140447714637808 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31682] ppid=31664 vsize=27314120 memory=280681213294480 CPUtime=0.01 cores=0-7
/proc/31667/task/31682/stat : 31682 (java) R 31664 31664 29338 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 20 0 510586918 27969658880 32392 33554432000 4194304 4196468 140734052709472 140447713585264 140448323360324 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31683] ppid=31664 vsize=27314120 memory=280681213301392 CPUtime=0.01 cores=0-7
/proc/31667/task/31683/stat : 31683 (java) S 31664 31664 29338 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 20 0 510586918 27969658880 32392 33554432000 4194304 4196468 140734052709472 140446458177776 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31684] ppid=31664 vsize=27314120 memory=280681213299088 CPUtime=0.07 cores=0-7
/proc/31667/task/31684/stat : 31684 (java) S 31664 31664 29338 0 -1 1077944384 504 0 0 0 7 0 0 0 20 0 20 0 510586918 27969658880 32392 33554432000 4194304 4196468 140734052709472 140446457125232 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31685] ppid=31664 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31685/stat : 31685 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 32392 33554432000 4194304 4196468 140734052709472 140445162138336 140448342669013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31686] ppid=31664 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31667/task/31686/stat : 31686 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586918 27969658880 32392 33554432000 4194304 4196468 140734052709472 140446456073136 140448342669954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130960 KiB

[startup+0.701822 s]
/proc/loadavg: 7.74 7.93 7.85 2/210 31686
/proc/meminfo: memFree=26096932/32770624 swapFree=66956840/67108860
[pid=31664] ppid=31661 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/31664/stat : 31664 (scop.sh) S 31661 31664 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510586910 115843072 348 33554432000 4194304 5098028 140726476467632 140726476464888 140108015833724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40660992 140726476468989 140726476469336 140726476469336 140726476472265 0
/proc/31664/statm: 28282 348 296 221 0 87 0
[pid=31667] ppid=31664 vsize=27322516 memory=166084 CPUtime=1 cores=0-7
/proc/31667/stat : 31667 (java) S 31664 31664 29338 0 -1 1077944320 20625 0 0 0 93 7 0 0 20 0 20 0 510586910 27978256384 41521 33554432000 4194304 4196468 140734052709472 140734052692016 140448342658807 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
/proc/31667/statm: 6830629 41521 3209 1 0 6791959 0
[pid=31667/tid=31668] ppid=31664 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/31667/task/31668/stat : 31668 (java) R 31664 31664 29338 0 -1 1077944384 17567 0 0 0 62 6 0 0 20 0 20 0 510586911 27978256384 41521 33554432000 4194304 4196468 140734052709472 140448314495056 140448342669013 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31669] ppid=31664 vsize=27322516 memory=140340606837616 CPUtime=0 cores=0-7
/proc/31667/task/31669/stat : 31669 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27978256384 41521 33554432000 4194304 4196468 140734052709472 140448346901264 140448342669013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31670] ppid=31664 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/31667/task/31670/stat : 31670 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27978256384 41521 33554432000 4194304 4196468 140734052709472 140448130296720 140448342669013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0
[pid=31667/tid=31671] ppid=31664 vsize=27322516 memory=784 CPUtime=0 cores=0-7
/proc/31667/task/31671/stat : 31671 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510586913 27978256384 41521 33554432000 4194304 4196468 140734052709472 140448129244176 140448342669013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28798976 140734052717255 140734052717702 140734052717702 140734052720591 0

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

[pid=31688/tid=31690] ppid=31664 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/31688/task/31690/stat : 31690 (java) S 31664 31664 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510587355 8616062976 30249 33554432000 4194304 4196468 140726938238816 140430596463760 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31691] ppid=31664 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/31688/task/31691/stat : 31691 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587355 8616062976 30249 33554432000 4194304 4196468 140726938238816 140430402227216 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31692] ppid=31664 vsize=8414124 memory=53500 CPUtime=0 cores=0-7
/proc/31688/task/31692/stat : 31692 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510587355 8616062976 30249 33554432000 4194304 4196468 140726938238816 140430401174416 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31693] ppid=31664 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/31688/task/31693/stat : 31693 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587355 8616062976 30249 33554432000 4194304 4196468 140726938238816 140430400121616 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31694] ppid=31664 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/31688/task/31694/stat : 31694 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587355 8616062976 30249 33554432000 4194304 4196468 140726938238816 140430073825936 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31695] ppid=31664 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/31688/task/31695/stat : 31695 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587355 8616062976 30249 33554432000 4194304 4196468 140726938238816 140430072773136 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31696] ppid=31664 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/31688/task/31696/stat : 31696 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587355 8616062976 30249 33554432000 4194304 4196468 140726938238816 140430071720336 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31697] ppid=31664 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/31688/task/31697/stat : 31697 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587356 8616062976 30249 33554432000 4194304 4196468 140726938238816 140430070667536 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31698] ppid=31664 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/31688/task/31698/stat : 31698 (java) S 31664 31664 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510587357 8616062976 30249 33554432000 4194304 4196468 140726938238816 140429685705584 140430592232066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31699] ppid=31664 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/31688/task/31699/stat : 31699 (java) S 31664 31664 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510587357 8616062976 30249 33554432000 4194304 4196468 140726938238816 140429257336352 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31700] ppid=31664 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/31688/task/31700/stat : 31700 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587358 8616062976 30249 33554432000 4194304 4196468 140726938238816 140428988900720 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31701] ppid=31664 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/31688/task/31701/stat : 31701 (java) S 31664 31664 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587360 8616062976 30249 33554432000 4194304 4196468 140726938238816 140428614392144 140430592239515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31702] ppid=31664 vsize=8414124 memory=1472 CPUtime=0.06 cores=0-7
/proc/31688/task/31702/stat : 31702 (java) S 31664 31664 29338 0 -1 1077944384 553 0 0 0 6 0 0 0 20 0 24 0 510587360 8616062976 30249 33554432000 4194304 4196468 140726938238816 140429684652400 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31703] ppid=31664 vsize=8414124 memory=1804 CPUtime=0.06 cores=0-7
/proc/31688/task/31703/stat : 31703 (java) S 31664 31664 29338 0 -1 1077944384 474 0 0 0 6 0 0 0 20 0 24 0 510587360 8616062976 30249 33554432000 4194304 4196468 140726938238816 140429683599600 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31704] ppid=31664 vsize=8414124 memory=3624 CPUtime=0.04 cores=0-7
/proc/31688/task/31704/stat : 31704 (java) S 31664 31664 29338 0 -1 1077944384 143 0 0 0 4 0 0 0 20 0 24 0 510587360 8616062976 30249 33554432000 4194304 4196468 140726938238816 140429682546800 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31705] ppid=31664 vsize=8414124 memory=53500 CPUtime=0.2 cores=0-7
/proc/31688/task/31705/stat : 31705 (java) S 31664 31664 29338 0 -1 1077944384 725 0 0 0 20 0 0 0 20 0 24 0 510587360 8616062976 30249 33554432000 4194304 4196468 140726938238816 140429681494000 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31706] ppid=31664 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/31688/task/31706/stat : 31706 (java) S 31664 31664 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510587360 8616062976 30249 33554432000 4194304 4196468 140726938238816 140428116487264 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31707] ppid=31664 vsize=8414124 memory=2016 CPUtime=0.16 cores=0-7
/proc/31688/task/31707/stat : 31707 (java) S 31664 31664 29338 0 -1 1077944384 19 0 0 0 7 9 0 0 20 0 24 0 510587360 8616062976 30249 33554432000 4194304 4196468 140726938238816 140429680442416 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31709] ppid=31664 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/31688/task/31709/stat : 31709 (java) S 31664 31664 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510587426 8616062976 30249 33554432000 4194304 4196468 140726938238816 140429672408640 140430592245529 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31711] ppid=31664 vsize=8414124 memory=1548 CPUtime=0.01 cores=0-7
/proc/31688/task/31711/stat : 31711 (java) S 31664 31664 29338 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 510587426 8616062976 30249 33554432000 4194304 4196468 140726938238816 140427445386896 140430592242845 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31712] ppid=31664 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/31688/task/31712/stat : 31712 (java) S 31664 31664 29338 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510587426 8616062976 30249 33554432000 4194304 4196468 140726938238816 140427713822224 140430592242845 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31713] ppid=31664 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/31688/task/31713/stat : 31713 (java) S 31664 31664 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510587428 8616062976 30249 33554432000 4194304 4196468 140726938238816 140427176959024 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
Current children cumulated CPU time: 1929.59 s
Current children cumulated vsize: 9404112 KiB
Current children cumulated memory: 861448 KiB

[startup+252.601 s]
/proc/loadavg: 7.46 7.74 7.79 2/218 31746
/proc/meminfo: memFree=25386004/32770624 swapFree=66956840/67108860
[pid=31664] ppid=31661 vsize=113128 memory=1472 CPUtime=11.96 cores=0-7
/proc/31664/stat : 31664 (scop.sh) S 31661 31664 29338 0 -1 4202496 582 31343 0 0 0 0 1161 35 20 0 1 0 510586910 115843072 368 33554432000 4194304 5098028 140726476467632 140726476464376 140108015833724 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40660992 140726476468989 140726476469336 140726476469336 140726476472265 0
/proc/31664/statm: 28282 368 311 221 0 87 0
[pid=31688] ppid=31664 vsize=8414124 memory=131484 CPUtime=1917.96 cores=0-7
/proc/31688/stat : 31688 (java) S 31664 31664 29338 0 -1 1077944320 22859 918319 0 0 139 9 191494 154 20 0 23 0 510587354 8616062976 32871 33554432000 4194304 4196468 140726938238816 140726938221360 140430592220919 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
/proc/31688/statm: 2103531 32871 3218 1 0 2064875 0
[pid=31688/tid=31689] ppid=31664 vsize=8414124 memory=1408 CPUtime=1917.22 cores=0-7
/proc/31688/task/31689/stat : 31689 (java) S 31664 31664 29338 0 -1 1077944384 16404 918319 0 0 69 5 191494 154 20 0 23 0 510587354 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430564061088 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31690] ppid=31664 vsize=8414124 memory=1548 CPUtime=1916.48 cores=0-7
/proc/31688/task/31690/stat : 31690 (java) S 31664 31664 29338 0 -1 1077944384 2 918319 0 0 0 0 191494 154 20 0 23 0 510587355 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430596463760 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31691] ppid=31664 vsize=8414124 memory=7552 CPUtime=1916.48 cores=0-7
/proc/31688/task/31691/stat : 31691 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 23 0 510587355 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430402227216 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31692] ppid=31664 vsize=8414124 memory=3608 CPUtime=1916.48 cores=0-7
/proc/31688/task/31692/stat : 31692 (java) S 31664 31664 29338 0 -1 1077944384 3 918319 0 0 0 0 191494 154 20 0 23 0 510587355 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430401174416 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31693] ppid=31664 vsize=8414124 memory=1472 CPUtime=1916.48 cores=0-7
/proc/31688/task/31693/stat : 31693 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 23 0 510587355 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430400121616 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31694] ppid=31664 vsize=8414124 memory=120996 CPUtime=1916.48 cores=0-7
/proc/31688/task/31694/stat : 31694 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 23 0 510587355 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430073825936 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31695] ppid=31664 vsize=8414124 memory=711708 CPUtime=1916.48 cores=0-7
/proc/31688/task/31695/stat : 31695 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 23 0 510587355 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430072773136 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31696] ppid=31664 vsize=8414124 memory=1160 CPUtime=1916.48 cores=0-7
/proc/31688/task/31696/stat : 31696 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 23 0 510587355 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430071720336 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31697] ppid=31664 vsize=8414124 memory=8317482817917895235 CPUtime=1916.48 cores=0-7
/proc/31688/task/31697/stat : 31697 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 23 0 510587356 8616062976 32871 33554432000 4194304 4196468 140726938238816 140430070667536 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31698] ppid=31664 vsize=8414124 memory=4872558044660077418 CPUtime=1916.48 cores=0-7
/proc/31688/task/31698/stat : 31698 (java) S 31664 31664 29338 0 -1 1077944384 7 918319 0 0 0 0 191494 154 20 0 23 0 510587357 8616062976 32871 33554432000 4194304 4196468 140726938238816 140429685705584 140430592232066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31699] ppid=31664 vsize=8414124 memory=6196 CPUtime=1916.48 cores=0-7
/proc/31688/task/31699/stat : 31699 (java) S 31664 31664 29338 0 -1 1077944384 13 918319 0 0 0 0 191494 154 20 0 23 0 510587357 8616062976 32871 33554432000 4194304 4196468 140726938238816 140429257336352 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31700] ppid=31664 vsize=8414124 memory=784 CPUtime=1916.48 cores=0-7
/proc/31688/task/31700/stat : 31700 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 23 0 510587358 8616062976 32871 33554432000 4194304 4196468 140726938238816 140428988900720 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31701] ppid=31664 vsize=8414124 memory=1060 CPUtime=1916.48 cores=0-7
/proc/31688/task/31701/stat : 31701 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 23 0 510587360 8616062976 32871 33554432000 4194304 4196468 140726938238816 140428614392144 140430592239515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31702] ppid=31664 vsize=8414124 memory=1472 CPUtime=1916.56 cores=0-7
/proc/31688/task/31702/stat : 31702 (java) R 31664 31664 29338 0 -1 4202560 577 918319 0 0 8 0 191494 154 20 0 23 0 510587360 8616062976 32871 33554432000 4194304 4196468 140726938238816 140429684652400 140430577386501 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31703] ppid=31664 vsize=8414124 memory=120996 CPUtime=1916.57 cores=0-7
/proc/31688/task/31703/stat : 31703 (java) R 31664 31664 29338 0 -1 4202560 695 918319 0 0 9 0 191494 154 20 0 23 0 510587360 8616062976 32871 33554432000 4194304 4196468 140726938238816 140429683599600 140430576214101 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31704] ppid=31664 vsize=8414124 memory=-8598889476061950354 CPUtime=1916.55 cores=0-7
/proc/31688/task/31704/stat : 31704 (java) R 31664 31664 29338 0 -1 4202560 544 918319 0 0 7 0 191494 154 20 0 23 0 510587360 8616062976 32871 33554432000 4194304 4196468 140726938238816 140429682546896 140430577102528 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31705] ppid=31664 vsize=8414124 memory=1556 CPUtime=1916.71 cores=0-7
/proc/31688/task/31705/stat : 31705 (java) S 31664 31664 29338 0 -1 1077944384 1009 918319 0 0 23 0 191494 154 20 0 23 0 510587360 8616062976 32871 33554432000 4194304 4196468 140726938238816 140429681494000 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31706] ppid=31664 vsize=8414124 memory=928 CPUtime=1916.48 cores=0-7
/proc/31688/task/31706/stat : 31706 (java) S 31664 31664 29338 0 -1 1077944384 3 918319 0 0 0 0 191494 154 20 0 23 0 510587360 8616062976 32871 33554432000 4194304 4196468 140726938238816 140428116487264 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31707] ppid=31664 vsize=8414124 memory=1772 CPUtime=1916.64 cores=0-7
/proc/31688/task/31707/stat : 31707 (java) S 31664 31664 29338 0 -1 1077944384 19 918319 0 0 7 9 191494 154 20 0 23 0 510587360 8616062976 32871 33554432000 4194304 4196468 140726938238816 140429680442416 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31709] ppid=31664 vsize=8414124 memory=900 CPUtime=1916.48 cores=0-7
/proc/31688/task/31709/stat : 31709 (java) S 31664 31664 29338 0 -1 1077944384 25 918319 0 0 0 0 191494 154 20 0 23 0 510587426 8616062976 32871 33554432000 4194304 4196468 140726938238816 140429672407824 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31711] ppid=31664 vsize=8414124 memory=1444 CPUtime=1916.54 cores=0-7
/proc/31688/task/31711/stat : 31711 (java) R 31664 31664 29338 0 -1 4202560 2215 918319 0 0 5 1 191494 154 20 0 23 0 510587426 8616062976 32871 33554432000 4194304 4196468 140726938238816 140427445393104 140430082447395 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31713] ppid=31664 vsize=8414124 memory=2580 CPUtime=1916.48 cores=0-7
/proc/31688/task/31713/stat : 31713 (java) S 31664 31664 29338 0 -1 1077944384 8 918319 0 0 0 0 191494 154 20 0 23 0 510587428 8616062976 32871 33554432000 4194304 4196468 140726938238816 140427176958784 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
Current children cumulated CPU time: 1929.92 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 132956 KiB

[startup+252.701 s]
/proc/loadavg: 7.46 7.74 7.79 2/218 31746
/proc/meminfo: memFree=25386004/32770624 swapFree=66956840/67108860
[pid=31664] ppid=31661 vsize=113128 memory=1472 CPUtime=11.96 cores=0-7
/proc/31664/stat : 31664 (scop.sh) S 31661 31664 29338 0 -1 4202496 582 31343 0 0 0 0 1161 35 20 0 1 0 510586910 115843072 368 33554432000 4194304 5098028 140726476467632 140726476464376 140108015833724 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40660992 140726476468989 140726476469336 140726476469336 140726476472265 0
/proc/31664/statm: 28282 368 311 221 0 87 0
[pid=31688] ppid=31664 vsize=8283048 memory=135540 CPUtime=1918.17 cores=0-7
/proc/31688/stat : 31688 (java) S 31664 31664 29338 0 -1 1077944320 23317 918319 0 0 159 10 191494 154 20 0 22 0 510587354 8481841152 33885 33554432000 4194304 4196468 140726938238816 140726938221360 140430592220919 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
/proc/31688/statm: 2070762 33885 3224 1 0 2032106 0
[pid=31688/tid=31689] ppid=31664 vsize=8283048 memory=120996 CPUtime=1917.32 cores=0-7
/proc/31688/task/31689/stat : 31689 (java) R 31664 31664 29338 0 -1 4202560 16684 918319 0 0 79 5 191494 154 20 0 22 0 510587354 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430564059232 140430576301406 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31690] ppid=31664 vsize=8283048 memory=120996 CPUtime=1916.48 cores=0-7
/proc/31688/task/31690/stat : 31690 (java) S 31664 31664 29338 0 -1 1077944384 2 918319 0 0 0 0 191494 154 20 0 22 0 510587355 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430596463760 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31691] ppid=31664 vsize=8283048 memory=0 CPUtime=1916.48 cores=0-7
/proc/31688/task/31691/stat : 31691 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 22 0 510587355 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430402227216 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31692] ppid=31664 vsize=8283048 memory=710084 CPUtime=1916.48 cores=0-7
/proc/31688/task/31692/stat : 31692 (java) S 31664 31664 29338 0 -1 1077944384 3 918319 0 0 0 0 191494 154 20 0 22 0 510587355 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430401174416 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31693] ppid=31664 vsize=8283048 memory=164 CPUtime=1916.48 cores=0-7
/proc/31688/task/31693/stat : 31693 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 22 0 510587355 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430400121616 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31694] ppid=31664 vsize=8283048 memory=120996 CPUtime=1916.48 cores=0-7
/proc/31688/task/31694/stat : 31694 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 22 0 510587355 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430073825936 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31695] ppid=31664 vsize=8283048 memory=738980 CPUtime=1916.48 cores=0-7
/proc/31688/task/31695/stat : 31695 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 22 0 510587355 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430072773136 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31696] ppid=31664 vsize=8283048 memory=738112 CPUtime=1916.48 cores=0-7
/proc/31688/task/31696/stat : 31696 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 22 0 510587355 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430071720336 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31697] ppid=31664 vsize=8283048 memory=1072 CPUtime=1916.48 cores=0-7
/proc/31688/task/31697/stat : 31697 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 22 0 510587356 8481841152 33885 33554432000 4194304 4196468 140726938238816 140430070667536 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31698] ppid=31664 vsize=8283048 memory=6196 CPUtime=1916.48 cores=0-7
/proc/31688/task/31698/stat : 31698 (java) S 31664 31664 29338 0 -1 1077944384 7 918319 0 0 0 0 191494 154 20 0 22 0 510587357 8481841152 33885 33554432000 4194304 4196468 140726938238816 140429685705584 140430592232066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31699] ppid=31664 vsize=8283048 memory=0 CPUtime=1916.48 cores=0-7
/proc/31688/task/31699/stat : 31699 (java) S 31664 31664 29338 0 -1 1077944384 13 918319 0 0 0 0 191494 154 20 0 22 0 510587357 8481841152 33885 33554432000 4194304 4196468 140726938238816 140429257336352 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31700] ppid=31664 vsize=8283048 memory=0 CPUtime=1916.48 cores=0-7
/proc/31688/task/31700/stat : 31700 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 22 0 510587358 8481841152 33885 33554432000 4194304 4196468 140726938238816 140428988900720 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31701] ppid=31664 vsize=8283048 memory=4872558044660077418 CPUtime=1916.48 cores=0-7
/proc/31688/task/31701/stat : 31701 (java) S 31664 31664 29338 0 -1 1077944384 1 918319 0 0 0 0 191494 154 20 0 22 0 510587360 8481841152 33885 33554432000 4194304 4196468 140726938238816 140428614392144 140430592239515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31702] ppid=31664 vsize=8283048 memory=1620 CPUtime=1916.57 cores=0-7
/proc/31688/task/31702/stat : 31702 (java) S 31664 31664 29338 0 -1 1077944384 587 918319 0 0 9 0 191494 154 20 0 22 0 510587360 8481841152 33885 33554432000 4194304 4196468 140726938238816 140429684652400 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31703] ppid=31664 vsize=8283048 memory=120996 CPUtime=1916.58 cores=0-7
/proc/31688/task/31703/stat : 31703 (java) S 31664 31664 29338 0 -1 1077944384 715 918319 0 0 10 0 191494 154 20 0 22 0 510587360 8481841152 33885 33554432000 4194304 4196468 140726938238816 140429683599600 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31704] ppid=31664 vsize=8283048 memory=2372 CPUtime=1916.58 cores=0-7
/proc/31688/task/31704/stat : 31704 (java) S 31664 31664 29338 0 -1 1077944384 554 918319 0 0 10 0 191494 154 20 0 22 0 510587360 8481841152 33885 33554432000 4194304 4196468 140726938238816 140429682546800 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31705] ppid=31664 vsize=8283048 memory=2580 CPUtime=1916.76 cores=0-7
/proc/31688/task/31705/stat : 31705 (java) S 31664 31664 29338 0 -1 1077944384 1142 918319 0 0 28 0 191494 154 20 0 22 0 510587360 8481841152 33885 33554432000 4194304 4196468 140726938238816 140429681494000 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31706] ppid=31664 vsize=8283048 memory=1760 CPUtime=1916.48 cores=0-7
/proc/31688/task/31706/stat : 31706 (java) S 31664 31664 29338 0 -1 1077944384 3 918319 0 0 0 0 191494 154 20 0 22 0 510587360 8481841152 33885 33554432000 4194304 4196468 140726938238816 140428116487264 140430592231125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31707] ppid=31664 vsize=8283048 memory=2580 CPUtime=1916.64 cores=0-7
/proc/31688/task/31707/stat : 31707 (java) S 31664 31664 29338 0 -1 1077944384 19 918319 0 0 7 9 191494 154 20 0 22 0 510587360 8481841152 33885 33554432000 4194304 4196468 140726938238816 140429680442416 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31709] ppid=31664 vsize=8283048 memory=1760 CPUtime=1916.48 cores=0-7
/proc/31688/task/31709/stat : 31709 (java) S 31664 31664 29338 0 -1 1077944384 25 918319 0 0 0 0 191494 154 20 0 22 0 510587426 8481841152 33885 33554432000 4194304 4196468 140726938238816 140429672407824 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
[pid=31688/tid=31713] ppid=31664 vsize=8283048 memory=0 CPUtime=1916.48 cores=0-7
/proc/31688/task/31713/stat : 31713 (java) S 31664 31664 29338 0 -1 1077944384 12 918319 0 0 0 0 191494 154 20 0 22 0 510587428 8481841152 33885 33554432000 4194304 4196468 140726938238816 140427176960816 140430592232066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28573696 140726938244063 140726938244230 140726938244230 140726938247119 0
Current children cumulated CPU time: 1930.13 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 137012 KiB

Child status: 0
Real time (s): 252.732
CPU time (s): 1930.19
CPU user time (s): 1928.18
CPU system time (s): 2.00911
CPU usage (%): 763.73
Max. virtual memory (cumulated for all children) (KiB): 27442896
Max. memory (cumulated for all children) (KiB): 1512648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1928.18
system time used= 2.00911
maximum resident set size= 1511884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 973625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18543
involuntary context switches= 18445


# summary of solver processes directly reported to runsolver:
#   pid: 31664
#   total CPU time (s): 1930.19
#   total CPU user time (s): 1928.18
#   total CPU system time (s): 2.00911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.34238 second user time and 3.5441 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 17:39:50
IDJOB=4405275
IDBENCH=134594
IDSOLVER=2867
FILE ID=node105/4405275-1569343291
RUNJOBID= node105-1569332278-29365
PBS_JOBID= 21705070
Free space on /var/tmp= 13180 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-08-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405275-1569343291/watcher-4405275-1569343291 -o /var/tmp/evaluation-result-4405275-1569343291/solver-4405275-1569343291 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405275-1569343291.xml

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

MD5SUM BENCH= 473b10c1a98fbd59115b24ad203b92fd
RANDOM SEED=1007611094

node105.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.00
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.00
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.00
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.00
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:        26237924 kB
MemAvailable:   31801032 kB
Buffers:          114972 kB
Cached:          5579752 kB
SwapCached:        48348 kB
Active:          2828036 kB
Inactive:        2916936 kB
Active(anon):       4956 kB
Inactive(anon):    99568 kB
Active(file):    2823080 kB
Inactive(file):  2817368 kB
Unevictable:      110928 kB
Mlocked:          110928 kB
SwapTotal:      67108860 kB
SwapFree:       66956840 kB
Dirty:             20808 kB
Writeback:             0 kB
AnonPages:        123956 kB
Mapped:            54340 kB
Shmem:             45916 kB
Slab:             379936 kB
SReclaimable:     351120 kB
SUnreclaim:        28816 kB
KernelStack:        3696 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 17:44:03