Trace number 4392497

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 2265.44 314.959

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-45.xml
MD5SUMc29e6924973099ab0a0c802e448a5f67
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 benchmark185.253
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of constraints91
Number of domains1
Minimum domain size135
Maximum domain size135
Distribution of domain sizes[{"size":135,"count":135}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":90},{"degree":3,"count":45}]
Minimum constraint arity2
Maximum constraint arity135
Distribution of constraint arities[{"arity":2,"count":90},{"arity":135,"count":1}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5483-serial-file.bin HOME/instance-4392497-1568424125.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 03:21:25 CEST 2019
0.65/0.57	c PID: 5486
0.65/0.57	c IP: 172.20.3.146
0.65/0.57	c HOST: node146.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.41/0.96	c (0,0) Parsing End
1.41/0.96	c (0,0) CSP: 135 int (0 aux), 0 bool (0 aux), 91 ctr, max domain size 135
1.41/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.96	c (0,0) Constraint Name Generate Begin
1.41/0.97	c (0,0) Ctr:HOME/instance-4392497-1568424125.xml,Add:AllDifferent:Eq:Num:Var
1.41/0.97	c (0,0) Constraint Name Generate End
1.41/0.97	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.97	c (0,0) CSP to CSPinCNF Begin
4.26/1.86	c (1,1) translated 10 (10%) constraints
4.26/1.86	c (1,1) translated 19 (20%) constraints
4.26/1.87	c (1,1) translated 28 (30%) constraints
4.26/1.87	c (1,1) translated 37 (40%) constraints
4.26/1.87	c (1,1) translated 46 (50%) constraints
4.26/1.87	c (1,1) translated 55 (60%) constraints
4.26/1.87	c (1,1) translated 64 (70%) constraints
4.26/1.87	c (1,1) translated 73 (80%) constraints
4.26/1.87	c (1,1) translated 82 (90%) constraints
4.26/1.87	c (1,1) translated 91 (100%) constraints
4.26/1.88	c (1,1) ===========================================
4.26/1.88	c (1,1) Order
4.26/1.88	c (1,1) ===========================================
4.70/1.96	c (1,1) translated 928 (10%) constraints
4.70/2.00	c (1,1) translated 1855 (20%) constraints
5.16/2.04	c (1,1) translated 2782 (30%) constraints
5.16/2.08	c (1,1) translated 3709 (40%) constraints
5.56/2.12	c (1,1) translated 4636 (50%) constraints
5.56/2.16	c (1,1) translated 5564 (60%) constraints
5.56/2.19	c (1,1) translated 6491 (70%) constraints
5.93/2.22	c (1,1) translated 7418 (80%) constraints
5.93/2.25	c (1,1) translated 8345 (90%) constraints
8.60/3.22	c (2,2) translated 9272 (100%) constraints
8.60/3.22	c (2,2) CSP to CSPinCNF End
8.60/3.23	c (2,2) CSP: 135 int (0 aux), 18225 bool (18225 aux), 45812 ctr, max domain size 131
8.60/3.23	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.60/3.23	c (2,2) CSPinCNF Propagation Begin
10.84/4.08	c (3,3) 6480 values, 13509 unsatisfiable literals, and 13567 valid clauses are removed
10.84/4.08	c (3,3) CSPinCNF Propagation End
10.84/4.08	c (3,3) CSP: 135 int (0 aux), 18225 bool (18225 aux), 32245 ctr, max domain size 131
10.84/4.08	c (3,3) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.84/4.09	c (3,3) Simplify CSPinCNF Begin
11.91/4.44	c (3,3) Simplify CSPinCNF End
11.91/4.45	c (3,3) CSP: 135 int (0 aux), 35577 bool (35577 aux), 49597 ctr, max domain size 131
11.91/4.45	c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.91/4.45	c (3,3) Calculate Precise Domain Begin
11.91/4.45	c (3,3) 0 values are removed by re-calculation
11.91/4.45	c (3,3) Calculate Precise Domain End
11.91/4.46	c (3,3) CSP: 135 int (0 aux), 35577 bool (35577 aux), 49597 ctr, max domain size 131
11.91/4.46	c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.91/4.46	c (3,3) CSPinCNF to SatSolver Begin
15.39/5.93	c (5,5) 4960 (10 %) CSP clauses are encoded (0 SAT variables, 273384 SAT clauses)
16.40/6.77	c (6,6) 9920 (20 %) CSP clauses are encoded (0 SAT variables, 470272 SAT clauses)
17.16/7.39	c (6,6) 14880 (30 %) CSP clauses are encoded (0 SAT variables, 614784 SAT clauses)
18.17/8.36	c (7,7) 19839 (40 %) CSP clauses are encoded (0 SAT variables, 853429 SAT clauses)
19.00/9.14	c (8,8) 24799 (50 %) CSP clauses are encoded (0 SAT variables, 1046073 SAT clauses)
19.19/9.39	c (8,8) 29759 (60 %) CSP clauses are encoded (0 SAT variables, 1101433 SAT clauses)
19.31/9.44	c (8,8) 34718 (70 %) CSP clauses are encoded (0 SAT variables, 1106392 SAT clauses)
19.31/9.48	c (8,8) 39678 (80 %) CSP clauses are encoded (0 SAT variables, 1111352 SAT clauses)
19.41/9.53	c (8,8) 44638 (90 %) CSP clauses are encoded (0 SAT variables, 1116312 SAT clauses)
19.51/9.60	c (9,9) 49597 (100 %) CSP clauses are encoded (0 SAT variables, 1136530 SAT clauses)
19.51/9.60	c (9,9) CSPinCNF to SatSolver End
19.51/9.60	c (9,9) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.51/9.60	c (9,9) 40707 bool, 1136572 clause
19.51/9.60	c (9,9) Export Begin
19.72/9.70	c (9,9) Export to HOME/scop-5483-serial-file.bin
19.72/9.70	c (9,9) Export End
19.72/9.70	c (9,9) Export File Size: 0.02 MB
19.72/9.70	c (9,9) 0,0,2,3,3,3,9,STOP-AFTER(DIMACS)
19.72/9.70	c END-Prog: Sat Sep 14 03:21:35 CEST 2019
19.72/9.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5483-serial-file.bin
20.37/10.20	c (0,0) Read Serial File Begin
20.37/10.20	c (0,0) HOME/scop-5483-serial-file.bin
20.66/10.41	c (0,0) Read Serial File End
20.66/10.42	
20.66/10.42	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.66/10.42	(Solving Process)
20.66/10.42	
20.66/10.44	c BEGIN-Prog: Sat Sep 14 03:21:35 CEST 2019
20.66/10.44	c PID: 5506
20.66/10.44	c IP: 172.20.3.146
20.66/10.44	c HOST: node146.alineos.net
20.66/10.45	c (0,0) SatSolver.solve Begin
20.66/10.45	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392497-1568424125.xml-scop-5486.cnf
20.66/10.47	c (0,0) c
20.66/10.47	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)
20.66/10.47	c (0,0) c
20.66/10.47	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.66/10.47	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.66/10.47	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.66/10.47	c (0,0) c |                                                                                                       |
20.93/10.83	c (0,0) c |  Number of variables:         40707                                                                   |
20.93/10.83	c (0,0) c |  Number of clauses:         1136572                                                                   |
20.93/10.83	c (0,0) c |  Parse time:                   0.33 s                                                                 |
20.93/10.83	c (0,0) c |                                                                                                       |
23.25/12.85	c (2,0) c |  Simplification time:          1.99 s                                                                 |
23.25/12.85	c (2,0) c |                                                                                                       |
23.25/12.85	c (2,0) c |  Generating clones                                                                                    |
23.56/13.15	c (3,0) c |  all clones generated. Memory =   774.70Mb.                                                           |
23.56/13.15	c (3,0) c ========================================================================================================|
23.56/13.15	c (3,0) c
23.56/13.15	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.56/13.15	c (3,0) c
23.56/13.15	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.56/13.15	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.56/13.15	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.56/13.15	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.56/13.15	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.56/13.15	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.56/13.15	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.56/13.15	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.56/13.15	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.56/13.15	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.56/13.15	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.56/13.15	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.56/13.15	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.56/13.15	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.56/13.15	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.56/13.15	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.56/13.15	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.56/13.15	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.56/13.15	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
253.90/42.62	c (32,0) c
253.90/42.62	c (32,0) c |------------------------------------------------------------------------------------------------------------------------|
253.90/42.62	c (32,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
253.90/42.62	c (32,0) c |------------------------------------------------------------------------------------------------------------------------|
253.90/42.62	c (32,0) c |  0 |     64 |     175924 |      11053 |   321004 |     7258 |      610 |     9515 |       10 |      229 |  20 |  0.000 |
253.90/42.62	c (32,0) c |  1 |     92 |     159013 |      12199 |   331490 |     8403 |      462 |     9681 |        8 |      234 |  20 |  0.000 |
253.90/42.62	c (32,0) c |  2 |     71 |     152149 |      11273 |   330460 |     7477 |      485 |     9568 |        9 |      233 |  20 |  0.000 |
253.90/42.62	c (32,0) c |  3 |     73 |      66494 |      17706 |   161429 |     8920 |     1993 |     8626 |        8 |      249 |  20 |  0.000 |
253.90/42.62	c (32,0) c |  4 |     96 |     175281 |      17881 |   299708 |     9088 |     1837 |     8749 |        8 |      247 |  20 |  0.000 |
253.90/42.62	c (32,0) c |  5 |     28 |     116524 |      12720 |   298444 |     8923 |      851 |     9189 |       10 |      242 |  20 |  0.000 |
253.90/42.62	c (32,0) c |  6 |     73 |     167582 |      25286 |   259068 |     9093 |     3889 |     6756 |       10 |      249 |  20 |  0.000 |
253.90/42.62	c (32,0) c |  7 |     66 |     196598 |      11241 |   353278 |     7442 |      766 |     9680 |       13 |      242 |  20 |  0.000 |
253.90/42.62	c (32,0) c 
253.90/42.62	c (32,0) c synthesis      119360 conflicts   308402279 propagations      515 conflicts/sec  1331201 propagations/sec
253.90/42.62	c (32,0) c real: 32.1458 s, cpu: 231.672 s, memory: 1351.91 Mb
459.73/71.62	c (61,0) c
459.73/71.62	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
459.73/71.62	c (61,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
459.73/71.62	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
459.73/71.62	c (61,0) c |  0 |    114 |     332722 |      19677 |   505593 |    10880 |     1231 |    15413 |       41 |      428 |  20 |  0.000 |
459.73/71.62	c (61,0) c |  1 |    156 |     300715 |      20359 |   491144 |    11561 |      970 |    15315 |       37 |      415 |  20 |  0.000 |
459.73/71.62	c (61,0) c |  2 |     84 |     203246 |      28465 |   399191 |    12277 |     2555 |    14417 |       14 |      435 |  20 |  0.000 |
459.73/71.62	c (61,0) c |  3 |    201 |     173957 |      25927 |   379201 |     9734 |     2420 |    14458 |       35 |      434 |  20 |  0.000 |
459.73/71.62	c (61,0) c |  4 |    189 |     295657 |      28817 |   447800 |    12623 |     2880 |    13998 |       50 |      435 |  20 |  0.000 |
459.73/71.62	c (61,0) c |  5 |     50 |     273714 |      21613 |   475257 |    12815 |     1677 |    14627 |       47 |      435 |  20 |  0.000 |
459.73/71.62	c (61,0) c |  6 |    203 |     300309 |      33148 |   439441 |    16955 |     4260 |    12609 |       37 |      435 |  20 |  0.000 |
459.73/71.62	c (61,0) c |  7 |    109 |     338004 |      19930 |   509994 |    11133 |     1370 |    15354 |       40 |      435 |  20 |  0.000 |
459.73/71.62	c (61,0) c 
459.73/71.62	c (61,0) c synthesis      197936 conflicts   553138498 propagations      453 conflicts/sec  1265378 propagations/sec
459.73/71.62	c (61,0) c real: 61.146 s, cpu: 437.133 s, memory: 1352.43 Mb
663.10/100.62	c (90,0) c
663.10/100.62	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
663.10/100.62	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
663.10/100.62	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
663.10/100.62	c (90,0) c |  0 |    172 |     449228 |      31137 |   607982 |    14943 |     2413 |    25827 |       93 |      627 |  20 |  0.000 |
663.10/100.62	c (90,0) c |  1 |    201 |     432676 |      36273 |   581995 |    10175 |     3137 |    24306 |       91 |      607 |  20 |  0.000 |
663.10/100.62	c (90,0) c |  2 |    120 |     346849 |      37264 |   543590 |    11172 |     3285 |    24999 |       61 |      627 |  20 |  0.000 |
663.10/100.62	c (90,0) c |  3 |    257 |     299223 |      42286 |   510890 |    16193 |     5442 |    23384 |       96 |      627 |  20 |  0.000 |
663.10/100.62	c (90,0) c |  4 |    288 |     438912 |      36551 |   595601 |    10454 |     3315 |    25225 |       97 |      627 |  20 |  0.000 |
663.10/100.62	c (90,0) c |  5 |     78 |     395632 |      30820 |   590249 |    14621 |     2507 |    25398 |       78 |      620 |  20 |  0.000 |
663.10/100.62	c (90,0) c |  6 |    248 |     392391 |      53028 |   512528 |    14490 |     5785 |    15756 |       79 |      627 |  20 |  0.000 |
663.10/100.62	c (90,0) c |  7 |    159 |     445393 |      36575 |   609747 |    10480 |     4515 |    23895 |       98 |      627 |  20 |  0.000 |
663.10/100.62	c (90,0) c 
663.10/100.62	c (90,0) c synthesis      303934 conflicts   800995670 propagations      475 conflicts/sec  1251528 propagations/sec
663.10/100.62	c (90,0) c real: 90.1459 s, cpu: 640.014 s, memory: 1353.77 Mb
874.15/129.62	c (119,0) c
874.15/129.62	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
874.15/129.62	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
874.15/129.62	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
874.15/129.62	c (119,0) c |  0 |    240 |     612470 |      40263 |   714366 |    14167 |     3025 |    41235 |      161 |      844 |  20 |  0.000 |
874.15/129.62	c (119,0) c |  1 |    316 |     567845 |      47967 |   675396 |    21869 |     4152 |    39351 |      177 |      831 |  20 |  0.000 |
874.15/129.62	c (119,0) c |  2 |    164 |     497575 |      48448 |   645467 |    22356 |     4175 |    39085 |      128 |      839 |  20 |  0.000 |
874.15/129.62	c (119,0) c |  3 |    284 |     372508 |      90311 |   536097 |    19134 |    14055 |    30379 |      123 |      845 |  20 |  0.000 |
874.15/129.62	c (119,0) c |  4 |    385 |     585171 |      45340 |   697814 |    19243 |     3862 |    40480 |      151 |      843 |  20 |  0.000 |
874.15/129.62	c (119,0) c |  5 |    127 |     543557 |      40613 |   696235 |    14520 |     3330 |    40707 |      148 |      837 |  20 |  0.000 |
874.15/129.62	c (119,0) c |  6 |    314 |     485690 |      71027 |   575057 |    17458 |     7333 |    36765 |      118 |      839 |  20 |  0.000 |
874.15/129.62	c (119,0) c |  7 |    249 |     599899 |      45439 |   705812 |    19344 |     5019 |    39372 |      156 |      844 |  20 |  0.000 |
874.15/129.62	c (119,0) c 
874.15/129.62	c (119,0) c synthesis      429408 conflicts  1082626245 propagations      505 conflicts/sec  1272800 propagations/sec
874.15/129.62	c (119,0) c real: 119.146 s, cpu: 850.586 s, memory: 1355.69 Mb
1095.89/158.62	c (148,0) c
1095.89/158.62	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1095.89/158.62	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1095.89/158.62	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1095.89/158.62	c (148,0) c |  0 |    324 |     751972 |      49956 |   794072 |    23860 |     3570 |    50920 |      259 |     1078 |  20 |  0.000 |
1095.89/158.62	c (148,0) c |  1 |    316 |     602985 |      79551 |   677070 |    25991 |     9600 |    39351 |      216 |     1080 |  20 |  0.000 |
1095.89/158.62	c (148,0) c |  2 |    183 |     562035 |      66355 |   684222 |    27825 |     5296 |    48531 |      183 |     1060 |  20 |  0.000 |
1095.89/158.62	c (148,0) c |  3 |    426 |     497623 |      98783 |   629142 |    27606 |    14373 |    40145 |      183 |     1080 |  20 |  0.000 |
1095.89/158.62	c (148,0) c |  4 |    459 |     747436 |      56144 |   767496 |    17597 |     4812 |    49362 |      246 |     1074 |  20 |  0.000 |
1095.89/158.62	c (148,0) c |  5 |    171 |     675403 |      52243 |   765035 |    13697 |     4124 |    50094 |      233 |     1071 |  20 |  0.000 |
1095.89/158.62	c (148,0) c |  6 |    437 |     647871 |      79344 |   664552 |    25774 |     7744 |    46786 |      192 |     1080 |  20 |  0.000 |
1095.89/158.62	c (148,0) c |  7 |    326 |     763947 |      54689 |   784084 |    16141 |     5644 |    48845 |      243 |     1080 |  20 |  0.000 |
1095.89/158.62	c (148,0) c 
1095.89/158.62	c (148,0) c synthesis      537066 conflicts  1389250434 propagations      501 conflicts/sec  1296462 propagations/sec
1095.89/158.62	c (148,0) c real: 148.146 s, cpu: 1071.57 s, memory: 1357.15 Mb
1327.38/188.62	c (178,0) c
1327.38/188.62	c (178,0) c |------------------------------------------------------------------------------------------------------------------------|
1327.38/188.62	c (178,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1327.38/188.62	c (178,0) c |------------------------------------------------------------------------------------------------------------------------|
1327.38/188.62	c (178,0) c |  0 |    396 |     904738 |      59483 |   847445 |    20935 |     4260 |    55946 |      363 |     1314 |  20 |  0.000 |
1327.38/188.62	c (178,0) c |  1 |    424 |     704481 |      92211 |   727610 |    21030 |    10544 |    49731 |      310 |     1316 |  20 |  0.000 |
1327.38/188.62	c (178,0) c |  2 |    262 |     683813 |      76103 |   744965 |    22543 |     5809 |    53741 |      259 |     1305 |  20 |  0.000 |
1327.38/188.62	c (178,0) c |  3 |    554 |     625069 |     106780 |   697582 |    35603 |    14729 |    45480 |      296 |     1314 |  20 |  0.000 |
1327.38/188.62	c (178,0) c |  4 |    549 |     925978 |      65177 |   822768 |    26630 |     5408 |    54717 |      333 |     1311 |  20 |  0.000 |
1327.38/188.62	c (178,0) c |  5 |    194 |     765181 |      73010 |   787356 |    19440 |     5426 |    54046 |      392 |     1309 |  20 |  0.000 |
1327.38/188.62	c (178,0) c |  6 |    581 |     765317 |      88355 |   726403 |    34786 |     8139 |    52184 |      294 |     1321 |  20 |  0.000 |
1327.38/188.62	c (178,0) c |  7 |    397 |     952363 |      64200 |   840192 |    25652 |     6263 |    54101 |      348 |     1321 |  20 |  0.000 |
1327.38/188.62	c (178,0) c 
1327.38/188.62	c (178,0) c synthesis      625319 conflicts  1709608817 propagations      480 conflicts/sec  1312155 propagations/sec
1327.38/188.62	c (178,0) c real: 178.146 s, cpu: 1302.9 s, memory: 1358.10 Mb
1534.51/217.62	c (207,0) c
1534.51/217.62	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
1534.51/217.62	c (207,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1534.51/217.62	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
1534.51/217.62	c (207,0) c |  0 |    433 |    1018189 |      66938 |   878890 |    28389 |     4789 |    59324 |      461 |     1489 |  20 |  0.000 |
1534.51/217.62	c (207,0) c |  1 |    535 |     785954 |      99056 |   768738 |    27875 |    10922 |    53703 |      389 |     1509 |  20 |  0.000 |
1534.51/217.62	c (207,0) c |  2 |    285 |     822745 |      83082 |   791033 |    29522 |     6229 |    58379 |      337 |     1509 |  20 |  0.000 |
1534.51/217.62	c (207,0) c |  3 |    662 |     717695 |     113844 |   741440 |    22456 |    15121 |    49505 |      398 |     1509 |  20 |  0.000 |
1534.51/217.62	c (207,0) c |  4 |    626 |    1045364 |      72367 |   856940 |    18800 |     5787 |    58799 |      424 |     1509 |  20 |  0.000 |
1534.51/217.62	c (207,0) c |  5 |    196 |     786102 |      91312 |   788438 |    20132 |     6871 |    56489 |      440 |     1493 |  20 |  0.000 |
1534.51/217.62	c (207,0) c |  6 |    670 |     869642 |      95087 |   775729 |    23902 |     8466 |    56139 |      375 |     1509 |  20 |  0.000 |
1534.51/217.62	c (207,0) c |  7 |    475 |    1055302 |      71606 |   870370 |    18038 |     6669 |    57950 |      444 |     1509 |  20 |  0.000 |
1534.51/217.62	c (207,0) c 
1534.51/217.62	c (207,0) c synthesis      693292 conflicts  1967069725 propagations      459 conflicts/sec  1302735 propagations/sec
1534.51/217.62	c (207,0) c real: 207.146 s, cpu: 1509.95 s, memory: 1358.76 Mb
1743.70/246.62	c (236,0) c
1743.70/246.62	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
1743.70/246.62	c (236,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1743.70/246.62	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
1743.70/246.62	c (236,0) c |  0 |    484 |    1104842 |      78602 |   901050 |    25028 |     5161 |    62221 |      631 |     1703 |  20 |  0.000 |
1743.70/246.62	c (236,0) c |  1 |    624 |     931625 |     106281 |   813379 |    35100 |    11360 |    57199 |      503 |     1716 |  20 |  0.000 |
1743.70/246.62	c (236,0) c |  2 |    326 |     939569 |      90788 |   827348 |    19608 |     6739 |    61743 |      466 |     1715 |  20 |  0.000 |
1743.70/246.62	c (236,0) c |  3 |    745 |     875401 |     120912 |   789631 |    29523 |    15562 |    53063 |      529 |     1719 |  20 |  0.000 |
1743.70/246.62	c (236,0) c |  4 |    770 |    1133438 |      84057 |   878203 |    30490 |     6224 |    62347 |      566 |     1716 |  20 |  0.000 |
1743.70/246.62	c (236,0) c |  5 |    285 |     859655 |     102482 |   813578 |    31302 |     7696 |    60734 |      557 |     1719 |  20 |  0.000 |
1743.70/246.62	c (236,0) c |  6 |    775 |     970602 |     102831 |   807471 |    31645 |     8922 |    59612 |      472 |     1715 |  20 |  0.000 |
1743.70/246.62	c (236,0) c |  7 |    532 |    1225889 |      79172 |   902180 |    25604 |     7171 |    61353 |      565 |     1717 |  20 |  0.000 |
1743.70/246.62	c (236,0) c 
1743.70/246.62	c (236,0) c synthesis      765125 conflicts  2250143804 propagations      445 conflicts/sec  1309411 propagations/sec
1743.70/246.62	c (236,0) c real: 236.146 s, cpu: 1718.44 s, memory: 1359.41 Mb
1973.51/275.62	c (265,0) c
1973.51/275.62	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
1973.51/275.62	c (265,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1973.51/275.62	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
1973.51/275.62	c (265,0) c |  0 |    517 |    1213970 |      95120 |   917941 |    41546 |     5621 |    67142 |      778 |     1949 |  20 |  0.000 |
1973.51/275.62	c (265,0) c |  1 |    734 |    1099343 |     114964 |   855446 |    23574 |    11941 |    61078 |      673 |     1961 |  20 |  0.000 |
1973.51/275.62	c (265,0) c |  2 |    379 |    1057739 |     100038 |   859865 |    28857 |     7330 |    65660 |      623 |     1959 |  20 |  0.000 |
1973.51/275.62	c (265,0) c |  3 |    860 |    1061237 |     129626 |   839681 |    38238 |    16161 |    57062 |      675 |     1969 |  20 |  0.000 |
1973.51/275.62	c (265,0) c |  4 |    873 |    1265824 |      93684 |   905337 |    22502 |     6790 |    66215 |      724 |     1966 |  20 |  0.000 |
1973.51/275.62	c (265,0) c |  5 |    332 |    1001846 |     111462 |   854338 |    40282 |     8337 |    64858 |      714 |     1969 |  20 |  0.000 |
1973.51/275.62	c (265,0) c |  6 |    881 |    1122644 |     111669 |   847909 |    20277 |     9518 |    63487 |      605 |     1965 |  20 |  0.000 |
1973.51/275.62	c (265,0) c |  7 |    617 |    1362123 |      88534 |   924544 |    34966 |     7717 |    65305 |      741 |     1968 |  20 |  0.000 |
1973.51/275.62	c (265,0) c 
1973.51/275.62	c (265,0) c synthesis      845097 conflicts  2581052163 propagations      434 conflicts/sec  1324948 propagations/sec
1973.51/275.62	c (265,0) c real: 265.146 s, cpu: 1948.04 s, memory: 1360.36 Mb
2193.06/304.62	c (294,0) c
2193.06/304.62	c (294,0) c |------------------------------------------------------------------------------------------------------------------------|
2193.06/304.62	c (294,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2193.06/304.62	c (294,0) c |------------------------------------------------------------------------------------------------------------------------|
2193.06/304.62	c (294,0) c |  0 |    594 |    1342643 |     103204 |   937192 |    28021 |     6080 |    70581 |      925 |     2175 |  20 |  0.000 |
2193.06/304.62	c (294,0) c |  1 |    845 |    1245755 |     123515 |   888256 |    32125 |    12476 |    64834 |      850 |     2195 |  20 |  0.000 |
2193.06/304.62	c (294,0) c |  2 |    408 |    1178429 |     108453 |   886782 |    37272 |     7892 |    69296 |      790 |     2194 |  20 |  0.000 |
2193.06/304.62	c (294,0) c |  3 |    957 |    1192703 |     136854 |   869892 |    45466 |    16644 |    60439 |      822 |     2187 |  20 |  0.000 |
2193.06/304.62	c (294,0) c |  4 |    945 |    1415259 |     101729 |   928391 |    30546 |     7356 |    69516 |      865 |     2195 |  20 |  0.000 |
2193.06/304.62	c (294,0) c |  5 |    366 |    1125354 |     119930 |   884824 |    28540 |     8812 |    68551 |      891 |     2195 |  20 |  0.000 |
2193.06/304.62	c (294,0) c |  6 |   1002 |    1224986 |     120424 |   877611 |    29032 |    10039 |    67294 |      775 |     2195 |  20 |  0.000 |
2193.06/304.62	c (294,0) c |  7 |    671 |    1510274 |      97042 |   945983 |    25865 |     8305 |    68877 |      905 |     2195 |  20 |  0.000 |
2193.06/304.62	c (294,0) c 
2193.06/304.62	c (294,0) c synthesis      911151 conflicts  2889586162 propagations      420 conflicts/sec  1333142 propagations/sec
2193.06/304.62	c (294,0) c real: 294.146 s, cpu: 2167.5 s, memory: 1360.62 Mb
2264.80/314.71	c (304,0) c
2264.80/314.71	c (304,0) c real time : 304.244 s
2264.80/314.71	c (304,0) c cpu time  : 2239.07 s
2264.80/314.71	c (304,0) c
2264.80/314.71	c (304,0) c
2264.80/314.73	c (304,0) c
2264.80/314.73	c (304,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2264.80/314.73	c (304,0) c
2264.80/314.73	c (304,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.73	c (304,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2264.80/314.73	c (304,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.73	c (304,0) c | Conflicts     |          930903 |     105651 |     125941 |     110896 |     139254 |     104120 |     122478 |     123114 |      99449 |
2264.80/314.73	c (304,0) c | Decisions     |        10506396 |    1376610 |    1289714 |    1209388 |    1229121 |    1446846 |    1150578 |    1250364 |    1553775 |
2264.80/314.73	c (304,0) c | Propagations  |      2976410487 |  356244818 |  371250217 |  373318914 |  379514860 |  375034626 |  374422598 |  371957715 |  374666739 |
2264.80/314.73	c (304,0) c | ReduceDBs     |              69 |          8 |          9 |          8 |         10 |          8 |          9 |          9 |          8 |
2264.80/314.73	c (304,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2264.80/314.73	c (304,0) c | Restarts      |            5972 |        616 |        870 |        420 |        992 |        959 |        381 |       1046 |        688 |
2264.80/314.73	c (304,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2264.80/314.73	c (304,0) c | PropBinClauses|      5295464435 |  637435414 |  663849645 |  664551122 |  674400535 |  665332246 |  662443460 |  662901820 |  664550193 |
2264.80/314.73	c (304,0) c | PropPreBlocker|     88014115946 |10928401891 |11138293771 |10993651650 |11043595754 |10954294757 |10925966919 |11080814901 |10949096303 |
2264.80/314.73	c (304,0) c | PropNotBlocker|      9939169377 | 1270646389 | 1154887803 | 1238022643 | 1142968548 | 1309850721 | 1320566018 | 1196222798 | 1306004457 |
2264.80/314.73	c (304,0) c | LitFullScans  |    108400560497 |13452441382 |13572541467 |13572521649 |13512645144 |13572803465 |13572624238 |13572491296 |13572491856 |
2264.80/314.73	c (304,0) c | LitScanFracts |         4103539 |     540856 |     519407 |     481145 |     542382 |     501507 |     545314 |     490581 |     482347 |
2264.80/314.73	c (304,0) c | DecisionLevel0|            5972 |        616 |        870 |        420 |        992 |        959 |        381 |       1046 |        688 |
2264.80/314.73	c (304,0) c | Periods       |           18065 |       2241 |       2262 |       2262 |       2252 |       2262 |       2262 |       2262 |       2262 |
2264.80/314.73	c (304,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2264.80/314.73	c (304,0) c | Avg_Trail     |                 |      24256 |      23451 |      23054 |      20261 |      23148 |      21987 |      21675 |      23018 |
2264.80/314.73	c (304,0) c | Avg_DL        |                 |        121 |         94 |         92 |        110 |        108 |        108 |         96 |        136 |
2264.80/314.73	c (304,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2264.80/314.73	c (304,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2264.80/314.73	c (304,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.73	c (304,0) c | Exported      |           78833 |       6286 |      12635 |       8040 |      16800 |       7493 |       8985 |      10176 |       8418 |
2264.80/314.73	c (304,0) c | Imported      |          548336 |      71815 |      65748 |      70304 |      61508 |      70976 |      69556 |      68338 |      70091 |
2264.80/314.73	c (304,0) c | Good          |           34250 |       4197 |       4255 |       4350 |       4370 |       4283 |       4331 |       4351 |       4113 |
2264.80/314.73	c (304,0) c | Purge         |          514086 |      67618 |      61493 |      65954 |      57138 |      66693 |      65225 |      63987 |      65978 |
2264.80/314.73	c (304,0) c | Promoted      |            7254 |        969 |        922 |        843 |        865 |        918 |        948 |        817 |        972 |
2264.80/314.73	c (304,0) c | Remove_Imp    |          196004 |      30135 |      18959 |      25656 |      14936 |      28514 |      24481 |      23071 |      30252 |
2264.80/314.73	c (304,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2264.80/314.73	c (304,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.73	c (304,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2264.80/314.73	c (304,0) c | Binaries      |                 |        670 |        641 |        537 |        521 |        628 |        586 |        561 |        804 |
2264.80/314.73	c (304,0) c | Glues         |                 |       2561 |       2119 |       1804 |       1571 |       2627 |       2035 |       1972 |       2567 |
2264.80/314.73	c (304,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.73	c (304,0) c | Orig_Seen     |            80 % |     943843 |     895923 |     892943 |     876685 |     934865 |     892095 |     884147 |     951617 |
2264.80/314.73	c (304,0) c | Diff Orig seen|                 |      X     | -    47920 | -    50900 | -    67158 | -     8978 | -    51748 | -    59696 |       7774 |
2264.80/314.73	c (304,0) c | Hamming       |            19 % |      X     |       7782 |       7773 |       7233 |       9344 |       7636 |       7969 |       8578 |
2264.80/314.73	c (304,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.73	c (304,0) c | RunningTime   |                 |  299.7  99%|  289.8  96%|  281.2  93%|  281.7  93%|  272.8  90%|  295.4  98%|  263.7  87%|  270.5  90%|
2264.80/314.73	c (304,0) c | WaitingTime   |                 |    1.7   1%|   11.6   4%|   20.2   7%|   19.6   7%|   28.6   9%|    6.0   2%|   37.6  12%|   30.9  10%|
2264.80/314.73	c (304,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
2264.80/314.73	c (304,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%|
2264.80/314.73	c (304,0) c | SolvingTime   |                 |  301.5     |  301.5     |  301.5     |  301.5     |  301.5     |  301.5     |  301.5     |  301.5     |
2264.80/314.73	c (304,0) c | PropagationTim|                 |  279.0  93%|  280.6  93%|  279.8  93%|  280.1  93%|  280.9  93%|  277.6  92%|  281.3  93%|  281.2  93%|
2264.80/314.73	c (304,0) c | AnalysisTime  |                 |   14.1   5%|   12.6   4%|   14.2   5%|   13.0   4%|   12.9   4%|   15.5   5%|   12.5   4%|   12.4   4%|
2264.80/314.73	c (304,0) c | ReductionTime |                 |    0.6   0%|    0.6   0%|    0.4   0%|    0.8   0%|    0.4   0%|    0.6   0%|    0.6   0%|    0.6   0%|
2264.80/314.73	c (304,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2264.80/314.73	c (304,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%|
2264.80/314.73	c (304,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%|
2264.80/314.73	c (304,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.73	c (304,0) c
2264.80/314.73	c (304,0) c
2264.80/314.73	c (304,0) c Threads : 8
2264.80/314.73	c (304,0) c Winner : 0
2264.80/314.73	c (304,0) c Conflicts_0 : 105651
2264.80/314.73	c (304,0) c Conflicts_1 : 125941
2264.80/314.73	c (304,0) c Conflicts_2 : 110896
2264.80/314.73	c (304,0) c Conflicts_3 : 139254
2264.80/314.73	c (304,0) c Conflicts_4 : 104120
2264.80/314.73	c (304,0) c Conflicts_5 : 122478
2264.80/314.73	c (304,0) c Conflicts_6 : 123114
2264.80/314.73	c (304,0) c Conflicts_7 : 99449
2264.80/314.73	c (304,0) c Conflicts_total : 930903
2264.80/314.73	c (304,0) c Conflicts_winner : 105651
2264.80/314.73	c (304,0) c Decisions_0 : 1376610
2264.80/314.73	c (304,0) c Decisions_1 : 1289714
2264.80/314.73	c (304,0) c Decisions_2 : 1209388
2264.80/314.73	c (304,0) c Decisions_3 : 1229121
2264.80/314.73	c (304,0) c Decisions_4 : 1446846
2264.80/314.73	c (304,0) c Decisions_5 : 1150578
2264.80/314.73	c (304,0) c Decisions_6 : 1250364
2264.80/314.73	c (304,0) c Decisions_7 : 1553775
2264.80/314.73	c (304,0) c Decisions_total : 10506396
2264.80/314.73	c (304,0) c Decisions_winner : 1376610
2264.80/314.73	c (304,0) c Propagations_0 : 356244818
2264.80/314.73	c (304,0) c Propagations_1 : 371250217
2264.80/314.73	c (304,0) c Propagations_2 : 373318914
2264.80/314.73	c (304,0) c Propagations_3 : 379514860
2264.80/314.73	c (304,0) c Propagations_4 : 375034626
2264.80/314.73	c (304,0) c Propagations_5 : 374422598
2264.80/314.73	c (304,0) c Propagations_6 : 371957715
2264.80/314.73	c (304,0) c Propagations_7 : 374666739
2264.80/314.73	c (304,0) c Propagations_total : 2976410487
2264.80/314.73	c (304,0) c Propagations_winner : 356244818
2264.80/314.73	c (304,0) c ReduceDBs_0 : 8
2264.80/314.73	c (304,0) c ReduceDBs_1 : 9
2264.80/314.73	c (304,0) c ReduceDBs_2 : 8
2264.80/314.73	c (304,0) c ReduceDBs_3 : 10
2264.80/314.73	c (304,0) c ReduceDBs_4 : 8
2264.80/314.73	c (304,0) c ReduceDBs_5 : 9
2264.80/314.73	c (304,0) c ReduceDBs_6 : 9
2264.80/314.73	c (304,0) c ReduceDBs_7 : 8
2264.80/314.73	c (304,0) c ReduceDBs_total : 69
2264.80/314.73	c (304,0) c ReduceDBs_winner : 8
2264.80/314.73	c (304,0) c SimpDBs_0 : 1
2264.80/314.73	c (304,0) c SimpDBs_1 : 1
2264.80/314.73	c (304,0) c SimpDBs_2 : 1
2264.80/314.73	c (304,0) c SimpDBs_3 : 1
2264.80/314.73	c (304,0) c SimpDBs_4 : 1
2264.80/314.73	c (304,0) c SimpDBs_5 : 1
2264.80/314.73	c (304,0) c SimpDBs_6 : 1
2264.80/314.73	c (304,0) c SimpDBs_7 : 1
2264.80/314.73	c (304,0) c SimpDBs_total : 8
2264.80/314.73	c (304,0) c SimpDBs_winner : 1
2264.80/314.73	c (304,0) c Restarts_0 : 616
2264.80/314.73	c (304,0) c Restarts_1 : 870
2264.80/314.73	c (304,0) c Restarts_2 : 420
2264.80/314.73	c (304,0) c Restarts_3 : 992
2264.80/314.73	c (304,0) c Restarts_4 : 959
2264.80/314.73	c (304,0) c Restarts_5 : 381
2264.80/314.73	c (304,0) c Restarts_6 : 1046
2264.80/314.73	c (304,0) c Restarts_7 : 688
2264.80/314.73	c (304,0) c Restarts_total : 5972
2264.80/314.73	c (304,0) c Restarts_winner : 616
2264.80/314.73	c (304,0) c ForcedImports_0 : 0
2264.80/314.73	c (304,0) c ForcedImports_1 : 0
2264.80/314.73	c (304,0) c ForcedImports_2 : 0
2264.80/314.73	c (304,0) c ForcedImports_3 : 0
2264.80/314.73	c (304,0) c ForcedImports_4 : 0
2264.80/314.73	c (304,0) c ForcedImports_5 : 0
2264.80/314.73	c (304,0) c ForcedImports_6 : 0
2264.80/314.73	c (304,0) c ForcedImports_7 : 0
2264.80/314.73	c (304,0) c ForcedImports_total : 0
2264.80/314.73	c (304,0) c ForcedImports_winner : 0
2264.80/314.73	c (304,0) c PropsBinClauses_0 : 637435414
2264.80/314.73	c (304,0) c PropsBinClauses_1 : 663849645
2264.80/314.73	c (304,0) c PropsBinClauses_2 : 664551122
2264.80/314.73	c (304,0) c PropsBinClauses_3 : 674400535
2264.80/314.73	c (304,0) c PropsBinClauses_4 : 665332246
2264.80/314.73	c (304,0) c PropsBinClauses_5 : 662443460
2264.80/314.73	c (304,0) c PropsBinClauses_6 : 662901820
2264.80/314.73	c (304,0) c PropsBinClauses_7 : 664550193
2264.80/314.73	c (304,0) c PropsBinClauses_total : 5295464435
2264.80/314.73	c (304,0) c PropsBinClauses_winner : 637435414
2264.80/314.73	c (304,0) c PropsPreBlocker_0 : 10928401891
2264.80/314.73	c (304,0) c PropsPreBlocker_1 : 11138293771
2264.80/314.73	c (304,0) c PropsPreBlocker_2 : 10993651650
2264.80/314.73	c (304,0) c PropsPreBlocker_3 : 11043595754
2264.80/314.73	c (304,0) c PropsPreBlocker_4 : 10954294757
2264.80/314.73	c (304,0) c PropsPreBlocker_5 : 10925966919
2264.80/314.73	c (304,0) c PropsPreBlocker_6 : 11080814901
2264.80/314.73	c (304,0) c PropsPreBlocker_7 : 10949096303
2264.80/314.73	c (304,0) c PropsPreBlocker_total : 88014115946
2264.80/314.73	c (304,0) c PropsPreBlocker_winner : 10928401891
2264.80/314.73	c (304,0) c PropsNotBlocker_0 : 1270646389
2264.80/314.73	c (304,0) c PropsNotBlocker_1 : 1154887803
2264.80/314.73	c (304,0) c PropsNotBlocker_2 : 1238022643
2264.80/314.73	c (304,0) c PropsNotBlocker_3 : 1142968548
2264.80/314.73	c (304,0) c PropsNotBlocker_4 : 1309850721
2264.80/314.73	c (304,0) c PropsNotBlocker_5 : 1320566018
2264.80/314.73	c (304,0) c PropsNotBlocker_6 : 1196222798
2264.80/314.73	c (304,0) c PropsNotBlocker_7 : 1306004457
2264.80/314.73	c (304,0) c PropsNotBlocker_total : 9939169377
2264.80/314.73	c (304,0) c PropsNotBlocker_winner : 1270646389
2264.80/314.73	c (304,0) c PropsLitFullScans_0 : 13452441382
2264.80/314.73	c (304,0) c PropsLitFullScans_1 : 13572541467
2264.80/314.73	c (304,0) c PropsLitFullScans_2 : 13572521649
2264.80/314.73	c (304,0) c PropsLitFullScans_3 : 13512645144
2264.80/314.73	c (304,0) c PropsLitFullScans_4 : 13572803465
2264.80/314.73	c (304,0) c PropsLitFullScans_5 : 13572624238
2264.80/314.73	c (304,0) c PropsLitFullScans_6 : 13572491296
2264.80/314.73	c (304,0) c PropsLitFullScans_7 : 13572491856
2264.80/314.73	c (304,0) c PropsLitFullScans_total : 108400560497
2264.80/314.73	c (304,0) c PropsLitFullScans_winner : 13452441382
2264.80/314.73	c (304,0) c LitScanFractions_0 : 540856
2264.80/314.73	c (304,0) c LitScanFractions_1 : 519407
2264.80/314.73	c (304,0) c LitScanFractions_2 : 481145
2264.80/314.73	c (304,0) c LitScanFractions_3 : 542382
2264.80/314.73	c (304,0) c LitScanFractions_4 : 501507
2264.80/314.73	c (304,0) c LitScanFractions_5 : 545314
2264.80/314.73	c (304,0) c LitScanFractions_6 : 490581
2264.80/314.73	c (304,0) c LitScanFractions_7 : 482347
2264.80/314.73	c (304,0) c LitScanFractions_total : 4103539
2264.80/314.73	c (304,0) c LitScanFractions_winner : 540856
2264.80/314.73	c (304,0) c DecisionLevel0_0 : 616
2264.80/314.73	c (304,0) c DecisionLevel0_1 : 870
2264.80/314.73	c (304,0) c DecisionLevel0_2 : 420
2264.80/314.73	c (304,0) c DecisionLevel0_3 : 992
2264.80/314.73	c (304,0) c DecisionLevel0_4 : 959
2264.80/314.73	c (304,0) c DecisionLevel0_5 : 381
2264.80/314.73	c (304,0) c DecisionLevel0_6 : 1046
2264.80/314.74	c (304,0) c DecisionLevel0_7 : 688
2264.80/314.74	c (304,0) c DecisionLevel0_total : 5972
2264.80/314.74	c (304,0) c DecisionLevel0_winner : 616
2264.80/314.74	c (304,0) c Periods_0 : 2241
2264.80/314.74	c (304,0) c Periods_1 : 2262
2264.80/314.74	c (304,0) c Periods_2 : 2262
2264.80/314.74	c (304,0) c Periods_3 : 2252
2264.80/314.74	c (304,0) c Periods_4 : 2262
2264.80/314.74	c (304,0) c Periods_5 : 2262
2264.80/314.74	c (304,0) c Periods_6 : 2262
2264.80/314.74	c (304,0) c Periods_7 : 2262
2264.80/314.74	c (304,0) c Periods_total : 18065
2264.80/314.74	c (304,0) c Periods_winner : 2241
2264.80/314.74	c (304,0) c Margin_0 : 20
2264.80/314.74	c (304,0) c Margin_1 : 20
2264.80/314.74	c (304,0) c Margin_2 : 20
2264.80/314.74	c (304,0) c Margin_3 : 20
2264.80/314.74	c (304,0) c Margin_4 : 20
2264.80/314.74	c (304,0) c Margin_5 : 20
2264.80/314.74	c (304,0) c Margin_6 : 20
2264.80/314.74	c (304,0) c Margin_7 : 20
2264.80/314.74	c (304,0) c Margin_total : 160
2264.80/314.74	c (304,0) c Margin_winner : 20
2264.80/314.74	c (304,0) c Exported_0 : 6286
2264.80/314.74	c (304,0) c Exported_1 : 12635
2264.80/314.74	c (304,0) c Exported_2 : 8040
2264.80/314.74	c (304,0) c Exported_3 : 16800
2264.80/314.74	c (304,0) c Exported_4 : 7493
2264.80/314.74	c (304,0) c Exported_5 : 8985
2264.80/314.74	c (304,0) c Exported_6 : 10176
2264.80/314.74	c (304,0) c Exported_7 : 8418
2264.80/314.74	c (304,0) c Exported_total : 78833
2264.80/314.74	c (304,0) c Exported_winner : 6286
2264.80/314.74	c (304,0) c Imported_0 : 71815
2264.80/314.74	c (304,0) c Imported_1 : 65748
2264.80/314.74	c (304,0) c Imported_2 : 70304
2264.80/314.74	c (304,0) c Imported_3 : 61508
2264.80/314.74	c (304,0) c Imported_4 : 70976
2264.80/314.74	c (304,0) c Imported_5 : 69556
2264.80/314.74	c (304,0) c Imported_6 : 68338
2264.80/314.74	c (304,0) c Imported_7 : 70091
2264.80/314.74	c (304,0) c Imported_total : 548336
2264.80/314.74	c (304,0) c Imported_winner : 71815
2264.80/314.74	c (304,0) c Good_0 : 4197
2264.80/314.74	c (304,0) c Good_1 : 4255
2264.80/314.74	c (304,0) c Good_2 : 4350
2264.80/314.74	c (304,0) c Good_3 : 4370
2264.80/314.74	c (304,0) c Good_4 : 4283
2264.80/314.74	c (304,0) c Good_5 : 4331
2264.80/314.74	c (304,0) c Good_6 : 4351
2264.80/314.74	c (304,0) c Good_7 : 4113
2264.80/314.74	c (304,0) c Good_total : 34250
2264.80/314.74	c (304,0) c Good_winner : 4197
2264.80/314.74	c (304,0) c Purge_0 : 67618
2264.80/314.74	c (304,0) c Purge_1 : 61493
2264.80/314.74	c (304,0) c Purge_2 : 65954
2264.80/314.74	c (304,0) c Purge_3 : 57138
2264.80/314.74	c (304,0) c Purge_4 : 66693
2264.80/314.74	c (304,0) c Purge_5 : 65225
2264.80/314.74	c (304,0) c Purge_6 : 63987
2264.80/314.74	c (304,0) c Purge_7 : 65978
2264.80/314.74	c (304,0) c Purge_total : 514086
2264.80/314.74	c (304,0) c Purge_winner : 67618
2264.80/314.74	c (304,0) c Promoted_0 : 969
2264.80/314.74	c (304,0) c Promoted_1 : 922
2264.80/314.74	c (304,0) c Promoted_2 : 843
2264.80/314.74	c (304,0) c Promoted_3 : 865
2264.80/314.74	c (304,0) c Promoted_4 : 918
2264.80/314.74	c (304,0) c Promoted_5 : 948
2264.80/314.74	c (304,0) c Promoted_6 : 817
2264.80/314.74	c (304,0) c Promoted_7 : 972
2264.80/314.74	c (304,0) c Promoted_total : 7254
2264.80/314.74	c (304,0) c Promoted_winner : 969
2264.80/314.74	c (304,0) c Remove_Imp_0 : 30135
2264.80/314.74	c (304,0) c Remove_Imp_1 : 18959
2264.80/314.74	c (304,0) c Remove_Imp_2 : 25656
2264.80/314.74	c (304,0) c Remove_Imp_3 : 14936
2264.80/314.74	c (304,0) c Remove_Imp_4 : 28514
2264.80/314.74	c (304,0) c Remove_Imp_5 : 24481
2264.80/314.74	c (304,0) c Remove_Imp_6 : 23071
2264.80/314.74	c (304,0) c Remove_Imp_7 : 30252
2264.80/314.74	c (304,0) c Remove_Imp_total : 196004
2264.80/314.74	c (304,0) c Remove_Imp_winner : 30135
2264.80/314.74	c (304,0) c Blocked_Reuse_0 : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_1 : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_2 : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_3 : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_4 : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_5 : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_6 : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_7 : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_total : 0
2264.80/314.74	c (304,0) c Blocked_Reuse_winner : 0
2264.80/314.74	c (304,0) c Unaries_0 : 0
2264.80/314.74	c (304,0) c Unaries_1 : 0
2264.80/314.74	c (304,0) c Unaries_2 : 0
2264.80/314.74	c (304,0) c Unaries_3 : 0
2264.80/314.74	c (304,0) c Unaries_4 : 0
2264.80/314.74	c (304,0) c Unaries_5 : 0
2264.80/314.74	c (304,0) c Unaries_6 : 0
2264.80/314.74	c (304,0) c Unaries_7 : 0
2264.80/314.74	c (304,0) c Unaries_total : 0
2264.80/314.74	c (304,0) c Unaries_winner : 0
2264.80/314.74	c (304,0) c Binaries_0 : 670
2264.80/314.74	c (304,0) c Binaries_1 : 641
2264.80/314.74	c (304,0) c Binaries_2 : 537
2264.80/314.74	c (304,0) c Binaries_3 : 521
2264.80/314.74	c (304,0) c Binaries_4 : 628
2264.80/314.74	c (304,0) c Binaries_5 : 586
2264.80/314.74	c (304,0) c Binaries_6 : 561
2264.80/314.74	c (304,0) c Binaries_7 : 804
2264.80/314.74	c (304,0) c Binaries_total : 4948
2264.80/314.74	c (304,0) c Binaries_winner : 670
2264.80/314.74	c (304,0) c Glues_0 : 2561
2264.80/314.74	c (304,0) c Glues_1 : 2119
2264.80/314.74	c (304,0) c Glues_2 : 1804
2264.80/314.74	c (304,0) c Glues_3 : 1571
2264.80/314.74	c (304,0) c Glues_4 : 2627
2264.80/314.74	c (304,0) c Glues_5 : 2035
2264.80/314.74	c (304,0) c Glues_6 : 1972
2264.80/314.74	c (304,0) c Glues_7 : 2567
2264.80/314.74	c (304,0) c Glues_total : 17256
2264.80/314.74	c (304,0) c Glues_winner : 2561
2264.80/314.74	c (304,0) c RunningTime_0 : 299.718946
2264.80/314.74	c (304,0) c RunningTime_1 : 289.842736
2264.80/314.74	c (304,0) c RunningTime_2 : 281.176991
2264.80/314.74	c (304,0) c RunningTime_3 : 281.749981
2264.80/314.74	c (304,0) c RunningTime_4 : 272.781781
2264.80/314.74	c (304,0) c RunningTime_5 : 295.411988
2264.80/314.74	c (304,0) c RunningTime_6 : 263.741843
2264.80/314.74	c (304,0) c RunningTime_7 : 270.477129
2264.80/314.74	c (304,0) c RunningTime_total : 2254.901394
2264.80/314.74	c (304,0) c RunningTime_winner : 299.718946
2264.80/314.74	c (304,0) c WaitingTime_0 : 1.656740
2264.80/314.74	c (304,0) c WaitingTime_1 : 11.583016
2264.80/314.74	c (304,0) c WaitingTime_2 : 20.218694
2264.80/314.74	c (304,0) c WaitingTime_3 : 19.634646
2264.80/314.74	c (304,0) c WaitingTime_4 : 28.611043
2264.80/314.74	c (304,0) c WaitingTime_5 : 5.973165
2264.80/314.74	c (304,0) c WaitingTime_6 : 37.635698
2264.80/314.74	c (304,0) c WaitingTime_7 : 30.913642
2264.80/314.74	c (304,0) c WaitingTime_total : 156.226644
2264.80/314.74	c (304,0) c WaitingTime_winner : 1.656740
2264.80/314.74	c (304,0) c ExchangingTime_0 : 0.082489
2264.80/314.74	c (304,0) c ExchangingTime_1 : 0.082181
2264.80/314.74	c (304,0) c ExchangingTime_2 : 0.073319
2264.80/314.74	c (304,0) c ExchangingTime_3 : 0.087028
2264.80/314.74	c (304,0) c ExchangingTime_4 : 0.081192
2264.80/314.74	c (304,0) c ExchangingTime_5 : 0.077942
2264.80/314.74	c (304,0) c ExchangingTime_6 : 0.085755
2264.80/314.74	c (304,0) c ExchangingTime_7 : 0.079207
2264.80/314.74	c (304,0) c ExchangingTime_total : 0.649112
2264.80/314.74	c (304,0) c ExchangingTime_winner : 0.082489
2264.80/314.74	c (304,0) c PeriodProcTime_0 : 0.031576
2264.80/314.74	c (304,0) c PeriodProcTime_1 : 0.028084
2264.80/314.74	c (304,0) c PeriodProcTime_2 : 0.020581
2264.80/314.74	c (304,0) c PeriodProcTime_3 : 0.024801
2264.80/314.74	c (304,0) c PeriodProcTime_4 : 0.018978
2264.80/314.74	c (304,0) c PeriodProcTime_5 : 0.025376
2264.80/314.74	c (304,0) c PeriodProcTime_6 : 0.019642
2264.80/314.74	c (304,0) c PeriodProcTime_7 : 0.019695
2264.80/314.74	c (304,0) c PeriodProcTime_total : 0.188732
2264.80/314.74	c (304,0) c PeriodProcTime_winner : 0.031576
2264.80/314.74	c (304,0) c SolvingTime_0 : 301.489751
2264.80/314.74	c (304,0) c SolvingTime_1 : 301.536016
2264.80/314.74	c (304,0) c SolvingTime_2 : 301.489584
2264.80/314.74	c (304,0) c SolvingTime_3 : 301.496455
2264.80/314.74	c (304,0) c SolvingTime_4 : 301.492993
2264.80/314.74	c (304,0) c SolvingTime_5 : 301.488470
2264.80/314.74	c (304,0) c SolvingTime_6 : 301.482938
2264.80/314.74	c (304,0) c SolvingTime_7 : 301.489674
2264.80/314.74	c (304,0) c SolvingTime_total : 2411.965882
2264.80/314.74	c (304,0) c SolvingTime_winner : 301.489751
2264.80/314.74	c (304,0) c PropagationTime_0 : 278.970590
2264.80/314.74	c (304,0) c PropagationTime_1 : 280.629838
2264.80/314.74	c (304,0) c PropagationTime_2 : 279.762811
2264.80/314.74	c (304,0) c PropagationTime_3 : 280.120139
2264.80/314.74	c (304,0) c PropagationTime_4 : 280.944716
2264.80/314.74	c (304,0) c PropagationTime_5 : 277.611289
2264.80/314.74	c (304,0) c PropagationTime_6 : 281.327591
2264.80/314.74	c (304,0) c PropagationTime_7 : 281.152905
2264.80/314.74	c (304,0) c PropagationTime_total : 2240.519879
2264.80/314.74	c (304,0) c PropagationTime_winner : 278.970590
2264.80/314.74	c (304,0) c AnalysisTime_0 : 14.061436
2264.80/314.74	c (304,0) c AnalysisTime_1 : 12.614683
2264.80/314.74	c (304,0) c AnalysisTime_2 : 14.247262
2264.80/314.74	c (304,0) c AnalysisTime_3 : 13.005890
2264.80/314.74	c (304,0) c AnalysisTime_4 : 12.922572
2264.80/314.74	c (304,0) c AnalysisTime_5 : 15.529932
2264.80/314.74	c (304,0) c AnalysisTime_6 : 12.506336
2264.80/314.74	c (304,0) c AnalysisTime_7 : 12.430540
2264.80/314.74	c (304,0) c AnalysisTime_total : 107.318651
2264.80/314.74	c (304,0) c AnalysisTime_winner : 14.061436
2264.80/314.74	c (304,0) c ReductionTime_0 : 0.583357
2264.80/314.74	c (304,0) c ReductionTime_1 : 0.647884
2264.80/314.74	c (304,0) c ReductionTime_2 : 0.379136
2264.80/314.74	c (304,0) c ReductionTime_3 : 0.815588
2264.80/314.74	c (304,0) c ReductionTime_4 : 0.385511
2264.80/314.74	c (304,0) c ReductionTime_5 : 0.615639
2264.80/314.74	c (304,0) c ReductionTime_6 : 0.590805
2264.80/314.74	c (304,0) c ReductionTime_7 : 0.586295
2264.80/314.74	c (304,0) c ReductionTime_total : 4.604215
2264.80/314.74	c (304,0) c ReductionTime_winner : 0.583357
2264.80/314.74	c (304,0) c SimplifyTime_0 : 0.000083
2264.80/314.74	c (304,0) c SimplifyTime_1 : 0.000137
2264.80/314.74	c (304,0) c SimplifyTime_2 : 0.000044
2264.80/314.74	c (304,0) c SimplifyTime_3 : 0.000134
2264.80/314.74	c (304,0) c SimplifyTime_4 : 0.000093
2264.80/314.74	c (304,0) c SimplifyTime_5 : 0.000039
2264.80/314.74	c (304,0) c SimplifyTime_6 : 0.000085
2264.80/314.74	c (304,0) c SimplifyTime_7 : 0.000062
2264.80/314.74	c (304,0) c SimplifyTime_total : 0.000677
2264.80/314.74	c (304,0) c SimplifyTime_winner : 0.000083
2264.80/314.74	c (304,0) c UsedRateTime_0 : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_1 : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_2 : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_3 : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_4 : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_5 : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_6 : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_7 : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_total : 0.000000
2264.80/314.74	c (304,0) c UsedRateTime_winner : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_0 : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_1 : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_2 : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_3 : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_4 : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_5 : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_6 : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_7 : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_total : 0.000000
2264.80/314.74	c (304,0) c OverlapRateTime_winner : 0.000000
2264.80/314.74	c (304,0) c
2264.80/314.74	c (304,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2264.80/314.74	c (304,0) c
2264.80/314.74	c (304,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.74	c (304,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2264.80/314.74	c (304,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.74	c (304,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2264.80/314.74	c (304,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2264.80/314.74	c (304,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2264.80/314.74	c (304,0) c | Initial random_seed   |    5042896 | 1102540661 |  364182169 | 1036472833 | 1954254346 |  698109686 |  266986205 |  781055869 |
2264.80/314.74	c (304,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2264.80/314.74	c (304,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2264.80/314.74	c (304,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2264.80/314.74	c (304,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2264.80/314.74	c (304,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2264.80/314.74	c (304,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2264.80/314.74	c (304,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2264.80/314.74	c (304,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2264.80/314.74	c (304,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2264.80/314.74	c (304,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2264.80/314.74	c (304,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2264.80/314.74	c (304,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2264.80/314.74	c (304,0) 
2264.80/314.74	c (304,0) s SATISFIABLE
2265.11/314.80	c (304,0) SatSolver.solve End
2265.11/314.80	c (304,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2265.11/314.80	c (304,0) Show results Begin
2265.32/314.93	c (304,0) x[0][0] = 84
2265.32/314.93	c (304,0) x[0][1] = 119
2265.32/314.93	c (304,0) x[0][2] = 124
2265.32/314.93	c (304,0) x[0][3] = 103
2265.32/314.93	c (304,0) x[0][4] = 9
2265.32/314.93	c (304,0) x[0][5] = 120
2265.32/314.93	c (304,0) x[0][6] = 107
2265.32/314.93	c (304,0) x[0][7] = 112
2265.32/314.93	c (304,0) x[0][8] = 96
2265.32/314.93	c (304,0) x[0][9] = 1
2265.32/314.93	c (304,0) x[0][10] = 75
2265.32/314.93	c (304,0) x[0][11] = 19
2265.32/314.93	c (304,0) x[0][12] = 51
2265.32/314.93	c (304,0) x[0][13] = 37
2265.32/314.93	c (304,0) x[0][14] = 101
2265.32/314.93	c (304,0) x[0][15] = 77
2265.32/314.93	c (304,0) x[0][16] = 11
2265.32/314.93	c (304,0) x[0][17] = 71
2265.32/314.93	c (304,0) x[0][18] = 0
2265.32/314.93	c (304,0) x[0][19] = 72
2265.32/314.93	c (304,0) x[0][20] = 17
2265.32/314.93	c (304,0) x[0][21] = 2
2265.32/314.93	c (304,0) x[0][22] = 33
2265.32/314.93	c (304,0) x[0][23] = 10
2265.32/314.93	c (304,0) x[0][24] = 24
2265.32/314.93	c (304,0) x[0][25] = 4
2265.32/314.93	c (304,0) x[0][26] = 42
2265.32/314.93	c (304,0) x[0][27] = 27
2265.32/314.93	c (304,0) x[0][28] = 6
2265.32/314.93	c (304,0) x[0][29] = 7
2265.32/314.93	c (304,0) x[0][30] = 41
2265.32/314.93	c (304,0) x[0][31] = 16
2265.32/314.93	c (304,0) x[0][32] = 63
2265.32/314.93	c (304,0) x[0][33] = 8
2265.32/314.93	c (304,0) x[0][34] = 28
2265.32/314.93	c (304,0) x[0][35] = 18
2265.32/314.93	c (304,0) x[0][36] = 53
2265.32/314.93	c (304,0) x[0][37] = 5
2265.32/314.93	c (304,0) x[0][38] = 22
2265.32/314.93	c (304,0) x[0][39] = 13
2265.32/314.93	c (304,0) x[0][40] = 26
2265.32/314.93	c (304,0) x[0][41] = 3
2265.32/314.93	c (304,0) x[0][42] = 30
2265.32/314.93	c (304,0) x[0][43] = 14
2265.32/314.93	c (304,0) x[0][44] = 34
2265.32/314.93	c (304,0) x[1][0] = 86
2265.32/314.93	c (304,0) x[1][1] = 122
2265.32/314.93	c (304,0) x[1][2] = 128
2265.32/314.93	c (304,0) x[1][3] = 108
2265.32/314.93	c (304,0) x[1][4] = 15
2265.32/314.93	c (304,0) x[1][5] = 127
2265.32/314.93	c (304,0) x[1][6] = 115
2265.32/314.93	c (304,0) x[1][7] = 121
2265.32/314.93	c (304,0) x[1][8] = 106
2265.32/314.93	c (304,0) x[1][9] = 12
2265.32/314.93	c (304,0) x[1][10] = 87
2265.32/314.93	c (304,0) x[1][11] = 32
2265.32/314.93	c (304,0) x[1][12] = 65
2265.32/314.93	c (304,0) x[1][13] = 52
2265.32/314.93	c (304,0) x[1][14] = 117
2265.32/314.93	c (304,0) x[1][15] = 94
2265.32/314.93	c (304,0) x[1][16] = 29
2265.32/314.93	c (304,0) x[1][17] = 90
2265.32/314.93	c (304,0) x[1][18] = 20
2265.32/314.93	c (304,0) x[1][19] = 93
2265.32/314.93	c (304,0) x[1][20] = 39
2265.32/314.93	c (304,0) x[1][21] = 25
2265.32/314.93	c (304,0) x[1][22] = 57
2265.32/314.93	c (304,0) x[1][23] = 35
2265.32/314.93	c (304,0) x[1][24] = 50
2265.32/314.93	c (304,0) x[1][25] = 31
2265.32/314.93	c (304,0) x[1][26] = 70
2265.32/314.93	c (304,0) x[1][27] = 56
2265.32/314.93	c (304,0) x[1][28] = 36
2265.32/314.93	c (304,0) x[1][29] = 38
2265.32/314.93	c (304,0) x[1][30] = 73
2265.32/314.93	c (304,0) x[1][31] = 49
2265.32/314.93	c (304,0) x[1][32] = 97
2265.32/314.93	c (304,0) x[1][33] = 43
2265.32/314.93	c (304,0) x[1][34] = 64
2265.32/314.93	c (304,0) x[1][35] = 55
2265.32/314.93	c (304,0) x[1][36] = 91
2265.32/314.93	c (304,0) x[1][37] = 44
2265.32/314.93	c (304,0) x[1][38] = 62
2265.32/314.93	c (304,0) x[1][39] = 54
2265.32/314.93	c (304,0) x[1][40] = 68
2265.32/314.93	c (304,0) x[1][41] = 46
2265.32/314.93	c (304,0) x[1][42] = 74
2265.32/314.93	c (304,0) x[1][43] = 59
2265.32/314.93	c (304,0) x[1][44] = 80
2265.32/314.93	c (304,0) x[2][0] = 88
2265.32/314.93	c (304,0) x[2][1] = 125
2265.32/314.93	c (304,0) x[2][2] = 132
2265.32/314.93	c (304,0) x[2][3] = 113
2265.32/314.93	c (304,0) x[2][4] = 21
2265.32/314.93	c (304,0) x[2][5] = 134
2265.32/314.93	c (304,0) x[2][6] = 123
2265.32/314.93	c (304,0) x[2][7] = 130
2265.32/314.93	c (304,0) x[2][8] = 116
2265.32/314.93	c (304,0) x[2][9] = 23
2265.32/314.93	c (304,0) x[2][10] = 99
2265.32/314.93	c (304,0) x[2][11] = 45
2265.32/314.93	c (304,0) x[2][12] = 79
2265.32/314.93	c (304,0) x[2][13] = 67
2265.32/314.93	c (304,0) x[2][14] = 133
2265.32/314.93	c (304,0) x[2][15] = 111
2265.32/314.93	c (304,0) x[2][16] = 47
2265.32/314.93	c (304,0) x[2][17] = 109
2265.32/314.93	c (304,0) x[2][18] = 40
2265.32/314.93	c (304,0) x[2][19] = 114
2265.32/314.93	c (304,0) x[2][20] = 61
2265.32/314.93	c (304,0) x[2][21] = 48
2265.32/314.93	c (304,0) x[2][22] = 81
2265.32/314.93	c (304,0) x[2][23] = 60
2265.32/314.93	c (304,0) x[2][24] = 76
2265.32/314.93	c (304,0) x[2][25] = 58
2265.32/314.93	c (304,0) x[2][26] = 98
2265.32/314.93	c (304,0) x[2][27] = 85
2265.32/314.93	c (304,0) x[2][28] = 66
2265.32/314.93	c (304,0) x[2][29] = 69
2265.32/314.93	c (304,0) x[2][30] = 105
2265.32/314.93	c (304,0) x[2][31] = 82
2265.32/314.94	c (304,0) x[2][32] = 131
2265.32/314.94	c (304,0) x[2][33] = 78
2265.32/314.94	c (304,0) x[2][34] = 100
2265.32/314.94	c (304,0) x[2][35] = 92
2265.32/314.94	c (304,0) x[2][36] = 129
2265.32/314.94	c (304,0) x[2][37] = 83
2265.32/314.94	c (304,0) x[2][38] = 102
2265.32/314.94	c (304,0) x[2][39] = 95
2265.32/314.94	c (304,0) x[2][40] = 110
2265.32/314.94	c (304,0) x[2][41] = 89
2265.32/314.94	c (304,0) x[2][42] = 118
2265.32/314.94	c (304,0) x[2][43] = 104
2265.32/314.94	c (304,0) x[2][44] = 126
2265.32/314.94	s SATISFIABLE
2265.32/314.94	v <instantiation>
2265.32/314.94	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44]</list>
2265.32/314.94	v     <values>84 119 124 103 9 120 107 112 96 1 75 19 51 37 101 77 11 71 0 72 17 2 33 10 24 4 42 27 6 7 41 16 63 8 28 18 53 5 22 13 26 3 30 14 34 86 122 128 108 15 127 115 121 106 12 87 32 65 52 117 94 29 90 20 93 39 25 57 35 50 31 70 56 36 38 73 49 97 43 64 55 91 44 62 54 68 46 74 59 80 88 125 132 113 21 134 123 130 116 23 99 45 79 67 133 111 47 109 40 114 61 48 81 60 76 58 98 85 66 69 105 82 131 78 100 92 129 83 102 95 110 89 118 104 126</values>
2265.32/314.94	v </instantiation>
2265.32/314.94	c (304,0) Show results End
2265.32/314.94	c (304,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2265.32/314.94	c (304,0) 304,304,STOP-AFTER(ALL)
2265.32/314.94	c END-Prog: Sat Sep 14 03:26:40 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 (14942 MiB free)
  memory of node 1: 16384 MiB (15606 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100106 s]*
/proc/loadavg: 7.62 6.51 4.73 2/212 5505
/proc/meminfo: memFree=31186700/32770624 swapFree=67000496/67108860
[pid=5483] ppid=5480 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5483/stat : 5483 (scop.sh) S 5480 5483 3098 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418326553 115843072 349 33554432000 4194304 5098028 140726148773104 140726148770360 140430407684732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35090432 140726148780837 140726148781164 140726148781164 140726148784077 0
/proc/5483/statm: 28282 349 296 221 0 87 0
[pid=5486] ppid=5483 vsize=27314120 memory=107056 CPUtime=0.1 cores=0-7
/proc/5486/stat : 5486 (java) S 5483 5483 3098 0 -1 1077944320 6871 0 0 0 7 3 0 0 20 0 20 0 418326554 27969658880 26764 33554432000 4194304 4196468 140733567087072 140733567069616 140006205439735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
/proc/5486/statm: 6828530 26764 2781 1 0 6790935 0
[pid=5486/tid=5487] ppid=5483 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/5486/task/5487/stat : 5487 (java) R 5483 5483 3098 0 -1 4202560 4982 0 0 0 6 2 0 0 20 0 20 0 418326554 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006177266064 140006205461661 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5488] ppid=5483 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5486/task/5488/stat : 5488 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006209681808 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5489] ppid=5483 vsize=27314120 memory=140150933046912 CPUtime=0 cores=0-7
/proc/5486/task/5489/stat : 5489 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006023837968 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5490] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5490/stat : 5490 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006022785680 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5491] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5491/stat : 5491 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006021732880 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5492] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5492/stat : 5492 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006020680592 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5493] ppid=5483 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5486/task/5493/stat : 5493 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006019627792 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5494] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5494/stat : 5494 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006018575504 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5495] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5495/stat : 5495 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 26764 33554432000 4194304 4196468 140733567087072 140006017522704 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5496] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5496/stat : 5496 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326558 27969658880 26764 33554432000 4194304 4196468 140733567087072 140004256901232 140006205450882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5497] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5497/stat : 5497 (java) S 5483 5483 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418326558 27969658880 26764 33554432000 4194304 4196468 140733567087072 140004122682144 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5498] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5498/stat : 5498 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326559 27969658880 26764 33554432000 4194304 4196468 140733567087072 140003854247024 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5499] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5499/stat : 5499 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 26764 33554432000 4194304 4196468 140733567087072 140003479738448 140006205458331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5500] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5500/stat : 5500 (java) S 5483 5483 3098 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 26764 33554432000 4194304 4196468 140733567087072 140004255849072 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5501] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5501/stat : 5501 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 26764 33554432000 4194304 4196468 140733567087072 140004254796272 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5502] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5502/stat : 5502 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 26764 33554432000 4194304 4196468 140733567087072 140004253743984 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5503] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5503/stat : 5503 (java) R 5483 5483 3098 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 26764 33554432000 4194304 4196468 140733567087072 140004252691184 140006205461082 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5504] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5504/stat : 5504 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 26764 33554432000 4194304 4196468 140733567087072 140002981833056 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5505] ppid=5483 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5486/task/5505/stat : 5505 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326562 27969658880 26764 33554432000 4194304 4196468 140733567087072 140004251638064 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108452 KiB

[startup+0.209862 s]*
/proc/loadavg: 7.62 6.51 4.73 3/212 5505
/proc/meminfo: memFree=31168416/32770624 swapFree=67000496/67108860
[pid=5483] ppid=5480 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5483/stat : 5483 (scop.sh) S 5480 5483 3098 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418326553 115843072 349 33554432000 4194304 5098028 140726148773104 140726148770360 140430407684732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35090432 140726148780837 140726148781164 140726148781164 140726148784077 0
/proc/5483/statm: 28282 349 296 221 0 87 0
[pid=5486] ppid=5483 vsize=27314120 memory=124132 CPUtime=0.25 cores=0-7
/proc/5486/stat : 5486 (java) S 5483 5483 3098 0 -1 1077944320 11899 0 0 0 20 5 0 0 20 0 20 0 418326554 27969658880 31033 33554432000 4194304 4196468 140733567087072 140733567069616 140006205439735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
/proc/5486/statm: 6828530 31033 2956 1 0 6790935 0
[pid=5486/tid=5487] ppid=5483 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5486/task/5487/stat : 5487 (java) R 5483 5483 3098 0 -1 4202560 9605 0 0 0 15 4 0 0 20 0 20 0 418326554 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006177254800 140006190605321 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5488] ppid=5483 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/5486/task/5488/stat : 5488 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006209681808 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5489] ppid=5483 vsize=27314120 memory=140150933061619 CPUtime=0 cores=0-7
/proc/5486/task/5489/stat : 5489 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006023837968 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5490] ppid=5483 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5486/task/5490/stat : 5490 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006022785680 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5491] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5491/stat : 5491 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006021732880 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5492] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5492/stat : 5492 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006020680592 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5493] ppid=5483 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5486/task/5493/stat : 5493 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006019627792 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5494] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5494/stat : 5494 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006018575504 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5495] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5495/stat : 5495 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31033 33554432000 4194304 4196468 140733567087072 140006017522704 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5496] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5496/stat : 5496 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326558 27969658880 31033 33554432000 4194304 4196468 140733567087072 140004256901232 140006205450882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5497] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5497/stat : 5497 (java) S 5483 5483 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418326558 27969658880 31033 33554432000 4194304 4196468 140733567087072 140004122682144 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5498] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5498/stat : 5498 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326559 27969658880 31033 33554432000 4194304 4196468 140733567087072 140003854247024 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5499] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5499/stat : 5499 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 31033 33554432000 4194304 4196468 140733567087072 140003479738448 140006205458331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5500] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5500/stat : 5500 (java) S 5483 5483 3098 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 31033 33554432000 4194304 4196468 140733567087072 140004255849072 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5501] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5501/stat : 5501 (java) S 5483 5483 3098 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 31033 33554432000 4194304 4196468 140733567087072 140004254796272 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5502] ppid=5483 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5486/task/5502/stat : 5502 (java) S 5483 5483 3098 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 31033 33554432000 4194304 4196468 140733567087072 140004253743984 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5503] ppid=5483 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/5486/task/5503/stat : 5503 (java) S 5483 5483 3098 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 418326561 27969658880 31033 33554432000 4194304 4196468 140733567087072 140004252691184 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5504] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5504/stat : 5504 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 31033 33554432000 4194304 4196468 140733567087072 140002981833056 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5505] ppid=5483 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5486/task/5505/stat : 5505 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326562 27969658880 31033 33554432000 4194304 4196468 140733567087072 140004251638064 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125528 KiB

[startup+0.309609 s]*
/proc/loadavg: 7.62 6.51 4.73 2/212 5505
/proc/meminfo: memFree=31165936/32770624 swapFree=67000496/67108860
[pid=5483] ppid=5480 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5483/stat : 5483 (scop.sh) S 5480 5483 3098 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418326553 115843072 349 33554432000 4194304 5098028 140726148773104 140726148770360 140430407684732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35090432 140726148780837 140726148781164 140726148781164 140726148784077 0
/proc/5483/statm: 28282 349 296 221 0 87 0
[pid=5486] ppid=5483 vsize=27314120 memory=127544 CPUtime=0.42 cores=0-7
/proc/5486/stat : 5486 (java) S 5483 5483 3098 0 -1 1077944320 12326 0 0 0 37 5 0 0 20 0 20 0 418326554 27969658880 31886 33554432000 4194304 4196468 140733567087072 140733567069616 140006205439735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
/proc/5486/statm: 6828530 31886 3016 1 0 6790935 0
[pid=5486/tid=5487] ppid=5483 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5486/task/5487/stat : 5487 (java) R 5483 5483 3098 0 -1 4202560 9874 0 0 0 25 4 0 0 20 0 20 0 418326554 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006177269808 140006187003264 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5488] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5488/stat : 5488 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006209681808 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5489] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5489/stat : 5489 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006023837968 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5490] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5490/stat : 5490 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006022785680 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5491] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5491/stat : 5491 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006021732880 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5492] ppid=5483 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/5486/task/5492/stat : 5492 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006020680592 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5493] ppid=5483 vsize=27314120 memory=140150822761391 CPUtime=0 cores=0-7
/proc/5486/task/5493/stat : 5493 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006019627792 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5494] ppid=5483 vsize=27314120 memory=140150822763696 CPUtime=0 cores=0-7
/proc/5486/task/5494/stat : 5494 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006018575504 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5495] ppid=5483 vsize=27314120 memory=140150822766000 CPUtime=0 cores=0-7
/proc/5486/task/5495/stat : 5495 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418326556 27969658880 31886 33554432000 4194304 4196468 140733567087072 140006017522704 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5496] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5496/stat : 5496 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326558 27969658880 31886 33554432000 4194304 4196468 140733567087072 140004256901232 140006205450882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5497] ppid=5483 vsize=27314120 memory=280301645538960 CPUtime=0 cores=0-7
/proc/5486/task/5497/stat : 5497 (java) S 5483 5483 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418326558 27969658880 31886 33554432000 4194304 4196468 140733567087072 140004122682144 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5498] ppid=5483 vsize=27314120 memory=280301645545872 CPUtime=0 cores=0-7
/proc/5486/task/5498/stat : 5498 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326559 27969658880 31886 33554432000 4194304 4196468 140733567087072 140003854247024 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5499] ppid=5483 vsize=27314120 memory=280301645487152 CPUtime=0 cores=0-7
/proc/5486/task/5499/stat : 5499 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 31886 33554432000 4194304 4196468 140733567087072 140003479738448 140006205458331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5500] ppid=5483 vsize=27314120 memory=280301645559696 CPUtime=0 cores=0-7
/proc/5486/task/5500/stat : 5500 (java) S 5483 5483 3098 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 31886 33554432000 4194304 4196468 140733567087072 140004255849072 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5501] ppid=5483 vsize=27314120 memory=280301645566608 CPUtime=0.01 cores=0-7
/proc/5486/task/5501/stat : 5501 (java) S 5483 5483 3098 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 418326561 27969658880 31886 33554432000 4194304 4196468 140733567087072 140004254796272 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5502] ppid=5483 vsize=27314120 memory=280301645564304 CPUtime=0.02 cores=0-7
/proc/5486/task/5502/stat : 5502 (java) R 5483 5483 3098 0 -1 4202560 257 0 0 0 2 0 0 0 20 0 20 0 418326561 27969658880 31886 33554432000 4194304 4196468 140733567087072 140004253743984 140006189827015 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5503] ppid=5483 vsize=27314120 memory=280301645580464 CPUtime=0.07 cores=0-7
/proc/5486/task/5503/stat : 5503 (java) S 5483 5483 3098 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 418326561 27969658880 31886 33554432000 4194304 4196468 140733567087072 140004252691184 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5504] ppid=5483 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5504/stat : 5504 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418326561 27969658880 31886 33554432000 4194304 4196468 140733567087072 140002981833056 140006205449941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5505] ppid=5483 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5486/task/5505/stat : 5505 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326562 27969658880 31886 33554432000 4194304 4196468 140733567087072 140004251638064 140006205450882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128940 KiB

