Trace number 4405204

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 19.9386 6.24256

General information on the benchmark

NameSchurrLemma/SchurrLemma-mod-s1/
SchurrLemma-mod-100-9.xml
MD5SUM4f03c112a8f6a228f13fa4574ba8a054
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 benchmark8.76786
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints2450
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":100}]
Minimum variable degree49
Maximum variable degree98
Distribution of variable degrees[{"degree":49,"count":1},{"degree":50,"count":2},{"degree":51,"count":2},{"degree":52,"count":2},{"degree":53,"count":2},{"degree":54,"count":2},{"degree":55,"count":2},{"degree":56,"count":2},{"degree":57,"count":2},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":2},{"degree":61,"count":2},{"degree":62,"count":2},{"degree":63,"count":2},{"degree":64,"count":2},{"degree":65,"count":2},{"degree":66,"count":2},{"degree":67,"count":2},{"degree":68,"count":2},{"degree":69,"count":2},{"degree":70,"count":2},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":3},{"degree":74,"count":3},{"degree":75,"count":2},{"degree":76,"count":2},{"degree":77,"count":2},{"degree":78,"count":2},{"degree":79,"count":2},{"degree":80,"count":2},{"degree":81,"count":2},{"degree":82,"count":2},{"degree":83,"count":2},{"degree":84,"count":2},{"degree":85,"count":2},{"degree":86,"count":2},{"degree":87,"count":2},{"degree":88,"count":2},{"degree":89,"count":2},{"degree":90,"count":2},{"degree":91,"count":2},{"degree":92,"count":2},{"degree":93,"count":2},{"degree":94,"count":2},{"degree":95,"count":2},{"degree":96,"count":2},{"degree":97,"count":2},{"degree":98,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":2450}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":2450}]
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-32374-serial-file.bin HOME/instance-4405204-1569336341.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 15:44:18 CEST 2019
0.66/0.57	c PID: 32377
0.66/0.57	c IP: 172.20.3.106
0.66/0.57	c HOST: node106.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.59/1.20	c (0,0) Parsing End
2.59/1.21	c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 2450 ctr, max domain size 9
3.39/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.39/1.50	c (0,0) Constraint Name Generate Begin
3.39/1.50	c (0,0) Ctr:HOME/instance-4405204-1569336341.xml,AllDifferent:Var
3.39/1.50	c (0,0) Constraint Name Generate End
3.39/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.39/1.50	c (0,0) CSP to CSPinCNF Begin
3.74/1.62	c (1,1) translated 245 (10%) constraints
4.00/1.72	c (1,1) translated 490 (20%) constraints
4.38/1.82	c (1,1) translated 735 (30%) constraints
4.38/1.90	c (1,1) translated 980 (40%) constraints
4.78/1.96	c (1,1) translated 1225 (50%) constraints
5.05/2.03	c (1,1) translated 1470 (60%) constraints
5.05/2.09	c (1,1) translated 1715 (70%) constraints
5.26/2.14	c (1,1) translated 1960 (80%) constraints
5.55/2.20	c (1,1) translated 2205 (90%) constraints
5.55/2.25	c (1,1) translated 2450 (100%) constraints
5.55/2.25	c (1,1) ===========================================
5.55/2.25	c (1,1) Order
5.55/2.25	c (1,1) ===========================================
5.83/2.35	c (1,1) translated 1470 (10%) constraints
6.21/2.42	c (1,1) translated 2940 (20%) constraints
6.21/2.48	c (1,1) translated 4410 (30%) constraints
6.62/2.53	c (1,1) translated 5880 (40%) constraints
6.62/2.57	c (2,2) translated 7350 (50%) constraints
7.00/2.61	c (2,2) translated 8820 (60%) constraints
7.00/2.65	c (2,2) translated 10290 (70%) constraints
7.00/2.69	c (2,2) translated 11760 (80%) constraints
7.30/2.72	c (2,2) translated 13230 (90%) constraints
7.30/2.76	c (2,2) translated 14700 (100%) constraints
7.30/2.76	c (2,2) CSP to CSPinCNF End
7.30/2.76	c (2,2) CSP: 100 int (0 aux), 0 bool (0 aux), 14700 ctr, max domain size 9
7.30/2.76	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.30/2.76	c (2,2) CSPinCNF Propagation Begin
7.57/2.89	c (2,2) 0 values, 0 unsatisfiable literals, and 2450 valid clauses are removed
7.57/2.89	c (2,2) CSPinCNF Propagation End
7.57/2.89	c (2,2) CSP: 100 int (0 aux), 0 bool (0 aux), 12250 ctr, max domain size 9
7.57/2.89	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.57/2.89	c (2,2) Simplify CSPinCNF Begin
8.99/3.21	c (2,2) Simplify CSPinCNF End
8.99/3.22	c (2,2) CSP: 100 int (0 aux), 9866 bool (9866 aux), 22116 ctr, max domain size 9
8.99/3.22	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.99/3.22	c (2,2) Calculate Precise Domain Begin
8.99/3.22	c (2,2) 0 values are removed by re-calculation
8.99/3.22	c (2,2) Calculate Precise Domain End
8.99/3.22	c (2,2) CSP: 100 int (0 aux), 9866 bool (9866 aux), 22116 ctr, max domain size 9
8.99/3.22	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.99/3.22	c (2,2) CSPinCNF to SatSolver Begin
10.63/3.60	c (3,3) 2212 (10 %) CSP clauses are encoded (0 SAT variables, 10799 SAT clauses)
11.01/3.73	c (3,3) 4424 (20 %) CSP clauses are encoded (0 SAT variables, 20899 SAT clauses)
11.43/3.86	c (3,3) 6635 (30 %) CSP clauses are encoded (0 SAT variables, 30990 SAT clauses)
11.83/3.96	c (3,3) 8847 (40 %) CSP clauses are encoded (0 SAT variables, 41098 SAT clauses)
12.09/4.04	c (3,3) 11058 (50 %) CSP clauses are encoded (0 SAT variables, 51197 SAT clauses)
12.28/4.12	c (3,3) 13270 (60 %) CSP clauses are encoded (0 SAT variables, 61305 SAT clauses)
12.28/4.19	c (3,3) 15482 (70 %) CSP clauses are encoded (0 SAT variables, 71413 SAT clauses)
12.38/4.26	c (3,3) 17693 (80 %) CSP clauses are encoded (0 SAT variables, 81544 SAT clauses)
12.65/4.33	c (3,3) 19905 (90 %) CSP clauses are encoded (0 SAT variables, 91660 SAT clauses)
12.78/4.40	c (3,3) 22116 (100 %) CSP clauses are encoded (0 SAT variables, 101743 SAT clauses)
12.78/4.40	c (3,3) CSPinCNF to SatSolver End
12.78/4.40	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
12.78/4.40	c (3,3) 10666 bool, 101744 clause
12.78/4.40	c (3,3) Export Begin
12.78/4.49	c (3,3) Export to HOME/scop-32374-serial-file.bin
12.78/4.49	c (3,3) Export End
12.78/4.49	c (3,3) Export File Size: 0.02 MB
12.78/4.49	c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
12.78/4.49	c END-Prog: Tue Sep 24 15:44:22 CEST 2019
12.95/4.51	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32374-serial-file.bin
12.96/4.97	c (0,0) Read Serial File Begin
12.96/4.97	c (0,0) HOME/scop-32374-serial-file.bin
13.74/5.17	c (0,0) Read Serial File End
13.74/5.18	
13.74/5.18	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
13.74/5.18	(Solving Process)
13.74/5.18	
13.90/5.21	c BEGIN-Prog: Tue Sep 24 15:44:22 CEST 2019
13.90/5.21	c PID: 32397
13.90/5.21	c IP: 172.20.3.106
13.90/5.21	c HOST: node106.alineos.net
13.90/5.21	c (0,0) SatSolver.solve Begin
13.90/5.21	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405204-1569336341.xml-scop-32377.cnf
13.90/5.24	c (0,0) c
13.90/5.24	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)
13.90/5.24	c (0,0) c
13.90/5.24	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.90/5.24	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.90/5.24	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.90/5.24	c (0,0) c |                                                                                                       |
13.90/5.27	c (0,0) c |  Number of variables:         10666                                                                   |
13.90/5.27	c (0,0) c |  Number of clauses:          101744                                                                   |
13.90/5.27	c (0,0) c |  Parse time:                   0.03 s                                                                 |
13.90/5.27	c (0,0) c |                                                                                                       |
14.10/5.35	c (0,0) c |  Simplification time:          0.08 s                                                                 |
14.10/5.35	c (0,0) c |                                                                                                       |
14.10/5.35	c (0,0) c |  Generating clones                                                                                    |
14.10/5.39	c (0,0) c |  all clones generated. Memory =    83.12Mb.                                                           |
14.10/5.39	c (0,0) c ========================================================================================================|
14.10/5.39	c (0,0) c
14.10/5.39	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
14.10/5.39	c (0,0) c
14.10/5.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.10/5.39	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.10/5.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.10/5.39	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
14.10/5.39	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
14.10/5.39	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
14.10/5.39	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
14.10/5.39	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.10/5.39	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.10/5.39	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.10/5.39	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.10/5.39	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.10/5.39	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.10/5.39	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.10/5.39	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.10/5.39	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.10/5.39	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.10/5.39	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.10/5.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.20	c (1,0) c
19.83/6.20	c (1,0) c real time : 0.965503 s
19.83/6.20	c (1,0) c cpu time  : 5.69145 s
19.83/6.20	c (1,0) c
19.83/6.20	c (1,0) c
19.83/6.20	c (1,0) c
19.83/6.20	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
19.83/6.20	c (1,0) c
19.83/6.20	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.20	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
19.83/6.20	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.20	c (1,0) c | Conflicts     |          126638 |      13897 |      11230 |      15855 |      13767 |      18756 |      12034 |      21574 |      19525 |
19.83/6.20	c (1,0) c | Decisions     |          158125 |      17381 |      13873 |      19957 |      17309 |      23526 |      14968 |      26829 |      24282 |
19.83/6.20	c (1,0) c | Propagations  |        16141766 |    1965565 |    1974817 |    2465267 |    2087371 |    1826233 |    2057335 |    1926749 |    1838429 |
19.83/6.20	c (1,0) c | ReduceDBs     |              21 |          3 |          2 |          3 |          2 |          3 |          2 |          3 |          3 |
19.83/6.20	c (1,0) c | SimpDBs       |              12 |          1 |          1 |          1 |          1 |          2 |          1 |          2 |          3 |
19.83/6.20	c (1,0) c | Restarts      |              40 |          5 |          3 |          6 |          7 |          4 |         12 |          2 |          1 |
19.83/6.20	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c | PropBinClauses|        27376222 |    3321288 |    3284017 |    4186601 |    3448582 |    3111826 |    3391258 |    3441126 |    3191524 |
19.83/6.20	c (1,0) c | PropPreBlocker|       221238699 |   26541338 |   25808346 |   30107950 |   25908968 |   27218342 |   25897319 |   30856904 |   28899532 |
19.83/6.20	c (1,0) c | PropNotBlocker|        99380143 |   12547624 |   13593636 |   13210283 |   12586590 |   11657095 |   13100049 |   11531031 |   11153835 |
19.83/6.20	c (1,0) c | LitFullScans  |       396656151 |   48001992 |   48001329 |   54004368 |   48002541 |   48001976 |   48001972 |   52314465 |   50327508 |
19.83/6.20	c (1,0) c | LitScanFracts |           10521 |       1231 |        222 |       1594 |       2262 |       1375 |       1434 |       1946 |        457 |
19.83/6.20	c (1,0) c | DecisionLevel0|              63 |          5 |          3 |          6 |          7 |          5 |         12 |         13 |         12 |
19.83/6.20	c (1,0) c | Periods       |              65 |          8 |          8 |          9 |          8 |          8 |          8 |          8 |          8 |
19.83/6.20	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
19.83/6.20	c (1,0) c | Avg_Trail     |                 |        506 |        417 |        490 |        477 |        278 |        428 |        284 |        305 |
19.83/6.20	c (1,0) c | Avg_DL        |                 |         12 |         13 |         11 |         13 |         12 |         14 |         10 |         10 |
19.83/6.20	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.20	c (1,0) c | Exported      |           28340 |       2996 |       2271 |       3512 |       3133 |       5033 |       1822 |       4929 |       4644 |
19.83/6.20	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
19.83/6.20	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.20	c (1,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          1 |          0 |         11 |         11 |
19.83/6.20	c (1,0) c | Binaries      |                 |          1 |          0 |          0 |          0 |         12 |          0 |         40 |         48 |
19.83/6.20	c (1,0) c | Glues         |                 |        310 |        366 |        333 |        416 |        493 |        350 |        601 |        406 |
19.83/6.20	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.20	c (1,0) c | Orig_Seen     |            13 % |       5487 |      18822 |       9541 |      21767 |      13599 |      20050 |       6174 |       4530 |
19.83/6.20	c (1,0) c | Diff Orig seen|                 | -      687 |      12648 |       3367 |      15593 |       7425 |      13876 |      X     | -     1644 |
19.83/6.20	c (1,0) c | Hamming       |            23 % |       2429 |       2574 |       2612 |       2453 |       2610 |       2593 |      X     |       2410 |
19.83/6.20	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.20	c (1,0) c | RunningTime   |                 |    0.7 100%|    0.8 100%|    0.7 100%|    0.7 100%|    0.7 100%|    0.8 100%|    0.7 100%|    0.7 100%|
19.83/6.20	c (1,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%|
19.83/6.20	c (1,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%|
19.83/6.20	c (1,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%|
19.83/6.20	c (1,0) c | SolvingTime   |                 |    0.7     |    0.8     |    0.7     |    0.7     |    0.7     |    0.8     |    0.7     |    0.7     |
19.83/6.20	c (1,0) c | PropagationTim|                 |    0.6  88%|    0.7  90%|    0.6  85%|    0.6  87%|    0.6  85%|    0.7  90%|    0.6  86%|    0.6  85%|
19.83/6.20	c (1,0) c | AnalysisTime  |                 |    0.0   6%|    0.0   6%|    0.1   7%|    0.1   8%|    0.1   8%|    0.1   6%|    0.1   7%|    0.0   7%|
19.83/6.20	c (1,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   2%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
19.83/6.20	c (1,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   2%|    0.0   0%|    0.0   2%|    0.0   2%|
19.83/6.20	c (1,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%|
19.83/6.20	c (1,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%|
19.83/6.20	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.20	c (1,0) c
19.83/6.20	c (1,0) c
19.83/6.20	c (1,0) c Threads : 8
19.83/6.20	c (1,0) c Winner : 6
19.83/6.20	c (1,0) c Conflicts_0 : 13897
19.83/6.20	c (1,0) c Conflicts_1 : 11230
19.83/6.20	c (1,0) c Conflicts_2 : 15855
19.83/6.20	c (1,0) c Conflicts_3 : 13767
19.83/6.20	c (1,0) c Conflicts_4 : 18756
19.83/6.20	c (1,0) c Conflicts_5 : 12034
19.83/6.20	c (1,0) c Conflicts_6 : 21574
19.83/6.20	c (1,0) c Conflicts_7 : 19525
19.83/6.20	c (1,0) c Conflicts_total : 126638
19.83/6.20	c (1,0) c Conflicts_winner : 21574
19.83/6.20	c (1,0) c Decisions_0 : 17381
19.83/6.20	c (1,0) c Decisions_1 : 13873
19.83/6.20	c (1,0) c Decisions_2 : 19957
19.83/6.20	c (1,0) c Decisions_3 : 17309
19.83/6.20	c (1,0) c Decisions_4 : 23526
19.83/6.20	c (1,0) c Decisions_5 : 14968
19.83/6.20	c (1,0) c Decisions_6 : 26829
19.83/6.20	c (1,0) c Decisions_7 : 24282
19.83/6.20	c (1,0) c Decisions_total : 158125
19.83/6.20	c (1,0) c Decisions_winner : 26829
19.83/6.20	c (1,0) c Propagations_0 : 1965565
19.83/6.20	c (1,0) c Propagations_1 : 1974817
19.83/6.20	c (1,0) c Propagations_2 : 2465267
19.83/6.20	c (1,0) c Propagations_3 : 2087371
19.83/6.20	c (1,0) c Propagations_4 : 1826233
19.83/6.20	c (1,0) c Propagations_5 : 2057335
19.83/6.20	c (1,0) c Propagations_6 : 1926749
19.83/6.20	c (1,0) c Propagations_7 : 1838429
19.83/6.20	c (1,0) c Propagations_total : 16141766
19.83/6.20	c (1,0) c Propagations_winner : 1926749
19.83/6.20	c (1,0) c ReduceDBs_0 : 3
19.83/6.20	c (1,0) c ReduceDBs_1 : 2
19.83/6.20	c (1,0) c ReduceDBs_2 : 3
19.83/6.20	c (1,0) c ReduceDBs_3 : 2
19.83/6.20	c (1,0) c ReduceDBs_4 : 3
19.83/6.20	c (1,0) c ReduceDBs_5 : 2
19.83/6.20	c (1,0) c ReduceDBs_6 : 3
19.83/6.20	c (1,0) c ReduceDBs_7 : 3
19.83/6.20	c (1,0) c ReduceDBs_total : 21
19.83/6.20	c (1,0) c ReduceDBs_winner : 3
19.83/6.20	c (1,0) c SimpDBs_0 : 1
19.83/6.20	c (1,0) c SimpDBs_1 : 1
19.83/6.20	c (1,0) c SimpDBs_2 : 1
19.83/6.20	c (1,0) c SimpDBs_3 : 1
19.83/6.20	c (1,0) c SimpDBs_4 : 2
19.83/6.20	c (1,0) c SimpDBs_5 : 1
19.83/6.20	c (1,0) c SimpDBs_6 : 2
19.83/6.20	c (1,0) c SimpDBs_7 : 3
19.83/6.20	c (1,0) c SimpDBs_total : 12
19.83/6.20	c (1,0) c SimpDBs_winner : 2
19.83/6.20	c (1,0) c Restarts_0 : 5
19.83/6.20	c (1,0) c Restarts_1 : 3
19.83/6.20	c (1,0) c Restarts_2 : 6
19.83/6.20	c (1,0) c Restarts_3 : 7
19.83/6.20	c (1,0) c Restarts_4 : 4
19.83/6.20	c (1,0) c Restarts_5 : 12
19.83/6.20	c (1,0) c Restarts_6 : 2
19.83/6.20	c (1,0) c Restarts_7 : 1
19.83/6.20	c (1,0) c Restarts_total : 40
19.83/6.20	c (1,0) c Restarts_winner : 2
19.83/6.20	c (1,0) c ForcedImports_0 : 0
19.83/6.20	c (1,0) c ForcedImports_1 : 0
19.83/6.20	c (1,0) c ForcedImports_2 : 0
19.83/6.20	c (1,0) c ForcedImports_3 : 0
19.83/6.20	c (1,0) c ForcedImports_4 : 0
19.83/6.20	c (1,0) c ForcedImports_5 : 0
19.83/6.20	c (1,0) c ForcedImports_6 : 0
19.83/6.20	c (1,0) c ForcedImports_7 : 0
19.83/6.20	c (1,0) c ForcedImports_total : 0
19.83/6.20	c (1,0) c ForcedImports_winner : 0
19.83/6.20	c (1,0) c PropsBinClauses_0 : 3321288
19.83/6.20	c (1,0) c PropsBinClauses_1 : 3284017
19.83/6.20	c (1,0) c PropsBinClauses_2 : 4186601
19.83/6.20	c (1,0) c PropsBinClauses_3 : 3448582
19.83/6.20	c (1,0) c PropsBinClauses_4 : 3111826
19.83/6.20	c (1,0) c PropsBinClauses_5 : 3391258
19.83/6.21	c (1,0) c PropsBinClauses_6 : 3441126
19.83/6.21	c (1,0) c PropsBinClauses_7 : 3191524
19.83/6.21	c (1,0) c PropsBinClauses_total : 27376222
19.83/6.21	c (1,0) c PropsBinClauses_winner : 3441126
19.83/6.21	c (1,0) c PropsPreBlocker_0 : 26541338
19.83/6.21	c (1,0) c PropsPreBlocker_1 : 25808346
19.83/6.21	c (1,0) c PropsPreBlocker_2 : 30107950
19.83/6.21	c (1,0) c PropsPreBlocker_3 : 25908968
19.83/6.21	c (1,0) c PropsPreBlocker_4 : 27218342
19.83/6.21	c (1,0) c PropsPreBlocker_5 : 25897319
19.83/6.21	c (1,0) c PropsPreBlocker_6 : 30856904
19.83/6.21	c (1,0) c PropsPreBlocker_7 : 28899532
19.83/6.21	c (1,0) c PropsPreBlocker_total : 221238699
19.83/6.21	c (1,0) c PropsPreBlocker_winner : 30856904
19.83/6.21	c (1,0) c PropsNotBlocker_0 : 12547624
19.83/6.21	c (1,0) c PropsNotBlocker_1 : 13593636
19.83/6.21	c (1,0) c PropsNotBlocker_2 : 13210283
19.83/6.21	c (1,0) c PropsNotBlocker_3 : 12586590
19.83/6.21	c (1,0) c PropsNotBlocker_4 : 11657095
19.83/6.21	c (1,0) c PropsNotBlocker_5 : 13100049
19.83/6.21	c (1,0) c PropsNotBlocker_6 : 11531031
19.83/6.21	c (1,0) c PropsNotBlocker_7 : 11153835
19.83/6.21	c (1,0) c PropsNotBlocker_total : 99380143
19.83/6.21	c (1,0) c PropsNotBlocker_winner : 11531031
19.83/6.21	c (1,0) c PropsLitFullScans_0 : 48001992
19.83/6.21	c (1,0) c PropsLitFullScans_1 : 48001329
19.83/6.21	c (1,0) c PropsLitFullScans_2 : 54004368
19.83/6.21	c (1,0) c PropsLitFullScans_3 : 48002541
19.83/6.21	c (1,0) c PropsLitFullScans_4 : 48001976
19.83/6.21	c (1,0) c PropsLitFullScans_5 : 48001972
19.83/6.21	c (1,0) c PropsLitFullScans_6 : 52314465
19.83/6.21	c (1,0) c PropsLitFullScans_7 : 50327508
19.83/6.21	c (1,0) c PropsLitFullScans_total : 396656151
19.83/6.21	c (1,0) c PropsLitFullScans_winner : 52314465
19.83/6.21	c (1,0) c LitScanFractions_0 : 1231
19.83/6.21	c (1,0) c LitScanFractions_1 : 222
19.83/6.21	c (1,0) c LitScanFractions_2 : 1594
19.83/6.21	c (1,0) c LitScanFractions_3 : 2262
19.83/6.21	c (1,0) c LitScanFractions_4 : 1375
19.83/6.21	c (1,0) c LitScanFractions_5 : 1434
19.83/6.21	c (1,0) c LitScanFractions_6 : 1946
19.83/6.21	c (1,0) c LitScanFractions_7 : 457
19.83/6.21	c (1,0) c LitScanFractions_total : 10521
19.83/6.21	c (1,0) c LitScanFractions_winner : 1946
19.83/6.21	c (1,0) c DecisionLevel0_0 : 5
19.83/6.21	c (1,0) c DecisionLevel0_1 : 3
19.83/6.21	c (1,0) c DecisionLevel0_2 : 6
19.83/6.21	c (1,0) c DecisionLevel0_3 : 7
19.83/6.21	c (1,0) c DecisionLevel0_4 : 5
19.83/6.21	c (1,0) c DecisionLevel0_5 : 12
19.83/6.21	c (1,0) c DecisionLevel0_6 : 13
19.83/6.21	c (1,0) c DecisionLevel0_7 : 12
19.83/6.21	c (1,0) c DecisionLevel0_total : 63
19.83/6.21	c (1,0) c DecisionLevel0_winner : 13
19.83/6.21	c (1,0) c Periods_0 : 8
19.83/6.21	c (1,0) c Periods_1 : 8
19.83/6.21	c (1,0) c Periods_2 : 9
19.83/6.21	c (1,0) c Periods_3 : 8
19.83/6.21	c (1,0) c Periods_4 : 8
19.83/6.21	c (1,0) c Periods_5 : 8
19.83/6.21	c (1,0) c Periods_6 : 8
19.83/6.21	c (1,0) c Periods_7 : 8
19.83/6.21	c (1,0) c Periods_total : 65
19.83/6.21	c (1,0) c Periods_winner : 8
19.83/6.21	c (1,0) c Margin_0 : 20
19.83/6.21	c (1,0) c Margin_1 : 20
19.83/6.21	c (1,0) c Margin_2 : 20
19.83/6.21	c (1,0) c Margin_3 : 20
19.83/6.21	c (1,0) c Margin_4 : 20
19.83/6.21	c (1,0) c Margin_5 : 20
19.83/6.21	c (1,0) c Margin_6 : 20
19.83/6.21	c (1,0) c Margin_7 : 20
19.83/6.21	c (1,0) c Margin_total : 160
19.83/6.21	c (1,0) c Margin_winner : 20
19.83/6.21	c (1,0) c Exported_0 : 2996
19.83/6.21	c (1,0) c Exported_1 : 2271
19.83/6.21	c (1,0) c Exported_2 : 3512
19.83/6.21	c (1,0) c Exported_3 : 3133
19.83/6.21	c (1,0) c Exported_4 : 5033
19.83/6.21	c (1,0) c Exported_5 : 1822
19.83/6.21	c (1,0) c Exported_6 : 4929
19.83/6.21	c (1,0) c Exported_7 : 4644
19.83/6.21	c (1,0) c Exported_total : 28340
19.83/6.21	c (1,0) c Exported_winner : 4929
19.83/6.21	c (1,0) c Imported_0 : 0
19.83/6.21	c (1,0) c Imported_1 : 0
19.83/6.21	c (1,0) c Imported_2 : 0
19.83/6.21	c (1,0) c Imported_3 : 0
19.83/6.21	c (1,0) c Imported_4 : 0
19.83/6.21	c (1,0) c Imported_5 : 0
19.83/6.21	c (1,0) c Imported_6 : 0
19.83/6.21	c (1,0) c Imported_7 : 0
19.83/6.21	c (1,0) c Imported_total : 0
19.83/6.21	c (1,0) c Imported_winner : 0
19.83/6.21	c (1,0) c Good_0 : 0
19.83/6.21	c (1,0) c Good_1 : 0
19.83/6.21	c (1,0) c Good_2 : 0
19.83/6.21	c (1,0) c Good_3 : 0
19.83/6.21	c (1,0) c Good_4 : 0
19.83/6.21	c (1,0) c Good_5 : 0
19.83/6.21	c (1,0) c Good_6 : 0
19.83/6.21	c (1,0) c Good_7 : 0
19.83/6.21	c (1,0) c Good_total : 0
19.83/6.21	c (1,0) c Good_winner : 0
19.83/6.21	c (1,0) c Purge_0 : 0
19.83/6.21	c (1,0) c Purge_1 : 0
19.83/6.21	c (1,0) c Purge_2 : 0
19.83/6.21	c (1,0) c Purge_3 : 0
19.83/6.21	c (1,0) c Purge_4 : 0
19.83/6.21	c (1,0) c Purge_5 : 0
19.83/6.21	c (1,0) c Purge_6 : 0
19.83/6.21	c (1,0) c Purge_7 : 0
19.83/6.21	c (1,0) c Purge_total : 0
19.83/6.21	c (1,0) c Purge_winner : 0
19.83/6.21	c (1,0) c Promoted_0 : 0
19.83/6.21	c (1,0) c Promoted_1 : 0
19.83/6.21	c (1,0) c Promoted_2 : 0
19.83/6.21	c (1,0) c Promoted_3 : 0
19.83/6.21	c (1,0) c Promoted_4 : 0
19.83/6.21	c (1,0) c Promoted_5 : 0
19.83/6.21	c (1,0) c Promoted_6 : 0
19.83/6.21	c (1,0) c Promoted_7 : 0
19.83/6.21	c (1,0) c Promoted_total : 0
19.83/6.21	c (1,0) c Promoted_winner : 0
19.83/6.21	c (1,0) c Remove_Imp_0 : 0
19.83/6.21	c (1,0) c Remove_Imp_1 : 0
19.83/6.21	c (1,0) c Remove_Imp_2 : 0
19.83/6.21	c (1,0) c Remove_Imp_3 : 0
19.83/6.21	c (1,0) c Remove_Imp_4 : 0
19.83/6.21	c (1,0) c Remove_Imp_5 : 0
19.83/6.21	c (1,0) c Remove_Imp_6 : 0
19.83/6.21	c (1,0) c Remove_Imp_7 : 0
19.83/6.21	c (1,0) c Remove_Imp_total : 0
19.83/6.21	c (1,0) c Remove_Imp_winner : 0
19.83/6.21	c (1,0) c Blocked_Reuse_0 : 0
19.83/6.21	c (1,0) c Blocked_Reuse_1 : 0
19.83/6.21	c (1,0) c Blocked_Reuse_2 : 0
19.83/6.21	c (1,0) c Blocked_Reuse_3 : 0
19.83/6.21	c (1,0) c Blocked_Reuse_4 : 0
19.83/6.21	c (1,0) c Blocked_Reuse_5 : 0
19.83/6.21	c (1,0) c Blocked_Reuse_6 : 0
19.83/6.21	c (1,0) c Blocked_Reuse_7 : 0
19.83/6.21	c (1,0) c Blocked_Reuse_total : 0
19.83/6.21	c (1,0) c Blocked_Reuse_winner : 0
19.83/6.21	c (1,0) c Unaries_0 : 0
19.83/6.21	c (1,0) c Unaries_1 : 0
19.83/6.21	c (1,0) c Unaries_2 : 0
19.83/6.21	c (1,0) c Unaries_3 : 0
19.83/6.21	c (1,0) c Unaries_4 : 1
19.83/6.21	c (1,0) c Unaries_5 : 0
19.83/6.21	c (1,0) c Unaries_6 : 11
19.83/6.21	c (1,0) c Unaries_7 : 11
19.83/6.21	c (1,0) c Unaries_total : 23
19.83/6.21	c (1,0) c Unaries_winner : 11
19.83/6.21	c (1,0) c Binaries_0 : 1
19.83/6.21	c (1,0) c Binaries_1 : 0
19.83/6.21	c (1,0) c Binaries_2 : 0
19.83/6.21	c (1,0) c Binaries_3 : 0
19.83/6.21	c (1,0) c Binaries_4 : 12
19.83/6.21	c (1,0) c Binaries_5 : 0
19.83/6.21	c (1,0) c Binaries_6 : 40
19.83/6.21	c (1,0) c Binaries_7 : 48
19.83/6.21	c (1,0) c Binaries_total : 101
19.83/6.21	c (1,0) c Binaries_winner : 40
19.83/6.21	c (1,0) c Glues_0 : 310
19.83/6.21	c (1,0) c Glues_1 : 366
19.83/6.21	c (1,0) c Glues_2 : 333
19.83/6.21	c (1,0) c Glues_3 : 416
19.83/6.21	c (1,0) c Glues_4 : 493
19.83/6.21	c (1,0) c Glues_5 : 350
19.83/6.21	c (1,0) c Glues_6 : 601
19.83/6.21	c (1,0) c Glues_7 : 406
19.83/6.21	c (1,0) c Glues_total : 3275
19.83/6.21	c (1,0) c Glues_winner : 601
19.83/6.21	c (1,0) c RunningTime_0 : 0.685501
19.83/6.21	c (1,0) c RunningTime_1 : 0.808576
19.83/6.21	c (1,0) c RunningTime_2 : 0.700227
19.83/6.21	c (1,0) c RunningTime_3 : 0.697975
19.83/6.21	c (1,0) c RunningTime_4 : 0.686696
19.83/6.21	c (1,0) c RunningTime_5 : 0.785240
19.83/6.21	c (1,0) c RunningTime_6 : 0.726087
19.83/6.21	c (1,0) c RunningTime_7 : 0.682140
19.83/6.21	c (1,0) c RunningTime_total : 5.772443
19.83/6.21	c (1,0) c RunningTime_winner : 0.726087
19.83/6.21	c (1,0) c WaitingTime_0 : 0.000000
19.83/6.21	c (1,0) c WaitingTime_1 : 0.000000
19.83/6.21	c (1,0) c WaitingTime_2 : 0.000000
19.83/6.21	c (1,0) c WaitingTime_3 : 0.000000
19.83/6.21	c (1,0) c WaitingTime_4 : 0.000000
19.83/6.21	c (1,0) c WaitingTime_5 : 0.000000
19.83/6.21	c (1,0) c WaitingTime_6 : 0.000000
19.83/6.21	c (1,0) c WaitingTime_7 : 0.000000
19.83/6.21	c (1,0) c WaitingTime_total : 0.000000
19.83/6.21	c (1,0) c WaitingTime_winner : 0.000000
19.83/6.21	c (1,0) c ExchangingTime_0 : 0.000802
19.83/6.21	c (1,0) c ExchangingTime_1 : 0.000736
19.83/6.21	c (1,0) c ExchangingTime_2 : 0.001075
19.83/6.21	c (1,0) c ExchangingTime_3 : 0.000824
19.83/6.21	c (1,0) c ExchangingTime_4 : 0.000993
19.83/6.21	c (1,0) c ExchangingTime_5 : 0.000745
19.83/6.21	c (1,0) c ExchangingTime_6 : 0.001244
19.83/6.21	c (1,0) c ExchangingTime_7 : 0.001055
19.83/6.21	c (1,0) c ExchangingTime_total : 0.007473
19.83/6.21	c (1,0) c ExchangingTime_winner : 0.001244
19.83/6.21	c (1,0) c PeriodProcTime_0 : 0.000061
19.83/6.21	c (1,0) c PeriodProcTime_1 : 0.000057
19.83/6.21	c (1,0) c PeriodProcTime_2 : 0.000095
19.83/6.21	c (1,0) c PeriodProcTime_3 : 0.000091
19.83/6.21	c (1,0) c PeriodProcTime_4 : 0.000065
19.83/6.21	c (1,0) c PeriodProcTime_5 : 0.000061
19.83/6.21	c (1,0) c PeriodProcTime_6 : 0.000061
19.83/6.21	c (1,0) c PeriodProcTime_7 : 0.000079
19.83/6.21	c (1,0) c PeriodProcTime_total : 0.000570
19.83/6.21	c (1,0) c PeriodProcTime_winner : 0.000061
19.83/6.21	c (1,0) c SolvingTime_0 : 0.686363
19.83/6.21	c (1,0) c SolvingTime_1 : 0.809369
19.83/6.21	c (1,0) c SolvingTime_2 : 0.701398
19.83/6.21	c (1,0) c SolvingTime_3 : 0.698889
19.83/6.21	c (1,0) c SolvingTime_4 : 0.687754
19.83/6.21	c (1,0) c SolvingTime_5 : 0.786046
19.83/6.21	c (1,0) c SolvingTime_6 : 0.727391
19.83/6.21	c (1,0) c SolvingTime_7 : 0.683274
19.83/6.21	c (1,0) c SolvingTime_total : 5.780486
19.83/6.21	c (1,0) c SolvingTime_winner : 0.727391
19.83/6.21	c (1,0) c PropagationTime_0 : 0.603338
19.83/6.21	c (1,0) c PropagationTime_1 : 0.730544
19.83/6.21	c (1,0) c PropagationTime_2 : 0.595707
19.83/6.21	c (1,0) c PropagationTime_3 : 0.611226
19.83/6.21	c (1,0) c PropagationTime_4 : 0.581991
19.83/6.21	c (1,0) c PropagationTime_5 : 0.703946
19.83/6.21	c (1,0) c PropagationTime_6 : 0.624680
19.83/6.21	c (1,0) c PropagationTime_7 : 0.583360
19.83/6.21	c (1,0) c PropagationTime_total : 5.034793
19.83/6.21	c (1,0) c PropagationTime_winner : 0.624680
19.83/6.21	c (1,0) c AnalysisTime_0 : 0.040385
19.83/6.21	c (1,0) c AnalysisTime_1 : 0.049047
19.83/6.21	c (1,0) c AnalysisTime_2 : 0.052379
19.83/6.21	c (1,0) c AnalysisTime_3 : 0.056400
19.83/6.21	c (1,0) c AnalysisTime_4 : 0.056002
19.83/6.21	c (1,0) c AnalysisTime_5 : 0.051007
19.83/6.21	c (1,0) c AnalysisTime_6 : 0.050434
19.83/6.21	c (1,0) c AnalysisTime_7 : 0.047179
19.83/6.21	c (1,0) c AnalysisTime_total : 0.402834
19.83/6.21	c (1,0) c AnalysisTime_winner : 0.050434
19.83/6.21	c (1,0) c ReductionTime_0 : 0.003064
19.83/6.21	c (1,0) c ReductionTime_1 : 0.001281
19.83/6.21	c (1,0) c ReductionTime_2 : 0.013429
19.83/6.21	c (1,0) c ReductionTime_3 : 0.001332
19.83/6.21	c (1,0) c ReductionTime_4 : 0.003090
19.83/6.21	c (1,0) c ReductionTime_5 : 0.001275
19.83/6.21	c (1,0) c ReductionTime_6 : 0.003043
19.83/6.21	c (1,0) c ReductionTime_7 : 0.003058
19.83/6.21	c (1,0) c ReductionTime_total : 0.029573
19.83/6.21	c (1,0) c ReductionTime_winner : 0.003043
19.83/6.21	c (1,0) c SimplifyTime_0 : 0.000000
19.83/6.21	c (1,0) c SimplifyTime_1 : 0.000000
19.83/6.21	c (1,0) c SimplifyTime_2 : 0.000000
19.83/6.21	c (1,0) c SimplifyTime_3 : 0.000000
19.83/6.21	c (1,0) c SimplifyTime_4 : 0.011901
19.83/6.21	c (1,0) c SimplifyTime_5 : 0.000002
19.83/6.21	c (1,0) c SimplifyTime_6 : 0.012083
19.83/6.21	c (1,0) c SimplifyTime_7 : 0.014858
19.83/6.21	c (1,0) c SimplifyTime_total : 0.038844
19.83/6.21	c (1,0) c SimplifyTime_winner : 0.012083
19.83/6.21	c (1,0) c UsedRateTime_0 : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_1 : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_2 : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_3 : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_4 : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_5 : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_6 : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_7 : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_total : 0.000000
19.83/6.21	c (1,0) c UsedRateTime_winner : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_0 : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_1 : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_2 : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_3 : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_4 : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_5 : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_6 : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_7 : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_total : 0.000000
19.83/6.21	c (1,0) c OverlapRateTime_winner : 0.000000
19.83/6.21	c (1,0) c
19.83/6.21	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
19.83/6.21	c (1,0) c
19.83/6.21	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.21	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
19.83/6.21	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.21	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
19.83/6.21	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
19.83/6.21	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
19.83/6.21	c (1,0) c | Initial random_seed   | 1739278528 |  922338807 | 2093294688 | 1827691563 | 2108286468 | 1088666805 | 1683784223 | 1334883875 |
19.83/6.21	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
19.83/6.21	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
19.83/6.21	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
19.83/6.21	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
19.83/6.21	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
19.83/6.21	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
19.83/6.21	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
19.83/6.21	c (1,0) c | var_decay             |     0.8200 |     0.8200 |     0.8300 |     0.8200 |     0.8300 |     0.8200 |     0.8400 |     0.8300 |
19.83/6.21	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
19.83/6.21	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
19.83/6.22	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
19.83/6.22	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.83/6.22	c (1,0) 
19.83/6.22	c (1,0) s UNSATISFIABLE
19.83/6.22	c (1,0) SatSolver.solve End
19.83/6.22	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.83/6.22	c (1,0) Show results Begin
19.83/6.22	s UNSATISFIABLE
19.83/6.22	c (1,0) Show results End
19.83/6.22	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.83/6.22	c (1,0) 1,1,STOP-AFTER(ALL)
19.83/6.22	c END-Prog: Tue Sep 24 15:44:23 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 (9668 MiB free)
  memory of node 1: 16384 MiB (15033 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405204-1569336341/watcher-4405204-1569336341 -o /tmp/evaluation-result-4405204-1569336341/solver-4405204-1569336341 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --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-4405204-1569336341.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=32374, runsolver pid=32371
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 2.96 3.54 1.75 3/211 32396
/proc/meminfo: memFree=25200788/32770624 swapFree=66999716/67108860
[pid=32374] ppid=32371 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32374/stat : 32374 (scop.sh) S 32371 32374 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509888081 115843072 349 33554432000 4194304 5098028 140728587405088 140728587402344 140397618868860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28393472 140728587412261 140728587412588 140728587412588 140728587415501 0
/proc/32374/statm: 28282 349 296 221 0 87 0
[pid=32377] ppid=32374 vsize=27314120 memory=106088 CPUtime=0.1 cores=0-7
/proc/32377/stat : 32377 (java) S 32374 32374 31481 0 -1 1077944320 6560 0 0 0 8 2 0 0 20 0 20 0 509888082 27969658880 26522 33554432000 4194304 4196468 140732703655632 140732703638176 140507133607671 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
/proc/32377/statm: 6828530 26522 2812 1 0 6790935 0
[pid=32377/tid=32378] ppid=32374 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32377/task/32378/stat : 32378 (java) R 32374 32374 31481 0 -1 4202560 4632 0 0 0 7 2 0 0 20 0 20 0 509888082 27969658880 26522 33554432000 4194304 4196468 140732703655632 140507105432528 140507117688158 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32379] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32379/stat : 32379 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888084 27969658880 26522 33554432000 4194304 4196468 140732703655632 140507137850384 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32380] ppid=32374 vsize=27314120 memory=139674777597568 CPUtime=0 cores=0-7
/proc/32377/task/32380/stat : 32380 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 26522 33554432000 4194304 4196468 140732703655632 140506971229328 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32381] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32381/stat : 32381 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 26522 33554432000 4194304 4196468 140732703655632 140506554510096 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32382] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32382/stat : 32382 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 26522 33554432000 4194304 4196468 140732703655632 140506553457552 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32383] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32383/stat : 32383 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 26522 33554432000 4194304 4196468 140732703655632 140506552404496 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32384] ppid=32374 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32377/task/32384/stat : 32384 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 26522 33554432000 4194304 4196468 140732703655632 140506551351952 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32385] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32385/stat : 32385 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 26522 33554432000 4194304 4196468 140732703655632 140506550298896 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32386] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32386/stat : 32386 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 26522 33554432000 4194304 4196468 140732703655632 140506549246352 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32387] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32387/stat : 32387 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888086 27969658880 26522 33554432000 4194304 4196468 140732703655632 140505185417968 140507133618818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32388] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32388/stat : 32388 (java) S 32374 32374 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509888087 27969658880 26522 33554432000 4194304 4196468 140732703655632 140505090352800 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32389] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32389/stat : 32389 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888087 27969658880 26522 33554432000 4194304 4196468 140732703655632 140504821916912 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32390] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32390/stat : 32390 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 26522 33554432000 4194304 4196468 140732703655632 140504447408592 140507133626267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32391] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32391/stat : 32391 (java) S 32374 32374 31481 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 26522 33554432000 4194304 4196468 140732703655632 140505184364784 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32392] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32392/stat : 32392 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 26522 33554432000 4194304 4196468 140732703655632 140505183312240 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32393] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32393/stat : 32393 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 26522 33554432000 4194304 4196468 140732703655632 140505182259184 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32394] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32394/stat : 32394 (java) S 32374 32374 31481 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 26522 33554432000 4194304 4196468 140732703655632 140505181206640 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32395] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32395/stat : 32395 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 26522 33554432000 4194304 4196468 140732703655632 140503949503456 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32396] ppid=32374 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32377/task/32396/stat : 32396 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888090 27969658880 26522 33554432000 4194304 4196468 140732703655632 140505180155056 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107484 KiB

