Trace number 4392391

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr0600-int.xml
MD5SUM944fe5e858b8dc1e5468427caea6b95a
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 benchmark118.465
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints718800
Number of domains1
Minimum domain size599
Maximum domain size599
Distribution of domain sizes[{"size":599,"count":600}]
Minimum variable degree2396
Maximum variable degree2396
Distribution of variable degrees[{"degree":2396,"count":600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":718800}]
Number of extensional constraints0
Number of intensional constraints718800
Distribution of constraint types[{"type":"intension","count":718800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-32413-serial-file.bin HOME/instance-4392391-1568427964.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 04:25:23 CEST 2019
0.65/0.56	c PID: 32416
0.65/0.57	c IP: 172.20.3.125
0.65/0.57	c HOST: node125.alineos.net
0.65/0.57	c (0,0) Parsing Begin
54.33/36.23	c (35,34) Parsing End
54.33/36.24	c (35,34) CSP: 600 int (0 aux), 0 bool (0 aux), 718800 ctr, max domain size 599
54.33/36.25	c (35,34) Heap : 3235 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
54.33/36.25	c (35,34) Constraint Name Generate Begin
56.43/38.16	c (37,36) Ctr:HOME/instance-4392391-1568427964.xml,Eq:Imp:Le:Num:Var
56.43/38.16	c (37,36) Constraint Name Generate End
56.43/38.16	c (37,36) Heap : 3789 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
56.43/38.16	c (37,36) CSP to CSPinCNF Begin
59.96/40.75	c (40,38) translated 71880 (10%) constraints
62.18/42.97	c (42,40) translated 143760 (20%) constraints
64.46/45.19	c (44,43) translated 215640 (30%) constraints
66.76/47.41	c (46,45) translated 287520 (40%) constraints
73.51/50.21	c (49,47) translated 359400 (50%) constraints
75.86/52.49	c (51,49) translated 431280 (60%) constraints
78.16/54.73	c (54,51) translated 503160 (70%) constraints
80.36/56.97	c (56,54) translated 575040 (80%) constraints
82.66/59.21	c (58,56) translated 646920 (90%) constraints
84.91/61.46	c (60,58) translated 718800 (100%) constraints
84.91/61.46	c (60,58) ===========================================
84.91/61.47	c (60,58) Order
84.91/61.47	c (60,58) ===========================================
86.68/62.62	c (62,59) translated 71880 (10%) constraints
87.78/63.76	c (63,61) translated 143760 (20%) constraints
88.92/64.88	c (64,62) translated 215640 (30%) constraints
90.02/66.00	c (65,63) translated 287520 (40%) constraints
91.23/67.12	c (66,64) translated 359400 (50%) constraints
97.41/72.11	c (71,69) translated 431280 (60%) constraints
111.34/78.04	c (77,74) translated 503160 (70%) constraints
116.23/82.91	c (82,78) translated 575040 (80%) constraints
126.75/88.34	c (87,83) translated 646920 (90%) constraints
131.45/93.05	c (92,88) translated 718800 (100%) constraints
131.45/93.06	c (92,88) CSP to CSPinCNF End
131.56/93.16	c (92,88) CSP: 600 int (0 aux), 359400 bool (359400 aux), 1437600 ctr, max domain size 599
131.56/93.16	c (92,88) Heap : 3938 MiB used (max 20851 MiB), NonHeap : 25 MiB used (max 0 MiB)
131.56/93.16	c (92,88) CSPinCNF Propagation Begin
387.89/324.37	c (323,316) 623876 values, 944992 unsatisfiable literals, and 1289712 valid clauses are removed
387.89/324.37	c (323,316) CSPinCNF Propagation End
388.09/324.53	c (323,316) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
388.09/324.53	c (323,316) Heap : 3715 MiB used (max 20795 MiB), NonHeap : 26 MiB used (max 0 MiB)
388.09/324.55	c (324,316) Simplify CSPinCNF Begin
388.55/324.81	c (324,316) Simplify CSPinCNF End
388.65/324.96	c (324,316) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
388.65/324.96	c (324,316) Heap : 3797 MiB used (max 20795 MiB), NonHeap : 27 MiB used (max 0 MiB)
388.65/324.96	c (324,316) Calculate Precise Domain Begin
388.65/324.97	c (324,316) 0 values are removed by re-calculation
388.65/324.97	c (324,316) Calculate Precise Domain End
388.86/325.12	c (324,317) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
388.86/325.12	c (324,317) Heap : 3797 MiB used (max 20795 MiB), NonHeap : 27 MiB used (max 0 MiB)
388.86/325.12	c (324,317) CSPinCNF to SatSolver Begin
390.79/325.89	c (325,317) 14789 (10 %) CSP clauses are encoded (0 SAT variables, 61164 SAT clauses)
391.18/326.00	c (325,317) 29578 (20 %) CSP clauses are encoded (0 SAT variables, 75953 SAT clauses)
391.32/326.09	c (325,318) 44367 (30 %) CSP clauses are encoded (0 SAT variables, 90742 SAT clauses)
391.44/326.19	c (325,318) 59156 (40 %) CSP clauses are encoded (0 SAT variables, 105531 SAT clauses)
391.53/326.28	c (325,318) 73944 (50 %) CSP clauses are encoded (0 SAT variables, 120319 SAT clauses)
391.63/326.37	c (325,318) 88733 (60 %) CSP clauses are encoded (0 SAT variables, 135108 SAT clauses)
391.73/326.46	c (325,318) 103522 (70 %) CSP clauses are encoded (0 SAT variables, 149897 SAT clauses)
391.83/326.55	c (326,318) 118311 (80 %) CSP clauses are encoded (0 SAT variables, 164686 SAT clauses)
391.93/326.64	c (326,318) 133100 (90 %) CSP clauses are encoded (0 SAT variables, 179475 SAT clauses)
392.03/326.73	c (326,318) 147888 (100 %) CSP clauses are encoded (0 SAT variables, 194263 SAT clauses)
392.03/326.73	c (326,318) CSPinCNF to SatSolver End
392.03/326.73	c (326,318) Heap : 5109 MiB used (max 20795 MiB), NonHeap : 29 MiB used (max 0 MiB)
392.03/326.73	c (326,318) 94324 bool, 194264 clause
392.03/326.73	c (326,318) Export Begin
392.19/326.85	c (326,318) Export to HOME/scop-32413-serial-file.bin
392.19/326.85	c (326,318) Export End
392.19/326.85	c (326,318) Export File Size: 0.10 MB
392.19/326.85	c (326,318) 35,37,92,323,324,324,326,STOP-AFTER(DIMACS)
392.19/326.85	c END-Prog: Sat Sep 14 04:30:50 CEST 2019
0.00/326.92	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32413-serial-file.bin
392.90/327.39	c (0,0) Read Serial File Begin
392.90/327.39	c (0,0) HOME/scop-32413-serial-file.bin
393.40/327.63	c (0,0) Read Serial File End
393.40/327.64	
393.40/327.64	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
393.40/327.64	(Solving Process)
393.40/327.64	
393.40/327.66	c BEGIN-Prog: Sat Sep 14 04:30:50 CEST 2019
393.40/327.66	c PID: 32465
393.40/327.66	c IP: 172.20.3.125
393.40/327.66	c HOST: node125.alineos.net
393.40/327.67	c (0,0) SatSolver.solve Begin
393.40/327.67	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392391-1568427964.xml-scop-32416.cnf
393.40/327.69	c (0,0) c
393.40/327.69	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)
393.40/327.69	c (0,0) c
393.40/327.69	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
393.40/327.69	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
393.40/327.69	c (0,0) c ========================================[ Problem Statistics ]===========================================
393.40/327.69	c (0,0) c |                                                                                                       |
393.66/327.80	c (0,0) c |  Number of variables:         94324                                                                   |
393.66/327.80	c (0,0) c |  Number of clauses:          194264                                                                   |
393.75/327.80	c (0,0) c |  Parse time:                   0.09 s                                                                 |
393.75/327.80	c (0,0) c |                                                                                                       |
394.06/328.04	c (0,0) c |  Simplification time:          0.24 s                                                                 |
394.06/328.04	c (0,0) c |                                                                                                       |
394.06/328.04	c (0,0) c |  Generating clones                                                                                    |
394.25/328.23	c (0,0) c |  all clones generated. Memory =   230.68Mb.                                                           |
394.25/328.23	c (0,0) c ========================================================================================================|
394.25/328.23	c (0,0) c
394.25/328.23	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
394.25/328.23	c (0,0) c
394.25/328.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.23	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
394.25/328.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.23	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
394.25/328.23	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
394.25/328.23	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
394.25/328.23	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
394.25/328.23	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
394.25/328.23	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
394.25/328.23	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
394.25/328.23	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
394.25/328.23	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
394.25/328.23	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
394.25/328.23	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
394.25/328.23	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
394.25/328.23	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
394.25/328.23	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
394.25/328.23	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
394.25/328.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.24	c (0,0) c
394.25/328.24	c (0,0) c real time : 0.546323 s
394.25/328.24	c (0,0) c cpu time  : 0.5043 s
394.25/328.24	c (0,0) c
394.25/328.24	c (0,0) c
394.25/328.24	c (0,0) c
394.25/328.24	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
394.25/328.24	c (0,0) c
394.25/328.24	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.24	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
394.25/328.24	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.24	c (0,0) c | Conflicts     |              44 |          5 |          7 |          4 |          5 |          6 |          5 |          6 |          6 |
394.25/328.24	c (0,0) c | Decisions     |              40 |          6 |          6 |          3 |          4 |          7 |          4 |          5 |          5 |
394.25/328.24	c (0,0) c | Propagations  |           38178 |       5298 |       4340 |       4331 |       3927 |       5298 |       4331 |       4340 |       6313 |
394.25/328.24	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
394.25/328.24	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
394.25/328.24	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | PropBinClauses|           82373 |       9789 |      10399 |      11472 |       7607 |      10626 |      11675 |      11408 |       9397 |
394.25/328.24	c (0,0) c | PropPreBlocker|          106100 |      12381 |      13679 |      14463 |      10557 |      13428 |      14846 |      14520 |      12226 |
394.25/328.24	c (0,0) c | PropNotBlocker|           46513 |       5677 |       6202 |       5855 |       5024 |       6170 |       6125 |       6091 |       5369 |
394.25/328.24	c (0,0) c | LitFullScans  |          358849 |      45784 |      45233 |      44264 |      38583 |      50240 |      47263 |      46796 |      40686 |
394.25/328.24	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | DecisionLevel0|              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
394.25/328.24	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
394.25/328.24	c (0,0) c | Avg_Trail     |                 |       3349 |       3110 |       3454 |       2695 |       3105 |       3359 |       3481 |       3265 |
394.25/328.24	c (0,0) c | Avg_DL        |                 |          2 |          2 |          1 |          1 |          2 |          1 |          2 |          2 |
394.25/328.24	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.24	c (0,0) c | Exported      |              14 |          2 |          2 |          2 |          1 |          1 |          2 |          2 |          2 |
394.25/328.24	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
394.25/328.24	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.24	c (0,0) c | Unaries       |                 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
394.25/328.24	c (0,0) c | Binaries      |                 |          0 |          1 |          1 |          1 |          1 |          0 |          0 |          1 |
394.25/328.24	c (0,0) c | Glues         |                 |          2 |          2 |          2 |          1 |          1 |          2 |          2 |          2 |
394.25/328.24	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.24	c (0,0) c | Orig_Seen     |            21 % |       4070 |       3593 |       4179 |       3753 |       3548 |       4208 |       4226 |       4170 |
394.25/328.24	c (0,0) c | Diff Orig seen|                 |      X     | -      477 |        109 | -      317 | -      522 |        138 |        156 |        100 |
394.25/328.24	c (0,0) c | Hamming       |             0 % |      X     |        266 |        155 |        223 |         91 |        210 |        201 |        187 |
394.25/328.24	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.24	c (0,0) c | RunningTime   |                 |    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
394.25/328.24	c (0,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%|
394.25/328.24	c (0,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%|
394.25/328.24	c (0,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%|
394.25/328.24	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
394.25/328.24	c (0,0) c | PropagationTim|                 |    0.0  72%|    0.0  79%|    0.0  70%|    0.0  75%|    0.0  82%|    0.0  70%|    0.0  73%|    0.0  69%|
394.25/328.24	c (0,0) c | AnalysisTime  |                 |    0.0  23%|    0.0  18%|    0.0  20%|    0.0  22%|    0.0  15%|    0.0  23%|    0.0  24%|    0.0  27%|
394.25/328.24	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
394.25/328.24	c (0,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%|
394.25/328.24	c (0,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%|
394.25/328.24	c (0,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%|
394.25/328.24	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.24	c (0,0) c
394.25/328.24	c (0,0) c
394.25/328.24	c (0,0) c Threads : 8
394.25/328.24	c (0,0) c Winner : 0
394.25/328.24	c (0,0) c Conflicts_0 : 5
394.25/328.24	c (0,0) c Conflicts_1 : 7
394.25/328.24	c (0,0) c Conflicts_2 : 4
394.25/328.24	c (0,0) c Conflicts_3 : 5
394.25/328.24	c (0,0) c Conflicts_4 : 6
394.25/328.24	c (0,0) c Conflicts_5 : 5
394.25/328.24	c (0,0) c Conflicts_6 : 6
394.25/328.24	c (0,0) c Conflicts_7 : 6
394.25/328.24	c (0,0) c Conflicts_total : 44
394.25/328.24	c (0,0) c Conflicts_winner : 5
394.25/328.24	c (0,0) c Decisions_0 : 6
394.25/328.24	c (0,0) c Decisions_1 : 6
394.25/328.24	c (0,0) c Decisions_2 : 3
394.25/328.24	c (0,0) c Decisions_3 : 4
394.25/328.24	c (0,0) c Decisions_4 : 7
394.25/328.24	c (0,0) c Decisions_5 : 4
394.25/328.24	c (0,0) c Decisions_6 : 5
394.25/328.24	c (0,0) c Decisions_7 : 5
394.25/328.24	c (0,0) c Decisions_total : 40
394.25/328.24	c (0,0) c Decisions_winner : 6
394.25/328.24	c (0,0) c Propagations_0 : 5298
394.25/328.24	c (0,0) c Propagations_1 : 4340
394.25/328.24	c (0,0) c Propagations_2 : 4331
394.25/328.24	c (0,0) c Propagations_3 : 3927
394.25/328.24	c (0,0) c Propagations_4 : 5298
394.25/328.24	c (0,0) c Propagations_5 : 4331
394.25/328.24	c (0,0) c Propagations_6 : 4340
394.25/328.24	c (0,0) c Propagations_7 : 6313
394.25/328.24	c (0,0) c Propagations_total : 38178
394.25/328.24	c (0,0) c Propagations_winner : 5298
394.25/328.24	c (0,0) c ReduceDBs_0 : 0
394.25/328.24	c (0,0) c ReduceDBs_1 : 0
394.25/328.24	c (0,0) c ReduceDBs_2 : 0
394.25/328.24	c (0,0) c ReduceDBs_3 : 0
394.25/328.24	c (0,0) c ReduceDBs_4 : 0
394.25/328.24	c (0,0) c ReduceDBs_5 : 0
394.25/328.24	c (0,0) c ReduceDBs_6 : 0
394.25/328.24	c (0,0) c ReduceDBs_7 : 0
394.25/328.24	c (0,0) c ReduceDBs_total : 0
394.25/328.24	c (0,0) c ReduceDBs_winner : 0
394.25/328.24	c (0,0) c SimpDBs_0 : 1
394.25/328.24	c (0,0) c SimpDBs_1 : 1
394.25/328.24	c (0,0) c SimpDBs_2 : 1
394.25/328.24	c (0,0) c SimpDBs_3 : 1
394.25/328.24	c (0,0) c SimpDBs_4 : 1
394.25/328.24	c (0,0) c SimpDBs_5 : 1
394.25/328.24	c (0,0) c SimpDBs_6 : 1
394.25/328.24	c (0,0) c SimpDBs_7 : 1
394.25/328.24	c (0,0) c SimpDBs_total : 8
394.25/328.24	c (0,0) c SimpDBs_winner : 1
394.25/328.24	c (0,0) c Restarts_0 : 1
394.25/328.24	c (0,0) c Restarts_1 : 1
394.25/328.24	c (0,0) c Restarts_2 : 1
394.25/328.24	c (0,0) c Restarts_3 : 1
394.25/328.24	c (0,0) c Restarts_4 : 1
394.25/328.24	c (0,0) c Restarts_5 : 1
394.25/328.24	c (0,0) c Restarts_6 : 1
394.25/328.24	c (0,0) c Restarts_7 : 1
394.25/328.24	c (0,0) c Restarts_total : 8
394.25/328.24	c (0,0) c Restarts_winner : 1
394.25/328.24	c (0,0) c ForcedImports_0 : 0
394.25/328.24	c (0,0) c ForcedImports_1 : 0
394.25/328.24	c (0,0) c ForcedImports_2 : 0
394.25/328.24	c (0,0) c ForcedImports_3 : 0
394.25/328.24	c (0,0) c ForcedImports_4 : 0
394.25/328.24	c (0,0) c ForcedImports_5 : 0
394.25/328.24	c (0,0) c ForcedImports_6 : 0
394.25/328.24	c (0,0) c ForcedImports_7 : 0
394.25/328.24	c (0,0) c ForcedImports_total : 0
394.25/328.24	c (0,0) c ForcedImports_winner : 0
394.25/328.24	c (0,0) c PropsBinClauses_0 : 9789
394.25/328.24	c (0,0) c PropsBinClauses_1 : 10399
394.25/328.24	c (0,0) c PropsBinClauses_2 : 11472
394.25/328.24	c (0,0) c PropsBinClauses_3 : 7607
394.25/328.24	c (0,0) c PropsBinClauses_4 : 10626
394.25/328.24	c (0,0) c PropsBinClauses_5 : 11675
394.25/328.24	c (0,0) c PropsBinClauses_6 : 11408
394.25/328.24	c (0,0) c PropsBinClauses_7 : 9397
394.25/328.24	c (0,0) c PropsBinClauses_total : 82373
394.25/328.24	c (0,0) c PropsBinClauses_winner : 9789
394.25/328.24	c (0,0) c PropsPreBlocker_0 : 12381
394.25/328.24	c (0,0) c PropsPreBlocker_1 : 13679
394.25/328.24	c (0,0) c PropsPreBlocker_2 : 14463
394.25/328.24	c (0,0) c PropsPreBlocker_3 : 10557
394.25/328.24	c (0,0) c PropsPreBlocker_4 : 13428
394.25/328.24	c (0,0) c PropsPreBlocker_5 : 14846
394.25/328.24	c (0,0) c PropsPreBlocker_6 : 14520
394.25/328.24	c (0,0) c PropsPreBlocker_7 : 12226
394.25/328.24	c (0,0) c PropsPreBlocker_total : 106100
394.25/328.24	c (0,0) c PropsPreBlocker_winner : 12381
394.25/328.24	c (0,0) c PropsNotBlocker_0 : 5677
394.25/328.24	c (0,0) c PropsNotBlocker_1 : 6202
394.25/328.24	c (0,0) c PropsNotBlocker_2 : 5855
394.25/328.24	c (0,0) c PropsNotBlocker_3 : 5024
394.25/328.24	c (0,0) c PropsNotBlocker_4 : 6170
394.25/328.24	c (0,0) c PropsNotBlocker_5 : 6125
394.25/328.24	c (0,0) c PropsNotBlocker_6 : 6091
394.25/328.24	c (0,0) c PropsNotBlocker_7 : 5369
394.25/328.24	c (0,0) c PropsNotBlocker_total : 46513
394.25/328.24	c (0,0) c PropsNotBlocker_winner : 5677
394.25/328.24	c (0,0) c PropsLitFullScans_0 : 45784
394.25/328.24	c (0,0) c PropsLitFullScans_1 : 45233
394.25/328.24	c (0,0) c PropsLitFullScans_2 : 44264
394.25/328.24	c (0,0) c PropsLitFullScans_3 : 38583
394.25/328.24	c (0,0) c PropsLitFullScans_4 : 50240
394.25/328.24	c (0,0) c PropsLitFullScans_5 : 47263
394.25/328.24	c (0,0) c PropsLitFullScans_6 : 46796
394.25/328.24	c (0,0) c PropsLitFullScans_7 : 40686
394.25/328.24	c (0,0) c PropsLitFullScans_total : 358849
394.25/328.24	c (0,0) c PropsLitFullScans_winner : 45784
394.25/328.24	c (0,0) c LitScanFractions_0 : 0
394.25/328.24	c (0,0) c LitScanFractions_1 : 0
394.25/328.24	c (0,0) c LitScanFractions_2 : 0
394.25/328.25	c (0,0) c LitScanFractions_3 : 0
394.25/328.25	c (0,0) c LitScanFractions_4 : 0
394.25/328.25	c (0,0) c LitScanFractions_5 : 0
394.25/328.25	c (0,0) c LitScanFractions_6 : 0
394.25/328.25	c (0,0) c LitScanFractions_7 : 0
394.25/328.25	c (0,0) c LitScanFractions_total : 0
394.25/328.25	c (0,0) c LitScanFractions_winner : 0
394.25/328.25	c (0,0) c DecisionLevel0_0 : 2
394.25/328.25	c (0,0) c DecisionLevel0_1 : 2
394.25/328.25	c (0,0) c DecisionLevel0_2 : 2
394.25/328.25	c (0,0) c DecisionLevel0_3 : 2
394.25/328.25	c (0,0) c DecisionLevel0_4 : 2
394.25/328.25	c (0,0) c DecisionLevel0_5 : 2
394.25/328.25	c (0,0) c DecisionLevel0_6 : 2
394.25/328.25	c (0,0) c DecisionLevel0_7 : 2
394.25/328.25	c (0,0) c DecisionLevel0_total : 16
394.25/328.25	c (0,0) c DecisionLevel0_winner : 2
394.25/328.25	c (0,0) c Periods_0 : 0
394.25/328.25	c (0,0) c Periods_1 : 0
394.25/328.25	c (0,0) c Periods_2 : 0
394.25/328.25	c (0,0) c Periods_3 : 0
394.25/328.25	c (0,0) c Periods_4 : 0
394.25/328.25	c (0,0) c Periods_5 : 0
394.25/328.25	c (0,0) c Periods_6 : 0
394.25/328.25	c (0,0) c Periods_7 : 0
394.25/328.25	c (0,0) c Periods_total : 0
394.25/328.25	c (0,0) c Periods_winner : 0
394.25/328.25	c (0,0) c Margin_0 : 20
394.25/328.25	c (0,0) c Margin_1 : 20
394.25/328.25	c (0,0) c Margin_2 : 20
394.25/328.25	c (0,0) c Margin_3 : 20
394.25/328.25	c (0,0) c Margin_4 : 20
394.25/328.25	c (0,0) c Margin_5 : 20
394.25/328.25	c (0,0) c Margin_6 : 20
394.25/328.25	c (0,0) c Margin_7 : 20
394.25/328.25	c (0,0) c Margin_total : 160
394.25/328.25	c (0,0) c Margin_winner : 20
394.25/328.25	c (0,0) c Exported_0 : 2
394.25/328.25	c (0,0) c Exported_1 : 2
394.25/328.25	c (0,0) c Exported_2 : 2
394.25/328.25	c (0,0) c Exported_3 : 1
394.25/328.25	c (0,0) c Exported_4 : 1
394.25/328.25	c (0,0) c Exported_5 : 2
394.25/328.25	c (0,0) c Exported_6 : 2
394.25/328.25	c (0,0) c Exported_7 : 2
394.25/328.25	c (0,0) c Exported_total : 14
394.25/328.25	c (0,0) c Exported_winner : 2
394.25/328.25	c (0,0) c Imported_0 : 0
394.25/328.25	c (0,0) c Imported_1 : 0
394.25/328.25	c (0,0) c Imported_2 : 0
394.25/328.25	c (0,0) c Imported_3 : 0
394.25/328.25	c (0,0) c Imported_4 : 0
394.25/328.25	c (0,0) c Imported_5 : 0
394.25/328.25	c (0,0) c Imported_6 : 0
394.25/328.25	c (0,0) c Imported_7 : 0
394.25/328.25	c (0,0) c Imported_total : 0
394.25/328.25	c (0,0) c Imported_winner : 0
394.25/328.25	c (0,0) c Good_0 : 0
394.25/328.25	c (0,0) c Good_1 : 0
394.25/328.25	c (0,0) c Good_2 : 0
394.25/328.25	c (0,0) c Good_3 : 0
394.25/328.25	c (0,0) c Good_4 : 0
394.25/328.25	c (0,0) c Good_5 : 0
394.25/328.25	c (0,0) c Good_6 : 0
394.25/328.25	c (0,0) c Good_7 : 0
394.25/328.25	c (0,0) c Good_total : 0
394.25/328.25	c (0,0) c Good_winner : 0
394.25/328.25	c (0,0) c Purge_0 : 0
394.25/328.25	c (0,0) c Purge_1 : 0
394.25/328.25	c (0,0) c Purge_2 : 0
394.25/328.25	c (0,0) c Purge_3 : 0
394.25/328.25	c (0,0) c Purge_4 : 0
394.25/328.25	c (0,0) c Purge_5 : 0
394.25/328.25	c (0,0) c Purge_6 : 0
394.25/328.25	c (0,0) c Purge_7 : 0
394.25/328.25	c (0,0) c Purge_total : 0
394.25/328.25	c (0,0) c Purge_winner : 0
394.25/328.25	c (0,0) c Promoted_0 : 0
394.25/328.25	c (0,0) c Promoted_1 : 0
394.25/328.25	c (0,0) c Promoted_2 : 0
394.25/328.25	c (0,0) c Promoted_3 : 0
394.25/328.25	c (0,0) c Promoted_4 : 0
394.25/328.25	c (0,0) c Promoted_5 : 0
394.25/328.25	c (0,0) c Promoted_6 : 0
394.25/328.25	c (0,0) c Promoted_7 : 0
394.25/328.25	c (0,0) c Promoted_total : 0
394.25/328.25	c (0,0) c Promoted_winner : 0
394.25/328.25	c (0,0) c Remove_Imp_0 : 0
394.25/328.25	c (0,0) c Remove_Imp_1 : 0
394.25/328.25	c (0,0) c Remove_Imp_2 : 0
394.25/328.25	c (0,0) c Remove_Imp_3 : 0
394.25/328.25	c (0,0) c Remove_Imp_4 : 0
394.25/328.25	c (0,0) c Remove_Imp_5 : 0
394.25/328.25	c (0,0) c Remove_Imp_6 : 0
394.25/328.25	c (0,0) c Remove_Imp_7 : 0
394.25/328.25	c (0,0) c Remove_Imp_total : 0
394.25/328.25	c (0,0) c Remove_Imp_winner : 0
394.25/328.25	c (0,0) c Blocked_Reuse_0 : 0
394.25/328.25	c (0,0) c Blocked_Reuse_1 : 0
394.25/328.25	c (0,0) c Blocked_Reuse_2 : 0
394.25/328.25	c (0,0) c Blocked_Reuse_3 : 0
394.25/328.25	c (0,0) c Blocked_Reuse_4 : 0
394.25/328.25	c (0,0) c Blocked_Reuse_5 : 0
394.25/328.25	c (0,0) c Blocked_Reuse_6 : 0
394.25/328.25	c (0,0) c Blocked_Reuse_7 : 0
394.25/328.25	c (0,0) c Blocked_Reuse_total : 0
394.25/328.25	c (0,0) c Blocked_Reuse_winner : 0
394.25/328.25	c (0,0) c Unaries_0 : 1
394.25/328.25	c (0,0) c Unaries_1 : 1
394.25/328.25	c (0,0) c Unaries_2 : 1
394.25/328.25	c (0,0) c Unaries_3 : 1
394.25/328.25	c (0,0) c Unaries_4 : 1
394.25/328.25	c (0,0) c Unaries_5 : 1
394.25/328.25	c (0,0) c Unaries_6 : 1
394.25/328.25	c (0,0) c Unaries_7 : 1
394.25/328.25	c (0,0) c Unaries_total : 8
394.25/328.25	c (0,0) c Unaries_winner : 1
394.25/328.25	c (0,0) c Binaries_0 : 0
394.25/328.25	c (0,0) c Binaries_1 : 1
394.25/328.25	c (0,0) c Binaries_2 : 1
394.25/328.25	c (0,0) c Binaries_3 : 1
394.25/328.25	c (0,0) c Binaries_4 : 1
394.25/328.25	c (0,0) c Binaries_5 : 0
394.25/328.25	c (0,0) c Binaries_6 : 0
394.25/328.25	c (0,0) c Binaries_7 : 1
394.25/328.25	c (0,0) c Binaries_total : 5
394.25/328.25	c (0,0) c Binaries_winner : 0
394.25/328.25	c (0,0) c Glues_0 : 2
394.25/328.25	c (0,0) c Glues_1 : 2
394.25/328.25	c (0,0) c Glues_2 : 2
394.25/328.25	c (0,0) c Glues_3 : 1
394.25/328.25	c (0,0) c Glues_4 : 1
394.25/328.25	c (0,0) c Glues_5 : 2
394.25/328.25	c (0,0) c Glues_6 : 2
394.25/328.25	c (0,0) c Glues_7 : 2
394.25/328.25	c (0,0) c Glues_total : 14
394.25/328.25	c (0,0) c Glues_winner : 2
394.25/328.25	c (0,0) c RunningTime_0 : 0.005382
394.25/328.25	c (0,0) c RunningTime_1 : 0.006225
394.25/328.25	c (0,0) c RunningTime_2 : 0.004482
394.25/328.25	c (0,0) c RunningTime_3 : 0.005510
394.25/328.25	c (0,0) c RunningTime_4 : 0.006171
394.25/328.25	c (0,0) c RunningTime_5 : 0.005856
394.25/328.25	c (0,0) c RunningTime_6 : 0.004303
394.25/328.25	c (0,0) c RunningTime_7 : 0.003577
394.25/328.25	c (0,0) c RunningTime_total : 0.041506
394.25/328.25	c (0,0) c RunningTime_winner : 0.005382
394.25/328.25	c (0,0) c WaitingTime_0 : 0.000000
394.25/328.25	c (0,0) c WaitingTime_1 : 0.000000
394.25/328.25	c (0,0) c WaitingTime_2 : 0.000000
394.25/328.25	c (0,0) c WaitingTime_3 : 0.000000
394.25/328.25	c (0,0) c WaitingTime_4 : 0.000000
394.25/328.25	c (0,0) c WaitingTime_5 : 0.000000
394.25/328.25	c (0,0) c WaitingTime_6 : 0.000000
394.25/328.25	c (0,0) c WaitingTime_7 : 0.000000
394.25/328.25	c (0,0) c WaitingTime_total : 0.000000
394.25/328.25	c (0,0) c WaitingTime_winner : 0.000000
394.25/328.25	c (0,0) c ExchangingTime_0 : 0.000003
394.25/328.25	c (0,0) c ExchangingTime_1 : 0.000009
394.25/328.25	c (0,0) c ExchangingTime_2 : 0.000007
394.25/328.25	c (0,0) c ExchangingTime_3 : 0.000002
394.25/328.25	c (0,0) c ExchangingTime_4 : 0.000003
394.25/328.25	c (0,0) c ExchangingTime_5 : 0.000004
394.25/328.25	c (0,0) c ExchangingTime_6 : 0.000009
394.25/328.25	c (0,0) c ExchangingTime_7 : 0.000002
394.25/328.25	c (0,0) c ExchangingTime_total : 0.000039
394.25/328.25	c (0,0) c ExchangingTime_winner : 0.000003
394.25/328.25	c (0,0) c PeriodProcTime_0 : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_1 : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_2 : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_3 : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_4 : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_5 : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_6 : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_7 : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_total : 0.000000
394.25/328.25	c (0,0) c PeriodProcTime_winner : 0.000000
394.25/328.25	c (0,0) c SolvingTime_0 : 0.005385
394.25/328.25	c (0,0) c SolvingTime_1 : 0.006234
394.25/328.25	c (0,0) c SolvingTime_2 : 0.004489
394.25/328.25	c (0,0) c SolvingTime_3 : 0.005512
394.25/328.25	c (0,0) c SolvingTime_4 : 0.006174
394.25/328.25	c (0,0) c SolvingTime_5 : 0.005860
394.25/328.25	c (0,0) c SolvingTime_6 : 0.004312
394.25/328.25	c (0,0) c SolvingTime_7 : 0.003579
394.25/328.25	c (0,0) c SolvingTime_total : 0.041544
394.25/328.25	c (0,0) c SolvingTime_winner : 0.005385
394.25/328.25	c (0,0) c PropagationTime_0 : 0.003879
394.25/328.25	c (0,0) c PropagationTime_1 : 0.004952
394.25/328.25	c (0,0) c PropagationTime_2 : 0.003136
394.25/328.25	c (0,0) c PropagationTime_3 : 0.004142
394.25/328.25	c (0,0) c PropagationTime_4 : 0.005076
394.25/328.25	c (0,0) c PropagationTime_5 : 0.004087
394.25/328.25	c (0,0) c PropagationTime_6 : 0.003165
394.25/328.25	c (0,0) c PropagationTime_7 : 0.002472
394.25/328.25	c (0,0) c PropagationTime_total : 0.030908
394.25/328.25	c (0,0) c PropagationTime_winner : 0.003879
394.25/328.25	c (0,0) c AnalysisTime_0 : 0.001248
394.25/328.25	c (0,0) c AnalysisTime_1 : 0.001132
394.25/328.25	c (0,0) c AnalysisTime_2 : 0.000917
394.25/328.25	c (0,0) c AnalysisTime_3 : 0.001237
394.25/328.25	c (0,0) c AnalysisTime_4 : 0.000932
394.25/328.25	c (0,0) c AnalysisTime_5 : 0.001333
394.25/328.25	c (0,0) c AnalysisTime_6 : 0.001028
394.25/328.25	c (0,0) c AnalysisTime_7 : 0.000950
394.25/328.25	c (0,0) c AnalysisTime_total : 0.008777
394.25/328.25	c (0,0) c AnalysisTime_winner : 0.001248
394.25/328.25	c (0,0) c ReductionTime_0 : 0.000000
394.25/328.25	c (0,0) c ReductionTime_1 : 0.000000
394.25/328.25	c (0,0) c ReductionTime_2 : 0.000000
394.25/328.25	c (0,0) c ReductionTime_3 : 0.000000
394.25/328.25	c (0,0) c ReductionTime_4 : 0.000000
394.25/328.25	c (0,0) c ReductionTime_5 : 0.000000
394.25/328.25	c (0,0) c ReductionTime_6 : 0.000000
394.25/328.25	c (0,0) c ReductionTime_7 : 0.000000
394.25/328.25	c (0,0) c ReductionTime_total : 0.000000
394.25/328.25	c (0,0) c ReductionTime_winner : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_0 : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_1 : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_2 : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_3 : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_4 : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_5 : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_6 : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_7 : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_total : 0.000000
394.25/328.25	c (0,0) c SimplifyTime_winner : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_0 : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_1 : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_2 : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_3 : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_4 : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_5 : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_6 : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_7 : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_total : 0.000000
394.25/328.25	c (0,0) c UsedRateTime_winner : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_0 : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_1 : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_2 : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_3 : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_4 : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_5 : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_6 : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_7 : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_total : 0.000000
394.25/328.25	c (0,0) c OverlapRateTime_winner : 0.000000
394.25/328.25	c (0,0) c
394.25/328.25	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
394.25/328.25	c (0,0) c
394.25/328.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.25	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
394.25/328.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.25	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
394.25/328.25	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
394.25/328.25	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
394.25/328.25	c (0,0) c | Initial random_seed   |  196714717 | 2060069148 |  214357779 | 1870932225 |  649151740 | 2077977951 |   70139227 |  769147116 |
394.25/328.25	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
394.25/328.25	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
394.25/328.25	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
394.25/328.25	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
394.25/328.25	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
394.25/328.25	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
394.25/328.25	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
394.25/328.25	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
394.25/328.25	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
394.25/328.25	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
394.25/328.25	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
394.25/328.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
394.25/328.25	c (0,0) 
394.25/328.25	c (0,0) s UNSATISFIABLE
394.25/328.26	c (0,0) SatSolver.solve End
394.25/328.26	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
394.25/328.26	c (0,0) Show results Begin
394.25/328.26	s UNSATISFIABLE
394.25/328.26	c (0,0) Show results End
394.25/328.26	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
394.25/328.26	c (0,0) 0,0,STOP-AFTER(ALL)
394.25/328.26	c END-Prog: Sat Sep 14 04:30:51 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 (14537 MiB free)
  memory of node 1: 16384 MiB (15592 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100403 s]*
/proc/loadavg: 7.39 7.95 7.85 2/211 32435
/proc/meminfo: memFree=30759572/32770624 swapFree=66967032/67108860
[pid=32413] ppid=32410 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32413/stat : 32413 (scop.sh) S 32410 32413 31623 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419063341 115843072 349 33554432000 4194304 5098028 140725921881376 140725921878632 140277404189308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40701952 140725921887013 140725921887340 140725921887340 140725921890253 0
/proc/32413/statm: 28282 349 296 221 0 87 0
[pid=32416] ppid=32413 vsize=27314120 memory=104052 CPUtime=0.11 cores=0-7
/proc/32416/stat : 32416 (java) S 32413 32413 31623 0 -1 1077944320 6590 0 0 0 9 2 0 0 20 0 20 0 419063342 27969658880 26013 33554432000 4194304 4196468 140726484159872 140726484142416 139811819478775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
/proc/32416/statm: 6828530 26013 2812 1 0 6790935 0
[pid=32416/tid=32417] ppid=32413 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32416/task/32417/stat : 32417 (java) R 32413 32413 31623 0 -1 4202560 4641 0 0 0 7 2 0 0 20 0 20 0 419063342 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811791313904 139811803522405 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32418] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32418/stat : 32418 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811823721616 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32419] ppid=32413 vsize=27314120 memory=140390905415296 CPUtime=0 cores=0-7
/proc/32416/task/32419/stat : 32419 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811241700368 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32420] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32420/stat : 32420 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811240647568 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32421] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32421/stat : 32421 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811239594768 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32422] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32422/stat : 32422 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811238541968 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32423] ppid=32413 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32416/task/32423/stat : 32423 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811237489168 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32424] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32424/stat : 32424 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811236436368 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32425] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32425/stat : 32425 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 26013 33554432000 4194304 4196468 140726484159872 139811235383568 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32426] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32426/stat : 32426 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 26013 33554432000 4194304 4196468 140726484159872 139810206804848 139811819489922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32427] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32427/stat : 32427 (java) S 32413 32413 31623 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 26013 33554432000 4194304 4196468 140726484159872 139809574086176 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32428] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32428/stat : 32428 (java) S 32413 32413 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 26013 33554432000 4194304 4196468 140726484159872 139809439864176 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32429] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32429/stat : 32429 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 26013 33554432000 4194304 4196468 140726484159872 139809065359696 139811819497371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32430] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32430/stat : 32430 (java) S 32413 32413 31623 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 26013 33554432000 4194304 4196468 140726484159872 139810205751664 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32431] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32431/stat : 32431 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 26013 33554432000 4194304 4196468 140726484159872 139810204698864 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32432] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32432/stat : 32432 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 26525 33554432000 4194304 4196468 140726484159872 139810203646064 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32433] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32433/stat : 32433 (java) S 32413 32413 31623 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 26525 33554432000 4194304 4196468 140726484159872 139810202593264 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32434] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32434/stat : 32434 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 26525 33554432000 4194304 4196468 140726484159872 139808567454816 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32435] ppid=32413 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32416/task/32435/stat : 32435 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 26525 33554432000 4194304 4196468 140726484159872 139810201541680 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105448 KiB

