Trace number 4405174

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCrossword/
Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-16-16.xml
MD5SUM4f70966c99dd40579db6abd1a80acf5b
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 benchmark0.088318
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints32
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":256}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":256}]
Minimum constraint arity16
Maximum constraint arity16
Distribution of constraint arities[{"arity":16,"count":32}]
Number of extensional constraints32
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":32}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9854-serial-file.bin HOME/instance-4405174-1569362732.xml
0.65/0.55	
0.65/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.57	c BEGIN-Prog: Wed Sep 25 00:04:55 CEST 2019
0.65/0.57	c PID: 9857
0.65/0.57	c IP: 172.20.3.126
0.65/0.57	c HOST: node126.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.59/1.00	c (0,0) Parsing End
1.97/1.01	c (0,0) CSP: 256 int (0 aux), 0 bool (0 aux), 32 ctr, max domain size 26
1.97/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.97/1.01	c (0,0) Constraint Name Generate Begin
1.97/1.01	c (0,0) Ctr:HOME/instance-4405174-1569362732.xml,ExtensionSupport:Var
1.97/1.01	c (0,0) Constraint Name Generate End
1.97/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.97/1.01	c (0,0) CSP to CSPinCNF Begin
18.89/10.57	c (10,10) translated 4 (10%) constraints
28.35/17.85	c (17,17) translated 7 (20%) constraints
35.06/24.52	c (23,23) translated 10 (30%) constraints
45.08/31.59	c (31,30) translated 13 (40%) constraints
51.81/38.29	c (37,37) translated 16 (50%) constraints
67.25/49.36	c (48,47) translated 20 (60%) constraints
73.98/56.03	c (55,54) translated 23 (70%) constraints
86.13/64.36	c (63,61) translated 26 (80%) constraints
99.55/72.45	c (71,69) translated 29 (90%) constraints
107.14/79.71	c (79,76) translated 32 (100%) constraints
107.26/79.89	c (79,76) ===========================================
107.36/79.92	c (79,76) Order
107.36/79.92	c (79,76) ===========================================
110.81/82.82	c (82,79) translated 147333 (10%) constraints
120.02/86.50	c (85,82) translated 294665 (20%) constraints
122.89/89.40	c (88,85) translated 441997 (30%) constraints
125.79/92.28	c (91,88) translated 589330 (40%) constraints
128.70/95.15	c (94,91) translated 736662 (50%) constraints
131.60/98.01	c (97,94) translated 883994 (60%) constraints
134.39/100.90	c (100,96) translated 1031327 (70%) constraints
143.53/104.54	c (103,99) translated 1178659 (80%) constraints
146.33/107.38	c (106,102) translated 1325991 (90%) constraints
149.32/110.21	c (109,105) translated 1473323 (100%) constraints
149.32/110.21	c (109,105) CSP to CSPinCNF End
149.46/110.30	c (109,105) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1473323 ctr, max domain size 26
149.46/110.30	c (109,105) Heap : 3457 MiB used (max 21003 MiB), NonHeap : 26 MiB used (max 0 MiB)
149.46/110.30	c (109,105) CSPinCNF Propagation Begin
164.44/119.59	c (119,114) 1250 values, 5796 unsatisfiable literals, and 7277 valid clauses are removed
164.44/119.59	c (119,114) CSPinCNF Propagation End
164.55/119.68	c (119,114) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
164.55/119.68	c (119,114) Heap : 6026 MiB used (max 20921 MiB), NonHeap : 27 MiB used (max 0 MiB)
164.66/119.70	c (119,114) Simplify CSPinCNF Begin
174.25/122.92	c (122,116) Simplify CSPinCNF End
174.35/123.01	c (122,116) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
174.35/123.01	c (122,116) Heap : 3216 MiB used (max 20967 MiB), NonHeap : 27 MiB used (max 0 MiB)
174.35/123.01	c (122,116) Calculate Precise Domain Begin
174.35/123.01	c (122,116) 0 values are removed by re-calculation
174.35/123.01	c (122,116) Calculate Precise Domain End
174.35/123.09	c (122,116) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
174.35/123.09	c (122,116) Heap : 3216 MiB used (max 20967 MiB), NonHeap : 27 MiB used (max 0 MiB)
174.35/123.09	c (122,116) CSPinCNF to SatSolver Begin
177.57/124.97	c (124,118) 146605 (10 %) CSP clauses are encoded (0 SAT variables, 151559 SAT clauses)
178.82/126.15	c (125,119) 293210 (20 %) CSP clauses are encoded (0 SAT variables, 298164 SAT clauses)
184.85/127.93	c (127,120) 439814 (30 %) CSP clauses are encoded (0 SAT variables, 444768 SAT clauses)
186.06/129.12	c (128,122) 586419 (40 %) CSP clauses are encoded (0 SAT variables, 591373 SAT clauses)
187.26/130.31	c (129,123) 733023 (50 %) CSP clauses are encoded (0 SAT variables, 737977 SAT clauses)
188.45/131.50	c (130,124) 879628 (60 %) CSP clauses are encoded (0 SAT variables, 884582 SAT clauses)
193.61/133.20	c (132,125) 1026233 (70 %) CSP clauses are encoded (0 SAT variables, 1031187 SAT clauses)
194.80/134.37	c (133,126) 1172837 (80 %) CSP clauses are encoded (0 SAT variables, 1177791 SAT clauses)
196.00/135.55	c (135,128) 1319442 (90 %) CSP clauses are encoded (0 SAT variables, 1324396 SAT clauses)
197.20/136.72	c (136,129) 1466046 (100 %) CSP clauses are encoded (0 SAT variables, 1471000 SAT clauses)
197.20/136.72	c (136,129) CSPinCNF to SatSolver End
197.20/136.72	c (136,129) Heap : 5385 MiB used (max 20025 MiB), NonHeap : 29 MiB used (max 0 MiB)
197.20/136.72	c (136,129) 268219 bool, 1471001 clause
197.20/136.72	c (136,129) Export Begin
197.35/136.86	c (136,129) Export to HOME/scop-9854-serial-file.bin
197.35/136.86	c (136,129) Export End
197.35/136.86	c (136,129) Export File Size: 0.15 MB
197.35/136.86	c (136,129) 0,0,109,119,122,122,136,STOP-AFTER(DIMACS)
197.35/136.86	c END-Prog: Wed Sep 25 00:07:11 CEST 2019
0.00/136.92	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9854-serial-file.bin
198.08/137.39	c (0,0) Read Serial File Begin
198.08/137.39	c (0,0) HOME/scop-9854-serial-file.bin
198.51/137.66	c (0,0) Read Serial File End
198.51/137.67	
198.51/137.67	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
198.51/137.67	(Solving Process)
198.51/137.67	
198.51/137.70	c BEGIN-Prog: Wed Sep 25 00:07:12 CEST 2019
198.51/137.70	c PID: 9886
198.51/137.70	c IP: 172.20.3.126
198.76/137.70	c HOST: node126.alineos.net
198.76/137.70	c (0,0) SatSolver.solve Begin
198.76/137.70	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405174-1569362732.xml-scop-9857.cnf
198.76/137.73	c (0,0) c
198.76/137.73	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)
198.76/137.73	c (0,0) c
198.76/137.73	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
198.76/137.73	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
198.76/137.73	c (0,0) c ========================================[ Problem Statistics ]===========================================
198.76/137.73	c (0,0) c |                                                                                                       |
199.51/138.34	c (1,0) c |  Number of variables:        268219                                                                   |
199.51/138.34	c (1,0) c |  Number of clauses:         1463462                                                                   |
199.51/138.34	c (1,0) c |  Parse time:                   0.55 s                                                                 |
199.51/138.34	c (1,0) c |                                                                                                       |
202.11/140.93	c (3,0) c |  Simplification time:          2.54 s                                                                 |
202.11/140.93	c (3,0) c |                                                                                                       |
202.11/140.93	c (3,0) c |  Generating clones                                                                                    |
202.91/141.74	c (4,0) c |  all clones generated. Memory =  1083.89Mb.                                                           |
202.91/141.74	c (4,0) c ========================================================================================================|
202.91/141.74	c (4,0) c
202.91/141.74	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
202.91/141.74	c (4,0) c
202.91/141.74	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
202.91/141.74	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
202.91/141.74	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
202.91/141.74	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
202.91/141.74	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
202.91/141.74	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
202.91/141.74	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
202.91/141.74	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
202.91/141.74	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
202.91/141.74	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
202.91/141.74	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
202.91/141.74	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
202.91/141.74	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
202.91/141.74	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
202.91/141.74	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
202.91/141.74	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
202.91/141.74	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
202.91/141.74	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
202.91/141.74	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.81	c (7,0) c
224.76/144.81	c (7,0) c real time : 7.08229 s
224.76/144.81	c (7,0) c cpu time  : 24.6922 s
224.76/144.81	c (7,0) c
224.76/144.81	c (7,0) c
224.76/144.81	c (7,0) c
224.76/144.81	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
224.76/144.81	c (7,0) c
224.76/144.81	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.81	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
224.76/144.81	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.81	c (7,0) c | Conflicts     |           22737 |       2856 |       2452 |       3389 |       2846 |       2779 |       2442 |       3076 |       2897 |
224.76/144.81	c (7,0) c | Decisions     |           71370 |       7089 |       9141 |      11905 |       7246 |       8963 |       8464 |      10285 |       8277 |
224.76/144.81	c (7,0) c | Propagations  |        55679182 |    6865493 |    7385289 |    7895098 |    7525417 |    6413330 |    6401116 |    6253794 |    6939645 |
224.76/144.81	c (7,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
224.76/144.81	c (7,0) c | SimpDBs       |              18 |          2 |          2 |          3 |          3 |          2 |          2 |          2 |          2 |
224.76/144.81	c (7,0) c | Restarts      |              63 |          7 |          5 |         15 |          4 |          9 |          6 |         12 |          5 |
224.76/144.81	c (7,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c | PropBinClauses|        92842810 |   12089267 |   11082449 |   12775986 |   11896514 |   11201959 |   11061764 |   11092745 |   11642126 |
224.76/144.81	c (7,0) c | PropPreBlocker|        99346949 |   13032849 |   11040662 |   14245562 |   12166330 |   11794275 |   12107640 |   12068830 |   12890801 |
224.76/144.81	c (7,0) c | PropNotBlocker|        41918863 |    5507999 |    4876457 |    5878204 |    5153031 |    5194458 |    4592448 |    5169393 |    5546873 |
224.76/144.81	c (7,0) c | LitFullScans  |       306339596 |   38282380 |   36045924 |   44616738 |   40793041 |   36097334 |   36025557 |   36054569 |   38424053 |
224.76/144.81	c (7,0) c | LitScanFracts |           67355 |      17939 |      10333 |        554 |      13879 |      23003 |        390 |        688 |        569 |
224.76/144.81	c (7,0) c | DecisionLevel0|             131 |         14 |         16 |         30 |         13 |         16 |         15 |         16 |         11 |
224.76/144.81	c (7,0) c | Periods       |              49 |          6 |          6 |          7 |          6 |          6 |          6 |          6 |          6 |
224.76/144.81	c (7,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
224.76/144.81	c (7,0) c | Avg_Trail     |                 |      20220 |      23035 |      21698 |      24513 |      21134 |      22137 |      20568 |      21609 |
224.76/144.81	c (7,0) c | Avg_DL        |                 |         19 |         35 |         27 |         33 |         24 |         27 |         19 |         20 |
224.76/144.81	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.81	c (7,0) c | Exported      |            4677 |        609 |        480 |        780 |        480 |        589 |        495 |        704 |        540 |
224.76/144.81	c (7,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
224.76/144.81	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.81	c (7,0) c | Unaries       |                 |          7 |         11 |         15 |          9 |          7 |          9 |          4 |          6 |
224.76/144.81	c (7,0) c | Binaries      |                 |        421 |        304 |        494 |        288 |        392 |        323 |        473 |        323 |
224.76/144.81	c (7,0) c | Glues         |                 |        609 |        480 |        780 |        480 |        589 |        495 |        704 |        540 |
224.76/144.81	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.81	c (7,0) c | Orig_Seen     |             7 % |      59651 |      74016 |      65775 |      51367 |      59606 |      61246 |      52402 |      70952 |
224.76/144.81	c (7,0) c | Diff Orig seen|                 |       8284 |      22649 |      14408 |      X     |       8239 |       9879 |       1035 |      19585 |
224.76/144.81	c (7,0) c | Hamming       |             0 % |       1999 |       2103 |       2224 |      X     |       2010 |       2313 |       1871 |       1983 |
224.76/144.81	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.81	c (7,0) c | RunningTime   |                 |    2.7 100%|    3.1 100%|    2.8 100%|    2.7 100%|    2.8 100%|    2.7 100%|    2.7 100%|    2.7 100%|
224.76/144.81	c (7,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%|
224.76/144.81	c (7,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%|
224.76/144.81	c (7,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%|
224.76/144.81	c (7,0) c | SolvingTime   |                 |    2.7     |    3.1     |    2.8     |    2.7     |    2.8     |    2.7     |    2.7     |    2.7     |
224.76/144.81	c (7,0) c | PropagationTim|                 |    2.4  90%|    2.8  90%|    2.4  88%|    2.3  87%|    2.5  89%|    2.4  89%|    2.4  89%|    2.4  88%|
224.76/144.81	c (7,0) c | AnalysisTime  |                 |    0.1   4%|    0.1   5%|    0.1   5%|    0.1   5%|    0.1   4%|    0.1   5%|    0.1   5%|    0.1   5%|
224.76/144.81	c (7,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%|
224.76/144.81	c (7,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   1%|    0.1   2%|    0.1   2%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
224.76/144.81	c (7,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%|
224.76/144.81	c (7,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%|
224.76/144.81	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.81	c (7,0) c
224.76/144.81	c (7,0) c
224.76/144.81	c (7,0) c Threads : 8
224.76/144.81	c (7,0) c Winner : 3
224.76/144.81	c (7,0) c Conflicts_0 : 2856
224.76/144.81	c (7,0) c Conflicts_1 : 2452
224.76/144.81	c (7,0) c Conflicts_2 : 3389
224.76/144.81	c (7,0) c Conflicts_3 : 2846
224.76/144.81	c (7,0) c Conflicts_4 : 2779
224.76/144.81	c (7,0) c Conflicts_5 : 2442
224.76/144.81	c (7,0) c Conflicts_6 : 3076
224.76/144.81	c (7,0) c Conflicts_7 : 2897
224.76/144.81	c (7,0) c Conflicts_total : 22737
224.76/144.81	c (7,0) c Conflicts_winner : 2846
224.76/144.81	c (7,0) c Decisions_0 : 7089
224.76/144.81	c (7,0) c Decisions_1 : 9141
224.76/144.81	c (7,0) c Decisions_2 : 11905
224.76/144.81	c (7,0) c Decisions_3 : 7246
224.76/144.81	c (7,0) c Decisions_4 : 8963
224.76/144.81	c (7,0) c Decisions_5 : 8464
224.76/144.81	c (7,0) c Decisions_6 : 10285
224.76/144.81	c (7,0) c Decisions_7 : 8277
224.76/144.81	c (7,0) c Decisions_total : 71370
224.76/144.81	c (7,0) c Decisions_winner : 7246
224.76/144.81	c (7,0) c Propagations_0 : 6865493
224.76/144.81	c (7,0) c Propagations_1 : 7385289
224.76/144.81	c (7,0) c Propagations_2 : 7895098
224.76/144.81	c (7,0) c Propagations_3 : 7525417
224.76/144.81	c (7,0) c Propagations_4 : 6413330
224.76/144.81	c (7,0) c Propagations_5 : 6401116
224.76/144.81	c (7,0) c Propagations_6 : 6253794
224.76/144.81	c (7,0) c Propagations_7 : 6939645
224.76/144.81	c (7,0) c Propagations_total : 55679182
224.76/144.81	c (7,0) c Propagations_winner : 7525417
224.76/144.81	c (7,0) c ReduceDBs_0 : 1
224.76/144.81	c (7,0) c ReduceDBs_1 : 1
224.76/144.81	c (7,0) c ReduceDBs_2 : 1
224.76/144.81	c (7,0) c ReduceDBs_3 : 1
224.76/144.81	c (7,0) c ReduceDBs_4 : 1
224.76/144.81	c (7,0) c ReduceDBs_5 : 1
224.76/144.81	c (7,0) c ReduceDBs_6 : 1
224.76/144.81	c (7,0) c ReduceDBs_7 : 1
224.76/144.81	c (7,0) c ReduceDBs_total : 8
224.76/144.81	c (7,0) c ReduceDBs_winner : 1
224.76/144.81	c (7,0) c SimpDBs_0 : 2
224.76/144.81	c (7,0) c SimpDBs_1 : 2
224.76/144.81	c (7,0) c SimpDBs_2 : 3
224.76/144.81	c (7,0) c SimpDBs_3 : 3
224.76/144.81	c (7,0) c SimpDBs_4 : 2
224.76/144.81	c (7,0) c SimpDBs_5 : 2
224.76/144.81	c (7,0) c SimpDBs_6 : 2
224.76/144.81	c (7,0) c SimpDBs_7 : 2
224.76/144.81	c (7,0) c SimpDBs_total : 18
224.76/144.81	c (7,0) c SimpDBs_winner : 3
224.76/144.81	c (7,0) c Restarts_0 : 7
224.76/144.81	c (7,0) c Restarts_1 : 5
224.76/144.81	c (7,0) c Restarts_2 : 15
224.76/144.81	c (7,0) c Restarts_3 : 4
224.76/144.81	c (7,0) c Restarts_4 : 9
224.76/144.81	c (7,0) c Restarts_5 : 6
224.76/144.81	c (7,0) c Restarts_6 : 12
224.76/144.81	c (7,0) c Restarts_7 : 5
224.76/144.81	c (7,0) c Restarts_total : 63
224.76/144.81	c (7,0) c Restarts_winner : 4
224.76/144.81	c (7,0) c ForcedImports_0 : 0
224.76/144.81	c (7,0) c ForcedImports_1 : 0
224.76/144.81	c (7,0) c ForcedImports_2 : 0
224.76/144.81	c (7,0) c ForcedImports_3 : 0
224.76/144.81	c (7,0) c ForcedImports_4 : 0
224.76/144.81	c (7,0) c ForcedImports_5 : 0
224.76/144.81	c (7,0) c ForcedImports_6 : 0
224.76/144.81	c (7,0) c ForcedImports_7 : 0
224.76/144.81	c (7,0) c ForcedImports_total : 0
224.76/144.81	c (7,0) c ForcedImports_winner : 0
224.76/144.81	c (7,0) c PropsBinClauses_0 : 12089267
224.76/144.81	c (7,0) c PropsBinClauses_1 : 11082449
224.76/144.81	c (7,0) c PropsBinClauses_2 : 12775986
224.76/144.81	c (7,0) c PropsBinClauses_3 : 11896514
224.76/144.81	c (7,0) c PropsBinClauses_4 : 11201959
224.76/144.81	c (7,0) c PropsBinClauses_5 : 11061764
224.76/144.81	c (7,0) c PropsBinClauses_6 : 11092745
224.76/144.81	c (7,0) c PropsBinClauses_7 : 11642126
224.76/144.81	c (7,0) c PropsBinClauses_total : 92842810
224.76/144.81	c (7,0) c PropsBinClauses_winner : 11896514
224.76/144.81	c (7,0) c PropsPreBlocker_0 : 13032849
224.76/144.81	c (7,0) c PropsPreBlocker_1 : 11040662
224.76/144.81	c (7,0) c PropsPreBlocker_2 : 14245562
224.76/144.81	c (7,0) c PropsPreBlocker_3 : 12166330
224.76/144.81	c (7,0) c PropsPreBlocker_4 : 11794275
224.76/144.81	c (7,0) c PropsPreBlocker_5 : 12107640
224.76/144.81	c (7,0) c PropsPreBlocker_6 : 12068830
224.76/144.81	c (7,0) c PropsPreBlocker_7 : 12890801
224.76/144.81	c (7,0) c PropsPreBlocker_total : 99346949
224.76/144.81	c (7,0) c PropsPreBlocker_winner : 12166330
224.76/144.81	c (7,0) c PropsNotBlocker_0 : 5507999
224.76/144.81	c (7,0) c PropsNotBlocker_1 : 4876457
224.76/144.81	c (7,0) c PropsNotBlocker_2 : 5878204
224.76/144.81	c (7,0) c PropsNotBlocker_3 : 5153031
224.76/144.81	c (7,0) c PropsNotBlocker_4 : 5194458
224.76/144.81	c (7,0) c PropsNotBlocker_5 : 4592448
224.76/144.81	c (7,0) c PropsNotBlocker_6 : 5169393
224.76/144.81	c (7,0) c PropsNotBlocker_7 : 5546873
224.76/144.81	c (7,0) c PropsNotBlocker_total : 41918863
224.76/144.81	c (7,0) c PropsNotBlocker_winner : 5153031
224.76/144.81	c (7,0) c PropsLitFullScans_0 : 38282380
224.76/144.81	c (7,0) c PropsLitFullScans_1 : 36045924
224.76/144.81	c (7,0) c PropsLitFullScans_2 : 44616738
224.76/144.81	c (7,0) c PropsLitFullScans_3 : 40793041
224.76/144.81	c (7,0) c PropsLitFullScans_4 : 36097334
224.76/144.81	c (7,0) c PropsLitFullScans_5 : 36025557
224.76/144.81	c (7,0) c PropsLitFullScans_6 : 36054569
224.76/144.81	c (7,0) c PropsLitFullScans_7 : 38424053
224.76/144.81	c (7,0) c PropsLitFullScans_total : 306339596
224.76/144.81	c (7,0) c PropsLitFullScans_winner : 40793041
224.76/144.81	c (7,0) c LitScanFractions_0 : 17939
224.76/144.81	c (7,0) c LitScanFractions_1 : 10333
224.76/144.81	c (7,0) c LitScanFractions_2 : 554
224.76/144.81	c (7,0) c LitScanFractions_3 : 13879
224.76/144.81	c (7,0) c LitScanFractions_4 : 23003
224.76/144.81	c (7,0) c LitScanFractions_5 : 390
224.76/144.81	c (7,0) c LitScanFractions_6 : 688
224.76/144.81	c (7,0) c LitScanFractions_7 : 569
224.76/144.81	c (7,0) c LitScanFractions_total : 67355
224.76/144.81	c (7,0) c LitScanFractions_winner : 13879
224.76/144.82	c (7,0) c DecisionLevel0_0 : 14
224.76/144.82	c (7,0) c DecisionLevel0_1 : 16
224.76/144.82	c (7,0) c DecisionLevel0_2 : 30
224.76/144.82	c (7,0) c DecisionLevel0_3 : 13
224.76/144.82	c (7,0) c DecisionLevel0_4 : 16
224.76/144.82	c (7,0) c DecisionLevel0_5 : 15
224.76/144.82	c (7,0) c DecisionLevel0_6 : 16
224.76/144.82	c (7,0) c DecisionLevel0_7 : 11
224.76/144.82	c (7,0) c DecisionLevel0_total : 131
224.76/144.82	c (7,0) c DecisionLevel0_winner : 13
224.76/144.82	c (7,0) c Periods_0 : 6
224.76/144.82	c (7,0) c Periods_1 : 6
224.76/144.82	c (7,0) c Periods_2 : 7
224.76/144.82	c (7,0) c Periods_3 : 6
224.76/144.82	c (7,0) c Periods_4 : 6
224.76/144.82	c (7,0) c Periods_5 : 6
224.76/144.82	c (7,0) c Periods_6 : 6
224.76/144.82	c (7,0) c Periods_7 : 6
224.76/144.82	c (7,0) c Periods_total : 49
224.76/144.82	c (7,0) c Periods_winner : 6
224.76/144.82	c (7,0) c Margin_0 : 20
224.76/144.82	c (7,0) c Margin_1 : 20
224.76/144.82	c (7,0) c Margin_2 : 20
224.76/144.82	c (7,0) c Margin_3 : 20
224.76/144.82	c (7,0) c Margin_4 : 20
224.76/144.82	c (7,0) c Margin_5 : 20
224.76/144.82	c (7,0) c Margin_6 : 20
224.76/144.82	c (7,0) c Margin_7 : 20
224.76/144.82	c (7,0) c Margin_total : 160
224.76/144.82	c (7,0) c Margin_winner : 20
224.76/144.82	c (7,0) c Exported_0 : 609
224.76/144.82	c (7,0) c Exported_1 : 480
224.76/144.82	c (7,0) c Exported_2 : 780
224.76/144.82	c (7,0) c Exported_3 : 480
224.76/144.82	c (7,0) c Exported_4 : 589
224.76/144.82	c (7,0) c Exported_5 : 495
224.76/144.82	c (7,0) c Exported_6 : 704
224.76/144.82	c (7,0) c Exported_7 : 540
224.76/144.82	c (7,0) c Exported_total : 4677
224.76/144.82	c (7,0) c Exported_winner : 480
224.76/144.82	c (7,0) c Imported_0 : 0
224.76/144.82	c (7,0) c Imported_1 : 0
224.76/144.82	c (7,0) c Imported_2 : 0
224.76/144.82	c (7,0) c Imported_3 : 0
224.76/144.82	c (7,0) c Imported_4 : 0
224.76/144.82	c (7,0) c Imported_5 : 0
224.76/144.82	c (7,0) c Imported_6 : 0
224.76/144.82	c (7,0) c Imported_7 : 0
224.76/144.82	c (7,0) c Imported_total : 0
224.76/144.82	c (7,0) c Imported_winner : 0
224.76/144.82	c (7,0) c Good_0 : 0
224.76/144.82	c (7,0) c Good_1 : 0
224.76/144.82	c (7,0) c Good_2 : 0
224.76/144.82	c (7,0) c Good_3 : 0
224.76/144.82	c (7,0) c Good_4 : 0
224.76/144.82	c (7,0) c Good_5 : 0
224.76/144.82	c (7,0) c Good_6 : 0
224.76/144.82	c (7,0) c Good_7 : 0
224.76/144.82	c (7,0) c Good_total : 0
224.76/144.82	c (7,0) c Good_winner : 0
224.76/144.82	c (7,0) c Purge_0 : 0
224.76/144.82	c (7,0) c Purge_1 : 0
224.76/144.82	c (7,0) c Purge_2 : 0
224.76/144.82	c (7,0) c Purge_3 : 0
224.76/144.82	c (7,0) c Purge_4 : 0
224.76/144.82	c (7,0) c Purge_5 : 0
224.76/144.82	c (7,0) c Purge_6 : 0
224.76/144.82	c (7,0) c Purge_7 : 0
224.76/144.82	c (7,0) c Purge_total : 0
224.76/144.82	c (7,0) c Purge_winner : 0
224.76/144.82	c (7,0) c Promoted_0 : 0
224.76/144.82	c (7,0) c Promoted_1 : 0
224.76/144.82	c (7,0) c Promoted_2 : 0
224.76/144.82	c (7,0) c Promoted_3 : 0
224.76/144.82	c (7,0) c Promoted_4 : 0
224.76/144.82	c (7,0) c Promoted_5 : 0
224.76/144.82	c (7,0) c Promoted_6 : 0
224.76/144.82	c (7,0) c Promoted_7 : 0
224.76/144.82	c (7,0) c Promoted_total : 0
224.76/144.82	c (7,0) c Promoted_winner : 0
224.76/144.82	c (7,0) c Remove_Imp_0 : 0
224.76/144.82	c (7,0) c Remove_Imp_1 : 0
224.76/144.82	c (7,0) c Remove_Imp_2 : 0
224.76/144.82	c (7,0) c Remove_Imp_3 : 0
224.76/144.82	c (7,0) c Remove_Imp_4 : 0
224.76/144.82	c (7,0) c Remove_Imp_5 : 0
224.76/144.82	c (7,0) c Remove_Imp_6 : 0
224.76/144.82	c (7,0) c Remove_Imp_7 : 0
224.76/144.82	c (7,0) c Remove_Imp_total : 0
224.76/144.82	c (7,0) c Remove_Imp_winner : 0
224.76/144.82	c (7,0) c Blocked_Reuse_0 : 0
224.76/144.82	c (7,0) c Blocked_Reuse_1 : 0
224.76/144.82	c (7,0) c Blocked_Reuse_2 : 0
224.76/144.82	c (7,0) c Blocked_Reuse_3 : 0
224.76/144.82	c (7,0) c Blocked_Reuse_4 : 0
224.76/144.82	c (7,0) c Blocked_Reuse_5 : 0
224.76/144.82	c (7,0) c Blocked_Reuse_6 : 0
224.76/144.82	c (7,0) c Blocked_Reuse_7 : 0
224.76/144.82	c (7,0) c Blocked_Reuse_total : 0
224.76/144.82	c (7,0) c Blocked_Reuse_winner : 0
224.76/144.82	c (7,0) c Unaries_0 : 7
224.76/144.82	c (7,0) c Unaries_1 : 11
224.76/144.82	c (7,0) c Unaries_2 : 15
224.76/144.82	c (7,0) c Unaries_3 : 9
224.76/144.82	c (7,0) c Unaries_4 : 7
224.76/144.82	c (7,0) c Unaries_5 : 9
224.76/144.82	c (7,0) c Unaries_6 : 4
224.76/144.82	c (7,0) c Unaries_7 : 6
224.76/144.82	c (7,0) c Unaries_total : 68
224.76/144.82	c (7,0) c Unaries_winner : 9
224.76/144.82	c (7,0) c Binaries_0 : 421
224.76/144.82	c (7,0) c Binaries_1 : 304
224.76/144.82	c (7,0) c Binaries_2 : 494
224.76/144.82	c (7,0) c Binaries_3 : 288
224.76/144.82	c (7,0) c Binaries_4 : 392
224.76/144.82	c (7,0) c Binaries_5 : 323
224.76/144.82	c (7,0) c Binaries_6 : 473
224.76/144.82	c (7,0) c Binaries_7 : 323
224.76/144.82	c (7,0) c Binaries_total : 3018
224.76/144.82	c (7,0) c Binaries_winner : 288
224.76/144.82	c (7,0) c Glues_0 : 609
224.76/144.82	c (7,0) c Glues_1 : 480
224.76/144.82	c (7,0) c Glues_2 : 780
224.76/144.82	c (7,0) c Glues_3 : 480
224.76/144.82	c (7,0) c Glues_4 : 589
224.76/144.82	c (7,0) c Glues_5 : 495
224.76/144.82	c (7,0) c Glues_6 : 704
224.76/144.82	c (7,0) c Glues_7 : 540
224.76/144.82	c (7,0) c Glues_total : 4677
224.76/144.82	c (7,0) c Glues_winner : 480
224.76/144.82	c (7,0) c RunningTime_0 : 2.712252
224.76/144.82	c (7,0) c RunningTime_1 : 3.065262
224.76/144.82	c (7,0) c RunningTime_2 : 2.752988
224.76/144.82	c (7,0) c RunningTime_3 : 2.653739
224.76/144.82	c (7,0) c RunningTime_4 : 2.776106
224.76/144.82	c (7,0) c RunningTime_5 : 2.743965
224.76/144.82	c (7,0) c RunningTime_6 : 2.665412
224.76/144.82	c (7,0) c RunningTime_7 : 2.673666
224.76/144.82	c (7,0) c RunningTime_total : 22.043390
224.76/144.82	c (7,0) c RunningTime_winner : 2.653739
224.76/144.82	c (7,0) c WaitingTime_0 : 0.000000
224.76/144.82	c (7,0) c WaitingTime_1 : 0.000000
224.76/144.82	c (7,0) c WaitingTime_2 : 0.000000
224.76/144.82	c (7,0) c WaitingTime_3 : 0.000000
224.76/144.82	c (7,0) c WaitingTime_4 : 0.000000
224.76/144.82	c (7,0) c WaitingTime_5 : 0.000000
224.76/144.82	c (7,0) c WaitingTime_6 : 0.000000
224.76/144.82	c (7,0) c WaitingTime_7 : 0.000000
224.76/144.82	c (7,0) c WaitingTime_total : 0.000000
224.76/144.82	c (7,0) c WaitingTime_winner : 0.000000
224.76/144.82	c (7,0) c ExchangingTime_0 : 0.001781
224.76/144.82	c (7,0) c ExchangingTime_1 : 0.000863
224.76/144.82	c (7,0) c ExchangingTime_2 : 0.001670
224.76/144.82	c (7,0) c ExchangingTime_3 : 0.000969
224.76/144.82	c (7,0) c ExchangingTime_4 : 0.001927
224.76/144.82	c (7,0) c ExchangingTime_5 : 0.000822
224.76/144.82	c (7,0) c ExchangingTime_6 : 0.001018
224.76/144.82	c (7,0) c ExchangingTime_7 : 0.000952
224.76/144.82	c (7,0) c ExchangingTime_total : 0.010004
224.76/144.82	c (7,0) c ExchangingTime_winner : 0.000969
224.76/144.82	c (7,0) c PeriodProcTime_0 : 0.000061
224.76/144.82	c (7,0) c PeriodProcTime_1 : 0.000085
224.76/144.82	c (7,0) c PeriodProcTime_2 : 0.000077
224.76/144.82	c (7,0) c PeriodProcTime_3 : 0.000090
224.76/144.82	c (7,0) c PeriodProcTime_4 : 0.000078
224.76/144.82	c (7,0) c PeriodProcTime_5 : 0.000103
224.76/144.82	c (7,0) c PeriodProcTime_6 : 0.000075
224.76/144.82	c (7,0) c PeriodProcTime_7 : 0.000062
224.76/144.82	c (7,0) c PeriodProcTime_total : 0.000631
224.76/144.82	c (7,0) c PeriodProcTime_winner : 0.000090
224.76/144.82	c (7,0) c SolvingTime_0 : 2.714094
224.76/144.82	c (7,0) c SolvingTime_1 : 3.066211
224.76/144.82	c (7,0) c SolvingTime_2 : 2.754736
224.76/144.82	c (7,0) c SolvingTime_3 : 2.654798
224.76/144.82	c (7,0) c SolvingTime_4 : 2.778111
224.76/144.82	c (7,0) c SolvingTime_5 : 2.744890
224.76/144.82	c (7,0) c SolvingTime_6 : 2.666506
224.76/144.82	c (7,0) c SolvingTime_7 : 2.674680
224.76/144.82	c (7,0) c SolvingTime_total : 22.054025
224.76/144.82	c (7,0) c SolvingTime_winner : 2.654798
224.76/144.82	c (7,0) c PropagationTime_0 : 2.429434
224.76/144.82	c (7,0) c PropagationTime_1 : 2.754919
224.76/144.82	c (7,0) c PropagationTime_2 : 2.412442
224.76/144.82	c (7,0) c PropagationTime_3 : 2.306187
224.76/144.82	c (7,0) c PropagationTime_4 : 2.478606
224.76/144.82	c (7,0) c PropagationTime_5 : 2.434117
224.76/144.82	c (7,0) c PropagationTime_6 : 2.371970
224.76/144.82	c (7,0) c PropagationTime_7 : 2.362620
224.76/144.82	c (7,0) c PropagationTime_total : 19.550295
224.76/144.82	c (7,0) c PropagationTime_winner : 2.306187
224.76/144.82	c (7,0) c AnalysisTime_0 : 0.109549
224.76/144.82	c (7,0) c AnalysisTime_1 : 0.146753
224.76/144.82	c (7,0) c AnalysisTime_2 : 0.134293
224.76/144.82	c (7,0) c AnalysisTime_3 : 0.141419
224.76/144.82	c (7,0) c AnalysisTime_4 : 0.120820
224.76/144.82	c (7,0) c AnalysisTime_5 : 0.135881
224.76/144.82	c (7,0) c AnalysisTime_6 : 0.127072
224.76/144.82	c (7,0) c AnalysisTime_7 : 0.129977
224.76/144.82	c (7,0) c AnalysisTime_total : 1.045764
224.76/144.82	c (7,0) c AnalysisTime_winner : 0.141419
224.76/144.82	c (7,0) c ReductionTime_0 : 0.000354
224.76/144.82	c (7,0) c ReductionTime_1 : 0.000375
224.76/144.82	c (7,0) c ReductionTime_2 : 0.000381
224.76/144.82	c (7,0) c ReductionTime_3 : 0.000328
224.76/144.82	c (7,0) c ReductionTime_4 : 0.000485
224.76/144.82	c (7,0) c ReductionTime_5 : 0.000401
224.76/144.82	c (7,0) c ReductionTime_6 : 0.000746
224.76/144.82	c (7,0) c ReductionTime_7 : 0.000399
224.76/144.82	c (7,0) c ReductionTime_total : 0.003469
224.76/144.82	c (7,0) c ReductionTime_winner : 0.000328
224.76/144.82	c (7,0) c SimplifyTime_0 : 0.028597
224.76/144.82	c (7,0) c SimplifyTime_1 : 0.026964
224.76/144.82	c (7,0) c SimplifyTime_2 : 0.055895
224.76/144.82	c (7,0) c SimplifyTime_3 : 0.055162
224.76/144.82	c (7,0) c SimplifyTime_4 : 0.027043
224.76/144.82	c (7,0) c SimplifyTime_5 : 0.027638
224.76/144.82	c (7,0) c SimplifyTime_6 : 0.026761
224.76/144.82	c (7,0) c SimplifyTime_7 : 0.027688
224.76/144.82	c (7,0) c SimplifyTime_total : 0.275748
224.76/144.82	c (7,0) c SimplifyTime_winner : 0.055162
224.76/144.82	c (7,0) c UsedRateTime_0 : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_1 : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_2 : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_3 : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_4 : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_5 : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_6 : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_7 : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_total : 0.000000
224.76/144.82	c (7,0) c UsedRateTime_winner : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_0 : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_1 : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_2 : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_3 : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_4 : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_5 : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_6 : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_7 : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_total : 0.000000
224.76/144.82	c (7,0) c OverlapRateTime_winner : 0.000000
224.76/144.82	c (7,0) c
224.76/144.82	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
224.76/144.82	c (7,0) c
224.76/144.82	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.82	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
224.76/144.82	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.82	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
224.76/144.82	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
224.76/144.82	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
224.76/144.82	c (7,0) c | Initial random_seed   |   53696678 |  385234098 | 1119986964 | 1761022727 |  859098182 | 1677888756 |  300905652 |  804388564 |
224.76/144.82	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
224.76/144.82	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
224.76/144.82	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
224.76/144.82	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
224.76/144.82	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
224.76/144.82	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
224.76/144.82	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
224.76/144.82	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
224.76/144.82	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
224.76/144.82	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
224.76/144.82	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
224.76/144.82	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
224.76/144.82	c (7,0) 
224.76/144.82	c (7,0) s UNSATISFIABLE
224.76/144.86	c (7,0) SatSolver.solve End
224.76/144.86	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
224.76/144.86	c (7,0) Show results Begin
224.76/144.86	s UNSATISFIABLE
224.76/144.86	c (7,0) Show results End
224.76/144.86	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
224.76/144.86	c (7,0) 7,7,STOP-AFTER(ALL)
224.76/144.86	c END-Prog: Wed Sep 25 00:07:19 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 (12755 MiB free)
  memory of node 1: 16384 MiB (11912 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405174-1569362732/watcher-4405174-1569362732 -o /var/tmp/evaluation-result-4405174-1569362732/solver-4405174-1569362732 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569359605-9009 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405174-1569362732.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=9854, runsolver pid=9851
Current StackSize limit: 8192 KiB


[startup+0.100113 s]*
/proc/loadavg: 6.46 7.51 7.63 2/212 9876
/proc/meminfo: memFree=25168884/32770624 swapFree=66997096/67108860
[pid=9854] ppid=9851 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9854/stat : 9854 (scop.sh) S 9851 9854 8982 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512540961 115843072 350 33554432000 4194304 5098028 140732105909392 140732105906648 139953144373884 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12984320 140732105917181 140732105917528 140732105917528 140732105920457 0
/proc/9854/statm: 28282 350 297 221 0 87 0
[pid=9857] ppid=9854 vsize=27314120 memory=105528 CPUtime=0.1 cores=0-7
/proc/9857/stat : 9857 (java) S 9854 9854 8982 0 -1 1077944320 6519 0 0 0 8 2 0 0 20 0 20 0 512540961 27969658880 26382 33554432000 4194304 4196468 140727189803424 140727189785968 140486468587255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
/proc/9857/statm: 6828530 26382 2764 1 0 6790935 0
[pid=9857/tid=9858] ppid=9854 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/9857/task/9858/stat : 9858 (java) R 9854 9854 8982 0 -1 4202560 4598 0 0 0 6 2 0 0 20 0 20 0 512540961 27969658880 26382 33554432000 4194304 4196468 140727189803424 140486440413584 140486452667742 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9859] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9859/stat : 9859 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 26382 33554432000 4194304 4196468 140727189803424 140486472829968 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9860] ppid=9854 vsize=27314120 memory=15395127707346584 CPUtime=0 cores=0-7
/proc/9857/task/9860/stat : 9860 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 26382 33554432000 4194304 4196468 140727189803424 140486301924496 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9861] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9861/stat : 9861 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485889264400 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9862] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9862/stat : 9862 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485888211856 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9863] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9863/stat : 9863 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485887158800 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9864] ppid=9854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9857/task/9864/stat : 9864 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485886106256 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9865] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9865/stat : 9865 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485885053200 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9866] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9866/stat : 9866 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485884000656 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9867] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9867/stat : 9867 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540965 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485459860208 140486468598402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9868] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9868/stat : 9868 (java) S 9854 9854 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512540966 27969658880 26382 33554432000 4194304 4196468 140727189803424 140484353713824 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9869] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9869/stat : 9869 (java) S 9854 9854 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512540966 27969658880 26382 33554432000 4194304 4196468 140727189803424 140484219491568 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9870] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9870/stat : 9870 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 26382 33554432000 4194304 4196468 140727189803424 140483844987344 140486468605851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9871] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9871/stat : 9871 (java) S 9854 9854 8982 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485458807024 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9872] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9872/stat : 9872 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485457754480 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9873] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9873/stat : 9873 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485456701424 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9874] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9874/stat : 9874 (java) S 9854 9854 8982 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485455648880 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9875] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9875/stat : 9875 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 26382 33554432000 4194304 4196468 140727189803424 140483347082208 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9876] ppid=9854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9857/task/9876/stat : 9876 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 26382 33554432000 4194304 4196468 140727189803424 140485454597296 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106928 KiB

