Trace number 4405632

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 1308.07 1126.77

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000-int.xml
MD5SUM281fe5e81d871c4f2ceaf1755ecf4117
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 benchmark492.618
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-336-serial-file.bin HOME/instance-4405632-1569337214.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 15:58:53 CEST 2019
0.65/0.56	c PID: 341
0.65/0.56	c IP: 172.20.3.106
0.65/0.56	c HOST: node106.alineos.net
0.65/0.57	c (0,0) Parsing Begin
148.72/96.72	c (96,89) Parsing End
148.72/96.73	c (96,89) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
148.72/96.74	c (96,89) Heap : 3306 MiB used (max 20025 MiB), NonHeap : 24 MiB used (max 0 MiB)
148.72/96.74	c (96,89) Constraint Name Generate Begin
154.10/101.95	c (101,94) Ctr:HOME/instance-4405632-1569337214.xml,Eq:Imp:Le:Num:Var
154.10/101.95	c (101,94) Constraint Name Generate End
154.10/101.95	c (101,94) Heap : 4743 MiB used (max 20025 MiB), NonHeap : 23 MiB used (max 0 MiB)
154.10/101.95	c (101,94) CSP to CSPinCNF Begin
161.53/108.43	c (107,101) translated 199800 (10%) constraints
173.03/115.20	c (114,107) translated 399600 (20%) constraints
179.03/121.27	c (120,113) translated 599400 (30%) constraints
185.13/127.31	c (126,119) translated 799200 (40%) constraints
203.07/134.80	c (134,125) translated 999000 (50%) constraints
209.42/140.97	c (140,131) translated 1198800 (60%) constraints
215.63/147.13	c (146,137) translated 1398600 (70%) constraints
225.77/153.70	c (153,143) translated 1598400 (80%) constraints
231.78/159.75	c (159,149) translated 1798200 (90%) constraints
237.88/165.79	c (165,155) translated 1998000 (100%) constraints
237.88/165.79	c (165,155) ===========================================
238.33/166.14	c (165,156) Hybrid: #OE=1000, #LE=0
238.33/166.14	c (165,156) Hybrid
238.33/166.14	c (165,156) ===========================================
242.08/169.22	c (168,159) translated 199800 (10%) constraints
245.18/172.34	c (171,162) translated 399600 (20%) constraints
253.16/176.05	c (175,165) translated 599400 (30%) constraints
256.16/179.08	c (178,168) translated 799200 (40%) constraints
259.27/182.14	c (181,171) translated 999000 (50%) constraints
278.06/196.07	c (195,184) translated 1198800 (60%) constraints
296.33/209.91	c (209,198) translated 1398600 (70%) constraints
314.83/223.48	c (222,211) translated 1598400 (80%) constraints
334.61/237.82	c (237,224) translated 1798200 (90%) constraints
353.72/251.48	c (250,237) translated 1998000 (100%) constraints
353.72/251.49	c (250,237) CSP to CSPinCNF End
354.14/251.80	c (251,237) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
354.14/251.80	c (251,237) Heap : 9361 MiB used (max 21395 MiB), NonHeap : 27 MiB used (max 0 MiB)
354.14/251.80	c (251,237) CSPinCNF Propagation Begin
1288.59/1118.05	c (1117,1094) 1784456 values, 2694951 unsatisfiable literals, and 3665387 valid clauses are removed
1288.59/1118.05	c (1117,1094) CSPinCNF Propagation End
1288.99/1118.40	c (1117,1094) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1288.99/1118.40	c (1117,1094) Heap : 11706 MiB used (max 21680 MiB), NonHeap : 26 MiB used (max 0 MiB)
1289.10/1118.54	c (1117,1094) Hybrid: #OE=1000000, #LE=0
1289.10/1118.54	c (1117,1094) Simplify CSPinCNF Begin
1289.83/1119.09	c (1118,1095) Simplify CSPinCNF End
1290.22/1119.44	c (1118,1095) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1290.22/1119.44	c (1118,1095) Heap : 12054 MiB used (max 21680 MiB), NonHeap : 26 MiB used (max 0 MiB)
1290.22/1119.44	c (1118,1095) Calculate Precise Domain Begin
1290.22/1119.44	c (1118,1095) 0 values are removed by re-calculation
1290.22/1119.44	c (1118,1095) Calculate Precise Domain End
1290.52/1119.80	c (1119,1096) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1290.52/1119.80	c (1119,1096) Heap : 12054 MiB used (max 21680 MiB), NonHeap : 26 MiB used (max 0 MiB)
1290.52/1119.80	c (1119,1096) CSPinCNF to SatSolver Begin
1293.68/1121.34	c (1120,1097) 33062 (10 %) CSP clauses are encoded (0 SAT variables, 137932 SAT clauses)
1293.93/1121.57	c (1121,1097) 66123 (20 %) CSP clauses are encoded (0 SAT variables, 170993 SAT clauses)
1294.13/1121.78	c (1121,1098) 99184 (30 %) CSP clauses are encoded (0 SAT variables, 204054 SAT clauses)
1294.33/1122.00	c (1121,1098) 132246 (40 %) CSP clauses are encoded (0 SAT variables, 237116 SAT clauses)
1294.63/1122.21	c (1121,1098) 165307 (50 %) CSP clauses are encoded (0 SAT variables, 270177 SAT clauses)
1294.83/1122.42	c (1121,1098) 198368 (60 %) CSP clauses are encoded (0 SAT variables, 303238 SAT clauses)
1295.03/1122.63	c (1122,1098) 231430 (70 %) CSP clauses are encoded (0 SAT variables, 336300 SAT clauses)
1295.23/1122.85	c (1122,1099) 264491 (80 %) CSP clauses are encoded (0 SAT variables, 369361 SAT clauses)
1295.43/1123.06	c (1122,1099) 297552 (90 %) CSP clauses are encoded (0 SAT variables, 402422 SAT clauses)
1304.64/1124.44	c (1123,1099) 330613 (100 %) CSP clauses are encoded (0 SAT variables, 435483 SAT clauses)
1304.64/1124.44	c (1123,1099) CSPinCNF to SatSolver End
1304.64/1124.44	c (1123,1099) Heap : 9712 MiB used (max 21668 MiB), NonHeap : 28 MiB used (max 0 MiB)
1304.64/1124.44	c (1123,1099) 212544 bool, 435484 clause
1304.64/1124.44	c (1123,1099) Export Begin
1304.80/1124.58	c (1124,1099) Export to HOME/scop-336-serial-file.bin
1304.80/1124.58	c (1124,1099) Export End
1304.80/1124.58	c (1124,1099) Export File Size: 0.16 MB
1304.80/1124.58	c (1124,1099) 96,101,251,1117,1118,1119,1123,STOP-AFTER(DIMACS)
1304.80/1124.58	c END-Prog: Tue Sep 24 16:17:37 CEST 2019
0.00/1124.66	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-336-serial-file.bin
1305.71/1125.14	c (0,0) Read Serial File Begin
1305.71/1125.14	c (0,0) HOME/scop-336-serial-file.bin
1306.32/1125.40	c (0,0) Read Serial File End
1306.32/1125.42	
1306.32/1125.42	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
1306.32/1125.42	(Solving Process)
1306.32/1125.42	
1306.32/1125.44	c BEGIN-Prog: Tue Sep 24 16:17:38 CEST 2019
1306.32/1125.44	c PID: 472
1306.32/1125.44	c IP: 172.20.3.106
1306.32/1125.44	c HOST: node106.alineos.net
1306.32/1125.44	c (0,0) SatSolver.solve Begin
1306.32/1125.44	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405632-1569337214.xml-scop-341.cnf
1306.32/1125.47	c (0,0) c
1306.32/1125.47	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)
1306.32/1125.47	c (0,0) c
1306.32/1125.47	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1306.32/1125.47	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1306.32/1125.47	c (0,0) c ========================================[ Problem Statistics ]===========================================
1306.32/1125.47	c (0,0) c |                                                                                                       |
1306.61/1125.71	c (0,0) c |  Number of variables:        212544                                                                   |
1306.61/1125.71	c (0,0) c |  Number of clauses:          435484                                                                   |
1306.61/1125.71	c (0,0) c |  Parse time:                   0.21 s                                                                 |
1306.61/1125.71	c (0,0) c |                                                                                                       |
1307.44/1126.30	c (1,0) c |  Simplification time:          0.59 s                                                                 |
1307.44/1126.30	c (1,0) c |                                                                                                       |
1307.44/1126.30	c (1,0) c |  Generating clones                                                                                    |
1307.84/1126.72	c (1,0) c |  all clones generated. Memory =   485.48Mb.                                                           |
1307.84/1126.72	c (1,0) c ========================================================================================================|
1307.84/1126.72	c (1,0) c
1307.84/1126.72	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1307.84/1126.72	c (1,0) c
1307.84/1126.72	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.72	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1307.84/1126.72	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.72	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1307.84/1126.72	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1307.84/1126.72	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1307.84/1126.72	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1307.84/1126.72	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1307.84/1126.72	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1307.84/1126.72	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1307.84/1126.72	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1307.84/1126.72	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1307.84/1126.72	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1307.84/1126.72	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1307.84/1126.72	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1307.84/1126.72	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1307.84/1126.72	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1307.84/1126.72	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1307.84/1126.72	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.73	c (1,0) c
1307.84/1126.73	c (1,0) c real time : 1.26055 s
1307.84/1126.73	c (1,0) c cpu time  : 1.16606 s
1307.84/1126.73	c (1,0) c
1307.84/1126.73	c (1,0) c
1307.84/1126.73	c (1,0) c
1307.84/1126.73	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1307.84/1126.73	c (1,0) c
1307.84/1126.73	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.73	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1307.84/1126.73	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.73	c (1,0) c | Conflicts     |              50 |          5 |         10 |          8 |          4 |          5 |          5 |          6 |          7 |
1307.84/1126.73	c (1,0) c | Decisions     |              52 |          6 |         13 |          7 |          3 |          6 |          6 |          5 |          6 |
1307.84/1126.73	c (1,0) c | Propagations  |           79168 |      12537 |      12122 |       9889 |      10918 |       7559 |       7559 |      10139 |       8445 |
1307.84/1126.73	c (1,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1307.84/1126.73	c (1,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1307.84/1126.73	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | PropBinClauses|          149402 |      18939 |      20864 |      17458 |      18069 |      19035 |      19495 |      18343 |      17199 |
1307.84/1126.73	c (1,0) c | PropPreBlocker|          167914 |      20992 |      23037 |      19907 |      20170 |      21404 |      21841 |      20781 |      19782 |
1307.84/1126.73	c (1,0) c | PropNotBlocker|           75372 |       9134 |      10042 |       9310 |       8912 |       9506 |       9684 |       9447 |       9337 |
1307.84/1126.73	c (1,0) c | LitFullScans  |          650920 |      58952 |      85826 |     105411 |      68243 |      80779 |      81776 |      92724 |      77209 |
1307.84/1126.73	c (1,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | DecisionLevel0|              20 |          4 |          3 |          2 |          2 |          2 |          2 |          2 |          3 |
1307.84/1126.73	c (1,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1307.84/1126.73	c (1,0) c | Avg_Trail     |                 |       6959 |       6365 |       6439 |       7019 |       6537 |       6588 |       6232 |       6079 |
1307.84/1126.73	c (1,0) c | Avg_DL        |                 |          1 |          2 |          2 |          1 |          1 |          1 |          1 |          2 |
1307.84/1126.73	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.73	c (1,0) c | Exported      |              14 |          0 |          3 |          1 |          1 |          3 |          3 |          2 |          1 |
1307.84/1126.73	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1307.84/1126.73	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.73	c (1,0) c | Unaries       |                 |          3 |          2 |          1 |          1 |          1 |          1 |          1 |          2 |
1307.84/1126.73	c (1,0) c | Binaries      |                 |          0 |          1 |          1 |          0 |          0 |          0 |          1 |          0 |
1307.84/1126.73	c (1,0) c | Glues         |                 |          0 |          3 |          1 |          1 |          3 |          3 |          2 |          1 |
1307.84/1126.73	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.73	c (1,0) c | Orig_Seen     |            21 % |       4728 |       5432 |       5151 |       5287 |       5533 |       5537 |       5741 |       3970 |
1307.84/1126.73	c (1,0) c | Diff Orig seen|                 |      X     |        704 |        423 |        559 |        805 |        809 |       1013 | -      758 |
1307.84/1126.73	c (1,0) c | Hamming       |             0 % |      X     |        425 |        313 |        219 |        166 |        166 |        276 |        515 |
1307.84/1126.73	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.73	c (1,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%|
1307.84/1126.73	c (1,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1307.84/1126.73	c (1,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1307.84/1126.73	c (1,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1307.84/1126.73	c (1,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
1307.84/1126.73	c (1,0) c | PropagationTim|                 |    0.0  80%|    0.0  79%|    0.0  58%|    0.0  74%|    0.0  68%|    0.0  67%|    0.0  64%|    0.0  76%|
1307.84/1126.73	c (1,0) c | AnalysisTime  |                 |    0.0  13%|    0.0  16%|    0.0  37%|    0.0  22%|    0.0  24%|    0.0  26%|    0.0  31%|    0.0  21%|
1307.84/1126.73	c (1,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%|
1307.84/1126.73	c (1,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%|
1307.84/1126.73	c (1,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1307.84/1126.73	c (1,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1307.84/1126.73	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.73	c (1,0) c
1307.84/1126.73	c (1,0) c
1307.84/1126.73	c (1,0) c Threads : 8
1307.84/1126.73	c (1,0) c Winner : 0
1307.84/1126.73	c (1,0) c Conflicts_0 : 5
1307.84/1126.73	c (1,0) c Conflicts_1 : 10
1307.84/1126.73	c (1,0) c Conflicts_2 : 8
1307.84/1126.73	c (1,0) c Conflicts_3 : 4
1307.84/1126.73	c (1,0) c Conflicts_4 : 5
1307.84/1126.73	c (1,0) c Conflicts_5 : 5
1307.84/1126.73	c (1,0) c Conflicts_6 : 6
1307.84/1126.73	c (1,0) c Conflicts_7 : 7
1307.84/1126.73	c (1,0) c Conflicts_total : 50
1307.84/1126.73	c (1,0) c Conflicts_winner : 5
1307.84/1126.73	c (1,0) c Decisions_0 : 6
1307.84/1126.73	c (1,0) c Decisions_1 : 13
1307.84/1126.73	c (1,0) c Decisions_2 : 7
1307.84/1126.73	c (1,0) c Decisions_3 : 3
1307.84/1126.73	c (1,0) c Decisions_4 : 6
1307.84/1126.73	c (1,0) c Decisions_5 : 6
1307.84/1126.73	c (1,0) c Decisions_6 : 5
1307.84/1126.73	c (1,0) c Decisions_7 : 6
1307.84/1126.73	c (1,0) c Decisions_total : 52
1307.84/1126.73	c (1,0) c Decisions_winner : 6
1307.84/1126.73	c (1,0) c Propagations_0 : 12537
1307.84/1126.73	c (1,0) c Propagations_1 : 12122
1307.84/1126.73	c (1,0) c Propagations_2 : 9889
1307.84/1126.73	c (1,0) c Propagations_3 : 10918
1307.84/1126.73	c (1,0) c Propagations_4 : 7559
1307.84/1126.73	c (1,0) c Propagations_5 : 7559
1307.84/1126.73	c (1,0) c Propagations_6 : 10139
1307.84/1126.73	c (1,0) c Propagations_7 : 8445
1307.84/1126.73	c (1,0) c Propagations_total : 79168
1307.84/1126.73	c (1,0) c Propagations_winner : 12537
1307.84/1126.73	c (1,0) c ReduceDBs_0 : 0
1307.84/1126.73	c (1,0) c ReduceDBs_1 : 0
1307.84/1126.73	c (1,0) c ReduceDBs_2 : 0
1307.84/1126.73	c (1,0) c ReduceDBs_3 : 0
1307.84/1126.73	c (1,0) c ReduceDBs_4 : 0
1307.84/1126.73	c (1,0) c ReduceDBs_5 : 0
1307.84/1126.73	c (1,0) c ReduceDBs_6 : 0
1307.84/1126.73	c (1,0) c ReduceDBs_7 : 0
1307.84/1126.73	c (1,0) c ReduceDBs_total : 0
1307.84/1126.73	c (1,0) c ReduceDBs_winner : 0
1307.84/1126.73	c (1,0) c SimpDBs_0 : 1
1307.84/1126.73	c (1,0) c SimpDBs_1 : 1
1307.84/1126.73	c (1,0) c SimpDBs_2 : 1
1307.84/1126.73	c (1,0) c SimpDBs_3 : 1
1307.84/1126.73	c (1,0) c SimpDBs_4 : 1
1307.84/1126.73	c (1,0) c SimpDBs_5 : 1
1307.84/1126.73	c (1,0) c SimpDBs_6 : 1
1307.84/1126.73	c (1,0) c SimpDBs_7 : 1
1307.84/1126.73	c (1,0) c SimpDBs_total : 8
1307.84/1126.73	c (1,0) c SimpDBs_winner : 1
1307.84/1126.73	c (1,0) c Restarts_0 : 1
1307.84/1126.73	c (1,0) c Restarts_1 : 1
1307.84/1126.73	c (1,0) c Restarts_2 : 1
1307.84/1126.73	c (1,0) c Restarts_3 : 1
1307.84/1126.73	c (1,0) c Restarts_4 : 1
1307.84/1126.73	c (1,0) c Restarts_5 : 1
1307.84/1126.73	c (1,0) c Restarts_6 : 1
1307.84/1126.73	c (1,0) c Restarts_7 : 1
1307.84/1126.73	c (1,0) c Restarts_total : 8
1307.84/1126.73	c (1,0) c Restarts_winner : 1
1307.84/1126.73	c (1,0) c ForcedImports_0 : 0
1307.84/1126.73	c (1,0) c ForcedImports_1 : 0
1307.84/1126.73	c (1,0) c ForcedImports_2 : 0
1307.84/1126.73	c (1,0) c ForcedImports_3 : 0
1307.84/1126.73	c (1,0) c ForcedImports_4 : 0
1307.84/1126.73	c (1,0) c ForcedImports_5 : 0
1307.84/1126.73	c (1,0) c ForcedImports_6 : 0
1307.84/1126.73	c (1,0) c ForcedImports_7 : 0
1307.84/1126.73	c (1,0) c ForcedImports_total : 0
1307.84/1126.73	c (1,0) c ForcedImports_winner : 0
1307.84/1126.73	c (1,0) c PropsBinClauses_0 : 18939
1307.84/1126.73	c (1,0) c PropsBinClauses_1 : 20864
1307.84/1126.73	c (1,0) c PropsBinClauses_2 : 17458
1307.84/1126.73	c (1,0) c PropsBinClauses_3 : 18069
1307.84/1126.73	c (1,0) c PropsBinClauses_4 : 19035
1307.84/1126.73	c (1,0) c PropsBinClauses_5 : 19495
1307.84/1126.73	c (1,0) c PropsBinClauses_6 : 18343
1307.84/1126.73	c (1,0) c PropsBinClauses_7 : 17199
1307.84/1126.73	c (1,0) c PropsBinClauses_total : 149402
1307.84/1126.73	c (1,0) c PropsBinClauses_winner : 18939
1307.84/1126.73	c (1,0) c PropsPreBlocker_0 : 20992
1307.84/1126.73	c (1,0) c PropsPreBlocker_1 : 23037
1307.84/1126.73	c (1,0) c PropsPreBlocker_2 : 19907
1307.84/1126.73	c (1,0) c PropsPreBlocker_3 : 20170
1307.84/1126.73	c (1,0) c PropsPreBlocker_4 : 21404
1307.84/1126.73	c (1,0) c PropsPreBlocker_5 : 21841
1307.84/1126.73	c (1,0) c PropsPreBlocker_6 : 20781
1307.84/1126.73	c (1,0) c PropsPreBlocker_7 : 19782
1307.84/1126.73	c (1,0) c PropsPreBlocker_total : 167914
1307.84/1126.73	c (1,0) c PropsPreBlocker_winner : 20992
1307.84/1126.73	c (1,0) c PropsNotBlocker_0 : 9134
1307.84/1126.73	c (1,0) c PropsNotBlocker_1 : 10042
1307.84/1126.73	c (1,0) c PropsNotBlocker_2 : 9310
1307.84/1126.73	c (1,0) c PropsNotBlocker_3 : 8912
1307.84/1126.73	c (1,0) c PropsNotBlocker_4 : 9506
1307.84/1126.73	c (1,0) c PropsNotBlocker_5 : 9684
1307.84/1126.73	c (1,0) c PropsNotBlocker_6 : 9447
1307.84/1126.73	c (1,0) c PropsNotBlocker_7 : 9337
1307.84/1126.73	c (1,0) c PropsNotBlocker_total : 75372
1307.84/1126.73	c (1,0) c PropsNotBlocker_winner : 9134
1307.84/1126.73	c (1,0) c PropsLitFullScans_0 : 58952
1307.84/1126.73	c (1,0) c PropsLitFullScans_1 : 85826
1307.84/1126.73	c (1,0) c PropsLitFullScans_2 : 105411
1307.84/1126.73	c (1,0) c PropsLitFullScans_3 : 68243
1307.84/1126.73	c (1,0) c PropsLitFullScans_4 : 80779
1307.84/1126.73	c (1,0) c PropsLitFullScans_5 : 81776
1307.84/1126.73	c (1,0) c PropsLitFullScans_6 : 92724
1307.84/1126.73	c (1,0) c PropsLitFullScans_7 : 77209
1307.84/1126.73	c (1,0) c PropsLitFullScans_total : 650920
1307.84/1126.73	c (1,0) c PropsLitFullScans_winner : 58952
1307.84/1126.73	c (1,0) c LitScanFractions_0 : 0
1307.84/1126.73	c (1,0) c LitScanFractions_1 : 0
1307.84/1126.73	c (1,0) c LitScanFractions_2 : 0
1307.84/1126.73	c (1,0) c LitScanFractions_3 : 0
1307.84/1126.73	c (1,0) c LitScanFractions_4 : 0
1307.84/1126.73	c (1,0) c LitScanFractions_5 : 0
1307.84/1126.73	c (1,0) c LitScanFractions_6 : 0
1307.84/1126.73	c (1,0) c LitScanFractions_7 : 0
1307.84/1126.73	c (1,0) c LitScanFractions_total : 0
1307.84/1126.73	c (1,0) c LitScanFractions_winner : 0
1307.84/1126.74	c (1,0) c DecisionLevel0_0 : 4
1307.84/1126.74	c (1,0) c DecisionLevel0_1 : 3
1307.84/1126.74	c (1,0) c DecisionLevel0_2 : 2
1307.84/1126.74	c (1,0) c DecisionLevel0_3 : 2
1307.84/1126.74	c (1,0) c DecisionLevel0_4 : 2
1307.84/1126.74	c (1,0) c DecisionLevel0_5 : 2
1307.84/1126.74	c (1,0) c DecisionLevel0_6 : 2
1307.84/1126.74	c (1,0) c DecisionLevel0_7 : 3
1307.84/1126.74	c (1,0) c DecisionLevel0_total : 20
1307.84/1126.74	c (1,0) c DecisionLevel0_winner : 4
1307.84/1126.74	c (1,0) c Periods_0 : 0
1307.84/1126.74	c (1,0) c Periods_1 : 0
1307.84/1126.74	c (1,0) c Periods_2 : 0
1307.84/1126.74	c (1,0) c Periods_3 : 0
1307.84/1126.74	c (1,0) c Periods_4 : 0
1307.84/1126.74	c (1,0) c Periods_5 : 0
1307.84/1126.74	c (1,0) c Periods_6 : 0
1307.84/1126.74	c (1,0) c Periods_7 : 0
1307.84/1126.74	c (1,0) c Periods_total : 0
1307.84/1126.74	c (1,0) c Periods_winner : 0
1307.84/1126.74	c (1,0) c Margin_0 : 20
1307.84/1126.74	c (1,0) c Margin_1 : 20
1307.84/1126.74	c (1,0) c Margin_2 : 20
1307.84/1126.74	c (1,0) c Margin_3 : 20
1307.84/1126.74	c (1,0) c Margin_4 : 20
1307.84/1126.74	c (1,0) c Margin_5 : 20
1307.84/1126.74	c (1,0) c Margin_6 : 20
1307.84/1126.74	c (1,0) c Margin_7 : 20
1307.84/1126.74	c (1,0) c Margin_total : 160
1307.84/1126.74	c (1,0) c Margin_winner : 20
1307.84/1126.74	c (1,0) c Exported_0 : 0
1307.84/1126.74	c (1,0) c Exported_1 : 3
1307.84/1126.74	c (1,0) c Exported_2 : 1
1307.84/1126.74	c (1,0) c Exported_3 : 1
1307.84/1126.74	c (1,0) c Exported_4 : 3
1307.84/1126.74	c (1,0) c Exported_5 : 3
1307.84/1126.74	c (1,0) c Exported_6 : 2
1307.84/1126.74	c (1,0) c Exported_7 : 1
1307.84/1126.74	c (1,0) c Exported_total : 14
1307.84/1126.74	c (1,0) c Exported_winner : 0
1307.84/1126.74	c (1,0) c Imported_0 : 0
1307.84/1126.74	c (1,0) c Imported_1 : 0
1307.84/1126.74	c (1,0) c Imported_2 : 0
1307.84/1126.74	c (1,0) c Imported_3 : 0
1307.84/1126.74	c (1,0) c Imported_4 : 0
1307.84/1126.74	c (1,0) c Imported_5 : 0
1307.84/1126.74	c (1,0) c Imported_6 : 0
1307.84/1126.74	c (1,0) c Imported_7 : 0
1307.84/1126.74	c (1,0) c Imported_total : 0
1307.84/1126.74	c (1,0) c Imported_winner : 0
1307.84/1126.74	c (1,0) c Good_0 : 0
1307.84/1126.74	c (1,0) c Good_1 : 0
1307.84/1126.74	c (1,0) c Good_2 : 0
1307.84/1126.74	c (1,0) c Good_3 : 0
1307.84/1126.74	c (1,0) c Good_4 : 0
1307.84/1126.74	c (1,0) c Good_5 : 0
1307.84/1126.74	c (1,0) c Good_6 : 0
1307.84/1126.74	c (1,0) c Good_7 : 0
1307.84/1126.74	c (1,0) c Good_total : 0
1307.84/1126.74	c (1,0) c Good_winner : 0
1307.84/1126.74	c (1,0) c Purge_0 : 0
1307.84/1126.74	c (1,0) c Purge_1 : 0
1307.84/1126.74	c (1,0) c Purge_2 : 0
1307.84/1126.74	c (1,0) c Purge_3 : 0
1307.84/1126.74	c (1,0) c Purge_4 : 0
1307.84/1126.74	c (1,0) c Purge_5 : 0
1307.84/1126.74	c (1,0) c Purge_6 : 0
1307.84/1126.74	c (1,0) c Purge_7 : 0
1307.84/1126.74	c (1,0) c Purge_total : 0
1307.84/1126.74	c (1,0) c Purge_winner : 0
1307.84/1126.74	c (1,0) c Promoted_0 : 0
1307.84/1126.74	c (1,0) c Promoted_1 : 0
1307.84/1126.74	c (1,0) c Promoted_2 : 0
1307.84/1126.74	c (1,0) c Promoted_3 : 0
1307.84/1126.74	c (1,0) c Promoted_4 : 0
1307.84/1126.74	c (1,0) c Promoted_5 : 0
1307.84/1126.74	c (1,0) c Promoted_6 : 0
1307.84/1126.74	c (1,0) c Promoted_7 : 0
1307.84/1126.74	c (1,0) c Promoted_total : 0
1307.84/1126.74	c (1,0) c Promoted_winner : 0
1307.84/1126.74	c (1,0) c Remove_Imp_0 : 0
1307.84/1126.74	c (1,0) c Remove_Imp_1 : 0
1307.84/1126.74	c (1,0) c Remove_Imp_2 : 0
1307.84/1126.74	c (1,0) c Remove_Imp_3 : 0
1307.84/1126.74	c (1,0) c Remove_Imp_4 : 0
1307.84/1126.74	c (1,0) c Remove_Imp_5 : 0
1307.84/1126.74	c (1,0) c Remove_Imp_6 : 0
1307.84/1126.74	c (1,0) c Remove_Imp_7 : 0
1307.84/1126.74	c (1,0) c Remove_Imp_total : 0
1307.84/1126.74	c (1,0) c Remove_Imp_winner : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_0 : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_1 : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_2 : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_3 : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_4 : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_5 : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_6 : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_7 : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_total : 0
1307.84/1126.74	c (1,0) c Blocked_Reuse_winner : 0
1307.84/1126.74	c (1,0) c Unaries_0 : 3
1307.84/1126.74	c (1,0) c Unaries_1 : 2
1307.84/1126.74	c (1,0) c Unaries_2 : 1
1307.84/1126.74	c (1,0) c Unaries_3 : 1
1307.84/1126.74	c (1,0) c Unaries_4 : 1
1307.84/1126.74	c (1,0) c Unaries_5 : 1
1307.84/1126.74	c (1,0) c Unaries_6 : 1
1307.84/1126.74	c (1,0) c Unaries_7 : 2
1307.84/1126.74	c (1,0) c Unaries_total : 12
1307.84/1126.74	c (1,0) c Unaries_winner : 3
1307.84/1126.74	c (1,0) c Binaries_0 : 0
1307.84/1126.74	c (1,0) c Binaries_1 : 1
1307.84/1126.74	c (1,0) c Binaries_2 : 1
1307.84/1126.74	c (1,0) c Binaries_3 : 0
1307.84/1126.74	c (1,0) c Binaries_4 : 0
1307.84/1126.74	c (1,0) c Binaries_5 : 0
1307.84/1126.74	c (1,0) c Binaries_6 : 1
1307.84/1126.74	c (1,0) c Binaries_7 : 0
1307.84/1126.74	c (1,0) c Binaries_total : 3
1307.84/1126.74	c (1,0) c Binaries_winner : 0
1307.84/1126.74	c (1,0) c Glues_0 : 0
1307.84/1126.74	c (1,0) c Glues_1 : 3
1307.84/1126.74	c (1,0) c Glues_2 : 1
1307.84/1126.74	c (1,0) c Glues_3 : 1
1307.84/1126.74	c (1,0) c Glues_4 : 3
1307.84/1126.74	c (1,0) c Glues_5 : 3
1307.84/1126.74	c (1,0) c Glues_6 : 2
1307.84/1126.74	c (1,0) c Glues_7 : 1
1307.84/1126.74	c (1,0) c Glues_total : 14
1307.84/1126.74	c (1,0) c Glues_winner : 0
1307.84/1126.74	c (1,0) c RunningTime_0 : 0.010449
1307.84/1126.74	c (1,0) c RunningTime_1 : 0.009287
1307.84/1126.74	c (1,0) c RunningTime_2 : 0.006440
1307.84/1126.74	c (1,0) c RunningTime_3 : 0.007895
1307.84/1126.74	c (1,0) c RunningTime_4 : 0.005746
1307.84/1126.74	c (1,0) c RunningTime_5 : 0.009543
1307.84/1126.74	c (1,0) c RunningTime_6 : 0.009946
1307.84/1126.74	c (1,0) c RunningTime_7 : 0.006883
1307.84/1126.74	c (1,0) c RunningTime_total : 0.066189
1307.84/1126.74	c (1,0) c RunningTime_winner : 0.010449
1307.84/1126.74	c (1,0) c WaitingTime_0 : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_1 : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_2 : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_3 : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_4 : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_5 : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_6 : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_7 : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_total : 0.000000
1307.84/1126.74	c (1,0) c WaitingTime_winner : 0.000000
1307.84/1126.74	c (1,0) c ExchangingTime_0 : 0.000002
1307.84/1126.74	c (1,0) c ExchangingTime_1 : 0.000006
1307.84/1126.74	c (1,0) c ExchangingTime_2 : 0.000003
1307.84/1126.74	c (1,0) c ExchangingTime_3 : 0.000005
1307.84/1126.74	c (1,0) c ExchangingTime_4 : 0.000014
1307.84/1126.74	c (1,0) c ExchangingTime_5 : 0.000011
1307.84/1126.74	c (1,0) c ExchangingTime_6 : 0.000012
1307.84/1126.74	c (1,0) c ExchangingTime_7 : 0.000005
1307.84/1126.74	c (1,0) c ExchangingTime_total : 0.000057
1307.84/1126.74	c (1,0) c ExchangingTime_winner : 0.000002
1307.84/1126.74	c (1,0) c PeriodProcTime_0 : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_1 : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_2 : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_3 : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_4 : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_5 : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_6 : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_7 : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_total : 0.000000
1307.84/1126.74	c (1,0) c PeriodProcTime_winner : 0.000000
1307.84/1126.74	c (1,0) c SolvingTime_0 : 0.010451
1307.84/1126.74	c (1,0) c SolvingTime_1 : 0.009293
1307.84/1126.74	c (1,0) c SolvingTime_2 : 0.006443
1307.84/1126.74	c (1,0) c SolvingTime_3 : 0.007900
1307.84/1126.74	c (1,0) c SolvingTime_4 : 0.005760
1307.84/1126.74	c (1,0) c SolvingTime_5 : 0.009554
1307.84/1126.74	c (1,0) c SolvingTime_6 : 0.009958
1307.84/1126.74	c (1,0) c SolvingTime_7 : 0.006888
1307.84/1126.74	c (1,0) c SolvingTime_total : 0.066247
1307.84/1126.74	c (1,0) c SolvingTime_winner : 0.010451
1307.84/1126.74	c (1,0) c PropagationTime_0 : 0.008410
1307.84/1126.74	c (1,0) c PropagationTime_1 : 0.007300
1307.84/1126.74	c (1,0) c PropagationTime_2 : 0.003723
1307.84/1126.74	c (1,0) c PropagationTime_3 : 0.005872
1307.84/1126.74	c (1,0) c PropagationTime_4 : 0.003927
1307.84/1126.74	c (1,0) c PropagationTime_5 : 0.006401
1307.84/1126.74	c (1,0) c PropagationTime_6 : 0.006338
1307.84/1126.74	c (1,0) c PropagationTime_7 : 0.005254
1307.84/1126.74	c (1,0) c PropagationTime_total : 0.047225
1307.84/1126.74	c (1,0) c PropagationTime_winner : 0.008410
1307.84/1126.74	c (1,0) c AnalysisTime_0 : 0.001348
1307.84/1126.74	c (1,0) c AnalysisTime_1 : 0.001483
1307.84/1126.74	c (1,0) c AnalysisTime_2 : 0.002399
1307.84/1126.74	c (1,0) c AnalysisTime_3 : 0.001777
1307.84/1126.74	c (1,0) c AnalysisTime_4 : 0.001369
1307.84/1126.74	c (1,0) c AnalysisTime_5 : 0.002467
1307.84/1126.74	c (1,0) c AnalysisTime_6 : 0.003070
1307.84/1126.74	c (1,0) c AnalysisTime_7 : 0.001454
1307.84/1126.74	c (1,0) c AnalysisTime_total : 0.015366
1307.84/1126.74	c (1,0) c AnalysisTime_winner : 0.001348
1307.84/1126.74	c (1,0) c ReductionTime_0 : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_1 : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_2 : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_3 : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_4 : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_5 : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_6 : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_7 : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_total : 0.000000
1307.84/1126.74	c (1,0) c ReductionTime_winner : 0.000000
1307.84/1126.74	c (1,0) c SimplifyTime_0 : 0.000000
1307.84/1126.74	c (1,0) c SimplifyTime_1 : 0.000000
1307.84/1126.74	c (1,0) c SimplifyTime_2 : 0.000000
1307.84/1126.74	c (1,0) c SimplifyTime_3 : 0.000001
1307.84/1126.74	c (1,0) c SimplifyTime_4 : 0.000000
1307.84/1126.74	c (1,0) c SimplifyTime_5 : 0.000000
1307.84/1126.74	c (1,0) c SimplifyTime_6 : 0.000000
1307.84/1126.74	c (1,0) c SimplifyTime_7 : 0.000000
1307.84/1126.74	c (1,0) c SimplifyTime_total : 0.000001
1307.84/1126.74	c (1,0) c SimplifyTime_winner : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_0 : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_1 : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_2 : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_3 : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_4 : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_5 : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_6 : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_7 : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_total : 0.000000
1307.84/1126.74	c (1,0) c UsedRateTime_winner : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_0 : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_1 : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_2 : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_3 : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_4 : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_5 : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_6 : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_7 : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_total : 0.000000
1307.84/1126.74	c (1,0) c OverlapRateTime_winner : 0.000000
1307.84/1126.74	c (1,0) c
1307.84/1126.74	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1307.84/1126.74	c (1,0) c
1307.84/1126.74	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.74	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1307.84/1126.74	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.74	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1307.84/1126.74	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1307.84/1126.74	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1307.84/1126.74	c (1,0) c | Initial random_seed   |  196714717 | 1973736792 | 1063923598 |  627802954 | 1207681500 |  923552284 |   70139227 |  355293852 |
1307.84/1126.74	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1307.84/1126.74	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1307.84/1126.74	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1307.84/1126.74	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1307.84/1126.74	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1307.84/1126.74	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1307.84/1126.74	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1307.84/1126.74	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1307.84/1126.74	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1307.84/1126.74	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1307.84/1126.74	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1307.84/1126.74	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1307.84/1126.74	c (1,0) 
1307.84/1126.74	c (1,0) s UNSATISFIABLE
1307.84/1126.75	c (1,0) SatSolver.solve End
1307.84/1126.75	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1307.84/1126.75	c (1,0) Show results Begin
1307.84/1126.75	s UNSATISFIABLE
1307.84/1126.75	c (1,0) Show results End
1307.84/1126.75	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1307.84/1126.76	c (1,0) 1,1,STOP-AFTER(ALL)
1307.84/1126.76	c END-Prog: Tue Sep 24 16:17:39 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 (9632 MiB free)
  memory of node 1: 16384 MiB (14974 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405632-1569337214/watcher-4405632-1569337214 -o /tmp/evaluation-result-4405632-1569337214/solver-4405632-1569337214 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405632-1569337214.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=336, runsolver pid=333
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.20 1.24 1.38 2/210 360
/proc/meminfo: memFree=25102424/32770624 swapFree=66999716/67108860
[pid=336] ppid=333 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/336/stat : 336 (scop.sh) S 333 336 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509975572 115843072 349 33554432000 4194304 5098028 140735986485840 140735986483096 139857334268540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38760448 140735986492196 140735986492524 140735986492524 140735986495437 0
/proc/336/statm: 28282 349 296 221 0 87 0
[pid=341] ppid=336 vsize=27314120 memory=107100 CPUtime=0.1 cores=0-7
/proc/341/stat : 341 (java) S 336 336 31481 0 -1 1077944320 6853 0 0 0 8 2 0 0 20 0 20 0 509975572 27969658880 26775 33554432000 4194304 4196468 140727790193664 140727790176208 139708758138615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
/proc/341/statm: 6828530 26775 2776 1 0 6790935 0
[pid=341/tid=342] ppid=336 vsize=27314120 memory=8318255677412212789 CPUtime=0.09 cores=0-7
/proc/341/task/342/stat : 342 (java) R 336 336 31481 0 -1 4202560 4995 0 0 0 7 2 0 0 20 0 20 0 509975572 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708729951856 139708742219028 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=343] ppid=336 vsize=27314120 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/341/task/343/stat : 343 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708762380816 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=344] ppid=336 vsize=27314120 memory=140336354362993 CPUtime=0 cores=0-7
/proc/341/task/344/stat : 344 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708576537232 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=345] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/345/stat : 345 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708179577104 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=346] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/346/stat : 346 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708178524560 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=347] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/347/stat : 347 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708177472528 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=348] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/348/stat : 348 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708176419984 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=349] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/349/stat : 349 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708175366928 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=350] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/350/stat : 350 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 26775 33554432000 4194304 4196468 140727790193664 139708174314384 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=351] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/351/stat : 351 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975576 27969658880 26775 33554432000 4194304 4196468 140727790193664 139706809874672 139708758149762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=352] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/352/stat : 352 (java) S 336 336 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509975577 27969658880 26775 33554432000 4194304 4196468 140727790193664 139706696197280 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=353] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/353/stat : 353 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975577 27969658880 26840 33554432000 4194304 4196468 140727790193664 139706427761392 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=354] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/354/stat : 354 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 26840 33554432000 4194304 4196468 140727790193664 139706053253072 139708758157211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=355] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/355/stat : 355 (java) S 336 336 31481 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 26840 33554432000 4194304 4196468 140727790193664 139706808822512 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=356] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/356/stat : 356 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 26840 33554432000 4194304 4196468 140727790193664 139706807769968 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=357] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/357/stat : 357 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 26840 33554432000 4194304 4196468 140727790193664 139706806716912 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=358] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/358/stat : 358 (java) S 336 336 31481 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 26840 33554432000 4194304 4196468 140727790193664 139706805664368 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=359] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/359/stat : 359 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 26840 33554432000 4194304 4196468 140727790193664 139705555347936 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=360] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/360/stat : 360 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 26840 33554432000 4194304 4196468 140727790193664 139706804611760 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108496 KiB