[startup+0.210462 s]*
/proc/loadavg: 7.39 7.95 7.85 3/211 32435
/proc/meminfo: memFree=30740492/32770624 swapFree=66967032/67108860
[pid=32413] ppid=32410 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32413/stat : 32413 (scop.sh) S 32410 32413 31623 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419063341 115843072 349 33554432000 4194304 5098028 140725921881376 140725921878632 140277404189308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40701952 140725921887013 140725921887340 140725921887340 140725921890253 0
/proc/32413/statm: 28282 349 296 221 0 87 0
[pid=32416] ppid=32413 vsize=27314120 memory=120608 CPUtime=0.25 cores=0-7
/proc/32416/stat : 32416 (java) S 32413 32413 31623 0 -1 1077944320 11628 0 0 0 21 4 0 0 20 0 20 0 419063342 27969658880 30152 33554432000 4194304 4196468 140726484159872 140726484142416 139811819478775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
/proc/32416/statm: 6828530 30152 2907 1 0 6790935 0
[pid=32416/tid=32417] ppid=32413 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32416/task/32417/stat : 32417 (java) R 32413 32413 31623 0 -1 4202560 9241 0 0 0 16 3 0 0 20 0 20 0 419063342 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811791278160 139811801042335 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32418] ppid=32413 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/32416/task/32418/stat : 32418 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811823721616 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32419] ppid=32413 vsize=27314120 memory=140390908466397 CPUtime=0 cores=0-7
/proc/32416/task/32419/stat : 32419 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811241700368 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32420] ppid=32413 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32416/task/32420/stat : 32420 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811240647568 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32421] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32421/stat : 32421 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811239594768 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32422] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32422/stat : 32422 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811238541968 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32423] ppid=32413 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32416/task/32423/stat : 32423 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811237489168 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32424] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32424/stat : 32424 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811236436368 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32425] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32425/stat : 32425 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 30152 33554432000 4194304 4196468 140726484159872 139811235383568 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32426] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32426/stat : 32426 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 30152 33554432000 4194304 4196468 140726484159872 139810206804848 139811819489922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32427] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32427/stat : 32427 (java) S 32413 32413 31623 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 30152 33554432000 4194304 4196468 140726484159872 139809574086176 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32428] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32428/stat : 32428 (java) S 32413 32413 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 30152 33554432000 4194304 4196468 140726484159872 139809439864176 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32429] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32429/stat : 32429 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 30152 33554432000 4194304 4196468 140726484159872 139809065359696 139811819497371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32430] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32430/stat : 32430 (java) S 32413 32413 31623 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 30152 33554432000 4194304 4196468 140726484159872 139810205751664 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32431] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32431/stat : 32431 (java) S 32413 32413 31623 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 30152 33554432000 4194304 4196468 140726484159872 139810204698864 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32432] ppid=32413 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32416/task/32432/stat : 32432 (java) S 32413 32413 31623 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 30152 33554432000 4194304 4196468 140726484159872 139810203646064 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32433] ppid=32413 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32416/task/32433/stat : 32433 (java) S 32413 32413 31623 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 20 0 419063349 27969658880 30152 33554432000 4194304 4196468 140726484159872 139810202593264 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32434] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32434/stat : 32434 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 30152 33554432000 4194304 4196468 140726484159872 139808567454816 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32435] ppid=32413 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32416/task/32435/stat : 32435 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 30152 33554432000 4194304 4196468 140726484159872 139810201541680 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122004 KiB