[startup+0.210426 s]*
/proc/loadavg: 2.96 3.54 1.75 3/211 32396
/proc/meminfo: memFree=25179492/32770624 swapFree=66999716/67108860
[pid=32374] ppid=32371 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32374/stat : 32374 (scop.sh) S 32371 32374 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509888081 115843072 349 33554432000 4194304 5098028 140728587405088 140728587402344 140397618868860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28393472 140728587412261 140728587412588 140728587412588 140728587415501 0
/proc/32374/statm: 28282 349 296 221 0 87 0
[pid=32377] ppid=32374 vsize=27314120 memory=125176 CPUtime=0.24 cores=0-7
/proc/32377/stat : 32377 (java) S 32374 32374 31481 0 -1 1077944320 12210 0 0 0 20 4 0 0 20 0 20 0 509888082 27969658880 31294 33554432000 4194304 4196468 140732703655632 140732703638176 140507133607671 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
/proc/32377/statm: 6828530 31294 2910 1 0 6790935 0
[pid=32377/tid=32378] ppid=32374 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32377/task/32378/stat : 32378 (java) R 32374 32374 31481 0 -1 4202560 9861 0 0 0 16 3 0 0 20 0 20 0 509888082 27969658880 31294 33554432000 4194304 4196468 140732703655632 140507105415376 140507118773264 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32379] ppid=32374 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/32377/task/32379/stat : 32379 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888084 27969658880 31294 33554432000 4194304 4196468 140732703655632 140507137850384 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32380] ppid=32374 vsize=27314120 memory=139674777626701 CPUtime=0 cores=0-7
/proc/32377/task/32380/stat : 32380 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 31294 33554432000 4194304 4196468 140732703655632 140506971229328 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32381] ppid=32374 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32377/task/32381/stat : 32381 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 31294 33554432000 4194304 4196468 140732703655632 140506554510096 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32382] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32382/stat : 32382 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 31294 33554432000 4194304 4196468 140732703655632 140506553457552 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32383] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32383/stat : 32383 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 31294 33554432000 4194304 4196468 140732703655632 140506552404496 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32384] ppid=32374 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32377/task/32384/stat : 32384 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 31294 33554432000 4194304 4196468 140732703655632 140506551351952 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32385] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32385/stat : 32385 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 31294 33554432000 4194304 4196468 140732703655632 140506550298896 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32386] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32386/stat : 32386 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 31294 33554432000 4194304 4196468 140732703655632 140506549246352 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32387] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32387/stat : 32387 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888086 27969658880 31294 33554432000 4194304 4196468 140732703655632 140505185417968 140507133618818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32388] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32388/stat : 32388 (java) S 32374 32374 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509888087 27969658880 31294 33554432000 4194304 4196468 140732703655632 140505090352800 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32389] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32389/stat : 32389 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888087 27969658880 31294 33554432000 4194304 4196468 140732703655632 140504821916912 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32390] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32390/stat : 32390 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 31294 33554432000 4194304 4196468 140732703655632 140504447408592 140507133626267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32391] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32391/stat : 32391 (java) S 32374 32374 31481 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 31294 33554432000 4194304 4196468 140732703655632 140505184364784 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32392] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32392/stat : 32392 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 31294 33554432000 4194304 4196468 140732703655632 140505183312240 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32393] ppid=32374 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32377/task/32393/stat : 32393 (java) S 32374 32374 31481 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 31294 33554432000 4194304 4196468 140732703655632 140505182259184 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32394] ppid=32374 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32377/task/32394/stat : 32394 (java) S 32374 32374 31481 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 20 0 509888089 27969658880 31294 33554432000 4194304 4196468 140732703655632 140505181206640 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32395] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32395/stat : 32395 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 31294 33554432000 4194304 4196468 140732703655632 140503949503456 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32396] ppid=32374 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32377/task/32396/stat : 32396 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888090 27969658880 31294 33554432000 4194304 4196468 140732703655632 140505180155056 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126572 KiB

