Trace number 4392392

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 565.545 79.387

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-08-ext03.xml
MD5SUM8a5157f08f2f2e597251b23721b8eb7d
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 benchmark2.53772
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints34
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":62},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":32},{"arity":64,"count":1}]
Number of extensional constraints32
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":32},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-3081-serial-file.bin HOME/instance-4392392-1568437276.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 07:00:35 CEST 2019
0.65/0.57	c PID: 3084
0.65/0.57	c IP: 172.20.3.145
0.65/0.57	c HOST: node145.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.55/0.94	c (0,0) Parsing End
1.55/0.95	c (0,0) CSP: 63 int (0 aux), 1 bool (0 aux), 34 ctr, max domain size 64
1.55/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.55/0.95	c (0,0) Constraint Name Generate Begin
1.55/0.95	c (0,0) Ctr:HOME/instance-4392392-1568437276.xml,AllDifferent:ExtensionSupport:Instantiation:Var
1.55/0.95	c (0,0) Constraint Name Generate End
1.55/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.55/0.95	c (0,0) CSP to CSPinCNF Begin
3.66/1.64	c (1,1) translated 4 (10%) constraints
5.86/2.21	c (1,1) translated 7 (20%) constraints
7.47/2.68	c (2,2) translated 11 (30%) constraints
8.45/3.01	c (2,2) translated 14 (40%) constraints
9.00/3.33	c (2,2) translated 17 (50%) constraints
9.45/3.75	c (3,3) translated 21 (60%) constraints
9.77/4.06	c (3,3) translated 24 (70%) constraints
10.16/4.48	c (3,3) translated 28 (80%) constraints
10.49/4.79	c (4,4) translated 31 (90%) constraints
10.83/5.00	c (4,4) translated 34 (100%) constraints
10.95/5.01	c (4,4) ===========================================
10.95/5.01	c (4,4) Order
10.95/5.01	c (4,4) ===========================================
12.45/5.48	c (4,4) translated 6228 (10%) constraints
13.04/5.62	c (5,5) translated 12455 (20%) constraints
13.15/5.76	c (5,5) translated 18682 (30%) constraints
13.28/5.88	c (5,5) translated 24909 (40%) constraints
13.49/6.01	c (5,5) translated 31136 (50%) constraints
13.60/6.14	c (5,5) translated 37363 (60%) constraints
13.73/6.27	c (5,5) translated 43590 (70%) constraints
13.93/6.40	c (5,5) translated 49817 (80%) constraints
14.04/6.52	c (5,5) translated 56044 (90%) constraints
14.13/6.65	c (6,6) translated 62271 (100%) constraints
14.13/6.65	c (6,6) CSP to CSPinCNF End
14.13/6.66	c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 70465 ctr, max domain size 32
14.13/6.66	c (6,6) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.13/6.66	c (6,6) CSPinCNF Propagation Begin
15.38/7.17	c (6,6) 424 values, 2350 unsatisfiable literals, and 2291 valid clauses are removed
15.38/7.17	c (6,6) CSPinCNF Propagation End
15.38/7.17	c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 68174 ctr, max domain size 32
15.38/7.17	c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.38/7.17	c (6,6) Simplify CSPinCNF Begin
16.17/7.42	c (6,6) Simplify CSPinCNF End
16.17/7.42	c (6,6) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32
16.17/7.42	c (6,6) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.17/7.42	c (6,6) Calculate Precise Domain Begin
16.17/7.43	c (6,6) 0 values are removed by re-calculation
16.17/7.43	c (6,6) Calculate Precise Domain End
16.17/7.43	c (6,6) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32
16.17/7.43	c (6,6) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.17/7.43	c (6,6) CSPinCNF to SatSolver Begin
18.89/8.35	c (7,7) 7208 (10 %) CSP clauses are encoded (0 SAT variables, 111376 SAT clauses)
19.04/8.43	c (7,7) 14416 (20 %) CSP clauses are encoded (0 SAT variables, 118584 SAT clauses)
19.22/8.52	c (7,7) 21624 (30 %) CSP clauses are encoded (0 SAT variables, 125792 SAT clauses)
19.22/8.60	c (8,8) 28832 (40 %) CSP clauses are encoded (0 SAT variables, 133000 SAT clauses)
19.36/8.67	c (8,8) 36039 (50 %) CSP clauses are encoded (0 SAT variables, 140207 SAT clauses)
19.47/8.75	c (8,8) 43247 (60 %) CSP clauses are encoded (0 SAT variables, 147415 SAT clauses)
19.57/8.82	c (8,8) 50455 (70 %) CSP clauses are encoded (0 SAT variables, 154623 SAT clauses)
19.68/8.90	c (8,8) 57663 (80 %) CSP clauses are encoded (0 SAT variables, 161831 SAT clauses)
19.68/8.97	c (8,8) 64871 (90 %) CSP clauses are encoded (0 SAT variables, 169039 SAT clauses)
19.79/9.05	c (8,8) 72078 (100 %) CSP clauses are encoded (0 SAT variables, 176246 SAT clauses)
19.79/9.05	c (8,8) CSPinCNF to SatSolver End
19.79/9.05	c (8,8) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
19.79/9.05	c (8,8) 15207 bool, 176247 clause
19.79/9.05	c (8,8) Export Begin
19.93/9.17	c (8,8) Export to HOME/scop-3081-serial-file.bin
19.93/9.17	c (8,8) Export End
19.93/9.17	c (8,8) Export File Size: 0.06 MB
19.93/9.17	c (8,8) 0,0,6,6,6,6,8,STOP-AFTER(DIMACS)
19.93/9.17	c END-Prog: Sat Sep 14 07:00:44 CEST 2019
19.93/9.19	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3081-serial-file.bin
20.10/9.65	c (0,0) Read Serial File Begin
20.10/9.65	c (0,0) HOME/scop-3081-serial-file.bin
20.10/9.89	c (0,0) Read Serial File End
20.10/9.91	
20.10/9.91	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.10/9.91	(Solving Process)
20.10/9.91	
20.10/9.93	c BEGIN-Prog: Sat Sep 14 07:00:45 CEST 2019
20.10/9.93	c PID: 3104
20.10/9.93	c IP: 172.20.3.145
20.10/9.93	c HOST: node145.alineos.net
20.10/9.93	c (0,0) SatSolver.solve Begin
20.10/9.93	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392392-1568437276.xml-scop-3084.cnf
20.10/9.96	c (0,0) c
20.10/9.96	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.10/9.96	c (0,0) c
20.10/9.96	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.10/9.96	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.10/9.96	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.10/9.96	c (0,0) c |                                                                                                       |
21.43/10.01	c (0,0) c |  Number of variables:         15207                                                                   |
21.43/10.01	c (0,0) c |  Number of clauses:          176038                                                                   |
21.43/10.01	c (0,0) c |  Parse time:                   0.06 s                                                                 |
21.43/10.01	c (0,0) c |                                                                                                       |
21.54/10.16	c (0,0) c |  Simplification time:          0.14 s                                                                 |
21.54/10.16	c (0,0) c |                                                                                                       |
21.54/10.16	c (0,0) c |  Generating clones                                                                                    |
21.63/10.22	c (0,0) c |  all clones generated. Memory =   138.25Mb.                                                           |
21.63/10.22	c (0,0) c ========================================================================================================|
21.63/10.22	c (0,0) c
21.63/10.22	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.63/10.22	c (0,0) c
21.63/10.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.63/10.22	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.63/10.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.63/10.22	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.63/10.22	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.63/10.22	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.63/10.22	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.63/10.22	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.63/10.22	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.63/10.22	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.63/10.22	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.63/10.22	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.63/10.22	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.63/10.22	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.63/10.22	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.63/10.22	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.63/10.22	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.63/10.22	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.63/10.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
256.65/39.79	c (30,0) c
256.65/39.79	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.65/39.79	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
256.65/39.79	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
256.65/39.79	c (30,0) c |  0 |    829 |     471299 |     133991 |   131040 |    42621 |    19377 |   128040 |     9544 |      241 |  20 | 12.553 |
256.65/39.79	c (30,0) c |  1 |    750 |     474739 |     132387 |   130730 |    41039 |    19048 |   126557 |     9419 |      237 |  20 | 12.494 |
256.65/39.79	c (30,0) c |  2 |    796 |     478492 |     136758 |   131729 |    45398 |    19784 |   128907 |     9702 |      244 |  20 | 12.553 |
256.65/39.79	c (30,0) c |  3 |    785 |     466351 |     134145 |   130561 |    42764 |    19336 |   126809 |     9681 |      239 |  20 | 12.488 |
256.65/39.79	c (30,0) c |  4 |    789 |     481559 |     135662 |   131227 |    44292 |    19479 |   128670 |     9752 |      243 |  20 | 12.553 |
256.65/39.79	c (30,0) c |  5 |    779 |     481961 |     138028 |   131196 |    23874 |    19883 |   131385 |     9956 |      250 |  20 | 12.560 |
256.65/39.79	c (30,0) c |  6 |    805 |     490472 |     138460 |   131838 |    24295 |    19514 |   131236 |     9963 |      249 |  20 | 12.560 |
256.65/39.79	c (30,0) c |  7 |    808 |     471479 |     135616 |   130628 |    44258 |    19609 |   128224 |     9734 |      243 |  20 | 12.553 |
256.65/39.79	c (30,0) c 
256.65/39.79	c (30,0) c synthesis     1085047 conflicts   656136782 propagations     4608 conflicts/sec  2786234 propagations/sec
256.65/39.79	c (30,0) c real: 29.8358 s, cpu: 235.492 s, memory: 709.56 Mb
484.39/68.79	c (59,0) c
484.39/68.79	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
484.39/68.79	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
484.39/68.79	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
484.39/68.79	c (59,0) c |  0 |   1522 |     834129 |     240293 |   145015 |    42130 |    29778 |   203935 |    17514 |      467 |  20 | 12.593 |
484.39/68.79	c (59,0) c |  1 |   1500 |     842554 |     239882 |   145140 |    41710 |    29673 |   204106 |    17661 |      467 |  20 | 12.593 |
484.39/68.79	c (59,0) c |  2 |   1475 |     840201 |     241474 |   145045 |    43321 |    30289 |   203445 |    17490 |      467 |  20 | 12.600 |
484.39/68.79	c (59,0) c |  3 |   1519 |     832811 |     237486 |   144566 |    39320 |    29592 |   201939 |    17530 |      460 |  20 | 12.593 |
484.39/68.79	c (59,0) c |  4 |   1456 |     850739 |     242073 |   145062 |    43894 |    30194 |   203303 |    17795 |      467 |  20 | 12.593 |
484.39/68.79	c (59,0) c |  5 |   1442 |     839290 |     238949 |   144694 |    40788 |    30226 |   202935 |    17579 |      465 |  20 | 12.593 |
484.39/68.79	c (59,0) c |  6 |   1478 |     825063 |     237520 |   144590 |    39350 |    29437 |   202046 |    17389 |      461 |  20 | 12.593 |
484.39/68.79	c (59,0) c |  7 |   1443 |     800471 |     232543 |   144131 |    34389 |    29088 |   197624 |    17068 |      447 |  20 | 12.593 |
484.39/68.79	c (59,0) c 
484.39/68.79	c (59,0) c synthesis     1910220 conflicts  1190229929 propagations     4125 conflicts/sec  2570460 propagations/sec
484.39/68.79	c (59,0) c real: 58.8358 s, cpu: 463.042 s, memory: 709.56 Mb
565.11/79.22	c (69,0) c
565.11/79.22	c (69,0) c real time : 69.2627 s
565.11/79.22	c (69,0) c cpu time  : 543.015 s
565.11/79.22	c (69,0) c
565.11/79.22	c (69,0) c
565.11/79.22	c (69,0) c
565.11/79.22	c (69,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
565.11/79.22	c (69,0) c
565.11/79.22	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.22	c (69,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
565.11/79.22	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.22	c (69,0) c | Conflicts     |         2166661 |     274670 |     268567 |     275570 |     272750 |     270582 |     266433 |     267936 |     270153 |
565.11/79.22	c (69,0) c | Decisions     |         7537206 |     948929 |     939583 |     958443 |     955879 |     947674 |     927346 |     928456 |     930896 |
565.11/79.22	c (69,0) c | Propagations  |      1357155576 |  172327366 |  168280924 |  172396974 |  170903259 |  168784043 |  168299681 |  167930344 |  168232985 |
565.11/79.22	c (69,0) c | ReduceDBs     |             112 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |
565.11/79.22	c (69,0) c | SimpDBs       |             339 |         43 |         42 |         42 |         42 |         42 |         41 |         43 |         44 |
565.11/79.22	c (69,0) c | Restarts      |           13542 |       1740 |       1698 |       1717 |       1743 |       1636 |       1648 |       1679 |       1681 |
565.11/79.22	c (69,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
565.11/79.22	c (69,0) c | PropBinClauses|      1604213409 |  203827669 |  199011118 |  203836754 |  202179357 |  199512685 |  198627651 |  198405783 |  198812392 |
565.11/79.22	c (69,0) c | PropPreBlocker|     17449123959 | 2218865597 | 2168521596 | 2219527079 | 2195107191 | 2164241937 | 2164956702 | 2159413604 | 2158490253 |
565.11/79.22	c (69,0) c | PropNotBlocker|      3734652017 |  475457488 |  466776800 |  474477306 |  469511655 |  464315409 |  463695904 |  460643159 |  459774296 |
565.11/79.22	c (69,0) c | LitFullScans  |     25759431726 | 3276185615 | 3204379549 | 3276096345 | 3239879716 | 3198572260 | 3192086012 | 3186107794 | 3186124435 |
565.11/79.22	c (69,0) c | LitScanFracts |         1157410 |     161260 |     371728 |      82858 |      87156 |     129382 |     102263 |     104390 |     118373 |
565.11/79.22	c (69,0) c | DecisionLevel0|           13658 |       1759 |       1714 |       1728 |       1753 |       1650 |       1663 |       1692 |       1699 |
565.11/79.22	c (69,0) c | Periods       |            4291 |        546 |        534 |        546 |        539 |        533 |        531 |        531 |        531 |
565.11/79.22	c (69,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
565.11/79.22	c (69,0) c | Avg_Trail     |                 |       7916 |       7916 |       7908 |       7911 |       7872 |       7973 |       7942 |       7908 |
565.11/79.22	c (69,0) c | Avg_DL        |                 |         51 |         52 |         53 |         53 |         52 |         52 |         53 |         53 |
565.11/79.22	c (69,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
565.11/79.22	c (69,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
565.11/79.22	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.22	c (69,0) c | Exported      |          262135 |      32911 |      32249 |      33424 |      32838 |      32913 |      32897 |      32421 |      32482 |
565.11/79.22	c (69,0) c | Imported      |         1789436 |     226465 |     223321 |     226051 |     224830 |     222371 |     222023 |     222258 |     222117 |
565.11/79.22	c (69,0) c | Good          |           14289 |       1801 |       1766 |       1770 |       1811 |       1790 |       1790 |       1772 |       1789 |
565.11/79.22	c (69,0) c | Purge         |         1775147 |     224664 |     221555 |     224281 |     223019 |     220581 |     220233 |     220486 |     220328 |
565.11/79.22	c (69,0) c | Promoted      |          158989 |      20052 |      19829 |      19983 |      20100 |      19906 |      19701 |      19725 |      19693 |
565.11/79.22	c (69,0) c | Remove_Imp    |         1208195 |     151235 |     152044 |     150542 |     150942 |     150028 |     152177 |     151390 |     149837 |
565.11/79.22	c (69,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
565.11/79.22	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.22	c (69,0) c | Unaries       |                 |         19 |         16 |         11 |         10 |         14 |         15 |         13 |         18 |
565.11/79.22	c (69,0) c | Binaries      |                 |        277 |        272 |        304 |        248 |        247 |        248 |        258 |        258 |
565.11/79.22	c (69,0) c | Glues         |                 |       4194 |       4219 |       4350 |       4114 |       4083 |       4107 |       4039 |       3985 |
565.11/79.22	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.22	c (69,0) c | Orig_Seen     |            87 % |     147746 |     147495 |     147874 |     147365 |     147434 |     146958 |     147077 |     147355 |
565.11/79.22	c (69,0) c | Diff Orig seen|                 |        788 |        537 |        916 |        407 |        476 |      X     |        119 |        397 |
565.11/79.22	c (69,0) c | Hamming       |            18 % |       3008 |       2590 |       2977 |       3005 |       2556 |      X     |       2870 |       2792 |
565.11/79.22	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.22	c (69,0) c | RunningTime   |                 |   68.2  99%|   67.9  99%|   67.4  98%|   68.5 100%|   68.1  99%|   67.2  98%|   68.7 100%|   68.5 100%|
565.11/79.22	c (69,0) c | WaitingTime   |                 |    0.4   1%|    0.6   1%|    1.1   2%|    0.0   0%|    0.4   1%|    1.2   2%|    0.2   0%|    0.0   0%|
565.11/79.22	c (69,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%|
565.11/79.22	c (69,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%|
565.11/79.22	c (69,0) c | SolvingTime   |                 |   68.6     |   68.6     |   68.6     |   68.6     |   68.6     |   68.6     |   69.0     |   68.6     |
565.11/79.22	c (69,0) c | PropagationTim|                 |   61.3  89%|   61.3  89%|   61.0  89%|   61.0  89%|   61.1  89%|   61.1  89%|   61.1  89%|   61.0  89%|
565.11/79.22	c (69,0) c | AnalysisTime  |                 |    3.7   5%|    3.6   5%|    3.9   6%|    3.8   6%|    3.7   5%|    3.7   5%|    4.0   6%|    3.8   6%|
565.11/79.22	c (69,0) c | ReductionTime |                 |    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|
565.11/79.22	c (69,0) c | SimplifyTime  |                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   1%|    0.3   0%|
565.11/79.22	c (69,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%|
565.11/79.22	c (69,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%|
565.11/79.22	c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.22	c (69,0) c
565.11/79.22	c (69,0) c
565.11/79.22	c (69,0) c Threads : 8
565.11/79.22	c (69,0) c Winner : 5
565.11/79.22	c (69,0) c Conflicts_0 : 274670
565.11/79.22	c (69,0) c Conflicts_1 : 268567
565.11/79.22	c (69,0) c Conflicts_2 : 275570
565.11/79.22	c (69,0) c Conflicts_3 : 272750
565.11/79.22	c (69,0) c Conflicts_4 : 270582
565.11/79.22	c (69,0) c Conflicts_5 : 266433
565.11/79.22	c (69,0) c Conflicts_6 : 267936
565.11/79.22	c (69,0) c Conflicts_7 : 270153
565.11/79.22	c (69,0) c Conflicts_total : 2166661
565.11/79.22	c (69,0) c Conflicts_winner : 266433
565.11/79.22	c (69,0) c Decisions_0 : 948929
565.11/79.22	c (69,0) c Decisions_1 : 939583
565.11/79.22	c (69,0) c Decisions_2 : 958443
565.11/79.22	c (69,0) c Decisions_3 : 955879
565.11/79.22	c (69,0) c Decisions_4 : 947674
565.11/79.22	c (69,0) c Decisions_5 : 927346
565.11/79.22	c (69,0) c Decisions_6 : 928456
565.11/79.22	c (69,0) c Decisions_7 : 930896
565.11/79.22	c (69,0) c Decisions_total : 7537206
565.11/79.22	c (69,0) c Decisions_winner : 927346
565.11/79.22	c (69,0) c Propagations_0 : 172327366
565.11/79.22	c (69,0) c Propagations_1 : 168280924
565.11/79.22	c (69,0) c Propagations_2 : 172396974
565.11/79.22	c (69,0) c Propagations_3 : 170903259
565.11/79.22	c (69,0) c Propagations_4 : 168784043
565.11/79.22	c (69,0) c Propagations_5 : 168299681
565.11/79.22	c (69,0) c Propagations_6 : 167930344
565.11/79.22	c (69,0) c Propagations_7 : 168232985
565.11/79.22	c (69,0) c Propagations_total : 1357155576
565.11/79.22	c (69,0) c Propagations_winner : 168299681
565.11/79.22	c (69,0) c ReduceDBs_0 : 14
565.11/79.22	c (69,0) c ReduceDBs_1 : 14
565.11/79.22	c (69,0) c ReduceDBs_2 : 14
565.11/79.22	c (69,0) c ReduceDBs_3 : 14
565.11/79.22	c (69,0) c ReduceDBs_4 : 14
565.11/79.22	c (69,0) c ReduceDBs_5 : 14
565.11/79.22	c (69,0) c ReduceDBs_6 : 14
565.11/79.22	c (69,0) c ReduceDBs_7 : 14
565.11/79.22	c (69,0) c ReduceDBs_total : 112
565.11/79.22	c (69,0) c ReduceDBs_winner : 14
565.11/79.22	c (69,0) c SimpDBs_0 : 43
565.11/79.22	c (69,0) c SimpDBs_1 : 42
565.11/79.22	c (69,0) c SimpDBs_2 : 42
565.11/79.22	c (69,0) c SimpDBs_3 : 42
565.11/79.22	c (69,0) c SimpDBs_4 : 42
565.11/79.22	c (69,0) c SimpDBs_5 : 41
565.11/79.22	c (69,0) c SimpDBs_6 : 43
565.11/79.22	c (69,0) c SimpDBs_7 : 44
565.11/79.22	c (69,0) c SimpDBs_total : 339
565.11/79.22	c (69,0) c SimpDBs_winner : 41
565.11/79.22	c (69,0) c Restarts_0 : 1740
565.11/79.22	c (69,0) c Restarts_1 : 1698
565.11/79.22	c (69,0) c Restarts_2 : 1717
565.11/79.22	c (69,0) c Restarts_3 : 1743
565.11/79.22	c (69,0) c Restarts_4 : 1636
565.11/79.22	c (69,0) c Restarts_5 : 1648
565.11/79.22	c (69,0) c Restarts_6 : 1679
565.11/79.22	c (69,0) c Restarts_7 : 1681
565.11/79.22	c (69,0) c Restarts_total : 13542
565.11/79.22	c (69,0) c Restarts_winner : 1648
565.11/79.22	c (69,0) c ForcedImports_0 : 0
565.11/79.22	c (69,0) c ForcedImports_1 : 0
565.11/79.22	c (69,0) c ForcedImports_2 : 0
565.11/79.22	c (69,0) c ForcedImports_3 : 0
565.11/79.22	c (69,0) c ForcedImports_4 : 0
565.11/79.22	c (69,0) c ForcedImports_5 : 0
565.11/79.22	c (69,0) c ForcedImports_6 : 0
565.11/79.22	c (69,0) c ForcedImports_7 : 0
565.11/79.22	c (69,0) c ForcedImports_total : 0
565.11/79.22	c (69,0) c ForcedImports_winner : 0
565.11/79.22	c (69,0) c PropsBinClauses_0 : 203827669
565.11/79.22	c (69,0) c PropsBinClauses_1 : 199011118
565.11/79.22	c (69,0) c PropsBinClauses_2 : 203836754
565.11/79.22	c (69,0) c PropsBinClauses_3 : 202179357
565.11/79.22	c (69,0) c PropsBinClauses_4 : 199512685
565.11/79.22	c (69,0) c PropsBinClauses_5 : 198627651
565.11/79.22	c (69,0) c PropsBinClauses_6 : 198405783
565.11/79.22	c (69,0) c PropsBinClauses_7 : 198812392
565.11/79.22	c (69,0) c PropsBinClauses_total : 1604213409
565.11/79.22	c (69,0) c PropsBinClauses_winner : 198627651
565.11/79.22	c (69,0) c PropsPreBlocker_0 : 2218865597
565.11/79.22	c (69,0) c PropsPreBlocker_1 : 2168521596
565.11/79.22	c (69,0) c PropsPreBlocker_2 : 2219527079
565.11/79.22	c (69,0) c PropsPreBlocker_3 : 2195107191
565.11/79.22	c (69,0) c PropsPreBlocker_4 : 2164241937
565.11/79.22	c (69,0) c PropsPreBlocker_5 : 2164956702
565.11/79.22	c (69,0) c PropsPreBlocker_6 : 2159413604
565.11/79.22	c (69,0) c PropsPreBlocker_7 : 2158490253
565.11/79.22	c (69,0) c PropsPreBlocker_total : 17449123959
565.11/79.22	c (69,0) c PropsPreBlocker_winner : 2164956702
565.11/79.22	c (69,0) c PropsNotBlocker_0 : 475457488
565.11/79.22	c (69,0) c PropsNotBlocker_1 : 466776800
565.11/79.22	c (69,0) c PropsNotBlocker_2 : 474477306
565.11/79.22	c (69,0) c PropsNotBlocker_3 : 469511655
565.11/79.22	c (69,0) c PropsNotBlocker_4 : 464315409
565.11/79.22	c (69,0) c PropsNotBlocker_5 : 463695904
565.11/79.22	c (69,0) c PropsNotBlocker_6 : 460643159
565.11/79.22	c (69,0) c PropsNotBlocker_7 : 459774296
565.11/79.22	c (69,0) c PropsNotBlocker_total : 3734652017
565.11/79.22	c (69,0) c PropsNotBlocker_winner : 463695904
565.11/79.22	c (69,0) c PropsLitFullScans_0 : 3276185615
565.11/79.22	c (69,0) c PropsLitFullScans_1 : 3204379549
565.11/79.22	c (69,0) c PropsLitFullScans_2 : 3276096345
565.11/79.22	c (69,0) c PropsLitFullScans_3 : 3239879716
565.11/79.22	c (69,0) c PropsLitFullScans_4 : 3198572260
565.11/79.22	c (69,0) c PropsLitFullScans_5 : 3192086012
565.11/79.22	c (69,0) c PropsLitFullScans_6 : 3186107794
565.11/79.22	c (69,0) c PropsLitFullScans_7 : 3186124435
565.11/79.22	c (69,0) c PropsLitFullScans_total : 25759431726
565.11/79.22	c (69,0) c PropsLitFullScans_winner : 3192086012
565.11/79.22	c (69,0) c LitScanFractions_0 : 161260
565.11/79.22	c (69,0) c LitScanFractions_1 : 371728
565.11/79.22	c (69,0) c LitScanFractions_2 : 82858
565.11/79.23	c (69,0) c LitScanFractions_3 : 87156
565.11/79.23	c (69,0) c LitScanFractions_4 : 129382
565.11/79.23	c (69,0) c LitScanFractions_5 : 102263
565.11/79.23	c (69,0) c LitScanFractions_6 : 104390
565.11/79.23	c (69,0) c LitScanFractions_7 : 118373
565.11/79.23	c (69,0) c LitScanFractions_total : 1157410
565.11/79.23	c (69,0) c LitScanFractions_winner : 102263
565.11/79.23	c (69,0) c DecisionLevel0_0 : 1759
565.11/79.23	c (69,0) c DecisionLevel0_1 : 1714
565.11/79.23	c (69,0) c DecisionLevel0_2 : 1728
565.11/79.23	c (69,0) c DecisionLevel0_3 : 1753
565.11/79.23	c (69,0) c DecisionLevel0_4 : 1650
565.11/79.23	c (69,0) c DecisionLevel0_5 : 1663
565.11/79.23	c (69,0) c DecisionLevel0_6 : 1692
565.11/79.23	c (69,0) c DecisionLevel0_7 : 1699
565.11/79.23	c (69,0) c DecisionLevel0_total : 13658
565.11/79.23	c (69,0) c DecisionLevel0_winner : 1663
565.11/79.23	c (69,0) c Periods_0 : 546
565.11/79.23	c (69,0) c Periods_1 : 534
565.11/79.23	c (69,0) c Periods_2 : 546
565.11/79.23	c (69,0) c Periods_3 : 539
565.11/79.23	c (69,0) c Periods_4 : 533
565.11/79.23	c (69,0) c Periods_5 : 531
565.11/79.23	c (69,0) c Periods_6 : 531
565.11/79.23	c (69,0) c Periods_7 : 531
565.11/79.23	c (69,0) c Periods_total : 4291
565.11/79.23	c (69,0) c Periods_winner : 531
565.11/79.23	c (69,0) c Margin_0 : 20
565.11/79.23	c (69,0) c Margin_1 : 20
565.11/79.23	c (69,0) c Margin_2 : 20
565.11/79.23	c (69,0) c Margin_3 : 20
565.11/79.23	c (69,0) c Margin_4 : 20
565.11/79.23	c (69,0) c Margin_5 : 20
565.11/79.23	c (69,0) c Margin_6 : 20
565.11/79.23	c (69,0) c Margin_7 : 20
565.11/79.23	c (69,0) c Margin_total : 160
565.11/79.23	c (69,0) c Margin_winner : 20
565.11/79.23	c (69,0) c Exported_0 : 32911
565.11/79.23	c (69,0) c Exported_1 : 32249
565.11/79.23	c (69,0) c Exported_2 : 33424
565.11/79.23	c (69,0) c Exported_3 : 32838
565.11/79.23	c (69,0) c Exported_4 : 32913
565.11/79.23	c (69,0) c Exported_5 : 32897
565.11/79.23	c (69,0) c Exported_6 : 32421
565.11/79.23	c (69,0) c Exported_7 : 32482
565.11/79.23	c (69,0) c Exported_total : 262135
565.11/79.23	c (69,0) c Exported_winner : 32897
565.11/79.23	c (69,0) c Imported_0 : 226465
565.11/79.23	c (69,0) c Imported_1 : 223321
565.11/79.23	c (69,0) c Imported_2 : 226051
565.11/79.23	c (69,0) c Imported_3 : 224830
565.11/79.23	c (69,0) c Imported_4 : 222371
565.11/79.23	c (69,0) c Imported_5 : 222023
565.11/79.23	c (69,0) c Imported_6 : 222258
565.11/79.23	c (69,0) c Imported_7 : 222117
565.11/79.23	c (69,0) c Imported_total : 1789436
565.11/79.23	c (69,0) c Imported_winner : 222023
565.11/79.23	c (69,0) c Good_0 : 1801
565.11/79.23	c (69,0) c Good_1 : 1766
565.11/79.23	c (69,0) c Good_2 : 1770
565.11/79.23	c (69,0) c Good_3 : 1811
565.11/79.23	c (69,0) c Good_4 : 1790
565.11/79.23	c (69,0) c Good_5 : 1790
565.11/79.23	c (69,0) c Good_6 : 1772
565.11/79.23	c (69,0) c Good_7 : 1789
565.11/79.23	c (69,0) c Good_total : 14289
565.11/79.23	c (69,0) c Good_winner : 1790
565.11/79.23	c (69,0) c Purge_0 : 224664
565.11/79.23	c (69,0) c Purge_1 : 221555
565.11/79.23	c (69,0) c Purge_2 : 224281
565.11/79.23	c (69,0) c Purge_3 : 223019
565.11/79.23	c (69,0) c Purge_4 : 220581
565.11/79.23	c (69,0) c Purge_5 : 220233
565.11/79.23	c (69,0) c Purge_6 : 220486
565.11/79.23	c (69,0) c Purge_7 : 220328
565.11/79.23	c (69,0) c Purge_total : 1775147
565.11/79.23	c (69,0) c Purge_winner : 220233
565.11/79.23	c (69,0) c Promoted_0 : 20052
565.11/79.23	c (69,0) c Promoted_1 : 19829
565.11/79.23	c (69,0) c Promoted_2 : 19983
565.11/79.23	c (69,0) c Promoted_3 : 20100
565.11/79.23	c (69,0) c Promoted_4 : 19906
565.11/79.23	c (69,0) c Promoted_5 : 19701
565.11/79.23	c (69,0) c Promoted_6 : 19725
565.11/79.23	c (69,0) c Promoted_7 : 19693
565.11/79.23	c (69,0) c Promoted_total : 158989
565.11/79.23	c (69,0) c Promoted_winner : 19701
565.11/79.23	c (69,0) c Remove_Imp_0 : 151235
565.11/79.23	c (69,0) c Remove_Imp_1 : 152044
565.11/79.23	c (69,0) c Remove_Imp_2 : 150542
565.11/79.23	c (69,0) c Remove_Imp_3 : 150942
565.11/79.23	c (69,0) c Remove_Imp_4 : 150028
565.11/79.23	c (69,0) c Remove_Imp_5 : 152177
565.11/79.23	c (69,0) c Remove_Imp_6 : 151390
565.11/79.23	c (69,0) c Remove_Imp_7 : 149837
565.11/79.23	c (69,0) c Remove_Imp_total : 1208195
565.11/79.23	c (69,0) c Remove_Imp_winner : 152177
565.11/79.23	c (69,0) c Blocked_Reuse_0 : 0
565.11/79.23	c (69,0) c Blocked_Reuse_1 : 0
565.11/79.23	c (69,0) c Blocked_Reuse_2 : 0
565.11/79.23	c (69,0) c Blocked_Reuse_3 : 0
565.11/79.23	c (69,0) c Blocked_Reuse_4 : 0
565.11/79.23	c (69,0) c Blocked_Reuse_5 : 0
565.11/79.23	c (69,0) c Blocked_Reuse_6 : 0
565.11/79.23	c (69,0) c Blocked_Reuse_7 : 0
565.11/79.23	c (69,0) c Blocked_Reuse_total : 0
565.11/79.23	c (69,0) c Blocked_Reuse_winner : 0
565.11/79.23	c (69,0) c Unaries_0 : 19
565.11/79.23	c (69,0) c Unaries_1 : 16
565.11/79.23	c (69,0) c Unaries_2 : 11
565.11/79.23	c (69,0) c Unaries_3 : 10
565.11/79.23	c (69,0) c Unaries_4 : 14
565.11/79.23	c (69,0) c Unaries_5 : 15
565.11/79.23	c (69,0) c Unaries_6 : 13
565.11/79.23	c (69,0) c Unaries_7 : 18
565.11/79.23	c (69,0) c Unaries_total : 116
565.11/79.23	c (69,0) c Unaries_winner : 15
565.11/79.23	c (69,0) c Binaries_0 : 277
565.11/79.23	c (69,0) c Binaries_1 : 272
565.11/79.23	c (69,0) c Binaries_2 : 304
565.11/79.23	c (69,0) c Binaries_3 : 248
565.11/79.23	c (69,0) c Binaries_4 : 247
565.11/79.23	c (69,0) c Binaries_5 : 248
565.11/79.23	c (69,0) c Binaries_6 : 258
565.11/79.23	c (69,0) c Binaries_7 : 258
565.11/79.23	c (69,0) c Binaries_total : 2112
565.11/79.23	c (69,0) c Binaries_winner : 248
565.11/79.23	c (69,0) c Glues_0 : 4194
565.11/79.23	c (69,0) c Glues_1 : 4219
565.11/79.23	c (69,0) c Glues_2 : 4350
565.11/79.23	c (69,0) c Glues_3 : 4114
565.11/79.23	c (69,0) c Glues_4 : 4083
565.11/79.23	c (69,0) c Glues_5 : 4107
565.11/79.23	c (69,0) c Glues_6 : 4039
565.11/79.23	c (69,0) c Glues_7 : 3985
565.11/79.23	c (69,0) c Glues_total : 33091
565.11/79.23	c (69,0) c Glues_winner : 4107
565.11/79.23	c (69,0) c RunningTime_0 : 68.152751
565.11/79.23	c (69,0) c RunningTime_1 : 67.905338
565.11/79.23	c (69,0) c RunningTime_2 : 67.383141
565.11/79.23	c (69,0) c RunningTime_3 : 68.477988
565.11/79.23	c (69,0) c RunningTime_4 : 68.069398
565.11/79.23	c (69,0) c RunningTime_5 : 67.233364
565.11/79.23	c (69,0) c RunningTime_6 : 68.650012
565.11/79.23	c (69,0) c RunningTime_7 : 68.541623
565.11/79.23	c (69,0) c RunningTime_total : 544.413616
565.11/79.23	c (69,0) c RunningTime_winner : 67.233364
565.11/79.23	c (69,0) c WaitingTime_0 : 0.384410
565.11/79.23	c (69,0) c WaitingTime_1 : 0.572406
565.11/79.23	c (69,0) c WaitingTime_2 : 1.129137
565.11/79.23	c (69,0) c WaitingTime_3 : 0.000702
565.11/79.23	c (69,0) c WaitingTime_4 : 0.399002
565.11/79.23	c (69,0) c WaitingTime_5 : 1.229645
565.11/79.23	c (69,0) c WaitingTime_6 : 0.219760
565.11/79.23	c (69,0) c WaitingTime_7 : 0.000699
565.11/79.23	c (69,0) c WaitingTime_total : 3.935761
565.11/79.23	c (69,0) c WaitingTime_winner : 1.229645
565.11/79.23	c (69,0) c ExchangingTime_0 : 0.084428
565.11/79.23	c (69,0) c ExchangingTime_1 : 0.084708
565.11/79.23	c (69,0) c ExchangingTime_2 : 0.092354
565.11/79.23	c (69,0) c ExchangingTime_3 : 0.086712
565.11/79.23	c (69,0) c ExchangingTime_4 : 0.094095
565.11/79.23	c (69,0) c ExchangingTime_5 : 0.093988
565.11/79.23	c (69,0) c ExchangingTime_6 : 0.095942
565.11/79.23	c (69,0) c ExchangingTime_7 : 0.098461
565.11/79.23	c (69,0) c ExchangingTime_total : 0.730689
565.11/79.23	c (69,0) c ExchangingTime_winner : 0.093988
565.11/79.23	c (69,0) c PeriodProcTime_0 : 0.003805
565.11/79.23	c (69,0) c PeriodProcTime_1 : 0.003825
565.11/79.23	c (69,0) c PeriodProcTime_2 : 0.004611
565.11/79.23	c (69,0) c PeriodProcTime_3 : 0.004953
565.11/79.23	c (69,0) c PeriodProcTime_4 : 0.004587
565.11/79.23	c (69,0) c PeriodProcTime_5 : 0.003889
565.11/79.23	c (69,0) c PeriodProcTime_6 : 0.004898
565.11/79.23	c (69,0) c PeriodProcTime_7 : 0.005073
565.11/79.23	c (69,0) c PeriodProcTime_total : 0.035640
565.11/79.23	c (69,0) c PeriodProcTime_winner : 0.003889
565.11/79.23	c (69,0) c SolvingTime_0 : 68.625394
565.11/79.23	c (69,0) c SolvingTime_1 : 68.566278
565.11/79.23	c (69,0) c SolvingTime_2 : 68.609243
565.11/79.23	c (69,0) c SolvingTime_3 : 68.570355
565.11/79.23	c (69,0) c SolvingTime_4 : 68.567082
565.11/79.23	c (69,0) c SolvingTime_5 : 68.560886
565.11/79.23	c (69,0) c SolvingTime_6 : 68.970613
565.11/79.23	c (69,0) c SolvingTime_7 : 68.645856
565.11/79.23	c (69,0) c SolvingTime_total : 549.115707
565.11/79.23	c (69,0) c SolvingTime_winner : 68.560886
565.11/79.23	c (69,0) c PropagationTime_0 : 61.251546
565.11/79.23	c (69,0) c PropagationTime_1 : 61.306191
565.11/79.23	c (69,0) c PropagationTime_2 : 60.966511
565.11/79.23	c (69,0) c PropagationTime_3 : 60.957490
565.11/79.23	c (69,0) c PropagationTime_4 : 61.110627
565.11/79.23	c (69,0) c PropagationTime_5 : 61.126867
565.11/79.23	c (69,0) c PropagationTime_6 : 61.069896
565.11/79.23	c (69,0) c PropagationTime_7 : 60.966792
565.11/79.23	c (69,0) c PropagationTime_total : 488.755921
565.11/79.23	c (69,0) c PropagationTime_winner : 61.126867
565.11/79.23	c (69,0) c AnalysisTime_0 : 3.676452
565.11/79.23	c (69,0) c AnalysisTime_1 : 3.579464
565.11/79.23	c (69,0) c AnalysisTime_2 : 3.909792
565.11/79.23	c (69,0) c AnalysisTime_3 : 3.797260
565.11/79.23	c (69,0) c AnalysisTime_4 : 3.695431
565.11/79.23	c (69,0) c AnalysisTime_5 : 3.678227
565.11/79.23	c (69,0) c AnalysisTime_6 : 4.015121
565.11/79.23	c (69,0) c AnalysisTime_7 : 3.792606
565.11/79.23	c (69,0) c AnalysisTime_total : 30.144354
565.11/79.23	c (69,0) c AnalysisTime_winner : 3.678227
565.11/79.23	c (69,0) c ReductionTime_0 : 0.585117
565.11/79.23	c (69,0) c ReductionTime_1 : 0.595198
565.11/79.23	c (69,0) c ReductionTime_2 : 0.591482
565.11/79.23	c (69,0) c ReductionTime_3 : 0.627657
565.11/79.23	c (69,0) c ReductionTime_4 : 0.592160
565.11/79.23	c (69,0) c ReductionTime_5 : 0.598485
565.11/79.23	c (69,0) c ReductionTime_6 : 0.608748
565.11/79.23	c (69,0) c ReductionTime_7 : 0.632021
565.11/79.23	c (69,0) c ReductionTime_total : 4.830868
565.11/79.23	c (69,0) c ReductionTime_winner : 0.598485
565.11/79.23	c (69,0) c SimplifyTime_0 : 0.323410
565.11/79.23	c (69,0) c SimplifyTime_1 : 0.335620
565.11/79.23	c (69,0) c SimplifyTime_2 : 0.330184
565.11/79.23	c (69,0) c SimplifyTime_3 : 0.337223
565.11/79.23	c (69,0) c SimplifyTime_4 : 0.339581
565.11/79.23	c (69,0) c SimplifyTime_5 : 0.332776
565.11/79.23	c (69,0) c SimplifyTime_6 : 0.347974
565.11/79.23	c (69,0) c SimplifyTime_7 : 0.342907
565.11/79.23	c (69,0) c SimplifyTime_total : 2.689676
565.11/79.23	c (69,0) c SimplifyTime_winner : 0.332776
565.11/79.23	c (69,0) c UsedRateTime_0 : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_1 : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_2 : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_3 : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_4 : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_5 : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_6 : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_7 : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_total : 0.000000
565.11/79.23	c (69,0) c UsedRateTime_winner : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_0 : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_1 : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_2 : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_3 : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_4 : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_5 : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_6 : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_7 : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_total : 0.000000
565.11/79.23	c (69,0) c OverlapRateTime_winner : 0.000000
565.11/79.23	c (69,0) c
565.11/79.23	c (69,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
565.11/79.23	c (69,0) c
565.11/79.23	c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.23	c (69,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
565.11/79.23	c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.23	c (69,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
565.11/79.23	c (69,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
565.11/79.23	c (69,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
565.11/79.23	c (69,0) c | Initial random_seed   | 1219058120 | 1298908243 |  695521211 |   12853442 |  208799382 | 1151414907 |  337812756 |  582688175 |
565.11/79.23	c (69,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
565.11/79.23	c (69,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
565.11/79.23	c (69,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
565.11/79.23	c (69,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
565.11/79.23	c (69,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
565.11/79.23	c (69,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
565.11/79.23	c (69,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
565.11/79.23	c (69,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
565.11/79.23	c (69,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
565.11/79.23	c (69,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
565.11/79.23	c (69,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
565.11/79.23	c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
565.11/79.23	c (69,0) 
565.11/79.23	c (69,0) s SATISFIABLE
565.11/79.27	c (69,0) SatSolver.solve End
565.11/79.27	c (69,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
565.11/79.27	c (69,0) Show results Begin
565.37/79.35	c (69,0) x[0] = 0
565.37/79.35	c (69,0) x[1] = 10
565.37/79.35	c (69,0) x[2] = 25
565.37/79.35	c (69,0) x[3] = 8
565.37/79.35	c (69,0) x[4] = 18
565.37/79.35	c (69,0) x[5] = 1
565.37/79.35	c (69,0) x[6] = 16
565.37/79.35	c (69,0) x[7] = 33
565.37/79.35	c (69,0) x[8] = 48
565.37/79.35	c (69,0) x[9] = 42
565.37/79.35	c (69,0) x[10] = 27
565.37/79.35	c (69,0) x[11] = 21
565.37/79.35	c (69,0) x[12] = 36
565.37/79.35	c (69,0) x[13] = 53
565.37/79.35	c (69,0) x[14] = 63
565.37/79.35	c (69,0) x[15] = 46
565.37/79.35	c (69,0) x[16] = 52
565.37/79.35	c (69,0) x[17] = 58
565.37/79.35	c (69,0) x[18] = 43
565.37/79.35	c (69,0) x[19] = 28
565.37/79.35	c (69,0) x[20] = 38
565.37/79.35	c (69,0) x[21] = 55
565.37/79.35	c (69,0) x[22] = 61
565.37/79.35	c (69,0) x[23] = 44
565.37/79.35	c (69,0) x[24] = 59
565.37/79.35	c (69,0) x[25] = 49
565.37/79.35	c (69,0) x[26] = 32
565.37/79.35	c (69,0) x[27] = 26
565.37/79.35	c (69,0) x[28] = 11
565.37/79.35	c (69,0) x[29] = 5
565.37/79.35	c (69,0) x[30] = 15
565.37/79.35	c (69,0) x[31] = 30
565.37/79.35	c (69,0) x[32] = 20
565.37/79.35	c (69,0) x[33] = 3
565.37/79.35	c (69,0) x[34] = 9
565.37/79.35	c (69,0) x[35] = 24
565.37/79.35	c (69,0) x[36] = 34
565.37/79.35	c (69,0) x[37] = 40
565.37/79.35	c (69,0) x[38] = 57
565.37/79.35	c (69,0) x[39] = 51
565.37/79.35	c (69,0) x[40] = 41
565.37/79.35	c (69,0) x[41] = 56
565.37/79.35	c (69,0) x[42] = 50
565.37/79.35	c (69,0) x[43] = 35
565.37/79.35	c (69,0) x[44] = 29
565.37/79.35	c (69,0) x[45] = 19
565.37/79.35	c (69,0) x[46] = 4
565.37/79.35	c (69,0) x[47] = 14
565.37/79.35	c (69,0) x[48] = 31
565.37/79.35	c (69,0) x[49] = 37
565.37/79.35	c (69,0) x[50] = 47
565.37/79.35	c (69,0) x[51] = 62
565.37/79.35	c (69,0) x[52] = 45
565.37/79.35	c (69,0) x[53] = 60
565.37/79.35	c (69,0) x[54] = 54
565.37/79.35	c (69,0) x[55] = 39
565.37/79.37	c (69,0) x[56] = 22
565.37/79.37	c (69,0) x[57] = 7
565.37/79.37	c (69,0) x[58] = 13
565.37/79.37	c (69,0) x[59] = 23
565.37/79.37	c (69,0) x[60] = 6
565.37/79.37	c (69,0) x[61] = 12
565.37/79.37	c (69,0) x[62] = 2
565.37/79.37	c (69,0) x[63] = 17
565.37/79.37	s SATISFIABLE
565.37/79.37	v <instantiation>
565.37/79.37	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63]</list>
565.37/79.37	v     <values>0 10 25 8 18 1 16 33 48 42 27 21 36 53 63 46 52 58 43 28 38 55 61 44 59 49 32 26 11 5 15 30 20 3 9 24 34 40 57 51 41 56 50 35 29 19 4 14 31 37 47 62 45 60 54 39 22 7 13 23 6 12 2 17</values>
565.37/79.37	v </instantiation>
565.37/79.37	c (69,0) Show results End
565.37/79.37	c (69,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
565.37/79.37	c (69,0) 69,69,STOP-AFTER(ALL)
565.37/79.37	c END-Prog: Sat Sep 14 07:01:54 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 (15434 MiB free)
  memory of node 1: 16384 MiB (13441 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392392-1568437276/watcher-4392392-1568437276 -o /tmp/evaluation-result-4392392-1568437276/solver-4392392-1568437276 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --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-4392392-1568437276.xml 

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

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

solver pid=3081, runsolver pid=3078

[startup+0.100145 s]*
/proc/loadavg: 7.35 7.18 7.01 3/212 3103
/proc/meminfo: memFree=29472660/32770624 swapFree=66958248/67108860
[pid=3081] ppid=3078 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3081/stat : 3081 (scop.sh) S 3078 3081 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419664135 115843072 349 33554432000 4194304 5098028 140722754394544 140722754391800 140610701849212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33771520 140722754401061 140722754401388 140722754401388 140722754404301 0
/proc/3081/statm: 28282 349 296 221 0 87 0
[pid=3084] ppid=3081 vsize=27314120 memory=107384 CPUtime=0.1 cores=0-7
/proc/3084/stat : 3084 (java) S 3081 3081 1012 0 -1 1077944320 6400 0 0 0 8 2 0 0 20 0 20 0 419664136 27969658880 26846 33554432000 4194304 4196468 140732220140880 140732220123424 140673881702135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
/proc/3084/statm: 6828530 26846 2797 1 0 6790935 0
[pid=3084/tid=3085] ppid=3081 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/3084/task/3085/stat : 3085 (java) R 3081 3081 1012 0 -1 4202560 4506 0 0 0 7 1 0 0 20 0 20 0 419664136 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673853526992 140673865782622 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3086] ppid=3081 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3084/task/3086/stat : 3086 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673885944464 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3087] ppid=3081 vsize=27314120 memory=140263241262720 CPUtime=0 cores=0-7
/proc/3084/task/3087/stat : 3087 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673669339664 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3088] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3088/stat : 3088 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673302911376 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3089] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3089/stat : 3089 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673301858576 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3090] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3090/stat : 3090 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673300806800 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3091] ppid=3081 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3084/task/3091/stat : 3091 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673299754000 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3092] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3092/stat : 3092 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673298701200 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3093] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3093/stat : 3093 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 26846 33554432000 4194304 4196468 140732220140880 140673297648400 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3094] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3094/stat : 3094 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664140 27969658880 26846 33554432000 4194304 4196468 140732220140880 140672738740592 140673881713282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3095] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3095/stat : 3095 (java) S 3081 3081 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419664140 27969658880 26846 33554432000 4194304 4196468 140732220140880 140671855879200 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3096] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3096/stat : 3096 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664141 27969658880 26846 33554432000 4194304 4196468 140732220140880 140671587443568 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3097] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3097/stat : 3097 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 26846 33554432000 4194304 4196468 140732220140880 140671212934992 140673881720731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3098] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3098/stat : 3098 (java) S 3081 3081 1012 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 26846 33554432000 4194304 4196468 140732220140880 140672737688432 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3099] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3099/stat : 3099 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 26846 33554432000 4194304 4196468 140732220140880 140672736635632 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3100] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3100/stat : 3100 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 26846 33554432000 4194304 4196468 140732220140880 140672735582832 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3101] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3101/stat : 3101 (java) S 3081 3081 1012 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 26846 33554432000 4194304 4196468 140732220140880 140672734530032 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3102] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3102/stat : 3102 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 26846 33554432000 4194304 4196468 140732220140880 140670715030112 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3103] ppid=3081 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3084/task/3103/stat : 3103 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664144 27969658880 26846 33554432000 4194304 4196468 140732220140880 140672733477424 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108780 KiB

[startup+0.21046 s]*
/proc/loadavg: 7.35 7.18 7.01 2/212 3103
/proc/meminfo: memFree=29454088/32770624 swapFree=66958248/67108860
[pid=3081] ppid=3078 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3081/stat : 3081 (scop.sh) S 3078 3081 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419664135 115843072 349 33554432000 4194304 5098028 140722754394544 140722754391800 140610701849212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33771520 140722754401061 140722754401388 140722754401388 140722754404301 0
/proc/3081/statm: 28282 349 296 221 0 87 0
[pid=3084] ppid=3081 vsize=27314120 memory=123924 CPUtime=0.25 cores=0-7
/proc/3084/stat : 3084 (java) S 3081 3081 1012 0 -1 1077944320 11413 0 0 0 21 4 0 0 20 0 20 0 419664136 27969658880 30981 33554432000 4194304 4196468 140732220140880 140732220123424 140673881702135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
/proc/3084/statm: 6828530 30981 2892 1 0 6790935 0
[pid=3084/tid=3085] ppid=3081 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3084/task/3085/stat : 3085 (java) R 3081 3081 1012 0 -1 4202560 9109 0 0 0 17 3 0 0 20 0 20 0 419664136 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673853501520 140673861977922 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3086] ppid=3081 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/3084/task/3086/stat : 3086 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673885944464 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3087] ppid=3081 vsize=27314120 memory=3689774976739550880 CPUtime=0 cores=0-7
/proc/3084/task/3087/stat : 3087 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673669339664 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3088] ppid=3081 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3084/task/3088/stat : 3088 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673302911376 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3089] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3089/stat : 3089 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673301858576 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3090] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3090/stat : 3090 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673300806800 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3091] ppid=3081 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3084/task/3091/stat : 3091 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673299754000 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3092] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3092/stat : 3092 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673298701200 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3093] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3093/stat : 3093 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 30981 33554432000 4194304 4196468 140732220140880 140673297648400 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3094] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3094/stat : 3094 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664140 27969658880 30981 33554432000 4194304 4196468 140732220140880 140672738740592 140673881713282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3095] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3095/stat : 3095 (java) S 3081 3081 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419664140 27969658880 30981 33554432000 4194304 4196468 140732220140880 140671855879200 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3096] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3096/stat : 3096 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664141 27969658880 30981 33554432000 4194304 4196468 140732220140880 140671587443568 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3097] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3097/stat : 3097 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 30981 33554432000 4194304 4196468 140732220140880 140671212934992 140673881720731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3098] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3098/stat : 3098 (java) S 3081 3081 1012 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 30981 33554432000 4194304 4196468 140732220140880 140672737688432 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3099] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3099/stat : 3099 (java) S 3081 3081 1012 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 30981 33554432000 4194304 4196468 140732220140880 140672736635632 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3100] ppid=3081 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3084/task/3100/stat : 3100 (java) S 3081 3081 1012 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 30981 33554432000 4194304 4196468 140732220140880 140672735582832 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3101] ppid=3081 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3084/task/3101/stat : 3101 (java) S 3081 3081 1012 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 20 0 419664143 27969658880 30981 33554432000 4194304 4196468 140732220140880 140672734530032 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3102] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3102/stat : 3102 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 30981 33554432000 4194304 4196468 140732220140880 140670715030112 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3103] ppid=3081 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3084/task/3103/stat : 3103 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664144 27969658880 30981 33554432000 4194304 4196468 140732220140880 140672733477424 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125320 KiB

