Trace number 4392368

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 196.617 42.1251

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-06.xml
MD5SUM6b3d88799df56964f86d557249875b85
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark56.1836
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains64
Minimum domain size440
Maximum domain size538
Distribution of domain sizes[{"size":440,"count":2},{"size":441,"count":2},{"size":442,"count":2},{"size":444,"count":2},{"size":445,"count":4},{"size":447,"count":2},{"size":448,"count":4},{"size":449,"count":4},{"size":450,"count":2},{"size":452,"count":2},{"size":455,"count":4},{"size":457,"count":4},{"size":459,"count":2},{"size":461,"count":2},{"size":462,"count":2},{"size":464,"count":4},{"size":466,"count":2},{"size":467,"count":2},{"size":470,"count":4},{"size":472,"count":8},{"size":474,"count":2},{"size":475,"count":2},{"size":477,"count":2},{"size":480,"count":6},{"size":483,"count":2},"...",{"size":505,"count":2}, {"size":506,"count":2}, {"size":508,"count":10}, {"size":509,"count":2}, {"size":511,"count":2}, {"size":512,"count":2}, {"size":513,"count":6}, {"size":514,"count":2}, {"size":515,"count":2}, {"size":516,"count":2}, {"size":517,"count":4}, {"size":518,"count":4}, {"size":519,"count":4}, {"size":520,"count":2}, {"size":521,"count":2}, {"size":522,"count":4}, {"size":523,"count":4}, {"size":524,"count":2}, {"size":526,"count":4}, {"size":528,"count":2}, {"size":529,"count":4}, {"size":530,"count":8}, {"size":531,"count":4}, {"size":534,"count":2}, {"size":538,"count":4}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
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-27792-serial-file.bin HOME/instance-4392368-1568441921.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 08:18:02 CEST 2019
0.65/0.57	c PID: 27795
0.65/0.57	c IP: 172.20.3.127
0.65/0.57	c HOST: node127.alineos.net
0.65/0.57	c (0,0) Parsing Begin
4.42/1.56	c (1,1) Parsing End
4.42/1.57	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
4.42/1.57	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.42/1.57	c (1,1) Constraint Name Generate Begin
4.84/1.60	c (1,1) Ctr:HOME/instance-4392368-1568441921.xml,Add:Le:Ne:Num:Or:Var
4.84/1.60	c (1,1) Constraint Name Generate End
4.84/1.60	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.84/1.60	c (1,1) CSP to CSPinCNF Begin
5.30/1.82	c (1,1) translated 280 (10%) constraints
5.30/1.87	c (1,1) translated 560 (20%) constraints
5.62/1.90	c (1,1) translated 840 (30%) constraints
5.62/1.93	c (1,1) translated 1120 (40%) constraints
5.62/1.95	c (1,1) translated 1400 (50%) constraints
5.62/1.98	c (1,1) translated 1680 (60%) constraints
5.62/2.00	c (1,1) translated 1960 (70%) constraints
6.05/2.02	c (1,1) translated 2240 (80%) constraints
6.05/2.04	c (1,1) translated 2520 (90%) constraints
6.05/2.06	c (1,1) translated 2800 (100%) constraints
6.05/2.06	c (1,1) ===========================================
6.05/2.06	c (1,1) Order
6.05/2.06	c (1,1) ===========================================
6.05/2.08	c (1,1) translated 280 (10%) constraints
6.05/2.10	c (1,1) translated 560 (20%) constraints
6.46/2.11	c (1,1) translated 840 (30%) constraints
6.46/2.12	c (1,1) translated 1120 (40%) constraints
6.46/2.14	c (1,1) translated 1400 (50%) constraints
6.46/2.15	c (1,1) translated 1680 (60%) constraints
6.46/2.16	c (1,1) translated 1960 (70%) constraints
6.46/2.17	c (1,1) translated 2240 (80%) constraints
6.46/2.19	c (1,1) translated 2520 (90%) constraints
6.82/2.20	c (1,1) translated 2800 (100%) constraints
6.82/2.20	c (1,1) CSP to CSPinCNF End
6.82/2.21	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
6.82/2.21	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.82/2.21	c (1,1) CSPinCNF Propagation Begin
6.82/2.27	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.82/2.27	c (1,1) CSPinCNF Propagation End
6.82/2.27	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
6.82/2.27	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.82/2.27	c (1,1) Simplify CSPinCNF Begin
7.62/2.45	c (1,1) Simplify CSPinCNF End
7.62/2.46	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 538
7.62/2.46	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.62/2.46	c (1,1) Calculate Precise Domain Begin
7.62/2.46	c (1,1) 0 values are removed by re-calculation
7.62/2.46	c (1,1) Calculate Precise Domain End
7.62/2.46	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 538
7.62/2.46	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.62/2.46	c (1,1) CSPinCNF to SatSolver Begin
11.10/3.95	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 350597 SAT clauses)
12.15/4.97	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 602843 SAT clauses)
13.22/5.98	c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 853595 SAT clauses)
14.23/6.98	c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1103069 SAT clauses)
15.24/7.99	c (7,7) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1355459 SAT clauses)
16.41/9.01	c (8,8) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1608144 SAT clauses)
17.34/9.88	c (9,9) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1857511 SAT clauses)
18.30/10.74	c (10,10) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2105987 SAT clauses)
19.21/11.62	c (11,11) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2357105 SAT clauses)
20.21/12.52	c (11,11) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2617437 SAT clauses)
20.21/12.52	c (11,11) CSPinCNF to SatSolver End
20.21/12.52	c (11,11) Heap : 4124 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.21/12.52	c (11,11) 103984 bool, 2617904 clause
20.21/12.52	c (11,11) Export Begin
20.37/12.62	c (12,12) Export to HOME/scop-27792-serial-file.bin
20.37/12.62	c (12,12) Export End
20.37/12.62	c (12,12) Export File Size: 0.03 MB
20.37/12.62	c (12,12) 1,1,1,1,1,1,11,STOP-AFTER(DIMACS)
20.37/12.62	c END-Prog: Sat Sep 14 08:18:14 CEST 2019
20.37/12.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-27792-serial-file.bin
21.05/13.13	c (0,0) Read Serial File Begin
21.05/13.13	c (0,0) HOME/scop-27792-serial-file.bin
21.32/13.34	c (0,0) Read Serial File End
21.32/13.36	
21.32/13.36	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.32/13.36	(Solving Process)
21.32/13.36	
21.32/13.38	c BEGIN-Prog: Sat Sep 14 08:18:15 CEST 2019
21.32/13.38	c PID: 27816
21.32/13.38	c IP: 172.20.3.127
21.32/13.38	c HOST: node127.alineos.net
21.32/13.38	c (0,0) SatSolver.solve Begin
21.32/13.38	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392368-1568441921.xml-scop-27795.cnf
21.60/13.41	c (0,0) c
21.60/13.41	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)
21.60/13.41	c (0,0) c
21.60/13.41	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.60/13.41	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.60/13.41	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.60/13.41	c (0,0) c |                                                                                                       |
22.62/14.33	c (1,0) c |  Number of variables:        103984                                                                   |
22.62/14.33	c (1,0) c |  Number of clauses:         2617904                                                                   |
22.62/14.33	c (1,0) c |  Parse time:                   0.83 s                                                                 |
22.62/14.33	c (1,0) c |                                                                                                       |
27.92/19.63	c (6,0) c |  Simplification time:          5.22 s                                                                 |
27.92/19.63	c (6,0) c |                                                                                                       |
27.92/19.63	c (6,0) c |  Generating clones                                                                                    |
28.62/20.32	c (7,0) c |  all clones generated. Memory =  1585.61Mb.                                                           |
28.62/20.32	c (7,0) c ========================================================================================================|
28.62/20.32	c (7,0) c
28.62/20.32	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
28.62/20.32	c (7,0) c
28.62/20.32	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
28.62/20.32	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
28.62/20.32	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
28.62/20.32	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
28.62/20.32	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
28.62/20.32	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
28.62/20.32	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
28.62/20.32	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
28.62/20.32	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
28.62/20.32	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
28.62/20.32	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
28.62/20.32	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
28.62/20.32	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
28.62/20.32	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
28.62/20.32	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
28.62/20.32	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
28.62/20.32	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
28.62/20.32	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
28.62/20.32	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.02	c (28,0) c
196.39/42.02	c (28,0) c real time : 28.6093 s
196.39/42.02	c (28,0) c cpu time  : 172.34 s
196.39/42.02	c (28,0) c
196.39/42.02	c (28,0) c
196.39/42.02	c (28,0) c
196.39/42.02	c (28,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
196.39/42.02	c (28,0) c
196.39/42.02	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.02	c (28,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
196.39/42.02	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.02	c (28,0) c | Conflicts     |          268409 |      33292 |      34255 |      34063 |      33470 |      34357 |      32317 |      33023 |      33632 |
196.39/42.02	c (28,0) c | Decisions     |          372277 |      45439 |      53166 |      46144 |      45582 |      46926 |      44469 |      44881 |      45670 |
196.39/42.02	c (28,0) c | Propagations  |       359344687 |   44544823 |   44017242 |   46540143 |   44815519 |   44070039 |   45217685 |   44763791 |   45375445 |
196.39/42.02	c (28,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
196.39/42.02	c (28,0) c | SimpDBs       |              15 |          2 |          2 |          1 |          2 |          2 |          2 |          2 |          2 |
196.39/42.02	c (28,0) c | Restarts      |             337 |         37 |         63 |         40 |         18 |         64 |         20 |         34 |         61 |
196.39/42.02	c (28,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
196.39/42.02	c (28,0) c | PropBinClauses|       383319826 |   47738568 |   46970540 |   49570187 |   47735786 |   46901628 |   48085062 |   47817950 |   48500105 |
196.39/42.02	c (28,0) c | PropPreBlocker|      4689414510 |  579226902 |  580120436 |  594911744 |  589984015 |  579073319 |  593377180 |  585482355 |  587238559 |
196.39/42.02	c (28,0) c | PropNotBlocker|      1292983479 |  162995987 |  156472707 |  166351515 |  154579345 |  163525535 |  156517382 |  160250853 |  172290155 |
196.39/42.02	c (28,0) c | LitFullScans  |      6893612473 |  858078311 |  849478040 |  870072301 |  858059241 |  858053466 |  864087253 |  859681905 |  876101956 |
196.39/42.02	c (28,0) c | LitScanFracts |          508940 |      72042 |      56242 |      59814 |      51775 |      47520 |      65635 |      67541 |      88371 |
196.39/42.02	c (28,0) c | DecisionLevel0|             367 |         38 |         73 |         40 |         21 |         67 |         21 |         44 |         63 |
196.39/42.02	c (28,0) c | Periods       |            1148 |        143 |        141 |        145 |        143 |        143 |        144 |        143 |        146 |
196.39/42.02	c (28,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
196.39/42.02	c (28,0) c | Avg_Trail     |                 |       8753 |       8137 |       8098 |       8577 |       7896 |       9235 |       7869 |       8029 |
196.39/42.02	c (28,0) c | Avg_DL        |                 |         16 |         15 |         13 |         14 |         12 |         17 |         13 |         13 |
196.39/42.02	c (28,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
196.39/42.02	c (28,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
196.39/42.02	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.02	c (28,0) c | Exported      |           52776 |       6099 |       6511 |       6902 |       6722 |       6481 |       6712 |       6527 |       6822 |
196.39/42.02	c (28,0) c | Imported      |          325126 |      40226 |      40770 |      39068 |      40885 |      41076 |      40406 |      41395 |      41300 |
196.39/42.02	c (28,0) c | Good          |              55 |          5 |          7 |          4 |          7 |          8 |          6 |          9 |          9 |
196.39/42.02	c (28,0) c | Purge         |          325071 |      40221 |      40763 |      39064 |      40878 |      41068 |      40400 |      41386 |      41291 |
196.39/42.02	c (28,0) c | Promoted      |           34484 |       4261 |       4609 |       3844 |       4504 |       4593 |       3976 |       4141 |       4556 |
196.39/42.02	c (28,0) c | Remove_Imp    |           97064 |      13109 |      10594 |      12987 |       9534 |      11267 |      13585 |      13011 |      12977 |
196.39/42.02	c (28,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
196.39/42.02	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.02	c (28,0) c | Unaries       |                 |          1 |         10 |          0 |          3 |          3 |          1 |         10 |          2 |
196.39/42.02	c (28,0) c | Binaries      |                 |         13 |         27 |          6 |         25 |         23 |          8 |         31 |         21 |
196.39/42.02	c (28,0) c | Glues         |                 |        957 |       1066 |        943 |        970 |        981 |        892 |        913 |        991 |
196.39/42.02	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.02	c (28,0) c | Orig_Seen     |             2 % |      65463 |      66757 |      61092 |      70672 |      60772 |      64934 |      63416 |      62168 |
196.39/42.02	c (28,0) c | Diff Orig seen|                 | -     1294 |      X     | -     5665 |       3915 | -     5985 | -     1823 | -     3341 | -     4589 |
196.39/42.02	c (28,0) c | Hamming       |            22 % |      22151 |      X     |      22763 |      23369 |      23082 |      21237 |      25261 |      22476 |
196.39/42.02	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.02	c (28,0) c | RunningTime   |                 |   21.3 100%|   21.7 100%|   21.0 100%|   21.1 100%|   21.1 100%|   20.9 100%|   20.9 100%|   21.0 100%|
196.39/42.02	c (28,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
196.39/42.02	c (28,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
196.39/42.02	c (28,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%|
196.39/42.02	c (28,0) c | SolvingTime   |                 |   21.3     |   21.7     |   21.0     |   21.1     |   21.1     |   20.9     |   20.9     |   21.0     |
196.39/42.02	c (28,0) c | PropagationTim|                 |   20.0  94%|   20.4  94%|   19.8  94%|   19.7  94%|   19.7  93%|   19.6  94%|   19.6  94%|   19.7  94%|
196.39/42.02	c (28,0) c | AnalysisTime  |                 |    0.8   4%|    0.8   3%|    0.8   4%|    0.8   4%|    0.8   4%|    0.8   4%|    0.8   4%|    0.7   4%|
196.39/42.02	c (28,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
196.39/42.02	c (28,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
196.39/42.02	c (28,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%|
196.39/42.02	c (28,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%|
196.39/42.02	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.02	c (28,0) c
196.39/42.02	c (28,0) c
196.39/42.02	c (28,0) c Threads : 8
196.39/42.02	c (28,0) c Winner : 1
196.39/42.02	c (28,0) c Conflicts_0 : 33292
196.39/42.02	c (28,0) c Conflicts_1 : 34255
196.39/42.02	c (28,0) c Conflicts_2 : 34063
196.39/42.02	c (28,0) c Conflicts_3 : 33470
196.39/42.02	c (28,0) c Conflicts_4 : 34357
196.39/42.02	c (28,0) c Conflicts_5 : 32317
196.39/42.02	c (28,0) c Conflicts_6 : 33023
196.39/42.02	c (28,0) c Conflicts_7 : 33632
196.39/42.02	c (28,0) c Conflicts_total : 268409
196.39/42.02	c (28,0) c Conflicts_winner : 34255
196.39/42.02	c (28,0) c Decisions_0 : 45439
196.39/42.02	c (28,0) c Decisions_1 : 53166
196.39/42.02	c (28,0) c Decisions_2 : 46144
196.39/42.02	c (28,0) c Decisions_3 : 45582
196.39/42.02	c (28,0) c Decisions_4 : 46926
196.39/42.02	c (28,0) c Decisions_5 : 44469
196.39/42.02	c (28,0) c Decisions_6 : 44881
196.39/42.02	c (28,0) c Decisions_7 : 45670
196.39/42.02	c (28,0) c Decisions_total : 372277
196.39/42.02	c (28,0) c Decisions_winner : 53166
196.39/42.02	c (28,0) c Propagations_0 : 44544823
196.39/42.02	c (28,0) c Propagations_1 : 44017242
196.39/42.02	c (28,0) c Propagations_2 : 46540143
196.39/42.02	c (28,0) c Propagations_3 : 44815519
196.39/42.02	c (28,0) c Propagations_4 : 44070039
196.39/42.02	c (28,0) c Propagations_5 : 45217685
196.39/42.02	c (28,0) c Propagations_6 : 44763791
196.39/42.02	c (28,0) c Propagations_7 : 45375445
196.39/42.02	c (28,0) c Propagations_total : 359344687
196.39/42.02	c (28,0) c Propagations_winner : 44017242
196.39/42.02	c (28,0) c ReduceDBs_0 : 4
196.39/42.02	c (28,0) c ReduceDBs_1 : 4
196.39/42.02	c (28,0) c ReduceDBs_2 : 4
196.39/42.02	c (28,0) c ReduceDBs_3 : 4
196.39/42.02	c (28,0) c ReduceDBs_4 : 4
196.39/42.02	c (28,0) c ReduceDBs_5 : 4
196.39/42.02	c (28,0) c ReduceDBs_6 : 4
196.39/42.02	c (28,0) c ReduceDBs_7 : 4
196.39/42.02	c (28,0) c ReduceDBs_total : 32
196.39/42.02	c (28,0) c ReduceDBs_winner : 4
196.39/42.02	c (28,0) c SimpDBs_0 : 2
196.39/42.02	c (28,0) c SimpDBs_1 : 2
196.39/42.02	c (28,0) c SimpDBs_2 : 1
196.39/42.02	c (28,0) c SimpDBs_3 : 2
196.39/42.02	c (28,0) c SimpDBs_4 : 2
196.39/42.02	c (28,0) c SimpDBs_5 : 2
196.39/42.02	c (28,0) c SimpDBs_6 : 2
196.39/42.02	c (28,0) c SimpDBs_7 : 2
196.39/42.02	c (28,0) c SimpDBs_total : 15
196.39/42.02	c (28,0) c SimpDBs_winner : 2
196.39/42.02	c (28,0) c Restarts_0 : 37
196.39/42.02	c (28,0) c Restarts_1 : 63
196.39/42.02	c (28,0) c Restarts_2 : 40
196.39/42.02	c (28,0) c Restarts_3 : 18
196.39/42.02	c (28,0) c Restarts_4 : 64
196.39/42.02	c (28,0) c Restarts_5 : 20
196.39/42.02	c (28,0) c Restarts_6 : 34
196.39/42.02	c (28,0) c Restarts_7 : 61
196.39/42.02	c (28,0) c Restarts_total : 337
196.39/42.02	c (28,0) c Restarts_winner : 63
196.39/42.02	c (28,0) c ForcedImports_0 : 0
196.39/42.02	c (28,0) c ForcedImports_1 : 0
196.39/42.02	c (28,0) c ForcedImports_2 : 0
196.39/42.02	c (28,0) c ForcedImports_3 : 0
196.39/42.02	c (28,0) c ForcedImports_4 : 0
196.39/42.02	c (28,0) c ForcedImports_5 : 0
196.39/42.02	c (28,0) c ForcedImports_6 : 0
196.39/42.02	c (28,0) c ForcedImports_7 : 0
196.39/42.02	c (28,0) c ForcedImports_total : 0
196.39/42.02	c (28,0) c ForcedImports_winner : 0
196.39/42.02	c (28,0) c PropsBinClauses_0 : 47738568
196.39/42.02	c (28,0) c PropsBinClauses_1 : 46970540
196.39/42.02	c (28,0) c PropsBinClauses_2 : 49570187
196.39/42.02	c (28,0) c PropsBinClauses_3 : 47735786
196.39/42.02	c (28,0) c PropsBinClauses_4 : 46901628
196.39/42.02	c (28,0) c PropsBinClauses_5 : 48085062
196.39/42.02	c (28,0) c PropsBinClauses_6 : 47817950
196.39/42.02	c (28,0) c PropsBinClauses_7 : 48500105
196.39/42.02	c (28,0) c PropsBinClauses_total : 383319826
196.39/42.02	c (28,0) c PropsBinClauses_winner : 46970540
196.39/42.02	c (28,0) c PropsPreBlocker_0 : 579226902
196.39/42.02	c (28,0) c PropsPreBlocker_1 : 580120436
196.39/42.02	c (28,0) c PropsPreBlocker_2 : 594911744
196.39/42.02	c (28,0) c PropsPreBlocker_3 : 589984015
196.39/42.02	c (28,0) c PropsPreBlocker_4 : 579073319
196.39/42.02	c (28,0) c PropsPreBlocker_5 : 593377180
196.39/42.02	c (28,0) c PropsPreBlocker_6 : 585482355
196.39/42.02	c (28,0) c PropsPreBlocker_7 : 587238559
196.39/42.02	c (28,0) c PropsPreBlocker_total : 4689414510
196.39/42.02	c (28,0) c PropsPreBlocker_winner : 580120436
196.39/42.02	c (28,0) c PropsNotBlocker_0 : 162995987
196.39/42.02	c (28,0) c PropsNotBlocker_1 : 156472707
196.39/42.02	c (28,0) c PropsNotBlocker_2 : 166351515
196.39/42.02	c (28,0) c PropsNotBlocker_3 : 154579345
196.39/42.02	c (28,0) c PropsNotBlocker_4 : 163525535
196.39/42.02	c (28,0) c PropsNotBlocker_5 : 156517382
196.39/42.02	c (28,0) c PropsNotBlocker_6 : 160250853
196.39/42.02	c (28,0) c PropsNotBlocker_7 : 172290155
196.39/42.02	c (28,0) c PropsNotBlocker_total : 1292983479
196.39/42.02	c (28,0) c PropsNotBlocker_winner : 156472707
196.39/42.02	c (28,0) c PropsLitFullScans_0 : 858078311
196.39/42.02	c (28,0) c PropsLitFullScans_1 : 849478040
196.39/42.02	c (28,0) c PropsLitFullScans_2 : 870072301
196.39/42.02	c (28,0) c PropsLitFullScans_3 : 858059241
196.39/42.02	c (28,0) c PropsLitFullScans_4 : 858053466
196.39/42.02	c (28,0) c PropsLitFullScans_5 : 864087253
196.39/42.02	c (28,0) c PropsLitFullScans_6 : 859681905
196.39/42.02	c (28,0) c PropsLitFullScans_7 : 876101956
196.39/42.02	c (28,0) c PropsLitFullScans_total : 6893612473
196.39/42.02	c (28,0) c PropsLitFullScans_winner : 849478040
196.39/42.02	c (28,0) c LitScanFractions_0 : 72042
196.39/42.02	c (28,0) c LitScanFractions_1 : 56242
196.39/42.02	c (28,0) c LitScanFractions_2 : 59814
196.39/42.02	c (28,0) c LitScanFractions_3 : 51775
196.39/42.02	c (28,0) c LitScanFractions_4 : 47520
196.39/42.02	c (28,0) c LitScanFractions_5 : 65635
196.39/42.02	c (28,0) c LitScanFractions_6 : 67541
196.39/42.02	c (28,0) c LitScanFractions_7 : 88371
196.39/42.02	c (28,0) c LitScanFractions_total : 508940
196.39/42.02	c (28,0) c LitScanFractions_winner : 56242
196.39/42.02	c (28,0) c DecisionLevel0_0 : 38
196.39/42.02	c (28,0) c DecisionLevel0_1 : 73
196.39/42.02	c (28,0) c DecisionLevel0_2 : 40
196.39/42.02	c (28,0) c DecisionLevel0_3 : 21
196.39/42.02	c (28,0) c DecisionLevel0_4 : 67
196.39/42.02	c (28,0) c DecisionLevel0_5 : 21
196.39/42.02	c (28,0) c DecisionLevel0_6 : 44
196.39/42.02	c (28,0) c DecisionLevel0_7 : 63
196.39/42.02	c (28,0) c DecisionLevel0_total : 367
196.39/42.02	c (28,0) c DecisionLevel0_winner : 73
196.39/42.02	c (28,0) c Periods_0 : 143
196.39/42.02	c (28,0) c Periods_1 : 141
196.39/42.02	c (28,0) c Periods_2 : 145
196.39/42.02	c (28,0) c Periods_3 : 143
196.39/42.02	c (28,0) c Periods_4 : 143
196.39/42.02	c (28,0) c Periods_5 : 144
196.39/42.02	c (28,0) c Periods_6 : 143
196.39/42.02	c (28,0) c Periods_7 : 146
196.39/42.02	c (28,0) c Periods_total : 1148
196.39/42.02	c (28,0) c Periods_winner : 141
196.39/42.02	c (28,0) c Margin_0 : 20
196.39/42.02	c (28,0) c Margin_1 : 20
196.39/42.02	c (28,0) c Margin_2 : 20
196.39/42.02	c (28,0) c Margin_3 : 20
196.39/42.02	c (28,0) c Margin_4 : 20
196.39/42.02	c (28,0) c Margin_5 : 20
196.39/42.02	c (28,0) c Margin_6 : 20
196.39/42.03	c (28,0) c Margin_7 : 20
196.39/42.03	c (28,0) c Margin_total : 160
196.39/42.03	c (28,0) c Margin_winner : 20
196.39/42.03	c (28,0) c Exported_0 : 6099
196.39/42.03	c (28,0) c Exported_1 : 6511
196.39/42.03	c (28,0) c Exported_2 : 6902
196.39/42.03	c (28,0) c Exported_3 : 6722
196.39/42.03	c (28,0) c Exported_4 : 6481
196.39/42.03	c (28,0) c Exported_5 : 6712
196.39/42.03	c (28,0) c Exported_6 : 6527
196.39/42.03	c (28,0) c Exported_7 : 6822
196.39/42.03	c (28,0) c Exported_total : 52776
196.39/42.03	c (28,0) c Exported_winner : 6511
196.39/42.03	c (28,0) c Imported_0 : 40226
196.39/42.03	c (28,0) c Imported_1 : 40770
196.39/42.03	c (28,0) c Imported_2 : 39068
196.39/42.03	c (28,0) c Imported_3 : 40885
196.39/42.03	c (28,0) c Imported_4 : 41076
196.39/42.03	c (28,0) c Imported_5 : 40406
196.39/42.03	c (28,0) c Imported_6 : 41395
196.39/42.03	c (28,0) c Imported_7 : 41300
196.39/42.03	c (28,0) c Imported_total : 325126
196.39/42.03	c (28,0) c Imported_winner : 40770
196.39/42.03	c (28,0) c Good_0 : 5
196.39/42.03	c (28,0) c Good_1 : 7
196.39/42.03	c (28,0) c Good_2 : 4
196.39/42.03	c (28,0) c Good_3 : 7
196.39/42.03	c (28,0) c Good_4 : 8
196.39/42.03	c (28,0) c Good_5 : 6
196.39/42.03	c (28,0) c Good_6 : 9
196.39/42.03	c (28,0) c Good_7 : 9
196.39/42.03	c (28,0) c Good_total : 55
196.39/42.03	c (28,0) c Good_winner : 7
196.39/42.03	c (28,0) c Purge_0 : 40221
196.39/42.03	c (28,0) c Purge_1 : 40763
196.39/42.03	c (28,0) c Purge_2 : 39064
196.39/42.03	c (28,0) c Purge_3 : 40878
196.39/42.03	c (28,0) c Purge_4 : 41068
196.39/42.03	c (28,0) c Purge_5 : 40400
196.39/42.03	c (28,0) c Purge_6 : 41386
196.39/42.03	c (28,0) c Purge_7 : 41291
196.39/42.03	c (28,0) c Purge_total : 325071
196.39/42.03	c (28,0) c Purge_winner : 40763
196.39/42.03	c (28,0) c Promoted_0 : 4261
196.39/42.03	c (28,0) c Promoted_1 : 4609
196.39/42.03	c (28,0) c Promoted_2 : 3844
196.39/42.03	c (28,0) c Promoted_3 : 4504
196.39/42.03	c (28,0) c Promoted_4 : 4593
196.39/42.03	c (28,0) c Promoted_5 : 3976
196.39/42.03	c (28,0) c Promoted_6 : 4141
196.39/42.03	c (28,0) c Promoted_7 : 4556
196.39/42.03	c (28,0) c Promoted_total : 34484
196.39/42.03	c (28,0) c Promoted_winner : 4609
196.39/42.03	c (28,0) c Remove_Imp_0 : 13109
196.39/42.03	c (28,0) c Remove_Imp_1 : 10594
196.39/42.03	c (28,0) c Remove_Imp_2 : 12987
196.39/42.03	c (28,0) c Remove_Imp_3 : 9534
196.39/42.03	c (28,0) c Remove_Imp_4 : 11267
196.39/42.03	c (28,0) c Remove_Imp_5 : 13585
196.39/42.03	c (28,0) c Remove_Imp_6 : 13011
196.39/42.03	c (28,0) c Remove_Imp_7 : 12977
196.39/42.03	c (28,0) c Remove_Imp_total : 97064
196.39/42.03	c (28,0) c Remove_Imp_winner : 10594
196.39/42.03	c (28,0) c Blocked_Reuse_0 : 0
196.39/42.03	c (28,0) c Blocked_Reuse_1 : 0
196.39/42.03	c (28,0) c Blocked_Reuse_2 : 0
196.39/42.03	c (28,0) c Blocked_Reuse_3 : 0
196.39/42.03	c (28,0) c Blocked_Reuse_4 : 0
196.39/42.03	c (28,0) c Blocked_Reuse_5 : 0
196.39/42.03	c (28,0) c Blocked_Reuse_6 : 0
196.39/42.03	c (28,0) c Blocked_Reuse_7 : 0
196.39/42.03	c (28,0) c Blocked_Reuse_total : 0
196.39/42.03	c (28,0) c Blocked_Reuse_winner : 0
196.39/42.03	c (28,0) c Unaries_0 : 1
196.39/42.03	c (28,0) c Unaries_1 : 10
196.39/42.03	c (28,0) c Unaries_2 : 0
196.39/42.03	c (28,0) c Unaries_3 : 3
196.39/42.03	c (28,0) c Unaries_4 : 3
196.39/42.03	c (28,0) c Unaries_5 : 1
196.39/42.03	c (28,0) c Unaries_6 : 10
196.39/42.03	c (28,0) c Unaries_7 : 2
196.39/42.03	c (28,0) c Unaries_total : 30
196.39/42.03	c (28,0) c Unaries_winner : 10
196.39/42.03	c (28,0) c Binaries_0 : 13
196.39/42.03	c (28,0) c Binaries_1 : 27
196.39/42.03	c (28,0) c Binaries_2 : 6
196.39/42.03	c (28,0) c Binaries_3 : 25
196.39/42.03	c (28,0) c Binaries_4 : 23
196.39/42.03	c (28,0) c Binaries_5 : 8
196.39/42.03	c (28,0) c Binaries_6 : 31
196.39/42.03	c (28,0) c Binaries_7 : 21
196.39/42.03	c (28,0) c Binaries_total : 154
196.39/42.03	c (28,0) c Binaries_winner : 27
196.39/42.03	c (28,0) c Glues_0 : 957
196.39/42.03	c (28,0) c Glues_1 : 1066
196.39/42.03	c (28,0) c Glues_2 : 943
196.39/42.03	c (28,0) c Glues_3 : 970
196.39/42.03	c (28,0) c Glues_4 : 981
196.39/42.03	c (28,0) c Glues_5 : 892
196.39/42.03	c (28,0) c Glues_6 : 913
196.39/42.03	c (28,0) c Glues_7 : 991
196.39/42.03	c (28,0) c Glues_total : 7713
196.39/42.03	c (28,0) c Glues_winner : 1066
196.39/42.03	c (28,0) c RunningTime_0 : 21.326225
196.39/42.03	c (28,0) c RunningTime_1 : 21.670387
196.39/42.03	c (28,0) c RunningTime_2 : 21.014561
196.39/42.03	c (28,0) c RunningTime_3 : 21.057507
196.39/42.03	c (28,0) c RunningTime_4 : 21.120194
196.39/42.03	c (28,0) c RunningTime_5 : 20.912609
196.39/42.03	c (28,0) c RunningTime_6 : 20.893599
196.39/42.03	c (28,0) c RunningTime_7 : 20.978078
196.39/42.03	c (28,0) c RunningTime_total : 168.973160
196.39/42.03	c (28,0) c RunningTime_winner : 21.670387
196.39/42.03	c (28,0) c WaitingTime_0 : 0.000258
196.39/42.03	c (28,0) c WaitingTime_1 : 0.000156
196.39/42.03	c (28,0) c WaitingTime_2 : 0.000415
196.39/42.03	c (28,0) c WaitingTime_3 : 0.000212
196.39/42.03	c (28,0) c WaitingTime_4 : 0.000244
196.39/42.03	c (28,0) c WaitingTime_5 : 0.000256
196.39/42.03	c (28,0) c WaitingTime_6 : 0.000231
196.39/42.03	c (28,0) c WaitingTime_7 : 0.000312
196.39/42.03	c (28,0) c WaitingTime_total : 0.002083
196.39/42.03	c (28,0) c WaitingTime_winner : 0.000156
196.39/42.03	c (28,0) c ExchangingTime_0 : 0.017718
196.39/42.03	c (28,0) c ExchangingTime_1 : 0.018502
196.39/42.03	c (28,0) c ExchangingTime_2 : 0.017357
196.39/42.03	c (28,0) c ExchangingTime_3 : 0.016795
196.39/42.03	c (28,0) c ExchangingTime_4 : 0.020225
196.39/42.03	c (28,0) c ExchangingTime_5 : 0.017109
196.39/42.03	c (28,0) c ExchangingTime_6 : 0.019154
196.39/42.03	c (28,0) c ExchangingTime_7 : 0.018485
196.39/42.03	c (28,0) c ExchangingTime_total : 0.145345
196.39/42.03	c (28,0) c ExchangingTime_winner : 0.018502
196.39/42.03	c (28,0) c PeriodProcTime_0 : 0.002134
196.39/42.03	c (28,0) c PeriodProcTime_1 : 0.002358
196.39/42.03	c (28,0) c PeriodProcTime_2 : 0.001896
196.39/42.03	c (28,0) c PeriodProcTime_3 : 0.002112
196.39/42.03	c (28,0) c PeriodProcTime_4 : 0.001994
196.39/42.03	c (28,0) c PeriodProcTime_5 : 0.001915
196.39/42.03	c (28,0) c PeriodProcTime_6 : 0.003903
196.39/42.03	c (28,0) c PeriodProcTime_7 : 0.002436
196.39/42.03	c (28,0) c PeriodProcTime_total : 0.018748
196.39/42.03	c (28,0) c PeriodProcTime_winner : 0.002358
196.39/42.03	c (28,0) c SolvingTime_0 : 21.346335
196.39/42.03	c (28,0) c SolvingTime_1 : 21.691403
196.39/42.03	c (28,0) c SolvingTime_2 : 21.034229
196.39/42.03	c (28,0) c SolvingTime_3 : 21.076627
196.39/42.03	c (28,0) c SolvingTime_4 : 21.142656
196.39/42.03	c (28,0) c SolvingTime_5 : 20.931889
196.39/42.03	c (28,0) c SolvingTime_6 : 20.916887
196.39/42.03	c (28,0) c SolvingTime_7 : 20.999310
196.39/42.03	c (28,0) c SolvingTime_total : 169.139336
196.39/42.03	c (28,0) c SolvingTime_winner : 21.691403
196.39/42.03	c (28,0) c PropagationTime_0 : 20.003916
196.39/42.03	c (28,0) c PropagationTime_1 : 20.375119
196.39/42.03	c (28,0) c PropagationTime_2 : 19.789900
196.39/42.03	c (28,0) c PropagationTime_3 : 19.742836
196.39/42.03	c (28,0) c PropagationTime_4 : 19.746037
196.39/42.03	c (28,0) c PropagationTime_5 : 19.614593
196.39/42.03	c (28,0) c PropagationTime_6 : 19.585827
196.39/42.03	c (28,0) c PropagationTime_7 : 19.707192
196.39/42.03	c (28,0) c PropagationTime_total : 158.565420
196.39/42.03	c (28,0) c PropagationTime_winner : 20.375119
196.39/42.03	c (28,0) c AnalysisTime_0 : 0.788125
196.39/42.03	c (28,0) c AnalysisTime_1 : 0.757384
196.39/42.03	c (28,0) c AnalysisTime_2 : 0.777794
196.39/42.03	c (28,0) c AnalysisTime_3 : 0.776723
196.39/42.03	c (28,0) c AnalysisTime_4 : 0.843776
196.39/42.03	c (28,0) c AnalysisTime_5 : 0.764639
196.39/42.03	c (28,0) c AnalysisTime_6 : 0.777259
196.39/42.03	c (28,0) c AnalysisTime_7 : 0.747164
196.39/42.03	c (28,0) c AnalysisTime_total : 6.232865
196.39/42.03	c (28,0) c AnalysisTime_winner : 0.757384
196.39/42.03	c (28,0) c ReductionTime_0 : 0.014074
196.39/42.03	c (28,0) c ReductionTime_1 : 0.012125
196.39/42.03	c (28,0) c ReductionTime_2 : 0.012858
196.39/42.03	c (28,0) c ReductionTime_3 : 0.013853
196.39/42.03	c (28,0) c ReductionTime_4 : 0.012363
196.39/42.03	c (28,0) c ReductionTime_5 : 0.012805
196.39/42.03	c (28,0) c ReductionTime_6 : 0.013058
196.39/42.03	c (28,0) c ReductionTime_7 : 0.012490
196.39/42.03	c (28,0) c ReductionTime_total : 0.103626
196.39/42.03	c (28,0) c ReductionTime_winner : 0.012125
196.39/42.03	c (28,0) c SimplifyTime_0 : 0.090194
196.39/42.03	c (28,0) c SimplifyTime_1 : 0.087883
196.39/42.03	c (28,0) c SimplifyTime_2 : 0.000000
196.39/42.03	c (28,0) c SimplifyTime_3 : 0.088359
196.39/42.03	c (28,0) c SimplifyTime_4 : 0.087149
196.39/42.03	c (28,0) c SimplifyTime_5 : 0.088063
196.39/42.03	c (28,0) c SimplifyTime_6 : 0.084841
196.39/42.03	c (28,0) c SimplifyTime_7 : 0.086047
196.39/42.03	c (28,0) c SimplifyTime_total : 0.612535
196.39/42.03	c (28,0) c SimplifyTime_winner : 0.087883
196.39/42.03	c (28,0) c UsedRateTime_0 : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_1 : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_2 : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_3 : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_4 : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_5 : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_6 : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_7 : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_total : 0.000000
196.39/42.03	c (28,0) c UsedRateTime_winner : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_0 : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_1 : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_2 : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_3 : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_4 : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_5 : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_6 : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_7 : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_total : 0.000000
196.39/42.03	c (28,0) c OverlapRateTime_winner : 0.000000
196.39/42.03	c (28,0) c
196.39/42.03	c (28,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
196.39/42.03	c (28,0) c
196.39/42.03	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.03	c (28,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
196.39/42.03	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.03	c (28,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
196.39/42.03	c (28,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
196.39/42.03	c (28,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
196.39/42.03	c (28,0) c | Initial random_seed   |  484505852 | 2086675944 |  114754334 | 1736710991 |  413863765 |  335234431 | 1557299183 |  223255561 |
196.39/42.03	c (28,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
196.39/42.03	c (28,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
196.39/42.03	c (28,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
196.39/42.03	c (28,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
196.39/42.03	c (28,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
196.39/42.03	c (28,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
196.39/42.03	c (28,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
196.39/42.03	c (28,0) c | var_decay             |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
196.39/42.03	c (28,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
196.39/42.03	c (28,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
196.39/42.03	c (28,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
196.39/42.03	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
196.39/42.03	c (28,0) 
196.39/42.03	c (28,0) s UNSATISFIABLE
196.39/42.10	c (29,0) SatSolver.solve End
196.39/42.10	c (29,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
196.39/42.10	c (29,0) Show results Begin
196.39/42.10	s UNSATISFIABLE
196.39/42.10	c (29,0) Show results End
196.39/42.10	c (29,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
196.39/42.10	c (29,0) 29,29,STOP-AFTER(ALL)
196.39/42.10	c END-Prog: Sat Sep 14 08:18:44 CEST 2019

Verifier Data


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 (14062 MiB free)
  memory of node 1: 16384 MiB (14109 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392368-1568441921/watcher-4392368-1568441921 -o /tmp/evaluation-result-4392368-1568441921/solver-4392368-1568441921 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568436642-26559 --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-4392368-1568441921.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=27792, runsolver pid=27789
Current StackSize limit: 8192 KiB


[startup+0.100129 s]*
/proc/loadavg: 8.01 8.22 8.20 2/211 27814
/proc/meminfo: memFree=28754240/32770624 swapFree=66998528/67108860
[pid=27792] ppid=27789 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27792/stat : 27792 (scop.sh) S 27789 27792 26532 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420461007 115843072 349 33554432000 4194304 5098028 140726781086416 140726781083672 140110843564668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40181760 140726781092645 140726781092972 140726781092972 140726781095885 0
/proc/27792/statm: 28282 349 296 221 0 87 0
[pid=27795] ppid=27792 vsize=27314120 memory=105416 CPUtime=0.11 cores=0-7
/proc/27795/stat : 27795 (java) S 27792 27792 26532 0 -1 1077944320 6958 0 0 0 8 3 0 0 20 0 20 0 420461007 27969658880 26354 33554432000 4194304 4196468 140722261286160 140722261268704 139815282646775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
/proc/27795/statm: 6828530 26354 2800 1 0 6790935 0
[pid=27795/tid=27796] ppid=27792 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/27795/task/27796/stat : 27796 (java) R 27792 27792 26532 0 -1 4202560 5043 0 0 0 6 2 0 0 20 0 20 0 420461008 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815254473104 139815282668701 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27797] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27797/stat : 27797 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815286889232 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27798] ppid=27792 vsize=27314120 memory=140272886823435 CPUtime=0 cores=0-7
/proc/27795/task/27798/stat : 27798 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815101045648 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27799] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27799/stat : 27799 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815099993104 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27800] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27800/stat : 27800 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815098940560 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27801] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27801/stat : 27801 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815097886992 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27802] ppid=27792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27795/task/27802/stat : 27802 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815096834448 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27803] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27803/stat : 27803 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815095781904 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27804] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27804/stat : 27804 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 26354 33554432000 4194304 4196468 140722261286160 139815094729360 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27805] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27805/stat : 27805 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461011 27969658880 26354 33554432000 4194304 4196468 140722261286160 139813401315824 139815282657922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27806] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27806/stat : 27806 (java) S 27792 27792 26532 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420461012 27969658880 26354 33554432000 4194304 4196468 140722261286160 139813197964704 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27807] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27807/stat : 27807 (java) S 27792 27792 26532 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 420461012 27969658880 26354 33554432000 4194304 4196468 140722261286160 139813063742960 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27808] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27808/stat : 27808 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 26354 33554432000 4194304 4196468 140722261286160 139812689238736 139815282665371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27809] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27809/stat : 27809 (java) S 27792 27792 26532 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 26354 33554432000 4194304 4196468 140722261286160 139812929521648 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27810] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27810/stat : 27810 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 26354 33554432000 4194304 4196468 140722261286160 139812928469104 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27811] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27811/stat : 27811 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 26354 33554432000 4194304 4196468 140722261286160 139812927416560 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27812] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27812/stat : 27812 (java) S 27792 27792 26532 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 26354 33554432000 4194304 4196468 140722261286160 139812926364016 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27813] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27813/stat : 27813 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 26354 33554432000 4194304 4196468 140722261286160 139812191333088 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27814] ppid=27792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27795/task/27814/stat : 27814 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 26354 33554432000 4194304 4196468 140722261286160 139812925311920 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106812 KiB

[startup+0.210452 s]*
/proc/loadavg: 8.01 8.22 8.20 2/211 27814
/proc/meminfo: memFree=28732468/32770624 swapFree=66998528/67108860
[pid=27792] ppid=27789 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27792/stat : 27792 (scop.sh) S 27789 27792 26532 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420461007 115843072 349 33554432000 4194304 5098028 140726781086416 140726781083672 140110843564668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40181760 140726781092645 140726781092972 140726781092972 140726781095885 0
/proc/27792/statm: 28282 349 296 221 0 87 0
[pid=27795] ppid=27792 vsize=27314120 memory=124596 CPUtime=0.25 cores=0-7
/proc/27795/stat : 27795 (java) S 27792 27792 26532 0 -1 1077944320 12575 0 0 0 20 5 0 0 20 0 20 0 420461007 27969658880 31149 33554432000 4194304 4196468 140722261286160 140722261268704 139815282646775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
/proc/27795/statm: 6828530 31149 2940 1 0 6790935 0
[pid=27795/tid=27796] ppid=27792 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27795/task/27796/stat : 27796 (java) R 27792 27792 26532 0 -1 4202560 10291 0 0 0 16 4 0 0 20 0 20 0 420461008 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815254446160 139815282660662 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27797] ppid=27792 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/27795/task/27797/stat : 27797 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815286889232 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27798] ppid=27792 vsize=27314120 memory=3762673689652078240 CPUtime=0 cores=0-7
/proc/27795/task/27798/stat : 27798 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815101045648 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27799] ppid=27792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27795/task/27799/stat : 27799 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815099993104 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27800] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27800/stat : 27800 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815098940560 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27801] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27801/stat : 27801 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815097886992 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27802] ppid=27792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27795/task/27802/stat : 27802 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815096834448 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27803] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27803/stat : 27803 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815095781904 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27804] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27804/stat : 27804 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31149 33554432000 4194304 4196468 140722261286160 139815094729360 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27805] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27805/stat : 27805 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461011 27969658880 31149 33554432000 4194304 4196468 140722261286160 139813401315824 139815282657922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27806] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27806/stat : 27806 (java) S 27792 27792 26532 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420461012 27969658880 31149 33554432000 4194304 4196468 140722261286160 139813197964704 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27807] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27807/stat : 27807 (java) S 27792 27792 26532 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 420461012 27969658880 31149 33554432000 4194304 4196468 140722261286160 139813063742960 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27808] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27808/stat : 27808 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31149 33554432000 4194304 4196468 140722261286160 139812689238736 139815282665371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27809] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27809/stat : 27809 (java) S 27792 27792 26532 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31149 33554432000 4194304 4196468 140722261286160 139812929521648 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27810] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27810/stat : 27810 (java) S 27792 27792 26532 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31149 33554432000 4194304 4196468 140722261286160 139812928469104 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27811] ppid=27792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27795/task/27811/stat : 27811 (java) S 27792 27792 26532 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31149 33554432000 4194304 4196468 140722261286160 139812927416560 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27812] ppid=27792 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/27795/task/27812/stat : 27812 (java) S 27792 27792 26532 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 20 0 420461015 27969658880 31149 33554432000 4194304 4196468 140722261286160 139812926364016 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27813] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27813/stat : 27813 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31149 33554432000 4194304 4196468 140722261286160 139812191333088 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27814] ppid=27792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27795/task/27814/stat : 27814 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31149 33554432000 4194304 4196468 140722261286160 139812925311920 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125992 KiB