[startup+0.210446 s]*
/proc/loadavg: 1.20 1.24 1.38 2/210 360
/proc/meminfo: memFree=25078772/32770624 swapFree=66999716/67108860
[pid=336] ppid=333 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/336/stat : 336 (scop.sh) S 333 336 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509975572 115843072 349 33554432000 4194304 5098028 140735986485840 140735986483096 139857334268540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38760448 140735986492196 140735986492524 140735986492524 140735986495437 0
/proc/336/statm: 28282 349 296 221 0 87 0
[pid=341] ppid=336 vsize=27314120 memory=126668 CPUtime=0.24 cores=0-7
/proc/341/stat : 341 (java) S 336 336 31481 0 -1 1077944320 12391 0 0 0 20 4 0 0 20 0 20 0 509975572 27969658880 31667 33554432000 4194304 4196468 140727790193664 140727790176208 139708758138615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
/proc/341/statm: 6828530 31667 2984 1 0 6790935 0
[pid=341/tid=342] ppid=336 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/341/task/342/stat : 342 (java) R 336 336 31481 0 -1 4202560 10124 0 0 0 16 3 0 0 20 0 20 0 509975572 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708729952048 139708739703577 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=343] ppid=336 vsize=27314120 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/341/task/343/stat : 343 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708762380816 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=344] ppid=336 vsize=27314120 memory=140336354362993 CPUtime=0 cores=0-7
/proc/341/task/344/stat : 344 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708576537232 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=345] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/345/stat : 345 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708179577104 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=346] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/346/stat : 346 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708178524560 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=347] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/347/stat : 347 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708177472528 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=348] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/348/stat : 348 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708176419984 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=349] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/349/stat : 349 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708175366928 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=350] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/350/stat : 350 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 31667 33554432000 4194304 4196468 140727790193664 139708174314384 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=351] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/351/stat : 351 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975576 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706809874672 139708758149762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=352] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/352/stat : 352 (java) S 336 336 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509975577 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706696197280 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=353] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/353/stat : 353 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975577 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706427761392 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=354] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/354/stat : 354 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706053253072 139708758157211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=355] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/355/stat : 355 (java) S 336 336 31481 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706808822512 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=356] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/356/stat : 356 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706807769968 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=357] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/357/stat : 357 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706806716912 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=358] ppid=336 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/341/task/358/stat : 358 (java) S 336 336 31481 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 20 0 509975580 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706805664368 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=359] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/359/stat : 359 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 31667 33554432000 4194304 4196468 140727790193664 139705555347936 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=360] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/360/stat : 360 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 31667 33554432000 4194304 4196468 140727790193664 139706804611760 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128064 KiB