[startup+0.210355 s]*
/proc/loadavg: 6.46 7.51 7.63 4/212 9876
/proc/meminfo: memFree=25145424/32770624 swapFree=66997096/67108860
[pid=9854] ppid=9851 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9854/stat : 9854 (scop.sh) S 9851 9854 8982 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512540961 115843072 350 33554432000 4194304 5098028 140732105909392 140732105906648 139953144373884 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12984320 140732105917181 140732105917528 140732105917528 140732105920457 0
/proc/9854/statm: 28282 350 297 221 0 87 0
[pid=9857] ppid=9854 vsize=27314120 memory=125364 CPUtime=0.25 cores=0-7
/proc/9857/stat : 9857 (java) S 9854 9854 8982 0 -1 1077944320 12212 0 0 0 20 5 0 0 20 0 20 0 512540961 27969658880 31341 33554432000 4194304 4196468 140727189803424 140727189785968 140486468587255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
/proc/9857/statm: 6828530 31341 2957 1 0 6790935 0
[pid=9857/tid=9858] ppid=9854 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/9857/task/9858/stat : 9858 (java) R 9854 9854 8982 0 -1 4202560 9844 0 0 0 15 4 0 0 20 0 20 0 512540961 27969658880 31341 33554432000 4194304 4196468 140727189803424 140486440386640 140486451774064 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9859] ppid=9854 vsize=27314120 memory=9329 CPUtime=0 cores=0-7
/proc/9857/task/9859/stat : 9859 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 31341 33554432000 4194304 4196468 140727189803424 140486472829968 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9860] ppid=9854 vsize=27314120 memory=140270498795004 CPUtime=0 cores=0-7
/proc/9857/task/9860/stat : 9860 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 31341 33554432000 4194304 4196468 140727189803424 140486301924496 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9861] ppid=9854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9857/task/9861/stat : 9861 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485889264400 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9862] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9862/stat : 9862 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485888211856 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9863] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9863/stat : 9863 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485887158800 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9864] ppid=9854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9857/task/9864/stat : 9864 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485886106256 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9865] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9865/stat : 9865 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485885053200 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9866] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9866/stat : 9866 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485884000656 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9867] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9867/stat : 9867 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540965 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485459860208 140486468598402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9868] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9868/stat : 9868 (java) S 9854 9854 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512540966 27969658880 31341 33554432000 4194304 4196468 140727189803424 140484353713824 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9869] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9869/stat : 9869 (java) S 9854 9854 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512540966 27969658880 31341 33554432000 4194304 4196468 140727189803424 140484219491568 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9870] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9870/stat : 9870 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 31341 33554432000 4194304 4196468 140727189803424 140483844987344 140486468605851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9871] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9871/stat : 9871 (java) S 9854 9854 8982 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485458807024 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9872] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9872/stat : 9872 (java) S 9854 9854 8982 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485457754480 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9873] ppid=9854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9857/task/9873/stat : 9873 (java) S 9854 9854 8982 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485456701424 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9874] ppid=9854 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9857/task/9874/stat : 9874 (java) S 9854 9854 8982 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 20 0 512540969 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485455648880 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9875] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9875/stat : 9875 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 31341 33554432000 4194304 4196468 140727189803424 140483347082208 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9876] ppid=9854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9857/task/9876/stat : 9876 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 31341 33554432000 4194304 4196468 140727189803424 140485454597296 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126764 KiB