[startup+0.310229 s]*
/proc/loadavg: 2.96 3.54 1.75 2/211 32396
/proc/meminfo: memFree=25176080/32770624 swapFree=66999716/67108860
[pid=32374] ppid=32371 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32374/stat : 32374 (scop.sh) S 32371 32374 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509888081 115843072 349 33554432000 4194304 5098028 140728587405088 140728587402344 140397618868860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28393472 140728587412261 140728587412588 140728587412588 140728587415501 0
/proc/32374/statm: 28282 349 296 221 0 87 0
[pid=32377] ppid=32374 vsize=27314120 memory=129076 CPUtime=0.42 cores=0-7
/proc/32377/stat : 32377 (java) S 32374 32374 31481 0 -1 1077944320 12681 0 0 0 37 5 0 0 20 0 20 0 509888082 27969658880 32269 33554432000 4194304 4196468 140732703655632 140732703638176 140507133607671 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
/proc/32377/statm: 6828530 32269 3037 1 0 6790935 0
[pid=32377/tid=32378] ppid=32374 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32377/task/32378/stat : 32378 (java) R 32374 32374 31481 0 -1 4202560 10056 0 0 0 26 3 0 0 20 0 20 0 509888082 27969658880 32269 33554432000 4194304 4196468 140732703655632 140507105437744 140507116794480 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32379] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32379/stat : 32379 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888084 27969658880 32269 33554432000 4194304 4196468 140732703655632 140507137850384 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32380] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32380/stat : 32380 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 32269 33554432000 4194304 4196468 140732703655632 140506971229328 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32381] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32381/stat : 32381 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 32269 33554432000 4194304 4196468 140732703655632 140506554510096 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32382] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32382/stat : 32382 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 32269 33554432000 4194304 4196468 140732703655632 140506553457552 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32383] ppid=32374 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32377/task/32383/stat : 32383 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 32269 33554432000 4194304 4196468 140732703655632 140506552404496 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32384] ppid=32374 vsize=27314120 memory=139674618262447 CPUtime=0 cores=0-7
/proc/32377/task/32384/stat : 32384 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 32269 33554432000 4194304 4196468 140732703655632 140506551351952 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32385] ppid=32374 vsize=27314120 memory=139674618264752 CPUtime=0 cores=0-7
/proc/32377/task/32385/stat : 32385 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 32269 33554432000 4194304 4196468 140732703655632 140506550298896 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32386] ppid=32374 vsize=27314120 memory=139674618267056 CPUtime=0 cores=0-7
/proc/32377/task/32386/stat : 32386 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27969658880 32269 33554432000 4194304 4196468 140732703655632 140506549246352 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32387] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32387/stat : 32387 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888086 27969658880 32269 33554432000 4194304 4196468 140732703655632 140505185417968 140507133618818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32388] ppid=32374 vsize=27314120 memory=279349236541072 CPUtime=0 cores=0-7
/proc/32377/task/32388/stat : 32388 (java) S 32374 32374 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509888087 27969658880 32269 33554432000 4194304 4196468 140732703655632 140505090352800 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32389] ppid=32374 vsize=27314120 memory=279349236547984 CPUtime=0 cores=0-7
/proc/32377/task/32389/stat : 32389 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888087 27969658880 32269 33554432000 4194304 4196468 140732703655632 140504821916912 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32390] ppid=32374 vsize=27314120 memory=279349236489264 CPUtime=0 cores=0-7
/proc/32377/task/32390/stat : 32390 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 32269 33554432000 4194304 4196468 140732703655632 140504447408592 140507133626267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32391] ppid=32374 vsize=27314120 memory=279349236561808 CPUtime=0.01 cores=0-7
/proc/32377/task/32391/stat : 32391 (java) S 32374 32374 31481 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 509888089 27969658880 32269 33554432000 4194304 4196468 140732703655632 140505184364784 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32392] ppid=32374 vsize=27314120 memory=279349236568720 CPUtime=0.01 cores=0-7
/proc/32377/task/32392/stat : 32392 (java) S 32374 32374 31481 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 509888089 27969658880 32269 33554432000 4194304 4196468 140732703655632 140505183312240 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32393] ppid=32374 vsize=27314120 memory=279349236566416 CPUtime=0.01 cores=0-7
/proc/32377/task/32393/stat : 32393 (java) R 32374 32374 31481 0 -1 4202560 81 0 0 0 1 0 0 0 20 0 20 0 509888089 27969658880 32269 33554432000 4194304 4196468 140732703655632 140505182259184 140507118732436 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32394] ppid=32374 vsize=27314120 memory=279349236582576 CPUtime=0.07 cores=0-7
/proc/32377/task/32394/stat : 32394 (java) S 32374 32374 31481 0 -1 1077944384 593 0 0 0 7 0 0 0 20 0 20 0 509888089 27969658880 32269 33554432000 4194304 4196468 140732703655632 140505181206640 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32395] ppid=32374 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32395/stat : 32395 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509888089 27969658880 32269 33554432000 4194304 4196468 140732703655632 140503949503456 140507133617877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32396] ppid=32374 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32377/task/32396/stat : 32396 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888090 27969658880 32269 33554432000 4194304 4196468 140732703655632 140505180155056 140507133618818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130472 KiB

