Trace number 4405252

Some explanations

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

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

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

Solver answer on this benchmark

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

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-1196-serial-file.bin HOME/instance-4405252-1569354263.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: Tue Sep 24 21:43:40 CEST 2019
0.65/0.57	c PID: 1199
0.65/0.57	c IP: 172.20.3.117
0.65/0.57	c HOST: node117.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.54/0.96	c (0,0) Parsing End
1.54/0.96	c (0,0) CSP: 63 int (0 aux), 1 bool (0 aux), 34 ctr, max domain size 64
1.54/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.54/0.96	c (0,0) Constraint Name Generate Begin
1.54/0.97	c (0,0) Ctr:HOME/instance-4405252-1569354263.xml,AllDifferent:ExtensionSupport:Instantiation:Var
1.54/0.97	c (0,0) Constraint Name Generate End
1.54/0.97	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.54/0.97	c (0,0) CSP to CSPinCNF Begin
3.65/1.65	c (1,1) translated 4 (10%) constraints
5.93/2.24	c (1,1) translated 7 (20%) constraints
7.47/2.71	c (2,2) translated 11 (30%) constraints
8.15/3.03	c (2,2) translated 14 (40%) constraints
8.51/3.34	c (2,2) translated 17 (50%) constraints
8.97/3.75	c (3,3) translated 21 (60%) constraints
9.28/4.06	c (3,3) translated 24 (70%) constraints
9.69/4.46	c (3,3) translated 28 (80%) constraints
10.02/4.77	c (4,4) translated 31 (90%) constraints
10.39/4.98	c (4,4) translated 34 (100%) constraints
10.39/4.98	c (4,4) ===========================================
10.39/4.98	c (4,4) Order
10.39/4.98	c (4,4) ===========================================
11.98/5.46	c (4,4) translated 6228 (10%) constraints
12.54/5.62	c (5,5) translated 12455 (20%) constraints
12.64/5.75	c (5,5) translated 18682 (30%) constraints
12.75/5.89	c (5,5) translated 24909 (40%) constraints
12.99/6.03	c (5,5) translated 31136 (50%) constraints
13.10/6.17	c (5,5) translated 37363 (60%) constraints
13.33/6.31	c (5,5) translated 43590 (70%) constraints
13.44/6.44	c (5,5) translated 49817 (80%) constraints
13.54/6.58	c (6,6) translated 56044 (90%) constraints
13.74/6.71	c (6,6) translated 62271 (100%) constraints
13.74/6.71	c (6,6) CSP to CSPinCNF End
13.74/6.72	c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 70465 ctr, max domain size 32
13.74/6.72	c (6,6) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.74/6.72	c (6,6) CSPinCNF Propagation Begin
14.94/7.22	c (6,6) 424 values, 2350 unsatisfiable literals, and 2291 valid clauses are removed
14.94/7.22	c (6,6) CSPinCNF Propagation End
14.94/7.23	c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 68174 ctr, max domain size 32
14.94/7.23	c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.94/7.23	c (6,6) Simplify CSPinCNF Begin
15.46/7.49	c (6,6) Simplify CSPinCNF End
15.46/7.49	c (6,6) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32
15.46/7.49	c (6,6) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.46/7.49	c (6,6) Calculate Precise Domain Begin
15.46/7.50	c (6,6) 0 values are removed by re-calculation
15.46/7.50	c (6,6) Calculate Precise Domain End
15.70/7.50	c (6,6) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32
15.70/7.50	c (6,6) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.70/7.50	c (6,6) CSPinCNF to SatSolver Begin
18.29/8.43	c (7,7) 7208 (10 %) CSP clauses are encoded (0 SAT variables, 111376 SAT clauses)
18.47/8.51	c (7,7) 14416 (20 %) CSP clauses are encoded (0 SAT variables, 118584 SAT clauses)
18.64/8.60	c (8,8) 21624 (30 %) CSP clauses are encoded (0 SAT variables, 125792 SAT clauses)
18.64/8.69	c (8,8) 28832 (40 %) CSP clauses are encoded (0 SAT variables, 133000 SAT clauses)
18.75/8.77	c (8,8) 36039 (50 %) CSP clauses are encoded (0 SAT variables, 140207 SAT clauses)
18.87/8.85	c (8,8) 43247 (60 %) CSP clauses are encoded (0 SAT variables, 147415 SAT clauses)
18.97/8.93	c (8,8) 50455 (70 %) CSP clauses are encoded (0 SAT variables, 154623 SAT clauses)
19.07/9.01	c (8,8) 57663 (80 %) CSP clauses are encoded (0 SAT variables, 161831 SAT clauses)
19.07/9.09	c (8,8) 64871 (90 %) CSP clauses are encoded (0 SAT variables, 169039 SAT clauses)
19.19/9.16	c (8,8) 72078 (100 %) CSP clauses are encoded (0 SAT variables, 176246 SAT clauses)
19.19/9.16	c (8,8) CSPinCNF to SatSolver End
19.19/9.16	c (8,8) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
19.19/9.17	c (8,8) 15207 bool, 176247 clause
19.19/9.17	c (8,8) Export Begin
19.29/9.28	c (8,8) Export to HOME/scop-1196-serial-file.bin
19.29/9.28	c (8,8) Export End
19.29/9.29	c (8,8) Export File Size: 0.06 MB
19.29/9.29	c (8,8) 0,0,6,6,6,6,8,STOP-AFTER(DIMACS)
19.29/9.29	c END-Prog: Tue Sep 24 21:43:49 CEST 2019
0.00/9.31	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1196-serial-file.bin
19.52/9.77	c (0,0) Read Serial File Begin
19.52/9.77	c (0,0) HOME/scop-1196-serial-file.bin
19.52/10.00	c (0,0) Read Serial File End
20.54/10.02	
20.54/10.02	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.54/10.02	(Solving Process)
20.54/10.02	
20.54/10.04	c BEGIN-Prog: Tue Sep 24 21:43:50 CEST 2019
20.54/10.04	c PID: 1220
20.54/10.04	c IP: 172.20.3.117
20.54/10.04	c HOST: node117.alineos.net
20.54/10.04	c (0,0) SatSolver.solve Begin
20.54/10.04	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405252-1569354263.xml-scop-1199.cnf
20.54/10.07	c (0,0) c
20.54/10.07	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.54/10.07	c (0,0) c
20.54/10.07	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.54/10.07	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.54/10.07	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.54/10.07	c (0,0) c |                                                                                                       |
20.80/10.13	c (0,0) c |  Number of variables:         15207                                                                   |
20.80/10.13	c (0,0) c |  Number of clauses:          176038                                                                   |
20.80/10.13	c (0,0) c |  Parse time:                   0.05 s                                                                 |
20.80/10.13	c (0,0) c |                                                                                                       |
20.82/10.26	c (0,0) c |  Simplification time:          0.14 s                                                                 |
20.82/10.26	c (0,0) c |                                                                                                       |
20.82/10.26	c (0,0) c |  Generating clones                                                                                    |
20.82/10.32	c (0,0) c |  all clones generated. Memory =   138.25Mb.                                                           |
20.82/10.32	c (0,0) c ========================================================================================================|
20.82/10.32	c (0,0) c
20.82/10.32	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
20.82/10.32	c (0,0) c
20.82/10.32	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.82/10.32	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
20.82/10.32	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.82/10.32	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
20.82/10.32	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
20.82/10.32	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
20.82/10.32	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
20.82/10.32	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
20.82/10.32	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
20.82/10.32	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
20.82/10.32	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
20.82/10.32	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
20.82/10.32	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
20.82/10.32	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
20.82/10.32	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
20.82/10.32	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
20.82/10.32	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
20.82/10.32	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
20.82/10.32	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
254.42/39.63	c (29,0) c
254.42/39.63	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
254.42/39.63	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
254.42/39.63	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
254.42/39.63	c (29,0) c |  0 |    799 |     456885 |     129858 |   130135 |    38488 |    18893 |   124630 |     9162 |      232 |  20 | 12.488 |
254.42/39.63	c (29,0) c |  1 |    737 |     466659 |     129861 |   130169 |    38513 |    18785 |   124269 |     9206 |      232 |  20 | 12.494 |
254.42/39.63	c (29,0) c |  2 |    786 |     473382 |     135325 |   131484 |    43965 |    19615 |   127721 |     9551 |      241 |  20 | 12.553 |
254.42/39.63	c (29,0) c |  3 |    778 |     462330 |     132853 |   130332 |    41472 |    19176 |   126042 |     9562 |      236 |  20 | 12.488 |
254.42/39.63	c (29,0) c |  4 |    791 |     482502 |     135965 |   131274 |    44595 |    19512 |   128670 |     9790 |      243 |  20 | 12.553 |
254.42/39.63	c (29,0) c |  5 |    770 |     474962 |     135922 |   130834 |    44550 |    19668 |   129884 |     9776 |      246 |  20 | 12.560 |
254.42/39.63	c (29,0) c |  6 |    799 |     486459 |     137282 |   131580 |    23116 |    19401 |   130104 |     9890 |      246 |  20 | 12.560 |
254.42/39.63	c (29,0) c |  7 |    807 |     469808 |     135189 |   130561 |    43831 |    19573 |   128224 |     9708 |      242 |  20 | 12.553 |
254.42/39.63	c (29,0) c 
254.42/39.63	c (29,0) c synthesis     1072255 conflicts   648146725 propagations     4595 conflicts/sec  2777271 propagations/sec
254.42/39.63	c (29,0) c real: 29.5588 s, cpu: 233.375 s, memory: 709.56 Mb
485.13/68.63	c (58,0) c
485.13/68.63	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
485.13/68.63	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
485.13/68.63	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
485.13/68.63	c (58,0) c |  0 |   1487 |     816627 |     235468 |   144559 |    37305 |    29352 |   200714 |    17228 |      457 |  20 | 12.593 |
485.13/68.63	c (58,0) c |  1 |   1475 |     827649 |     235472 |   144740 |    37300 |    29238 |   201581 |    17386 |      458 |  20 | 12.593 |
485.13/68.63	c (58,0) c |  2 |   1433 |     816773 |     235083 |   144372 |    36933 |    29757 |   199230 |    17058 |      454 |  20 | 12.593 |
485.13/68.63	c (58,0) c |  3 |   1525 |     834198 |     238020 |   144604 |    39854 |    29638 |   202221 |    17552 |      461 |  20 | 12.593 |
485.13/68.63	c (58,0) c |  4 |   1474 |     859971 |     245124 |   145292 |    46945 |    30510 |   205621 |    18027 |      474 |  20 | 12.593 |
485.13/68.63	c (58,0) c |  5 |   1467 |     851391 |     242716 |   145002 |    44555 |    30580 |   205270 |    17854 |      473 |  20 | 12.593 |
485.13/68.63	c (58,0) c |  6 |   1508 |     837089 |     241608 |   144929 |    43439 |    29813 |   204572 |    17672 |      469 |  20 | 12.593 |
485.13/68.63	c (58,0) c |  7 |   1510 |     844592 |     244562 |   145325 |    46408 |    30205 |   205615 |    17882 |      473 |  20 | 12.593 |
485.13/68.63	c (58,0) c 
485.13/68.63	c (58,0) c synthesis     1918053 conflicts  1195104773 propagations     4135 conflicts/sec  2576352 propagations/sec
485.13/68.63	c (58,0) c real: 58.5588 s, cpu: 463.875 s, memory: 709.56 Mb
551.81/78.02	c (68,0) c
551.81/78.02	c (68,0) c real time : 67.9505 s
551.81/78.02	c (68,0) c cpu time  : 530.399 s
551.81/78.02	c (68,0) c
551.81/78.02	c (68,0) c
551.81/78.02	c (68,0) c
551.81/78.02	c (68,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
551.81/78.02	c (68,0) c
551.81/78.02	c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.02	c (68,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
551.81/78.02	c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.02	c (68,0) c | Conflicts     |         2147379 |     267633 |     267122 |     268816 |     268548 |     270478 |     266433 |     267936 |     270413 |
551.81/78.02	c (68,0) c | Decisions     |         7470603 |     924433 |     935555 |     935188 |     941015 |     946938 |     927346 |     928456 |     931672 |
551.81/78.02	c (68,0) c | Propagations  |      1344623277 |  167716233 |  167400842 |  167976236 |  168217209 |  168682814 |  168299681 |  167930344 |  168399918 |
551.81/78.02	c (68,0) c | ReduceDBs     |             112 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |
551.81/78.02	c (68,0) c | SimpDBs       |             339 |         43 |         42 |         42 |         42 |         42 |         41 |         43 |         44 |
551.81/78.02	c (68,0) c | Restarts      |           13420 |       1706 |       1689 |       1664 |       1717 |       1635 |       1648 |       1679 |       1682 |
551.81/78.02	c (68,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
551.81/78.02	c (68,0) c | PropBinClauses|      1588939692 |  198189950 |  197920840 |  198466995 |  198923249 |  199387822 |  198627651 |  198405783 |  199017402 |
551.81/78.02	c (68,0) c | PropPreBlocker|     17277722750 | 2157171138 | 2156103369 | 2158078438 | 2158306797 | 2162888695 | 2164956702 | 2159413604 | 2160804007 |
551.81/78.02	c (68,0) c | PropNotBlocker|      3698771087 |  462823187 |  464238960 |  461276793 |  461757943 |  464100748 |  463695904 |  460643159 |  460234393 |
551.81/78.02	c (68,0) c | LitFullScans  |     25509057190 | 3186180823 | 3186376260 | 3186089316 | 3186088993 | 3196677235 | 3192086012 | 3186107794 | 3189450757 |
551.81/78.02	c (68,0) c | LitScanFracts |         1152431 |     159152 |     371641 |      80709 |      86575 |     129328 |     102263 |     104390 |     118373 |
551.81/78.02	c (68,0) c | DecisionLevel0|           13536 |       1725 |       1705 |       1675 |       1727 |       1649 |       1663 |       1692 |       1700 |
551.81/78.02	c (68,0) c | Periods       |            4249 |        531 |        531 |        531 |        531 |        532 |        531 |        531 |        531 |
551.81/78.02	c (68,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
551.81/78.02	c (68,0) c | Avg_Trail     |                 |       7929 |       7913 |       7908 |       7911 |       7872 |       7973 |       7942 |       7908 |
551.81/78.02	c (68,0) c | Avg_DL        |                 |         51 |         52 |         53 |         53 |         52 |         52 |         53 |         53 |
551.81/78.02	c (68,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
551.81/78.02	c (68,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
551.81/78.02	c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.02	c (68,0) c | Exported      |          260588 |      32399 |      32132 |      32850 |      32484 |      32904 |      32897 |      32421 |      32501 |
551.81/78.02	c (68,0) c | Imported      |         1777342 |     222192 |     222438 |     221717 |     222186 |     222076 |     222023 |     222258 |     222452 |
551.81/78.02	c (68,0) c | Good          |           14163 |       1764 |       1755 |       1723 |       1780 |       1787 |       1790 |       1772 |       1792 |
551.81/78.02	c (68,0) c | Purge         |         1763179 |     220428 |     220683 |     219994 |     220406 |     220289 |     220233 |     220486 |     220660 |
551.81/78.02	c (68,0) c | Promoted      |          157872 |      19695 |      19739 |      19556 |      19848 |      19900 |      19701 |      19725 |      19708 |
551.81/78.02	c (68,0) c | Remove_Imp    |         1208195 |     151235 |     152044 |     150542 |     150942 |     150028 |     152177 |     151390 |     149837 |
551.81/78.02	c (68,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
551.81/78.02	c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.02	c (68,0) c | Unaries       |                 |         19 |         16 |         11 |         10 |         14 |         15 |         13 |         18 |
551.81/78.02	c (68,0) c | Binaries      |                 |        273 |        272 |        302 |        248 |        246 |        248 |        258 |        258 |
551.81/78.02	c (68,0) c | Glues         |                 |       4117 |       4206 |       4285 |       4073 |       4079 |       4107 |       4039 |       3987 |
551.81/78.02	c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.02	c (68,0) c | Orig_Seen     |            87 % |     147275 |     147397 |     147457 |     147034 |     147420 |     146958 |     147077 |     147363 |
551.81/78.02	c (68,0) c | Diff Orig seen|                 |        317 |        439 |        499 |         76 |        462 |      X     |        119 |        405 |
551.81/78.02	c (68,0) c | Hamming       |            19 % |       3262 |       2844 |       3313 |       2718 |       2486 |      X     |       2870 |       3049 |
551.81/78.02	c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.02	c (68,0) c | RunningTime   |                 |   67.4 100%|   67.2 100%|   67.6 100%|   67.0 100%|   65.5  99%|   65.4  99%|   65.9 100%|   65.6 100%|
551.81/78.02	c (68,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.4   1%|    0.4   1%|    0.1   0%|    0.2   0%|
551.81/78.02	c (68,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%|
551.81/78.02	c (68,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%|
551.81/78.02	c (68,0) c | SolvingTime   |                 |   67.5     |   67.3     |   67.7     |   67.1     |   65.9     |   65.9     |   66.1     |   65.9     |
551.81/78.02	c (68,0) c | PropagationTim|                 |   60.3  89%|   60.0  89%|   60.0  89%|   59.8  89%|   58.7  89%|   58.6  89%|   58.6  89%|   58.3  89%|
551.81/78.02	c (68,0) c | AnalysisTime  |                 |    3.6   5%|    3.6   5%|    3.9   6%|    3.7   5%|    3.5   5%|    3.6   5%|    3.8   6%|    3.7   6%|
551.81/78.02	c (68,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%|
551.81/78.02	c (68,0) c | SimplifyTime  |                 |    0.3   0%|    0.3   0%|    0.3   1%|    0.3   0%|    0.4   1%|    0.3   0%|    0.3   1%|    0.3   1%|
551.81/78.02	c (68,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%|
551.81/78.02	c (68,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%|
551.81/78.02	c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.02	c (68,0) c
551.81/78.02	c (68,0) c
551.81/78.02	c (68,0) c Threads : 8
551.81/78.02	c (68,0) c Winner : 5
551.81/78.02	c (68,0) c Conflicts_0 : 267633
551.81/78.02	c (68,0) c Conflicts_1 : 267122
551.81/78.02	c (68,0) c Conflicts_2 : 268816
551.81/78.02	c (68,0) c Conflicts_3 : 268548
551.81/78.02	c (68,0) c Conflicts_4 : 270478
551.81/78.02	c (68,0) c Conflicts_5 : 266433
551.81/78.02	c (68,0) c Conflicts_6 : 267936
551.81/78.02	c (68,0) c Conflicts_7 : 270413
551.81/78.02	c (68,0) c Conflicts_total : 2147379
551.81/78.02	c (68,0) c Conflicts_winner : 266433
551.81/78.02	c (68,0) c Decisions_0 : 924433
551.81/78.02	c (68,0) c Decisions_1 : 935555
551.81/78.02	c (68,0) c Decisions_2 : 935188
551.81/78.02	c (68,0) c Decisions_3 : 941015
551.81/78.02	c (68,0) c Decisions_4 : 946938
551.81/78.02	c (68,0) c Decisions_5 : 927346
551.81/78.02	c (68,0) c Decisions_6 : 928456
551.81/78.02	c (68,0) c Decisions_7 : 931672
551.81/78.02	c (68,0) c Decisions_total : 7470603
551.81/78.02	c (68,0) c Decisions_winner : 927346
551.81/78.02	c (68,0) c Propagations_0 : 167716233
551.81/78.02	c (68,0) c Propagations_1 : 167400842
551.81/78.02	c (68,0) c Propagations_2 : 167976236
551.81/78.02	c (68,0) c Propagations_3 : 168217209
551.81/78.02	c (68,0) c Propagations_4 : 168682814
551.81/78.02	c (68,0) c Propagations_5 : 168299681
551.81/78.02	c (68,0) c Propagations_6 : 167930344
551.81/78.02	c (68,0) c Propagations_7 : 168399918
551.81/78.02	c (68,0) c Propagations_total : 1344623277
551.81/78.02	c (68,0) c Propagations_winner : 168299681
551.81/78.02	c (68,0) c ReduceDBs_0 : 14
551.81/78.02	c (68,0) c ReduceDBs_1 : 14
551.81/78.02	c (68,0) c ReduceDBs_2 : 14
551.81/78.02	c (68,0) c ReduceDBs_3 : 14
551.81/78.02	c (68,0) c ReduceDBs_4 : 14
551.81/78.02	c (68,0) c ReduceDBs_5 : 14
551.81/78.02	c (68,0) c ReduceDBs_6 : 14
551.81/78.02	c (68,0) c ReduceDBs_7 : 14
551.81/78.02	c (68,0) c ReduceDBs_total : 112
551.81/78.02	c (68,0) c ReduceDBs_winner : 14
551.81/78.02	c (68,0) c SimpDBs_0 : 43
551.81/78.02	c (68,0) c SimpDBs_1 : 42
551.81/78.02	c (68,0) c SimpDBs_2 : 42
551.81/78.02	c (68,0) c SimpDBs_3 : 42
551.81/78.02	c (68,0) c SimpDBs_4 : 42
551.81/78.02	c (68,0) c SimpDBs_5 : 41
551.81/78.02	c (68,0) c SimpDBs_6 : 43
551.81/78.02	c (68,0) c SimpDBs_7 : 44
551.81/78.02	c (68,0) c SimpDBs_total : 339
551.81/78.02	c (68,0) c SimpDBs_winner : 41
551.81/78.02	c (68,0) c Restarts_0 : 1706
551.81/78.02	c (68,0) c Restarts_1 : 1689
551.81/78.02	c (68,0) c Restarts_2 : 1664
551.81/78.02	c (68,0) c Restarts_3 : 1717
551.81/78.02	c (68,0) c Restarts_4 : 1635
551.81/78.02	c (68,0) c Restarts_5 : 1648
551.81/78.02	c (68,0) c Restarts_6 : 1679
551.81/78.02	c (68,0) c Restarts_7 : 1682
551.81/78.02	c (68,0) c Restarts_total : 13420
551.81/78.02	c (68,0) c Restarts_winner : 1648
551.81/78.02	c (68,0) c ForcedImports_0 : 0
551.81/78.02	c (68,0) c ForcedImports_1 : 0
551.81/78.02	c (68,0) c ForcedImports_2 : 0
551.81/78.02	c (68,0) c ForcedImports_3 : 0
551.81/78.02	c (68,0) c ForcedImports_4 : 0
551.81/78.02	c (68,0) c ForcedImports_5 : 0
551.81/78.02	c (68,0) c ForcedImports_6 : 0
551.81/78.02	c (68,0) c ForcedImports_7 : 0
551.81/78.02	c (68,0) c ForcedImports_total : 0
551.81/78.02	c (68,0) c ForcedImports_winner : 0
551.81/78.02	c (68,0) c PropsBinClauses_0 : 198189950
551.81/78.02	c (68,0) c PropsBinClauses_1 : 197920840
551.81/78.02	c (68,0) c PropsBinClauses_2 : 198466995
551.81/78.02	c (68,0) c PropsBinClauses_3 : 198923249
551.81/78.02	c (68,0) c PropsBinClauses_4 : 199387822
551.81/78.02	c (68,0) c PropsBinClauses_5 : 198627651
551.81/78.02	c (68,0) c PropsBinClauses_6 : 198405783
551.81/78.02	c (68,0) c PropsBinClauses_7 : 199017402
551.81/78.02	c (68,0) c PropsBinClauses_total : 1588939692
551.81/78.02	c (68,0) c PropsBinClauses_winner : 198627651
551.81/78.02	c (68,0) c PropsPreBlocker_0 : 2157171138
551.81/78.02	c (68,0) c PropsPreBlocker_1 : 2156103369
551.81/78.02	c (68,0) c PropsPreBlocker_2 : 2158078438
551.81/78.02	c (68,0) c PropsPreBlocker_3 : 2158306797
551.81/78.02	c (68,0) c PropsPreBlocker_4 : 2162888695
551.81/78.02	c (68,0) c PropsPreBlocker_5 : 2164956702
551.81/78.02	c (68,0) c PropsPreBlocker_6 : 2159413604
551.81/78.02	c (68,0) c PropsPreBlocker_7 : 2160804007
551.81/78.02	c (68,0) c PropsPreBlocker_total : 17277722750
551.81/78.02	c (68,0) c PropsPreBlocker_winner : 2164956702
551.81/78.02	c (68,0) c PropsNotBlocker_0 : 462823187
551.81/78.02	c (68,0) c PropsNotBlocker_1 : 464238960
551.81/78.02	c (68,0) c PropsNotBlocker_2 : 461276793
551.81/78.02	c (68,0) c PropsNotBlocker_3 : 461757943
551.81/78.02	c (68,0) c PropsNotBlocker_4 : 464100748
551.81/78.02	c (68,0) c PropsNotBlocker_5 : 463695904
551.81/78.02	c (68,0) c PropsNotBlocker_6 : 460643159
551.81/78.02	c (68,0) c PropsNotBlocker_7 : 460234393
551.81/78.02	c (68,0) c PropsNotBlocker_total : 3698771087
551.81/78.02	c (68,0) c PropsNotBlocker_winner : 463695904
551.81/78.02	c (68,0) c PropsLitFullScans_0 : 3186180823
551.81/78.02	c (68,0) c PropsLitFullScans_1 : 3186376260
551.81/78.02	c (68,0) c PropsLitFullScans_2 : 3186089316
551.81/78.02	c (68,0) c PropsLitFullScans_3 : 3186088993
551.81/78.02	c (68,0) c PropsLitFullScans_4 : 3196677235
551.81/78.02	c (68,0) c PropsLitFullScans_5 : 3192086012
551.81/78.02	c (68,0) c PropsLitFullScans_6 : 3186107794
551.81/78.02	c (68,0) c PropsLitFullScans_7 : 3189450757
551.81/78.02	c (68,0) c PropsLitFullScans_total : 25509057190
551.81/78.02	c (68,0) c PropsLitFullScans_winner : 3192086012
551.81/78.02	c (68,0) c LitScanFractions_0 : 159152
551.81/78.02	c (68,0) c LitScanFractions_1 : 371641
551.81/78.02	c (68,0) c LitScanFractions_2 : 80709
551.81/78.03	c (68,0) c LitScanFractions_3 : 86575
551.81/78.03	c (68,0) c LitScanFractions_4 : 129328
551.81/78.03	c (68,0) c LitScanFractions_5 : 102263
551.81/78.03	c (68,0) c LitScanFractions_6 : 104390
551.81/78.03	c (68,0) c LitScanFractions_7 : 118373
551.81/78.03	c (68,0) c LitScanFractions_total : 1152431
551.81/78.03	c (68,0) c LitScanFractions_winner : 102263
551.81/78.03	c (68,0) c DecisionLevel0_0 : 1725
551.81/78.03	c (68,0) c DecisionLevel0_1 : 1705
551.81/78.03	c (68,0) c DecisionLevel0_2 : 1675
551.81/78.03	c (68,0) c DecisionLevel0_3 : 1727
551.81/78.03	c (68,0) c DecisionLevel0_4 : 1649
551.81/78.03	c (68,0) c DecisionLevel0_5 : 1663
551.81/78.03	c (68,0) c DecisionLevel0_6 : 1692
551.81/78.03	c (68,0) c DecisionLevel0_7 : 1700
551.81/78.03	c (68,0) c DecisionLevel0_total : 13536
551.81/78.03	c (68,0) c DecisionLevel0_winner : 1663
551.81/78.03	c (68,0) c Periods_0 : 531
551.81/78.03	c (68,0) c Periods_1 : 531
551.81/78.03	c (68,0) c Periods_2 : 531
551.81/78.03	c (68,0) c Periods_3 : 531
551.81/78.03	c (68,0) c Periods_4 : 532
551.81/78.03	c (68,0) c Periods_5 : 531
551.81/78.03	c (68,0) c Periods_6 : 531
551.81/78.03	c (68,0) c Periods_7 : 531
551.81/78.03	c (68,0) c Periods_total : 4249
551.81/78.03	c (68,0) c Periods_winner : 531
551.81/78.03	c (68,0) c Margin_0 : 20
551.81/78.03	c (68,0) c Margin_1 : 20
551.81/78.03	c (68,0) c Margin_2 : 20
551.81/78.03	c (68,0) c Margin_3 : 20
551.81/78.03	c (68,0) c Margin_4 : 20
551.81/78.03	c (68,0) c Margin_5 : 20
551.81/78.03	c (68,0) c Margin_6 : 20
551.81/78.03	c (68,0) c Margin_7 : 20
551.81/78.03	c (68,0) c Margin_total : 160
551.81/78.03	c (68,0) c Margin_winner : 20
551.81/78.03	c (68,0) c Exported_0 : 32399
551.81/78.03	c (68,0) c Exported_1 : 32132
551.81/78.03	c (68,0) c Exported_2 : 32850
551.81/78.03	c (68,0) c Exported_3 : 32484
551.81/78.03	c (68,0) c Exported_4 : 32904
551.81/78.03	c (68,0) c Exported_5 : 32897
551.81/78.03	c (68,0) c Exported_6 : 32421
551.81/78.03	c (68,0) c Exported_7 : 32501
551.81/78.03	c (68,0) c Exported_total : 260588
551.81/78.03	c (68,0) c Exported_winner : 32897
551.81/78.03	c (68,0) c Imported_0 : 222192
551.81/78.03	c (68,0) c Imported_1 : 222438
551.81/78.03	c (68,0) c Imported_2 : 221717
551.81/78.03	c (68,0) c Imported_3 : 222186
551.81/78.03	c (68,0) c Imported_4 : 222076
551.81/78.03	c (68,0) c Imported_5 : 222023
551.81/78.03	c (68,0) c Imported_6 : 222258
551.81/78.03	c (68,0) c Imported_7 : 222452
551.81/78.03	c (68,0) c Imported_total : 1777342
551.81/78.03	c (68,0) c Imported_winner : 222023
551.81/78.03	c (68,0) c Good_0 : 1764
551.81/78.03	c (68,0) c Good_1 : 1755
551.81/78.03	c (68,0) c Good_2 : 1723
551.81/78.03	c (68,0) c Good_3 : 1780
551.81/78.03	c (68,0) c Good_4 : 1787
551.81/78.03	c (68,0) c Good_5 : 1790
551.81/78.03	c (68,0) c Good_6 : 1772
551.81/78.03	c (68,0) c Good_7 : 1792
551.81/78.03	c (68,0) c Good_total : 14163
551.81/78.03	c (68,0) c Good_winner : 1790
551.81/78.03	c (68,0) c Purge_0 : 220428
551.81/78.03	c (68,0) c Purge_1 : 220683
551.81/78.03	c (68,0) c Purge_2 : 219994
551.81/78.03	c (68,0) c Purge_3 : 220406
551.81/78.03	c (68,0) c Purge_4 : 220289
551.81/78.03	c (68,0) c Purge_5 : 220233
551.81/78.03	c (68,0) c Purge_6 : 220486
551.81/78.03	c (68,0) c Purge_7 : 220660
551.81/78.03	c (68,0) c Purge_total : 1763179
551.81/78.03	c (68,0) c Purge_winner : 220233
551.81/78.03	c (68,0) c Promoted_0 : 19695
551.81/78.03	c (68,0) c Promoted_1 : 19739
551.81/78.03	c (68,0) c Promoted_2 : 19556
551.81/78.03	c (68,0) c Promoted_3 : 19848
551.81/78.03	c (68,0) c Promoted_4 : 19900
551.81/78.03	c (68,0) c Promoted_5 : 19701
551.81/78.03	c (68,0) c Promoted_6 : 19725
551.81/78.03	c (68,0) c Promoted_7 : 19708
551.81/78.03	c (68,0) c Promoted_total : 157872
551.81/78.03	c (68,0) c Promoted_winner : 19701
551.81/78.03	c (68,0) c Remove_Imp_0 : 151235
551.81/78.03	c (68,0) c Remove_Imp_1 : 152044
551.81/78.03	c (68,0) c Remove_Imp_2 : 150542
551.81/78.03	c (68,0) c Remove_Imp_3 : 150942
551.81/78.03	c (68,0) c Remove_Imp_4 : 150028
551.81/78.03	c (68,0) c Remove_Imp_5 : 152177
551.81/78.03	c (68,0) c Remove_Imp_6 : 151390
551.81/78.03	c (68,0) c Remove_Imp_7 : 149837
551.81/78.03	c (68,0) c Remove_Imp_total : 1208195
551.81/78.03	c (68,0) c Remove_Imp_winner : 152177
551.81/78.03	c (68,0) c Blocked_Reuse_0 : 0
551.81/78.03	c (68,0) c Blocked_Reuse_1 : 0
551.81/78.03	c (68,0) c Blocked_Reuse_2 : 0
551.81/78.03	c (68,0) c Blocked_Reuse_3 : 0
551.81/78.03	c (68,0) c Blocked_Reuse_4 : 0
551.81/78.03	c (68,0) c Blocked_Reuse_5 : 0
551.81/78.03	c (68,0) c Blocked_Reuse_6 : 0
551.81/78.03	c (68,0) c Blocked_Reuse_7 : 0
551.81/78.03	c (68,0) c Blocked_Reuse_total : 0
551.81/78.03	c (68,0) c Blocked_Reuse_winner : 0
551.81/78.03	c (68,0) c Unaries_0 : 19
551.81/78.03	c (68,0) c Unaries_1 : 16
551.81/78.03	c (68,0) c Unaries_2 : 11
551.81/78.03	c (68,0) c Unaries_3 : 10
551.81/78.03	c (68,0) c Unaries_4 : 14
551.81/78.03	c (68,0) c Unaries_5 : 15
551.81/78.03	c (68,0) c Unaries_6 : 13
551.81/78.03	c (68,0) c Unaries_7 : 18
551.81/78.03	c (68,0) c Unaries_total : 116
551.81/78.03	c (68,0) c Unaries_winner : 15
551.81/78.03	c (68,0) c Binaries_0 : 273
551.81/78.03	c (68,0) c Binaries_1 : 272
551.81/78.03	c (68,0) c Binaries_2 : 302
551.81/78.03	c (68,0) c Binaries_3 : 248
551.81/78.03	c (68,0) c Binaries_4 : 246
551.81/78.03	c (68,0) c Binaries_5 : 248
551.81/78.03	c (68,0) c Binaries_6 : 258
551.81/78.03	c (68,0) c Binaries_7 : 258
551.81/78.03	c (68,0) c Binaries_total : 2105
551.81/78.03	c (68,0) c Binaries_winner : 248
551.81/78.03	c (68,0) c Glues_0 : 4117
551.81/78.03	c (68,0) c Glues_1 : 4206
551.81/78.03	c (68,0) c Glues_2 : 4285
551.81/78.03	c (68,0) c Glues_3 : 4073
551.81/78.03	c (68,0) c Glues_4 : 4079
551.81/78.03	c (68,0) c Glues_5 : 4107
551.81/78.03	c (68,0) c Glues_6 : 4039
551.81/78.03	c (68,0) c Glues_7 : 3987
551.81/78.03	c (68,0) c Glues_total : 32893
551.81/78.03	c (68,0) c Glues_winner : 4107
551.81/78.03	c (68,0) c RunningTime_0 : 67.416265
551.81/78.03	c (68,0) c RunningTime_1 : 67.172513
551.81/78.03	c (68,0) c RunningTime_2 : 67.568198
551.81/78.03	c (68,0) c RunningTime_3 : 67.015686
551.81/78.03	c (68,0) c RunningTime_4 : 65.456530
551.81/78.03	c (68,0) c RunningTime_5 : 65.423348
551.81/78.03	c (68,0) c RunningTime_6 : 65.880599
551.81/78.03	c (68,0) c RunningTime_7 : 65.611615
551.81/78.03	c (68,0) c RunningTime_total : 531.544753
551.81/78.03	c (68,0) c RunningTime_winner : 65.423348
551.81/78.03	c (68,0) c WaitingTime_0 : 0.000675
551.81/78.03	c (68,0) c WaitingTime_1 : 0.000706
551.81/78.03	c (68,0) c WaitingTime_2 : 0.000733
551.81/78.03	c (68,0) c WaitingTime_3 : 0.000737
551.81/78.03	c (68,0) c WaitingTime_4 : 0.355036
551.81/78.03	c (68,0) c WaitingTime_5 : 0.352958
551.81/78.03	c (68,0) c WaitingTime_6 : 0.139680
551.81/78.03	c (68,0) c WaitingTime_7 : 0.155948
551.81/78.03	c (68,0) c WaitingTime_total : 1.006474
551.81/78.03	c (68,0) c WaitingTime_winner : 0.352958
551.81/78.03	c (68,0) c ExchangingTime_0 : 0.082687
551.81/78.03	c (68,0) c ExchangingTime_1 : 0.085307
551.81/78.03	c (68,0) c ExchangingTime_2 : 0.092544
551.81/78.03	c (68,0) c ExchangingTime_3 : 0.087731
551.81/78.03	c (68,0) c ExchangingTime_4 : 0.093785
551.81/78.03	c (68,0) c ExchangingTime_5 : 0.091978
551.81/78.03	c (68,0) c ExchangingTime_6 : 0.093006
551.81/78.03	c (68,0) c ExchangingTime_7 : 0.098852
551.81/78.03	c (68,0) c ExchangingTime_total : 0.725888
551.81/78.03	c (68,0) c ExchangingTime_winner : 0.091978
551.81/78.03	c (68,0) c PeriodProcTime_0 : 0.004124
551.81/78.03	c (68,0) c PeriodProcTime_1 : 0.005388
551.81/78.03	c (68,0) c PeriodProcTime_2 : 0.005774
551.81/78.03	c (68,0) c PeriodProcTime_3 : 0.004072
551.81/78.03	c (68,0) c PeriodProcTime_4 : 0.005253
551.81/78.03	c (68,0) c PeriodProcTime_5 : 0.003893
551.81/78.03	c (68,0) c PeriodProcTime_6 : 0.003728
551.81/78.03	c (68,0) c PeriodProcTime_7 : 0.005096
551.81/78.03	c (68,0) c PeriodProcTime_total : 0.037330
551.81/78.03	c (68,0) c PeriodProcTime_winner : 0.003893
551.81/78.03	c (68,0) c SolvingTime_0 : 67.503751
551.81/78.03	c (68,0) c SolvingTime_1 : 67.263914
551.81/78.03	c (68,0) c SolvingTime_2 : 67.667249
551.81/78.03	c (68,0) c SolvingTime_3 : 67.108226
551.81/78.03	c (68,0) c SolvingTime_4 : 65.910603
551.81/78.03	c (68,0) c SolvingTime_5 : 65.872177
551.81/78.03	c (68,0) c SolvingTime_6 : 66.117012
551.81/78.03	c (68,0) c SolvingTime_7 : 65.871511
551.81/78.03	c (68,0) c SolvingTime_total : 533.314444
551.81/78.03	c (68,0) c SolvingTime_winner : 65.872177
551.81/78.03	c (68,0) c PropagationTime_0 : 60.251467
551.81/78.03	c (68,0) c PropagationTime_1 : 59.962239
551.81/78.03	c (68,0) c PropagationTime_2 : 59.978248
551.81/78.03	c (68,0) c PropagationTime_3 : 59.761105
551.81/78.03	c (68,0) c PropagationTime_4 : 58.667137
551.81/78.03	c (68,0) c PropagationTime_5 : 58.562390
551.81/78.03	c (68,0) c PropagationTime_6 : 58.574068
551.81/78.03	c (68,0) c PropagationTime_7 : 58.319153
551.81/78.03	c (68,0) c PropagationTime_total : 474.075806
551.81/78.03	c (68,0) c PropagationTime_winner : 58.562390
551.81/78.03	c (68,0) c AnalysisTime_0 : 3.593294
551.81/78.03	c (68,0) c AnalysisTime_1 : 3.573475
551.81/78.03	c (68,0) c AnalysisTime_2 : 3.921707
551.81/78.03	c (68,0) c AnalysisTime_3 : 3.670109
551.81/78.03	c (68,0) c AnalysisTime_4 : 3.521615
551.81/78.03	c (68,0) c AnalysisTime_5 : 3.587961
551.81/78.03	c (68,0) c AnalysisTime_6 : 3.826222
551.81/78.03	c (68,0) c AnalysisTime_7 : 3.741529
551.81/78.03	c (68,0) c AnalysisTime_total : 29.435912
551.81/78.03	c (68,0) c AnalysisTime_winner : 3.587961
551.81/78.03	c (68,0) c ReductionTime_0 : 0.571315
551.81/78.03	c (68,0) c ReductionTime_1 : 0.605939
551.81/78.03	c (68,0) c ReductionTime_2 : 0.600523
551.81/78.03	c (68,0) c ReductionTime_3 : 0.591041
551.81/78.03	c (68,0) c ReductionTime_4 : 0.616906
551.81/78.03	c (68,0) c ReductionTime_5 : 0.617609
551.81/78.03	c (68,0) c ReductionTime_6 : 0.586262
551.81/78.03	c (68,0) c ReductionTime_7 : 0.608034
551.81/78.03	c (68,0) c ReductionTime_total : 4.797628
551.81/78.03	c (68,0) c ReductionTime_winner : 0.617609
551.81/78.03	c (68,0) c SimplifyTime_0 : 0.321465
551.81/78.03	c (68,0) c SimplifyTime_1 : 0.334506
551.81/78.03	c (68,0) c SimplifyTime_2 : 0.338898
551.81/78.03	c (68,0) c SimplifyTime_3 : 0.333548
551.81/78.03	c (68,0) c SimplifyTime_4 : 0.350164
551.81/78.03	c (68,0) c SimplifyTime_5 : 0.325842
551.81/78.03	c (68,0) c SimplifyTime_6 : 0.340247
551.81/78.03	c (68,0) c SimplifyTime_7 : 0.337578
551.81/78.03	c (68,0) c SimplifyTime_total : 2.682249
551.81/78.03	c (68,0) c SimplifyTime_winner : 0.325842
551.81/78.03	c (68,0) c UsedRateTime_0 : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_1 : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_2 : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_3 : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_4 : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_5 : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_6 : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_7 : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_total : 0.000000
551.81/78.03	c (68,0) c UsedRateTime_winner : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_0 : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_1 : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_2 : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_3 : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_4 : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_5 : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_6 : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_7 : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_total : 0.000000
551.81/78.03	c (68,0) c OverlapRateTime_winner : 0.000000
551.81/78.03	c (68,0) c
551.81/78.03	c (68,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
551.81/78.03	c (68,0) c
551.81/78.03	c (68,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.03	c (68,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
551.81/78.03	c (68,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.03	c (68,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
551.81/78.03	c (68,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
551.81/78.03	c (68,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
551.81/78.03	c (68,0) c | Initial random_seed   |  637835855 |   71522305 |  885403704 | 2017724346 |  710621303 | 1151414907 |  337812756 |  632230317 |
551.81/78.03	c (68,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
551.81/78.03	c (68,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
551.81/78.03	c (68,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
551.81/78.03	c (68,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
551.81/78.03	c (68,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
551.81/78.03	c (68,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
551.81/78.03	c (68,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
551.81/78.03	c (68,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
551.81/78.03	c (68,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
551.81/78.03	c (68,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
551.81/78.03	c (68,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
551.81/78.03	c (68,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.81/78.03	c (68,0) 
551.81/78.03	c (68,0) s SATISFIABLE
551.81/78.07	c (68,0) SatSolver.solve End
551.81/78.07	c (68,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
551.81/78.07	c (68,0) Show results Begin
552.08/78.16	c (68,0) x[0] = 0
552.08/78.16	c (68,0) x[1] = 10
552.08/78.16	c (68,0) x[2] = 25
552.08/78.16	c (68,0) x[3] = 8
552.08/78.16	c (68,0) x[4] = 18
552.08/78.16	c (68,0) x[5] = 1
552.08/78.16	c (68,0) x[6] = 16
552.08/78.16	c (68,0) x[7] = 33
552.08/78.16	c (68,0) x[8] = 48
552.08/78.16	c (68,0) x[9] = 42
552.08/78.16	c (68,0) x[10] = 27
552.08/78.16	c (68,0) x[11] = 21
552.08/78.16	c (68,0) x[12] = 36
552.08/78.16	c (68,0) x[13] = 53
552.08/78.16	c (68,0) x[14] = 63
552.08/78.16	c (68,0) x[15] = 46
552.08/78.16	c (68,0) x[16] = 52
552.08/78.16	c (68,0) x[17] = 58
552.08/78.16	c (68,0) x[18] = 43
552.08/78.16	c (68,0) x[19] = 28
552.08/78.16	c (68,0) x[20] = 38
552.08/78.16	c (68,0) x[21] = 55
552.08/78.16	c (68,0) x[22] = 61
552.08/78.16	c (68,0) x[23] = 44
552.08/78.16	c (68,0) x[24] = 59
552.08/78.16	c (68,0) x[25] = 49
552.08/78.16	c (68,0) x[26] = 32
552.08/78.16	c (68,0) x[27] = 26
552.08/78.16	c (68,0) x[28] = 11
552.08/78.16	c (68,0) x[29] = 5
552.08/78.16	c (68,0) x[30] = 15
552.08/78.16	c (68,0) x[31] = 30
552.08/78.16	c (68,0) x[32] = 20
552.08/78.16	c (68,0) x[33] = 3
552.08/78.16	c (68,0) x[34] = 9
552.08/78.16	c (68,0) x[35] = 24
552.08/78.16	c (68,0) x[36] = 34
552.08/78.16	c (68,0) x[37] = 40
552.08/78.16	c (68,0) x[38] = 57
552.08/78.16	c (68,0) x[39] = 51
552.08/78.16	c (68,0) x[40] = 41
552.08/78.16	c (68,0) x[41] = 56
552.08/78.16	c (68,0) x[42] = 50
552.08/78.16	c (68,0) x[43] = 35
552.08/78.16	c (68,0) x[44] = 29
552.08/78.16	c (68,0) x[45] = 19
552.08/78.16	c (68,0) x[46] = 4
552.08/78.16	c (68,0) x[47] = 14
552.08/78.16	c (68,0) x[48] = 31
552.08/78.16	c (68,0) x[49] = 37
552.08/78.16	c (68,0) x[50] = 47
552.08/78.16	c (68,0) x[51] = 62
552.08/78.16	c (68,0) x[52] = 45
552.08/78.16	c (68,0) x[53] = 60
552.08/78.16	c (68,0) x[54] = 54
552.08/78.16	c (68,0) x[55] = 39
552.08/78.17	c (68,0) x[56] = 22
552.08/78.17	c (68,0) x[57] = 7
552.08/78.17	c (68,0) x[58] = 13
552.08/78.17	c (68,0) x[59] = 23
552.08/78.17	c (68,0) x[60] = 6
552.08/78.17	c (68,0) x[61] = 12
552.08/78.17	c (68,0) x[62] = 2
552.08/78.17	c (68,0) x[63] = 17
552.08/78.17	s SATISFIABLE
552.08/78.17	v <instantiation>
552.08/78.17	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>
552.08/78.17	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>
552.08/78.17	v </instantiation>
552.08/78.17	c (68,0) Show results End
552.08/78.17	c (68,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
552.08/78.17	c (68,0) 68,68,STOP-AFTER(ALL)
552.08/78.17	c END-Prog: Tue Sep 24 21:44:58 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 (12396 MiB free)
  memory of node 1: 16384 MiB (12414 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405252-1569354263/watcher-4405252-1569354263 -o /var/tmp/evaluation-result-4405252-1569354263/solver-4405252-1569354263 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569348526-31504 --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-4405252-1569354263.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 8.13 8.17 8.22 3/213 1218
/proc/meminfo: memFree=25312236/32770624 swapFree=66974444/67108860
[pid=1196] ppid=1193 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1196/stat : 1196 (scop.sh) S 1193 1196 31477 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511368151 115843072 350 33554432000 4194304 5098028 140729451380528 140729451377784 140340421837436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27136000 140729451385597 140729451385944 140729451385944 140729451388873 0
/proc/1196/statm: 28282 350 297 221 0 87 0
[pid=1199] ppid=1196 vsize=27314120 memory=105608 CPUtime=0.1 cores=0-7
/proc/1199/stat : 1199 (java) S 1196 1196 31477 0 -1 1077944320 6515 0 0 0 8 2 0 0 20 0 20 0 511368152 27969658880 26402 33554432000 4194304 4196468 140723439107040 140723439089584 140382112878327 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
/proc/1199/statm: 6828530 26402 2749 1 0 6790935 0
[pid=1199/tid=1200] ppid=1196 vsize=27314120 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/1199/task/1200/stat : 1200 (java) R 1196 1196 31477 0 -1 4202560 4653 0 0 0 7 1 0 0 20 0 20 0 511368152 27969658880 26467 33554432000 4194304 4196468 140723439107040 140382084704656 140382096958814 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1201] ppid=1196 vsize=27314120 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/1199/task/1201/stat : 1201 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 26467 33554432000 4194304 4196468 140723439107040 140382117120272 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1202] ppid=1196 vsize=27314120 memory=288370180155647616 CPUtime=0 cores=0-7
/proc/1199/task/1202/stat : 1202 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 26467 33554432000 4194304 4196468 140723439107040 140381534980496 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1203] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1203/stat : 1203 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 26467 33554432000 4194304 4196468 140723439107040 140381533927952 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1204] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1204/stat : 1204 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 26467 33554432000 4194304 4196468 140723439107040 140381532875408 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1205] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1205/stat : 1205 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 26467 33554432000 4194304 4196468 140723439107040 140381531822864 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1206] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1206/stat : 1206 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 26467 33554432000 4194304 4196468 140723439107040 140381530770320 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1207] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1207/stat : 1207 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 26467 33554432000 4194304 4196468 140723439107040 140381529717776 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1208] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1208/stat : 1208 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 26467 33554432000 4194304 4196468 140723439107040 140381528665232 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1209] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1209/stat : 1209 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511368156 27969658880 26467 33554432000 4194304 4196468 140723439107040 140380231837680 140382112889474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1210] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1210/stat : 1210 (java) S 1196 1196 31477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511368156 27969658880 26467 33554432000 4194304 4196468 140723439107040 140380066538400 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1211] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1211/stat : 1211 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368157 27969658880 26467 33554432000 4194304 4196468 140723439107040 140379798103024 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1212] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1212/stat : 1212 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 26467 33554432000 4194304 4196468 140723439107040 140379423594704 140382112896923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1213] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1213/stat : 1213 (java) S 1196 1196 31477 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 26467 33554432000 4194304 4196468 140723439107040 140380230785520 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1214] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1214/stat : 1214 (java) S 1196 1196 31477 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 26467 33554432000 4194304 4196468 140723439107040 140380229732976 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1215] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1215/stat : 1215 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 26467 33554432000 4194304 4196468 140723439107040 140380228680432 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1216] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1216/stat : 1216 (java) S 1196 1196 31477 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 26467 33554432000 4194304 4196468 140723439107040 140380227627888 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1217] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1217/stat : 1217 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 26467 33554432000 4194304 4196468 140723439107040 140378925689056 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1218] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1218/stat : 1218 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368160 27969658880 26467 33554432000 4194304 4196468 140723439107040 140380226574768 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107008 KiB

[startup+0.210567 s]*
/proc/loadavg: 8.13 8.17 8.22 3/213 1218
/proc/meminfo: memFree=25292448/32770624 swapFree=66974444/67108860
[pid=1196] ppid=1193 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1196/stat : 1196 (scop.sh) S 1193 1196 31477 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511368151 115843072 350 33554432000 4194304 5098028 140729451380528 140729451377784 140340421837436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27136000 140729451385597 140729451385944 140729451385944 140729451388873 0
/proc/1196/statm: 28282 350 297 221 0 87 0
[pid=1199] ppid=1196 vsize=27314120 memory=125252 CPUtime=0.24 cores=0-7
/proc/1199/stat : 1199 (java) S 1196 1196 31477 0 -1 1077944320 12214 0 0 0 20 4 0 0 20 0 20 0 511368152 27969658880 31313 33554432000 4194304 4196468 140723439107040 140723439089584 140382112878327 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
/proc/1199/statm: 6828530 31313 2926 1 0 6790935 0
[pid=1199/tid=1200] ppid=1196 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1199/task/1200/stat : 1200 (java) R 1196 1196 31477 0 -1 4202560 9883 0 0 0 16 3 0 0 20 0 20 0 511368152 27969658880 31313 33554432000 4194304 4196468 140723439107040 140382084677712 140382094441921 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1201] ppid=1196 vsize=27314120 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/1199/task/1201/stat : 1201 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 31313 33554432000 4194304 4196468 140723439107040 140382117120272 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1202] ppid=1196 vsize=27314120 memory=288370180155647616 CPUtime=0 cores=0-7
/proc/1199/task/1202/stat : 1202 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 31313 33554432000 4194304 4196468 140723439107040 140381534980496 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1203] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1203/stat : 1203 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 31313 33554432000 4194304 4196468 140723439107040 140381533927952 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1204] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1204/stat : 1204 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 31313 33554432000 4194304 4196468 140723439107040 140381532875408 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1205] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1205/stat : 1205 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 31313 33554432000 4194304 4196468 140723439107040 140381531822864 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1206] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1206/stat : 1206 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 31313 33554432000 4194304 4196468 140723439107040 140381530770320 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1207] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1207/stat : 1207 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 31313 33554432000 4194304 4196468 140723439107040 140381529717776 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1208] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1208/stat : 1208 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 31313 33554432000 4194304 4196468 140723439107040 140381528665232 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1209] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1209/stat : 1209 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511368156 27969658880 31313 33554432000 4194304 4196468 140723439107040 140380231837680 140382112889474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1210] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1210/stat : 1210 (java) S 1196 1196 31477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511368156 27969658880 31313 33554432000 4194304 4196468 140723439107040 140380066538400 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1211] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1211/stat : 1211 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368157 27969658880 31313 33554432000 4194304 4196468 140723439107040 140379798103024 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1212] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1212/stat : 1212 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 31313 33554432000 4194304 4196468 140723439107040 140379423594704 140382112896923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1213] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1213/stat : 1213 (java) S 1196 1196 31477 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 31313 33554432000 4194304 4196468 140723439107040 140380230785520 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1214] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1214/stat : 1214 (java) S 1196 1196 31477 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 31313 33554432000 4194304 4196468 140723439107040 140380229732976 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1215] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1215/stat : 1215 (java) S 1196 1196 31477 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 31313 33554432000 4194304 4196468 140723439107040 140380228680432 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1216] ppid=1196 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1199/task/1216/stat : 1216 (java) S 1196 1196 31477 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 20 0 511368159 27969658880 31313 33554432000 4194304 4196468 140723439107040 140380227627888 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1217] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1217/stat : 1217 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 31313 33554432000 4194304 4196468 140723439107040 140378925689056 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1218] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1218/stat : 1218 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368160 27969658880 31313 33554432000 4194304 4196468 140723439107040 140380226574768 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126652 KiB