[startup+0.30986 s]*
/proc/loadavg: 6.10 7.42 7.60 2/212 9876
/proc/meminfo: memFree=25142384/32770624 swapFree=66997096/67108860
[pid=9854] ppid=9851 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9854/stat : 9854 (scop.sh) S 9851 9854 8982 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512540961 115843072 350 33554432000 4194304 5098028 140732105909392 140732105906648 139953144373884 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12984320 140732105917181 140732105917528 140732105917528 140732105920457 0
/proc/9854/statm: 28282 350 297 221 0 87 0
[pid=9857] ppid=9854 vsize=27314120 memory=129284 CPUtime=0.42 cores=0-7
/proc/9857/stat : 9857 (java) S 9854 9854 8982 0 -1 1077944320 12637 0 0 0 37 5 0 0 20 0 20 0 512540961 27969658880 32321 33554432000 4194304 4196468 140727189803424 140727189785968 140486468587255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
/proc/9857/statm: 6828530 32321 3058 1 0 6790935 0
[pid=9857/tid=9858] ppid=9854 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9857/task/9858/stat : 9858 (java) R 9854 9854 8982 0 -1 4202560 10035 0 0 0 25 4 0 0 20 0 20 0 512540961 27969658880 32321 33554432000 4194304 4196468 140727189803424 140486440417328 140486452630885 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9859] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9859/stat : 9859 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 32321 33554432000 4194304 4196468 140727189803424 140486472829968 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9860] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9860/stat : 9860 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 32321 33554432000 4194304 4196468 140727189803424 140486301924496 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9861] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9861/stat : 9861 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485889264400 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9862] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9862/stat : 9862 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485888211856 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9863] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9863/stat : 9863 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485887158800 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9864] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9864/stat : 9864 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485886106256 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9865] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9865/stat : 9865 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485885053200 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9866] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9866/stat : 9866 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485884000656 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9867] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9867/stat : 9867 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540965 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485459860208 140486468598402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9868] ppid=9854 vsize=27314120 memory=280540687310208 CPUtime=0 cores=0-7
/proc/9857/task/9868/stat : 9868 (java) S 9854 9854 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512540966 27969658880 32321 33554432000 4194304 4196468 140727189803424 140484353713824 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9869] ppid=9854 vsize=27314120 memory=280540687314816 CPUtime=0 cores=0-7
/proc/9857/task/9869/stat : 9869 (java) S 9854 9854 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512540966 27969658880 32321 33554432000 4194304 4196468 140727189803424 140484219491568 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9870] ppid=9854 vsize=27314120 memory=280540687319424 CPUtime=0 cores=0-7
/proc/9857/task/9870/stat : 9870 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 32321 33554432000 4194304 4196468 140727189803424 140483844987344 140486468605851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9871] ppid=9854 vsize=27314120 memory=280540687324032 CPUtime=0.02 cores=0-7
/proc/9857/task/9871/stat : 9871 (java) R 9854 9854 8982 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 512540969 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485458807024 140486468598402 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9872] ppid=9854 vsize=27314120 memory=280540687328640 CPUtime=0 cores=0-7
/proc/9857/task/9872/stat : 9872 (java) R 9854 9854 8982 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485457754480 140486461572297 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9873] ppid=9854 vsize=27314120 memory=280540687333248 CPUtime=0 cores=0-7
/proc/9857/task/9873/stat : 9873 (java) S 9854 9854 8982 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485456701424 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9874] ppid=9854 vsize=27314120 memory=280540687337856 CPUtime=0.07 cores=0-7
/proc/9857/task/9874/stat : 9874 (java) S 9854 9854 8982 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 20 0 512540969 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485455648880 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9875] ppid=9854 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9875/stat : 9875 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 32321 33554432000 4194304 4196468 140727189803424 140483347082208 140486468597461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9876] ppid=9854 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9857/task/9876/stat : 9876 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540969 27969658880 32321 33554432000 4194304 4196468 140727189803424 140485454597296 140486468598402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130684 KiB

