Trace number 4392715

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-2936-serial-file.bin HOME/instance-4392715-1568437020.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 06:56:19 CEST 2019
0.66/0.57	c PID: 2939
0.66/0.57	c IP: 172.20.3.145
0.96/0.80	c HOST: node145.alineos.net
0.96/0.80	c (0,0) Parsing Begin
1.62/1.17	c (0,0) Parsing End
1.62/1.18	c (0,0) CSP: 63 int (0 aux), 1 bool (0 aux), 66 ctr, max domain size 64
1.62/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.62/1.18	c (0,0) Constraint Name Generate Begin
1.62/1.18	c (0,0) Ctr:HOME/instance-4392715-1568437020.xml,AllDifferent:And:Dist:Div:Eq:Instantiation:Mod:Num:Or:Var
1.62/1.18	c (0,0) Constraint Name Generate End
1.62/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.62/1.18	c (0,0) CSP to CSPinCNF Begin
3.01/1.66	c (1,0) translated 7 (10%) constraints
3.01/1.69	c (1,1) translated 14 (20%) constraints
3.35/1.71	c (1,1) translated 20 (30%) constraints
3.35/1.73	c (1,1) translated 27 (40%) constraints
3.35/1.75	c (1,1) translated 33 (50%) constraints
3.35/1.76	c (1,1) translated 40 (60%) constraints
3.35/1.78	c (1,1) translated 47 (70%) constraints
3.35/1.79	c (1,1) translated 53 (80%) constraints
3.78/1.81	c (1,1) translated 60 (90%) constraints
3.78/1.82	c (1,1) translated 66 (100%) constraints
3.78/1.82	c (1,1) ===========================================
3.78/1.84	c (1,1) Hybrid: #OE=438, #LE=10
3.78/1.84	c (1,1) Hybrid
3.78/1.84	c (1,1) ===========================================
3.78/1.88	c (1,1) translated 330 (10%) constraints
4.22/1.91	c (1,1) translated 660 (20%) constraints
4.22/1.93	c (1,1) translated 990 (30%) constraints
4.22/1.95	c (1,1) translated 1320 (40%) constraints
4.22/1.97	c (1,1) translated 1650 (50%) constraints
4.22/1.98	c (1,1) translated 1980 (60%) constraints
5.81/2.30	c (1,1) translated 2310 (70%) constraints
5.81/2.31	c (1,1) translated 2640 (80%) constraints
5.81/2.33	c (1,1) translated 2970 (90%) constraints
5.81/2.34	c (1,1) translated 3300 (100%) constraints
5.81/2.35	c (1,1) CSP to CSPinCNF End
5.81/2.35	c (1,1) CSP: 313 int (250 aux), 4231 bool (4230 aux), 11622 ctr, max domain size 63
5.81/2.35	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.81/2.35	c (1,1) CSPinCNF Propagation Begin
6.65/2.53	c (1,1) 191 values, 524 unsatisfiable literals, and 857 valid clauses are removed
6.65/2.53	c (1,1) CSPinCNF Propagation End
6.65/2.53	c (1,1) CSP: 313 int (250 aux), 4231 bool (4230 aux), 10765 ctr, max domain size 63
6.65/2.53	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.65/2.56	c (2,1) Hybrid: #OE=4534, #LE=10
6.65/2.56	c (2,1) Simplify CSPinCNF Begin
7.47/2.72	c (2,2) Simplify CSPinCNF End
7.47/2.72	c (2,2) CSP: 313 int (250 aux), 8631 bool (8630 aux), 15165 ctr, max domain size 63
7.47/2.72	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.47/2.72	c (2,2) Calculate Precise Domain Begin
7.47/2.72	c (2,2) 0 values are removed by re-calculation
7.47/2.72	c (2,2) Calculate Precise Domain End
7.47/2.72	c (2,2) CSP: 313 int (250 aux), 8631 bool (8630 aux), 15165 ctr, max domain size 63
7.47/2.72	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.47/2.72	c (2,2) CSPinCNF to SatSolver Begin
9.52/3.29	c (2,2) 1517 (10 %) CSP clauses are encoded (0 SAT variables, 61718 SAT clauses)
9.93/3.60	c (3,2) 3033 (20 %) CSP clauses are encoded (0 SAT variables, 125916 SAT clauses)
10.24/3.89	c (3,3) 4550 (30 %) CSP clauses are encoded (0 SAT variables, 190115 SAT clauses)
10.63/4.15	c (3,3) 6066 (40 %) CSP clauses are encoded (0 SAT variables, 245819 SAT clauses)
10.63/4.17	c (3,3) 7583 (50 %) CSP clauses are encoded (0 SAT variables, 247336 SAT clauses)
10.63/4.18	c (3,3) 9099 (60 %) CSP clauses are encoded (0 SAT variables, 248852 SAT clauses)
10.63/4.20	c (3,3) 10616 (70 %) CSP clauses are encoded (0 SAT variables, 250369 SAT clauses)
10.77/4.21	c (3,3) 12132 (80 %) CSP clauses are encoded (0 SAT variables, 251885 SAT clauses)
10.77/4.23	c (3,3) 13649 (90 %) CSP clauses are encoded (0 SAT variables, 253717 SAT clauses)
11.47/4.40	c (3,3) 15165 (100 %) CSP clauses are encoded (0 SAT variables, 275538 SAT clauses)
11.47/4.40	c (3,3) CSPinCNF to SatSolver End
11.47/4.40	c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.47/4.40	c (3,3) 14013 bool, 275539 clause
11.47/4.40	c (3,3) Export Begin
11.47/4.49	c (3,3) Export to HOME/scop-2936-serial-file.bin
11.47/4.49	c (3,3) Export End
11.47/4.49	c (3,3) Export File Size: 0.01 MB
11.47/4.49	c (3,3) 0,0,1,1,2,2,3,STOP-AFTER(DIMACS)
11.47/4.49	c END-Prog: Sat Sep 14 06:56:23 CEST 2019
11.75/4.53	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2936-serial-file.bin
11.77/4.99	c (0,0) Read Serial File Begin
11.77/4.99	c (0,0) HOME/scop-2936-serial-file.bin
12.53/5.19	c (0,0) Read Serial File End
12.53/5.20	
12.53/5.20	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.53/5.20	(Solving Process)
12.53/5.20	
12.71/5.22	c BEGIN-Prog: Sat Sep 14 06:56:24 CEST 2019
12.71/5.22	c PID: 2959
12.71/5.22	c IP: 172.20.3.145
12.71/5.22	c HOST: node145.alineos.net
12.71/5.22	c (0,0) SatSolver.solve Begin
12.71/5.22	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392715-1568437020.xml-scop-2939.cnf
12.71/5.25	c (0,0) c
12.71/5.25	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.71/5.25	c (0,0) c
12.71/5.25	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.71/5.25	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.71/5.25	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.71/5.25	c (0,0) c |                                                                                                       |
12.90/5.33	c (0,0) c |  Number of variables:         14013                                                                   |
12.90/5.33	c (0,0) c |  Number of clauses:          275539                                                                   |
12.90/5.33	c (0,0) c |  Parse time:                   0.07 s                                                                 |
12.90/5.33	c (0,0) c |                                                                                                       |
12.92/5.69	c (0,0) c |  Simplification time:          0.35 s                                                                 |
12.92/5.69	c (0,0) c |                                                                                                       |
12.92/5.69	c (0,0) c |  Generating clones                                                                                    |
12.92/5.77	c (0,0) c |  all clones generated. Memory =   204.90Mb.                                                           |
12.92/5.77	c (0,0) c ========================================================================================================|
12.92/5.77	c (0,0) c
12.92/5.77	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.92/5.77	c (0,0) c
12.92/5.77	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.92/5.77	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.92/5.77	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.92/5.77	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.92/5.77	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.92/5.77	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.92/5.77	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.92/5.79	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.92/5.79	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.92/5.79	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.92/5.79	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.92/5.79	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.92/5.79	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.92/5.79	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.92/5.79	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.92/5.79	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.92/5.79	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.92/5.79	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.92/5.79	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
251.15/35.65	c (30,0) c
251.15/35.65	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
251.15/35.65	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
251.15/35.65	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
251.15/35.65	c (30,0) c |  0 |    716 |     467187 |     195117 |   161224 |    55482 |    20644 |   143218 |    14541 |      292 |  20 |  2.890 |
251.15/35.65	c (30,0) c |  1 |    639 |     449557 |     214685 |   156119 |    47088 |    25611 |   145315 |    13736 |      307 |  20 |  2.897 |
251.15/35.65	c (30,0) c |  2 |    725 |     450073 |     199957 |   160636 |    32353 |    21724 |   148075 |    14438 |      305 |  20 |  2.876 |
251.15/35.65	c (30,0) c |  3 |    811 |     470714 |     173424 |   167830 |    33818 |    18672 |   144952 |    13928 |      291 |  20 |  2.890 |
251.15/35.65	c (30,0) c |  4 |    807 |     438441 |     184535 |   161648 |    44927 |    22494 |   146762 |    14923 |      304 |  20 |  2.897 |
251.15/35.65	c (30,0) c |  5 |    817 |     439748 |     185739 |   163924 |    46133 |    20933 |   147529 |    13710 |      302 |  20 |  2.897 |
251.15/35.65	c (30,0) c |  6 |    839 |     457157 |     202295 |   164215 |    34689 |    22372 |   147659 |    15487 |      307 |  20 |  2.876 |
251.15/35.65	c (30,0) c |  7 |    758 |     475793 |     194511 |   164776 |    54871 |    23279 |   146387 |    15100 |      304 |  20 |  2.897 |
251.15/35.65	c (30,0) c 
251.15/35.65	c (30,0) c synthesis     1550264 conflicts   566660230 propagations     6509 conflicts/sec  2379349 propagations/sec
251.15/35.65	c (30,0) c real: 30.4057 s, cpu: 238.158 s, memory: 773.32 Mb
474.43/64.66	c (59,0) c
474.43/64.66	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
474.43/64.66	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
474.43/64.66	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
474.43/64.66	c (59,0) c |  0 |   1212 |     826577 |     334178 |   189066 |    66947 |    31084 |   224414 |    25379 |      562 |  20 |  3.012 |
474.43/64.66	c (59,0) c |  1 |   1110 |     789562 |     380429 |   182463 |    74842 |    37003 |   224839 |    24055 |      582 |  20 |  3.012 |
474.43/64.66	c (59,0) c |  2 |   1265 |     790792 |     344865 |   188099 |    39265 |    32331 |   228809 |    25403 |      581 |  20 |  2.990 |
474.43/64.66	c (59,0) c |  3 |   1282 |     839685 |     346430 |   191373 |    40859 |    30845 |   230972 |    24481 |      582 |  20 |  3.019 |
474.43/64.66	c (59,0) c |  4 |   1199 |     774845 |     354641 |   185393 |    49053 |    35677 |   225767 |    25053 |      582 |  20 |  3.012 |
474.43/64.66	c (59,0) c |  5 |   1305 |     782980 |     343217 |   189228 |    76004 |    32753 |   228376 |    23917 |      582 |  20 |  3.012 |
474.43/64.66	c (59,0) c |  6 |   1347 |     820682 |     358394 |   188972 |    52792 |    32498 |   228967 |    25496 |      582 |  20 |  2.990 |
474.43/64.66	c (59,0) c |  7 |   1284 |     810687 |     344180 |   189836 |    38602 |    34330 |   227127 |    25446 |      581 |  20 |  3.012 |
474.43/64.66	c (59,0) c 
474.43/64.66	c (59,0) c synthesis     2806334 conflicts  1026175014 propagations     6084 conflicts/sec  2224620 propagations/sec
474.43/64.66	c (59,0) c real: 59.4067 s, cpu: 461.281 s, memory: 773.32 Mb
704.96/94.65	c (89,0) c
704.96/94.65	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
704.96/94.65	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
704.96/94.65	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
704.96/94.65	c (89,0) c |  0 |   1672 |    1160763 |     472235 |   203173 |    81818 |    41346 |   300316 |    35142 |      844 |  20 |  3.161 |
704.96/94.65	c (89,0) c |  1 |   1531 |    1114682 |     533315 |   196214 |    96808 |    47205 |   299365 |    33342 |      861 |  20 |  3.169 |
704.96/94.65	c (89,0) c |  2 |   1770 |    1090695 |     464360 |   201802 |    73957 |    41870 |   299548 |    35073 |      844 |  20 |  3.161 |
704.96/94.65	c (89,0) c |  3 |   1836 |    1169166 |     482160 |   203979 |    91809 |    42512 |   301468 |    35497 |      858 |  20 |  3.169 |
704.96/94.65	c (89,0) c |  4 |   1563 |    1110298 |     496762 |   198577 |    60290 |    46266 |   299463 |    35410 |      858 |  20 |  3.168 |
704.96/94.65	c (89,0) c |  5 |   1744 |    1088782 |     485467 |   201734 |    49029 |    42813 |   300147 |    32930 |      848 |  20 |  3.168 |
704.96/94.65	c (89,0) c |  6 |   1776 |    1158233 |     500562 |   201893 |    64064 |    42995 |   303210 |    35479 |      859 |  20 |  3.169 |
704.96/94.65	c (89,0) c |  7 |   1720 |    1131015 |     490132 |   202154 |    53635 |    44927 |   299439 |    35106 |      854 |  20 |  3.169 |
704.96/94.65	c (89,0) c 
704.96/94.65	c (89,0) c synthesis     3924993 conflicts  1443660828 propagations     5674 conflicts/sec  2087070 propagations/sec
704.96/94.65	c (89,0) c real: 89.4056 s, cpu: 691.717 s, memory: 773.32 Mb
926.12/123.65	c (118,0) c
926.12/123.65	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
926.12/123.65	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
926.12/123.65	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
926.12/123.65	c (118,0) c |  0 |   2066 |    1432130 |     607001 |   209516 |    69942 |    50232 |   360476 |    42765 |     1101 |  20 |  3.447 |
926.12/123.65	c (118,0) c |  1 |   1949 |    1403613 |     643053 |   204740 |   103620 |    55755 |   356291 |    41844 |     1105 |  20 |  3.454 |
926.12/123.65	c (118,0) c |  2 |   2205 |    1376630 |     573726 |   209841 |    87831 |    49593 |   362014 |    43804 |     1105 |  20 |  3.447 |
926.12/123.65	c (118,0) c |  3 |   2292 |    1461684 |     588114 |   211136 |    51131 |    50580 |   361489 |    43538 |     1105 |  20 |  3.468 |
926.12/123.65	c (118,0) c |  4 |   1955 |    1393940 |     610419 |   206605 |    73331 |    54566 |   357409 |    43588 |     1106 |  20 |  3.454 |
926.12/123.65	c (118,0) c |  5 |   2181 |    1374055 |     601911 |   209562 |    64821 |    51285 |   359740 |    41793 |     1102 |  20 |  3.447 |
926.12/123.65	c (118,0) c |  6 |   2247 |    1415139 |     602364 |   209395 |    65301 |    50470 |   360178 |    43514 |     1101 |  20 |  3.447 |
926.12/123.65	c (118,0) c |  7 |   2104 |    1404077 |     598665 |   209433 |    61666 |    52881 |   354225 |    43018 |     1086 |  20 |  3.440 |
926.12/123.65	c (118,0) c 
926.12/123.65	c (118,0) c synthesis     4825254 conflicts  1800041511 propagations     5287 conflicts/sec  1972308 propagations/sec
926.12/123.65	c (118,0) c real: 118.406 s, cpu: 912.658 s, memory: 803.00 Mb
1154.70/152.66	c (147,0) c
1154.70/152.66	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1154.70/152.66	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1154.70/152.66	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1154.70/152.66	c (147,0) c |  0 |   2488 |    1709342 |     740855 |   213847 |    89352 |    57839 |   411024 |    49194 |     1364 |  20 |  3.682 |
1154.70/152.66	c (147,0) c |  1 |   2502 |    1658468 |     746271 |   211639 |    98044 |    62991 |   405720 |    48901 |     1364 |  20 |  3.675 |
1154.70/152.66	c (147,0) c |  2 |   2726 |    1634945 |     676267 |   215778 |    85223 |    56598 |   412886 |    50824 |     1368 |  20 |  3.689 |
1154.70/152.66	c (147,0) c |  3 |   2785 |    1742210 |     702418 |   216395 |   111297 |    57179 |   411819 |    49970 |     1366 |  20 |  3.675 |
1154.70/152.66	c (147,0) c |  4 |   2423 |    1665892 |     726130 |   212905 |    78538 |    62274 |   408020 |    50997 |     1371 |  20 |  3.675 |
1154.70/152.66	c (147,0) c |  5 |   2727 |    1634534 |     695512 |   215978 |   103953 |    57941 |   410990 |    49492 |     1366 |  20 |  3.675 |
1154.70/152.66	c (147,0) c |  6 |   2794 |    1683846 |     704103 |   215324 |    56583 |    57678 |   411574 |    51070 |     1367 |  20 |  3.675 |
1154.70/152.66	c (147,0) c |  7 |   2646 |    1670236 |     696609 |   215877 |   105381 |    59924 |   406042 |    50681 |     1351 |  20 |  3.661 |
1154.70/152.66	c (147,0) c 
1154.70/152.66	c (147,0) c synthesis     5688166 conflicts  2154752189 propagations     4985 conflicts/sec  1888368 propagations/sec
1154.70/152.66	c (147,0) c real: 147.406 s, cpu: 1141.07 s, memory: 803.00 Mb
1382.28/181.66	c (176,0) c
1382.28/181.66	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1382.28/181.66	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1382.28/181.66	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1382.28/181.66	c (176,0) c |  0 |   2956 |    1962861 |     854750 |   218455 |    71616 |    65972 |   453333 |    54572 |     1625 |  20 |  3.954 |
1382.28/181.66	c (176,0) c |  1 |   3152 |    1890184 |     824974 |   216921 |   116832 |    68682 |   449583 |    55417 |     1619 |  20 |  3.953 |
1382.28/181.66	c (176,0) c |  2 |   3238 |    1845536 |     757464 |   219820 |   108612 |    62071 |   454636 |    56293 |     1609 |  20 |  3.939 |
1382.28/181.66	c (176,0) c |  3 |   3367 |    1982348 |     791207 |   220927 |    84185 |    63471 |   456307 |    55962 |     1625 |  20 |  3.953 |
1382.28/181.66	c (176,0) c |  4 |   2893 |    1890588 |     826871 |   217234 |   112746 |    68725 |   451073 |    56914 |     1625 |  20 |  3.954 |
1382.28/181.66	c (176,0) c |  5 |   3179 |    1853741 |     784000 |   220252 |    76800 |    63358 |   453486 |    55137 |     1610 |  20 |  3.954 |
1382.28/181.66	c (176,0) c |  6 |   3267 |    1922237 |     815553 |   219223 |   108154 |    63668 |   447832 |    56242 |     1625 |  20 |  3.932 |
1382.28/181.66	c (176,0) c |  7 |   3221 |    1901280 |     780337 |   220498 |    71597 |    65574 |   450334 |    56489 |     1605 |  20 |  3.939 |
1382.28/181.66	c (176,0) c 
1382.28/181.66	c (176,0) c synthesis     6435156 conflicts  2481395998 propagations     4703 conflicts/sec  1813432 propagations/sec
1382.28/181.66	c (176,0) c real: 176.406 s, cpu: 1368.34 s, memory: 803.00 Mb
1600.19/211.65	c (206,0) c
1600.19/211.65	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1600.19/211.65	c (206,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1600.19/211.65	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1600.19/211.65	c (206,0) c |  0 |   3395 |    2162058 |     939839 |   221721 |    86550 |    69266 |   487733 |    59791 |     1850 |  20 |  4.168 |
1600.19/211.65	c (206,0) c |  1 |   3657 |    2108132 |     894345 |   220796 |   124794 |    73560 |   484111 |    60911 |     1857 |  20 |  4.168 |
1600.19/211.65	c (206,0) c |  2 |   3751 |    2065029 |     842307 |   223160 |    73477 |    67541 |   490422 |    61437 |     1859 |  20 |  4.168 |
1600.19/211.65	c (206,0) c |  3 |   3929 |    2168485 |     858825 |   224052 |    90035 |    69429 |   487226 |    61171 |     1850 |  20 |  4.168 |
1600.19/211.65	c (206,0) c |  4 |   3356 |    2090246 |     900420 |   221011 |    65720 |    71862 |   486084 |    61755 |     1858 |  20 |  4.168 |
1600.19/211.65	c (206,0) c |  5 |   3635 |    2073007 |     864729 |   223907 |    95550 |    69280 |   488568 |    60730 |     1858 |  20 |  4.189 |
1600.19/211.65	c (206,0) c |  6 |   3676 |    2112027 |     909624 |   221798 |    62235 |    68790 |   488975 |    60824 |     1858 |  20 |  4.168 |
1600.19/211.65	c (206,0) c |  7 |   3785 |    2103304 |     848655 |   223780 |    79010 |    70120 |   484122 |    61415 |     1839 |  20 |  4.160 |
1600.19/211.65	c (206,0) c 
1600.19/211.65	c (206,0) c synthesis     7058745 conflicts  2772690074 propagations     4451 conflicts/sec  1748381 propagations/sec
1600.19/211.65	c (206,0) c real: 206.406 s, cpu: 1585.86 s, memory: 803.00 Mb
1827.06/240.65	c (235,0) c
1827.06/240.65	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1827.06/240.65	c (235,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1827.06/240.65	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1827.06/240.65	c (235,0) c |  0 |   3950 |    2352651 |    1005092 |   224724 |    81467 |    76857 |   516965 |    65870 |     2086 |  20 |  4.325 |
1827.06/240.65	c (235,0) c |  1 |   4200 |    2304249 |     971329 |   224157 |    71129 |    78552 |   517738 |    65927 |     2104 |  20 |  4.353 |
1827.06/240.65	c (235,0) c |  2 |   4298 |    2277631 |     926650 |   225819 |    93426 |    72214 |   524353 |    66320 |     2106 |  20 |  4.353 |
1827.06/240.65	c (235,0) c |  3 |   4504 |    2362805 |     927607 |   226990 |    94469 |    73917 |   520198 |    66282 |     2089 |  20 |  4.325 |
1827.06/240.65	c (235,0) c |  4 |   3744 |    2298796 |    1001072 |   223549 |   100147 |    76963 |   519737 |    66075 |     2106 |  20 |  4.353 |
1827.06/240.65	c (235,0) c |  5 |   4174 |    2268214 |     940093 |   226839 |   106673 |    74444 |   522337 |    65864 |     2106 |  20 |  4.367 |
1827.06/240.65	c (235,0) c |  6 |   4231 |    2321333 |     976938 |   225220 |   129256 |    70605 |   525760 |    66624 |     2106 |  20 |  4.353 |
1827.06/240.65	c (235,0) c |  7 |   4308 |    2331992 |     939515 |   226448 |   105144 |    74749 |   520397 |    66601 |     2098 |  20 |  4.353 |
1827.06/240.65	c (235,0) c 
1827.06/240.65	c (235,0) c synthesis     7688297 conflicts  3071078583 propagations     4242 conflicts/sec  1694354 propagations/sec
1827.06/240.65	c (235,0) c real: 235.406 s, cpu: 1812.54 s, memory: 803.00 Mb
1929.66/254.74	c (249,0) c
1929.66/254.74	c (249,0) c real time : 249.495 s
1929.66/254.74	c (249,0) c cpu time  : 1914.7 s
1929.66/254.74	c (249,0) c
1929.66/254.74	c (249,0) c
1929.66/254.74	c (249,0) c
1929.66/254.74	c (249,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1929.66/254.74	c (249,0) c
1929.66/254.74	c (249,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.74	c (249,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1929.66/254.74	c (249,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.74	c (249,0) c | Conflicts     |         7897767 |    1037307 |     997313 |     951034 |     956629 |    1025682 |     963300 |     999831 |     966671 |
1929.66/254.74	c (249,0) c | Decisions     |        19163124 |    2448883 |    2382909 |    2354060 |    2448238 |    2374868 |    2344591 |    2397715 |    2411860 |
1929.66/254.74	c (249,0) c | Propagations  |      3192504131 |  403648650 |  398849039 |  398235178 |  400970681 |  398295645 |  397287418 |  397894460 |  397323060 |
1929.66/254.74	c (249,0) c | ReduceDBs     |             213 |         27 |         27 |         26 |         26 |         27 |         26 |         27 |         27 |
1929.66/254.74	c (249,0) c | SimpDBs       |             954 |        115 |        118 |        125 |        122 |        118 |        119 |        113 |        124 |
1929.66/254.74	c (249,0) c | Restarts      |           35522 |       4243 |       4474 |       4541 |       4808 |       3993 |       4432 |       4469 |       4562 |
1929.66/254.74	c (249,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1929.66/254.74	c (249,0) c | PropBinClauses|      5369296974 |  679232778 |  669373702 |  669078870 |  672967699 |  673382896 |  668090891 |  669244289 |  667925849 |
1929.66/254.74	c (249,0) c | PropPreBlocker|     72524913974 | 9025024544 | 9026011083 | 9108625438 | 9093213927 | 9051257303 | 9081969270 | 9070013234 | 9068799175 |
1929.66/254.74	c (249,0) c | PropNotBlocker|     14009033970 | 1759914233 | 1770292733 | 1736078003 | 1747246403 | 1748019297 | 1758916867 | 1735148786 | 1753417648 |
1929.66/254.74	c (249,0) c | LitFullScans  |    105932831486 |13239145691 |13242109812 |13241321881 |13237573527 |13247536445 |13243051270 |13243649094 |13238443766 |
1929.66/254.74	c (249,0) c | LitScanFracts |        21313092 |    3135471 |    2566004 |    2326208 |    1571821 |    3676711 |    2492087 |    3110135 |    2434655 |
1929.66/254.74	c (249,0) c | DecisionLevel0|           35851 |       4288 |       4515 |       4571 |       4843 |       4043 |       4474 |       4513 |       4604 |
1929.66/254.74	c (249,0) c | Periods       |           17649 |       2206 |       2206 |       2206 |       2206 |       2207 |       2206 |       2206 |       2206 |
1929.66/254.74	c (249,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1929.66/254.74	c (249,0) c | Avg_Trail     |                 |       5068 |       5230 |       5595 |       5404 |       5229 |       5482 |       5216 |       5453 |
1929.66/254.74	c (249,0) c | Avg_DL        |                 |         38 |         39 |         42 |         41 |         39 |         40 |         39 |         42 |
1929.66/254.74	c (249,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1929.66/254.74	c (249,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1929.66/254.74	c (249,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.74	c (249,0) c | Exported      |          613883 |      79953 |      80118 |      73907 |      75899 |      79478 |      76139 |      71879 |      76510 |
1929.66/254.74	c (249,0) c | Imported      |         4273566 |     530945 |     530765 |     536880 |     534868 |     531687 |     534802 |     539398 |     534221 |
1929.66/254.74	c (249,0) c | Good          |           42757 |       5269 |       5487 |       5334 |       5289 |       5323 |       5350 |       5354 |       5351 |
1929.66/254.74	c (249,0) c | Purge         |         4230809 |     525676 |     525278 |     531546 |     529579 |     526364 |     529452 |     534044 |     528870 |
1929.66/254.74	c (249,0) c | Promoted      |          547469 |      68612 |      67621 |      68642 |      68602 |      68363 |      67979 |      68918 |      68732 |
1929.66/254.74	c (249,0) c | Remove_Imp    |         2905760 |     356433 |     362466 |     358787 |     360798 |     353726 |     356553 |     376334 |     380663 |
1929.66/254.74	c (249,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1929.66/254.74	c (249,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.74	c (249,0) c | Unaries       |                 |         45 |         41 |         30 |         35 |         50 |         42 |         44 |         42 |
1929.66/254.74	c (249,0) c | Binaries      |                 |        842 |        621 |        774 |        820 |        791 |        761 |        754 |        766 |
1929.66/254.74	c (249,0) c | Glues         |                 |       7518 |       7397 |       7541 |       7668 |       7516 |       7711 |       7255 |       7429 |
1929.66/254.74	c (249,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.74	c (249,0) c | Orig_Seen     |            87 % |     226223 |     225429 |     226920 |     228115 |     224687 |     227889 |     226466 |     227649 |
1929.66/254.74	c (249,0) c | Diff Orig seen|                 | -      697 | -     1491 |      X     |       1195 | -     2233 |        969 | -      454 |        729 |
1929.66/254.74	c (249,0) c | Hamming       |            21 % |       3341 |       2543 |      X     |       2705 |       3217 |       2647 |       3363 |       3301 |
1929.66/254.74	c (249,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.74	c (249,0) c | RunningTime   |                 |  242.0  97%|  238.1  96%|  240.2  97%|  243.3  98%|  233.0  94%|  242.1  98%|  236.1  95%|  244.8  99%|
1929.66/254.74	c (249,0) c | WaitingTime   |                 |    6.6   3%|    9.0   4%|    6.9   3%|    5.0   2%|   14.1   6%|    5.1   2%|   11.0   4%|    2.6   1%|
1929.66/254.74	c (249,0) c | ExchangingTime|                 |    0.2   0%|    0.3   0%|    0.2   0%|    0.3   0%|    0.3   0%|    0.2   0%|    0.3   0%|    0.2   0%|
1929.66/254.74	c (249,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.66/254.74	c (249,0) c | SolvingTime   |                 |  248.9     |  247.4     |  247.4     |  248.6     |  247.4     |  247.4     |  247.4     |  247.7     |
1929.66/254.74	c (249,0) c | PropagationTim|                 |  223.9  90%|  223.7  90%|  223.1  90%|  223.4  90%|  221.9  90%|  222.8  90%|  223.2  90%|  221.7  90%|
1929.66/254.74	c (249,0) c | AnalysisTime  |                 |   13.7   6%|   12.5   5%|   12.8   5%|   13.9   6%|   14.1   6%|   13.1   5%|   12.9   5%|   14.4   6%|
1929.66/254.74	c (249,0) c | ReductionTime |                 |    2.1   1%|    2.2   1%|    2.0   1%|    2.0   1%|    2.1   1%|    2.0   1%|    2.1   1%|    2.0   1%|
1929.66/254.74	c (249,0) c | SimplifyTime  |                 |    2.5   1%|    2.7   1%|    2.9   1%|    2.5   1%|    2.8   1%|    2.9   1%|    2.5   1%|    2.7   1%|
1929.66/254.74	c (249,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.66/254.74	c (249,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.66/254.74	c (249,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.74	c (249,0) c
1929.66/254.74	c (249,0) c
1929.66/254.74	c (249,0) c Threads : 8
1929.66/254.74	c (249,0) c Winner : 2
1929.66/254.74	c (249,0) c Conflicts_0 : 1037307
1929.66/254.74	c (249,0) c Conflicts_1 : 997313
1929.66/254.74	c (249,0) c Conflicts_2 : 951034
1929.66/254.74	c (249,0) c Conflicts_3 : 956629
1929.66/254.74	c (249,0) c Conflicts_4 : 1025682
1929.66/254.75	c (249,0) c Conflicts_5 : 963300
1929.66/254.75	c (249,0) c Conflicts_6 : 999831
1929.66/254.75	c (249,0) c Conflicts_7 : 966671
1929.66/254.75	c (249,0) c Conflicts_total : 7897767
1929.66/254.75	c (249,0) c Conflicts_winner : 951034
1929.66/254.75	c (249,0) c Decisions_0 : 2448883
1929.66/254.75	c (249,0) c Decisions_1 : 2382909
1929.66/254.75	c (249,0) c Decisions_2 : 2354060
1929.66/254.75	c (249,0) c Decisions_3 : 2448238
1929.66/254.75	c (249,0) c Decisions_4 : 2374868
1929.66/254.75	c (249,0) c Decisions_5 : 2344591
1929.66/254.75	c (249,0) c Decisions_6 : 2397715
1929.66/254.75	c (249,0) c Decisions_7 : 2411860
1929.66/254.75	c (249,0) c Decisions_total : 19163124
1929.66/254.75	c (249,0) c Decisions_winner : 2354060
1929.66/254.75	c (249,0) c Propagations_0 : 403648650
1929.66/254.75	c (249,0) c Propagations_1 : 398849039
1929.66/254.75	c (249,0) c Propagations_2 : 398235178
1929.66/254.75	c (249,0) c Propagations_3 : 400970681
1929.66/254.75	c (249,0) c Propagations_4 : 398295645
1929.66/254.75	c (249,0) c Propagations_5 : 397287418
1929.66/254.75	c (249,0) c Propagations_6 : 397894460
1929.66/254.75	c (249,0) c Propagations_7 : 397323060
1929.66/254.75	c (249,0) c Propagations_total : 3192504131
1929.66/254.75	c (249,0) c Propagations_winner : 398235178
1929.66/254.75	c (249,0) c ReduceDBs_0 : 27
1929.66/254.75	c (249,0) c ReduceDBs_1 : 27
1929.66/254.75	c (249,0) c ReduceDBs_2 : 26
1929.66/254.75	c (249,0) c ReduceDBs_3 : 26
1929.66/254.75	c (249,0) c ReduceDBs_4 : 27
1929.66/254.75	c (249,0) c ReduceDBs_5 : 26
1929.66/254.75	c (249,0) c ReduceDBs_6 : 27
1929.66/254.75	c (249,0) c ReduceDBs_7 : 27
1929.66/254.75	c (249,0) c ReduceDBs_total : 213
1929.66/254.75	c (249,0) c ReduceDBs_winner : 26
1929.66/254.75	c (249,0) c SimpDBs_0 : 115
1929.66/254.75	c (249,0) c SimpDBs_1 : 118
1929.66/254.75	c (249,0) c SimpDBs_2 : 125
1929.66/254.75	c (249,0) c SimpDBs_3 : 122
1929.66/254.75	c (249,0) c SimpDBs_4 : 118
1929.66/254.75	c (249,0) c SimpDBs_5 : 119
1929.66/254.75	c (249,0) c SimpDBs_6 : 113
1929.66/254.75	c (249,0) c SimpDBs_7 : 124
1929.66/254.75	c (249,0) c SimpDBs_total : 954
1929.66/254.75	c (249,0) c SimpDBs_winner : 125
1929.66/254.75	c (249,0) c Restarts_0 : 4243
1929.66/254.75	c (249,0) c Restarts_1 : 4474
1929.66/254.75	c (249,0) c Restarts_2 : 4541
1929.66/254.75	c (249,0) c Restarts_3 : 4808
1929.66/254.75	c (249,0) c Restarts_4 : 3993
1929.66/254.75	c (249,0) c Restarts_5 : 4432
1929.66/254.75	c (249,0) c Restarts_6 : 4469
1929.66/254.75	c (249,0) c Restarts_7 : 4562
1929.66/254.75	c (249,0) c Restarts_total : 35522
1929.66/254.75	c (249,0) c Restarts_winner : 4541
1929.66/254.75	c (249,0) c ForcedImports_0 : 0
1929.66/254.75	c (249,0) c ForcedImports_1 : 0
1929.66/254.75	c (249,0) c ForcedImports_2 : 0
1929.66/254.75	c (249,0) c ForcedImports_3 : 0
1929.66/254.75	c (249,0) c ForcedImports_4 : 0
1929.66/254.75	c (249,0) c ForcedImports_5 : 0
1929.66/254.75	c (249,0) c ForcedImports_6 : 0
1929.66/254.75	c (249,0) c ForcedImports_7 : 0
1929.66/254.75	c (249,0) c ForcedImports_total : 0
1929.66/254.75	c (249,0) c ForcedImports_winner : 0
1929.66/254.75	c (249,0) c PropsBinClauses_0 : 679232778
1929.66/254.75	c (249,0) c PropsBinClauses_1 : 669373702
1929.66/254.75	c (249,0) c PropsBinClauses_2 : 669078870
1929.66/254.75	c (249,0) c PropsBinClauses_3 : 672967699
1929.66/254.75	c (249,0) c PropsBinClauses_4 : 673382896
1929.66/254.75	c (249,0) c PropsBinClauses_5 : 668090891
1929.66/254.75	c (249,0) c PropsBinClauses_6 : 669244289
1929.66/254.75	c (249,0) c PropsBinClauses_7 : 667925849
1929.66/254.75	c (249,0) c PropsBinClauses_total : 5369296974
1929.66/254.75	c (249,0) c PropsBinClauses_winner : 669078870
1929.66/254.75	c (249,0) c PropsPreBlocker_0 : 9025024544
1929.66/254.75	c (249,0) c PropsPreBlocker_1 : 9026011083
1929.66/254.75	c (249,0) c PropsPreBlocker_2 : 9108625438
1929.66/254.75	c (249,0) c PropsPreBlocker_3 : 9093213927
1929.66/254.75	c (249,0) c PropsPreBlocker_4 : 9051257303
1929.66/254.75	c (249,0) c PropsPreBlocker_5 : 9081969270
1929.66/254.75	c (249,0) c PropsPreBlocker_6 : 9070013234
1929.66/254.75	c (249,0) c PropsPreBlocker_7 : 9068799175
1929.66/254.75	c (249,0) c PropsPreBlocker_total : 72524913974
1929.66/254.75	c (249,0) c PropsPreBlocker_winner : 9108625438
1929.66/254.75	c (249,0) c PropsNotBlocker_0 : 1759914233
1929.66/254.75	c (249,0) c PropsNotBlocker_1 : 1770292733
1929.66/254.75	c (249,0) c PropsNotBlocker_2 : 1736078003
1929.66/254.75	c (249,0) c PropsNotBlocker_3 : 1747246403
1929.66/254.75	c (249,0) c PropsNotBlocker_4 : 1748019297
1929.66/254.75	c (249,0) c PropsNotBlocker_5 : 1758916867
1929.66/254.75	c (249,0) c PropsNotBlocker_6 : 1735148786
1929.66/254.75	c (249,0) c PropsNotBlocker_7 : 1753417648
1929.66/254.75	c (249,0) c PropsNotBlocker_total : 14009033970
1929.66/254.75	c (249,0) c PropsNotBlocker_winner : 1736078003
1929.66/254.75	c (249,0) c PropsLitFullScans_0 : 13239145691
1929.66/254.75	c (249,0) c PropsLitFullScans_1 : 13242109812
1929.66/254.75	c (249,0) c PropsLitFullScans_2 : 13241321881
1929.66/254.75	c (249,0) c PropsLitFullScans_3 : 13237573527
1929.66/254.75	c (249,0) c PropsLitFullScans_4 : 13247536445
1929.66/254.75	c (249,0) c PropsLitFullScans_5 : 13243051270
1929.66/254.75	c (249,0) c PropsLitFullScans_6 : 13243649094
1929.66/254.75	c (249,0) c PropsLitFullScans_7 : 13238443766
1929.66/254.75	c (249,0) c PropsLitFullScans_total : 105932831486
1929.66/254.75	c (249,0) c PropsLitFullScans_winner : 13241321881
1929.66/254.75	c (249,0) c LitScanFractions_0 : 3135471
1929.66/254.75	c (249,0) c LitScanFractions_1 : 2566004
1929.66/254.75	c (249,0) c LitScanFractions_2 : 2326208
1929.66/254.75	c (249,0) c LitScanFractions_3 : 1571821
1929.66/254.75	c (249,0) c LitScanFractions_4 : 3676711
1929.66/254.75	c (249,0) c LitScanFractions_5 : 2492087
1929.66/254.75	c (249,0) c LitScanFractions_6 : 3110135
1929.66/254.75	c (249,0) c LitScanFractions_7 : 2434655
1929.66/254.75	c (249,0) c LitScanFractions_total : 21313092
1929.66/254.75	c (249,0) c LitScanFractions_winner : 2326208
1929.66/254.75	c (249,0) c DecisionLevel0_0 : 4288
1929.66/254.75	c (249,0) c DecisionLevel0_1 : 4515
1929.66/254.75	c (249,0) c DecisionLevel0_2 : 4571
1929.66/254.75	c (249,0) c DecisionLevel0_3 : 4843
1929.66/254.75	c (249,0) c DecisionLevel0_4 : 4043
1929.66/254.75	c (249,0) c DecisionLevel0_5 : 4474
1929.66/254.75	c (249,0) c DecisionLevel0_6 : 4513
1929.66/254.75	c (249,0) c DecisionLevel0_7 : 4604
1929.66/254.75	c (249,0) c DecisionLevel0_total : 35851
1929.66/254.75	c (249,0) c DecisionLevel0_winner : 4571
1929.66/254.75	c (249,0) c Periods_0 : 2206
1929.66/254.75	c (249,0) c Periods_1 : 2206
1929.66/254.75	c (249,0) c Periods_2 : 2206
1929.66/254.75	c (249,0) c Periods_3 : 2206
1929.66/254.75	c (249,0) c Periods_4 : 2207
1929.66/254.75	c (249,0) c Periods_5 : 2206
1929.66/254.75	c (249,0) c Periods_6 : 2206
1929.66/254.75	c (249,0) c Periods_7 : 2206
1929.66/254.75	c (249,0) c Periods_total : 17649
1929.66/254.75	c (249,0) c Periods_winner : 2206
1929.66/254.75	c (249,0) c Margin_0 : 20
1929.66/254.75	c (249,0) c Margin_1 : 20
1929.66/254.75	c (249,0) c Margin_2 : 20
1929.66/254.75	c (249,0) c Margin_3 : 20
1929.66/254.75	c (249,0) c Margin_4 : 20
1929.66/254.75	c (249,0) c Margin_5 : 20
1929.66/254.75	c (249,0) c Margin_6 : 20
1929.66/254.75	c (249,0) c Margin_7 : 20
1929.66/254.75	c (249,0) c Margin_total : 160
1929.66/254.75	c (249,0) c Margin_winner : 20
1929.66/254.75	c (249,0) c Exported_0 : 79953
1929.66/254.75	c (249,0) c Exported_1 : 80118
1929.66/254.75	c (249,0) c Exported_2 : 73907
1929.66/254.75	c (249,0) c Exported_3 : 75899
1929.66/254.75	c (249,0) c Exported_4 : 79478
1929.66/254.75	c (249,0) c Exported_5 : 76139
1929.66/254.75	c (249,0) c Exported_6 : 71879
1929.66/254.75	c (249,0) c Exported_7 : 76510
1929.66/254.75	c (249,0) c Exported_total : 613883
1929.66/254.75	c (249,0) c Exported_winner : 73907
1929.66/254.75	c (249,0) c Imported_0 : 530945
1929.66/254.75	c (249,0) c Imported_1 : 530765
1929.66/254.75	c (249,0) c Imported_2 : 536880
1929.66/254.75	c (249,0) c Imported_3 : 534868
1929.66/254.75	c (249,0) c Imported_4 : 531687
1929.66/254.75	c (249,0) c Imported_5 : 534802
1929.66/254.75	c (249,0) c Imported_6 : 539398
1929.66/254.75	c (249,0) c Imported_7 : 534221
1929.66/254.75	c (249,0) c Imported_total : 4273566
1929.66/254.75	c (249,0) c Imported_winner : 536880
1929.66/254.75	c (249,0) c Good_0 : 5269
1929.66/254.75	c (249,0) c Good_1 : 5487
1929.66/254.75	c (249,0) c Good_2 : 5334
1929.66/254.75	c (249,0) c Good_3 : 5289
1929.66/254.75	c (249,0) c Good_4 : 5323
1929.66/254.75	c (249,0) c Good_5 : 5350
1929.66/254.75	c (249,0) c Good_6 : 5354
1929.66/254.75	c (249,0) c Good_7 : 5351
1929.66/254.75	c (249,0) c Good_total : 42757
1929.66/254.75	c (249,0) c Good_winner : 5334
1929.66/254.75	c (249,0) c Purge_0 : 525676
1929.66/254.75	c (249,0) c Purge_1 : 525278
1929.66/254.75	c (249,0) c Purge_2 : 531546
1929.66/254.75	c (249,0) c Purge_3 : 529579
1929.66/254.75	c (249,0) c Purge_4 : 526364
1929.66/254.75	c (249,0) c Purge_5 : 529452
1929.66/254.75	c (249,0) c Purge_6 : 534044
1929.66/254.75	c (249,0) c Purge_7 : 528870
1929.66/254.75	c (249,0) c Purge_total : 4230809
1929.66/254.75	c (249,0) c Purge_winner : 531546
1929.66/254.75	c (249,0) c Promoted_0 : 68612
1929.66/254.75	c (249,0) c Promoted_1 : 67621
1929.66/254.75	c (249,0) c Promoted_2 : 68642
1929.66/254.75	c (249,0) c Promoted_3 : 68602
1929.66/254.75	c (249,0) c Promoted_4 : 68363
1929.66/254.75	c (249,0) c Promoted_5 : 67979
1929.66/254.75	c (249,0) c Promoted_6 : 68918
1929.66/254.75	c (249,0) c Promoted_7 : 68732
1929.66/254.75	c (249,0) c Promoted_total : 547469
1929.66/254.75	c (249,0) c Promoted_winner : 68642
1929.66/254.75	c (249,0) c Remove_Imp_0 : 356433
1929.66/254.75	c (249,0) c Remove_Imp_1 : 362466
1929.66/254.75	c (249,0) c Remove_Imp_2 : 358787
1929.66/254.75	c (249,0) c Remove_Imp_3 : 360798
1929.66/254.75	c (249,0) c Remove_Imp_4 : 353726
1929.66/254.75	c (249,0) c Remove_Imp_5 : 356553
1929.66/254.75	c (249,0) c Remove_Imp_6 : 376334
1929.66/254.75	c (249,0) c Remove_Imp_7 : 380663
1929.66/254.75	c (249,0) c Remove_Imp_total : 2905760
1929.66/254.75	c (249,0) c Remove_Imp_winner : 358787
1929.66/254.75	c (249,0) c Blocked_Reuse_0 : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_1 : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_2 : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_3 : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_4 : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_5 : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_6 : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_7 : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_total : 0
1929.66/254.75	c (249,0) c Blocked_Reuse_winner : 0
1929.66/254.75	c (249,0) c Unaries_0 : 45
1929.66/254.75	c (249,0) c Unaries_1 : 41
1929.66/254.75	c (249,0) c Unaries_2 : 30
1929.66/254.75	c (249,0) c Unaries_3 : 35
1929.66/254.75	c (249,0) c Unaries_4 : 50
1929.66/254.75	c (249,0) c Unaries_5 : 42
1929.66/254.75	c (249,0) c Unaries_6 : 44
1929.66/254.75	c (249,0) c Unaries_7 : 42
1929.66/254.75	c (249,0) c Unaries_total : 329
1929.66/254.75	c (249,0) c Unaries_winner : 30
1929.66/254.75	c (249,0) c Binaries_0 : 842
1929.66/254.75	c (249,0) c Binaries_1 : 621
1929.66/254.75	c (249,0) c Binaries_2 : 774
1929.66/254.75	c (249,0) c Binaries_3 : 820
1929.66/254.75	c (249,0) c Binaries_4 : 791
1929.66/254.75	c (249,0) c Binaries_5 : 761
1929.66/254.75	c (249,0) c Binaries_6 : 754
1929.66/254.75	c (249,0) c Binaries_7 : 766
1929.66/254.75	c (249,0) c Binaries_total : 6129
1929.66/254.75	c (249,0) c Binaries_winner : 774
1929.66/254.75	c (249,0) c Glues_0 : 7518
1929.66/254.75	c (249,0) c Glues_1 : 7397
1929.66/254.75	c (249,0) c Glues_2 : 7541
1929.66/254.75	c (249,0) c Glues_3 : 7668
1929.66/254.75	c (249,0) c Glues_4 : 7516
1929.66/254.75	c (249,0) c Glues_5 : 7711
1929.66/254.75	c (249,0) c Glues_6 : 7255
1929.66/254.75	c (249,0) c Glues_7 : 7429
1929.66/254.75	c (249,0) c Glues_total : 60035
1929.66/254.75	c (249,0) c Glues_winner : 7541
1929.66/254.75	c (249,0) c RunningTime_0 : 241.980274
1929.66/254.75	c (249,0) c RunningTime_1 : 238.115366
1929.66/254.75	c (249,0) c RunningTime_2 : 240.207008
1929.66/254.75	c (249,0) c RunningTime_3 : 243.321067
1929.66/254.75	c (249,0) c RunningTime_4 : 233.008710
1929.66/254.75	c (249,0) c RunningTime_5 : 242.101457
1929.66/254.75	c (249,0) c RunningTime_6 : 236.142041
1929.66/254.75	c (249,0) c RunningTime_7 : 244.832603
1929.66/254.75	c (249,0) c RunningTime_total : 1919.708526
1929.66/254.75	c (249,0) c RunningTime_winner : 240.207008
1929.66/254.75	c (249,0) c WaitingTime_0 : 6.619468
1929.66/254.75	c (249,0) c WaitingTime_1 : 9.017474
1929.66/254.75	c (249,0) c WaitingTime_2 : 6.909164
1929.66/254.75	c (249,0) c WaitingTime_3 : 5.008687
1929.66/254.75	c (249,0) c WaitingTime_4 : 14.106406
1929.66/254.75	c (249,0) c WaitingTime_5 : 5.078946
1929.66/254.75	c (249,0) c WaitingTime_6 : 10.972321
1929.66/254.75	c (249,0) c WaitingTime_7 : 2.564847
1929.66/254.75	c (249,0) c WaitingTime_total : 60.277312
1929.66/254.75	c (249,0) c WaitingTime_winner : 6.909164
1929.66/254.75	c (249,0) c ExchangingTime_0 : 0.248651
1929.66/254.75	c (249,0) c ExchangingTime_1 : 0.250910
1929.66/254.75	c (249,0) c ExchangingTime_2 : 0.248213
1929.66/254.75	c (249,0) c ExchangingTime_3 : 0.262934
1929.66/254.75	c (249,0) c ExchangingTime_4 : 0.259133
1929.66/254.75	c (249,0) c ExchangingTime_5 : 0.247109
1929.66/254.75	c (249,0) c ExchangingTime_6 : 0.251428
1929.66/254.75	c (249,0) c ExchangingTime_7 : 0.234551
1929.66/254.75	c (249,0) c ExchangingTime_total : 2.002928
1929.66/254.75	c (249,0) c ExchangingTime_winner : 0.248213
1929.66/254.75	c (249,0) c PeriodProcTime_0 : 0.022520
1929.66/254.75	c (249,0) c PeriodProcTime_1 : 0.019105
1929.66/254.75	c (249,0) c PeriodProcTime_2 : 0.018953
1929.66/254.75	c (249,0) c PeriodProcTime_3 : 0.018615
1929.66/254.75	c (249,0) c PeriodProcTime_4 : 0.018423
1929.66/254.75	c (249,0) c PeriodProcTime_5 : 0.018685
1929.66/254.75	c (249,0) c PeriodProcTime_6 : 0.018698
1929.66/254.75	c (249,0) c PeriodProcTime_7 : 0.022593
1929.66/254.75	c (249,0) c PeriodProcTime_total : 0.157592
1929.66/254.75	c (249,0) c PeriodProcTime_winner : 0.018953
1929.66/254.75	c (249,0) c SolvingTime_0 : 248.870912
1929.66/254.75	c (249,0) c SolvingTime_1 : 247.402854
1929.66/254.75	c (249,0) c SolvingTime_2 : 247.383338
1929.66/254.75	c (249,0) c SolvingTime_3 : 248.611303
1929.66/254.75	c (249,0) c SolvingTime_4 : 247.392672
1929.66/254.75	c (249,0) c SolvingTime_5 : 247.446196
1929.66/254.75	c (249,0) c SolvingTime_6 : 247.384488
1929.66/254.75	c (249,0) c SolvingTime_7 : 247.654594
1929.66/254.75	c (249,0) c SolvingTime_total : 1982.146358
1929.66/254.75	c (249,0) c SolvingTime_winner : 247.383338
1929.66/254.75	c (249,0) c PropagationTime_0 : 223.935800
1929.66/254.75	c (249,0) c PropagationTime_1 : 223.705739
1929.66/254.75	c (249,0) c PropagationTime_2 : 223.086003
1929.66/254.75	c (249,0) c PropagationTime_3 : 223.360683
1929.66/254.75	c (249,0) c PropagationTime_4 : 221.881208
1929.66/254.75	c (249,0) c PropagationTime_5 : 222.750491
1929.66/254.75	c (249,0) c PropagationTime_6 : 223.185388
1929.66/254.75	c (249,0) c PropagationTime_7 : 221.744716
1929.66/254.75	c (249,0) c PropagationTime_total : 1783.650028
1929.66/254.75	c (249,0) c PropagationTime_winner : 223.086003
1929.66/254.75	c (249,0) c AnalysisTime_0 : 13.727989
1929.66/254.75	c (249,0) c AnalysisTime_1 : 12.462698
1929.66/254.75	c (249,0) c AnalysisTime_2 : 12.839634
1929.66/254.75	c (249,0) c AnalysisTime_3 : 13.864347
1929.66/254.75	c (249,0) c AnalysisTime_4 : 14.080657
1929.66/254.75	c (249,0) c AnalysisTime_5 : 13.064104
1929.66/254.75	c (249,0) c AnalysisTime_6 : 12.887098
1929.66/254.75	c (249,0) c AnalysisTime_7 : 14.356657
1929.66/254.75	c (249,0) c AnalysisTime_total : 107.283185
1929.66/254.75	c (249,0) c AnalysisTime_winner : 12.839634
1929.66/254.75	c (249,0) c ReductionTime_0 : 2.050918
1929.66/254.75	c (249,0) c ReductionTime_1 : 2.177264
1929.66/254.75	c (249,0) c ReductionTime_2 : 1.957782
1929.66/254.75	c (249,0) c ReductionTime_3 : 2.016851
1929.66/254.75	c (249,0) c ReductionTime_4 : 2.116343
1929.66/254.75	c (249,0) c ReductionTime_5 : 1.968339
1929.66/254.75	c (249,0) c ReductionTime_6 : 2.140698
1929.66/254.75	c (249,0) c ReductionTime_7 : 2.026135
1929.66/254.75	c (249,0) c ReductionTime_total : 16.454332
1929.66/254.75	c (249,0) c ReductionTime_winner : 1.957782
1929.66/254.75	c (249,0) c SimplifyTime_0 : 2.493928
1929.66/254.75	c (249,0) c SimplifyTime_1 : 2.662503
1929.66/254.75	c (249,0) c SimplifyTime_2 : 2.856844
1929.66/254.75	c (249,0) c SimplifyTime_3 : 2.546226
1929.66/254.75	c (249,0) c SimplifyTime_4 : 2.838858
1929.66/254.75	c (249,0) c SimplifyTime_5 : 2.890608
1929.66/254.75	c (249,0) c SimplifyTime_6 : 2.515207
1929.66/254.75	c (249,0) c SimplifyTime_7 : 2.726400
1929.66/254.75	c (249,0) c SimplifyTime_total : 21.530574
1929.66/254.75	c (249,0) c SimplifyTime_winner : 2.856844
1929.66/254.75	c (249,0) c UsedRateTime_0 : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_1 : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_2 : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_3 : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_4 : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_5 : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_6 : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_7 : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_total : 0.000000
1929.66/254.75	c (249,0) c UsedRateTime_winner : 0.000000
1929.66/254.75	c (249,0) c OverlapRateTime_0 : 0.000000
1929.66/254.75	c (249,0) c OverlapRateTime_1 : 0.000000
1929.66/254.75	c (249,0) c OverlapRateTime_2 : 0.000000
1929.66/254.75	c (249,0) c OverlapRateTime_3 : 0.000000
1929.66/254.75	c (249,0) c OverlapRateTime_4 : 0.000000
1929.66/254.75	c (249,0) c OverlapRateTime_5 : 0.000000
1929.66/254.77	c (249,0) c OverlapRateTime_6 : 0.000000
1929.66/254.77	c (249,0) c OverlapRateTime_7 : 0.000000
1929.66/254.77	c (249,0) c OverlapRateTime_total : 0.000000
1929.66/254.77	c (249,0) c OverlapRateTime_winner : 0.000000
1929.66/254.77	c (249,0) c
1929.66/254.77	c (249,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1929.66/254.77	c (249,0) c
1929.66/254.77	c (249,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.77	c (249,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1929.66/254.77	c (249,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.77	c (249,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1929.66/254.77	c (249,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1929.66/254.77	c (249,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1929.66/254.77	c (249,0) c | Initial random_seed   | 1397250077 | 1627775480 | 1411134974 |  131062931 |  242498631 |  727638654 | 1743550735 | 1698987208 |
1929.66/254.77	c (249,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1929.66/254.77	c (249,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1929.66/254.77	c (249,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1929.66/254.77	c (249,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1929.66/254.77	c (249,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1929.66/254.77	c (249,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1929.66/254.77	c (249,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1929.66/254.77	c (249,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1929.66/254.77	c (249,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1929.66/254.77	c (249,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1929.66/254.77	c (249,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1929.66/254.77	c (249,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1929.66/254.77	c (249,0) 
1929.66/254.77	c (249,0) s SATISFIABLE
1929.87/254.81	c (249,0) SatSolver.solve End
1929.87/254.81	c (249,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1929.87/254.81	c (249,0) Show results Begin
1930.07/254.91	c (249,0) x[0] = 0
1930.07/254.91	c (249,0) x[1] = 10
1930.07/254.91	c (249,0) x[2] = 4
1930.07/254.91	c (249,0) x[3] = 14
1930.07/254.91	c (249,0) x[4] = 31
1930.07/254.91	c (249,0) x[5] = 37
1930.07/254.91	c (249,0) x[6] = 27
1930.07/254.91	c (249,0) x[7] = 12
1930.07/254.91	c (249,0) x[8] = 2
1930.07/254.91	c (249,0) x[9] = 8
1930.07/254.91	c (249,0) x[10] = 25
1930.07/254.91	c (249,0) x[11] = 40
1930.07/254.91	c (249,0) x[12] = 57
1930.07/254.91	c (249,0) x[13] = 51
1930.07/254.91	c (249,0) x[14] = 61
1930.07/254.91	c (249,0) x[15] = 46
1930.07/254.91	c (249,0) x[16] = 63
1930.07/254.91	c (249,0) x[17] = 53
1930.07/254.91	c (249,0) x[18] = 38
1930.07/254.91	c (249,0) x[19] = 55
1930.07/254.91	c (249,0) x[20] = 45
1930.07/254.91	c (249,0) x[21] = 30
1930.07/254.91	c (249,0) x[22] = 47
1930.07/254.91	c (249,0) x[23] = 62
1930.07/254.91	c (249,0) x[24] = 52
1930.07/254.91	c (249,0) x[25] = 35
1930.07/254.91	c (249,0) x[26] = 18
1930.07/254.91	c (249,0) x[27] = 3
1930.07/254.91	c (249,0) x[28] = 13
1930.07/254.91	c (249,0) x[29] = 7
1930.07/254.91	c (249,0) x[30] = 22
1930.07/254.91	c (249,0) x[31] = 39
1930.07/254.91	c (249,0) x[32] = 54
1930.07/254.91	c (249,0) x[33] = 60
1930.07/254.91	c (249,0) x[34] = 50
1930.07/254.91	c (249,0) x[35] = 56
1930.07/254.91	c (249,0) x[36] = 41
1930.07/254.91	c (249,0) x[37] = 24
1930.07/254.91	c (249,0) x[38] = 34
1930.07/254.91	c (249,0) x[39] = 28
1930.07/254.91	c (249,0) x[40] = 11
1930.07/254.91	c (249,0) x[41] = 1
1930.07/254.91	c (249,0) x[42] = 16
1930.07/254.91	c (249,0) x[43] = 33
1930.07/254.91	c (249,0) x[44] = 48
1930.07/254.91	c (249,0) x[45] = 58
1930.07/254.91	c (249,0) x[46] = 43
1930.07/254.91	c (249,0) x[47] = 49
1930.07/254.91	c (249,0) x[48] = 59
1930.07/254.91	c (249,0) x[49] = 44
1930.07/254.91	c (249,0) x[50] = 29
1930.07/254.91	c (249,0) x[51] = 23
1930.07/254.91	c (249,0) x[52] = 6
1930.07/254.91	c (249,0) x[53] = 21
1930.07/254.91	c (249,0) x[54] = 15
1930.07/254.91	c (249,0) x[55] = 5
1930.07/254.91	c (249,0) x[56] = 20
1930.07/254.91	c (249,0) x[57] = 26
1930.07/254.91	c (249,0) x[58] = 9
1930.07/254.91	c (249,0) x[59] = 19
1930.07/254.91	c (249,0) x[60] = 36
1930.07/254.91	c (249,0) x[61] = 42
1930.07/254.91	c (249,0) x[62] = 32
1930.07/254.91	c (249,0) x[63] = 17
1930.07/254.91	s SATISFIABLE
1930.07/254.91	v <instantiation>
1930.07/254.91	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.07/254.91	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.07/254.91	v </instantiation>
1930.07/254.91	c (250,0) Show results End
1930.07/254.91	c (250,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1930.07/254.91	c (250,0) 249,250,STOP-AFTER(ALL)
1930.07/254.91	c END-Prog: Sat Sep 14 07:00:34 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 (15415 MiB free)
  memory of node 1: 16384 MiB (13461 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100105 s]*
/proc/loadavg: 4.90 6.54 6.80 3/211 2958
/proc/meminfo: memFree=29476532/32770624 swapFree=66958244/67108860
[pid=2936] ppid=2933 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2936/stat : 2936 (scop.sh) S 2933 2936 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419638549 115843072 349 33554432000 4194304 5098028 140725686638208 140725686635464 140669169635964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8658944 140725686645540 140725686645868 140725686645868 140725686648781 0
/proc/2936/statm: 28282 349 296 221 0 87 0
[pid=2939] ppid=2936 vsize=27314120 memory=105456 CPUtime=0.11 cores=0-7
/proc/2939/stat : 2939 (java) S 2936 2936 1012 0 -1 1077944320 6435 0 0 0 8 3 0 0 20 0 20 0 419638549 27969658880 26364 33554432000 4194304 4196468 140727358876192 140727358858736 140544124616439 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
/proc/2939/statm: 6828530 26364 2799 1 0 6790935 0
[pid=2939/tid=2940] ppid=2936 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/2939/task/2940/stat : 2940 (java) R 2936 2936 1012 0 -1 4202560 4539 0 0 0 6 2 0 0 20 0 20 0 419638550 27969658880 26364 33554432000 4194304 4196468 140727358876192 140544096441296 140544108696926 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2941] ppid=2936 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/2939/task/2941/stat : 2941 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 26364 33554432000 4194304 4196468 140727358876192 140544128858896 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2942] ppid=2936 vsize=27314120 memory=139827412739712 CPUtime=0 cores=0-7
/proc/2939/task/2942/stat : 2942 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 26364 33554432000 4194304 4196468 140727358876192 140543546784656 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2943] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2943/stat : 2943 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 26364 33554432000 4194304 4196468 140727358876192 140543545732112 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2944] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2944/stat : 2944 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 26364 33554432000 4194304 4196468 140727358876192 140543544679568 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2945] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2945/stat : 2945 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 26364 33554432000 4194304 4196468 140727358876192 140543543626000 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2946] ppid=2936 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2939/task/2946/stat : 2946 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 26364 33554432000 4194304 4196468 140727358876192 140543542573456 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2947] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2947/stat : 2947 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 26364 33554432000 4194304 4196468 140727358876192 140543541520912 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2948] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2948/stat : 2948 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 26364 33554432000 4194304 4196468 140727358876192 140543540468368 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2949] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2949/stat : 2949 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 26364 33554432000 4194304 4196468 140727358876192 140542646159856 140544124627586 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2950] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2950/stat : 2950 (java) S 2936 2936 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 26364 33554432000 4194304 4196468 140727358876192 140541798901152 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2951] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2951/stat : 2951 (java) S 2936 2936 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 26364 33554432000 4194304 4196468 140727358876192 140541664679408 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2952] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2952/stat : 2952 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 26364 33554432000 4194304 4196468 140727358876192 140541290175184 140544124635035 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2953] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2953/stat : 2953 (java) S 2936 2936 1012 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 26364 33554432000 4194304 4196468 140727358876192 140542645106672 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2954] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2954/stat : 2954 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 26364 33554432000 4194304 4196468 140727358876192 140542644054128 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2955] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2955/stat : 2955 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 26364 33554432000 4194304 4196468 140727358876192 140542643001584 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2956] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2956/stat : 2956 (java) S 2936 2936 1012 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 26364 33554432000 4194304 4196468 140727358876192 140542641949040 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2957] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2957/stat : 2957 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 26364 33554432000 4194304 4196468 140727358876192 140540792269536 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2958] ppid=2936 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2939/task/2958/stat : 2958 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 26364 33554432000 4194304 4196468 140727358876192 140542640896944 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106852 KiB

[startup+0.210482 s]*
/proc/loadavg: 4.90 6.54 6.80 3/211 2958
/proc/meminfo: memFree=29458744/32770624 swapFree=66958244/67108860
[pid=2936] ppid=2933 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2936/stat : 2936 (scop.sh) S 2933 2936 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419638549 115843072 349 33554432000 4194304 5098028 140725686638208 140725686635464 140669169635964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8658944 140725686645540 140725686645868 140725686645868 140725686648781 0
/proc/2936/statm: 28282 349 296 221 0 87 0
[pid=2939] ppid=2936 vsize=27314120 memory=122292 CPUtime=0.24 cores=0-7
/proc/2939/stat : 2939 (java) S 2936 2936 1012 0 -1 1077944320 11456 0 0 0 20 4 0 0 20 0 20 0 419638549 27969658880 30573 33554432000 4194304 4196468 140727358876192 140727358858736 140544124616439 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
/proc/2939/statm: 6828530 30573 2922 1 0 6790935 0
[pid=2939/tid=2940] ppid=2936 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2939/task/2940/stat : 2940 (java) R 2936 2936 1012 0 -1 4202560 9145 0 0 0 16 3 0 0 20 0 20 0 419638550 27969658880 30573 33554432000 4194304 4196468 140727358876192 140544096415824 140544104892226 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2941] ppid=2936 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/2939/task/2941/stat : 2941 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 30573 33554432000 4194304 4196468 140727358876192 140544128858896 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2942] ppid=2936 vsize=27314120 memory=139827412761383 CPUtime=0 cores=0-7
/proc/2939/task/2942/stat : 2942 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 30573 33554432000 4194304 4196468 140727358876192 140543546784656 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2943] ppid=2936 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2939/task/2943/stat : 2943 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 30573 33554432000 4194304 4196468 140727358876192 140543545732112 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2944] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2944/stat : 2944 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 30573 33554432000 4194304 4196468 140727358876192 140543544679568 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2945] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2945/stat : 2945 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 30573 33554432000 4194304 4196468 140727358876192 140543543626000 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2946] ppid=2936 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2939/task/2946/stat : 2946 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 30573 33554432000 4194304 4196468 140727358876192 140543542573456 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2947] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2947/stat : 2947 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 30573 33554432000 4194304 4196468 140727358876192 140543541520912 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2948] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2948/stat : 2948 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 30573 33554432000 4194304 4196468 140727358876192 140543540468368 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2949] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2949/stat : 2949 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 30573 33554432000 4194304 4196468 140727358876192 140542646159856 140544124627586 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2950] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2950/stat : 2950 (java) S 2936 2936 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 30573 33554432000 4194304 4196468 140727358876192 140541798901152 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2951] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2951/stat : 2951 (java) S 2936 2936 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 30573 33554432000 4194304 4196468 140727358876192 140541664679408 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2952] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2952/stat : 2952 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 30573 33554432000 4194304 4196468 140727358876192 140541290175184 140544124635035 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2953] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2953/stat : 2953 (java) S 2936 2936 1012 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 30573 33554432000 4194304 4196468 140727358876192 140542645106672 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2954] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2954/stat : 2954 (java) S 2936 2936 1012 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 30573 33554432000 4194304 4196468 140727358876192 140542644054128 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2955] ppid=2936 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2939/task/2955/stat : 2955 (java) S 2936 2936 1012 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 30573 33554432000 4194304 4196468 140727358876192 140542643001584 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2956] ppid=2936 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/2939/task/2956/stat : 2956 (java) S 2936 2936 1012 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 419638557 27969658880 30573 33554432000 4194304 4196468 140727358876192 140542641949040 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2957] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2957/stat : 2957 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 30573 33554432000 4194304 4196468 140727358876192 140540792269536 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2958] ppid=2936 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2939/task/2958/stat : 2958 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 30573 33554432000 4194304 4196468 140727358876192 140542640896944 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123688 KiB

[startup+0.310356 s]*
/proc/loadavg: 4.90 6.54 6.80 2/211 2958
/proc/meminfo: memFree=29456112/32770624 swapFree=66958244/67108860
[pid=2936] ppid=2933 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2936/stat : 2936 (scop.sh) S 2933 2936 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419638549 115843072 349 33554432000 4194304 5098028 140725686638208 140725686635464 140669169635964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8658944 140725686645540 140725686645868 140725686645868 140725686648781 0
/proc/2936/statm: 28282 349 296 221 0 87 0
[pid=2939] ppid=2936 vsize=27314120 memory=125964 CPUtime=0.42 cores=0-7
/proc/2939/stat : 2939 (java) S 2936 2936 1012 0 -1 1077944320 11907 0 0 0 38 4 0 0 20 0 20 0 419638549 27969658880 31491 33554432000 4194304 4196468 140727358876192 140727358858736 140544124616439 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
/proc/2939/statm: 6828530 31491 3006 1 0 6790935 0
[pid=2939/tid=2940] ppid=2936 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/2939/task/2940/stat : 2940 (java) R 2936 2936 1012 0 -1 4202560 9416 0 0 0 26 4 0 0 20 0 20 0 419638550 27969658880 31491 33554432000 4194304 4196468 140727358876192 140544096407088 140544104892320 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2941] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2941/stat : 2941 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 31491 33554432000 4194304 4196468 140727358876192 140544128858896 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2942] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2942/stat : 2942 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 31491 33554432000 4194304 4196468 140727358876192 140543546784656 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2943] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2943/stat : 2943 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 31491 33554432000 4194304 4196468 140727358876192 140543545732112 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2944] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2944/stat : 2944 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 31491 33554432000 4194304 4196468 140727358876192 140543544679568 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2945] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2945/stat : 2945 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 31491 33554432000 4194304 4196468 140727358876192 140543543626000 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2946] ppid=2936 vsize=27314120 memory=139827290925743 CPUtime=0 cores=0-7
/proc/2939/task/2946/stat : 2946 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 31491 33554432000 4194304 4196468 140727358876192 140543542573456 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2947] ppid=2936 vsize=27314120 memory=139827290928048 CPUtime=0 cores=0-7
/proc/2939/task/2947/stat : 2947 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 31491 33554432000 4194304 4196468 140727358876192 140543541520912 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2948] ppid=2936 vsize=27314120 memory=139827290930352 CPUtime=0 cores=0-7
/proc/2939/task/2948/stat : 2948 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419638552 27969658880 31491 33554432000 4194304 4196468 140727358876192 140543540468368 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2949] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2949/stat : 2949 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 31491 33554432000 4194304 4196468 140727358876192 140542646159856 140544124627586 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2950] ppid=2936 vsize=27314120 memory=279654581874576 CPUtime=0 cores=0-7
/proc/2939/task/2950/stat : 2950 (java) S 2936 2936 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 31491 33554432000 4194304 4196468 140727358876192 140541798901152 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2951] ppid=2936 vsize=27314120 memory=279654581872272 CPUtime=0 cores=0-7
/proc/2939/task/2951/stat : 2951 (java) S 2936 2936 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419638554 27969658880 31491 33554432000 4194304 4196468 140727358876192 140541664679408 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2952] ppid=2936 vsize=27314120 memory=279654581879184 CPUtime=0 cores=0-7
/proc/2939/task/2952/stat : 2952 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 31491 33554432000 4194304 4196468 140727358876192 140541290175184 140544124635035 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2953] ppid=2936 vsize=27314120 memory=279654581820432 CPUtime=0.01 cores=0-7
/proc/2939/task/2953/stat : 2953 (java) S 2936 2936 1012 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 20 0 419638557 27969658880 31491 33554432000 4194304 4196468 140727358876192 140542645106672 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2954] ppid=2936 vsize=27314120 memory=279654581893008 CPUtime=0.01 cores=0-7
/proc/2939/task/2954/stat : 2954 (java) S 2936 2936 1012 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 419638557 27969658880 31491 33554432000 4194304 4196468 140727358876192 140542644054128 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2955] ppid=2936 vsize=27314120 memory=279654581899920 CPUtime=0.01 cores=0-7
/proc/2939/task/2955/stat : 2955 (java) R 2936 2936 1012 0 -1 4202560 93 0 0 0 1 0 0 0 20 0 20 0 419638557 27969658880 31491 33554432000 4194304 4196468 140727358876192 140542643001584 140544116905888 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2956] ppid=2936 vsize=27314120 memory=279654581897616 CPUtime=0.07 cores=0-7
/proc/2939/task/2956/stat : 2956 (java) S 2936 2936 1012 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 419638557 27969658880 31491 33554432000 4194304 4196468 140727358876192 140542641949040 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2957] ppid=2936 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2957/stat : 2957 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 31491 33554432000 4194304 4196468 140727358876192 140540792269536 140544124626645 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2958] ppid=2936 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2939/task/2958/stat : 2958 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638557 27969658880 31491 33554432000 4194304 4196468 140727358876192 140542640896944 140544124627586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127360 KiB