[startup+0.700867 s]
/proc/loadavg: 7.62 6.51 4.73 2/212 5505
/proc/meminfo: memFree=31142992/32770624 swapFree=67000496/67108860
[pid=5483] ppid=5480 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5483/stat : 5483 (scop.sh) S 5480 5483 3098 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418326553 115843072 349 33554432000 4194304 5098028 140726148773104 140726148770360 140430407684732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35090432 140726148780837 140726148781164 140726148781164 140726148784077 0
/proc/5483/statm: 28282 349 296 221 0 87 0
[pid=5486] ppid=5483 vsize=27322440 memory=166052 CPUtime=1.01 cores=0-7
/proc/5486/stat : 5486 (java) S 5483 5483 3098 0 -1 1077944320 20524 0 0 0 93 8 0 0 20 0 20 0 418326554 27978178560 41513 33554432000 4194304 4196468 140733567087072 140733567069616 140006205439735 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
/proc/5486/statm: 6830610 41513 3196 1 0 6791959 0
[pid=5486/tid=5487] ppid=5483 vsize=27322440 memory=4580 CPUtime=0.68 cores=0-7
/proc/5486/task/5487/stat : 5487 (java) R 5483 5483 3098 0 -1 4202560 17498 0 0 0 61 7 0 0 20 0 20 0 418326554 27978178560 41513 33554432000 4194304 4196468 140733567087072 140006177269072 140006205461661 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5488] ppid=5483 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5488/stat : 5488 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27978178560 41513 33554432000 4194304 4196468 140733567087072 140006209681808 140006205449941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5489] ppid=5483 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/5486/task/5489/stat : 5489 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418326556 27978178560 41513 33554432000 4194304 4196468 140733567087072 140006023837968 140006205449941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0
[pid=5486/tid=5490] ppid=5483 vsize=27322440 memory=1056 CPUtime=0 cores=0-7
/proc/5486/task/5490/stat : 5490 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418326556 27978178560 41513 33554432000 4194304 4196468 140733567087072 140006022785680 140006205449941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140733567091436 140733567091862 140733567091862 140733567094735 0

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