[startup+0.31027 s]*
/proc/loadavg: 1.20 1.24 1.38 2/210 360
/proc/meminfo: memFree=25076228/32770624 swapFree=66999716/67108860
[pid=336] ppid=333 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/336/stat : 336 (scop.sh) S 333 336 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509975572 115843072 349 33554432000 4194304 5098028 140735986485840 140735986483096 139857334268540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38760448 140735986492196 140735986492524 140735986492524 140735986495437 0
/proc/336/statm: 28282 349 296 221 0 87 0
[pid=341] ppid=336 vsize=27314120 memory=130080 CPUtime=0.41 cores=0-7
/proc/341/stat : 341 (java) S 336 336 31481 0 -1 1077944320 13363 0 0 0 37 4 0 0 20 0 20 0 509975572 27969658880 32520 33554432000 4194304 4196468 140727790193664 140727790176208 139708758138615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
/proc/341/statm: 6828530 32520 3038 1 0 6790935 0
[pid=341/tid=342] ppid=336 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/341/task/342/stat : 342 (java) R 336 336 31481 0 -1 4202560 10925 0 0 0 26 3 0 0 20 0 20 0 509975572 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708729921632 139708758160541 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=343] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/343/stat : 343 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708762380816 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=344] ppid=336 vsize=27314120 memory=140336354334337 CPUtime=0 cores=0-7
/proc/341/task/344/stat : 344 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708576537232 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=345] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/345/stat : 345 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708179577104 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=346] ppid=336 vsize=27314120 memory=2240 CPUtime=0 cores=0-7
/proc/341/task/346/stat : 346 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708178524560 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=347] ppid=336 vsize=27314120 memory=2241 CPUtime=0 cores=0-7
/proc/341/task/347/stat : 347 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708177472528 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=348] ppid=336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/341/task/348/stat : 348 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708176419984 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=349] ppid=336 vsize=27314120 memory=280672489119264 CPUtime=0 cores=0-7
/proc/341/task/349/stat : 349 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708175366928 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=350] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/350/stat : 350 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27969658880 32520 33554432000 4194304 4196468 140727790193664 139708174314384 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=351] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/351/stat : 351 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975576 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706809874672 139708758149762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=352] ppid=336 vsize=27314120 memory=301 CPUtime=0 cores=0-7
/proc/341/task/352/stat : 352 (java) S 336 336 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509975577 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706696197280 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=353] ppid=336 vsize=27314120 memory=336 CPUtime=0 cores=0-7
/proc/341/task/353/stat : 353 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975577 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706427761392 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=354] ppid=336 vsize=27314120 memory=282004 CPUtime=0 cores=0-7
/proc/341/task/354/stat : 354 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706053253072 139708758157211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=355] ppid=336 vsize=27314120 memory=1 CPUtime=0.01 cores=0-7
/proc/341/task/355/stat : 355 (java) S 336 336 31481 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 509975580 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706808822512 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=356] ppid=336 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/341/task/356/stat : 356 (java) R 336 336 31481 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 20 0 509975580 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706807769968 139708751123657 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=357] ppid=336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/341/task/357/stat : 357 (java) S 336 336 31481 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706806716912 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=358] ppid=336 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/341/task/358/stat : 358 (java) R 336 336 31481 0 -1 1077944384 480 0 0 0 7 0 0 0 20 0 20 0 509975580 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706805664368 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=359] ppid=336 vsize=27314120 memory=2319690396985663536 CPUtime=0 cores=0-7
/proc/341/task/359/stat : 359 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 32520 33554432000 4194304 4196468 140727790193664 139705555347936 139708758148821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=360] ppid=336 vsize=27314120 memory=4122824664003129644 CPUtime=0 cores=0-7
/proc/341/task/360/stat : 360 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975580 27969658880 32520 33554432000 4194304 4196468 140727790193664 139706804611760 139708758149762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131476 KiB