[startup+0.70095 s]
/proc/loadavg: 4.90 6.54 6.80 2/211 2958
/proc/meminfo: memFree=29432548/32770624 swapFree=66958244/67108860
[pid=2936] ppid=2933 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2936/stat : 2936 (scop.sh) S 2933 2936 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419638549 115843072 349 33554432000 4194304 5098028 140725686638208 140725686635464 140669169635964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8658944 140725686645540 140725686645868 140725686645868 140725686648781 0
/proc/2936/statm: 28282 349 296 221 0 87 0
[pid=2939] ppid=2936 vsize=27320392 memory=164724 CPUtime=0.96 cores=0-7
/proc/2939/stat : 2939 (java) S 2936 2936 1012 0 -1 1077944320 19771 0 0 0 88 8 0 0 20 0 20 0 419638549 27976081408 41181 33554432000 4194304 4196468 140727358876192 140727358858736 140544124616439 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
/proc/2939/statm: 6830098 41181 3157 1 0 6791447 0
[pid=2939/tid=2940] ppid=2936 vsize=27320392 memory=0 CPUtime=0.65 cores=0-7
/proc/2939/task/2940/stat : 2940 (java) D 2936 2936 1012 0 -1 4202560 16774 0 0 0 59 6 0 0 20 0 20 0 419638550 27976081408 41181 33554432000 4194304 4196468 140727358876192 140544096455712 140544124638365 0 4 2 25189581 18446744072100187269 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2941] ppid=2936 vsize=27320392 memory=139827291136880 CPUtime=0 cores=0-7
/proc/2939/task/2941/stat : 2941 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419638552 27976081408 41181 33554432000 4194304 4196468 140727358876192 140544128858896 140544124626645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2942] ppid=2936 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/2939/task/2942/stat : 2942 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27976081408 41181 33554432000 4194304 4196468 140727358876192 140543546784656 140544124626645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0
[pid=2939/tid=2943] ppid=2936 vsize=27320392 memory=8004 CPUtime=0 cores=0-7
/proc/2939/task/2943/stat : 2943 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419638552 27976081408 41181 33554432000 4194304 4196468 140727358876192 140543545732112 140544124626645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23060480 140727358878443 140727358878870 140727358878870 140727358881743 0

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

