Trace number 4392674

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 hybrid+ManyGlucose (2019-06-15)UNSAT 30.2343 14.4785

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-080-05-add.xml
MD5SUM18e8c61317b2c078d14d7e9ead8d31e0
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 benchmark25.0904
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints3170
Number of domains2
Minimum domain size80
Maximum domain size6400
Distribution of domain sizes[{"size":80,"count":80},{"size":6400,"count":5}]
Minimum variable degree4
Maximum variable degree79
Distribution of variable degrees[{"degree":4,"count":5},{"degree":79,"count":80}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3170}]
Number of extensional constraints0
Number of intensional constraints3170
Distribution of constraint types[{"type":"intension","count":3170}]
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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1345-serial-file.bin HOME/instance-4392674-1568416844.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 01:19:45 CEST 2019
0.65/0.57	c PID: 1348
0.65/0.57	c IP: 172.20.3.103
0.65/0.57	c HOST: node103.alineos.net
0.65/0.58	c (0,0) Parsing Begin
4.45/1.69	c (1,1) Parsing End
4.45/1.69	c (1,1) CSP: 85 int (0 aux), 0 bool (0 aux), 3170 ctr, max domain size 6400
4.45/1.69	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.45/1.69	c (1,1) Constraint Name Generate Begin
4.87/1.73	c (1,1) Ctr:HOME/instance-4392674-1568416844.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
4.87/1.73	c (1,1) Constraint Name Generate End
4.87/1.73	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.87/1.73	c (1,1) CSP to CSPinCNF Begin
5.78/2.10	c (1,1) translated 317 (10%) constraints
6.38/2.23	c (1,1) translated 634 (20%) constraints
6.77/2.33	c (1,1) translated 951 (30%) constraints
7.13/2.41	c (1,1) translated 1268 (40%) constraints
7.13/2.50	c (1,1) translated 1585 (50%) constraints
7.70/2.67	c (2,2) translated 1902 (60%) constraints
7.84/2.74	c (2,2) translated 2219 (70%) constraints
8.03/2.80	c (2,2) translated 2536 (80%) constraints
8.03/2.86	c (2,2) translated 2853 (90%) constraints
8.22/2.96	c (2,2) translated 3170 (100%) constraints
8.22/2.96	c (2,2) ===========================================
8.55/3.03	c (2,2) Hybrid: #OE=3250, #LE=25
8.55/3.03	c (2,2) Hybrid
8.55/3.03	c (2,2) ===========================================
8.99/3.12	c (2,2) translated 1274 (10%) constraints
8.99/3.18	c (2,2) translated 2548 (20%) constraints
9.37/3.24	c (2,2) translated 3822 (30%) constraints
9.76/3.30	c (2,2) translated 5096 (40%) constraints
9.76/3.34	c (2,2) translated 6370 (50%) constraints
9.76/3.39	c (2,2) translated 7644 (60%) constraints
10.15/3.43	c (2,2) translated 8918 (70%) constraints
10.15/3.46	c (2,2) translated 10192 (80%) constraints
10.41/3.50	c (2,2) translated 11466 (90%) constraints
10.41/3.54	c (2,2) translated 12740 (100%) constraints
10.41/3.55	c (2,2) CSP to CSPinCNF End
10.41/3.56	c (3,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12750 ctr, max domain size 6400
10.41/3.56	c (3,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.41/3.56	c (3,2) CSPinCNF Propagation Begin
10.77/3.68	c (3,3) 1 values, 4 unsatisfiable literals, and 21 valid clauses are removed
10.77/3.68	c (3,3) CSPinCNF Propagation End
10.77/3.68	c (3,3) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12729 ctr, max domain size 6400
10.77/3.68	c (3,3) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.17/3.73	c (3,3) Hybrid: #OE=3250, #LE=25
11.17/3.73	c (3,3) Simplify CSPinCNF Begin
12.34/4.03	c (3,3) Simplify CSPinCNF End
12.34/4.04	c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
12.34/4.04	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.34/4.04	c (3,3) Calculate Precise Domain Begin
12.34/4.04	c (3,3) 0 values are removed by re-calculation
12.34/4.04	c (3,3) Calculate Precise Domain End
12.34/4.05	c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
12.34/4.05	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.34/4.05	c (3,3) CSPinCNF to SatSolver Begin
15.54/5.01	c (4,4) 2542 (10 %) CSP clauses are encoded (0 SAT variables, 110859 SAT clauses)
16.08/5.57	c (5,4) 5084 (20 %) CSP clauses are encoded (0 SAT variables, 218191 SAT clauses)
16.89/6.13	c (5,5) 7626 (30 %) CSP clauses are encoded (0 SAT variables, 325123 SAT clauses)
17.49/6.69	c (6,6) 10167 (40 %) CSP clauses are encoded (0 SAT variables, 436582 SAT clauses)
18.14/7.27	c (6,6) 12709 (50 %) CSP clauses are encoded (0 SAT variables, 553069 SAT clauses)
18.74/7.85	c (7,7) 15251 (60 %) CSP clauses are encoded (0 SAT variables, 671528 SAT clauses)
19.34/8.45	c (7,7) 17792 (70 %) CSP clauses are encoded (0 SAT variables, 793705 SAT clauses)
19.95/9.08	c (8,8) 20334 (80 %) CSP clauses are encoded (0 SAT variables, 921139 SAT clauses)
20.64/9.73	c (9,9) 22876 (90 %) CSP clauses are encoded (0 SAT variables, 1053887 SAT clauses)
21.38/10.46	c (9,9) 25417 (100 %) CSP clauses are encoded (0 SAT variables, 1201778 SAT clauses)
21.38/10.46	c (9,9) CSPinCNF to SatSolver End
21.38/10.46	c (9,9) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.38/10.46	c (9,9) 28167 bool, 1201867 clause
21.38/10.46	c (9,9) Export Begin
21.81/10.57	c (10,9) Export to HOME/scop-1345-serial-file.bin
21.81/10.57	c (10,9) Export End
21.81/10.57	c (10,9) Export File Size: 0.03 MB
21.81/10.57	c (10,9) 1,1,3,3,3,3,9,STOP-AFTER(DIMACS)
21.81/10.57	c END-Prog: Sat Sep 14 01:19:55 CEST 2019
0.00/10.61	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1345-serial-file.bin
22.72/11.08	c (0,0) Read Serial File Begin
22.72/11.08	c (0,0) HOME/scop-1345-serial-file.bin
23.16/11.30	c (0,0) Read Serial File End
23.16/11.31	
23.16/11.31	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
23.16/11.31	(Solving Process)
23.16/11.31	
23.16/11.34	c BEGIN-Prog: Sat Sep 14 01:19:56 CEST 2019
23.16/11.34	c PID: 1370
23.16/11.34	c IP: 172.20.3.103
23.16/11.34	c HOST: node103.alineos.net
23.16/11.34	c (0,0) SatSolver.solve Begin
23.16/11.34	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392674-1568416844.xml-scop-1348.cnf
23.16/11.37	c (0,0) c
23.16/11.37	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)
23.16/11.37	c (0,0) c
23.16/11.37	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
23.16/11.37	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
23.16/11.37	c (0,0) c ========================================[ Problem Statistics ]===========================================
23.16/11.37	c (0,0) c |                                                                                                       |
23.43/11.72	c (0,0) c |  Number of variables:         28167                                                                   |
23.43/11.72	c (0,0) c |  Number of clauses:         1201822                                                                   |
23.43/11.72	c (0,0) c |  Parse time:                   0.32 s                                                                 |
23.43/11.72	c (0,0) c |                                                                                                       |
25.55/13.58	c (2,0) c |  Simplification time:          1.83 s                                                                 |
25.55/13.58	c (2,0) c |                                                                                                       |
25.55/13.58	c (2,0) c |  Generating clones                                                                                    |
25.86/13.86	c (2,0) c |  all clones generated. Memory =   753.70Mb.                                                           |
25.86/13.86	c (2,0) c ========================================================================================================|
25.86/13.86	c (2,0) c
25.86/13.86	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
25.86/13.86	c (2,0) c
25.86/13.86	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.86/13.86	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
25.86/13.86	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.86/13.86	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
25.86/13.86	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
25.86/13.86	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
25.86/13.86	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
25.86/13.86	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
25.86/13.86	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
25.86/13.86	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
25.86/13.86	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
25.86/13.86	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
25.86/13.86	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
25.86/13.86	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
25.86/13.86	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
25.86/13.86	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
25.86/13.86	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
25.86/13.86	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
25.86/13.86	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.43	c (3,0) c
30.02/14.43	c (3,0) c real time : 3.0669 s
30.02/14.43	c (3,0) c cpu time  : 6.22688 s
30.02/14.43	c (3,0) c
30.02/14.43	c (3,0) c
30.02/14.43	c (3,0) c
30.02/14.43	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
30.02/14.43	c (3,0) c
30.02/14.43	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.43	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
30.02/14.43	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.43	c (3,0) c | Conflicts     |          127105 |      17709 |      14748 |      16549 |      15835 |      14088 |      15791 |      14932 |      17453 |
30.02/14.43	c (3,0) c | Decisions     |          175064 |      23352 |      21154 |      23113 |      21743 |      20326 |      21865 |      20712 |      22799 |
30.02/14.43	c (3,0) c | Propagations  |        14617966 |    1789164 |    1593253 |    1788582 |    1634684 |    1886230 |    1965264 |    2011624 |    1949165 |
30.02/14.43	c (3,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
30.02/14.43	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
30.02/14.43	c (3,0) c | Restarts      |             130 |         20 |         11 |          9 |         18 |         27 |         22 |         10 |         13 |
30.02/14.43	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c | PropBinClauses|        12277698 |    1531536 |    1406421 |    1605513 |    1324370 |    1514890 |    1634878 |    1599233 |    1660857 |
30.02/14.43	c (3,0) c | PropPreBlocker|       112067141 |   16040065 |   11155620 |   13433228 |   14206728 |   14035856 |   13480310 |   12576241 |   17139093 |
30.02/14.43	c (3,0) c | PropNotBlocker|        46662489 |    6281311 |    5254089 |    6032246 |    5739031 |    5897470 |    5899282 |    5239426 |    6319634 |
30.02/14.43	c (3,0) c | LitFullScans  |       242501748 |   33995624 |   25565268 |   30003389 |   30002100 |   30001192 |   30000614 |   28107661 |   34825900 |
30.02/14.43	c (3,0) c | LitScanFracts |            2868 |        827 |        175 |        307 |        378 |        513 |        334 |        166 |        168 |
30.02/14.43	c (3,0) c | DecisionLevel0|             183 |         37 |         22 |         15 |         19 |         30 |         27 |         14 |         19 |
30.02/14.43	c (3,0) c | Periods       |              38 |          5 |          4 |          5 |          5 |          5 |          5 |          4 |          5 |
30.02/14.43	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
30.02/14.43	c (3,0) c | Avg_Trail     |                 |        561 |        747 |        802 |        625 |        716 |        968 |        983 |        675 |
30.02/14.43	c (3,0) c | Avg_DL        |                 |         16 |         23 |         22 |         19 |         19 |         28 |         25 |         19 |
30.02/14.43	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.43	c (3,0) c | Exported      |           26451 |       3405 |       3704 |       3936 |       3416 |       2307 |       3273 |       3019 |       3391 |
30.02/14.43	c (3,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
30.02/14.43	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.43	c (3,0) c | Unaries       |                 |         17 |         11 |          6 |          1 |          3 |          5 |          4 |          6 |
30.02/14.43	c (3,0) c | Binaries      |                 |         87 |         85 |         27 |         26 |         24 |         33 |         30 |         52 |
30.02/14.43	c (3,0) c | Glues         |                 |        268 |        226 |        133 |        116 |         92 |        152 |        130 |        159 |
30.02/14.43	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.43	c (3,0) c | Orig_Seen     |             0 % |       3775 |       4308 |       3714 |       3607 |       4057 |       4749 |       4512 |       3177 |
30.02/14.43	c (3,0) c | Diff Orig seen|                 | -      533 |      X     | -      594 | -      701 | -      251 |        441 |        204 | -     1131 |
30.02/14.43	c (3,0) c | Hamming       |            13 % |       3175 |      X     |       3857 |       4009 |       3866 |       4408 |       3406 |       4444 |
30.02/14.43	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.43	c (3,0) c | RunningTime   |                 |    0.5 100%|    0.5 100%|    0.6 100%|    0.5 100%|    0.5 100%|    0.6 100%|    0.5 100%|    0.6 100%|
30.02/14.43	c (3,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%|
30.02/14.43	c (3,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%|
30.02/14.43	c (3,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%|
30.02/14.43	c (3,0) c | SolvingTime   |                 |    0.5     |    0.5     |    0.6     |    0.5     |    0.5     |    0.6     |    0.5     |    0.6     |
30.02/14.43	c (3,0) c | PropagationTim|                 |    0.4  76%|    0.4  80%|    0.4  80%|    0.4  79%|    0.4  80%|    0.4  79%|    0.4  78%|    0.5  79%|
30.02/14.43	c (3,0) c | AnalysisTime  |                 |    0.1  18%|    0.1  15%|    0.1  15%|    0.1  16%|    0.1  15%|    0.1  15%|    0.1  17%|    0.1  15%|
30.02/14.43	c (3,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
30.02/14.43	c (3,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
30.02/14.43	c (3,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%|
30.02/14.43	c (3,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%|
30.02/14.43	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.43	c (3,0) c
30.02/14.43	c (3,0) c
30.02/14.43	c (3,0) c Threads : 8
30.02/14.43	c (3,0) c Winner : 1
30.02/14.43	c (3,0) c Conflicts_0 : 17709
30.02/14.43	c (3,0) c Conflicts_1 : 14748
30.02/14.43	c (3,0) c Conflicts_2 : 16549
30.02/14.43	c (3,0) c Conflicts_3 : 15835
30.02/14.43	c (3,0) c Conflicts_4 : 14088
30.02/14.43	c (3,0) c Conflicts_5 : 15791
30.02/14.43	c (3,0) c Conflicts_6 : 14932
30.02/14.43	c (3,0) c Conflicts_7 : 17453
30.02/14.43	c (3,0) c Conflicts_total : 127105
30.02/14.43	c (3,0) c Conflicts_winner : 14748
30.02/14.43	c (3,0) c Decisions_0 : 23352
30.02/14.43	c (3,0) c Decisions_1 : 21154
30.02/14.43	c (3,0) c Decisions_2 : 23113
30.02/14.43	c (3,0) c Decisions_3 : 21743
30.02/14.43	c (3,0) c Decisions_4 : 20326
30.02/14.43	c (3,0) c Decisions_5 : 21865
30.02/14.43	c (3,0) c Decisions_6 : 20712
30.02/14.43	c (3,0) c Decisions_7 : 22799
30.02/14.43	c (3,0) c Decisions_total : 175064
30.02/14.43	c (3,0) c Decisions_winner : 21154
30.02/14.43	c (3,0) c Propagations_0 : 1789164
30.02/14.43	c (3,0) c Propagations_1 : 1593253
30.02/14.43	c (3,0) c Propagations_2 : 1788582
30.02/14.43	c (3,0) c Propagations_3 : 1634684
30.02/14.43	c (3,0) c Propagations_4 : 1886230
30.02/14.43	c (3,0) c Propagations_5 : 1965264
30.02/14.43	c (3,0) c Propagations_6 : 2011624
30.02/14.43	c (3,0) c Propagations_7 : 1949165
30.02/14.43	c (3,0) c Propagations_total : 14617966
30.02/14.43	c (3,0) c Propagations_winner : 1593253
30.02/14.43	c (3,0) c ReduceDBs_0 : 3
30.02/14.43	c (3,0) c ReduceDBs_1 : 3
30.02/14.43	c (3,0) c ReduceDBs_2 : 3
30.02/14.43	c (3,0) c ReduceDBs_3 : 3
30.02/14.43	c (3,0) c ReduceDBs_4 : 3
30.02/14.43	c (3,0) c ReduceDBs_5 : 3
30.02/14.43	c (3,0) c ReduceDBs_6 : 3
30.02/14.43	c (3,0) c ReduceDBs_7 : 3
30.02/14.43	c (3,0) c ReduceDBs_total : 24
30.02/14.43	c (3,0) c ReduceDBs_winner : 3
30.02/14.43	c (3,0) c SimpDBs_0 : 1
30.02/14.43	c (3,0) c SimpDBs_1 : 1
30.02/14.43	c (3,0) c SimpDBs_2 : 1
30.02/14.43	c (3,0) c SimpDBs_3 : 1
30.02/14.43	c (3,0) c SimpDBs_4 : 1
30.02/14.43	c (3,0) c SimpDBs_5 : 1
30.02/14.44	c (3,0) c SimpDBs_6 : 1
30.02/14.44	c (3,0) c SimpDBs_7 : 1
30.02/14.44	c (3,0) c SimpDBs_total : 8
30.02/14.44	c (3,0) c SimpDBs_winner : 1
30.02/14.44	c (3,0) c Restarts_0 : 20
30.02/14.44	c (3,0) c Restarts_1 : 11
30.02/14.44	c (3,0) c Restarts_2 : 9
30.02/14.44	c (3,0) c Restarts_3 : 18
30.02/14.44	c (3,0) c Restarts_4 : 27
30.02/14.44	c (3,0) c Restarts_5 : 22
30.02/14.44	c (3,0) c Restarts_6 : 10
30.02/14.44	c (3,0) c Restarts_7 : 13
30.02/14.44	c (3,0) c Restarts_total : 130
30.02/14.44	c (3,0) c Restarts_winner : 11
30.02/14.44	c (3,0) c ForcedImports_0 : 0
30.02/14.44	c (3,0) c ForcedImports_1 : 0
30.02/14.44	c (3,0) c ForcedImports_2 : 0
30.02/14.44	c (3,0) c ForcedImports_3 : 0
30.02/14.44	c (3,0) c ForcedImports_4 : 0
30.02/14.44	c (3,0) c ForcedImports_5 : 0
30.02/14.44	c (3,0) c ForcedImports_6 : 0
30.02/14.44	c (3,0) c ForcedImports_7 : 0
30.02/14.44	c (3,0) c ForcedImports_total : 0
30.02/14.44	c (3,0) c ForcedImports_winner : 0
30.02/14.44	c (3,0) c PropsBinClauses_0 : 1531536
30.02/14.44	c (3,0) c PropsBinClauses_1 : 1406421
30.02/14.44	c (3,0) c PropsBinClauses_2 : 1605513
30.02/14.44	c (3,0) c PropsBinClauses_3 : 1324370
30.02/14.44	c (3,0) c PropsBinClauses_4 : 1514890
30.02/14.44	c (3,0) c PropsBinClauses_5 : 1634878
30.02/14.44	c (3,0) c PropsBinClauses_6 : 1599233
30.02/14.44	c (3,0) c PropsBinClauses_7 : 1660857
30.02/14.44	c (3,0) c PropsBinClauses_total : 12277698
30.02/14.44	c (3,0) c PropsBinClauses_winner : 1406421
30.02/14.44	c (3,0) c PropsPreBlocker_0 : 16040065
30.02/14.44	c (3,0) c PropsPreBlocker_1 : 11155620
30.02/14.44	c (3,0) c PropsPreBlocker_2 : 13433228
30.02/14.44	c (3,0) c PropsPreBlocker_3 : 14206728
30.02/14.44	c (3,0) c PropsPreBlocker_4 : 14035856
30.02/14.44	c (3,0) c PropsPreBlocker_5 : 13480310
30.02/14.44	c (3,0) c PropsPreBlocker_6 : 12576241
30.02/14.44	c (3,0) c PropsPreBlocker_7 : 17139093
30.02/14.44	c (3,0) c PropsPreBlocker_total : 112067141
30.02/14.44	c (3,0) c PropsPreBlocker_winner : 11155620
30.02/14.44	c (3,0) c PropsNotBlocker_0 : 6281311
30.02/14.44	c (3,0) c PropsNotBlocker_1 : 5254089
30.02/14.44	c (3,0) c PropsNotBlocker_2 : 6032246
30.02/14.44	c (3,0) c PropsNotBlocker_3 : 5739031
30.02/14.44	c (3,0) c PropsNotBlocker_4 : 5897470
30.02/14.44	c (3,0) c PropsNotBlocker_5 : 5899282
30.02/14.44	c (3,0) c PropsNotBlocker_6 : 5239426
30.02/14.44	c (3,0) c PropsNotBlocker_7 : 6319634
30.02/14.44	c (3,0) c PropsNotBlocker_total : 46662489
30.02/14.44	c (3,0) c PropsNotBlocker_winner : 5254089
30.02/14.44	c (3,0) c PropsLitFullScans_0 : 33995624
30.02/14.44	c (3,0) c PropsLitFullScans_1 : 25565268
30.02/14.44	c (3,0) c PropsLitFullScans_2 : 30003389
30.02/14.44	c (3,0) c PropsLitFullScans_3 : 30002100
30.02/14.44	c (3,0) c PropsLitFullScans_4 : 30001192
30.02/14.44	c (3,0) c PropsLitFullScans_5 : 30000614
30.02/14.44	c (3,0) c PropsLitFullScans_6 : 28107661
30.02/14.44	c (3,0) c PropsLitFullScans_7 : 34825900
30.02/14.44	c (3,0) c PropsLitFullScans_total : 242501748
30.02/14.44	c (3,0) c PropsLitFullScans_winner : 25565268
30.02/14.44	c (3,0) c LitScanFractions_0 : 827
30.02/14.44	c (3,0) c LitScanFractions_1 : 175
30.02/14.44	c (3,0) c LitScanFractions_2 : 307
30.02/14.44	c (3,0) c LitScanFractions_3 : 378
30.02/14.44	c (3,0) c LitScanFractions_4 : 513
30.02/14.44	c (3,0) c LitScanFractions_5 : 334
30.02/14.44	c (3,0) c LitScanFractions_6 : 166
30.02/14.44	c (3,0) c LitScanFractions_7 : 168
30.02/14.44	c (3,0) c LitScanFractions_total : 2868
30.02/14.44	c (3,0) c LitScanFractions_winner : 175
30.02/14.44	c (3,0) c DecisionLevel0_0 : 37
30.02/14.44	c (3,0) c DecisionLevel0_1 : 22
30.02/14.44	c (3,0) c DecisionLevel0_2 : 15
30.02/14.44	c (3,0) c DecisionLevel0_3 : 19
30.02/14.44	c (3,0) c DecisionLevel0_4 : 30
30.02/14.44	c (3,0) c DecisionLevel0_5 : 27
30.02/14.44	c (3,0) c DecisionLevel0_6 : 14
30.02/14.44	c (3,0) c DecisionLevel0_7 : 19
30.02/14.44	c (3,0) c DecisionLevel0_total : 183
30.02/14.44	c (3,0) c DecisionLevel0_winner : 22
30.02/14.44	c (3,0) c Periods_0 : 5
30.02/14.44	c (3,0) c Periods_1 : 4
30.02/14.44	c (3,0) c Periods_2 : 5
30.02/14.44	c (3,0) c Periods_3 : 5
30.02/14.44	c (3,0) c Periods_4 : 5
30.02/14.44	c (3,0) c Periods_5 : 5
30.02/14.44	c (3,0) c Periods_6 : 4
30.02/14.44	c (3,0) c Periods_7 : 5
30.02/14.44	c (3,0) c Periods_total : 38
30.02/14.44	c (3,0) c Periods_winner : 4
30.02/14.44	c (3,0) c Margin_0 : 20
30.02/14.44	c (3,0) c Margin_1 : 20
30.02/14.44	c (3,0) c Margin_2 : 20
30.02/14.44	c (3,0) c Margin_3 : 20
30.02/14.44	c (3,0) c Margin_4 : 20
30.02/14.44	c (3,0) c Margin_5 : 20
30.02/14.44	c (3,0) c Margin_6 : 20
30.02/14.44	c (3,0) c Margin_7 : 20
30.02/14.44	c (3,0) c Margin_total : 160
30.02/14.44	c (3,0) c Margin_winner : 20
30.02/14.44	c (3,0) c Exported_0 : 3405
30.02/14.44	c (3,0) c Exported_1 : 3704
30.02/14.44	c (3,0) c Exported_2 : 3936
30.02/14.44	c (3,0) c Exported_3 : 3416
30.02/14.44	c (3,0) c Exported_4 : 2307
30.02/14.44	c (3,0) c Exported_5 : 3273
30.02/14.44	c (3,0) c Exported_6 : 3019
30.02/14.44	c (3,0) c Exported_7 : 3391
30.02/14.44	c (3,0) c Exported_total : 26451
30.02/14.44	c (3,0) c Exported_winner : 3704
30.02/14.44	c (3,0) c Imported_0 : 0
30.02/14.44	c (3,0) c Imported_1 : 0
30.02/14.44	c (3,0) c Imported_2 : 0
30.02/14.44	c (3,0) c Imported_3 : 0
30.02/14.44	c (3,0) c Imported_4 : 0
30.02/14.44	c (3,0) c Imported_5 : 0
30.02/14.44	c (3,0) c Imported_6 : 0
30.02/14.44	c (3,0) c Imported_7 : 0
30.02/14.44	c (3,0) c Imported_total : 0
30.02/14.44	c (3,0) c Imported_winner : 0
30.02/14.44	c (3,0) c Good_0 : 0
30.02/14.44	c (3,0) c Good_1 : 0
30.02/14.44	c (3,0) c Good_2 : 0
30.02/14.44	c (3,0) c Good_3 : 0
30.02/14.44	c (3,0) c Good_4 : 0
30.02/14.44	c (3,0) c Good_5 : 0
30.02/14.44	c (3,0) c Good_6 : 0
30.02/14.44	c (3,0) c Good_7 : 0
30.02/14.44	c (3,0) c Good_total : 0
30.02/14.44	c (3,0) c Good_winner : 0
30.02/14.44	c (3,0) c Purge_0 : 0
30.02/14.44	c (3,0) c Purge_1 : 0
30.02/14.44	c (3,0) c Purge_2 : 0
30.02/14.44	c (3,0) c Purge_3 : 0
30.02/14.44	c (3,0) c Purge_4 : 0
30.02/14.44	c (3,0) c Purge_5 : 0
30.02/14.44	c (3,0) c Purge_6 : 0
30.02/14.44	c (3,0) c Purge_7 : 0
30.02/14.44	c (3,0) c Purge_total : 0
30.02/14.44	c (3,0) c Purge_winner : 0
30.02/14.44	c (3,0) c Promoted_0 : 0
30.02/14.44	c (3,0) c Promoted_1 : 0
30.02/14.44	c (3,0) c Promoted_2 : 0
30.02/14.44	c (3,0) c Promoted_3 : 0
30.02/14.44	c (3,0) c Promoted_4 : 0
30.02/14.44	c (3,0) c Promoted_5 : 0
30.02/14.44	c (3,0) c Promoted_6 : 0
30.02/14.44	c (3,0) c Promoted_7 : 0
30.02/14.44	c (3,0) c Promoted_total : 0
30.02/14.44	c (3,0) c Promoted_winner : 0
30.02/14.44	c (3,0) c Remove_Imp_0 : 0
30.02/14.44	c (3,0) c Remove_Imp_1 : 0
30.02/14.44	c (3,0) c Remove_Imp_2 : 0
30.02/14.44	c (3,0) c Remove_Imp_3 : 0
30.02/14.44	c (3,0) c Remove_Imp_4 : 0
30.02/14.44	c (3,0) c Remove_Imp_5 : 0
30.02/14.44	c (3,0) c Remove_Imp_6 : 0
30.02/14.44	c (3,0) c Remove_Imp_7 : 0
30.02/14.44	c (3,0) c Remove_Imp_total : 0
30.02/14.44	c (3,0) c Remove_Imp_winner : 0
30.02/14.44	c (3,0) c Blocked_Reuse_0 : 0
30.02/14.44	c (3,0) c Blocked_Reuse_1 : 0
30.02/14.44	c (3,0) c Blocked_Reuse_2 : 0
30.02/14.44	c (3,0) c Blocked_Reuse_3 : 0
30.02/14.44	c (3,0) c Blocked_Reuse_4 : 0
30.02/14.44	c (3,0) c Blocked_Reuse_5 : 0
30.02/14.44	c (3,0) c Blocked_Reuse_6 : 0
30.02/14.44	c (3,0) c Blocked_Reuse_7 : 0
30.02/14.44	c (3,0) c Blocked_Reuse_total : 0
30.02/14.44	c (3,0) c Blocked_Reuse_winner : 0
30.02/14.44	c (3,0) c Unaries_0 : 17
30.02/14.44	c (3,0) c Unaries_1 : 11
30.02/14.44	c (3,0) c Unaries_2 : 6
30.02/14.44	c (3,0) c Unaries_3 : 1
30.02/14.44	c (3,0) c Unaries_4 : 3
30.02/14.44	c (3,0) c Unaries_5 : 5
30.02/14.44	c (3,0) c Unaries_6 : 4
30.02/14.44	c (3,0) c Unaries_7 : 6
30.02/14.44	c (3,0) c Unaries_total : 53
30.02/14.44	c (3,0) c Unaries_winner : 11
30.02/14.44	c (3,0) c Binaries_0 : 87
30.02/14.44	c (3,0) c Binaries_1 : 85
30.02/14.44	c (3,0) c Binaries_2 : 27
30.02/14.44	c (3,0) c Binaries_3 : 26
30.02/14.44	c (3,0) c Binaries_4 : 24
30.02/14.44	c (3,0) c Binaries_5 : 33
30.02/14.44	c (3,0) c Binaries_6 : 30
30.02/14.44	c (3,0) c Binaries_7 : 52
30.02/14.44	c (3,0) c Binaries_total : 364
30.02/14.44	c (3,0) c Binaries_winner : 85
30.02/14.44	c (3,0) c Glues_0 : 268
30.02/14.44	c (3,0) c Glues_1 : 226
30.02/14.44	c (3,0) c Glues_2 : 133
30.02/14.44	c (3,0) c Glues_3 : 116
30.02/14.44	c (3,0) c Glues_4 : 92
30.02/14.44	c (3,0) c Glues_5 : 152
30.02/14.44	c (3,0) c Glues_6 : 130
30.02/14.44	c (3,0) c Glues_7 : 159
30.02/14.44	c (3,0) c Glues_total : 1276
30.02/14.44	c (3,0) c Glues_winner : 226
30.02/14.44	c (3,0) c RunningTime_0 : 0.520686
30.02/14.44	c (3,0) c RunningTime_1 : 0.532287
30.02/14.44	c (3,0) c RunningTime_2 : 0.551233
30.02/14.44	c (3,0) c RunningTime_3 : 0.545786
30.02/14.44	c (3,0) c RunningTime_4 : 0.545414
30.02/14.44	c (3,0) c RunningTime_5 : 0.562784
30.02/14.44	c (3,0) c RunningTime_6 : 0.538146
30.02/14.44	c (3,0) c RunningTime_7 : 0.568998
30.02/14.44	c (3,0) c RunningTime_total : 4.365335
30.02/14.44	c (3,0) c RunningTime_winner : 0.532287
30.02/14.44	c (3,0) c WaitingTime_0 : 0.000000
30.02/14.44	c (3,0) c WaitingTime_1 : 0.000000
30.02/14.44	c (3,0) c WaitingTime_2 : 0.000000
30.02/14.44	c (3,0) c WaitingTime_3 : 0.000000
30.02/14.44	c (3,0) c WaitingTime_4 : 0.000000
30.02/14.44	c (3,0) c WaitingTime_5 : 0.000000
30.02/14.44	c (3,0) c WaitingTime_6 : 0.000000
30.02/14.44	c (3,0) c WaitingTime_7 : 0.000000
30.02/14.44	c (3,0) c WaitingTime_total : 0.000000
30.02/14.44	c (3,0) c WaitingTime_winner : 0.000000
30.02/14.44	c (3,0) c ExchangingTime_0 : 0.001183
30.02/14.44	c (3,0) c ExchangingTime_1 : 0.000882
30.02/14.44	c (3,0) c ExchangingTime_2 : 0.000969
30.02/14.44	c (3,0) c ExchangingTime_3 : 0.000923
30.02/14.44	c (3,0) c ExchangingTime_4 : 0.000819
30.02/14.44	c (3,0) c ExchangingTime_5 : 0.000750
30.02/14.44	c (3,0) c ExchangingTime_6 : 0.000700
30.02/14.44	c (3,0) c ExchangingTime_7 : 0.000781
30.02/14.44	c (3,0) c ExchangingTime_total : 0.007008
30.02/14.44	c (3,0) c ExchangingTime_winner : 0.000882
30.02/14.44	c (3,0) c PeriodProcTime_0 : 0.000042
30.02/14.44	c (3,0) c PeriodProcTime_1 : 0.000018
30.02/14.44	c (3,0) c PeriodProcTime_2 : 0.000026
30.02/14.44	c (3,0) c PeriodProcTime_3 : 0.000023
30.02/14.44	c (3,0) c PeriodProcTime_4 : 0.000016
30.02/14.44	c (3,0) c PeriodProcTime_5 : 0.000019
30.02/14.44	c (3,0) c PeriodProcTime_6 : 0.000019
30.02/14.44	c (3,0) c PeriodProcTime_7 : 0.000029
30.02/14.44	c (3,0) c PeriodProcTime_total : 0.000192
30.02/14.44	c (3,0) c PeriodProcTime_winner : 0.000018
30.02/14.44	c (3,0) c SolvingTime_0 : 0.521912
30.02/14.44	c (3,0) c SolvingTime_1 : 0.533187
30.02/14.44	c (3,0) c SolvingTime_2 : 0.552228
30.02/14.44	c (3,0) c SolvingTime_3 : 0.546732
30.02/14.44	c (3,0) c SolvingTime_4 : 0.546250
30.02/14.44	c (3,0) c SolvingTime_5 : 0.563553
30.02/14.44	c (3,0) c SolvingTime_6 : 0.538865
30.02/14.44	c (3,0) c SolvingTime_7 : 0.569808
30.02/14.44	c (3,0) c SolvingTime_total : 4.372535
30.02/14.44	c (3,0) c SolvingTime_winner : 0.533187
30.02/14.44	c (3,0) c PropagationTime_0 : 0.394475
30.02/14.44	c (3,0) c PropagationTime_1 : 0.424216
30.02/14.44	c (3,0) c PropagationTime_2 : 0.439737
30.02/14.44	c (3,0) c PropagationTime_3 : 0.429428
30.02/14.44	c (3,0) c PropagationTime_4 : 0.436043
30.02/14.44	c (3,0) c PropagationTime_5 : 0.447957
30.02/14.44	c (3,0) c PropagationTime_6 : 0.418146
30.02/14.44	c (3,0) c PropagationTime_7 : 0.452901
30.02/14.44	c (3,0) c PropagationTime_total : 3.442902
30.02/14.44	c (3,0) c PropagationTime_winner : 0.424216
30.02/14.44	c (3,0) c AnalysisTime_0 : 0.096060
30.02/14.44	c (3,0) c AnalysisTime_1 : 0.079798
30.02/14.44	c (3,0) c AnalysisTime_2 : 0.081728
30.02/14.44	c (3,0) c AnalysisTime_3 : 0.087923
30.02/14.44	c (3,0) c AnalysisTime_4 : 0.081231
30.02/14.44	c (3,0) c AnalysisTime_5 : 0.084703
30.02/14.44	c (3,0) c AnalysisTime_6 : 0.090212
30.02/14.44	c (3,0) c AnalysisTime_7 : 0.085882
30.02/14.44	c (3,0) c AnalysisTime_total : 0.687537
30.02/14.44	c (3,0) c AnalysisTime_winner : 0.079798
30.02/14.44	c (3,0) c ReductionTime_0 : 0.002998
30.02/14.44	c (3,0) c ReductionTime_1 : 0.002978
30.02/14.44	c (3,0) c ReductionTime_2 : 0.002994
30.02/14.44	c (3,0) c ReductionTime_3 : 0.003050
30.02/14.44	c (3,0) c ReductionTime_4 : 0.002953
30.02/14.44	c (3,0) c ReductionTime_5 : 0.003041
30.02/14.44	c (3,0) c ReductionTime_6 : 0.003116
30.02/14.44	c (3,0) c ReductionTime_7 : 0.003016
30.02/14.44	c (3,0) c ReductionTime_total : 0.024147
30.02/14.44	c (3,0) c ReductionTime_winner : 0.002978
30.02/14.44	c (3,0) c SimplifyTime_0 : 0.000003
30.02/14.44	c (3,0) c SimplifyTime_1 : 0.000003
30.02/14.44	c (3,0) c SimplifyTime_2 : 0.000000
30.02/14.44	c (3,0) c SimplifyTime_3 : 0.000004
30.02/14.44	c (3,0) c SimplifyTime_4 : 0.000002
30.02/14.44	c (3,0) c SimplifyTime_5 : 0.000001
30.02/14.44	c (3,0) c SimplifyTime_6 : 0.000002
30.02/14.44	c (3,0) c SimplifyTime_7 : 0.000001
30.02/14.44	c (3,0) c SimplifyTime_total : 0.000016
30.02/14.44	c (3,0) c SimplifyTime_winner : 0.000003
30.02/14.44	c (3,0) c UsedRateTime_0 : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_1 : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_2 : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_3 : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_4 : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_5 : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_6 : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_7 : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_total : 0.000000
30.02/14.44	c (3,0) c UsedRateTime_winner : 0.000000
30.02/14.44	c (3,0) c OverlapRateTime_0 : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_1 : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_2 : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_3 : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_4 : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_5 : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_6 : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_7 : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_total : 0.000000
30.02/14.45	c (3,0) c OverlapRateTime_winner : 0.000000
30.02/14.45	c (3,0) c
30.02/14.45	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
30.02/14.45	c (3,0) c
30.02/14.45	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.45	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
30.02/14.45	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.45	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
30.02/14.45	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
30.02/14.45	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
30.02/14.45	c (3,0) c | Initial random_seed   | 1919970710 |  889342921 | 1708491900 |    3205923 | 1766048698 | 1835585993 |  435939530 |  364908070 |
30.02/14.45	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
30.02/14.45	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
30.02/14.45	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
30.02/14.45	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
30.02/14.45	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
30.02/14.45	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
30.02/14.45	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
30.02/14.45	c (3,0) c | var_decay             |     0.8300 |     0.8200 |     0.8300 |     0.8300 |     0.8200 |     0.8300 |     0.8200 |     0.8300 |
30.02/14.45	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
30.02/14.45	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
30.02/14.45	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
30.02/14.45	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.02/14.45	c (3,0) 
30.02/14.45	c (3,0) s UNSATISFIABLE
30.02/14.46	c (3,0) SatSolver.solve End
30.02/14.46	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
30.02/14.46	c (3,0) Show results Begin
30.02/14.46	s UNSATISFIABLE
30.02/14.46	c (3,0) Show results End
30.02/14.46	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
30.02/14.46	c (3,0) 3,3,STOP-AFTER(ALL)
30.02/14.46	c END-Prog: Sat Sep 14 01:19:59 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 (15049 MiB free)
  memory of node 1: 16384 MiB (15588 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392674-1568416844/watcher-4392674-1568416844 -o /tmp/evaluation-result-4392674-1568416844/solver-4392674-1568416844 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568416709-32010 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392674-1568416844.xml 

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

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

solver pid=1345, runsolver pid=1342

[startup+0.100124 s]*
/proc/loadavg: 2.62 1.27 1.69 2/211 1367
/proc/meminfo: memFree=31276444/32770624 swapFree=66996956/67108860
[pid=1345] ppid=1342 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1345/stat : 1345 (scop.sh) S 1342 1345 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417937443 115843072 349 33554432000 4194304 5098028 140722729731888 140722729729144 140441045340796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39854080 140722729734948 140722729735276 140722729735276 140722729738189 0
/proc/1345/statm: 28282 349 296 221 0 87 0
[pid=1348] ppid=1345 vsize=27314120 memory=107360 CPUtime=0.1 cores=0-7
/proc/1348/stat : 1348 (java) S 1345 1345 31983 0 -1 1077944320 6933 0 0 0 8 2 0 0 20 0 20 0 417937444 27969658880 26840 33554432000 4194304 4196468 140732589921984 140732589904528 139659862560503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
/proc/1348/statm: 6828530 26840 2780 1 0 6790935 0
[pid=1348/tid=1349] ppid=1345 vsize=27314120 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/1348/task/1349/stat : 1349 (java) R 1345 1345 31983 0 -1 4202560 5075 0 0 0 7 2 0 0 20 0 20 0 417937444 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659834386832 139659845544864 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1350] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1350/stat : 1350 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659866802832 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1351] ppid=1345 vsize=27314120 memory=139809933739648 CPUtime=0 cores=0-7
/proc/1348/task/1351/stat : 1351 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659680958992 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1352] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1352/stat : 1352 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659679906192 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1353] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1353/stat : 1353 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659678853392 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1354] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1354/stat : 1354 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659677801616 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1355] ppid=1345 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1348/task/1355/stat : 1355 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659676748816 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1356] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1356/stat : 1356 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937447 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659675696016 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1357] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1357/stat : 1357 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937447 27969658880 26905 33554432000 4194304 4196468 140732589921984 139659674643216 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1358] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1358/stat : 1358 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937448 27969658880 26905 33554432000 4194304 4196468 140732589921984 139657981397360 139659862571650 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1359] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1359/stat : 1359 (java) S 1345 1345 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417937448 27969658880 26970 33554432000 4194304 4196468 140732589921984 139657840944160 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1360] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1360/stat : 1360 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937449 27969658880 26970 33554432000 4194304 4196468 140732589921984 139657572508528 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1361] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1361/stat : 1361 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 26970 33554432000 4194304 4196468 140732589921984 139657197999952 139659862579099 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1362] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1362/stat : 1362 (java) S 1345 1345 31983 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 26970 33554432000 4194304 4196468 140732589921984 139657980345200 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1363] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1363/stat : 1363 (java) R 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 26970 33554432000 4194304 4196468 140732589921984 139657979292400 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1364] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1364/stat : 1364 (java) R 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 26970 33554432000 4194304 4196468 140732589921984 139657978239600 139659862571650 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1365] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1365/stat : 1365 (java) S 1345 1345 31983 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 26970 33554432000 4194304 4196468 140732589921984 139657977186800 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1366] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1366/stat : 1366 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 26970 33554432000 4194304 4196468 140732589921984 139656700095072 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1367] ppid=1345 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1348/task/1367/stat : 1367 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937452 27969658880 26970 33554432000 4194304 4196468 140732589921984 139657706723888 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108756 KiB