[startup+0.700964 s]
/proc/loadavg: 6.10 7.42 7.60 3/212 9876
/proc/meminfo: memFree=25120060/32770624 swapFree=66997096/67108860
[pid=9854] ppid=9851 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9854/stat : 9854 (scop.sh) S 9851 9854 8982 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512540961 115843072 350 33554432000 4194304 5098028 140732105909392 140732105906648 139953144373884 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12984320 140732105917181 140732105917528 140732105917528 140732105920457 0
/proc/9854/statm: 28282 350 297 221 0 87 0
[pid=9857] ppid=9854 vsize=27320392 memory=163944 CPUtime=0.97 cores=0-7
/proc/9857/stat : 9857 (java) S 9854 9854 8982 0 -1 1077944320 20086 0 0 0 90 7 0 0 20 0 20 0 512540961 27976081408 40986 33554432000 4194304 4196468 140727189803424 140727189785968 140486468587255 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
/proc/9857/statm: 6830098 40986 3175 1 0 6791447 0
[pid=9857/tid=9858] ppid=9854 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/9857/task/9858/stat : 9858 (java) R 9854 9854 8982 0 -1 4202560 16956 0 0 0 61 6 0 0 20 0 20 0 512540961 27976081408 40986 33554432000 4194304 4196468 140727189803424 140486440418832 140486468599190 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9859] ppid=9854 vsize=27320392 memory=140270343857024 CPUtime=0 cores=0-7
/proc/9857/task/9859/stat : 9859 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27976081408 40986 33554432000 4194304 4196468 140727189803424 140486472829968 140486468597461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9860] ppid=9854 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9857/task/9860/stat : 9860 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512540964 27976081408 40986 33554432000 4194304 4196468 140727189803424 140486301924496 140486468597461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0
[pid=9857/tid=9861] ppid=9854 vsize=27320392 memory=1228 CPUtime=0 cores=0-7
/proc/9857/task/9861/stat : 9861 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512540964 27976081408 40986 33554432000 4194304 4196468 140727189803424 140485889264400 140486468597461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31903744 140727189807816 140727189808262 140727189808262 140727189811151 0

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