[startup+0.310198 s]*
/proc/loadavg: 8.01 8.22 8.20 2/211 27814
/proc/meminfo: memFree=28729800/32770624 swapFree=66998528/67108860
[pid=27792] ppid=27789 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27792/stat : 27792 (scop.sh) S 27789 27792 26532 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420461007 115843072 349 33554432000 4194304 5098028 140726781086416 140726781083672 140110843564668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40181760 140726781092645 140726781092972 140726781092972 140726781095885 0
/proc/27792/statm: 28282 349 296 221 0 87 0
[pid=27795] ppid=27792 vsize=27314120 memory=127936 CPUtime=0.42 cores=0-7
/proc/27795/stat : 27795 (java) S 27792 27792 26532 0 -1 1077944320 12927 0 0 0 37 5 0 0 20 0 20 0 420461007 27969658880 31984 33554432000 4194304 4196468 140722261286160 140722261268704 139815282646775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
/proc/27795/statm: 6828530 31984 2997 1 0 6790935 0
[pid=27795/tid=27796] ppid=27792 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/27795/task/27796/stat : 27796 (java) R 27792 27792 26532 0 -1 4202560 10478 0 0 0 25 4 0 0 20 0 20 0 420461008 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815254431760 139815267812414 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27797] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27797/stat : 27797 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815286889232 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27798] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27798/stat : 27798 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815101045648 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27799] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27799/stat : 27799 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815099993104 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27800] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27800/stat : 27800 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815098940560 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27801] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27801/stat : 27801 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815097886992 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27802] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27802/stat : 27802 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815096834448 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27803] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27803/stat : 27803 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815095781904 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27804] ppid=27792 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/27795/task/27804/stat : 27804 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27969658880 31984 33554432000 4194304 4196468 140722261286160 139815094729360 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27805] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27805/stat : 27805 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461011 27969658880 31984 33554432000 4194304 4196468 140722261286160 139813401315824 139815282657922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27806] ppid=27792 vsize=27314120 memory=280545519148416 CPUtime=0 cores=0-7
/proc/27795/task/27806/stat : 27806 (java) S 27792 27792 26532 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420461012 27969658880 31984 33554432000 4194304 4196468 140722261286160 139813197964704 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27807] ppid=27792 vsize=27314120 memory=280545519153024 CPUtime=0 cores=0-7
/proc/27795/task/27807/stat : 27807 (java) S 27792 27792 26532 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 420461012 27969658880 31984 33554432000 4194304 4196468 140722261286160 139813063742960 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27808] ppid=27792 vsize=27314120 memory=280545519157632 CPUtime=0 cores=0-7
/proc/27795/task/27808/stat : 27808 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31984 33554432000 4194304 4196468 140722261286160 139812689238736 139815282665371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27809] ppid=27792 vsize=27314120 memory=280545519162240 CPUtime=0.01 cores=0-7
/proc/27795/task/27809/stat : 27809 (java) S 27792 27792 26532 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 420461015 27969658880 31984 33554432000 4194304 4196468 140722261286160 139812929521648 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27810] ppid=27792 vsize=27314120 memory=280545519166848 CPUtime=0 cores=0-7
/proc/27795/task/27810/stat : 27810 (java) S 27792 27792 26532 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31984 33554432000 4194304 4196468 140722261286160 139812928469104 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27811] ppid=27792 vsize=27314120 memory=280545519171456 CPUtime=0.02 cores=0-7
/proc/27795/task/27811/stat : 27811 (java) R 27792 27792 26532 0 -1 4202560 128 0 0 0 2 0 0 0 20 0 20 0 420461015 27969658880 31984 33554432000 4194304 4196468 140722261286160 139812927416560 139815260535248 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27812] ppid=27792 vsize=27314120 memory=280545519176064 CPUtime=0.07 cores=0-7
/proc/27795/task/27812/stat : 27812 (java) S 27792 27792 26532 0 -1 1077944384 448 0 0 0 7 0 0 0 20 0 20 0 420461015 27969658880 31984 33554432000 4194304 4196468 140722261286160 139812926364016 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27813] ppid=27792 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27813/stat : 27813 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31984 33554432000 4194304 4196468 140722261286160 139812191333088 139815282656981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27814] ppid=27792 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27795/task/27814/stat : 27814 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461015 27969658880 31984 33554432000 4194304 4196468 140722261286160 139812925311920 139815282657922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129332 KiB