[startup+0.210121 s]*
/proc/loadavg: 2.62 1.27 1.69 3/211 1367
/proc/meminfo: memFree=31254676/32770624 swapFree=66996956/67108860
[pid=1345] ppid=1342 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1345/stat : 1345 (scop.sh) S 1342 1345 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417937443 115843072 349 33554432000 4194304 5098028 140722729731888 140722729729144 140441045340796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39854080 140722729734948 140722729735276 140722729735276 140722729738189 0
/proc/1345/statm: 28282 349 296 221 0 87 0
[pid=1348] ppid=1345 vsize=27314120 memory=126604 CPUtime=0.24 cores=0-7
/proc/1348/stat : 1348 (java) S 1345 1345 31983 0 -1 1077944320 12459 0 0 0 20 4 0 0 20 0 20 0 417937444 27969658880 31651 33554432000 4194304 4196468 140732589921984 140732589904528 139659862560503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
/proc/1348/statm: 6828530 31651 2937 1 0 6790935 0
[pid=1348/tid=1349] ppid=1345 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1348/task/1349/stat : 1349 (java) R 1345 1345 31983 0 -1 4202560 10175 0 0 0 16 3 0 0 20 0 20 0 417937444 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659834364112 139659847726175 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1350] ppid=1345 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/1348/task/1350/stat : 1350 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659866802832 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1351] ppid=1345 vsize=27314120 memory=139809933767892 CPUtime=0 cores=0-7
/proc/1348/task/1351/stat : 1351 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659680958992 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1352] ppid=1345 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1348/task/1352/stat : 1352 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659679906192 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1353] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1353/stat : 1353 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659678853392 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1354] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1354/stat : 1354 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659677801616 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1355] ppid=1345 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1348/task/1355/stat : 1355 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659676748816 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1356] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1356/stat : 1356 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937447 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659675696016 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1357] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1357/stat : 1357 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937447 27969658880 31651 33554432000 4194304 4196468 140732589921984 139659674643216 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1358] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1358/stat : 1358 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937448 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657981397360 139659862571650 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1359] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1359/stat : 1359 (java) S 1345 1345 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417937448 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657840944160 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1360] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1360/stat : 1360 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937449 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657572508528 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1361] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1361/stat : 1361 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657197999952 139659862579099 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1362] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1362/stat : 1362 (java) S 1345 1345 31983 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657980345200 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1363] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1363/stat : 1363 (java) S 1345 1345 31983 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657979292400 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1364] ppid=1345 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1348/task/1364/stat : 1364 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657978239600 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1365] ppid=1345 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/1348/task/1365/stat : 1365 (java) S 1345 1345 31983 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 20 0 417937451 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657977186800 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1366] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1366/stat : 1366 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 31651 33554432000 4194304 4196468 140732589921984 139656700095072 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1367] ppid=1345 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1348/task/1367/stat : 1367 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937452 27969658880 31651 33554432000 4194304 4196468 140732589921984 139657706723888 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128000 KiB