[startup+0.700987 s]
/proc/loadavg: 2.96 3.54 1.75 2/211 32396
/proc/meminfo: memFree=25154624/32770624 swapFree=66999716/67108860
[pid=32374] ppid=32371 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32374/stat : 32374 (scop.sh) S 32371 32374 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509888081 115843072 349 33554432000 4194304 5098028 140728587405088 140728587402344 140397618868860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28393472 140728587412261 140728587412588 140728587412588 140728587415501 0
/proc/32374/statm: 28282 349 296 221 0 87 0
[pid=32377] ppid=32374 vsize=27320392 memory=164780 CPUtime=1 cores=0-7
/proc/32377/stat : 32377 (java) S 32374 32374 31481 0 -1 1077944320 20317 0 0 0 92 8 0 0 20 0 20 0 509888082 27976081408 41195 33554432000 4194304 4196468 140732703655632 140732703638176 140507133607671 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
/proc/32377/statm: 6830098 41195 3183 1 0 6791447 0
[pid=32377/tid=32378] ppid=32374 vsize=27320392 memory=279349236940464 CPUtime=0.68 cores=0-7
/proc/32377/task/32378/stat : 32378 (java) R 32374 32374 31481 0 -1 4202560 16973 0 0 0 62 6 0 0 20 0 20 0 509888082 27976081408 41195 33554432000 4194304 4196468 140732703655632 140507105442528 140506637645448 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32379] ppid=32374 vsize=27320392 memory=139674618471280 CPUtime=0 cores=0-7
/proc/32377/task/32379/stat : 32379 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888084 27976081408 41195 33554432000 4194304 4196468 140732703655632 140507137850384 140507133617877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32380] ppid=32374 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/32377/task/32380/stat : 32380 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509888085 27976081408 41195 33554432000 4194304 4196468 140732703655632 140506971229328 140507133617877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0
[pid=32377/tid=32381] ppid=32374 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/32377/task/32381/stat : 32381 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509888085 27976081408 41195 33554432000 4194304 4196468 140732703655632 140506554510096 140507133617877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33165312 140732703658731 140732703659158 140732703659158 140732703662031 0

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