/proc/2959/task/2964/stat : 2964 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989034097296 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2965] ppid=2936 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/2959/task/2965/stat : 2965 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989033044752 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2966] ppid=2936 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/2959/task/2966/stat : 2966 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989031992208 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2967] ppid=2936 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/2959/task/2967/stat : 2967 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989030939664 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2968] ppid=2936 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/2959/task/2968/stat : 2968 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989029887120 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2969] ppid=2936 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/2959/task/2969/stat : 2969 (java) S 2936 2936 1012 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 419639005 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988191025136 139989231803010 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2970] ppid=2936 vsize=8414124 memory=1196 CPUtime=0 cores=0-7
/proc/2959/task/2970/stat : 2970 (java) S 2936 2936 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419639006 8616062976 30554 33554432000 4194304 4196468 140725060850544 139987882337184 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2971] ppid=2936 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/2959/task/2971/stat : 2971 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419639006 8616062976 30554 33554432000 4194304 4196468 140725060850544 139987613901808 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2972] ppid=2936 vsize=8414124 memory=712 CPUtime=0 cores=0-7
/proc/2959/task/2972/stat : 2972 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139987239393488 139989231810459 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2973] ppid=2936 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7
/proc/2959/task/2973/stat : 2973 (java) S 2936 2936 1012 0 -1 1077944384 612 0 0 0 6 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988189972976 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2974] ppid=2936 vsize=8414124 memory=8004 CPUtime=0.08 cores=0-7
/proc/2959/task/2974/stat : 2974 (java) S 2936 2936 1012 0 -1 1077944384 251 0 0 0 8 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988188920432 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2975] ppid=2936 vsize=8414124 memory=10428 CPUtime=0.04 cores=0-7
/proc/2959/task/2975/stat : 2975 (java) S 2936 2936 1012 0 -1 1077944384 228 0 0 0 4 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988187867888 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2976] ppid=2936 vsize=8414124 memory=14012 CPUtime=0.2 cores=0-7
/proc/2959/task/2976/stat : 2976 (java) S 2936 2936 1012 0 -1 1077944384 697 0 0 0 20 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988186815344 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2977] ppid=2936 vsize=8414124 memory=14080 CPUtime=0 cores=0-7
/proc/2959/task/2977/stat : 2977 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139986741487840 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2978] ppid=2936 vsize=8414124 memory=22028 CPUtime=0.14 cores=0-7
/proc/2959/task/2978/stat : 2978 (java) S 2936 2936 1012 0 -1 1077944384 19 0 0 0 0 14 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988185762224 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2980] ppid=2936 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/2959/task/2980/stat : 2980 (java) S 2936 2936 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419639074 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988177728704 139989231816473 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2982] ppid=2936 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/2959/task/2982/stat : 2982 (java) S 2936 2936 1012 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419639075 8616062976 30554 33554432000 4194304 4196468 140725060850544 139986070388496 139989231813789 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2983] ppid=2936 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/2959/task/2983/stat : 2983 (java) S 2936 2936 1012 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419639075 8616062976 30554 33554432000 4194304 4196468 140725060850544 139986338824080 139989231813789 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2984] ppid=2936 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2959/task/2984/stat : 2984 (java) S 2936 2936 1012 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419639077 8616062976 30554 33554432000 4194304 4196468 140725060850544 139985801961136 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
Current children cumulated CPU time: 1927.88 s
Current children cumulated vsize: 9349520 KiB
Current children cumulated memory: 840912 KiB