[startup+0.309244 s]*
/proc/loadavg: 2.62 1.27 1.69 2/211 1367
/proc/meminfo: memFree=31253944/32770624 swapFree=66996956/67108860
[pid=1345] ppid=1342 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1345/stat : 1345 (scop.sh) S 1342 1345 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417937443 115843072 349 33554432000 4194304 5098028 140722729731888 140722729729144 140441045340796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39854080 140722729734948 140722729735276 140722729735276 140722729738189 0
/proc/1345/statm: 28282 349 296 221 0 87 0
[pid=1348] ppid=1345 vsize=27314120 memory=130280 CPUtime=0.42 cores=0-7
/proc/1348/stat : 1348 (java) S 1345 1345 31983 0 -1 1077944320 13429 0 0 0 37 5 0 0 20 0 20 0 417937444 27969658880 32570 33554432000 4194304 4196468 140732589921984 140732589904528 139659862560503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
/proc/1348/statm: 6828530 32570 3006 1 0 6790935 0
[pid=1348/tid=1349] ppid=1345 vsize=27314120 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/1348/task/1349/stat : 1349 (java) R 1345 1345 31983 0 -1 4202560 10974 0 0 0 26 4 0 0 20 0 20 0 417937444 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659834390576 139659842836239 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1350] ppid=1345 vsize=27314120 memory=676 CPUtime=0 cores=0-7
/proc/1348/task/1350/stat : 1350 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659866802832 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1351] ppid=1345 vsize=27314120 memory=1060 CPUtime=0 cores=0-7
/proc/1348/task/1351/stat : 1351 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659680958992 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1352] ppid=1345 vsize=27314120 memory=1548 CPUtime=0 cores=0-7
/proc/1348/task/1352/stat : 1352 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659679906192 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1353] ppid=1345 vsize=27314120 memory=8560 CPUtime=0 cores=0-7
/proc/1348/task/1353/stat : 1353 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659678853392 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1354] ppid=1345 vsize=27314120 memory=1668 CPUtime=0 cores=0-7
/proc/1348/task/1354/stat : 1354 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659677801616 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1355] ppid=1345 vsize=27314120 memory=1112 CPUtime=0 cores=0-7
/proc/1348/task/1355/stat : 1355 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659676748816 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1356] ppid=1345 vsize=27314120 memory=1004 CPUtime=0 cores=0-7
/proc/1348/task/1356/stat : 1356 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937447 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659675696016 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1357] ppid=1345 vsize=27314120 memory=5976 CPUtime=0 cores=0-7
/proc/1348/task/1357/stat : 1357 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937447 27969658880 32570 33554432000 4194304 4196468 140732589921984 139659674643216 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1358] ppid=1345 vsize=27314120 memory=14008 CPUtime=0 cores=0-7
/proc/1348/task/1358/stat : 1358 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937448 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657981397360 139659862571650 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1359] ppid=1345 vsize=27314120 memory=2124 CPUtime=0 cores=0-7
/proc/1348/task/1359/stat : 1359 (java) S 1345 1345 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417937448 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657840944160 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1360] ppid=1345 vsize=27314120 memory=22144 CPUtime=0 cores=0-7
/proc/1348/task/1360/stat : 1360 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937449 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657572508528 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1361] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1361/stat : 1361 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657197999952 139659862579099 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1362] ppid=1345 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1348/task/1362/stat : 1362 (java) S 1345 1345 31983 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 417937451 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657980345200 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1363] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1363/stat : 1363 (java) S 1345 1345 31983 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657979292400 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1364] ppid=1345 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1348/task/1364/stat : 1364 (java) S 1345 1345 31983 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 417937451 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657978239600 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1365] ppid=1345 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/1348/task/1365/stat : 1365 (java) S 1345 1345 31983 0 -1 1077944384 479 0 0 0 7 0 0 0 20 0 20 0 417937451 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657977186800 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1366] ppid=1345 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1366/stat : 1366 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417937451 27969658880 32570 33554432000 4194304 4196468 140732589921984 139656700095072 139659862570709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1367] ppid=1345 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1348/task/1367/stat : 1367 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937452 27969658880 32570 33554432000 4194304 4196468 140732589921984 139657706723888 139659862571650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131676 KiB