[pid=32397/tid=32410] ppid=32374 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/32397/task/32410/stat : 32410 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139633173026768 139635219146651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32411] ppid=32374 vsize=8414124 memory=2024 CPUtime=0.06 cores=0-7
/proc/32397/task/32411/stat : 32411 (java) S 32374 32374 31481 0 -1 1077944384 564 0 0 0 6 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634445802224 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32412] ppid=32374 vsize=8414124 memory=1376 CPUtime=0.04 cores=0-7
/proc/32397/task/32412/stat : 32412 (java) S 32374 32374 31481 0 -1 1077944384 204 0 0 0 4 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634444749680 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32413] ppid=32374 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/32397/task/32413/stat : 32413 (java) S 32374 32374 31481 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634443696624 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32414] ppid=32374 vsize=8414124 memory=279349236765536 CPUtime=0.19 cores=0-7
/proc/32397/task/32414/stat : 32414 (java) S 32374 32374 31481 0 -1 1077944384 523 0 0 0 19 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634442644080 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32415] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32415/stat : 32415 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139632675121632 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32416] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32416/stat : 32416 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888540 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634441591472 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
Current children cumulated CPU time: 14.1 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 119408 KiB

[startup+6.00097 s]*
/proc/loadavg: 3.12 3.57 1.76 9/224 32430
/proc/meminfo: memFree=25085920/32770624 swapFree=66999716/67108860
[pid=32374] ppid=32371 vsize=113128 memory=1476 CPUtime=12.96 cores=0-7
/proc/32374/stat : 32374 (scop.sh) S 32371 32374 31481 0 -1 4202496 583 29886 0 0 0 0 1267 29 20 0 1 0 509888081 115843072 369 33554432000 4194304 5098028 140728587405088 140728587401832 140397618868860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28393472 140728587412261 140728587412588 140728587412588 140728587415501 0
/proc/32374/statm: 28282 369 311 221 0 87 0
[pid=32397] ppid=32374 vsize=8414124 memory=117932 CPUtime=1.14 cores=0-7
/proc/32397/stat : 32397 (java) S 32374 32374 31481 0 -1 1077944320 19500 0 0 0 107 7 0 0 20 0 24 0 509888533 8616062976 29483 33554432000 4194304 4196468 140723186590704 140723186573248 139635219128055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
/proc/32397/statm: 2103531 29483 3201 1 0 2064875 0
[pid=32417] ppid=32397 vsize=699296 memory=103224 CPUtime=4.88 cores=0-7
/proc/32417/stat : 32417 (manyglucose-4.1) S 32397 32374 31481 0 -1 1077944320 19042 0 0 0 484 4 0 0 20 0 9 0 509888605 716079104 25806 33554432000 4194304 4454172 140731037665008 140731037663408 140709591313026 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
/proc/32417/statm: 174824 25806 402 64 0 170492 0
[pid=32417/tid=32423] ppid=32397 vsize=699296 memory=0 CPUtime=0.59 cores=0-7
/proc/32417/task/32423/stat : 32423 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 439 0 0 0 59 0 0 0 20 0 9 0 509888621 716079104 25806 33554432000 4194304 4454172 140731037665008 140709566819432 4351286 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32417/tid=32424] ppid=32397 vsize=699296 memory=0 CPUtime=0.58 cores=0-7
/proc/32417/task/32424/stat : 32424 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 249 0 0 0 58 0 0 0 20 0 9 0 509888621 716079104 25806 33554432000 4194304 4454172 140731037665008 140709558426232 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32417/tid=32425] ppid=32397 vsize=699296 memory=139674777597568 CPUtime=0.59 cores=0-7
/proc/32417/task/32425/stat : 32425 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 680 0 0 0 59 0 0 0 20 0 9 0 509888621 716079104 25806 33554432000 4194304 4454172 140731037665008 140709550034024 4351321 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32417/tid=32426] ppid=32397 vsize=699296 memory=0 CPUtime=0.58 cores=0-7
/proc/32417/task/32426/stat : 32426 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 590 0 0 0 58 0 0 0 20 0 9 0 509888621 716079104 25806 33554432000 4194304 4454172 140731037665008 140709541641464 4351773 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32417/tid=32427] ppid=32397 vsize=699296 memory=0 CPUtime=0.59 cores=0-7
/proc/32417/task/32427/stat : 32427 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 814 0 0 0 59 0 0 0 20 0 9 0 509888621 716079104 25806 33554432000 4194304 4454172 140731037665008 140709533248120 4299205 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32417/tid=32428] ppid=32397 vsize=699296 memory=0 CPUtime=0.58 cores=0-7
/proc/32417/task/32428/stat : 32428 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 273 0 0 0 58 0 0 0 20 0 9 0 509888621 716079104 25806 33554432000 4194304 4454172 140731037665008 140709524855720 4351725 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32417/tid=32429] ppid=32397 vsize=699296 memory=-1 CPUtime=0.59 cores=0-7
/proc/32417/task/32429/stat : 32429 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 762 0 0 0 59 0 0 0 20 0 9 0 509888621 716079104 25806 33554432000 4194304 4454172 140731037665008 140709516462712 4332360 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32417/tid=32430] ppid=32397 vsize=699296 memory=0 CPUtime=0.57 cores=0-7
/proc/32417/task/32430/stat : 32430 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 1213 0 0 0 57 0 0 0 20 0 9 0 509888621 716079104 25806 33554432000 4194304 4454172 140731037665008 140709235518024 4351488 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32397/tid=32398] ppid=32374 vsize=8414124 memory=8663349401043049113 CPUtime=0.74 cores=0-7
/proc/32397/task/32398/stat : 32398 (java) S 32374 32374 31481 0 -1 1077944384 16401 0 0 0 69 5 0 0 20 0 24 0 509888533 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635190968224 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32399] ppid=32374 vsize=8414124 memory=7373103150965238163 CPUtime=0 cores=0-7
/proc/32397/task/32399/stat : 32399 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635223370256 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32400] ppid=32374 vsize=8414124 memory=3689067258177860401 CPUtime=0 cores=0-7
/proc/32397/task/32400/stat : 32400 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635029133968 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32401] ppid=32374 vsize=8414124 memory=7230638415855315031 CPUtime=0 cores=0-7
/proc/32397/task/32401/stat : 32401 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635028080912 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32402] ppid=32374 vsize=8414124 memory=279349236837896 CPUtime=0 cores=0-7
/proc/32397/task/32402/stat : 32402 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635027028368 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32403] ppid=32374 vsize=8414124 memory=4207603765834942777 CPUtime=0 cores=0-7
/proc/32397/task/32403/stat : 32403 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635025976336 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32404] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32404/stat : 32404 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634699570320 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32405] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32405/stat : 32405 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634698517264 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32406] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32406/stat : 32406 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634697464720 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32407] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32407/stat : 32407 (java) S 32374 32374 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509888536 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634446854384 139635219139202 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32408] ppid=32374 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/32397/task/32408/stat : 32408 (java) S 32374 32374 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509888537 8616062976 29483 33554432000 4194304 4196468 140723186590704 139633681753248 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32409] ppid=32374 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/32397/task/32409/stat : 32409 (java) S 32374 32374 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509888537 8616062976 29483 33554432000 4194304 4196468 140723186590704 139633547530992 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32410] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32410/stat : 32410 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139633173026768 139635219146651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32411] ppid=32374 vsize=8414124 memory=6299802978650451056 CPUtime=0.06 cores=0-7
/proc/32397/task/32411/stat : 32411 (java) S 32374 32374 31481 0 -1 1077944384 564 0 0 0 6 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634445802224 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32412] ppid=32374 vsize=8414124 memory=7523107478184158290 CPUtime=0.04 cores=0-7
/proc/32397/task/32412/stat : 32412 (java) S 32374 32374 31481 0 -1 1077944384 204 0 0 0 4 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634444749680 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32413] ppid=32374 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/32397/task/32413/stat : 32413 (java) S 32374 32374 31481 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634443696624 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32414] ppid=32374 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/32397/task/32414/stat : 32414 (java) S 32374 32374 31481 0 -1 1077944384 523 0 0 0 19 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634442644080 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32415] ppid=32374 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/32397/task/32415/stat : 32415 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139632675121632 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32416] ppid=32374 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/32397/task/32416/stat : 32416 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888540 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634441591472 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32418] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32418/stat : 32418 (java) S 32374 32374 31481 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509888605 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634433557440 139635219152665 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32420] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32420/stat : 32420 (java) S 32374 32374 31481 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509888605 8616062976 29483 33554432000 4194304 4196468 140723186590704 139632004022288 139635219149981 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32421] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32421/stat : 32421 (java) S 32374 32374 31481 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509888606 8616062976 29483 33554432000 4194304 4196468 140723186590704 139632272457872 139635219149981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32422] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32422/stat : 32422 (java) S 32374 32374 31481 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 509888607 8616062976 29483 33554432000 4194304 4196468 140723186590704 139631735594416 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
Current children cumulated CPU time: 18.98 s
Current children cumulated vsize: 9226548 KiB
Current children cumulated memory: 222632 KiB