[pid=9886/tid=9902] ppid=9854 vsize=8414124 memory=4100 CPUtime=0.09 cores=0-7
/proc/9886/task/9902/stat : 9902 (java) S 9854 9854 8982 0 -1 1077944384 340 0 0 0 9 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088194300784 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9903] ppid=9854 vsize=8414124 memory=1808 CPUtime=0.23 cores=0-7
/proc/9886/task/9903/stat : 9903 (java) S 9854 9854 8982 0 -1 1077944384 639 0 0 0 23 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088193247984 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9904] ppid=9854 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/9886/task/9904/stat : 9904 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140086129715552 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9905] ppid=9854 vsize=8414124 memory=4208 CPUtime=0 cores=0-7
/proc/9886/task/9905/stat : 9905 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088192194864 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9907] ppid=9854 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/9886/task/9907/stat : 9907 (java) S 9854 9854 8982 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088184161600 140088835735321 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9909] ppid=9854 vsize=8414124 memory=3216 CPUtime=0 cores=0-7
/proc/9886/task/9909/stat : 9909 (java) S 9854 9854 8982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085458616208 140088835732637 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9910] ppid=9854 vsize=8414124 memory=952 CPUtime=0 cores=0-7
/proc/9886/task/9910/stat : 9910 (java) S 9854 9854 8982 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085727051536 140088835732637 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9911] ppid=9854 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9886/task/9911/stat : 9911 (java) S 9854 9854 8982 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 512554736 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085190188848 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
Current children cumulated CPU time: 220.9 s
Current children cumulated vsize: 10232288 KiB
Current children cumulated memory: 1242052 KiB