[startup+0.310234 s]*
/proc/loadavg: 7.39 7.95 7.85 2/211 32435
/proc/meminfo: memFree=30737688/32770624 swapFree=66967032/67108860
[pid=32413] ppid=32410 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32413/stat : 32413 (scop.sh) S 32410 32413 31623 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419063341 115843072 349 33554432000 4194304 5098028 140725921881376 140725921878632 140277404189308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40701952 140725921887013 140725921887340 140725921887340 140725921890253 0
/proc/32413/statm: 28282 349 296 221 0 87 0
[pid=32416] ppid=32413 vsize=27314120 memory=124848 CPUtime=0.42 cores=0-7
/proc/32416/stat : 32416 (java) S 32413 32413 31623 0 -1 1077944320 12640 0 0 0 38 4 0 0 20 0 20 0 419063342 27969658880 31212 33554432000 4194304 4196468 140726484159872 140726484142416 139811819478775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
/proc/32416/statm: 6828530 31212 3008 1 0 6790935 0
[pid=32416/tid=32417] ppid=32413 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32416/task/32417/stat : 32417 (java) R 32413 32413 31623 0 -1 4202560 10014 0 0 0 26 3 0 0 20 0 20 0 419063342 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811791308848 139811803559262 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32418] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32418/stat : 32418 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811823721616 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32419] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32419/stat : 32419 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811241700368 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32420] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32420/stat : 32420 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811240647568 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32421] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32421/stat : 32421 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811239594768 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32422] ppid=32413 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32416/task/32422/stat : 32422 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811238541968 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32423] ppid=32413 vsize=27314120 memory=140390804059055 CPUtime=0 cores=0-7
/proc/32416/task/32423/stat : 32423 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811237489168 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32424] ppid=32413 vsize=27314120 memory=140390804061360 CPUtime=0 cores=0-7
/proc/32416/task/32424/stat : 32424 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811236436368 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32425] ppid=32413 vsize=27314120 memory=140390804063664 CPUtime=0 cores=0-7
/proc/32416/task/32425/stat : 32425 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27969658880 31212 33554432000 4194304 4196468 140726484159872 139811235383568 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32426] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32426/stat : 32426 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 31212 33554432000 4194304 4196468 140726484159872 139810206804848 139811819489922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32427] ppid=32413 vsize=27314120 memory=280781608134288 CPUtime=0 cores=0-7
/proc/32416/task/32427/stat : 32427 (java) S 32413 32413 31623 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 31212 33554432000 4194304 4196468 140726484159872 139809574086176 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32428] ppid=32413 vsize=27314120 memory=280781608141200 CPUtime=0 cores=0-7
/proc/32416/task/32428/stat : 32428 (java) S 32413 32413 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419063346 27969658880 31212 33554432000 4194304 4196468 140726484159872 139809439864176 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32429] ppid=32413 vsize=27314120 memory=280781608082480 CPUtime=0 cores=0-7
/proc/32416/task/32429/stat : 32429 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 31212 33554432000 4194304 4196468 140726484159872 139809065359696 139811819497371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32430] ppid=32413 vsize=27314120 memory=280781608155024 CPUtime=0 cores=0-7
/proc/32416/task/32430/stat : 32430 (java) S 32413 32413 31623 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 31212 33554432000 4194304 4196468 140726484159872 139810205751664 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32431] ppid=32413 vsize=27314120 memory=280781608161936 CPUtime=0 cores=0-7
/proc/32416/task/32431/stat : 32431 (java) S 32413 32413 31623 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 31212 33554432000 4194304 4196468 140726484159872 139810204698864 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32432] ppid=32413 vsize=27314120 memory=280781608159632 CPUtime=0.02 cores=0-7
/proc/32416/task/32432/stat : 32432 (java) R 32413 32413 31623 0 -1 4202560 158 0 0 0 2 0 0 0 20 0 20 0 419063349 27969658880 31212 33554432000 4194304 4196468 140726484159872 139810203646064 139811800181144 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32433] ppid=32413 vsize=27314120 memory=280781608175792 CPUtime=0.07 cores=0-7
/proc/32416/task/32433/stat : 32433 (java) S 32413 32413 31623 0 -1 1077944384 625 0 0 0 7 0 0 0 20 0 20 0 419063349 27969658880 31212 33554432000 4194304 4196468 140726484159872 139810202593264 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32434] ppid=32413 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32434/stat : 32434 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 31212 33554432000 4194304 4196468 140726484159872 139808567454816 139811819488981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32435] ppid=32413 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32416/task/32435/stat : 32435 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063349 27969658880 31212 33554432000 4194304 4196468 140726484159872 139810201541680 139811819489922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126244 KiB