[startup+6.20122 s]
/proc/loadavg: 3.12 3.57 1.76 9/224 32430
/proc/meminfo: memFree=25085920/32770624 swapFree=66999716/67108860
[pid=32374] ppid=32371 vsize=113128 memory=1476 CPUtime=12.96 cores=0-7
/proc/32374/stat : 32374 (scop.sh) S 32371 32374 31481 0 -1 4202496 583 29886 0 0 0 0 1267 29 20 0 1 0 509888081 115843072 369 33554432000 4194304 5098028 140728587405088 140728587401832 140397618868860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28393472 140728587412261 140728587412588 140728587412588 140728587415501 0
/proc/32374/statm: 28282 369 311 221 0 87 0
[pid=32397] ppid=32374 vsize=8414124 memory=117932 CPUtime=1.14 cores=0-7
/proc/32397/stat : 32397 (java) S 32374 32374 31481 0 -1 1077944320 19500 0 0 0 107 7 0 0 20 0 24 0 509888533 8616062976 29483 33554432000 4194304 4196468 140723186590704 140723186573248 139635219128055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
/proc/32397/statm: 2103531 29483 3201 1 0 2064875 0
[pid=32417] ppid=32397 vsize=699296 memory=117464 CPUtime=5.73 cores=0-7
/proc/32417/stat : 32417 (manyglucose-4.1) S 32397 32374 31481 0 -1 1077944320 21603 0 0 0 569 4 0 0 20 0 2 0 509888605 716079104 29366 33554432000 4194304 4454172 140731037665008 140731037663392 140709591301879 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
/proc/32417/statm: 174824 29366 415 64 0 170492 0
[pid=32417/tid=32424] ppid=32397 vsize=699296 memory=0 CPUtime=0.77 cores=0-7
/proc/32417/task/32424/stat : 32424 (manyglucose-4.1) R 32397 32374 31481 0 -1 4202560 279 0 0 0 77 0 0 0 20 0 2 0 509888621 716079104 29366 33554432000 4194304 4454172 140731037665008 140709558426232 4351243 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 10936320 140731037668201 140731037668400 140731037668400 140731037671354 0
[pid=32397/tid=32398] ppid=32374 vsize=8414124 memory=0 CPUtime=0.74 cores=0-7
/proc/32397/task/32398/stat : 32398 (java) S 32374 32374 31481 0 -1 1077944384 16401 0 0 0 69 5 0 0 20 0 24 0 509888533 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635190968224 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32399] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32399/stat : 32399 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635223370256 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32400] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32400/stat : 32400 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635029133968 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32401] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32401/stat : 32401 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635028080912 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32402] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32402/stat : 32402 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635027028368 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32403] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32403/stat : 32403 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139635025976336 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32404] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32404/stat : 32404 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634699570320 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32405] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32405/stat : 32405 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634698517264 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32406] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32406/stat : 32406 (java) S 32374 32374 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509888535 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634697464720 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32407] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32407/stat : 32407 (java) S 32374 32374 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509888536 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634446854384 139635219139202 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32408] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32408/stat : 32408 (java) S 32374 32374 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509888537 8616062976 29483 33554432000 4194304 4196468 140723186590704 139633681753248 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32409] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32409/stat : 32409 (java) S 32374 32374 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509888537 8616062976 29483 33554432000 4194304 4196468 140723186590704 139633547530992 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32410] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32410/stat : 32410 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139633173026768 139635219146651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32411] ppid=32374 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/32397/task/32411/stat : 32411 (java) S 32374 32374 31481 0 -1 1077944384 564 0 0 0 6 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634445802224 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32412] ppid=32374 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/32397/task/32412/stat : 32412 (java) S 32374 32374 31481 0 -1 1077944384 204 0 0 0 4 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634444749680 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32413] ppid=32374 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/32397/task/32413/stat : 32413 (java) S 32374 32374 31481 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634443696624 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32414] ppid=32374 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/32397/task/32414/stat : 32414 (java) S 32374 32374 31481 0 -1 1077944384 523 0 0 0 19 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634442644080 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32415] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32415/stat : 32415 (java) S 32374 32374 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509888539 8616062976 29483 33554432000 4194304 4196468 140723186590704 139632675121632 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32416] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32416/stat : 32416 (java) S 32374 32374 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509888540 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634441591472 139635219139202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32418] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32418/stat : 32418 (java) S 32374 32374 31481 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509888605 8616062976 29483 33554432000 4194304 4196468 140723186590704 139634433557440 139635219152665 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32420] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32420/stat : 32420 (java) S 32374 32374 31481 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509888605 8616062976 29483 33554432000 4194304 4196468 140723186590704 139632004022288 139635219149981 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32421] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32421/stat : 32421 (java) S 32374 32374 31481 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509888606 8616062976 29483 33554432000 4194304 4196468 140723186590704 139632272457872 139635219149981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
[pid=32397/tid=32422] ppid=32374 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32397/task/32422/stat : 32422 (java) S 32374 32374 31481 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 509888607 8616062976 29483 33554432000 4194304 4196468 140723186590704 139631735594416 139635219138261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140723186598903 140723186599062 140723186599062 140723186601935 0
Current children cumulated CPU time: 19.83 s
Current children cumulated vsize: 9226548 KiB
Current children cumulated memory: 236872 KiB