[startup+144.402 s]
/proc/loadavg: 1.37 5.03 6.69 9/224 9919
/proc/meminfo: memFree=23997756/32770624 swapFree=66997096/67108860
[pid=9854] ppid=9851 vsize=113128 memory=1476 CPUtime=197.6 cores=0-7
/proc/9854/stat : 9854 (scop.sh) S 9851 9854 8982 0 -1 4202496 583 94813 0 0 0 0 18598 1162 20 0 1 0 512540961 115843072 369 33554432000 4194304 5098028 140732105909392 140732105906136 139953144373884 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12984320 140732105917181 140732105917528 140732105917528 140732105920457 0
/proc/9854/statm: 28282 369 311 221 0 87 0
[pid=9886] ppid=9854 vsize=8414124 memory=123612 CPUtime=1.36 cores=0-7
/proc/9886/stat : 9886 (java) S 9854 9854 8982 0 -1 1077944320 21369 0 0 0 128 8 0 0 20 0 24 0 512554653 8616062976 30903 33554432000 4194304 4196468 140722727355424 140722727337968 140088835710711 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
/proc/9886/statm: 2103531 30903 3211 1 0 2064875 0
[pid=9906] ppid=9886 vsize=1705432 memory=1118876 CPUtime=25.01 cores=0-7
/proc/9906/stat : 9906 (manyglucose-4.1) S 9886 9854 8982 0 -1 1077944320 464941 0 0 0 2390 111 0 0 20 0 8 0 512554733 1746362368 279719 33554432000 4194304 4454172 140731416020592 140731416018976 140235428589303 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
/proc/9906/statm: 426358 279719 420 64 0 422026 0
[pid=9906/tid=9912] ppid=9886 vsize=1705432 memory=7157735280196999529 CPUtime=2.62 cores=0-7
/proc/9906/task/9912/stat : 9912 (manyglucose-4.1) R 9886 9854 8982 0 -1 4202560 39269 0 0 0 258 4 0 0 20 0 8 0 512555135 1746362368 279719 33554432000 4194304 4454172 140731416020592 140234803281000 4350933 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
[pid=9906/tid=9913] ppid=9886 vsize=1705432 memory=7014751519617145193 CPUtime=2.62 cores=0-7
/proc/9906/task/9913/stat : 9913 (manyglucose-4.1) R 9886 9854 8982 0 -1 4202560 27668 0 0 0 249 13 0 0 20 0 8 0 512555135 1746362368 279719 33554432000 4194304 4454172 140731416020592 140234794888296 4351502 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
[pid=9906/tid=9914] ppid=9886 vsize=1705432 memory=228 CPUtime=2.62 cores=0-7
/proc/9906/task/9914/stat : 9914 (manyglucose-4.1) R 9886 9854 8982 0 -1 4202560 29689 0 0 0 259 3 0 0 20 0 8 0 512555135 1746362368 279719 33554432000 4194304 4454172 140731416020592 140234786495592 4351056 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
[pid=9906/tid=9916] ppid=9886 vsize=1705432 memory=-3761991693426146123 CPUtime=2.62 cores=0-7
/proc/9906/task/9916/stat : 9916 (manyglucose-4.1) R 9886 9854 8982 0 -1 4202560 30172 0 0 0 247 15 0 0 20 0 8 0 512555135 1746362368 279719 33554432000 4194304 4454172 140731416020592 140234769710184 4351675 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
[pid=9906/tid=9917] ppid=9886 vsize=1705432 memory=4134649994686418356 CPUtime=2.62 cores=0-7
/proc/9906/task/9917/stat : 9917 (manyglucose-4.1) R 9886 9854 8982 0 -1 4202560 30829 0 0 0 245 17 0 0 20 0 8 0 512555135 1746362368 279719 33554432000 4194304 4454172 140731416020592 140234761317096 4351126 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
[pid=9906/tid=9918] ppid=9886 vsize=1705432 memory=-8458152057954561420 CPUtime=2.62 cores=0-7
/proc/9906/task/9918/stat : 9918 (manyglucose-4.1) R 9886 9854 8982 0 -1 4202560 32196 0 0 0 245 17 0 0 20 0 8 0 512555135 1746362368 279719 33554432000 4194304 4454172 140731416020592 140234752924776 4329055 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
[pid=9906/tid=9919] ppid=9886 vsize=1705432 memory=-7811589622659849133 CPUtime=2.57 cores=0-7
/proc/9906/task/9919/stat : 9919 (manyglucose-4.1) R 9886 9854 8982 0 -1 4202560 32174 0 0 0 253 4 0 0 20 0 8 0 512555135 1746362368 279719 33554432000 4194304 4454172 140731416020592 140234744532072 4350933 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
[pid=9886/tid=9887] ppid=9854 vsize=8414124 memory=2322256795052168792 CPUtime=0.82 cores=0-7
/proc/9886/task/9887/stat : 9887 (java) S 9854 9854 8982 0 -1 1077944384 17853 0 0 0 76 6 0 0 20 0 24 0 512554654 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088807550880 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9888] ppid=9854 vsize=8414124 memory=8099836528154733418 CPUtime=0 cores=0-7
/proc/9886/task/9888/stat : 9888 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554655 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088839952784 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9889] ppid=9854 vsize=8414124 memory=734086783018481716 CPUtime=0 cores=0-7
/proc/9886/task/9889/stat : 9889 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554655 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088640121104 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9890] ppid=9854 vsize=8414124 memory=3761416528229721958 CPUtime=0 cores=0-7
/proc/9886/task/9890/stat : 9890 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088639068816 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9891] ppid=9854 vsize=8414124 memory=123612 CPUtime=0 cores=0-7
/proc/9886/task/9891/stat : 9891 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088638016016 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9892] ppid=9854 vsize=8414124 memory=184128 CPUtime=0 cores=0-7
/proc/9886/task/9892/stat : 9892 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088636963728 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9893] ppid=9854 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/9886/task/9893/stat : 9893 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088635910928 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9894] ppid=9854 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/9886/task/9894/stat : 9894 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088634858640 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9895] ppid=9854 vsize=8414124 memory=56960 CPUtime=0 cores=0-7
/proc/9886/task/9895/stat : 9895 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088633805840 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9896] ppid=9854 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/9886/task/9896/stat : 9896 (java) S 9854 9854 8982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512554657 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088197458032 140088835721858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9897] ppid=9854 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/9886/task/9897/stat : 9897 (java) S 9854 9854 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512554658 8616062976 30903 33554432000 4194304 4196468 140722727355424 140087270564640 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9898] ppid=9854 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/9886/task/9898/stat : 9898 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554658 8616062976 30903 33554432000 4194304 4196468 140722727355424 140087002129520 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9899] ppid=9854 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/9886/task/9899/stat : 9899 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140086627620944 140088835729307 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9900] ppid=9854 vsize=8414124 memory=740 CPUtime=0.09 cores=0-7
/proc/9886/task/9900/stat : 9900 (java) S 9854 9854 8982 0 -1 1077944384 704 0 0 0 9 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088196405872 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9901] ppid=9854 vsize=8414124 memory=1228 CPUtime=0.07 cores=0-7
/proc/9886/task/9901/stat : 9901 (java) S 9854 9854 8982 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088195353072 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9902] ppid=9854 vsize=8414124 memory=9564 CPUtime=0.09 cores=0-7
/proc/9886/task/9902/stat : 9902 (java) S 9854 9854 8982 0 -1 1077944384 340 0 0 0 9 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088194300784 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9903] ppid=9854 vsize=8414124 memory=4076 CPUtime=0.23 cores=0-7
/proc/9886/task/9903/stat : 9903 (java) S 9854 9854 8982 0 -1 1077944384 639 0 0 0 23 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088193247984 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9904] ppid=9854 vsize=8414124 memory=2836 CPUtime=0 cores=0-7
/proc/9886/task/9904/stat : 9904 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140086129715552 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9905] ppid=9854 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/9886/task/9905/stat : 9905 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088192194864 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9907] ppid=9854 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/9886/task/9907/stat : 9907 (java) S 9854 9854 8982 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088184161600 140088835735321 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9909] ppid=9854 vsize=8414124 memory=6136 CPUtime=0 cores=0-7
/proc/9886/task/9909/stat : 9909 (java) S 9854 9854 8982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085458616208 140088835732637 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9910] ppid=9854 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/9886/task/9910/stat : 9910 (java) S 9854 9854 8982 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085727051536 140088835732637 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9911] ppid=9854 vsize=8414124 memory=952 CPUtime=0 cores=0-7
/proc/9886/task/9911/stat : 9911 (java) S 9854 9854 8982 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 512554736 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085190188848 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
Current children cumulated CPU time: 223.97 s
Current children cumulated vsize: 10232684 KiB
Current children cumulated memory: 1243964 KiB