[startup+0.310308 s]*
/proc/loadavg: 8.13 8.17 8.22 2/213 1218
/proc/meminfo: memFree=25289408/32770624 swapFree=66974444/67108860
[pid=1196] ppid=1193 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1196/stat : 1196 (scop.sh) S 1193 1196 31477 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511368151 115843072 350 33554432000 4194304 5098028 140729451380528 140729451377784 140340421837436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27136000 140729451385597 140729451385944 140729451385944 140729451388873 0
/proc/1196/statm: 28282 350 297 221 0 87 0
[pid=1199] ppid=1196 vsize=27314120 memory=128892 CPUtime=0.41 cores=0-7
/proc/1199/stat : 1199 (java) S 1196 1196 31477 0 -1 1077944320 12639 0 0 0 37 4 0 0 20 0 20 0 511368152 27969658880 32223 33554432000 4194304 4196468 140723439107040 140723439089584 140382112878327 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
/proc/1199/statm: 6828530 32223 2974 1 0 6790935 0
[pid=1199/tid=1200] ppid=1196 vsize=27314120 memory=0 CPUtime=0.29 cores=0-7
/proc/1199/task/1200/stat : 1200 (java) R 1196 1196 31477 0 -1 4202560 10076 0 0 0 26 3 0 0 20 0 20 0 511368152 27969658880 32223 33554432000 4194304 4196468 140723439107040 140382084708400 140382096958814 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1201] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1201/stat : 1201 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 32223 33554432000 4194304 4196468 140723439107040 140382117120272 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1202] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1202/stat : 1202 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 32223 33554432000 4194304 4196468 140723439107040 140381534980496 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1203] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1203/stat : 1203 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 32223 33554432000 4194304 4196468 140723439107040 140381533927952 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1204] ppid=1196 vsize=27314120 memory=5123895985324 CPUtime=0 cores=0-7
/proc/1199/task/1204/stat : 1204 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 32223 33554432000 4194304 4196468 140723439107040 140381532875408 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1205] ppid=1196 vsize=27314120 memory=4026532018 CPUtime=0 cores=0-7
/proc/1199/task/1205/stat : 1205 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 32223 33554432000 4194304 4196468 140723439107040 140381531822864 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1206] ppid=1196 vsize=27314120 memory=302304336363651095 CPUtime=0 cores=0-7
/proc/1199/task/1206/stat : 1206 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 32223 33554432000 4194304 4196468 140723439107040 140381530770320 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1207] ppid=1196 vsize=27314120 memory=3832899979085873183 CPUtime=0 cores=0-7
/proc/1199/task/1207/stat : 1207 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 32223 33554432000 4194304 4196468 140723439107040 140381529717776 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1208] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1208/stat : 1208 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27969658880 32223 33554432000 4194304 4196468 140723439107040 140381528665232 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1209] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1209/stat : 1209 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511368156 27969658880 32223 33554432000 4194304 4196468 140723439107040 140380231837680 140382112889474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1210] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1210/stat : 1210 (java) S 1196 1196 31477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511368156 27969658880 32223 33554432000 4194304 4196468 140723439107040 140380066538400 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1211] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1211/stat : 1211 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368157 27969658880 32223 33554432000 4194304 4196468 140723439107040 140379798103024 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1212] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1212/stat : 1212 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 32223 33554432000 4194304 4196468 140723439107040 140379423594704 140382112896923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1213] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1213/stat : 1213 (java) S 1196 1196 31477 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 32223 33554432000 4194304 4196468 140723439107040 140380230785520 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1214] ppid=1196 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1199/task/1214/stat : 1214 (java) R 1196 1196 31477 0 -1 4202560 387 0 0 0 2 0 0 0 20 0 20 0 511368159 27969658880 32223 33554432000 4194304 4196468 140723439107040 140380229732976 140382098893880 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1215] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1215/stat : 1215 (java) S 1196 1196 31477 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 32223 33554432000 4194304 4196468 140723439107040 140380228680432 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1216] ppid=1196 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/1199/task/1216/stat : 1216 (java) S 1196 1196 31477 0 -1 1077944384 603 0 0 0 7 0 0 0 20 0 20 0 511368159 27969658880 32223 33554432000 4194304 4196468 140723439107040 140380227627888 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1217] ppid=1196 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1217/stat : 1217 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511368159 27969658880 32223 33554432000 4194304 4196468 140723439107040 140378925689056 140382112888533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1218] ppid=1196 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1199/task/1218/stat : 1218 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368160 27969658880 32223 33554432000 4194304 4196468 140723439107040 140380226574768 140382112889474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130292 KiB