[pid=5506/tid=5508] ppid=5483 vsize=8414124 memory=120984 CPUtime=0 cores=0-7
/proc/5506/task/5508/stat : 5508 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418327529 8616062976 30246 33554432000 4194304 4196468 140736235308784 139718358301584 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5509] ppid=5483 vsize=8414124 memory=844772 CPUtime=0 cores=0-7
/proc/5506/task/5509/stat : 5509 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418327529 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717839059728 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5510] ppid=5483 vsize=8414124 memory=3436 CPUtime=0 cores=0-7
/proc/5506/task/5510/stat : 5510 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418327529 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717838007440 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5511] ppid=5483 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/5506/task/5511/stat : 5511 (java) S 5483 5483 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418327529 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717836954640 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5512] ppid=5483 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/5506/task/5512/stat : 5512 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418327529 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717835901328 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5513] ppid=5483 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/5506/task/5513/stat : 5513 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418327529 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717834848528 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5514] ppid=5483 vsize=8414124 memory=20488 CPUtime=0 cores=0-7
/proc/5506/task/5514/stat : 5514 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418327529 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717833796240 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5515] ppid=5483 vsize=8414124 memory=11852 CPUtime=0 cores=0-7
/proc/5506/task/5515/stat : 5515 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418327529 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717832743440 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5516] ppid=5483 vsize=8414124 memory=532 CPUtime=0.01 cores=0-7
/proc/5506/task/5516/stat : 5516 (java) S 5483 5483 3098 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 418327531 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717783149168 139718354070146 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5517] ppid=5483 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/5506/task/5517/stat : 5517 (java) S 5483 5483 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418327531 8616062976 30246 33554432000 4194304 4196468 140736235308784 139716896744736 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5518] ppid=5483 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/5506/task/5518/stat : 5518 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418327532 8616062976 30246 33554432000 4194304 4196468 140736235308784 139716628309616 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5519] ppid=5483 vsize=8414124 memory=732 CPUtime=0 cores=0-7
/proc/5506/task/5519/stat : 5519 (java) S 5483 5483 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418327534 8616062976 30246 33554432000 4194304 4196468 140736235308784 139716253801040 139718354077595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5520] ppid=5483 vsize=8414124 memory=1412 CPUtime=0.03 cores=0-7
/proc/5506/task/5520/stat : 5520 (java) S 5483 5483 3098 0 -1 1077944384 598 0 0 0 3 0 0 0 20 0 24 0 418327534 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717782095984 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5521] ppid=5483 vsize=8414124 memory=3868 CPUtime=0.07 cores=0-7
/proc/5506/task/5521/stat : 5521 (java) S 5483 5483 3098 0 -1 1077944384 264 0 0 0 7 0 0 0 20 0 24 0 418327534 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717781043184 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5522] ppid=5483 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/5506/task/5522/stat : 5522 (java) S 5483 5483 3098 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 24 0 418327534 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717779990896 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5523] ppid=5483 vsize=8414124 memory=120984 CPUtime=0.21 cores=0-7
/proc/5506/task/5523/stat : 5523 (java) S 5483 5483 3098 0 -1 1077944384 793 0 0 0 21 0 0 0 20 0 24 0 418327534 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717778938096 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5524] ppid=5483 vsize=8414124 memory=821280 CPUtime=0 cores=0-7
/proc/5506/task/5524/stat : 5524 (java) S 5483 5483 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418327534 8616062976 30246 33554432000 4194304 4196468 140736235308784 139715755895648 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5525] ppid=5483 vsize=8414124 memory=1720 CPUtime=0.18 cores=0-7
/proc/5506/task/5525/stat : 5525 (java) S 5483 5483 3098 0 -1 1077944384 21 0 0 0 9 9 0 0 20 0 24 0 418327535 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717777886000 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5527] ppid=5483 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5506/task/5527/stat : 5527 (java) S 5483 5483 3098 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418327601 8616062976 30246 33554432000 4194304 4196468 140736235308784 139717769852736 139718354083609 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5529] ppid=5483 vsize=8414124 memory=120984 CPUtime=0.01 cores=0-7
/proc/5506/task/5529/stat : 5529 (java) S 5483 5483 3098 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 418327601 8616062976 30246 33554432000 4194304 4196468 140736235308784 139715084795280 139718354080925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5530] ppid=5483 vsize=8414124 memory=822524 CPUtime=0 cores=0-7
/proc/5506/task/5530/stat : 5530 (java) S 5483 5483 3098 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418327601 8616062976 30246 33554432000 4194304 4196468 140736235308784 139715353230608 139718354080925 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5531] ppid=5483 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/5506/task/5531/stat : 5531 (java) S 5483 5483 3098 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418327603 8616062976 30246 33554432000 4194304 4196468 140736235308784 139714816367920 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
Current children cumulated CPU time: 2262.94 s
Current children cumulated vsize: 9920656 KiB
Current children cumulated memory: 945488 KiB