[startup+0.705438 s]
/proc/loadavg: 1.20 1.24 1.38 2/210 360
/proc/meminfo: memFree=25055396/32770624 swapFree=66999716/67108860
[pid=336] ppid=333 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/336/stat : 336 (scop.sh) S 333 336 31481 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509975572 115843072 349 33554432000 4194304 5098028 140735986485840 140735986483096 139857334268540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38760448 140735986492196 140735986492524 140735986492524 140735986495437 0
/proc/336/statm: 28282 349 296 221 0 87 0
[pid=341] ppid=336 vsize=27320392 memory=167020 CPUtime=1.01 cores=0-7
/proc/341/stat : 341 (java) S 336 336 31481 0 -1 1077944320 20379 0 0 0 94 7 0 0 20 0 20 0 509975572 27976081408 41755 33554432000 4194304 4196468 140727790193664 140727790176208 139708758138615 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
/proc/341/statm: 6830098 41755 3182 1 0 6791447 0
[pid=341/tid=342] ppid=336 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/341/task/342/stat : 342 (java) R 336 336 31481 0 -1 1077944384 17352 0 0 0 62 6 0 0 20 0 20 0 509975572 27976081408 41755 33554432000 4194304 4196468 140727790193664 139708729973920 139708758148821 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=343] ppid=336 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/341/task/343/stat : 343 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509975575 27976081408 41755 33554432000 4194304 4196468 140727790193664 139708762380816 139708758148821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=344] ppid=336 vsize=27320392 memory=4580 CPUtime=0 cores=0-7
/proc/341/task/344/stat : 344 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27976081408 41755 33554432000 4194304 4196468 140727790193664 139708576537232 139708758148821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0
[pid=341/tid=345] ppid=336 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/341/task/345/stat : 345 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509975575 27976081408 41755 33554432000 4194304 4196468 140727790193664 139708179577104 139708758148821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727790199532 140727790199958 140727790199958 140727790202831 0

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