[startup+0.310882 s]*
/proc/loadavg: 7.35 7.18 7.01 2/212 3103
/proc/meminfo: memFree=29451048/32770624 swapFree=66958248/67108860
[pid=3081] ppid=3078 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3081/stat : 3081 (scop.sh) S 3078 3081 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419664135 115843072 349 33554432000 4194304 5098028 140722754394544 140722754391800 140610701849212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33771520 140722754401061 140722754401388 140722754401388 140722754404301 0
/proc/3081/statm: 28282 349 296 221 0 87 0
[pid=3084] ppid=3081 vsize=27314120 memory=128128 CPUtime=0.42 cores=0-7
/proc/3084/stat : 3084 (java) S 3081 3081 1012 0 -1 1077944320 12345 0 0 0 38 4 0 0 20 0 20 0 419664136 27969658880 32032 33554432000 4194304 4196468 140732220140880 140732220123424 140673881702135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
/proc/3084/statm: 6828530 32032 3059 1 0 6790935 0
[pid=3084/tid=3085] ppid=3081 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3084/task/3085/stat : 3085 (java) R 3081 3081 1012 0 -1 4202560 9871 0 0 0 26 3 0 0 20 0 20 0 419664136 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673853500200 140673863095866 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3086] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3086/stat : 3086 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673885944464 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3087] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3087/stat : 3087 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673669339664 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3088] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3088/stat : 3088 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673302911376 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3089] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3089/stat : 3089 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673301858576 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3090] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3090/stat : 3090 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673300806800 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3091] ppid=3081 vsize=27314120 memory=140263095888559 CPUtime=0 cores=0-7
/proc/3084/task/3091/stat : 3091 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673299754000 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3092] ppid=3081 vsize=27314120 memory=140263095890864 CPUtime=0 cores=0-7
/proc/3084/task/3092/stat : 3092 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673298701200 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3093] ppid=3081 vsize=27314120 memory=140263095893168 CPUtime=0 cores=0-7
/proc/3084/task/3093/stat : 3093 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27969658880 32032 33554432000 4194304 4196468 140732220140880 140673297648400 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3094] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3094/stat : 3094 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664140 27969658880 32032 33554432000 4194304 4196468 140732220140880 140672738740592 140673881713282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3095] ppid=3081 vsize=27314120 memory=280526191800208 CPUtime=0 cores=0-7
/proc/3084/task/3095/stat : 3095 (java) S 3081 3081 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419664140 27969658880 32032 33554432000 4194304 4196468 140732220140880 140671855879200 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3096] ppid=3081 vsize=27314120 memory=280526191797904 CPUtime=0 cores=0-7
/proc/3084/task/3096/stat : 3096 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664141 27969658880 32032 33554432000 4194304 4196468 140732220140880 140671587443568 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3097] ppid=3081 vsize=27314120 memory=280526191804816 CPUtime=0 cores=0-7
/proc/3084/task/3097/stat : 3097 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 32032 33554432000 4194304 4196468 140732220140880 140671212934992 140673881720731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3098] ppid=3081 vsize=27314120 memory=280526191746064 CPUtime=0.01 cores=0-7
/proc/3084/task/3098/stat : 3098 (java) S 3081 3081 1012 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 419664143 27969658880 32032 33554432000 4194304 4196468 140732220140880 140672737688432 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3099] ppid=3081 vsize=27314120 memory=280526191818640 CPUtime=0.01 cores=0-7
/proc/3084/task/3099/stat : 3099 (java) S 3081 3081 1012 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 419664143 27969658880 32032 33554432000 4194304 4196468 140732220140880 140672736635632 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3100] ppid=3081 vsize=27314120 memory=280526191825552 CPUtime=0.01 cores=0-7
/proc/3084/task/3100/stat : 3100 (java) R 3081 3081 1012 0 -1 4202560 209 0 0 0 1 0 0 0 20 0 20 0 419664143 27969658880 32032 33554432000 4194304 4196468 140732220140880 140672735582832 140673874687177 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3101] ppid=3081 vsize=27314120 memory=280526191823248 CPUtime=0.07 cores=0-7
/proc/3084/task/3101/stat : 3101 (java) S 3081 3081 1012 0 -1 1077944384 507 0 0 0 7 0 0 0 20 0 20 0 419664143 27969658880 32032 33554432000 4194304 4196468 140732220140880 140672734530032 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3102] ppid=3081 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3102/stat : 3102 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419664143 27969658880 32032 33554432000 4194304 4196468 140732220140880 140670715030112 140673881712341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3103] ppid=3081 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3084/task/3103/stat : 3103 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664144 27969658880 32032 33554432000 4194304 4196468 140732220140880 140672733477424 140673881713282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129524 KiB