[startup+0.700986 s]
/proc/loadavg: 8.13 8.17 8.22 3/213 1218
/proc/meminfo: memFree=25268200/32770624 swapFree=66974444/67108860
[pid=1196] ppid=1193 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1196/stat : 1196 (scop.sh) S 1193 1196 31477 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511368151 115843072 350 33554432000 4194304 5098028 140729451380528 140729451377784 140340421837436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27136000 140729451385597 140729451385944 140729451385944 140729451388873 0
/proc/1196/statm: 28282 350 297 221 0 87 0
[pid=1199] ppid=1196 vsize=27322440 memory=164380 CPUtime=0.98 cores=0-7
/proc/1199/stat : 1199 (java) S 1196 1196 31477 0 -1 1077944320 20177 0 0 0 91 7 0 0 20 0 20 0 511368152 27978178560 41095 33554432000 4194304 4196468 140723439107040 140723439089584 140382112878327 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
/proc/1199/statm: 6830610 41095 3181 1 0 6791959 0
[pid=1199/tid=1200] ppid=1196 vsize=27322440 memory=4580 CPUtime=0.68 cores=0-7
/proc/1199/task/1200/stat : 1200 (java) R 1196 1196 31477 0 -1 4202560 17078 0 0 0 62 6 0 0 20 0 20 0 511368152 27978178560 41095 33554432000 4194304 4196468 140723439107040 140382084714240 140382096958814 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1201] ppid=1196 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1201/stat : 1201 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27978178560 41095 33554432000 4194304 4196468 140723439107040 140382117120272 140382112888533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1202] ppid=1196 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/1199/task/1202/stat : 1202 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27978178560 41095 33554432000 4194304 4196468 140723439107040 140381534980496 140382112888533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0
[pid=1199/tid=1203] ppid=1196 vsize=27322440 memory=1200 CPUtime=0 cores=0-7
/proc/1199/task/1203/stat : 1203 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511368154 27978178560 41095 33554432000 4194304 4196468 140723439107040 140381533927952 140382112888533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11632640 140723439112904 140723439113350 140723439113350 140723439116239 0

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