[pid=472/tid=480] ppid=336 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/472/task/480/stat : 480 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684988574096 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=481] ppid=336 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/472/task/481/stat : 481 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684987521296 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=482] ppid=336 vsize=8414124 memory=3416 CPUtime=0 cores=0-7
/proc/472/task/482/stat : 482 (java) S 336 336 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510088042 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684333919088 140685508844162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=483] ppid=336 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/472/task/483/stat : 483 (java) S 336 336 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510088042 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684136801824 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=484] ppid=336 vsize=8414124 memory=6947385649911455296 CPUtime=0 cores=0-7
/proc/472/task/484/stat : 484 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088043 8616062976 31095 33554432000 4194304 4196468 140735325386144 140683868366192 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=485] ppid=336 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/472/task/485/stat : 485 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140683493857616 140685508851611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=486] ppid=336 vsize=8414124 memory=1376 CPUtime=0.12 cores=0-7
/proc/472/task/486/stat : 486 (java) S 336 336 31481 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684332865904 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=487] ppid=336 vsize=8414124 memory=1128 CPUtime=0.16 cores=0-7
/proc/472/task/487/stat : 487 (java) S 336 336 31481 0 -1 1077944384 596 0 0 0 16 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684331813104 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=489] ppid=336 vsize=8414124 memory=4872558044660077418 CPUtime=0.11 cores=0-7
/proc/472/task/489/stat : 489 (java) S 336 336 31481 0 -1 1077944384 457 0 0 0 11 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684330760304 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=490] ppid=336 vsize=8414124 memory=1804 CPUtime=0.23 cores=0-7
/proc/472/task/490/stat : 490 (java) S 336 336 31481 0 -1 1077944384 754 0 0 0 23 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684329707504 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=491] ppid=336 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/472/task/491/stat : 491 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682995952736 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=492] ppid=336 vsize=8414124 memory=4140 CPUtime=0 cores=0-7
/proc/472/task/492/stat : 492 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684328655920 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=494] ppid=336 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/472/task/494/stat : 494 (java) S 336 336 31481 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684320622144 140685508857625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=496] ppid=336 vsize=8414124 memory=17213152 CPUtime=0 cores=0-7
/proc/472/task/496/stat : 496 (java) S 336 336 31481 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682324852400 140685508854941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=497] ppid=336 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/472/task/497/stat : 497 (java) S 336 336 31481 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682593287728 140685508854941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=498] ppid=336 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/472/task/498/stat : 498 (java) S 336 336 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510088121 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682056424496 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
Current children cumulated CPU time: 1307.54 s
Current children cumulated vsize: 8703388 KiB
Current children cumulated memory: 271904 KiB