[startup+0.700901 s]
/proc/loadavg: 2.62 1.27 1.69 3/211 1367
/proc/meminfo: memFree=31233604/32770624 swapFree=66996956/67108860
[pid=1345] ppid=1342 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1345/stat : 1345 (scop.sh) S 1342 1345 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417937443 115843072 349 33554432000 4194304 5098028 140722729731888 140722729729144 140441045340796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39854080 140722729734948 140722729735276 140722729735276 140722729738189 0
/proc/1345/statm: 28282 349 296 221 0 87 0
[pid=1348] ppid=1345 vsize=27320392 memory=165484 CPUtime=0.99 cores=0-7
/proc/1348/stat : 1348 (java) S 1345 1345 31983 0 -1 1077944320 20420 0 0 0 92 7 0 0 20 0 20 0 417937444 27976081408 41371 33554432000 4194304 4196468 140732589921984 140732589904528 139659862560503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
/proc/1348/statm: 6830098 41371 3186 1 0 6791447 0
[pid=1348/tid=1349] ppid=1345 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/1348/task/1349/stat : 1349 (java) R 1345 1345 31983 0 -1 4202560 17406 0 0 0 62 6 0 0 20 0 20 0 417937444 27976081408 41371 33554432000 4194304 4196468 140732589921984 139659834397936 139659862572438 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1350] ppid=1345 vsize=27320392 memory=139809775723376 CPUtime=0 cores=0-7
/proc/1348/task/1350/stat : 1350 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937446 27976081408 41371 33554432000 4194304 4196468 140732589921984 139659866802832 139659862570709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1351] ppid=1345 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1351/stat : 1351 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417937446 27976081408 41371 33554432000 4194304 4196468 140732589921984 139659680958992 139659862570709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0
[pid=1348/tid=1352] ppid=1345 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1348/task/1352/stat : 1352 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417937446 27976081408 41371 33554432000 4194304 4196468 140732589921984 139659679906192 139659862570709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140732589929195 140732589929622 140732589929622 140732589932495 0

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