[startup+0.700971 s]
/proc/loadavg: 8.01 8.22 8.20 2/211 27814
/proc/meminfo: memFree=28708468/32770624 swapFree=66998528/67108860
[pid=27792] ppid=27789 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27792/stat : 27792 (scop.sh) S 27789 27792 26532 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420461007 115843072 349 33554432000 4194304 5098028 140726781086416 140726781083672 140110843564668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40181760 140726781092645 140726781092972 140726781092972 140726781095885 0
/proc/27792/statm: 28282 349 296 221 0 87 0
[pid=27795] ppid=27792 vsize=27320392 memory=163268 CPUtime=0.99 cores=0-7
/proc/27795/stat : 27795 (java) S 27792 27792 26532 0 -1 1077944320 20461 0 0 0 92 7 0 0 20 0 20 0 420461007 27976081408 40817 33554432000 4194304 4196468 140722261286160 140722261268704 139815282646775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
/proc/27795/statm: 6830098 40817 3180 1 0 6791447 0
[pid=27795/tid=27796] ppid=27792 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/27795/task/27796/stat : 27796 (java) R 27792 27792 26532 0 -1 4202560 17440 0 0 0 61 6 0 0 20 0 20 0 420461008 27976081408 40817 33554432000 4194304 4196468 140722261286160 139815254484192 139814758351270 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27797] ppid=27792 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27797/stat : 27797 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420461010 27976081408 40817 33554432000 4194304 4196468 140722261286160 139815286889232 139815282656981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27798] ppid=27792 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/27795/task/27798/stat : 27798 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420461010 27976081408 40817 33554432000 4194304 4196468 140722261286160 139815101045648 139815282656981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0
[pid=27795/tid=27799] ppid=27792 vsize=27320392 memory=1204 CPUtime=0 cores=0-7
/proc/27795/task/27799/stat : 27799 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420461010 27976081408 40817 33554432000 4194304 4196468 140722261286160 139815099993104 139815282656981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14282752 140722261291755 140722261292182 140722261292182 140722261295055 0

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