[startup+0.700939 s]
/proc/loadavg: 7.35 7.18 7.01 2/212 3103
/proc/meminfo: memFree=29429212/32770624 swapFree=66958248/67108860
[pid=3081] ppid=3078 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3081/stat : 3081 (scop.sh) S 3078 3081 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419664135 115843072 349 33554432000 4194304 5098028 140722754394544 140722754391800 140610701849212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33771520 140722754401061 140722754401388 140722754401388 140722754404301 0
/proc/3081/statm: 28282 349 296 221 0 87 0
[pid=3084] ppid=3081 vsize=27322516 memory=165756 CPUtime=0.99 cores=0-7
/proc/3084/stat : 3084 (java) S 3081 3081 1012 0 -1 1077944320 20030 0 0 0 92 7 0 0 20 0 20 0 419664136 27978256384 41439 33554432000 4194304 4196468 140732220140880 140732220123424 140673881702135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
/proc/3084/statm: 6830629 41439 3187 1 0 6791959 0
[pid=3084/tid=3085] ppid=3081 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/3084/task/3085/stat : 3085 (java) R 3081 3081 1012 0 -1 4202560 17042 0 0 0 62 5 0 0 20 0 20 0 419664136 27978256384 41439 33554432000 4194304 4196468 140732220140880 140673853533872 140673865782622 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3086] ppid=3081 vsize=27322516 memory=140263096099696 CPUtime=0 cores=0-7
/proc/3084/task/3086/stat : 3086 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27978256384 41439 33554432000 4194304 4196468 140732220140880 140673885944464 140673881712341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3087] ppid=3081 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/3084/task/3087/stat : 3087 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419664138 27978256384 41439 33554432000 4194304 4196468 140732220140880 140673669339664 140673881712341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0
[pid=3084/tid=3088] ppid=3081 vsize=27322516 memory=8004 CPUtime=0 cores=0-7
/proc/3084/task/3088/stat : 3088 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419664138 27978256384 41439 33554432000 4194304 4196468 140732220140880 140673302911376 140673881712341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24674304 140732220146412 140732220146838 140732220146838 140732220149711 0

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