/proc/1220/task/1225/stat : 1225 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511369084 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030578247952 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1226] ppid=1196 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/1220/task/1226/stat : 1226 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511369085 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030577196176 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1227] ppid=1196 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/1220/task/1227/stat : 1227 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511369085 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030576143376 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1228] ppid=1196 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/1220/task/1228/stat : 1228 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511369085 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030575090576 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1229] ppid=1196 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/1220/task/1229/stat : 1229 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511369085 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030574037776 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1230] ppid=1196 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/1220/task/1230/stat : 1230 (java) S 1196 1196 31477 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511369086 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030456772976 140031094983298 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1231] ppid=1196 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/1220/task/1231/stat : 1231 (java) S 1196 1196 31477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511369086 8616062976 29955 33554432000 4194304 4196468 140734618091472 140029556941856 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1232] ppid=1196 vsize=8414124 memory=1200 CPUtime=0 cores=0-7
/proc/1220/task/1232/stat : 1232 (java) S 1196 1196 31477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511369087 8616062976 29955 33554432000 4194304 4196468 140734618091472 140029422719856 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1233] ppid=1196 vsize=8414124 memory=6140 CPUtime=0 cores=0-7
/proc/1220/task/1233/stat : 1233 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140029048215376 140031094990747 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1234] ppid=1196 vsize=8414124 memory=14012 CPUtime=0.06 cores=0-7
/proc/1220/task/1234/stat : 1234 (java) S 1196 1196 31477 0 -1 1077944384 589 0 0 0 6 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030455720816 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1235] ppid=1196 vsize=8414124 memory=25144 CPUtime=0.08 cores=0-7
/proc/1220/task/1235/stat : 1235 (java) S 1196 1196 31477 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030454668016 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1236] ppid=1196 vsize=8414124 memory=12024 CPUtime=0.11 cores=0-7
/proc/1220/task/1236/stat : 1236 (java) S 1196 1196 31477 0 -1 1077944384 468 0 0 0 11 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030453615216 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1237] ppid=1196 vsize=8414124 memory=2120 CPUtime=0.22 cores=0-7
/proc/1220/task/1237/stat : 1237 (java) S 1196 1196 31477 0 -1 1077944384 772 0 0 0 22 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030452562416 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1238] ppid=1196 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/1220/task/1238/stat : 1238 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140028550310496 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1239] ppid=1196 vsize=8414124 memory=3532 CPUtime=0.03 cores=0-7
/proc/1220/task/1239/stat : 1239 (java) S 1196 1196 31477 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030451509808 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1241] ppid=1196 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1220/task/1241/stat : 1241 (java) S 1196 1196 31477 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511369158 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030443476032 140031094996761 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1243] ppid=1196 vsize=8414124 memory=119820 CPUtime=0 cores=0-7
/proc/1220/task/1243/stat : 1243 (java) S 1196 1196 31477 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511369159 8616062976 29955 33554432000 4194304 4196468 140734618091472 140027879211184 140031094994077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1244] ppid=1196 vsize=8414124 memory=448772 CPUtime=0 cores=0-7
/proc/1220/task/1244/stat : 1244 (java) S 1196 1196 31477 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511369159 8616062976 29955 33554432000 4194304 4196468 140734618091472 140028147646512 140031094994077 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1245] ppid=1196 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/1220/task/1245/stat : 1245 (java) S 1196 1196 31477 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 511369161 8616062976 29955 33554432000 4194304 4196468 140734618091472 140027610783280 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
Current children cumulated CPU time: 551.13 s
Current children cumulated vsize: 9253836 KiB
Current children cumulated memory: 570068 KiB