Child status: 0
Real time (s): 6.24256
CPU time (s): 19.9386
CPU user time (s): 19.5028
CPU system time (s): 0.435818
CPU usage (%): 319.398
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1072448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.5028
system time used= 0.435818
maximum resident set size= 1071272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11067
involuntary context switches= 72


# summary of solver processes directly reported to runsolver:
#   pid: 32374
#   total CPU time (s): 19.9386
#   total CPU user time (s): 19.5028
#   total CPU system time (s): 0.435818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076056 second user time and 0.11178 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-24 15:44:17
IDJOB=4405204
IDBENCH=126890
IDSOLVER=2867
FILE ID=node106/4405204-1569336341
RUNJOBID= node106-1569332296-31508
PBS_JOBID= 21705069
Free space on /tmp= 23488 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-mod-100-9.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-4405204-1569336341/watcher-4405204-1569336341 -o /tmp/evaluation-result-4405204-1569336341/solver-4405204-1569336341 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --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-4405204-1569336341.xml

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

MD5SUM BENCH= 4f03c112a8f6a228f13fa4574ba8a054
RANDOM SEED=1193125568

node106.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.79
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.79
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.79
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.79
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:        25296016 kB
MemAvailable:   31843888 kB
Buffers:           86228 kB
Cached:          6633604 kB
SwapCached:         4584 kB
Active:          3361420 kB
Inactive:        3367040 kB
Active(anon):       3440 kB
Inactive(anon):    57724 kB
Active(file):    3357980 kB
Inactive(file):  3309316 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999716 kB
Dirty:             20312 kB
Writeback:             0 kB
AnonPages:         77856 kB
Mapped:            54176 kB
Shmem:             43672 kB
Slab:             337800 kB
SReclaimable:     309036 kB
SUnreclaim:        28764 kB
KernelStack:        2944 kB
PageTables:         5292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 23468 MiB
End job on node106 at 2019-09-24 15:44:23