/proc/3104/task/3109/stat : 3109 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239818091280 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3110] ppid=3081 vsize=8414124 memory=1359 CPUtime=0 cores=0-7
/proc/3104/task/3110/stat : 3110 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239817038480 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3111] ppid=3081 vsize=8414124 memory=12 CPUtime=0 cores=0-7
/proc/3104/task/3111/stat : 3111 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239815985680 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3112] ppid=3081 vsize=8414124 memory=27152 CPUtime=0 cores=0-7
/proc/3104/task/3112/stat : 3112 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239814932880 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3113] ppid=3081 vsize=8414124 memory=1358 CPUtime=0 cores=0-7
/proc/3104/task/3113/stat : 3113 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239813880080 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3114] ppid=3081 vsize=8414124 memory=1 CPUtime=0 cores=0-7
/proc/3104/task/3114/stat : 3114 (java) S 3081 3081 1012 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419665058 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239696677744 140240334768770 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3115] ppid=3081 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3104/task/3115/stat : 3115 (java) S 3081 3081 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419665059 8616062976 30697 33554432000 4194304 4196468 140723242951488 140238802380320 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3116] ppid=3081 vsize=8414124 memory=1 CPUtime=0 cores=0-7
/proc/3104/task/3116/stat : 3116 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419665059 8616062976 30697 33554432000 4194304 4196468 140723242951488 140238533944688 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3117] ppid=3081 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3104/task/3117/stat : 3117 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419665061 8616062976 30697 33554432000 4194304 4196468 140723242951488 140238159436112 140240334776219 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3118] ppid=3081 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/3104/task/3118/stat : 3118 (java) S 3081 3081 1012 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 24 0 419665061 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239695624560 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3119] ppid=3081 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/3104/task/3119/stat : 3119 (java) S 3081 3081 1012 0 -1 1077944384 369 0 0 0 7 0 0 0 20 0 24 0 419665061 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239694571760 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3120] ppid=3081 vsize=8414124 memory=65 CPUtime=0.11 cores=0-7
/proc/3104/task/3120/stat : 3120 (java) S 3081 3081 1012 0 -1 1077944384 494 0 0 0 11 0 0 0 20 0 24 0 419665062 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239693518960 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3121] ppid=3081 vsize=8414124 memory=2227 CPUtime=0.22 cores=0-7
/proc/3104/task/3121/stat : 3121 (java) S 3081 3081 1012 0 -1 1077944384 772 0 0 0 22 0 0 0 20 0 24 0 419665062 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239692466160 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3122] ppid=3081 vsize=8414124 memory=671 CPUtime=0 cores=0-7
/proc/3104/task/3122/stat : 3122 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419665062 8616062976 30697 33554432000 4194304 4196468 140723242951488 140237661531232 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3123] ppid=3081 vsize=8414124 memory=288230574492221466 CPUtime=0.03 cores=0-7
/proc/3104/task/3123/stat : 3123 (java) S 3081 3081 1012 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 419665062 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239691414576 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3125] ppid=3081 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/3104/task/3125/stat : 3125 (java) S 3081 3081 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419665131 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239683380800 140240334782233 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3127] ppid=3081 vsize=8414124 memory=16099264824608231 CPUtime=0 cores=0-7
/proc/3104/task/3127/stat : 3127 (java) S 3081 3081 1012 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419665132 8616062976 30697 33554432000 4194304 4196468 140723242951488 140236990430896 140240334779549 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3128] ppid=3081 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/3104/task/3128/stat : 3128 (java) S 3081 3081 1012 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419665132 8616062976 30697 33554432000 4194304 4196468 140723242951488 140237258866224 140240334779549 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3129] ppid=3081 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/3104/task/3129/stat : 3129 (java) S 3081 3081 1012 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419665134 8616062976 30697 33554432000 4194304 4196468 140723242951488 140236722002992 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
Current children cumulated CPU time: 564.5 s
Current children cumulated vsize: 9253840 KiB
Current children cumulated memory: 572440 KiB