[startup+78.0012 s]*
/proc/loadavg: 8.16 8.07 8.18 2/218 1256
/proc/meminfo: memFree=24852744/32770624 swapFree=66974444/67108860
[pid=1196] ppid=1193 vsize=113128 memory=1476 CPUtime=19.52 cores=0-7
/proc/1196/stat : 1196 (scop.sh) S 1193 1196 31477 0 -1 4202496 581 38772 0 0 0 0 1886 66 20 0 1 0 511368151 115843072 369 33554432000 4194304 5098028 140729451380528 140729451377272 140340421837436 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27136000 140729451385597 140729451385944 140729451385944 140729451388873 0
/proc/1196/statm: 28282 369 311 221 0 87 0
[pid=1220] ppid=1196 vsize=8414124 memory=119820 CPUtime=1.35 cores=0-7
/proc/1220/stat : 1220 (java) S 1196 1196 31477 0 -1 1077944320 21082 0 0 0 128 7 0 0 20 0 24 0 511369083 8616062976 29955 33554432000 4194304 4196468 140734618091472 140734618074016 140031094972151 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
/proc/1220/statm: 2103531 29955 3204 1 0 2064875 0
[pid=1240] ppid=1220 vsize=726584 memory=448880 CPUtime=530.94 cores=0-7
/proc/1240/stat : 1240 (manyglucose-4.1) S 1220 1196 31477 0 -1 1077944320 264506 0 0 0 53038 56 0 0 20 0 2 0 511369158 744022016 112220 33554432000 4194304 4454172 140722911219216 140722911217600 139809126403831 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 11829248 140722911220558 140722911220764 140722911220764 140722911223734 0
/proc/1240/statm: 181646 112220 422 64 0 177314 0
[pid=1240/tid=1248] ppid=1220 vsize=726584 memory=4136 CPUtime=67.23 cores=0-7
/proc/1240/task/1248/stat : 1248 (manyglucose-4.1) R 1220 1196 31477 0 -1 4202560 29440 0 0 0 6719 4 0 0 20 0 2 0 511369184 744022016 112220 33554432000 4194304 4454172 140722911219216 139809080609928 4350902 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 11829248 140722911220558 140722911220764 140722911220764 140722911223734 0
[pid=1220/tid=1221] ppid=1196 vsize=8414124 memory=1398720917958146503 CPUtime=0.78 cores=0-7
/proc/1220/task/1221/stat : 1221 (java) S 1196 1196 31477 0 -1 1077944384 17389 0 0 0 73 5 0 0 20 0 24 0 511369083 8616062976 29955 33554432000 4194304 4196468 140734618091472 140031066812320 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1222] ppid=1196 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1220/task/1222/stat : 1222 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511369084 8616062976 29955 33554432000 4194304 4196468 140734618091472 140031099214480 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1223] ppid=1196 vsize=8414124 memory=119308 CPUtime=0 cores=0-7
/proc/1220/task/1223/stat : 1223 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511369084 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030580353552 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1224] ppid=1196 vsize=8414124 memory=443668 CPUtime=0 cores=0-7
/proc/1220/task/1224/stat : 1224 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511369084 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030579300752 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1225] ppid=1196 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1220/task/1225/stat : 1225 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511369084 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030578247952 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1226] ppid=1196 vsize=8414124 memory=119308 CPUtime=0 cores=0-7
/proc/1220/task/1226/stat : 1226 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511369085 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030577196176 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1227] ppid=1196 vsize=8414124 memory=443668 CPUtime=0 cores=0-7
/proc/1220/task/1227/stat : 1227 (java) S 1196 1196 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511369085 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030576143376 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1228] ppid=1196 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/1220/task/1228/stat : 1228 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511369085 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030575090576 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1229] ppid=1196 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/1220/task/1229/stat : 1229 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511369085 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030574037776 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1230] ppid=1196 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/1220/task/1230/stat : 1230 (java) S 1196 1196 31477 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511369086 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030456772976 140031094983298 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1231] ppid=1196 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/1220/task/1231/stat : 1231 (java) S 1196 1196 31477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511369086 8616062976 29955 33554432000 4194304 4196468 140734618091472 140029556941856 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1232] ppid=1196 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/1220/task/1232/stat : 1232 (java) S 1196 1196 31477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511369087 8616062976 29955 33554432000 4194304 4196468 140734618091472 140029422719856 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1233] ppid=1196 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/1220/task/1233/stat : 1233 (java) S 1196 1196 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140029048215376 140031094990747 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1234] ppid=1196 vsize=8414124 memory=1716 CPUtime=0.06 cores=0-7
/proc/1220/task/1234/stat : 1234 (java) S 1196 1196 31477 0 -1 1077944384 589 0 0 0 6 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030455720816 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1235] ppid=1196 vsize=8414124 memory=1200 CPUtime=0.08 cores=0-7
/proc/1220/task/1235/stat : 1235 (java) S 1196 1196 31477 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030454668016 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1236] ppid=1196 vsize=8414124 memory=6140 CPUtime=0.11 cores=0-7
/proc/1220/task/1236/stat : 1236 (java) S 1196 1196 31477 0 -1 1077944384 468 0 0 0 11 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030453615216 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1237] ppid=1196 vsize=8414124 memory=2424 CPUtime=0.22 cores=0-7
/proc/1220/task/1237/stat : 1237 (java) S 1196 1196 31477 0 -1 1077944384 772 0 0 0 22 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030452562416 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1238] ppid=1196 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/1220/task/1238/stat : 1238 (java) S 1196 1196 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140028550310496 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1239] ppid=1196 vsize=8414124 memory=111636 CPUtime=0.03 cores=0-7
/proc/1220/task/1239/stat : 1239 (java) S 1196 1196 31477 0 -1 1077944384 7 0 0 0 0 3 0 0 20 0 24 0 511369089 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030451509808 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1241] ppid=1196 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/1220/task/1241/stat : 1241 (java) S 1196 1196 31477 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511369158 8616062976 29955 33554432000 4194304 4196468 140734618091472 140030443476032 140031094996761 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1243] ppid=1196 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/1220/task/1243/stat : 1243 (java) S 1196 1196 31477 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511369159 8616062976 29955 33554432000 4194304 4196468 140734618091472 140027879211184 140031094994077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1244] ppid=1196 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/1220/task/1244/stat : 1244 (java) S 1196 1196 31477 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511369159 8616062976 29955 33554432000 4194304 4196468 140734618091472 140028147646512 140031094994077 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1245] ppid=1196 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/1220/task/1245/stat : 1245 (java) S 1196 1196 31477 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 511369161 8616062976 29955 33554432000 4194304 4196468 140734618091472 140027610783280 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
Current children cumulated CPU time: 551.81 s
Current children cumulated vsize: 9253836 KiB
Current children cumulated memory: 570176 KiB