[startup+254.501 s]
/proc/loadavg: 7.35 7.18 7.01 3/219 3016
/proc/meminfo: memFree=28737064/32770624 swapFree=66958248/67108860
[pid=2936] ppid=2933 vsize=113128 memory=1476 CPUtime=11.77 cores=0-7
/proc/2936/stat : 2936 (scop.sh) S 2933 2936 1012 0 -1 4202496 583 30759 0 0 0 0 1142 35 20 0 1 0 419638549 115843072 369 33554432000 4194304 5098028 140725686638208 140725686634952 140669169635964 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8658944 140725686645540 140725686645868 140725686645868 140725686648781 0
/proc/2936/statm: 28282 369 311 221 0 87 0
[pid=2959] ppid=2936 vsize=8414124 memory=122216 CPUtime=1.33 cores=0-7
/proc/2959/stat : 2959 (java) S 2936 2936 1012 0 -1 1077944320 20110 0 0 0 124 9 0 0 20 0 24 0 419639002 8616062976 30554 33554432000 4194304 4196468 140725060850544 140725060833088 139989231791863 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
/proc/2959/statm: 2103531 30554 3200 1 0 2064875 0
[pid=2979] ppid=2959 vsize=822268 memory=717220 CPUtime=1916.36 cores=0-7
/proc/2979/stat : 2979 (manyglucose-4.1) S 2959 2936 1012 0 -1 1077944320 1103141 0 0 0 191445 191 0 0 20 0 2 0 419639074 842002432 179305 33554432000 4194304 4454172 140725630228368 140725630226752 139853379256055 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 37150720 140725630235498 140725630235696 140725630235696 140725630238650 0
/proc/2979/statm: 205567 179305 423 64 0 201235 0
[pid=2979/tid=2985] ppid=2959 vsize=822268 memory=1476 CPUtime=241.67 cores=0-7
/proc/2979/task/2985/stat : 2985 (manyglucose-4.1) R 2959 2936 1012 0 -1 4202560 149028 0 0 0 24138 29 0 0 20 0 2 0 419639127 842002432 179305 33554432000 4194304 4454172 140725630228368 139853356264584 4351342 0 4 0 8388610 0 0 0 -1 5 0 0 1 0 0 6552832 6554400 37150720 140725630235498 140725630235696 140725630235696 140725630238650 0
[pid=2959/tid=2960] ppid=2936 vsize=8414124 memory=7686721470384807573 CPUtime=0.75 cores=0-7
/proc/2959/task/2960/stat : 2960 (java) S 2936 2936 1012 0 -1 1077944384 16901 0 0 0 69 6 0 0 20 0 24 0 419639003 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989203632032 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2961] ppid=2936 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/2959/task/2961/stat : 2961 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989236033808 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2962] ppid=2936 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/2959/task/2962/stat : 2962 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989036202384 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2963] ppid=2936 vsize=8414124 memory=2496 CPUtime=0 cores=0-7
/proc/2959/task/2963/stat : 2963 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989035149840 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2964] ppid=2936 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/2959/task/2964/stat : 2964 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989034097296 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2965] ppid=2936 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/2959/task/2965/stat : 2965 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989033044752 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2966] ppid=2936 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/2959/task/2966/stat : 2966 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989031992208 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2967] ppid=2936 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/2959/task/2967/stat : 2967 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989030939664 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2968] ppid=2936 vsize=8414124 memory=1196 CPUtime=0 cores=0-7
/proc/2959/task/2968/stat : 2968 (java) S 2936 2936 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419639004 8616062976 30554 33554432000 4194304 4196468 140725060850544 139989029887120 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2969] ppid=2936 vsize=8414124 memory=40524 CPUtime=0 cores=0-7
/proc/2959/task/2969/stat : 2969 (java) S 2936 2936 1012 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 419639005 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988191025136 139989231803010 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2970] ppid=2936 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/2959/task/2970/stat : 2970 (java) S 2936 2936 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419639006 8616062976 30554 33554432000 4194304 4196468 140725060850544 139987882337184 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2971] ppid=2936 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/2959/task/2971/stat : 2971 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419639006 8616062976 30554 33554432000 4194304 4196468 140725060850544 139987613901808 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2972] ppid=2936 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/2959/task/2972/stat : 2972 (java) S 2936 2936 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139987239393488 139989231810459 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2973] ppid=2936 vsize=8414124 memory=776 CPUtime=0.06 cores=0-7
/proc/2959/task/2973/stat : 2973 (java) S 2936 2936 1012 0 -1 1077944384 612 0 0 0 6 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988189972976 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2974] ppid=2936 vsize=8414124 memory=1476 CPUtime=0.08 cores=0-7
/proc/2959/task/2974/stat : 2974 (java) S 2936 2936 1012 0 -1 1077944384 251 0 0 0 8 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988188920432 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2975] ppid=2936 vsize=8414124 memory=122216 CPUtime=0.04 cores=0-7
/proc/2959/task/2975/stat : 2975 (java) S 2936 2936 1012 0 -1 1077944384 228 0 0 0 4 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988187867888 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2976] ppid=2936 vsize=8414124 memory=717220 CPUtime=0.2 cores=0-7
/proc/2959/task/2976/stat : 2976 (java) S 2936 2936 1012 0 -1 1077944384 697 0 0 0 20 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988186815344 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2977] ppid=2936 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/2959/task/2977/stat : 2977 (java) S 2936 2936 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139986741487840 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2978] ppid=2936 vsize=8414124 memory=1760 CPUtime=0.21 cores=0-7
/proc/2959/task/2978/stat : 2978 (java) S 2936 2936 1012 0 -1 1077944384 19 0 0 0 7 14 0 0 20 0 24 0 419639009 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988185762224 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2980] ppid=2936 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/2959/task/2980/stat : 2980 (java) S 2936 2936 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419639074 8616062976 30554 33554432000 4194304 4196468 140725060850544 139988177728704 139989231816473 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2982] ppid=2936 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/2959/task/2982/stat : 2982 (java) S 2936 2936 1012 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419639075 8616062976 30554 33554432000 4194304 4196468 140725060850544 139986070388496 139989231813789 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2983] ppid=2936 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/2959/task/2983/stat : 2983 (java) S 2936 2936 1012 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419639075 8616062976 30554 33554432000 4194304 4196468 140725060850544 139986338824080 139989231813789 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2984] ppid=2936 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/2959/task/2984/stat : 2984 (java) S 2936 2936 1012 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419639077 8616062976 30554 33554432000 4194304 4196468 140725060850544 139985801961136 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
Current children cumulated CPU time: 1929.46 s
Current children cumulated vsize: 9349520 KiB
Current children cumulated memory: 840912 KiB