[startup+0.702532 s]
/proc/loadavg: 7.39 7.95 7.85 2/211 32435
/proc/meminfo: memFree=30714592/32770624 swapFree=66967032/67108860
[pid=32413] ppid=32410 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32413/stat : 32413 (scop.sh) S 32410 32413 31623 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419063341 115843072 349 33554432000 4194304 5098028 140725921881376 140725921878632 140277404189308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40701952 140725921887013 140725921887340 140725921887340 140725921890253 0
/proc/32413/statm: 28282 349 296 221 0 87 0
[pid=32416] ppid=32413 vsize=27320392 memory=162676 CPUtime=1.01 cores=0-7
/proc/32416/stat : 32416 (java) S 32413 32413 31623 0 -1 1077944320 20353 0 0 0 95 6 0 0 20 0 20 0 419063342 27976081408 40669 33554432000 4194304 4196468 140726484159872 140726484142416 139811819478775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
/proc/32416/statm: 6830098 40669 3182 1 0 6791447 0
[pid=32416/tid=32417] ppid=32413 vsize=27320392 memory=280781608533680 CPUtime=0.68 cores=0-7
/proc/32416/task/32417/stat : 32417 (java) R 32413 32413 31623 0 -1 4202560 16960 0 0 0 63 5 0 0 20 0 20 0 419063342 27976081408 40669 33554432000 4194304 4196468 140726484159872 139811791316304 139811819490710 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32418] ppid=32413 vsize=27320392 memory=140390804267888 CPUtime=0 cores=0-7
/proc/32416/task/32418/stat : 32418 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27976081408 40669 33554432000 4194304 4196468 140726484159872 139811823721616 139811819488981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32419] ppid=32413 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/32416/task/32419/stat : 32419 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419063344 27976081408 40669 33554432000 4194304 4196468 140726484159872 139811241700368 139811819488981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0
[pid=32416/tid=32420] ppid=32413 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/32416/task/32420/stat : 32420 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419063344 27976081408 40669 33554432000 4194304 4196468 140726484159872 139811240647568 139811819488981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31379456 140726484161259 140726484161686 140726484161686 140726484164559 0

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