[startup+78.111 s]
/proc/loadavg: 8.16 8.07 8.18 2/218 1256
/proc/meminfo: memFree=24852744/32770624 swapFree=66974444/67108860
[pid=1196] ppid=1193 vsize=113128 memory=1476 CPUtime=19.52 cores=0-7
/proc/1196/stat : 1196 (scop.sh) S 1193 1196 31477 0 -1 4202496 581 38772 0 0 0 0 1886 66 20 0 1 0 511368151 115843072 369 33554432000 4194304 5098028 140729451380528 140729451377272 140340421837436 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27136000 140729451385597 140729451385944 140729451385944 140729451388873 0
/proc/1196/statm: 28282 369 311 221 0 87 0
[pid=1220] ppid=1196 vsize=8283048 memory=129628 CPUtime=532.56 cores=0-7
/proc/1220/stat : 1220 (java) S 1196 1196 31477 0 -1 1077944320 21909 264517 0 0 150 8 53040 58 20 0 22 0 511369083 8481841152 32407 33554432000 4194304 4196468 140734618091472 140734618074016 140031094972151 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
/proc/1220/statm: 2070762 32407 3228 1 0 2032106 0
[pid=1220/tid=1221] ppid=1196 vsize=8283048 memory=1476 CPUtime=531.8 cores=0-7
/proc/1220/task/1221/stat : 1221 (java) R 1196 1196 31477 0 -1 4202560 17520 264517 0 0 77 5 53040 58 20 0 22 0 511369083 8481841152 32407 33554432000 4194304 4196468 140734618091472 140031066809984 140031094984086 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1222] ppid=1196 vsize=8283048 memory=119820 CPUtime=530.98 cores=0-7
/proc/1220/task/1222/stat : 1222 (java) S 1196 1196 31477 0 -1 1077944384 1 264517 0 0 0 0 53040 58 20 0 22 0 511369084 8481841152 32407 33554432000 4194304 4196468 140734618091472 140031099214480 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1223] ppid=1196 vsize=8283048 memory=1476 CPUtime=530.98 cores=0-7
/proc/1220/task/1223/stat : 1223 (java) S 1196 1196 31477 0 -1 1077944384 2 264517 0 0 0 0 53040 58 20 0 22 0 511369084 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030580353552 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1224] ppid=1196 vsize=8283048 memory=279607740966576 CPUtime=530.98 cores=0-7
/proc/1220/task/1224/stat : 1224 (java) S 1196 1196 31477 0 -1 1077944384 1 264517 0 0 0 0 53040 58 20 0 22 0 511369084 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030579300752 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1225] ppid=1196 vsize=8283048 memory=55 CPUtime=530.98 cores=0-7
/proc/1220/task/1225/stat : 1225 (java) S 1196 1196 31477 0 -1 1077944384 1 264517 0 0 0 0 53040 58 20 0 22 0 511369084 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030578247952 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1226] ppid=1196 vsize=8283048 memory=139803870719096 CPUtime=530.98 cores=0-7
/proc/1220/task/1226/stat : 1226 (java) S 1196 1196 31477 0 -1 1077944384 2 264517 0 0 0 0 53040 58 20 0 22 0 511369085 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030577196176 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1227] ppid=1196 vsize=8283048 memory=7588963856675596644 CPUtime=530.98 cores=0-7
/proc/1220/task/1227/stat : 1227 (java) S 1196 1196 31477 0 -1 1077944384 2 264517 0 0 0 0 53040 58 20 0 22 0 511369085 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030576143376 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1228] ppid=1196 vsize=8283048 memory=1476 CPUtime=530.98 cores=0-7
/proc/1220/task/1228/stat : 1228 (java) S 1196 1196 31477 0 -1 1077944384 3 264517 0 0 0 0 53040 58 20 0 22 0 511369085 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030575090576 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1229] ppid=1196 vsize=8283048 memory=119308 CPUtime=530.98 cores=0-7
/proc/1220/task/1229/stat : 1229 (java) S 1196 1196 31477 0 -1 1077944384 1 264517 0 0 0 0 53040 58 20 0 22 0 511369085 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030574037776 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1230] ppid=1196 vsize=8283048 memory=0 CPUtime=530.98 cores=0-7
/proc/1220/task/1230/stat : 1230 (java) S 1196 1196 31477 0 -1 1077944384 7 264517 0 0 0 0 53040 58 20 0 22 0 511369086 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030456772976 140031094983298 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1231] ppid=1196 vsize=8283048 memory=0 CPUtime=530.98 cores=0-7
/proc/1220/task/1231/stat : 1231 (java) S 1196 1196 31477 0 -1 1077944384 13 264517 0 0 0 0 53040 58 20 0 22 0 511369086 8481841152 32407 33554432000 4194304 4196468 140734618091472 140029556941856 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1232] ppid=1196 vsize=8283048 memory=119820 CPUtime=530.98 cores=0-7
/proc/1220/task/1232/stat : 1232 (java) S 1196 1196 31477 0 -1 1077944384 21 264517 0 0 0 0 53040 58 20 0 22 0 511369087 8481841152 32407 33554432000 4194304 4196468 140734618091472 140029422719856 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1233] ppid=1196 vsize=8283048 memory=450744 CPUtime=530.98 cores=0-7
/proc/1220/task/1233/stat : 1233 (java) S 1196 1196 31477 0 -1 1077944384 1 264517 0 0 0 0 53040 58 20 0 22 0 511369089 8481841152 32407 33554432000 4194304 4196468 140734618091472 140029048215376 140031094990747 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1234] ppid=1196 vsize=8283048 memory=359744 CPUtime=531.08 cores=0-7
/proc/1220/task/1234/stat : 1234 (java) S 1196 1196 31477 0 -1 1077944384 890 264517 0 0 10 0 53040 58 20 0 22 0 511369089 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030455720816 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1235] ppid=1196 vsize=8283048 memory=6363698854908685364 CPUtime=531.08 cores=0-7
/proc/1220/task/1235/stat : 1235 (java) S 1196 1196 31477 0 -1 1077944384 330 264517 0 0 10 0 53040 58 20 0 22 0 511369089 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030454668016 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1236] ppid=1196 vsize=8283048 memory=279607740001968 CPUtime=531.12 cores=0-7
/proc/1220/task/1236/stat : 1236 (java) R 1196 1196 31477 0 -1 4202560 480 264517 0 0 14 0 53040 58 20 0 22 0 511369089 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030453593744 140031076492203 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1237] ppid=1196 vsize=8283048 memory=6656426216303648864 CPUtime=531.26 cores=0-7
/proc/1220/task/1237/stat : 1237 (java) R 1196 1196 31477 0 -1 4202560 1080 264517 0 0 28 0 53040 58 20 0 22 0 511369089 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030452562416 140031094984086 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1238] ppid=1196 vsize=8283048 memory=450744 CPUtime=530.98 cores=0-7
/proc/1220/task/1238/stat : 1238 (java) S 1196 1196 31477 0 -1 1077944384 3 264517 0 0 0 0 53040 58 20 0 22 0 511369089 8481841152 32407 33554432000 4194304 4196468 140734618091472 140028550310496 140031094982357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1239] ppid=1196 vsize=8283048 memory=1476 CPUtime=531.01 cores=0-7
/proc/1220/task/1239/stat : 1239 (java) S 1196 1196 31477 0 -1 1077944384 7 264517 0 0 0 3 53040 58 20 0 22 0 511369089 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030451509808 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1241] ppid=1196 vsize=8283048 memory=119820 CPUtime=530.98 cores=0-7
/proc/1220/task/1241/stat : 1241 (java) S 1196 1196 31477 0 -1 1077944384 24 264517 0 0 0 0 53040 58 20 0 22 0 511369158 8481841152 32407 33554432000 4194304 4196468 140734618091472 140030443475216 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
[pid=1220/tid=1245] ppid=1196 vsize=8283048 memory=119820 CPUtime=530.98 cores=0-7
/proc/1220/task/1245/stat : 1245 (java) S 1196 1196 31477 0 -1 1077944384 138 264517 0 0 0 0 53040 58 20 0 22 0 511369161 8481841152 32407 33554432000 4194304 4196468 140734618091472 140027610785072 140031094983298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15077376 140734618096608 140734618096774 140734618096774 140734618099663 0
Current children cumulated CPU time: 552.08 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 131104 KiB