[startup+254.901 s]
/proc/loadavg: 7.35 7.18 7.01 3/219 3016
/proc/meminfo: memFree=28737064/32770624 swapFree=66958248/67108860
[pid=2936] ppid=2933 vsize=113128 memory=1476 CPUtime=11.77 cores=0-7
/proc/2936/stat : 2936 (scop.sh) S 2933 2936 1012 0 -1 4202496 583 30759 0 0 0 0 1142 35 20 0 1 0 419638549 115843072 369 33554432000 4194304 5098028 140725686638208 140725686634952 140669169635964 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8658944 140725686645540 140725686645868 140725686645868 140725686648781 0
/proc/2936/statm: 28282 369 311 221 0 87 0
[pid=2959] ppid=2936 vsize=8283048 memory=135136 CPUtime=1918.3 cores=0-7
/proc/2959/stat : 2959 (java) S 2936 2936 1012 0 -1 1077944320 23287 1103184 0 0 156 11 191470 193 20 0 22 0 419639002 8481841152 33784 33554432000 4194304 4196468 140725060850544 140725060833088 139989231791863 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
/proc/2959/statm: 2070762 33784 3223 1 0 2032106 0
[pid=2959/tid=2960] ppid=2936 vsize=8283048 memory=1476 CPUtime=1917.47 cores=0-7
/proc/2959/task/2960/stat : 2960 (java) R 2936 2936 1012 0 -1 4202560 17182 1103184 0 0 78 6 191470 193 20 0 22 0 419639003 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989203630496 139989231803798 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2961] ppid=2936 vsize=8283048 memory=122216 CPUtime=1916.63 cores=0-7
/proc/2959/task/2961/stat : 2961 (java) S 2936 2936 1012 0 -1 1077944384 2 1103184 0 0 0 0 191470 193 20 0 22 0 419639004 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989236033808 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2962] ppid=2936 vsize=8283048 memory=7686721470384807573 CPUtime=1916.63 cores=0-7
/proc/2959/task/2962/stat : 2962 (java) S 2936 2936 1012 0 -1 1077944384 3 1103184 0 0 0 0 191470 193 20 0 22 0 419639004 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989036202384 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2963] ppid=2936 vsize=8283048 memory=1432 CPUtime=1916.63 cores=0-7
/proc/2959/task/2963/stat : 2963 (java) S 2936 2936 1012 0 -1 1077944384 2 1103184 0 0 0 0 191470 193 20 0 22 0 419639004 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989035149840 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2964] ppid=2936 vsize=8283048 memory=776 CPUtime=1916.63 cores=0-7
/proc/2959/task/2964/stat : 2964 (java) S 2936 2936 1012 0 -1 1077944384 1 1103184 0 0 0 0 191470 193 20 0 22 0 419639004 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989034097296 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2965] ppid=2936 vsize=8283048 memory=1056 CPUtime=1916.63 cores=0-7
/proc/2959/task/2965/stat : 2965 (java) S 2936 2936 1012 0 -1 1077944384 2 1103184 0 0 0 0 191470 193 20 0 22 0 419639004 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989033044752 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2966] ppid=2936 vsize=8283048 memory=4000 CPUtime=1916.63 cores=0-7
/proc/2959/task/2966/stat : 2966 (java) S 2936 2936 1012 0 -1 1077944384 2 1103184 0 0 0 0 191470 193 20 0 22 0 419639004 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989031992208 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2967] ppid=2936 vsize=8283048 memory=1552 CPUtime=1916.63 cores=0-7
/proc/2959/task/2967/stat : 2967 (java) S 2936 2936 1012 0 -1 1077944384 1 1103184 0 0 0 0 191470 193 20 0 22 0 419639004 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989030939664 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2968] ppid=2936 vsize=8283048 memory=1556 CPUtime=1916.63 cores=0-7
/proc/2959/task/2968/stat : 2968 (java) S 2936 2936 1012 0 -1 1077944384 2 1103184 0 0 0 0 191470 193 20 0 22 0 419639004 8481841152 33784 33554432000 4194304 4196468 140725060850544 139989029887120 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2969] ppid=2936 vsize=8283048 memory=1196 CPUtime=1916.63 cores=0-7
/proc/2959/task/2969/stat : 2969 (java) S 2936 2936 1012 0 -1 1077944384 11 1103184 0 0 0 0 191470 193 20 0 22 0 419639005 8481841152 33784 33554432000 4194304 4196468 140725060850544 139988191025136 139989231803010 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2970] ppid=2936 vsize=8283048 memory=1044 CPUtime=1916.63 cores=0-7
/proc/2959/task/2970/stat : 2970 (java) S 2936 2936 1012 0 -1 1077944384 13 1103184 0 0 0 0 191470 193 20 0 22 0 419639006 8481841152 33784 33554432000 4194304 4196468 140725060850544 139987882337184 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2971] ppid=2936 vsize=8283048 memory=712 CPUtime=1916.63 cores=0-7
/proc/2959/task/2971/stat : 2971 (java) S 2936 2936 1012 0 -1 1077944384 1 1103184 0 0 0 0 191470 193 20 0 22 0 419639006 8481841152 33784 33554432000 4194304 4196468 140725060850544 139987613901808 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2972] ppid=2936 vsize=8283048 memory=1476 CPUtime=1916.63 cores=0-7
/proc/2959/task/2972/stat : 2972 (java) S 2936 2936 1012 0 -1 1077944384 1 1103184 0 0 0 0 191470 193 20 0 22 0 419639009 8481841152 33784 33554432000 4194304 4196468 140725060850544 139987239393488 139989231810459 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2973] ppid=2936 vsize=8283048 memory=122216 CPUtime=1916.72 cores=0-7
/proc/2959/task/2973/stat : 2973 (java) S 2936 2936 1012 0 -1 1077944384 852 1103184 0 0 9 0 191470 193 20 0 22 0 419639009 8481841152 33784 33554432000 4194304 4196468 140725060850544 139988189972976 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2974] ppid=2936 vsize=8283048 memory=746008 CPUtime=1916.75 cores=0-7
/proc/2959/task/2974/stat : 2974 (java) S 2936 2936 1012 0 -1 1077944384 277 1103184 0 0 12 0 191470 193 20 0 22 0 419639009 8481841152 33784 33554432000 4194304 4196468 140725060850544 139988188920432 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2975] ppid=2936 vsize=8283048 memory=122216 CPUtime=1916.7 cores=0-7
/proc/2959/task/2975/stat : 2975 (java) S 2936 2936 1012 0 -1 1077944384 283 1103184 0 0 7 0 191470 193 20 0 22 0 419639009 8481841152 33784 33554432000 4194304 4196468 140725060850544 139988187867888 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2976] ppid=2936 vsize=8283048 memory=1476 CPUtime=1916.91 cores=0-7
/proc/2959/task/2976/stat : 2976 (java) S 2936 2936 1012 0 -1 1077944384 1060 1103184 0 0 28 0 191470 193 20 0 22 0 419639009 8481841152 33784 33554432000 4194304 4196468 140725060850544 139988186815344 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2977] ppid=2936 vsize=8283048 memory=122216 CPUtime=1916.63 cores=0-7
/proc/2959/task/2977/stat : 2977 (java) S 2936 2936 1012 0 -1 1077944384 3 1103184 0 0 0 0 191470 193 20 0 22 0 419639009 8481841152 33784 33554432000 4194304 4196468 140725060850544 139986741487840 139989231802069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2978] ppid=2936 vsize=8283048 memory=715120 CPUtime=1916.84 cores=0-7
/proc/2959/task/2978/stat : 2978 (java) S 2936 2936 1012 0 -1 1077944384 19 1103184 0 0 7 14 191470 193 20 0 22 0 419639009 8481841152 33784 33554432000 4194304 4196468 140725060850544 139988185762224 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2980] ppid=2936 vsize=8283048 memory=880 CPUtime=1916.63 cores=0-7
/proc/2959/task/2980/stat : 2980 (java) S 2936 2936 1012 0 -1 1077944384 24 1103184 0 0 0 0 191470 193 20 0 22 0 419639074 8481841152 33784 33554432000 4194304 4196468 140725060850544 139988177727888 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
[pid=2959/tid=2984] ppid=2936 vsize=8283048 memory=1976 CPUtime=1916.63 cores=0-7
/proc/2959/task/2984/stat : 2984 (java) S 2936 2936 1012 0 -1 1077944384 9 1103184 0 0 0 0 191470 193 20 0 22 0 419639077 8481841152 33784 33554432000 4194304 4196468 140725060850544 139985801962928 139989231803010 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22495232 140725060854776 140725060854934 140725060854934 140725060857807 0
Current children cumulated CPU time: 1930.07 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 136612 KiB