[startup+79.2011 s]
/proc/loadavg: 8.12 7.39 7.09 2/221 3166
/proc/meminfo: memFree=29011020/32770624 swapFree=66958248/67108860
[pid=3081] ppid=3078 vsize=113128 memory=1476 CPUtime=20.1 cores=0-7
/proc/3081/stat : 3081 (scop.sh) S 3078 3081 1012 0 -1 4202496 583 36226 0 0 0 0 1948 62 20 0 1 0 419664135 115843072 369 33554432000 4194304 5098028 140722754394544 140722754391288 140610701849212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33771520 140722754401061 140722754401388 140722754401388 140722754404301 0
/proc/3081/statm: 28282 369 311 221 0 87 0
[pid=3104] ppid=3081 vsize=8414124 memory=122788 CPUtime=1.35 cores=0-7
/proc/3104/stat : 3104 (java) S 3081 3081 1012 0 -1 1077944320 20626 0 0 0 126 9 0 0 20 0 24 0 419665055 8616062976 30697 33554432000 4194304 4196468 140723242951488 140723242934032 140240334757623 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
/proc/3104/statm: 2103531 30697 3212 1 0 2064875 0
[pid=3124] ppid=3104 vsize=710196 memory=446188 CPUtime=543.66 cores=0-7
/proc/3124/stat : 3124 (manyglucose-4.1) S 3104 3081 1012 0 -1 1077944320 329114 0 0 0 54299 67 0 0 20 0 2 0 419665131 727240704 111547 33554432000 4194304 4454172 140731103364928 140731103363312 140136959237879 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 36655104 140731103368042 140731103368240 140731103368240 140731103371194 0
/proc/3124/statm: 177549 111547 423 64 0 173217 0
[pid=3124/tid=3136] ppid=3104 vsize=710196 memory=14012 CPUtime=68.72 cores=0-7
/proc/3124/task/3136/stat : 3136 (manyglucose-4.1) R 3104 3081 1012 0 -1 4202560 36436 0 0 0 6865 7 0 0 20 0 2 0 419665158 727240704 111547 33554432000 4194304 4454172 140731103364928 140136879873160 4350295 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 36655104 140731103368042 140731103368240 140731103368240 140731103371194 0
[pid=3104/tid=3105] ppid=3081 vsize=8414124 memory=427452 CPUtime=0.79 cores=0-7
/proc/3104/task/3105/stat : 3105 (java) S 3081 3081 1012 0 -1 1077944384 16850 0 0 0 72 7 0 0 20 0 24 0 419665056 8616062976 30697 33554432000 4194304 4196468 140723242951488 140240306597792 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3106] ppid=3081 vsize=8414124 memory=22032 CPUtime=0 cores=0-7
/proc/3104/task/3106/stat : 3106 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140240339000464 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3107] ppid=3081 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/3104/task/3107/stat : 3107 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239820196880 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3108] ppid=3081 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/3104/task/3108/stat : 3108 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239819144080 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3109] ppid=3081 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/3104/task/3109/stat : 3109 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239818091280 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3110] ppid=3081 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/3104/task/3110/stat : 3110 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239817038480 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3111] ppid=3081 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/3104/task/3111/stat : 3111 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239815985680 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3112] ppid=3081 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/3104/task/3112/stat : 3112 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239814932880 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3113] ppid=3081 vsize=8414124 memory=4748 CPUtime=0 cores=0-7
/proc/3104/task/3113/stat : 3113 (java) S 3081 3081 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419665057 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239813880080 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3114] ppid=3081 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/3104/task/3114/stat : 3114 (java) S 3081 3081 1012 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419665058 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239696677744 140240334768770 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3115] ppid=3081 vsize=8414124 memory=446128 CPUtime=0 cores=0-7
/proc/3104/task/3115/stat : 3115 (java) S 3081 3081 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419665059 8616062976 30697 33554432000 4194304 4196468 140723242951488 140238802380320 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3116] ppid=3081 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/3104/task/3116/stat : 3116 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419665059 8616062976 30697 33554432000 4194304 4196468 140723242951488 140238533944688 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3117] ppid=3081 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/3104/task/3117/stat : 3117 (java) S 3081 3081 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419665061 8616062976 30697 33554432000 4194304 4196468 140723242951488 140238159436112 140240334776219 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3118] ppid=3081 vsize=8414124 memory=776 CPUtime=0.07 cores=0-7
/proc/3104/task/3118/stat : 3118 (java) S 3081 3081 1012 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 24 0 419665061 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239695624560 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3119] ppid=3081 vsize=8414124 memory=1056 CPUtime=0.07 cores=0-7
/proc/3104/task/3119/stat : 3119 (java) S 3081 3081 1012 0 -1 1077944384 369 0 0 0 7 0 0 0 20 0 24 0 419665061 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239694571760 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3120] ppid=3081 vsize=8414124 memory=4000 CPUtime=0.11 cores=0-7
/proc/3104/task/3120/stat : 3120 (java) S 3081 3081 1012 0 -1 1077944384 494 0 0 0 11 0 0 0 20 0 24 0 419665062 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239693518960 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3121] ppid=3081 vsize=8414124 memory=1552 CPUtime=0.22 cores=0-7
/proc/3104/task/3121/stat : 3121 (java) S 3081 3081 1012 0 -1 1077944384 772 0 0 0 22 0 0 0 20 0 24 0 419665062 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239692466160 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3122] ppid=3081 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/3104/task/3122/stat : 3122 (java) S 3081 3081 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419665062 8616062976 30697 33554432000 4194304 4196468 140723242951488 140237661531232 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3123] ppid=3081 vsize=8414124 memory=1196 CPUtime=0.03 cores=0-7
/proc/3104/task/3123/stat : 3123 (java) S 3081 3081 1012 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 419665062 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239691414576 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3125] ppid=3081 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/3104/task/3125/stat : 3125 (java) S 3081 3081 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419665131 8616062976 30697 33554432000 4194304 4196468 140723242951488 140239683380800 140240334782233 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3127] ppid=3081 vsize=8414124 memory=712 CPUtime=0 cores=0-7
/proc/3104/task/3127/stat : 3127 (java) S 3081 3081 1012 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419665132 8616062976 30697 33554432000 4194304 4196468 140723242951488 140236990430896 140240334779549 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3128] ppid=3081 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/3104/task/3128/stat : 3128 (java) S 3081 3081 1012 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419665132 8616062976 30697 33554432000 4194304 4196468 140723242951488 140237258866224 140240334779549 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3129] ppid=3081 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/3104/task/3129/stat : 3129 (java) S 3081 3081 1012 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419665134 8616062976 30697 33554432000 4194304 4196468 140723242951488 140236722002992 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
Current children cumulated CPU time: 565.11 s
Current children cumulated vsize: 9237448 KiB
Current children cumulated memory: 570452 KiB