[startup+1126.6 s]
/proc/loadavg: 1.54 1.17 1.24 2/215 498
/proc/meminfo: memFree=24992184/32770624 swapFree=66999716/67108860
[pid=336] ppid=333 vsize=113128 memory=1476 CPUtime=1305.14 cores=0-7
/proc/336/stat : 336 (scop.sh) S 333 336 31481 0 -1 4202496 583 332164 0 0 0 0 127188 3326 20 0 1 0 509975572 115843072 369 33554432000 4194304 5098028 140735986485840 140735986482584 139857334268540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38760448 140735986492196 140735986492524 140735986492524 140735986495437 0
/proc/336/statm: 28282 369 311 221 0 87 0
[pid=472] ppid=336 vsize=8414124 memory=124380 CPUtime=1.48 cores=0-7
/proc/472/stat : 472 (java) S 336 336 31481 0 -1 1077944320 21589 0 0 0 140 8 0 0 20 0 24 0 510088038 8616062976 31095 33554432000 4194304 4196468 140735325386144 140735325368688 140685508833015 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
/proc/472/statm: 2103531 31095 3204 1 0 2064875 0
[pid=493] ppid=472 vsize=387816 memory=351376 CPUtime=1.13 cores=0-7
/proc/493/stat : 493 (manyglucose-4.1) R 472 336 31481 0 -1 4202496 69737 0 0 0 102 11 0 0 20 0 1 0 510088119 397123584 87778 33554432000 4194304 4454172 140736528238528 140736528235624 4370421 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 28737536 140736528245611 140736528245808 140736528245808 140736528248762 0
/proc/493/statm: 96954 87844 378 64 0 92622 0
[pid=472/tid=473] ppid=336 vsize=8414124 memory=1548 CPUtime=0.82 cores=0-7
/proc/472/task/473/stat : 473 (java) S 336 336 31481 0 -1 1077944384 17511 0 0 0 76 6 0 0 20 0 24 0 510088039 8616062976 31095 33554432000 4194304 4196468 140735325386144 140685480673184 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=474] ppid=336 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/472/task/474/stat : 474 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510088040 8616062976 31095 33554432000 4194304 4196468 140735325386144 140685513075856 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=475] ppid=336 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/472/task/475/stat : 475 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140685346454544 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=476] ppid=336 vsize=8414124 memory=17211888 CPUtime=0 cores=0-7
/proc/472/task/476/stat : 476 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684992785296 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=477] ppid=336 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/472/task/477/stat : 477 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684991732496 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=478] ppid=336 vsize=8414124 memory=9588 CPUtime=0 cores=0-7
/proc/472/task/478/stat : 478 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684990679696 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=479] ppid=336 vsize=8414124 memory=6947385649911455296 CPUtime=0 cores=0-7
/proc/472/task/479/stat : 479 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684989626896 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=480] ppid=336 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/472/task/480/stat : 480 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684988574096 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=481] ppid=336 vsize=8414124 memory=15818893654492756 CPUtime=0 cores=0-7
/proc/472/task/481/stat : 481 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684987521296 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=482] ppid=336 vsize=8414124 memory=3416 CPUtime=0 cores=0-7
/proc/472/task/482/stat : 482 (java) S 336 336 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510088042 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684333919088 140685508844162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=483] ppid=336 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/472/task/483/stat : 483 (java) S 336 336 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510088042 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684136801824 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=484] ppid=336 vsize=8414124 memory=1376 CPUtime=0 cores=0-7
/proc/472/task/484/stat : 484 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088043 8616062976 31095 33554432000 4194304 4196468 140735325386144 140683868366192 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=485] ppid=336 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/472/task/485/stat : 485 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140683493857616 140685508851611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=486] ppid=336 vsize=8414124 memory=772 CPUtime=0.12 cores=0-7
/proc/472/task/486/stat : 486 (java) S 336 336 31481 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684332865904 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=487] ppid=336 vsize=8414124 memory=3648 CPUtime=0.16 cores=0-7
/proc/472/task/487/stat : 487 (java) S 336 336 31481 0 -1 1077944384 596 0 0 0 16 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684331813104 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=489] ppid=336 vsize=8414124 memory=948 CPUtime=0.11 cores=0-7
/proc/472/task/489/stat : 489 (java) S 336 336 31481 0 -1 1077944384 457 0 0 0 11 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684330760304 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=490] ppid=336 vsize=8414124 memory=84048 CPUtime=0.23 cores=0-7
/proc/472/task/490/stat : 490 (java) S 336 336 31481 0 -1 1077944384 754 0 0 0 23 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684329707504 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=491] ppid=336 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/472/task/491/stat : 491 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682995952736 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=492] ppid=336 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/472/task/492/stat : 492 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684328655920 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=494] ppid=336 vsize=8414124 memory=3416 CPUtime=0 cores=0-7
/proc/472/task/494/stat : 494 (java) S 336 336 31481 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684320622144 140685508857625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=496] ppid=336 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/472/task/496/stat : 496 (java) S 336 336 31481 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682324852400 140685508854941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=497] ppid=336 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/472/task/497/stat : 497 (java) S 336 336 31481 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682593287728 140685508854941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=498] ppid=336 vsize=8414124 memory=3834032450309482409 CPUtime=0 cores=0-7
/proc/472/task/498/stat : 498 (java) S 336 336 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510088121 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682056424496 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
Current children cumulated CPU time: 1307.75 s
Current children cumulated vsize: 8915068 KiB
Current children cumulated memory: 477232 KiB