[startup+314.804 s]
/proc/loadavg: 7.85 7.04 5.43 9/225 5559
/proc/meminfo: memFree=30330412/32770624 swapFree=67000496/67108860
[pid=5483] ppid=5480 vsize=113128 memory=1476 CPUtime=19.77 cores=0-7
/proc/5483/stat : 5483 (scop.sh) S 5480 5483 3098 0 -1 4202496 583 31636 0 0 0 0 1876 101 20 0 1 0 418326553 115843072 369 33554432000 4194304 5098028 140726148773104 140726148769848 140430407684732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35090432 140726148780837 140726148781164 140726148781164 140726148784077 0
/proc/5483/statm: 28282 369 311 221 0 87 0
[pid=5506] ppid=5483 vsize=8414124 memory=137012 CPUtime=2245.34 cores=0-7
/proc/5506/stat : 5506 (java) S 5483 5483 3098 0 -1 1077944320 23780 4277970 0 0 152 11 223908 463 20 0 23 0 418327528 8616062976 34253 33554432000 4194304 4196468 140736235308784 140736235291328 139718354058999 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
/proc/5506/statm: 2103531 34253 3219 1 0 2064875 0
[pid=5506/tid=5507] ppid=5483 vsize=8414124 memory=120984 CPUtime=2244.46 cores=0-7
/proc/5506/task/5507/stat : 5507 (java) S 5483 5483 3098 0 -1 1077944384 17367 4277970 0 0 70 5 223908 463 20 0 23 0 418327528 8616062976 34253 33554432000 4194304 4196468 140736235308784 139718325899168 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5508] ppid=5483 vsize=8414124 memory=822852 CPUtime=2243.71 cores=0-7
/proc/5506/task/5508/stat : 5508 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 23 0 418327529 8616062976 34253 33554432000 4194304 4196468 140736235308784 139718358301584 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5509] ppid=5483 vsize=8414124 memory=163698383530752 CPUtime=2243.71 cores=0-7
/proc/5506/task/5509/stat : 5509 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 23 0 418327529 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717839059728 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5510] ppid=5483 vsize=8414124 memory=-4075877051373423738 CPUtime=2243.71 cores=0-7
/proc/5506/task/5510/stat : 5510 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 23 0 418327529 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717838007440 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5511] ppid=5483 vsize=8414124 memory=808 CPUtime=2243.71 cores=0-7
/proc/5506/task/5511/stat : 5511 (java) S 5483 5483 3098 0 -1 1077944384 2 4277970 0 0 0 0 223908 463 20 0 23 0 418327529 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717836954640 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5512] ppid=5483 vsize=8414124 memory=1808 CPUtime=2243.71 cores=0-7
/proc/5506/task/5512/stat : 5512 (java) S 5483 5483 3098 0 -1 1077944384 3 4277970 0 0 0 0 223908 463 20 0 23 0 418327529 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717835901328 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5513] ppid=5483 vsize=8414124 memory=924 CPUtime=2243.71 cores=0-7
/proc/5506/task/5513/stat : 5513 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 23 0 418327529 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717834848528 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5514] ppid=5483 vsize=8414124 memory=4940 CPUtime=2243.71 cores=0-7
/proc/5506/task/5514/stat : 5514 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 23 0 418327529 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717833796240 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5515] ppid=5483 vsize=8414124 memory=4100 CPUtime=2243.71 cores=0-7
/proc/5506/task/5515/stat : 5515 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 23 0 418327529 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717832743440 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5516] ppid=5483 vsize=8414124 memory=732 CPUtime=2243.72 cores=0-7
/proc/5506/task/5516/stat : 5516 (java) S 5483 5483 3098 0 -1 1077944384 11 4277970 0 0 1 0 223908 463 20 0 23 0 418327531 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717783149168 139718354070146 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5517] ppid=5483 vsize=8414124 memory=1412 CPUtime=2243.71 cores=0-7
/proc/5506/task/5517/stat : 5517 (java) S 5483 5483 3098 0 -1 1077944384 13 4277970 0 0 0 0 223908 463 20 0 23 0 418327531 8616062976 34253 33554432000 4194304 4196468 140736235308784 139716896744736 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5518] ppid=5483 vsize=8414124 memory=3868 CPUtime=2243.71 cores=0-7
/proc/5506/task/5518/stat : 5518 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 23 0 418327532 8616062976 34253 33554432000 4194304 4196468 140736235308784 139716628309616 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5519] ppid=5483 vsize=8414124 memory=772 CPUtime=2243.71 cores=0-7
/proc/5506/task/5519/stat : 5519 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 23 0 418327534 8616062976 34253 33554432000 4194304 4196468 140736235308784 139716253801040 139718354077595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5520] ppid=5483 vsize=8414124 memory=1556 CPUtime=2243.78 cores=0-7
/proc/5506/task/5520/stat : 5520 (java) S 5483 5483 3098 0 -1 1077944384 833 4277970 0 0 7 0 223908 463 20 0 23 0 418327534 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717782095984 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5521] ppid=5483 vsize=8414124 memory=1056 CPUtime=2243.82 cores=0-7
/proc/5506/task/5521/stat : 5521 (java) R 5483 5483 3098 0 -1 4202560 594 4277970 0 0 11 0 223908 463 20 0 23 0 418327534 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717781043184 139718347044041 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5522] ppid=5483 vsize=8414124 memory=964 CPUtime=2243.8 cores=0-7
/proc/5506/task/5522/stat : 5522 (java) S 5483 5483 3098 0 -1 1077944384 327 4277970 0 0 9 0 223908 463 20 0 23 0 418327534 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717779990896 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5523] ppid=5483 vsize=8414124 memory=14008 CPUtime=2243.96 cores=0-7
/proc/5506/task/5523/stat : 5523 (java) S 5483 5483 3098 0 -1 1077944384 1026 4277970 0 0 25 0 223908 463 20 0 23 0 418327534 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717778938096 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5524] ppid=5483 vsize=8414124 memory=826056 CPUtime=2243.71 cores=0-7
/proc/5506/task/5524/stat : 5524 (java) S 5483 5483 3098 0 -1 1077944384 3 4277970 0 0 0 0 223908 463 20 0 23 0 418327534 8616062976 34253 33554432000 4194304 4196468 140736235308784 139715755895648 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5525] ppid=5483 vsize=8414124 memory=36968 CPUtime=2243.89 cores=0-7
/proc/5506/task/5525/stat : 5525 (java) S 5483 5483 3098 0 -1 1077944384 21 4277970 0 0 9 9 223908 463 20 0 23 0 418327535 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717777886000 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5527] ppid=5483 vsize=8414124 memory=988 CPUtime=2243.71 cores=0-7
/proc/5506/task/5527/stat : 5527 (java) S 5483 5483 3098 0 -1 1077944384 25 4277970 0 0 0 0 223908 463 20 0 23 0 418327601 8616062976 34253 33554432000 4194304 4196468 140736235308784 139717769851920 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5529] ppid=5483 vsize=8414124 memory=3616 CPUtime=2243.8 cores=0-7
/proc/5506/task/5529/stat : 5529 (java) R 5483 5483 3098 0 -1 4202560 2216 4277970 0 0 8 1 223908 463 20 0 23 0 418327601 8616062976 34253 33554432000 4194304 4196468 140736235308784 139715084801440 139717856313992 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5531] ppid=5483 vsize=8414124 memory=1476 CPUtime=2243.71 cores=0-7
/proc/5506/task/5531/stat : 5531 (java) S 5483 5483 3098 0 -1 1077944384 4 4277970 0 0 0 0 223908 463 20 0 23 0 418327603 8616062976 34253 33554432000 4194304 4196468 140736235308784 139714816367680 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
Current children cumulated CPU time: 2265.11 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 138488 KiB