/proc/27816/task/27821/stat : 27821 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481805314832 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27822] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27822/stat : 27822 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481804262032 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27823] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27823/stat : 27823 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481803209232 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27824] ppid=27792 vsize=8414124 memory=119956 CPUtime=0 cores=0-7
/proc/27816/task/27824/stat : 27824 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481802156432 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27825] ppid=27792 vsize=8414124 memory=1771976 CPUtime=0 cores=0-7
/proc/27816/task/27825/stat : 27825 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481801103632 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27826] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27826/stat : 27826 (java) S 27792 27792 26532 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420462277 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481616808816 140482322033282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27827] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27827/stat : 27827 (java) S 27792 27792 26532 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 420462278 8616062976 29989 33554432000 4194304 4196468 140736430784736 140480796943904 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27828] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27828/stat : 27828 (java) S 27792 27792 26532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420462278 8616062976 29989 33554432000 4194304 4196468 140736430784736 140480662721904 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27829] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27829/stat : 27829 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140480288217424 140482322040731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27830] ppid=27792 vsize=8414124 memory=1768 CPUtime=0.09 cores=0-7
/proc/27816/task/27830/stat : 27830 (java) S 27792 27792 26532 0 -1 1077944384 909 0 0 0 9 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481615755632 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27831] ppid=27792 vsize=8414124 memory=1767 CPUtime=0.08 cores=0-7
/proc/27816/task/27831/stat : 27831 (java) S 27792 27792 26532 0 -1 1077944384 249 0 0 0 8 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481614702832 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27832] ppid=27792 vsize=8414124 memory=76 CPUtime=0.06 cores=0-7
/proc/27816/task/27832/stat : 27832 (java) S 27792 27792 26532 0 -1 1077944384 425 0 0 0 6 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481613650032 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27833] ppid=27792 vsize=8414124 memory=1476 CPUtime=0.21 cores=0-7
/proc/27816/task/27833/stat : 27833 (java) S 27792 27792 26532 0 -1 1077944384 598 0 0 0 21 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481612597232 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27834] ppid=27792 vsize=8414124 memory=119956 CPUtime=0 cores=0-7
/proc/27816/task/27834/stat : 27834 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420462281 8616062976 29989 33554432000 4194304 4196468 140736430784736 140479790312544 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27835] ppid=27792 vsize=8414124 memory=1765276 CPUtime=0.01 cores=0-7
/proc/27816/task/27835/stat : 27835 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 420462281 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481611545648 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27837] ppid=27792 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/27816/task/27837/stat : 27837 (java) S 27792 27792 26532 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420462348 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481603511872 140482322046745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27839] ppid=27792 vsize=8414124 memory=5908 CPUtime=0 cores=0-7
/proc/27816/task/27839/stat : 27839 (java) S 27792 27792 26532 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420462348 8616062976 29989 33554432000 4194304 4196468 140736430784736 140479119212176 140482322044061 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27840] ppid=27792 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/27816/task/27840/stat : 27840 (java) S 27792 27792 26532 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420462348 8616062976 29989 33554432000 4194304 4196468 140736430784736 140479387647504 140482322044061 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27841] ppid=27792 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/27816/task/27841/stat : 27841 (java) S 27792 27792 26532 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420462350 8616062976 29989 33554432000 4194304 4196468 140736430784736 140478850784304 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
Current children cumulated CPU time: 195.91 s
Current children cumulated vsize: 10741432 KiB
Current children cumulated memory: 1894800 KiB