[pid=32465/tid=32469] ppid=32413 vsize=7750184 memory=14008 CPUtime=0 cores=0-7
/proc/32465/task/32469/stat : 32469 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419096035 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845695433488 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32470] ppid=32413 vsize=7750184 memory=11824 CPUtime=0 cores=0-7
/proc/32465/task/32470/stat : 32470 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419096035 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845694380944 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32471] ppid=32413 vsize=7750184 memory=940 CPUtime=0 cores=0-7
/proc/32465/task/32471/stat : 32471 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419096035 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845693327888 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32472] ppid=32413 vsize=7750184 memory=14008 CPUtime=0 cores=0-7
/proc/32465/task/32472/stat : 32472 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419096036 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845692275344 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32473] ppid=32413 vsize=7750184 memory=11824 CPUtime=0 cores=0-7
/proc/32465/task/32473/stat : 32473 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419096036 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845691222288 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32474] ppid=32413 vsize=7750184 memory=19888 CPUtime=0 cores=0-7
/proc/32465/task/32474/stat : 32474 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419096036 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845690169744 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32475] ppid=32413 vsize=7750184 memory=2120 CPUtime=0 cores=0-7
/proc/32465/task/32475/stat : 32475 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419096037 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845170117360 139846210927234 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32476] ppid=32413 vsize=7750184 memory=500 CPUtime=0 cores=0-7
/proc/32465/task/32476/stat : 32476 (java) S 32413 32413 31623 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419096037 7936188416 16843 33554432000 4194304 4196468 140720784577824 139844873348768 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32477] ppid=32413 vsize=7750184 memory=9804052 CPUtime=0 cores=0-7
/proc/32465/task/32477/stat : 32477 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419096038 7936188416 16843 33554432000 4194304 4196468 140720784577824 139844604912880 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32478] ppid=32413 vsize=7750184 memory=804 CPUtime=0 cores=0-7
/proc/32465/task/32478/stat : 32478 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419096040 7936188416 16843 33554432000 4194304 4196468 140720784577824 139844230404560 139846210934683 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32479] ppid=32413 vsize=7750184 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/32465/task/32479/stat : 32479 (java) S 32413 32413 31623 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 419096040 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845169064176 139846210927234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32480] ppid=32413 vsize=7750184 memory=9796900 CPUtime=0.01 cores=0-7
/proc/32465/task/32480/stat : 32480 (java) R 32413 32413 31623 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 419096040 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845168011632 139846210927234 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32481] ppid=32413 vsize=7750184 memory=1808 CPUtime=0.01 cores=0-7
/proc/32465/task/32481/stat : 32481 (java) S 32413 32413 31623 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 419096040 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845166958576 139846210927234 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32482] ppid=32413 vsize=7750184 memory=924 CPUtime=0.06 cores=0-7
/proc/32465/task/32482/stat : 32482 (java) S 32413 32413 31623 0 -1 1077944384 290 0 0 0 6 0 0 0 20 0 20 0 419096041 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845165906032 139846210927234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32483] ppid=32413 vsize=7750184 memory=7089014733426894749 CPUtime=0 cores=0-7
/proc/32465/task/32483/stat : 32483 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419096041 7936188416 16843 33554432000 4194304 4196468 140720784577824 139843732499424 139846210926293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32484] ppid=32413 vsize=7750184 memory=-6081100125891549016 CPUtime=0 cores=0-7
/proc/32465/task/32484/stat : 32484 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419096041 7936188416 16843 33554432000 4194304 4196468 140720784577824 139845164854448 139846210927234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
Current children cumulated CPU time: 392.77 s
Current children cumulated vsize: 7863312 KiB
Current children cumulated memory: 68848 KiB