[pid=1370/tid=1394] ppid=1345 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/1370/task/1394/stat : 1394 (java) S 1345 1345 31983 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417938580 8616062976 29643 33554432000 4194304 4196468 140732108349328 140611659218192 140614636639389 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1395] ppid=1345 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/1370/task/1395/stat : 1395 (java) S 1345 1345 31983 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417938582 8616062976 29643 33554432000 4194304 4196468 140732108349328 140611122355504 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
Current children cumulated CPU time: 25.66 s
Current children cumulated vsize: 8728384 KiB
Current children cumulated memory: 274644 KiB

[startup+14.0015 s]*
/proc/loadavg: 2.68 1.35 1.71 9/224 1403
/proc/meminfo: memFree=30470176/32770624 swapFree=66996956/67108860
[pid=1345] ppid=1342 vsize=113128 memory=1476 CPUtime=22.21 cores=0-7
/proc/1345/stat : 1345 (scop.sh) S 1342 1345 31983 0 -1 4202496 583 39296 0 0 0 0 2128 93 20 0 1 0 417937443 115843072 369 33554432000 4194304 5098028 140722729731888 140722729728632 140441045340796 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39854080 140722729734948 140722729735276 140722729735276 140722729738189 0
/proc/1345/statm: 28282 369 311 221 0 87 0
[pid=1370] ppid=1345 vsize=8414124 memory=118572 CPUtime=1.23 cores=0-7
/proc/1370/stat : 1370 (java) S 1345 1345 31983 0 -1 1077944320 20518 0 0 0 115 8 0 0 20 0 24 0 417938505 8616062976 29643 33554432000 4194304 4196468 140732108349328 140732108331872 140614636617463 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
/proc/1370/statm: 2103531 29643 3208 1 0 2064875 0
[pid=1390] ppid=1370 vsize=1369564 memory=776612 CPUtime=3.47 cores=0-7
/proc/1390/stat : 1390 (manyglucose-4.1) S 1370 1345 31983 0 -1 1077944320 125250 0 0 0 302 45 0 0 20 0 9 0 417938580 1402433536 194153 33554432000 4194304 4454172 140733441453488 140733441451888 140054335154818 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
/proc/1390/statm: 342391 194153 390 64 0 338059 0
[pid=1390/tid=1396] ppid=1370 vsize=1369564 memory=4639341365868844132 CPUtime=0.13 cores=0-7
/proc/1390/task/1396/stat : 1396 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 498 0 0 0 12 1 0 0 20 0 9 0 417938829 1402433536 194153 33554432000 4194304 4454172 140733441453488 140053834861672 4350902 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1397] ppid=1370 vsize=1369564 memory=7378424942161777003 CPUtime=0.11 cores=0-7
/proc/1390/task/1397/stat : 1397 (manyglucose-4.1) R 1370 1345 31983 0 -1 1077944384 1416 0 0 0 8 3 0 0 20 0 9 0 417938829 1402433536 194153 33554432000 4194304 4454172 140733441453488 140053826468968 140054321000700 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1398] ppid=1370 vsize=1369564 memory=3540030905305856691 CPUtime=0.12 cores=0-7
/proc/1390/task/1398/stat : 1398 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1413 0 0 0 9 3 0 0 20 0 9 0 417938829 1402433536 194153 33554432000 4194304 4454172 140733441453488 140053818076264 140054320446437 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1399] ppid=1370 vsize=1369564 memory=7013630013561333334 CPUtime=0.12 cores=0-7
/proc/1390/task/1399/stat : 1399 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1685 0 0 0 8 4 0 0 20 0 9 0 417938829 1402433536 194153 33554432000 4194304 4454172 140733441453488 140053809683560 4332249 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1400] ppid=1370 vsize=1369564 memory=7230921007607278949 CPUtime=0.12 cores=0-7
/proc/1390/task/1400/stat : 1400 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1440 0 0 0 9 3 0 0 20 0 9 0 417938829 1402433536 194153 33554432000 4194304 4454172 140733441453488 140053801290856 4351331 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1401] ppid=1370 vsize=1369564 memory=7584172172082901604 CPUtime=0.12 cores=0-7
/proc/1390/task/1401/stat : 1401 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1438 0 0 0 9 3 0 0 20 0 9 0 417938829 1402433536 194153 33554432000 4194304 4454172 140733441453488 140053792898152 4351603 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1402] ppid=1370 vsize=1369564 memory=3683997504517716273 CPUtime=0.12 cores=0-7
/proc/1390/task/1402/stat : 1402 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1144 0 0 0 9 3 0 0 20 0 9 0 417938830 1402433536 194153 33554432000 4194304 4454172 140733441453488 140053447699560 4332104 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1403] ppid=1370 vsize=1369564 memory=7588679065933407591 CPUtime=0.11 cores=0-7
/proc/1390/task/1403/stat : 1403 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1500 0 0 0 9 2 0 0 20 0 9 0 417938830 1402433536 194153 33554432000 4194304 4454172 140733441453488 140053305089128 4351300 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1370/tid=1371] ppid=1345 vsize=8414124 memory=1400 CPUtime=0.77 cores=0-7
/proc/1370/task/1371/stat : 1371 (java) S 1345 1345 31983 0 -1 1077944384 17278 0 0 0 71 6 0 0 20 0 24 0 417938506 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614608457632 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1372] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1372/stat : 1372 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614640860048 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1373] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1373/stat : 1373 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614441028368 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1374] ppid=1345 vsize=8414124 memory=6935054825532540783 CPUtime=0 cores=0-7
/proc/1370/task/1374/stat : 1374 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614439976080 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1375] ppid=1345 vsize=8414124 memory=118572 CPUtime=0 cores=0-7
/proc/1370/task/1375/stat : 1375 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614438923280 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1376] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1376/stat : 1376 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614437869968 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1377] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1377/stat : 1377 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614436817168 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1378] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1378/stat : 1378 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614435764880 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1379] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1379/stat : 1379 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614434712080 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1380] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1380/stat : 1380 (java) S 1345 1345 31983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417938508 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613730130544 140614636628610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1381] ppid=1345 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/1370/task/1381/stat : 1381 (java) S 1345 1345 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417938509 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613068514592 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1382] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1382/stat : 1382 (java) S 1345 1345 31983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417938509 8616062976 29643 33554432000 4194304 4196468 140732108349328 140612934293104 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1383] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1383/stat : 1383 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417938511 8616062976 29643 33554432000 4194304 4196468 140732108349328 140612559788624 140614636636059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1384] ppid=1345 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/1370/task/1384/stat : 1384 (java) S 1345 1345 31983 0 -1 1077944384 684 0 0 0 6 0 0 0 20 0 24 0 417938511 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613729077360 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1385] ppid=1345 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/1370/task/1385/stat : 1385 (java) S 1345 1345 31983 0 -1 1077944384 204 0 0 0 6 0 0 0 20 0 24 0 417938511 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613728024560 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1386] ppid=1345 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/1370/task/1386/stat : 1386 (java) S 1345 1345 31983 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 24 0 417938512 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613726972272 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1387] ppid=1345 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/1370/task/1387/stat : 1387 (java) S 1345 1345 31983 0 -1 1077944384 628 0 0 0 22 0 0 0 20 0 24 0 417938512 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613725919472 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1388] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1388/stat : 1388 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417938512 8616062976 29643 33554432000 4194304 4196468 140732108349328 140612061883232 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1389] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1389/stat : 1389 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417938512 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613724867376 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1391] ppid=1345 vsize=8414124 memory=279619552486208 CPUtime=0 cores=0-7
/proc/1370/task/1391/stat : 1391 (java) S 1345 1345 31983 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417938580 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613716834112 140614636642073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1393] ppid=1345 vsize=8414124 memory=9034001483 CPUtime=0 cores=0-7
/proc/1370/task/1393/stat : 1393 (java) S 1345 1345 31983 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417938580 8616062976 29643 33554432000 4194304 4196468 140732108349328 140611390782864 140614636639389 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1394] ppid=1345 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1370/task/1394/stat : 1394 (java) S 1345 1345 31983 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417938580 8616062976 29643 33554432000 4194304 4196468 140732108349328 140611659218192 140614636639389 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1395] ppid=1345 vsize=8414124 memory=6009583688638633642 CPUtime=0 cores=0-7
/proc/1370/task/1395/stat : 1395 (java) S 1345 1345 31983 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417938582 8616062976 29643 33554432000 4194304 4196468 140732108349328 140611122355504 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 9896816 KiB
Current children cumulated memory: 896660 KiB