[startup+42.0011 s]*
/proc/loadavg: 6.60 7.74 8.04 2/217 27851
/proc/meminfo: memFree=26908888/32770624 swapFree=66998528/67108860
[pid=27792] ppid=27789 vsize=113128 memory=1476 CPUtime=20.48 cores=0-7
/proc/27792/stat : 27792 (scop.sh) S 27789 27792 26532 0 -1 4202496 583 33451 0 0 0 0 1936 112 20 0 1 0 420461007 115843072 369 33554432000 4194304 5098028 140726781086416 140726781083160 140110843564668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40181760 140726781092645 140726781092972 140726781092972 140726781095885 0
/proc/27792/statm: 28282 369 311 221 0 87 0
[pid=27816] ppid=27792 vsize=8414124 memory=119956 CPUtime=1.28 cores=0-7
/proc/27816/stat : 27816 (java) S 27792 27792 26532 0 -1 1077944320 21378 0 0 0 119 9 0 0 20 0 24 0 420462274 8616062976 29989 33554432000 4194304 4196468 140736430784736 140736430767280 140482322022135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
/proc/27816/statm: 2103531 29989 3206 1 0 2064875 0
[pid=27836] ppid=27816 vsize=2214180 memory=1773376 CPUtime=174.63 cores=0-7
/proc/27836/stat : 27836 (manyglucose-4.1) S 27816 27792 26532 0 -1 1077944320 1095992 0 0 0 17232 231 0 0 20 0 2 0 420462348 2267320320 443344 33554432000 4194304 4454172 140736411229776 140736411228160 140020844228343 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 14106624 140736411231081 140736411231280 140736411231280 140736411234234 0
/proc/27836/statm: 553545 443344 420 64 0 549213 0
[pid=27836/tid=27843] ppid=27816 vsize=2214180 memory=41528 CPUtime=21.53 cores=0-7
/proc/27836/task/27843/stat : 27843 (manyglucose-4.1) R 27816 27792 26532 0 -1 4202560 129059 0 0 0 2132 21 0 0 20 0 2 0 420463039 2267320320 443344 33554432000 4194304 4454172 140736411229776 140019976297208 4350933 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 14106624 140736411231081 140736411231280 140736411231280 140736411234234 0
[pid=27816/tid=27817] ppid=27792 vsize=8414124 memory=8317482817917895235 CPUtime=0.76 cores=0-7
/proc/27816/task/27817/stat : 27817 (java) S 27792 27792 26532 0 -1 1077944384 17775 0 0 0 70 6 0 0 20 0 24 0 420462274 8616062976 29989 33554432000 4194304 4196468 140736430784736 140482293862304 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27818] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27818/stat : 27818 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140482326264976 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27819] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27819/stat : 27819 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140482140421136 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27820] ppid=27792 vsize=8414124 memory=3976735856566744627 CPUtime=0 cores=0-7
/proc/27816/task/27820/stat : 27820 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481806367632 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27821] ppid=27792 vsize=8414124 memory=3976735856566744627 CPUtime=0 cores=0-7
/proc/27816/task/27821/stat : 27821 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481805314832 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27822] ppid=27792 vsize=8414124 memory=3473455227061285941 CPUtime=0 cores=0-7
/proc/27816/task/27822/stat : 27822 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481804262032 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27823] ppid=27792 vsize=8414124 memory=7380667932862404971 CPUtime=0 cores=0-7
/proc/27816/task/27823/stat : 27823 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481803209232 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27824] ppid=27792 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/27816/task/27824/stat : 27824 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481802156432 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27825] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27825/stat : 27825 (java) S 27792 27792 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420462276 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481801103632 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27826] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27826/stat : 27826 (java) S 27792 27792 26532 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420462277 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481616808816 140482322033282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27827] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27827/stat : 27827 (java) S 27792 27792 26532 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 420462278 8616062976 29989 33554432000 4194304 4196468 140736430784736 140480796943904 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27828] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27828/stat : 27828 (java) S 27792 27792 26532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420462278 8616062976 29989 33554432000 4194304 4196468 140736430784736 140480662721904 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27829] ppid=27792 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27816/task/27829/stat : 27829 (java) S 27792 27792 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140480288217424 140482322040731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27830] ppid=27792 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/27816/task/27830/stat : 27830 (java) S 27792 27792 26532 0 -1 1077944384 909 0 0 0 9 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481615755632 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27831] ppid=27792 vsize=8414124 memory=7089885615856050777 CPUtime=0.08 cores=0-7
/proc/27816/task/27831/stat : 27831 (java) S 27792 27792 26532 0 -1 1077944384 249 0 0 0 8 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481614702832 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27832] ppid=27792 vsize=8414124 memory=7811332378137542764 CPUtime=0.06 cores=0-7
/proc/27816/task/27832/stat : 27832 (java) S 27792 27792 26532 0 -1 1077944384 425 0 0 0 6 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481613650032 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27833] ppid=27792 vsize=8414124 memory=7442593561268858928 CPUtime=0.21 cores=0-7
/proc/27816/task/27833/stat : 27833 (java) S 27792 27792 26532 0 -1 1077944384 598 0 0 0 21 0 0 0 20 0 24 0 420462280 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481612597232 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27834] ppid=27792 vsize=8414124 memory=3472328296227680303 CPUtime=0 cores=0-7
/proc/27816/task/27834/stat : 27834 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420462281 8616062976 29989 33554432000 4194304 4196468 140736430784736 140479790312544 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27835] ppid=27792 vsize=8414124 memory=3472328304817614895 CPUtime=0.01 cores=0-7
/proc/27816/task/27835/stat : 27835 (java) S 27792 27792 26532 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 420462281 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481611545648 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27837] ppid=27792 vsize=8414124 memory=-3040564339105353098 CPUtime=0 cores=0-7
/proc/27816/task/27837/stat : 27837 (java) S 27792 27792 26532 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420462348 8616062976 29989 33554432000 4194304 4196468 140736430784736 140481603511872 140482322046745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27839] ppid=27792 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/27816/task/27839/stat : 27839 (java) S 27792 27792 26532 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420462348 8616062976 29989 33554432000 4194304 4196468 140736430784736 140479119212176 140482322044061 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27840] ppid=27792 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/27816/task/27840/stat : 27840 (java) S 27792 27792 26532 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420462348 8616062976 29989 33554432000 4194304 4196468 140736430784736 140479387647504 140482322044061 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27841] ppid=27792 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/27816/task/27841/stat : 27841 (java) S 27792 27792 26532 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420462350 8616062976 29989 33554432000 4194304 4196468 140736430784736 140478850784304 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
Current children cumulated CPU time: 196.39 s
Current children cumulated vsize: 10741432 KiB
Current children cumulated memory: 1894808 KiB