[startup+314.902 s]
/proc/loadavg: 7.85 7.04 5.43 9/225 5559
/proc/meminfo: memFree=30330412/32770624 swapFree=67000496/67108860
[pid=5483] ppid=5480 vsize=113128 memory=1476 CPUtime=19.77 cores=0-7
/proc/5483/stat : 5483 (scop.sh) S 5480 5483 3098 0 -1 4202496 583 31636 0 0 0 0 1876 101 20 0 1 0 418326553 115843072 369 33554432000 4194304 5098028 140726148773104 140726148769848 140430407684732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35090432 140726148780837 140726148781164 140726148781164 140726148784077 0
/proc/5483/statm: 28282 369 311 221 0 87 0
[pid=5506] ppid=5483 vsize=8283048 memory=141188 CPUtime=2245.55 cores=0-7
/proc/5506/stat : 5506 (java) S 5483 5483 3098 0 -1 1077944320 24268 4277970 0 0 173 11 223908 463 20 0 22 0 418327528 8481841152 35297 33554432000 4194304 4196468 140736235308784 140736235291328 139718354058999 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
/proc/5506/statm: 2070762 35297 3227 1 0 2032106 0
[pid=5506/tid=5507] ppid=5483 vsize=8283048 memory=120984 CPUtime=2244.55 cores=0-7
/proc/5506/task/5507/stat : 5507 (java) R 5483 5483 3098 0 -1 4202560 17642 4277970 0 0 79 5 223908 463 20 0 22 0 418327528 8481841152 35297 33554432000 4194304 4196468 140736235308784 139718325896784 139718354070934 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5508] ppid=5483 vsize=8283048 memory=1476 CPUtime=2243.71 cores=0-7
/proc/5506/task/5508/stat : 5508 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 22 0 418327529 8481841152 35297 33554432000 4194304 4196468 140736235308784 139718358301584 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5509] ppid=5483 vsize=8283048 memory=2012 CPUtime=2243.71 cores=0-7
/proc/5506/task/5509/stat : 5509 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 22 0 418327529 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717839059728 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5510] ppid=5483 vsize=8283048 memory=1240 CPUtime=2243.71 cores=0-7
/proc/5506/task/5510/stat : 5510 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 22 0 418327529 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717838007440 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5511] ppid=5483 vsize=8283048 memory=4872558044660077418 CPUtime=2243.71 cores=0-7
/proc/5506/task/5511/stat : 5511 (java) S 5483 5483 3098 0 -1 1077944384 2 4277970 0 0 0 0 223908 463 20 0 22 0 418327529 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717836954640 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5512] ppid=5483 vsize=8283048 memory=2116 CPUtime=2243.71 cores=0-7
/proc/5506/task/5512/stat : 5512 (java) S 5483 5483 3098 0 -1 1077944384 3 4277970 0 0 0 0 223908 463 20 0 22 0 418327529 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717835901328 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5513] ppid=5483 vsize=8283048 memory=1476 CPUtime=2243.71 cores=0-7
/proc/5506/task/5513/stat : 5513 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 22 0 418327529 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717834848528 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5514] ppid=5483 vsize=8283048 memory=120984 CPUtime=2243.71 cores=0-7
/proc/5506/task/5514/stat : 5514 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 22 0 418327529 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717833796240 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5515] ppid=5483 vsize=8283048 memory=280301646150448 CPUtime=2243.71 cores=0-7
/proc/5506/task/5515/stat : 5515 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 22 0 418327529 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717832743440 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5516] ppid=5483 vsize=8283048 memory=6369618612510616163 CPUtime=2243.72 cores=0-7
/proc/5506/task/5516/stat : 5516 (java) S 5483 5483 3098 0 -1 1077944384 12 4277970 0 0 1 0 223908 463 20 0 22 0 418327531 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717783149168 139718354070146 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5517] ppid=5483 vsize=8283048 memory=822528 CPUtime=2243.71 cores=0-7
/proc/5506/task/5517/stat : 5517 (java) S 5483 5483 3098 0 -1 1077944384 13 4277970 0 0 0 0 223908 463 20 0 22 0 418327531 8481841152 35297 33554432000 4194304 4196468 140736235308784 139716896744736 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5518] ppid=5483 vsize=8283048 memory=820512 CPUtime=2243.71 cores=0-7
/proc/5506/task/5518/stat : 5518 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 22 0 418327532 8481841152 35297 33554432000 4194304 4196468 140736235308784 139716628309616 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5519] ppid=5483 vsize=8283048 memory=3472328296227679313 CPUtime=2243.71 cores=0-7
/proc/5506/task/5519/stat : 5519 (java) S 5483 5483 3098 0 -1 1077944384 1 4277970 0 0 0 0 223908 463 20 0 22 0 418327534 8481841152 35297 33554432000 4194304 4196468 140736235308784 139716253801040 139718354077595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5520] ppid=5483 vsize=8283048 memory=6656426216303648864 CPUtime=2243.8 cores=0-7
/proc/5506/task/5520/stat : 5520 (java) S 5483 5483 3098 0 -1 1077944384 862 4277970 0 0 9 0 223908 463 20 0 22 0 418327534 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717782095984 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5521] ppid=5483 vsize=8283048 memory=5916 CPUtime=2243.83 cores=0-7
/proc/5506/task/5521/stat : 5521 (java) S 5483 5483 3098 0 -1 1077944384 608 4277970 0 0 12 0 223908 463 20 0 22 0 418327534 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717781043184 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5522] ppid=5483 vsize=8283048 memory=772 CPUtime=2243.83 cores=0-7
/proc/5506/task/5522/stat : 5522 (java) S 5483 5483 3098 0 -1 1077944384 377 4277970 0 0 12 0 223908 463 20 0 22 0 418327534 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717779990896 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5523] ppid=5483 vsize=8283048 memory=120984 CPUtime=2244.01 cores=0-7
/proc/5506/task/5523/stat : 5523 (java) R 5483 5483 3098 0 -1 4202560 1140 4277970 0 0 30 0 223908 463 20 0 22 0 418327534 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717778938096 139718333194659 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5524] ppid=5483 vsize=8283048 memory=830152 CPUtime=2243.71 cores=0-7
/proc/5506/task/5524/stat : 5524 (java) S 5483 5483 3098 0 -1 1077944384 3 4277970 0 0 0 0 223908 463 20 0 22 0 418327534 8481841152 35297 33554432000 4194304 4196468 140736235308784 139715755895648 139718354069205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5525] ppid=5483 vsize=8283048 memory=822540 CPUtime=2243.89 cores=0-7
/proc/5506/task/5525/stat : 5525 (java) S 5483 5483 3098 0 -1 1077944384 21 4277970 0 0 9 9 223908 463 20 0 22 0 418327535 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717777886000 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5527] ppid=5483 vsize=8283048 memory=545 CPUtime=2243.71 cores=0-7
/proc/5506/task/5527/stat : 5527 (java) S 5483 5483 3098 0 -1 1077944384 25 4277970 0 0 0 0 223908 463 20 0 22 0 418327601 8481841152 35297 33554432000 4194304 4196468 140736235308784 139717769851920 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
[pid=5506/tid=5531] ppid=5483 vsize=8283048 memory=120984 CPUtime=2243.71 cores=0-7
/proc/5506/task/5531/stat : 5531 (java) S 5483 5483 3098 0 -1 1077944384 9 4277970 0 0 0 0 223908 463 20 0 22 0 418327603 8481841152 35297 33554432000 4194304 4196468 140736235308784 139714816369712 139718354070146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36597760 140736235312120 140736235312278 140736235312278 140736235315151 0
Current children cumulated CPU time: 2265.32 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142664 KiB