[startup+1126.7 s]
/proc/loadavg: 1.54 1.17 1.24 2/215 498
/proc/meminfo: memFree=24992184/32770624 swapFree=66999716/67108860
[pid=336] ppid=333 vsize=113128 memory=1476 CPUtime=1305.14 cores=0-7
/proc/336/stat : 336 (scop.sh) S 333 336 31481 0 -1 4202496 583 332164 0 0 0 0 127188 3326 20 0 1 0 509975572 115843072 369 33554432000 4194304 5098028 140735986485840 140735986482584 139857334268540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38760448 140735986492196 140735986492524 140735986492524 140735986495437 0
/proc/336/statm: 28282 369 311 221 0 87 0
[pid=472] ppid=336 vsize=8414124 memory=124380 CPUtime=1.48 cores=0-7
/proc/472/stat : 472 (java) S 336 336 31481 0 -1 1077944320 21589 0 0 0 140 8 0 0 20 0 24 0 510088038 8616062976 31095 33554432000 4194304 4196468 140735325386144 140735325368688 140685508833015 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
/proc/472/statm: 2103531 31095 3204 1 0 2064875 0
[pid=493] ppid=472 vsize=468904 memory=438736 CPUtime=1.22 cores=0-7
/proc/493/stat : 493 (manyglucose-4.1) R 472 336 31481 0 -1 4202496 85499 0 0 0 109 13 0 0 20 0 1 0 510088119 480157696 109684 33554432000 4194304 4454172 140736528238528 140736528235624 140169057106917 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 28737536 140736528245611 140736528245808 140736528245808 140736528248762 0
/proc/493/statm: 117226 109684 378 64 0 112894 0
[pid=472/tid=473] ppid=336 vsize=8414124 memory=17080816 CPUtime=0.82 cores=0-7
/proc/472/task/473/stat : 473 (java) S 336 336 31481 0 -1 1077944384 17511 0 0 0 76 6 0 0 20 0 24 0 510088039 8616062976 31095 33554432000 4194304 4196468 140735325386144 140685480673184 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=474] ppid=336 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/472/task/474/stat : 474 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510088040 8616062976 31095 33554432000 4194304 4196468 140735325386144 140685513075856 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=475] ppid=336 vsize=8414124 memory=3416 CPUtime=0 cores=0-7
/proc/472/task/475/stat : 475 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140685346454544 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=476] ppid=336 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/472/task/476/stat : 476 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684992785296 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=477] ppid=336 vsize=8414124 memory=7163046007325353842 CPUtime=0 cores=0-7
/proc/472/task/477/stat : 477 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684991732496 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=478] ppid=336 vsize=8414124 memory=253592 CPUtime=0 cores=0-7
/proc/472/task/478/stat : 478 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684990679696 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=479] ppid=336 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/472/task/479/stat : 479 (java) S 336 336 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684989626896 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=480] ppid=336 vsize=8414124 memory=280672491245856 CPUtime=0 cores=0-7
/proc/472/task/480/stat : 480 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684988574096 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=481] ppid=336 vsize=8414124 memory=7105646019604397152 CPUtime=0 cores=0-7
/proc/472/task/481/stat : 481 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088041 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684987521296 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=482] ppid=336 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/472/task/482/stat : 482 (java) S 336 336 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510088042 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684333919088 140685508844162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=483] ppid=336 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/472/task/483/stat : 483 (java) S 336 336 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510088042 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684136801824 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=484] ppid=336 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/472/task/484/stat : 484 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088043 8616062976 31095 33554432000 4194304 4196468 140735325386144 140683868366192 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=485] ppid=336 vsize=8414124 memory=6364543215515156576 CPUtime=0 cores=0-7
/proc/472/task/485/stat : 485 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140683493857616 140685508851611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=486] ppid=336 vsize=8414124 memory=628 CPUtime=0.12 cores=0-7
/proc/472/task/486/stat : 486 (java) S 336 336 31481 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684332865904 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=487] ppid=336 vsize=8414124 memory=1056 CPUtime=0.16 cores=0-7
/proc/472/task/487/stat : 487 (java) S 336 336 31481 0 -1 1077944384 596 0 0 0 16 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684331813104 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=489] ppid=336 vsize=8414124 memory=280672491566208 CPUtime=0.11 cores=0-7
/proc/472/task/489/stat : 489 (java) S 336 336 31481 0 -1 1077944384 457 0 0 0 11 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684330760304 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=490] ppid=336 vsize=8414124 memory=7595440001688102255 CPUtime=0.23 cores=0-7
/proc/472/task/490/stat : 490 (java) S 336 336 31481 0 -1 1077944384 754 0 0 0 23 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684329707504 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=491] ppid=336 vsize=8414124 memory=16939504 CPUtime=0 cores=0-7
/proc/472/task/491/stat : 491 (java) S 336 336 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682995952736 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=492] ppid=336 vsize=8414124 memory=16939504 CPUtime=0 cores=0-7
/proc/472/task/492/stat : 492 (java) S 336 336 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510088046 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684328655920 140685508844162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=494] ppid=336 vsize=8414124 memory=53304 CPUtime=0 cores=0-7
/proc/472/task/494/stat : 494 (java) S 336 336 31481 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140684320622144 140685508857625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=496] ppid=336 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/472/task/496/stat : 496 (java) S 336 336 31481 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682324852400 140685508854941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=497] ppid=336 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/472/task/497/stat : 497 (java) S 336 336 31481 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510088119 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682593287728 140685508854941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
[pid=472/tid=498] ppid=336 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/472/task/498/stat : 498 (java) S 336 336 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510088121 8616062976 31095 33554432000 4194304 4196468 140735325386144 140682056424496 140685508843221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21204992 140735325393913 140735325394070 140735325394070 140735325396943 0
Current children cumulated CPU time: 1307.84 s
Current children cumulated vsize: 8996156 KiB
Current children cumulated memory: 564592 KiB