Child status: 0
Real time (s): 78.186
CPU time (s): 552.241
CPU user time (s): 550.882
CPU system time (s): 1.35865
CPU usage (%): 706.317
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 3111884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 550.882
system time used= 1.35865
maximum resident set size= 3117868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15960
involuntary context switches= 5737


# summary of solver processes directly reported to runsolver:
#   pid: 1196
#   total CPU time (s): 552.241
#   total CPU user time (s): 550.882
#   total CPU system time (s): 1.35865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.742825 second user time and 1.08109 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-24 21:43:40
IDJOB=4405252
IDBENCH=134620
IDSOLVER=2867
FILE ID=node117/4405252-1569354263
RUNJOBID= node117-1569348526-31504
PBS_JOBID= 21705082
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405252-1569354263/watcher-4405252-1569354263 -o /var/tmp/evaluation-result-4405252-1569354263/solver-4405252-1569354263 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569348526-31504 --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-4405252-1569354263.xml

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

MD5SUM BENCH= 8a5157f08f2f2e597251b23721b8eb7d
RANDOM SEED=2007989673

node117.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.75
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.75
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.75
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.75
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:        25407092 kB
MemAvailable:   31821924 kB
Buffers:          123372 kB
Cached:          6344424 kB
SwapCached:        27816 kB
Active:          3207788 kB
Inactive:        3293796 kB
Active(anon):       3504 kB
Inactive(anon):    81144 kB
Active(file):    3204284 kB
Inactive(file):  3212652 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66974444 kB
Dirty:             20628 kB
Writeback:             0 kB
AnonPages:        131316 kB
Mapped:            54480 kB
Shmem:             42780 kB
Slab:             454696 kB
SReclaimable:     426356 kB
SUnreclaim:        28340 kB
KernelStack:        3920 kB
PageTables:         5580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node117 at 2019-09-24 21:44:58