[startup+144.801 s]
/proc/loadavg: 1.37 5.03 6.69 9/224 9919
/proc/meminfo: memFree=23997756/32770624 swapFree=66997096/67108860
[pid=9854] ppid=9851 vsize=113128 memory=1476 CPUtime=197.6 cores=0-7
/proc/9854/stat : 9854 (scop.sh) S 9851 9854 8982 0 -1 4202496 583 94813 0 0 0 0 18598 1162 20 0 1 0 512540961 115843072 369 33554432000 4194304 5098028 140732105909392 140732105906136 139953144373884 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12984320 140732105917181 140732105917528 140732105917528 140732105920457 0
/proc/9854/statm: 28282 369 311 221 0 87 0
[pid=9886] ppid=9854 vsize=8414124 memory=123612 CPUtime=1.36 cores=0-7
/proc/9886/stat : 9886 (java) S 9854 9854 8982 0 -1 1077944320 21369 0 0 0 128 8 0 0 20 0 24 0 512554653 8616062976 30903 33554432000 4194304 4196468 140722727355424 140722727337968 140088835710711 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
/proc/9886/statm: 2103531 30903 3211 1 0 2064875 0
[pid=9906] ppid=9886 vsize=1705432 memory=1118964 CPUtime=25.8 cores=0-7
/proc/9906/stat : 9906 (manyglucose-4.1) S 9886 9854 8982 0 -1 1077944320 469335 0 0 0 2468 112 0 0 20 0 2 0 512554733 1746362368 279741 33554432000 4194304 4454172 140731416020592 140731416018976 140235428589303 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
/proc/9906/statm: 426358 279741 420 64 0 422026 0
[pid=9906/tid=9913] ppid=9886 vsize=1705432 memory=7014751519617145193 CPUtime=3.02 cores=0-7
/proc/9906/task/9913/stat : 9913 (manyglucose-4.1) R 9886 9854 8982 0 -1 4202560 29648 0 0 0 289 13 0 0 20 0 2 0 512555135 1746362368 279741 33554432000 4194304 4454172 140731416020592 140234794888296 4321835 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 23568384 140731416027982 140731416028188 140731416028188 140731416031158 0
[pid=9886/tid=9887] ppid=9854 vsize=8414124 memory=1476 CPUtime=0.82 cores=0-7
/proc/9886/task/9887/stat : 9887 (java) S 9854 9854 8982 0 -1 1077944384 17853 0 0 0 76 6 0 0 20 0 24 0 512554654 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088807550880 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9888] ppid=9854 vsize=8414124 memory=123612 CPUtime=0 cores=0-7
/proc/9886/task/9888/stat : 9888 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554655 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088839952784 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9889] ppid=9854 vsize=8414124 memory=1114544 CPUtime=0 cores=0-7
/proc/9886/task/9889/stat : 9889 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554655 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088640121104 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9890] ppid=9854 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/9886/task/9890/stat : 9890 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088639068816 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9891] ppid=9854 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/9886/task/9891/stat : 9891 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088638016016 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9892] ppid=9854 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/9886/task/9892/stat : 9892 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088636963728 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9893] ppid=9854 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9886/task/9893/stat : 9893 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088635910928 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9894] ppid=9854 vsize=8414124 memory=123612 CPUtime=0 cores=0-7
/proc/9886/task/9894/stat : 9894 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088634858640 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9895] ppid=9854 vsize=8414124 memory=188988 CPUtime=0 cores=0-7
/proc/9886/task/9895/stat : 9895 (java) S 9854 9854 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512554656 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088633805840 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9896] ppid=9854 vsize=8414124 memory=-5059952977386882957 CPUtime=0 cores=0-7
/proc/9886/task/9896/stat : 9896 (java) S 9854 9854 8982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512554657 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088197458032 140088835721858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9897] ppid=9854 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/9886/task/9897/stat : 9897 (java) S 9854 9854 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512554658 8616062976 30903 33554432000 4194304 4196468 140722727355424 140087270564640 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9898] ppid=9854 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/9886/task/9898/stat : 9898 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554658 8616062976 30903 33554432000 4194304 4196468 140722727355424 140087002129520 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9899] ppid=9854 vsize=8414124 memory=1400 CPUtime=0 cores=0-7
/proc/9886/task/9899/stat : 9899 (java) S 9854 9854 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140086627620944 140088835729307 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9900] ppid=9854 vsize=8414124 memory=9550904 CPUtime=0.09 cores=0-7
/proc/9886/task/9900/stat : 9900 (java) S 9854 9854 8982 0 -1 1077944384 704 0 0 0 9 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088196405872 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9901] ppid=9854 vsize=8414124 memory=784 CPUtime=0.07 cores=0-7
/proc/9886/task/9901/stat : 9901 (java) S 9854 9854 8982 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088195353072 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9902] ppid=9854 vsize=8414124 memory=1764 CPUtime=0.09 cores=0-7
/proc/9886/task/9902/stat : 9902 (java) S 9854 9854 8982 0 -1 1077944384 340 0 0 0 9 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088194300784 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9903] ppid=9854 vsize=8414124 memory=1400 CPUtime=0.23 cores=0-7
/proc/9886/task/9903/stat : 9903 (java) S 9854 9854 8982 0 -1 1077944384 639 0 0 0 23 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088193247984 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9904] ppid=9854 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/9886/task/9904/stat : 9904 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140086129715552 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9905] ppid=9854 vsize=8414124 memory=56960 CPUtime=0 cores=0-7
/proc/9886/task/9905/stat : 9905 (java) S 9854 9854 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512554661 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088192194864 140088835721858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9907] ppid=9854 vsize=8414124 memory=1400 CPUtime=0 cores=0-7
/proc/9886/task/9907/stat : 9907 (java) S 9854 9854 8982 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140088184161600 140088835735321 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9909] ppid=9854 vsize=8414124 memory=9872492 CPUtime=0 cores=0-7
/proc/9886/task/9909/stat : 9909 (java) S 9854 9854 8982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085458616208 140088835732637 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9910] ppid=9854 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9886/task/9910/stat : 9910 (java) S 9854 9854 8982 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512554734 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085727051536 140088835732637 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
[pid=9886/tid=9911] ppid=9854 vsize=8414124 memory=123612 CPUtime=0 cores=0-7
/proc/9886/task/9911/stat : 9911 (java) S 9854 9854 8982 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 512554736 8616062976 30903 33554432000 4194304 4196468 140722727355424 140085190188848 140088835720917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27832320 140722727363552 140722727363718 140722727363718 140722727366607 0
Current children cumulated CPU time: 224.76 s
Current children cumulated vsize: 10232684 KiB
Current children cumulated memory: 1244052 KiB