[startup+14.4012 s]
/proc/loadavg: 2.68 1.35 1.71 9/224 1403
/proc/meminfo: memFree=30470176/32770624 swapFree=66996956/67108860
[pid=1345] ppid=1342 vsize=113128 memory=1476 CPUtime=22.21 cores=0-7
/proc/1345/stat : 1345 (scop.sh) S 1342 1345 31983 0 -1 4202496 583 39296 0 0 0 0 2128 93 20 0 1 0 417937443 115843072 369 33554432000 4194304 5098028 140722729731888 140722729728632 140441045340796 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39854080 140722729734948 140722729735276 140722729735276 140722729738189 0
/proc/1345/statm: 28282 369 311 221 0 87 0
[pid=1370] ppid=1345 vsize=8414124 memory=118572 CPUtime=1.23 cores=0-7
/proc/1370/stat : 1370 (java) S 1345 1345 31983 0 -1 1077944320 20518 0 0 0 115 8 0 0 20 0 24 0 417938505 8616062976 29643 33554432000 4194304 4196468 140732108349328 140732108331872 140614636617463 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
/proc/1370/statm: 2103531 29643 3208 1 0 2064875 0
[pid=1390] ppid=1370 vsize=1372484 memory=781944 CPUtime=6.58 cores=0-7
/proc/1390/stat : 1390 (manyglucose-4.1) S 1370 1345 31983 0 -1 1077944320 126453 0 0 0 613 45 0 0 20 0 7 0 417938580 1405423616 195486 33554432000 4194304 4454172 140733441453488 140733441451872 140054335143671 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
/proc/1390/statm: 343121 195486 420 64 0 338789 0
[pid=1390/tid=1398] ppid=1370 vsize=1372484 memory=4104 CPUtime=0.51 cores=0-7
/proc/1390/task/1398/stat : 1398 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1577 0 0 0 48 3 0 0 20 0 7 0 417938829 1405423616 195486 33554432000 4194304 4454172 140733441453488 140053818076264 4351803 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1399] ppid=1370 vsize=1372484 memory=1644 CPUtime=0.51 cores=0-7
/proc/1390/task/1399/stat : 1399 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1809 0 0 0 47 4 0 0 20 0 7 0 417938829 1405423616 195486 33554432000 4194304 4454172 140733441453488 140053809683560 4351498 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1400] ppid=1370 vsize=1372484 memory=1804 CPUtime=0.51 cores=0-7
/proc/1390/task/1400/stat : 1400 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1579 0 0 0 48 3 0 0 20 0 7 0 417938829 1405423616 195486 33554432000 4194304 4454172 140733441453488 140053801290856 4350867 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1401] ppid=1370 vsize=1372484 memory=916 CPUtime=0.51 cores=0-7
/proc/1390/task/1401/stat : 1401 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1584 0 0 0 48 3 0 0 20 0 7 0 417938829 1405423616 195486 33554432000 4194304 4454172 140733441453488 140053792898152 4350933 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1402] ppid=1370 vsize=1372484 memory=4260 CPUtime=0.51 cores=0-7
/proc/1390/task/1402/stat : 1402 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1263 0 0 0 48 3 0 0 20 0 7 0 417938830 1405423616 195486 33554432000 4194304 4454172 140733441453488 140053447699560 4351296 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1390/tid=1403] ppid=1370 vsize=1372484 memory=6935054825532540783 CPUtime=0.5 cores=0-7
/proc/1390/task/1403/stat : 1403 (manyglucose-4.1) R 1370 1345 31983 0 -1 4202560 1659 0 0 0 48 2 0 0 20 0 7 0 417938830 1405423616 195486 33554432000 4194304 4454172 140733441453488 140053305088760 4351747 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 17571840 140733441459050 140733441459248 140733441459248 140733441462202 0
[pid=1370/tid=1371] ppid=1345 vsize=8414124 memory=3772948 CPUtime=0.77 cores=0-7
/proc/1370/task/1371/stat : 1371 (java) S 1345 1345 31983 0 -1 1077944384 17278 0 0 0 71 6 0 0 20 0 24 0 417938506 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614608457632 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1372] ppid=1345 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1370/task/1372/stat : 1372 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614640860048 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1373] ppid=1345 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/1370/task/1373/stat : 1373 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614441028368 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1374] ppid=1345 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/1370/task/1374/stat : 1374 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614439976080 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1375] ppid=1345 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/1370/task/1375/stat : 1375 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614438923280 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1376] ppid=1345 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/1370/task/1376/stat : 1376 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614437869968 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1377] ppid=1345 vsize=8414124 memory=3972 CPUtime=0 cores=0-7
/proc/1370/task/1377/stat : 1377 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614436817168 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1378] ppid=1345 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/1370/task/1378/stat : 1378 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614435764880 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1379] ppid=1345 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/1370/task/1379/stat : 1379 (java) S 1345 1345 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417938507 8616062976 29643 33554432000 4194304 4196468 140732108349328 140614434712080 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1380] ppid=1345 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/1370/task/1380/stat : 1380 (java) S 1345 1345 31983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417938508 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613730130544 140614636628610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1381] ppid=1345 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/1370/task/1381/stat : 1381 (java) S 1345 1345 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417938509 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613068514592 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1382] ppid=1345 vsize=8414124 memory=132012 CPUtime=0 cores=0-7
/proc/1370/task/1382/stat : 1382 (java) S 1345 1345 31983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417938509 8616062976 29643 33554432000 4194304 4196468 140732108349328 140612934293104 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1383] ppid=1345 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1370/task/1383/stat : 1383 (java) S 1345 1345 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417938511 8616062976 29643 33554432000 4194304 4196468 140732108349328 140612559788624 140614636636059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1384] ppid=1345 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/1370/task/1384/stat : 1384 (java) S 1345 1345 31983 0 -1 1077944384 684 0 0 0 6 0 0 0 20 0 24 0 417938511 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613729077360 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1385] ppid=1345 vsize=8414124 memory=118572 CPUtime=0.06 cores=0-7
/proc/1370/task/1385/stat : 1385 (java) S 1345 1345 31983 0 -1 1077944384 204 0 0 0 6 0 0 0 20 0 24 0 417938511 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613728024560 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1386] ppid=1345 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/1370/task/1386/stat : 1386 (java) S 1345 1345 31983 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 24 0 417938512 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613726972272 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1387] ppid=1345 vsize=8414124 memory=118572 CPUtime=0.22 cores=0-7
/proc/1370/task/1387/stat : 1387 (java) S 1345 1345 31983 0 -1 1077944384 628 0 0 0 22 0 0 0 20 0 24 0 417938512 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613725919472 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1388] ppid=1345 vsize=8414124 memory=132012 CPUtime=0 cores=0-7
/proc/1370/task/1388/stat : 1388 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417938512 8616062976 29643 33554432000 4194304 4196468 140732108349328 140612061883232 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1389] ppid=1345 vsize=8414124 memory=13573690910574523 CPUtime=0 cores=0-7
/proc/1370/task/1389/stat : 1389 (java) S 1345 1345 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417938512 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613724867376 140614636628610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1391] ppid=1345 vsize=8414124 memory=8836 CPUtime=0 cores=0-7
/proc/1370/task/1391/stat : 1391 (java) S 1345 1345 31983 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417938580 8616062976 29643 33554432000 4194304 4196468 140732108349328 140613716834112 140614636642073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1393] ppid=1345 vsize=8414124 memory=11044 CPUtime=0 cores=0-7
/proc/1370/task/1393/stat : 1393 (java) S 1345 1345 31983 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417938580 8616062976 29643 33554432000 4194304 4196468 140732108349328 140611390782864 140614636639389 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1394] ppid=1345 vsize=8414124 memory=13252 CPUtime=0 cores=0-7
/proc/1370/task/1394/stat : 1394 (java) S 1345 1345 31983 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417938580 8616062976 29643 33554432000 4194304 4196468 140732108349328 140611659218192 140614636639389 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
[pid=1370/tid=1395] ppid=1345 vsize=8414124 memory=15460 CPUtime=0 cores=0-7
/proc/1370/task/1395/stat : 1395 (java) S 1345 1345 31983 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417938582 8616062976 29643 33554432000 4194304 4196468 140732108349328 140611122355504 140614636627669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140732108350456 140732108350614 140732108350614 140732108353487 0
Current children cumulated CPU time: 30.02 s
Current children cumulated vsize: 9899736 KiB
Current children cumulated memory: 901992 KiB