[startup+79.3011 s]
/proc/loadavg: 8.12 7.39 7.09 2/221 3166
/proc/meminfo: memFree=29011020/32770624 swapFree=66958248/67108860
[pid=3081] ppid=3078 vsize=113128 memory=1476 CPUtime=20.1 cores=0-7
/proc/3081/stat : 3081 (scop.sh) S 3078 3081 1012 0 -1 4202496 583 36226 0 0 0 0 1948 62 20 0 1 0 419664135 115843072 369 33554432000 4194304 5098028 140722754394544 140722754391288 140610701849212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33771520 140722754401061 140722754401388 140722754401388 140722754404301 0
/proc/3081/statm: 28282 369 311 221 0 87 0
[pid=3104] ppid=3081 vsize=8283048 memory=131184 CPUtime=545.27 cores=0-7
/proc/3104/stat : 3104 (java) S 3081 3081 1012 0 -1 1077944320 21257 329127 0 0 147 10 54301 69 20 0 22 0 419665055 8481841152 32796 33554432000 4194304 4196468 140723242951488 140723242934032 140240334757623 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
/proc/3104/statm: 2070762 32796 3230 1 0 2032106 0
[pid=3104/tid=3105] ppid=3081 vsize=8283048 memory=122788 CPUtime=544.52 cores=0-7
/proc/3104/task/3105/stat : 3105 (java) R 3081 3081 1012 0 -1 4202560 16980 329127 0 0 75 7 54301 69 20 0 22 0 419665056 8481841152 32796 33554432000 4194304 4196468 140723242951488 140240306594400 140240334769558 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3106] ppid=3081 vsize=8283048 memory=445672 CPUtime=543.7 cores=0-7
/proc/3104/task/3106/stat : 3106 (java) S 3081 3081 1012 0 -1 1077944384 2 329127 0 0 0 0 54301 69 20 0 22 0 419665057 8481841152 32796 33554432000 4194304 4196468 140723242951488 140240339000464 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3107] ppid=3081 vsize=8283048 memory=1552 CPUtime=543.7 cores=0-7
/proc/3104/task/3107/stat : 3107 (java) S 3081 3081 1012 0 -1 1077944384 1 329127 0 0 0 0 54301 69 20 0 22 0 419665057 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239820196880 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3108] ppid=3081 vsize=8283048 memory=1556 CPUtime=543.7 cores=0-7
/proc/3104/task/3108/stat : 3108 (java) S 3081 3081 1012 0 -1 1077944384 1 329127 0 0 0 0 54301 69 20 0 22 0 419665057 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239819144080 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3109] ppid=3081 vsize=8283048 memory=1476 CPUtime=543.7 cores=0-7
/proc/3104/task/3109/stat : 3109 (java) S 3081 3081 1012 0 -1 1077944384 3 329127 0 0 0 0 54301 69 20 0 22 0 419665057 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239818091280 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3110] ppid=3081 vsize=8283048 memory=121968 CPUtime=543.7 cores=0-7
/proc/3104/task/3110/stat : 3110 (java) S 3081 3081 1012 0 -1 1077944384 1 329127 0 0 0 0 54301 69 20 0 22 0 419665057 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239817038480 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3111] ppid=3081 vsize=8283048 memory=425404 CPUtime=543.7 cores=0-7
/proc/3104/task/3111/stat : 3111 (java) S 3081 3081 1012 0 -1 1077944384 2 329127 0 0 0 0 54301 69 20 0 22 0 419665057 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239815985680 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3112] ppid=3081 vsize=8283048 memory=55 CPUtime=543.7 cores=0-7
/proc/3104/task/3112/stat : 3112 (java) S 3081 3081 1012 0 -1 1077944384 2 329127 0 0 0 0 54301 69 20 0 22 0 419665057 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239814932880 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3113] ppid=3081 vsize=8283048 memory=7451894300419318880 CPUtime=543.7 cores=0-7
/proc/3104/task/3113/stat : 3113 (java) S 3081 3081 1012 0 -1 1077944384 2 329127 0 0 0 0 54301 69 20 0 22 0 419665057 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239813880080 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3114] ppid=3081 vsize=8283048 memory=7670301315261816931 CPUtime=543.7 cores=0-7
/proc/3104/task/3114/stat : 3114 (java) S 3081 3081 1012 0 -1 1077944384 8 329127 0 0 0 0 54301 69 20 0 22 0 419665058 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239696677744 140240334768770 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3115] ppid=3081 vsize=8283048 memory=0 CPUtime=543.7 cores=0-7
/proc/3104/task/3115/stat : 3115 (java) S 3081 3081 1012 0 -1 1077944384 13 329127 0 0 0 0 54301 69 20 0 22 0 419665059 8481841152 32796 33554432000 4194304 4196468 140723242951488 140238802380320 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3116] ppid=3081 vsize=8283048 memory=0 CPUtime=543.7 cores=0-7
/proc/3104/task/3116/stat : 3116 (java) S 3081 3081 1012 0 -1 1077944384 1 329127 0 0 0 0 54301 69 20 0 22 0 419665059 8481841152 32796 33554432000 4194304 4196468 140723242951488 140238533944688 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3117] ppid=3081 vsize=8283048 memory=0 CPUtime=543.7 cores=0-7
/proc/3104/task/3117/stat : 3117 (java) S 3081 3081 1012 0 -1 1077944384 1 329127 0 0 0 0 54301 69 20 0 22 0 419665061 8481841152 32796 33554432000 4194304 4196468 140723242951488 140238159436112 140240334776219 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3118] ppid=3081 vsize=8283048 memory=280526193313888 CPUtime=543.79 cores=0-7
/proc/3104/task/3118/stat : 3118 (java) S 3081 3081 1012 0 -1 1077944384 619 329127 0 0 9 0 54301 69 20 0 22 0 419665061 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239695624560 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3119] ppid=3081 vsize=8283048 memory=7162362348722240352 CPUtime=543.79 cores=0-7
/proc/3104/task/3119/stat : 3119 (java) S 3081 3081 1012 0 -1 1077944384 385 329127 0 0 9 0 54301 69 20 0 22 0 419665061 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239694571856 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3120] ppid=3081 vsize=8283048 memory=280526192908832 CPUtime=543.86 cores=0-7
/proc/3104/task/3120/stat : 3120 (java) R 3081 3081 1012 0 -1 1077944384 610 329127 0 0 16 0 54301 69 20 0 22 0 419665062 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239693518960 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3121] ppid=3081 vsize=8283048 memory=26869315410029 CPUtime=543.96 cores=0-7
/proc/3104/task/3121/stat : 3121 (java) R 3081 3081 1012 0 -1 4202560 1061 329127 0 0 26 0 54301 69 20 0 22 0 419665062 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239692466160 140240334769558 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3122] ppid=3081 vsize=8283048 memory=0 CPUtime=543.7 cores=0-7
/proc/3104/task/3122/stat : 3122 (java) S 3081 3081 1012 0 -1 1077944384 3 329127 0 0 0 0 54301 69 20 0 22 0 419665062 8481841152 32796 33554432000 4194304 4196468 140723242951488 140237661531232 140240334767829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3123] ppid=3081 vsize=8283048 memory=0 CPUtime=543.73 cores=0-7
/proc/3104/task/3123/stat : 3123 (java) S 3081 3081 1012 0 -1 1077944384 7 329127 0 0 0 3 54301 69 20 0 22 0 419665062 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239691414576 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3125] ppid=3081 vsize=8283048 memory=122788 CPUtime=543.7 cores=0-7
/proc/3104/task/3125/stat : 3125 (java) S 3081 3081 1012 0 -1 1077944384 25 329127 0 0 0 0 54301 69 20 0 22 0 419665131 8481841152 32796 33554432000 4194304 4196468 140723242951488 140239683379984 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
[pid=3104/tid=3129] ppid=3081 vsize=8283048 memory=988 CPUtime=543.7 cores=0-7
/proc/3104/task/3129/stat : 3129 (java) S 3081 3081 1012 0 -1 1077944384 142 329127 0 0 0 0 54301 69 20 0 22 0 419665134 8481841152 32796 33554432000 4194304 4196468 140723242951488 140236722004784 140240334768770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39718912 140723242955768 140723242955926 140723242955926 140723242958799 0
Current children cumulated CPU time: 565.37 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 132660 KiB