Child status: 0
Real time (s): 144.884
CPU time (s): 224.923
CPU user time (s): 212.018
CPU system time (s): 12.9053
CPU usage (%): 155.243
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9875144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.018
system time used= 12.9053
maximum resident set size= 9874152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24163
involuntary context switches= 903


# summary of solver processes directly reported to runsolver:
#   pid: 9854
#   total CPU time (s): 224.923
#   total CPU user time (s): 212.018
#   total CPU system time (s): 12.9053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32154 second user time and 1.11837 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-25 00:04:54
IDJOB=4405174
IDBENCH=140010
IDSOLVER=2867
FILE ID=node126/4405174-1569362732
RUNJOBID= node126-1569359605-9009
PBS_JOBID= 21705122
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-16-16.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405174-1569362732/watcher-4405174-1569362732 -o /var/tmp/evaluation-result-4405174-1569362732/solver-4405174-1569362732 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569359605-9009 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405174-1569362732.xml

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

MD5SUM BENCH= 4f70966c99dd40579db6abd1a80acf5b
RANDOM SEED=1135330989

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25259616 kB
MemAvailable:   31842600 kB
Buffers:          100948 kB
Cached:          6713144 kB
SwapCached:         7624 kB
Active:          3381680 kB
Inactive:        3442292 kB
Active(anon):       3780 kB
Inactive(anon):    56912 kB
Active(file):    3377900 kB
Inactive(file):  3385380 kB
Unevictable:      109444 kB
Mlocked:          109444 kB
SwapTotal:      67108860 kB
SwapFree:       66997096 kB
Dirty:             21100 kB
Writeback:             0 kB
AnonPages:        112804 kB
Mapped:            54388 kB
Shmem:             41676 kB
Slab:             276504 kB
SReclaimable:     248164 kB
SUnreclaim:        28340 kB
KernelStack:        3424 kB
PageTables:         5432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node126 at 2019-09-25 00:07:19