Child status: 0
Real time (s): 1126.77
CPU time (s): 1308.07
CPU user time (s): 1274.53
CPU system time (s): 33.537
CPU usage (%): 116.09
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 17289332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1274.53
system time used= 33.537
maximum resident set size= 17288576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44050
involuntary context switches= 2493


# summary of solver processes directly reported to runsolver:
#   pid: 336
#   total CPU time (s): 1308.07
#   total CPU user time (s): 1274.53
#   total CPU system time (s): 33.537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9266 second user time and 8.48607 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-24 15:58:52
IDJOB=4405632
IDBENCH=126919
IDSOLVER=2868
FILE ID=node106/4405632-1569337214
RUNJOBID= node106-1569332296-31508
PBS_JOBID= 21705069
Free space on /tmp= 23408 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405632-1569337214/watcher-4405632-1569337214 -o /tmp/evaluation-result-4405632-1569337214/solver-4405632-1569337214 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405632-1569337214.xml

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

MD5SUM BENCH= 281fe5e81d871c4f2ceaf1755ecf4117
RANDOM SEED=1515817887

node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25197916 kB
MemAvailable:   31847452 kB
Buffers:           86916 kB
Cached:          6734116 kB
SwapCached:         4584 kB
Active:          3443688 kB
Inactive:        3385764 kB
Active(anon):       2896 kB
Inactive(anon):    57724 kB
Active(file):    3440792 kB
Inactive(file):  3328040 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999716 kB
Dirty:             59708 kB
Writeback:             0 kB
AnonPages:        112192 kB
Mapped:            54204 kB
Shmem:             43672 kB
Slab:             338364 kB
SReclaimable:     309164 kB
SUnreclaim:        29200 kB
KernelStack:        3312 kB
PageTables:         5148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 23384 MiB
End job on node106 at 2019-09-24 16:17:39