Child status: 0
Real time (s): 79.387
CPU time (s): 565.545
CPU user time (s): 564.101
CPU system time (s): 1.44362
CPU usage (%): 712.39
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 3115916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 564.101
system time used= 1.44362
maximum resident set size= 3119708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15823
involuntary context switches= 6002


# summary of solver processes directly reported to runsolver:
#   pid: 3081
#   total CPU time (s): 565.545
#   total CPU user time (s): 564.101
#   total CPU system time (s): 1.44362

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.721234 second user time and 1.10224 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-14 07:00:35
IDJOB=4392392
IDBENCH=134620
IDSOLVER=2838
FILE ID=node145/4392392-1568437276
RUNJOBID= node145-1568426894-1040
PBS_JOBID= 21702291
Free space on /tmp= 59508 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-08-ext03.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-4392392-1568437276/watcher-4392392-1568437276 -o /tmp/evaluation-result-4392392-1568437276/solver-4392392-1568437276 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --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-4392392-1568437276.xml

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

MD5SUM BENCH= 8a5157f08f2f2e597251b23721b8eb7d
RANDOM SEED=1007420253

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29569004 kB
MemAvailable:   31858512 kB
Buffers:          137048 kB
Cached:          2436228 kB
SwapCached:        41100 kB
Active:          1237640 kB
Inactive:        1380440 kB
Active(anon):       7212 kB
Inactive(anon):    78496 kB
Active(file):    1230428 kB
Inactive(file):  1301944 kB
Unevictable:      109424 kB
Mlocked:          109424 kB
SwapTotal:      67108860 kB
SwapFree:       66958248 kB
Dirty:             20248 kB
Writeback:             0 kB
AnonPages:        266728 kB
Mapped:            43500 kB
Shmem:             32364 kB
Slab:             174124 kB
SReclaimable:     145944 kB
SUnreclaim:        28180 kB
KernelStack:        3840 kB
PageTables:         5412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59484 MiB
End job on node145 at 2019-09-14 07:01:54