[startup+42.1099 s]
/proc/loadavg: 6.60 7.74 8.04 2/217 27851
/proc/meminfo: memFree=26908888/32770624 swapFree=66998528/67108860
[pid=27792] ppid=27789 vsize=113128 memory=1476 CPUtime=20.48 cores=0-7
/proc/27792/stat : 27792 (scop.sh) S 27789 27792 26532 0 -1 4202496 583 33451 0 0 0 0 1936 112 20 0 1 0 420461007 115843072 369 33554432000 4194304 5098028 140726781086416 140726781083160 140110843564668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40181760 140726781092645 140726781092972 140726781092972 140726781095885 0
/proc/27792/statm: 28282 369 311 221 0 87 0
[pid=27816] ppid=27792 vsize=8283048 memory=123100 CPUtime=176.08 cores=0-7
/proc/27816/stat : 27816 (java) S 27792 27792 26532 0 -1 1077944320 21631 1096015 0 0 126 10 17233 239 20 0 22 0 420462274 8481841152 30775 33554432000 4194304 4196468 140736430784736 140736430767280 140482322022135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
/proc/27816/statm: 2070762 30775 3210 1 0 2032106 0
[pid=27816/tid=27817] ppid=27792 vsize=8283048 memory=1476 CPUtime=175.49 cores=0-7
/proc/27816/task/27817/stat : 27817 (java) R 27792 27792 26532 0 -1 4202560 17787 1096015 0 0 70 7 17233 239 20 0 22 0 420462274 8481841152 30775 33554432000 4194304 4196468 140736430784736 140482293858048 140482314707767 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27818] ppid=27792 vsize=8283048 memory=1763224 CPUtime=174.72 cores=0-7
/proc/27816/task/27818/stat : 27818 (java) S 27792 27792 26532 0 -1 1077944384 1 1096015 0 0 0 0 17233 239 20 0 22 0 420462276 8481841152 30775 33554432000 4194304 4196468 140736430784736 140482326264976 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27819] ppid=27792 vsize=8283048 memory=0 CPUtime=174.72 cores=0-7
/proc/27816/task/27819/stat : 27819 (java) S 27792 27792 26532 0 -1 1077944384 1 1096015 0 0 0 0 17233 239 20 0 22 0 420462276 8481841152 30775 33554432000 4194304 4196468 140736430784736 140482140421136 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27820] ppid=27792 vsize=8283048 memory=1476 CPUtime=174.72 cores=0-7
/proc/27816/task/27820/stat : 27820 (java) S 27792 27792 26532 0 -1 1077944384 1 1096015 0 0 0 0 17233 239 20 0 22 0 420462276 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481806367632 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27821] ppid=27792 vsize=8283048 memory=119956 CPUtime=174.72 cores=0-7
/proc/27816/task/27821/stat : 27821 (java) S 27792 27792 26532 0 -1 1077944384 3 1096015 0 0 0 0 17233 239 20 0 22 0 420462276 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481805314832 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27822] ppid=27792 vsize=8283048 memory=0 CPUtime=174.72 cores=0-7
/proc/27816/task/27822/stat : 27822 (java) S 27792 27792 26532 0 -1 1077944384 2 1096015 0 0 0 0 17233 239 20 0 22 0 420462276 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481804262032 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27823] ppid=27792 vsize=8283048 memory=280545519987072 CPUtime=174.72 cores=0-7
/proc/27816/task/27823/stat : 27823 (java) S 27792 27792 26532 0 -1 1077944384 2 1096015 0 0 0 0 17233 239 20 0 22 0 420462276 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481803209232 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27824] ppid=27792 vsize=8283048 memory=1476 CPUtime=174.72 cores=0-7
/proc/27816/task/27824/stat : 27824 (java) S 27792 27792 26532 0 -1 1077944384 1 1096015 0 0 0 0 17233 239 20 0 22 0 420462276 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481802156432 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27825] ppid=27792 vsize=8283048 memory=119956 CPUtime=174.72 cores=0-7
/proc/27816/task/27825/stat : 27825 (java) S 27792 27792 26532 0 -1 1077944384 2 1096015 0 0 0 0 17233 239 20 0 22 0 420462276 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481801103632 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27826] ppid=27792 vsize=8283048 memory=1769544 CPUtime=174.72 cores=0-7
/proc/27816/task/27826/stat : 27826 (java) S 27792 27792 26532 0 -1 1077944384 7 1096015 0 0 0 0 17233 239 20 0 22 0 420462277 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481616808816 140482322033282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27827] ppid=27792 vsize=8283048 memory=1923 CPUtime=174.72 cores=0-7
/proc/27816/task/27827/stat : 27827 (java) S 27792 27792 26532 0 -1 1077944384 14 1096015 0 0 0 0 17233 239 20 0 22 0 420462278 8481841152 30775 33554432000 4194304 4196468 140736430784736 140480796943904 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27828] ppid=27792 vsize=8283048 memory=1923 CPUtime=174.72 cores=0-7
/proc/27816/task/27828/stat : 27828 (java) S 27792 27792 26532 0 -1 1077944384 21 1096015 0 0 0 0 17233 239 20 0 22 0 420462278 8481841152 30775 33554432000 4194304 4196468 140736430784736 140480662721904 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27829] ppid=27792 vsize=8283048 memory=1927 CPUtime=174.72 cores=0-7
/proc/27816/task/27829/stat : 27829 (java) S 27792 27792 26532 0 -1 1077944384 1 1096015 0 0 0 0 17233 239 20 0 22 0 420462280 8481841152 30775 33554432000 4194304 4196468 140736430784736 140480288217424 140482322040731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27830] ppid=27792 vsize=8283048 memory=0 CPUtime=174.83 cores=0-7
/proc/27816/task/27830/stat : 27830 (java) S 27792 27792 26532 0 -1 1077944384 915 1096015 0 0 11 0 17233 239 20 0 22 0 420462280 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481615755632 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27831] ppid=27792 vsize=8283048 memory=0 CPUtime=174.81 cores=0-7
/proc/27816/task/27831/stat : 27831 (java) S 27792 27792 26532 0 -1 1077944384 263 1096015 0 0 9 0 17233 239 20 0 22 0 420462280 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481614702832 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27832] ppid=27792 vsize=8283048 memory=0 CPUtime=174.79 cores=0-7
/proc/27816/task/27832/stat : 27832 (java) S 27792 27792 26532 0 -1 1077944384 426 1096015 0 0 7 0 17233 239 20 0 22 0 420462280 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481613650032 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27833] ppid=27792 vsize=8283048 memory=0 CPUtime=174.95 cores=0-7
/proc/27816/task/27833/stat : 27833 (java) S 27792 27792 26532 0 -1 1077944384 802 1096015 0 0 23 0 17233 239 20 0 22 0 420462280 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481612597232 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27834] ppid=27792 vsize=8283048 memory=7666360678473033826 CPUtime=174.72 cores=0-7
/proc/27816/task/27834/stat : 27834 (java) S 27792 27792 26532 0 -1 1077944384 3 1096015 0 0 0 0 17233 239 20 0 22 0 420462281 8481841152 30775 33554432000 4194304 4196468 140736430784736 140479790312544 140482322032341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27835] ppid=27792 vsize=8283048 memory=6004534632847796835 CPUtime=174.73 cores=0-7
/proc/27816/task/27835/stat : 27835 (java) S 27792 27792 26532 0 -1 1077944384 3 1096015 0 0 1 0 17233 239 20 0 22 0 420462281 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481611545648 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27837] ppid=27792 vsize=8283048 memory=1947504 CPUtime=174.72 cores=0-7
/proc/27816/task/27837/stat : 27837 (java) S 27792 27792 26532 0 -1 1077944384 24 1096015 0 0 0 0 17233 239 20 0 22 0 420462348 8481841152 30775 33554432000 4194304 4196468 140736430784736 140481603511056 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
[pid=27816/tid=27841] ppid=27792 vsize=8283048 memory=7309178837960058450 CPUtime=174.72 cores=0-7
/proc/27816/task/27841/stat : 27841 (java) S 27792 27792 26532 0 -1 1077944384 8 1096015 0 0 0 0 17233 239 20 0 22 0 420462350 8481841152 30775 33554432000 4194304 4196468 140736430784736 140478850786096 140482322033282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31186944 140736430793719 140736430793878 140736430793878 140736430796751 0
Current children cumulated CPU time: 196.56 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 124576 KiB