Child status: 0
Real time (s): 314.959
CPU time (s): 2265.44
CPU user time (s): 2259.66
CPU system time (s): 5.77865
CPU usage (%): 719.281
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 5603436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2259.66
system time used= 5.77865
maximum resident set size= 5604768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4334653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43288
involuntary context switches= 21564


# summary of solver processes directly reported to runsolver:
#   pid: 5483
#   total CPU time (s): 2265.44
#   total CPU user time (s): 2259.66
#   total CPU system time (s): 5.77865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04718 second user time and 4.46699 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 03:21:25
IDJOB=4392497
IDBENCH=124268
IDSOLVER=2838
FILE ID=node146/4392497-1568424125
RUNJOBID= node146-1568417371-3125
PBS_JOBID= 21702271
Free space on /tmp= 59032 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-45.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392497-1568424125/watcher-4392497-1568424125 -o /tmp/evaluation-result-4392497-1568424125/solver-4392497-1568424125 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568417371-3125 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392497-1568424125.xml

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

MD5SUM BENCH= c29e6924973099ab0a0c802e448a5f67
RANDOM SEED=758116728

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31281512 kB
MemAvailable:   31881752 kB
Buffers:          182964 kB
Cached:           682248 kB
SwapCached:         4764 kB
Active:           497476 kB
Inactive:         374652 kB
Active(anon):      22932 kB
Inactive(anon):    21924 kB
Active(file):     474544 kB
Inactive(file):   352728 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000496 kB
Dirty:             20408 kB
Writeback:             0 kB
AnonPages:        270648 kB
Mapped:            42196 kB
Shmem:             29876 kB
Slab:             208460 kB
SReclaimable:     177604 kB
SUnreclaim:        30856 kB
KernelStack:        3888 kB
PageTables:         5712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     500556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 03:26:40