[startup+328.001 s]*
/proc/loadavg: 1.46 3.53 5.90 2/217 32490
/proc/meminfo: memFree=30698588/32770624 swapFree=66967040/67108860
[pid=32413] ppid=32410 vsize=113128 memory=1476 CPUtime=392.41 cores=0-7
/proc/32413/stat : 32413 (scop.sh) S 32410 32413 31623 0 -1 4202496 582 133599 0 0 0 0 38012 1229 20 0 1 0 419063341 115843072 369 33554432000 4194304 5098028 140725921881376 140725921878120 140277404189308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40701952 140725921887013 140725921887340 140725921887340 140725921890253 0
/proc/32413/statm: 28282 369 311 221 0 87 0
[pid=32465] ppid=32413 vsize=8414124 memory=123384 CPUtime=1.34 cores=0-7
/proc/32465/stat : 32465 (java) S 32413 32413 31623 0 -1 1077944320 19793 0 0 0 127 7 0 0 20 0 24 0 419096033 8616062976 30846 33554432000 4194304 4196468 140720784577824 140720784560368 139846210916087 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
/proc/32465/statm: 2103531 30846 3210 1 0 2064875 0
[pid=32485] ppid=32465 vsize=62392 memory=38404 CPUtime=0.31 cores=0-7
/proc/32485/stat : 32485 (manyglucose-4.1) R 32465 32413 31623 0 -1 4202496 11224 0 0 0 29 2 0 0 20 0 1 0 419096111 63889408 9601 33554432000 4194304 4454172 140732423744208 140732423741304 4372556 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 14180352 140732423750505 140732423750704 140732423750704 140732423753658 0
/proc/32485/statm: 15598 9601 365 64 0 11266 0
[pid=32465/tid=32466] ppid=32413 vsize=8414124 memory=-7824251494390716263 CPUtime=0.79 cores=0-7
/proc/32465/task/32466/stat : 32466 (java) S 32413 32413 31623 0 -1 1077944384 16392 0 0 0 73 6 0 0 20 0 24 0 419096034 8616062976 30846 33554432000 4194304 4196468 140720784577824 139846182756256 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32467] ppid=32413 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/32465/task/32467/stat : 32467 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139846215158800 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32468] ppid=32413 vsize=8414124 memory=2572 CPUtime=0 cores=0-7
/proc/32465/task/32468/stat : 32468 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139846015327376 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32469] ppid=32413 vsize=8414124 memory=900 CPUtime=0 cores=0-7
/proc/32465/task/32469/stat : 32469 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845695433488 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32470] ppid=32413 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/32465/task/32470/stat : 32470 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845694380944 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32471] ppid=32413 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/32465/task/32471/stat : 32471 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845693327888 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32472] ppid=32413 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/32465/task/32472/stat : 32472 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096036 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845692275344 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32473] ppid=32413 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/32465/task/32473/stat : 32473 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096036 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845691222288 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32474] ppid=32413 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/32465/task/32474/stat : 32474 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096036 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845690169744 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32475] ppid=32413 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/32465/task/32475/stat : 32475 (java) S 32413 32413 31623 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419096037 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845170117360 139846210927234 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32476] ppid=32413 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/32465/task/32476/stat : 32476 (java) S 32413 32413 31623 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419096037 8616062976 30846 33554432000 4194304 4196468 140720784577824 139844873348768 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32477] ppid=32413 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/32465/task/32477/stat : 32477 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096038 8616062976 30846 33554432000 4194304 4196468 140720784577824 139844604912880 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32478] ppid=32413 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/32465/task/32478/stat : 32478 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096040 8616062976 30846 33554432000 4194304 4196468 140720784577824 139844230404560 139846210934683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32479] ppid=32413 vsize=8414124 memory=4240 CPUtime=0.12 cores=0-7
/proc/32465/task/32479/stat : 32479 (java) S 32413 32413 31623 0 -1 1077944384 863 0 0 0 12 0 0 0 20 0 24 0 419096040 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845169064176 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32480] ppid=32413 vsize=8414124 memory=1412 CPUtime=0.05 cores=0-7
/proc/32465/task/32480/stat : 32480 (java) S 32413 32413 31623 0 -1 1077944384 215 0 0 0 5 0 0 0 20 0 24 0 419096040 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845168011632 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32481] ppid=32413 vsize=8414124 memory=3332 CPUtime=0.12 cores=0-7
/proc/32465/task/32481/stat : 32481 (java) S 32413 32413 31623 0 -1 1077944384 346 0 0 0 12 0 0 0 20 0 24 0 419096040 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845166958576 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32482] ppid=32413 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/32465/task/32482/stat : 32482 (java) S 32413 32413 31623 0 -1 1077944384 578 0 0 0 22 0 0 0 20 0 24 0 419096041 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845165906032 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32483] ppid=32413 vsize=8414124 memory=47588 CPUtime=0 cores=0-7
/proc/32465/task/32483/stat : 32483 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419096041 8616062976 30846 33554432000 4194304 4196468 140720784577824 139843732499424 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32484] ppid=32413 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/32465/task/32484/stat : 32484 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096041 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845164854448 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32486] ppid=32413 vsize=8414124 memory=9804052 CPUtime=0 cores=0-7
/proc/32465/task/32486/stat : 32486 (java) S 32413 32413 31623 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419096111 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845156820416 139846210940697 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32488] ppid=32413 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/32465/task/32488/stat : 32488 (java) S 32413 32413 31623 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419096111 8616062976 30846 33554432000 4194304 4196468 140720784577824 139843061399088 139846210938013 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32489] ppid=32413 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/32465/task/32489/stat : 32489 (java) S 32413 32413 31623 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419096111 8616062976 30846 33554432000 4194304 4196468 140720784577824 139843329834672 139846210938013 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32490] ppid=32413 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/32465/task/32490/stat : 32490 (java) S 32413 32413 31623 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419096113 8616062976 30846 33554432000 4194304 4196468 140720784577824 139842792971184 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
Current children cumulated CPU time: 394.06 s
Current children cumulated vsize: 8589644 KiB
Current children cumulated memory: 163264 KiB