Child status: 0
Real time (s): 14.4785
CPU time (s): 30.2343
CPU user time (s): 28.7196
CPU system time (s): 1.51468
CPU usage (%): 208.821
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 5115564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.7196
system time used= 1.51467
maximum resident set size= 5122604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 46008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43378
involuntary context switches= 93


# summary of solver processes directly reported to runsolver:
#   pid: 1345
#   total CPU time (s): 30.2343
#   total CPU user time (s): 28.7196
#   total CPU system time (s): 1.51468

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111023 second user time and 0.20417 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 01:19:45
IDJOB=4392674
IDBENCH=120889
IDSOLVER=2839
FILE ID=node103/4392674-1568416844
RUNJOBID= node103-1568416709-32010
PBS_JOBID= 21702263
Free space on /tmp= 61720 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-080-05-add.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid 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-4392674-1568416844/watcher-4392674-1568416844 -o /tmp/evaluation-result-4392674-1568416844/solver-4392674-1568416844 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568416709-32010 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392674-1568416844.xml

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

MD5SUM BENCH= 18e8c61317b2c078d14d7e9ead8d31e0
RANDOM SEED=510169613

node103.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.74
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.74
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.74
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.74
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:        31373756 kB
MemAvailable:   31887904 kB
Buffers:           83072 kB
Cached:           715200 kB
SwapCached:         9148 kB
Active:           598280 kB
Inactive:         212160 kB
Active(anon):       6756 kB
Inactive(anon):    46920 kB
Active(file):     591524 kB
Inactive(file):   165240 kB
Unevictable:      111248 kB
Mlocked:          111248 kB
SwapTotal:      67108860 kB
SwapFree:       66996956 kB
Dirty:             20744 kB
Writeback:             0 kB
AnonPages:         59852 kB
Mapped:            44384 kB
Shmem:             32632 kB
Slab:             176140 kB
SReclaimable:     146440 kB
SUnreclaim:        29700 kB
KernelStack:        3712 kB
PageTables:         5968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61700 MiB
End job on node103 at 2019-09-14 01:19:59