Child status: 0
Real time (s): 254.929
CPU time (s): 1930.15
CPU user time (s): 1927.73
CPU system time (s): 2.4226
CPU usage (%): 757.134
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1512680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1927.73
system time used= 2.4226
maximum resident set size= 1511896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1157947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20869
involuntary context switches= 18756


# summary of solver processes directly reported to runsolver:
#   pid: 2936
#   total CPU time (s): 1930.15
#   total CPU user time (s): 1927.73
#   total CPU system time (s): 2.4226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.40175 second user time and 3.44908 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-14 06:56:19
IDJOB=4392715
IDBENCH=134594
IDSOLVER=2839
FILE ID=node145/4392715-1568437020
RUNJOBID= node145-1568426894-1040
PBS_JOBID= 21702291
Free space on /tmp= 59508 MiB

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

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

MD5SUM BENCH= 473b10c1a98fbd59115b24ad203b92fd
RANDOM SEED=1932450466

node145.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.59
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.59
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.59
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.59
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:        29570412 kB
MemAvailable:   31859928 kB
Buffers:          136856 kB
Cached:          2436352 kB
SwapCached:        41072 kB
Active:          1238524 kB
Inactive:        1380248 kB
Active(anon):       7928 kB
Inactive(anon):    78464 kB
Active(file):    1230596 kB
Inactive(file):  1301784 kB
Unevictable:      109424 kB
Mlocked:          109424 kB
SwapTotal:      67108860 kB
SwapFree:       66958244 kB
Dirty:             20520 kB
Writeback:             0 kB
AnonPages:        163536 kB
Mapped:            44148 kB
Shmem:             32364 kB
Slab:             174252 kB
SReclaimable:     145940 kB
SUnreclaim:        28312 kB
KernelStack:        3840 kB
PageTables:         4976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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 /tmp at the end= 59484 MiB
End job on node145 at 2019-09-14 07:00:34