[startup+328.201 s]
/proc/loadavg: 1.46 3.53 5.90 2/217 32490
/proc/meminfo: memFree=30698588/32770624 swapFree=66967040/67108860
[pid=32413] ppid=32410 vsize=113128 memory=1476 CPUtime=392.41 cores=0-7
/proc/32413/stat : 32413 (scop.sh) S 32410 32413 31623 0 -1 4202496 582 133599 0 0 0 0 38012 1229 20 0 1 0 419063341 115843072 369 33554432000 4194304 5098028 140725921881376 140725921878120 140277404189308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40701952 140725921887013 140725921887340 140725921887340 140725921890253 0
/proc/32413/statm: 28282 369 311 221 0 87 0
[pid=32465] ppid=32413 vsize=8414124 memory=123384 CPUtime=1.34 cores=0-7
/proc/32465/stat : 32465 (java) S 32413 32413 31623 0 -1 1077944320 19793 0 0 0 127 7 0 0 20 0 24 0 419096033 8616062976 30846 33554432000 4194304 4196468 140720784577824 140720784560368 139846210916087 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
/proc/32465/statm: 2103531 30846 3210 1 0 2064875 0
[pid=32485] ppid=32465 vsize=201452 memory=177676 CPUtime=0.5 cores=0-7
/proc/32485/stat : 32485 (manyglucose-4.1) R 32465 32413 31623 0 -1 4202496 41710 0 0 0 44 6 0 0 20 0 1 0 419096111 206286848 44419 33554432000 4194304 4454172 140732423744208 140732423741304 4370421 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 14180352 140732423750505 140732423750704 140732423750704 140732423753658 0
/proc/32485/statm: 50363 44419 378 64 0 46031 0
[pid=32465/tid=32466] ppid=32413 vsize=8414124 memory=928 CPUtime=0.79 cores=0-7
/proc/32465/task/32466/stat : 32466 (java) S 32413 32413 31623 0 -1 1077944384 16392 0 0 0 73 6 0 0 20 0 24 0 419096034 8616062976 30846 33554432000 4194304 4196468 140720784577824 139846182756256 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32467] ppid=32413 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/32465/task/32467/stat : 32467 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139846215158800 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32468] ppid=32413 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/32465/task/32468/stat : 32468 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139846015327376 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32469] ppid=32413 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/32465/task/32469/stat : 32469 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845695433488 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32470] ppid=32413 vsize=8414124 memory=9803144 CPUtime=0 cores=0-7
/proc/32465/task/32470/stat : 32470 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845694380944 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32471] ppid=32413 vsize=8414124 memory=1520 CPUtime=0 cores=0-7
/proc/32465/task/32471/stat : 32471 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096035 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845693327888 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32472] ppid=32413 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/32465/task/32472/stat : 32472 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096036 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845692275344 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32473] ppid=32413 vsize=8414124 memory=2572 CPUtime=0 cores=0-7
/proc/32465/task/32473/stat : 32473 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096036 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845691222288 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32474] ppid=32413 vsize=8414124 memory=900 CPUtime=0 cores=0-7
/proc/32465/task/32474/stat : 32474 (java) S 32413 32413 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096036 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845690169744 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32475] ppid=32413 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/32465/task/32475/stat : 32475 (java) S 32413 32413 31623 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419096037 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845170117360 139846210927234 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32476] ppid=32413 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/32465/task/32476/stat : 32476 (java) S 32413 32413 31623 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419096037 8616062976 30846 33554432000 4194304 4196468 140720784577824 139844873348768 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32477] ppid=32413 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/32465/task/32477/stat : 32477 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096038 8616062976 30846 33554432000 4194304 4196468 140720784577824 139844604912880 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32478] ppid=32413 vsize=8414124 memory=39808 CPUtime=0 cores=0-7
/proc/32465/task/32478/stat : 32478 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096040 8616062976 30846 33554432000 4194304 4196468 140720784577824 139844230404560 139846210934683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32479] ppid=32413 vsize=8414124 memory=984 CPUtime=0.12 cores=0-7
/proc/32465/task/32479/stat : 32479 (java) S 32413 32413 31623 0 -1 1077944384 863 0 0 0 12 0 0 0 20 0 24 0 419096040 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845169064176 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32480] ppid=32413 vsize=8414124 memory=2004 CPUtime=0.05 cores=0-7
/proc/32465/task/32480/stat : 32480 (java) S 32413 32413 31623 0 -1 1077944384 215 0 0 0 5 0 0 0 20 0 24 0 419096040 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845168011632 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32481] ppid=32413 vsize=8414124 memory=288230574492221466 CPUtime=0.12 cores=0-7
/proc/32465/task/32481/stat : 32481 (java) S 32413 32413 31623 0 -1 1077944384 346 0 0 0 12 0 0 0 20 0 24 0 419096040 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845166958576 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32482] ppid=32413 vsize=8414124 memory=288230583166042426 CPUtime=0.22 cores=0-7
/proc/32465/task/32482/stat : 32482 (java) S 32413 32413 31623 0 -1 1077944384 578 0 0 0 22 0 0 0 20 0 24 0 419096041 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845165906032 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32483] ppid=32413 vsize=8414124 memory=15537410121407736 CPUtime=0 cores=0-7
/proc/32465/task/32483/stat : 32483 (java) S 32413 32413 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419096041 8616062976 30846 33554432000 4194304 4196468 140720784577824 139843732499424 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32484] ppid=32413 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/32465/task/32484/stat : 32484 (java) S 32413 32413 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096041 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845164854448 139846210927234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32486] ppid=32413 vsize=8414124 memory=5928 CPUtime=0 cores=0-7
/proc/32465/task/32486/stat : 32486 (java) S 32413 32413 31623 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419096111 8616062976 30846 33554432000 4194304 4196468 140720784577824 139845156820416 139846210940697 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32488] ppid=32413 vsize=8414124 memory=10484 CPUtime=0 cores=0-7
/proc/32465/task/32488/stat : 32488 (java) S 32413 32413 31623 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419096111 8616062976 30846 33554432000 4194304 4196468 140720784577824 139843061399088 139846210938013 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32489] ppid=32413 vsize=8414124 memory=716 CPUtime=0 cores=0-7
/proc/32465/task/32489/stat : 32489 (java) S 32413 32413 31623 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419096111 8616062976 30846 33554432000 4194304 4196468 140720784577824 139843329834672 139846210938013 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
[pid=32465/tid=32490] ppid=32413 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/32465/task/32490/stat : 32490 (java) S 32413 32413 31623 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419096113 8616062976 30846 33554432000 4194304 4196468 140720784577824 139842792971184 139846210926293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140720784585719 140720784585878 140720784585878 140720784588751 0
Current children cumulated CPU time: 394.25 s
Current children cumulated vsize: 8728704 KiB
Current children cumulated memory: 302536 KiB