Child status: 0
Real time (s): 42.1251
CPU time (s): 196.617
CPU user time (s): 192.971
CPU system time (s): 3.64541
CPU usage (%): 466.745
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5919528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.971
system time used= 3.64541
maximum resident set size= 5919500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1151717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 113864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41124
involuntary context switches= 1948


# summary of solver processes directly reported to runsolver:
#   pid: 27792
#   total CPU time (s): 196.617
#   total CPU user time (s): 192.971
#   total CPU system time (s): 3.64541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.384623 second user time and 0.557596 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 08:18:01
IDJOB=4392368
IDBENCH=138444
IDSOLVER=2838
FILE ID=node127/4392368-1568441921
RUNJOBID= node127-1568436642-26559
PBS_JOBID= 21702318
Free space on /tmp= 61308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-06.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392368-1568441921/watcher-4392368-1568441921 -o /tmp/evaluation-result-4392368-1568441921/solver-4392368-1568441921 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568436642-26559 --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-4392368-1568441921.xml

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

MD5SUM BENCH= 6b3d88799df56964f86d557249875b85
RANDOM SEED=747597018

node127.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.55
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.55
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.55
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.55
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:        28848084 kB
MemAvailable:   31871988 kB
Buffers:          187672 kB
Cached:          3102736 kB
SwapCached:         6772 kB
Active:          1901684 kB
Inactive:        1400644 kB
Active(anon):       4956 kB
Inactive(anon):    48308 kB
Active(file):    1896728 kB
Inactive(file):  1352336 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             20856 kB
Writeback:             0 kB
AnonPages:        133572 kB
Mapped:            45404 kB
Shmem:             32700 kB
Slab:             211200 kB
SReclaimable:     181348 kB
SUnreclaim:        29852 kB
KernelStack:        3712 kB
PageTables:         6044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61288 MiB
End job on node127 at 2019-09-14 08:18:44