Child status: 0
Real time (s): 328.282
CPU time (s): 394.452
CPU user time (s): 381.983
CPU system time (s): 12.4691
CPU usage (%): 120.156
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9806556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 381.983
system time used= 12.4691
maximum resident set size= 9805612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19826
involuntary context switches= 843


# summary of solver processes directly reported to runsolver:
#   pid: 32413
#   total CPU time (s): 394.452
#   total CPU user time (s): 381.983
#   total CPU system time (s): 12.4691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30962 second user time and 3.51294 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-14 04:25:23
IDJOB=4392391
IDBENCH=126913
IDSOLVER=2838
FILE ID=node125/4392391-1568427964
RUNJOBID= node125-1568426266-31650
PBS_JOBID= 21702287
Free space on /tmp= 59748 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0600-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392391-1568427964/watcher-4392391-1568427964 -o /tmp/evaluation-result-4392391-1568427964/solver-4392391-1568427964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568426266-31650 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392391-1568427964.xml

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

MD5SUM BENCH= 944fe5e858b8dc1e5468427caea6b95a
RANDOM SEED=345531303

node125.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.29
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.29
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.29
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.29
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:        30851756 kB
MemAvailable:   31875772 kB
Buffers:          147144 kB
Cached:          1169412 kB
SwapCached:        38320 kB
Active:           702156 kB
Inactive:         655904 kB
Active(anon):      20704 kB
Inactive(anon):    60800 kB
Active(file):     681452 kB
Inactive(file):   595104 kB
Unevictable:      108024 kB
Mlocked:          108024 kB
SwapTotal:      67108860 kB
SwapFree:       66967032 kB
Dirty:             50056 kB
Writeback:            20 kB
AnonPages:        112764 kB
Mapped:            44096 kB
Shmem:             31260 kB
Slab:             155376 kB
SReclaimable:     126592 kB
SUnreclaim:        28784 kB
KernelStack:        3392 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59728 MiB
End job on node125 at 2019-09-14 04:30:51