Trace number 4392710

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 1814.57 1464.45

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m1296-04.xml
MD5SUM2d28027fc76d6f94be685cc66f299382
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.734935
Satisfiable
(Un)Satisfiability was proved
Number of variables259
Number of constraints561
Number of domains1
Minimum domain size1296
Maximum domain size1296
Distribution of domain sizes[{"size":1296,"count":259}]
Minimum variable degree2
Maximum variable degree13
Distribution of variable degrees[{"degree":2,"count":59},{"degree":3,"count":52},{"degree":4,"count":47},{"degree":6,"count":32},{"degree":7,"count":12},{"degree":8,"count":16},{"degree":9,"count":16},{"degree":10,"count":12},{"degree":11,"count":9},{"degree":12,"count":3},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity259
Distribution of constraint arities[{"arity":1,"count":101},{"arity":2,"count":459},{"arity":259,"count":1}]
Number of extensional constraints560
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":560},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24486-serial-file.bin HOME/instance-4392710-1568431987.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:32:26 CEST 2019
0.66/0.56	c PID: 24489
0.66/0.56	c IP: 172.20.3.117
0.66/0.56	c HOST: node117.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.35/1.15	c (0,0) Parsing End
2.35/1.16	c (0,0) CSP: 259 int (0 aux), 0 bool (0 aux), 561 ctr, max domain size 1296
2.35/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.35/1.16	c (0,0) Constraint Name Generate Begin
2.35/1.17	c (0,0) Ctr:HOME/instance-4392710-1568431987.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.35/1.17	c (0,0) Constraint Name Generate End
2.35/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.35/1.17	c (0,0) CSP to CSPinCNF Begin
86.65/68.42	c (67,66) translated 57 (10%) constraints
172.57/134.49	c (133,129) translated 113 (20%) constraints
254.91/200.09	c (199,192) translated 169 (30%) constraints
332.25/265.13	c (264,256) translated 225 (40%) constraints
406.83/329.59	c (329,318) translated 281 (50%) constraints
479.31/393.86	c (393,382) translated 337 (60%) constraints
555.20/458.51	c (457,445) translated 393 (70%) constraints
628.27/522.81	c (522,508) translated 449 (80%) constraints
647.41/537.42	c (536,522) translated 505 (90%) constraints
647.91/537.74	c (537,522) translated 561 (100%) constraints
648.01/537.86	c (537,522) ===========================================
651.03/540.75	c (540,525) Hybrid: #OE=595123, #LE=0
651.03/540.75	c (540,525) Hybrid
651.03/540.75	c (540,525) ===========================================
673.87/559.36	c (558,543) translated 923274 (10%) constraints
696.95/578.23	c (577,562) translated 1846548 (20%) constraints
722.02/597.50	c (596,580) translated 2769822 (30%) constraints
740.22/615.70	c (615,598) translated 3693095 (40%) constraints
765.04/634.76	c (634,616) translated 4616369 (50%) constraints
789.63/653.88	c (653,635) translated 5539643 (60%) constraints
814.35/673.00	c (672,653) translated 6462916 (70%) constraints
832.65/691.23	c (690,671) translated 7386190 (80%) constraints
857.08/710.25	c (709,689) translated 8309464 (90%) constraints
881.71/729.21	c (728,708) translated 9232737 (100%) constraints
881.71/729.21	c (728,708) CSP to CSPinCNF End
881.92/729.43	c (728,708) CSP: 259 int (0 aux), 594864 bool (594864 aux), 9232737 ctr, max domain size 1296
881.92/729.43	c (728,708) Heap : 11222 MiB used (max 21854 MiB), NonHeap : 29 MiB used (max 0 MiB)
881.92/729.43	c (728,708) CSPinCNF Propagation Begin
1089.22/878.34	c (877,848) 0 values, 9374 unsatisfiable literals, and 8957 valid clauses are removed
1089.22/878.34	c (877,848) CSPinCNF Propagation End
1089.42/878.55	c (878,849) CSP: 259 int (0 aux), 594864 bool (594864 aux), 9223780 ctr, max domain size 1296
1089.42/878.55	c (878,849) Heap : 15818 MiB used (max 22122 MiB), NonHeap : 30 MiB used (max 0 MiB)
1092.20/881.20	c (880,851) Hybrid: #OE=595123, #LE=0
1092.20/881.20	c (880,851) Simplify CSPinCNF Begin
1118.56/897.03	c (896,866) Simplify CSPinCNF End
1118.75/897.28	c (896,866) CSP: 259 int (0 aux), 661686 bool (661686 aux), 9290602 ctr, max domain size 1296
1118.75/897.28	c (896,866) Heap : 19452 MiB used (max 20717 MiB), NonHeap : 31 MiB used (max 0 MiB)
1118.75/897.28	c (896,866) Calculate Precise Domain Begin
1118.75/897.28	c (896,866) 0 values are removed by re-calculation
1118.75/897.28	c (896,866) Calculate Precise Domain End
1119.05/897.53	c (896,866) CSP: 259 int (0 aux), 661686 bool (661686 aux), 9290602 ctr, max domain size 1296
1119.05/897.53	c (896,866) Heap : 19452 MiB used (max 20717 MiB), NonHeap : 31 MiB used (max 0 MiB)
1119.05/897.53	c (896,866) CSPinCNF to SatSolver Begin
1575.39/1248.32	c (1247,1195) 929061 (10 %) CSP clauses are encoded (0 SAT variables, 87599925 SAT clauses)
1586.65/1258.05	c (1257,1204) 1858121 (20 %) CSP clauses are encoded (0 SAT variables, 88528985 SAT clauses)
1597.56/1267.74	c (1267,1214) 2787181 (30 %) CSP clauses are encoded (0 SAT variables, 89458045 SAT clauses)
1609.24/1277.53	c (1276,1223) 3716241 (40 %) CSP clauses are encoded (0 SAT variables, 90387105 SAT clauses)
1620.37/1287.26	c (1286,1233) 4645301 (50 %) CSP clauses are encoded (0 SAT variables, 91316165 SAT clauses)
1632.51/1297.10	c (1296,1242) 5574362 (60 %) CSP clauses are encoded (0 SAT variables, 92245226 SAT clauses)
1644.07/1306.82	c (1306,1252) 6503422 (70 %) CSP clauses are encoded (0 SAT variables, 93174286 SAT clauses)
1656.71/1316.75	c (1316,1261) 7432482 (80 %) CSP clauses are encoded (0 SAT variables, 94103346 SAT clauses)
1672.60/1327.08	c (1326,1271) 8361542 (90 %) CSP clauses are encoded (0 SAT variables, 95032406 SAT clauses)
1685.70/1337.14	c (1336,1281) 9290602 (100 %) CSP clauses are encoded (0 SAT variables, 95961466 SAT clauses)
1685.70/1337.14	c (1336,1281) CSPinCNF to SatSolver End
1685.70/1337.14	c (1336,1281) Heap : 11603 MiB used (max 21487 MiB), NonHeap : 32 MiB used (max 0 MiB)
1685.70/1337.14	c (1336,1281) 996696 bool, 95961467 clause
1685.70/1337.14	c (1336,1281) Export Begin
1685.84/1337.25	c (1336,1281) Export to HOME/scop-24486-serial-file.bin
1685.84/1337.25	c (1336,1281) Export End
1685.84/1337.25	c (1336,1281) Export File Size: 0.05 MB
1685.84/1337.25	c (1336,1281) 0,0,728,878,896,896,1336,STOP-AFTER(DIMACS)
1685.84/1337.25	c END-Prog: Sat Sep 14 05:54:42 CEST 2019
0.00/1337.37	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24486-serial-file.bin
1686.07/1337.84	c (0,0) Read Serial File Begin
1686.07/1337.84	c (0,0) HOME/scop-24486-serial-file.bin
1686.91/1338.07	c (0,0) Read Serial File End
1686.91/1338.08	
1686.91/1338.08	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
1686.91/1338.08	(Solving Process)
1686.91/1338.08	
1687.09/1338.11	c BEGIN-Prog: Sat Sep 14 05:54:43 CEST 2019
1687.09/1338.11	c PID: 24608
1687.09/1338.11	c IP: 172.20.3.117
1687.09/1338.11	c HOST: node117.alineos.net
1687.09/1338.11	c (0,0) SatSolver.solve Begin
1687.09/1338.11	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392710-1568431987.xml-scop-24489.cnf
1687.09/1338.14	c (0,0) c
1687.09/1338.14	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)
1687.09/1338.14	c (0,0) c
1687.09/1338.14	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1687.09/1338.14	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1687.09/1338.14	c (0,0) c ========================================[ Problem Statistics ]===========================================
1687.09/1338.14	c (0,0) c |                                                                                                       |
1720.85/1371.74	c (33,0) c |  Number of variables:        996696                                                                   |
1720.85/1371.74	c (33,0) c |  Number of clauses:        95961467                                                                   |
1720.85/1371.74	c (33,0) c |  Parse time:                  30.88 s                                                                 |
1720.85/1371.74	c (33,0) c |                                                                                                       |
1726.37/1377.29	c (39,0) c | Too many clauses... No preprocessing                                                                  |
1726.37/1377.29	c (39,0) c |  Simplification time:          4.92 s                                                                 |
1726.37/1377.29	c (39,0) c |                                                                                                       |
1726.37/1377.29	c (39,0) c |  One Solver is taking   7685.34Mb... Let's take   1 solvers for this run (max 40% of the maxmemory).  |
1726.37/1377.29	c (39,0) c |  Generating clones                                                                                    |
1726.37/1377.29	c (39,0) c |  all clones generated. Memory =  7685.34Mb.                                                           |
1726.37/1377.29	c (39,0) c ========================================================================================================|
1726.37/1377.29	c (39,0) c
1726.37/1377.29	c (39,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1726.37/1377.29	c (39,0) c
1726.37/1377.29	c (39,0) c |-----------------------|------------|
1726.37/1377.29	c (39,0) c | Threads               |          0 |
1726.37/1377.29	c (39,0) c |-----------------------|------------|
1726.37/1377.29	c (39,0) c | randomizeFirstDescent |      False |
1726.37/1377.29	c (39,0) c | adaptStrategeis       |       True |
1726.37/1377.29	c (39,0) c | forceUnsatOnNewDescent|       True |
1726.37/1377.29	c (39,0) c | Initial random_seed   |   91648253 |
1726.37/1377.29	c (39,0) c | chanseokStrategy      |      False |
1726.37/1377.29	c (39,0) c | coLBDBound            |          5 |
1726.37/1377.29	c (39,0) c | glureduce             |       True |
1726.37/1377.29	c (39,0) c | firstReduceDB         |       2000 |
1726.37/1377.29	c (39,0) c | incReduceDB           |        300 |
1726.37/1377.29	c (39,0) c | luby_restart          |      False |
1726.37/1377.29	c (39,0) c | luby_restart_factor   |        100 |
1726.37/1377.29	c (39,0) c | var_decay             |     0.8000 |
1726.37/1377.29	c (39,0) c | max_var_decay         |     0.9500 |
1726.37/1377.29	c (39,0) c | randomize_on_restarts |      False |
1726.37/1377.29	c (39,0) c | remove_satisfied      |       True |
1726.37/1377.29	c (39,0) c |-----------------------|------------|
1755.58/1406.46	c (68,0) c
1755.58/1406.46	c (68,0) c |------------------------------------------------------------------------------------------------------------------------|
1755.58/1406.46	c (68,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1755.58/1406.46	c (68,0) c |------------------------------------------------------------------------------------------------------------------------|
1755.58/1406.46	c (68,0) c |  0 |     11 |      40003 |       5205 |   120449 |     4207 |      357 |        0 |        0 |      211 |  20 |  0.000 |
1755.58/1406.46	c (68,0) c 
1755.58/1406.46	c (68,0) c synthesis        5205 conflicts    31943141 propagations       84 conflicts/sec   513366 propagations/sec
1755.58/1406.46	c (68,0) c real: 68.3305 s, cpu: 62.2229 s, memory: 8333.34 Mb
1785.61/1436.46	c (98,0) c
1785.61/1436.46	c (98,0) c |------------------------------------------------------------------------------------------------------------------------|
1785.61/1436.46	c (98,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1785.61/1436.46	c (98,0) c |------------------------------------------------------------------------------------------------------------------------|
1785.61/1436.46	c (98,0) c |  0 |     30 |      70982 |      18077 |   209348 |     9279 |     3892 |        0 |        0 |      440 |  20 |  0.001 |
1785.61/1436.46	c (98,0) c 
1785.61/1436.46	c (98,0) c synthesis       18077 conflicts    82964855 propagations      197 conflicts/sec   903086 propagations/sec
1785.61/1436.46	c (98,0) c real: 98.3305 s, cpu: 91.8682 s, memory: 8397.34 Mb
1812.52/1463.32	c (125,0) c
1812.52/1463.32	c (125,0) c real time : 125.186 s
1812.52/1463.32	c (125,0) c cpu time  : 118.16 s
1812.52/1463.32	c (125,0) c
1812.52/1463.32	c (125,0) c
1812.52/1463.32	c (125,0) c
1812.52/1463.32	c (125,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1812.52/1463.32	c (125,0) c
1812.52/1463.32	c (125,0) c |---------------|-----------------|------------|
1812.52/1463.32	c (125,0) c | Threads       |      Total      |          0 |
1812.52/1463.32	c (125,0) c |---------------|-----------------|------------|
1812.52/1463.32	c (125,0) c | Conflicts     |           28731 |      28731 |
1812.52/1463.32	c (125,0) c | Decisions     |           96389 |      96389 |
1812.52/1463.32	c (125,0) c | Propagations  |       125598932 |  125598932 |
1812.52/1463.32	c (125,0) c | ReduceDBs     |               4 |          4 |
1812.52/1463.32	c (125,0) c | SimpDBs       |               1 |          1 |
1812.52/1463.32	c (125,0) c | Restarts      |              52 |         52 |
1812.52/1463.32	c (125,0) c | ForcedImports |               0 |          0 |
1812.52/1463.32	c (125,0) c | PropBinClauses|       123249321 |  123249321 |
1812.52/1463.32	c (125,0) c | PropPreBlocker|      2749070348 | 2749070348 |
1812.52/1463.32	c (125,0) c | PropNotBlocker|       828557530 |  828557530 |
1812.52/1463.32	c (125,0) c | LitFullScans  |      3905513759 | 3905513759 |
1812.52/1463.32	c (125,0) c | LitScanFracts |          500378 |     500378 |
1812.52/1463.32	c (125,0) c | DecisionLevel0|              68 |         68 |
1812.52/1463.32	c (125,0) c | Periods       |             650 |        650 |
1812.52/1463.32	c (125,0) c | Margin        |              20 |         20 |
1812.52/1463.32	c (125,0) c | Avg_Trail     |                 |      21625 |
1812.52/1463.32	c (125,0) c | Avg_DL        |                 |         40 |
1812.52/1463.32	c (125,0) c | Avg_Res       |                 |          0 |
1812.52/1463.32	c (125,0) c | Avg_Res_Seen  |                 |          0 |
1812.52/1463.32	c (125,0) c |---------------|-----------------|------------|
1812.52/1463.32	c (125,0) c | Exported      |            6404 |       6404 |
1812.52/1463.32	c (125,0) c | Imported      |               0 |          0 |
1812.52/1463.32	c (125,0) c | Good          |               0 |          0 |
1812.52/1463.32	c (125,0) c | Purge         |               0 |          0 |
1812.52/1463.32	c (125,0) c | Promoted      |               0 |          0 |
1812.52/1463.32	c (125,0) c | Remove_Imp    |               0 |          0 |
1812.52/1463.32	c (125,0) c | Blocked_Reuse |               0 |          0 |
1812.52/1463.32	c (125,0) c |---------------|-----------------|------------|
1812.52/1463.32	c (125,0) c | Unaries       |                 |         16 |
1812.52/1463.32	c (125,0) c | Binaries      |                 |        408 |
1812.52/1463.32	c (125,0) c | Glues         |                 |       1739 |
1812.52/1463.32	c (125,0) c |---------------|-----------------|------------|
1812.52/1463.32	c (125,0) c | Orig_Seen     |             0 % |     241158 |
1812.52/1463.32	c (125,0) c | Diff Orig seen|                 |      X     |
1812.52/1463.32	c (125,0) c | Hamming       |             0 % |      X     |
1812.52/1463.32	c (125,0) c |---------------|-----------------|------------|
1812.52/1463.32	c (125,0) c | RunningTime   |                 |   86.0 100%|
1812.52/1463.32	c (125,0) c | WaitingTime   |                 |    0.0   0%|
1812.52/1463.32	c (125,0) c | ExchangingTime|                 |    0.0   0%|
1812.52/1463.32	c (125,0) c | PeriodProcTime|                 |    0.0   0%|
1812.52/1463.32	c (125,0) c | SolvingTime   |                 |   86.0     |
1812.52/1463.32	c (125,0) c | PropagationTim|                 |   81.7  95%|
1812.52/1463.32	c (125,0) c | AnalysisTime  |                 |    2.8   3%|
1812.52/1463.32	c (125,0) c | ReductionTime |                 |    0.0   0%|
1812.52/1463.32	c (125,0) c | SimplifyTime  |                 |    0.0   0%|
1812.52/1463.32	c (125,0) c | UsedRateTime  |                 |    0.0   0%|
1812.52/1463.32	c (125,0) c | OverlapRateTim|                 |    0.0   0%|
1812.52/1463.32	c (125,0) c |---------------|-----------------|------------|
1812.52/1463.32	c (125,0) c
1812.52/1463.32	c (125,0) c
1812.52/1463.32	c (125,0) c Threads : 1
1812.52/1463.32	c (125,0) c Winner : 0
1812.52/1463.32	c (125,0) c Conflicts_0 : 28731
1812.52/1463.32	c (125,0) c Conflicts_total : 28731
1812.52/1463.32	c (125,0) c Conflicts_winner : 28731
1812.52/1463.32	c (125,0) c Decisions_0 : 96389
1812.52/1463.32	c (125,0) c Decisions_total : 96389
1812.52/1463.32	c (125,0) c Decisions_winner : 96389
1812.52/1463.32	c (125,0) c Propagations_0 : 125598932
1812.52/1463.32	c (125,0) c Propagations_total : 125598932
1812.52/1463.32	c (125,0) c Propagations_winner : 125598932
1812.52/1463.32	c (125,0) c ReduceDBs_0 : 4
1812.52/1463.32	c (125,0) c ReduceDBs_total : 4
1812.52/1463.32	c (125,0) c ReduceDBs_winner : 4
1812.52/1463.32	c (125,0) c SimpDBs_0 : 1
1812.52/1463.32	c (125,0) c SimpDBs_total : 1
1812.52/1463.32	c (125,0) c SimpDBs_winner : 1
1812.52/1463.32	c (125,0) c Restarts_0 : 52
1812.52/1463.32	c (125,0) c Restarts_total : 52
1812.52/1463.32	c (125,0) c Restarts_winner : 52
1812.52/1463.32	c (125,0) c ForcedImports_0 : 0
1812.52/1463.32	c (125,0) c ForcedImports_total : 0
1812.52/1463.32	c (125,0) c ForcedImports_winner : 0
1812.52/1463.32	c (125,0) c PropsBinClauses_0 : 123249321
1812.52/1463.32	c (125,0) c PropsBinClauses_total : 123249321
1812.52/1463.32	c (125,0) c PropsBinClauses_winner : 123249321
1812.52/1463.32	c (125,0) c PropsPreBlocker_0 : 2749070348
1812.52/1463.32	c (125,0) c PropsPreBlocker_total : 2749070348
1812.52/1463.32	c (125,0) c PropsPreBlocker_winner : 2749070348
1812.52/1463.32	c (125,0) c PropsNotBlocker_0 : 828557530
1812.52/1463.32	c (125,0) c PropsNotBlocker_total : 828557530
1812.52/1463.32	c (125,0) c PropsNotBlocker_winner : 828557530
1812.52/1463.32	c (125,0) c PropsLitFullScans_0 : 3905513759
1812.52/1463.32	c (125,0) c PropsLitFullScans_total : 3905513759
1812.52/1463.32	c (125,0) c PropsLitFullScans_winner : 3905513759
1812.52/1463.32	c (125,0) c LitScanFractions_0 : 500378
1812.52/1463.32	c (125,0) c LitScanFractions_total : 500378
1812.52/1463.32	c (125,0) c LitScanFractions_winner : 500378
1812.52/1463.32	c (125,0) c DecisionLevel0_0 : 68
1812.52/1463.32	c (125,0) c DecisionLevel0_total : 68
1812.52/1463.32	c (125,0) c DecisionLevel0_winner : 68
1812.52/1463.32	c (125,0) c Periods_0 : 650
1812.52/1463.32	c (125,0) c Periods_total : 650
1812.52/1463.32	c (125,0) c Periods_winner : 650
1812.52/1463.32	c (125,0) c Margin_0 : 20
1812.52/1463.32	c (125,0) c Margin_total : 20
1812.52/1463.32	c (125,0) c Margin_winner : 20
1812.52/1463.32	c (125,0) c Exported_0 : 6404
1812.52/1463.32	c (125,0) c Exported_total : 6404
1812.52/1463.32	c (125,0) c Exported_winner : 6404
1812.52/1463.32	c (125,0) c Imported_0 : 0
1812.52/1463.32	c (125,0) c Imported_total : 0
1812.52/1463.32	c (125,0) c Imported_winner : 0
1812.52/1463.32	c (125,0) c Good_0 : 0
1812.52/1463.32	c (125,0) c Good_total : 0
1812.52/1463.32	c (125,0) c Good_winner : 0
1812.52/1463.32	c (125,0) c Purge_0 : 0
1812.52/1463.32	c (125,0) c Purge_total : 0
1812.52/1463.32	c (125,0) c Purge_winner : 0
1812.52/1463.32	c (125,0) c Promoted_0 : 0
1812.52/1463.32	c (125,0) c Promoted_total : 0
1812.52/1463.32	c (125,0) c Promoted_winner : 0
1812.52/1463.32	c (125,0) c Remove_Imp_0 : 0
1812.52/1463.33	c (125,0) c Remove_Imp_total : 0
1812.52/1463.33	c (125,0) c Remove_Imp_winner : 0
1812.52/1463.33	c (125,0) c Blocked_Reuse_0 : 0
1812.52/1463.33	c (125,0) c Blocked_Reuse_total : 0
1812.52/1463.33	c (125,0) c Blocked_Reuse_winner : 0
1812.52/1463.33	c (125,0) c Unaries_0 : 16
1812.52/1463.33	c (125,0) c Unaries_total : 16
1812.52/1463.33	c (125,0) c Unaries_winner : 16
1812.52/1463.33	c (125,0) c Binaries_0 : 408
1812.52/1463.33	c (125,0) c Binaries_total : 408
1812.52/1463.33	c (125,0) c Binaries_winner : 408
1812.52/1463.33	c (125,0) c Glues_0 : 1739
1812.52/1463.33	c (125,0) c Glues_total : 1739
1812.52/1463.33	c (125,0) c Glues_winner : 1739
1812.52/1463.33	c (125,0) c RunningTime_0 : 85.985756
1812.52/1463.33	c (125,0) c RunningTime_total : 85.985756
1812.52/1463.33	c (125,0) c RunningTime_winner : 85.985756
1812.52/1463.33	c (125,0) c WaitingTime_0 : 0.000000
1812.52/1463.33	c (125,0) c WaitingTime_total : 0.000000
1812.52/1463.33	c (125,0) c WaitingTime_winner : 0.000000
1812.52/1463.33	c (125,0) c ExchangingTime_0 : 0.006034
1812.52/1463.33	c (125,0) c ExchangingTime_total : 0.006034
1812.52/1463.33	c (125,0) c ExchangingTime_winner : 0.006034
1812.52/1463.33	c (125,0) c PeriodProcTime_0 : 0.005567
1812.52/1463.33	c (125,0) c PeriodProcTime_total : 0.005567
1812.52/1463.33	c (125,0) c PeriodProcTime_winner : 0.005567
1812.52/1463.33	c (125,0) c SolvingTime_0 : 85.997357
1812.52/1463.33	c (125,0) c SolvingTime_total : 85.997357
1812.52/1463.33	c (125,0) c SolvingTime_winner : 85.997357
1812.52/1463.33	c (125,0) c PropagationTime_0 : 81.702188
1812.52/1463.33	c (125,0) c PropagationTime_total : 81.702188
1812.52/1463.33	c (125,0) c PropagationTime_winner : 81.702188
1812.52/1463.33	c (125,0) c AnalysisTime_0 : 2.808394
1812.52/1463.33	c (125,0) c AnalysisTime_total : 2.808394
1812.52/1463.33	c (125,0) c AnalysisTime_winner : 2.808394
1812.52/1463.33	c (125,0) c ReductionTime_0 : 0.006793
1812.52/1463.33	c (125,0) c ReductionTime_total : 0.006793
1812.52/1463.33	c (125,0) c ReductionTime_winner : 0.006793
1812.52/1463.33	c (125,0) c SimplifyTime_0 : 0.000004
1812.52/1463.33	c (125,0) c SimplifyTime_total : 0.000004
1812.52/1463.33	c (125,0) c SimplifyTime_winner : 0.000004
1812.52/1463.33	c (125,0) c UsedRateTime_0 : 0.000000
1812.52/1463.33	c (125,0) c UsedRateTime_total : 0.000000
1812.52/1463.33	c (125,0) c UsedRateTime_winner : 0.000000
1812.52/1463.33	c (125,0) c OverlapRateTime_0 : 0.000000
1812.52/1463.33	c (125,0) c OverlapRateTime_total : 0.000000
1812.52/1463.33	c (125,0) c OverlapRateTime_winner : 0.000000
1812.52/1463.33	c (125,0) c
1812.52/1463.33	c (125,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1812.52/1463.33	c (125,0) c
1812.52/1463.33	c (125,0) c |-----------------------|------------|
1812.52/1463.33	c (125,0) c | Threads               |          0 |
1812.52/1463.33	c (125,0) c |-----------------------|------------|
1812.52/1463.33	c (125,0) c | randomizeFirstDescent |      False |
1812.52/1463.33	c (125,0) c | adaptStrategeis       |       True |
1812.52/1463.33	c (125,0) c | forceUnsatOnNewDescent|       True |
1812.52/1463.33	c (125,0) c | Initial random_seed   | 1784283744 |
1812.52/1463.33	c (125,0) c | chanseokStrategy      |      False |
1812.52/1463.33	c (125,0) c | coLBDBound            |          5 |
1812.52/1463.33	c (125,0) c | glureduce             |       True |
1812.52/1463.33	c (125,0) c | firstReduceDB         |       2000 |
1812.52/1463.33	c (125,0) c | incReduceDB           |        300 |
1812.52/1463.33	c (125,0) c | luby_restart          |      False |
1812.52/1463.33	c (125,0) c | luby_restart_factor   |        100 |
1812.52/1463.33	c (125,0) c | var_decay             |     0.8500 |
1812.52/1463.33	c (125,0) c | max_var_decay         |     0.9500 |
1812.52/1463.33	c (125,0) c | randomize_on_restarts |      False |
1812.52/1463.33	c (125,0) c | remove_satisfied      |       True |
1812.52/1463.33	c (125,0) c |-----------------------|------------|
1812.52/1463.33	c (125,0) 
1812.52/1463.33	c (125,0) s SATISFIABLE
1688.00/1463.94	c (126,0) SatSolver.solve End
1688.00/1463.94	c (126,0) Heap : 302 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1688.00/1463.94	c (126,0) Show results Begin
1813.94/1464.10	c (126,0) x[0] = 0
1813.94/1464.10	c (126,0) x[1] = 11
1813.94/1464.10	c (126,0) x[2] = 79
1813.94/1464.10	c (126,0) x[3] = 563
1813.94/1464.10	c (126,0) x[4] = 709
1813.94/1464.10	c (126,0) x[5] = 729
1813.94/1464.10	c (126,0) x[6] = 733
1813.94/1464.10	c (126,0) x[7] = 958
1813.94/1464.10	c (126,0) x[8] = 1135
1813.94/1464.10	c (126,0) x[9] = 83
1813.94/1464.10	c (126,0) x[10] = 633
1813.94/1464.10	c (126,0) x[11] = 662
1813.94/1464.10	c (126,0) x[12] = 768
1813.94/1464.10	c (126,0) x[13] = 779
1813.94/1464.10	c (126,0) x[14] = 838
1813.94/1464.10	c (126,0) x[15] = 981
1813.94/1464.10	c (126,0) x[16] = 110
1813.94/1464.10	c (126,0) x[17] = 193
1813.94/1464.10	c (126,0) x[18] = 293
1813.94/1464.10	c (126,0) x[19] = 522
1813.94/1464.10	c (126,0) x[20] = 1016
1813.94/1464.10	c (126,0) x[21] = 1072
1813.94/1464.11	c (126,0) x[22] = 1207
1813.94/1464.11	c (126,0) x[23] = 82
1813.94/1464.11	c (126,0) x[24] = 392
1813.94/1464.11	c (126,0) x[25] = 576
1813.94/1464.11	c (126,0) x[26] = 866
1813.94/1464.11	c (126,0) x[27] = 207
1813.94/1464.11	c (126,0) x[28] = 335
1813.94/1464.11	c (126,0) x[29] = 873
1813.94/1464.11	c (126,0) x[30] = 894
1813.94/1464.11	c (126,0) x[31] = 895
1813.94/1464.11	c (126,0) x[32] = 997
1813.94/1464.11	c (126,0) x[33] = 434
1813.94/1464.11	c (126,0) x[34] = 463
1813.94/1464.11	c (126,0) x[35] = 502
1813.94/1464.11	c (126,0) x[36] = 675
1813.94/1464.11	c (126,0) x[37] = 877
1813.94/1464.11	c (126,0) x[38] = 923
1813.94/1464.11	c (126,0) x[39] = 948
1813.94/1464.11	c (126,0) x[40] = 1222
1813.94/1464.11	c (126,0) x[41] = 159
1813.94/1464.11	c (126,0) x[42] = 425
1813.94/1464.11	c (126,0) x[43] = 703
1813.94/1464.11	c (126,0) x[44] = 850
1813.94/1464.11	c (126,0) x[45] = 872
1813.94/1464.11	c (126,0) x[46] = 1246
1813.94/1464.11	c (126,0) x[47] = 249
1813.94/1464.11	c (126,0) x[48] = 272
1813.94/1464.11	c (126,0) x[49] = 776
1813.94/1464.11	c (126,0) x[50] = 14
1813.94/1464.11	c (126,0) x[51] = 67
1813.94/1464.11	c (126,0) x[52] = 558
1813.94/1464.11	c (126,0) x[53] = 725
1813.94/1464.11	c (126,0) x[54] = 75
1813.94/1464.11	c (126,0) x[55] = 346
1813.94/1464.11	c (126,0) x[56] = 548
1813.94/1464.11	c (126,0) x[57] = 793
1813.94/1464.11	c (126,0) x[58] = 812
1813.94/1464.11	c (126,0) x[59] = 137
1813.94/1464.11	c (126,0) x[60] = 229
1813.94/1464.11	c (126,0) x[61] = 245
1813.94/1464.11	c (126,0) x[62] = 444
1813.94/1464.11	c (126,0) x[63] = 686
1813.94/1464.11	c (126,0) x[64] = 744
1813.94/1464.11	c (126,0) x[65] = 138
1813.94/1464.11	c (126,0) x[66] = 1164
1813.94/1464.11	c (126,0) x[67] = 742
1813.94/1464.11	c (126,0) x[68] = 837
1813.94/1464.11	c (126,0) x[69] = 338
1813.94/1464.11	c (126,0) x[70] = 674
1813.94/1464.11	c (126,0) x[71] = 803
1813.94/1464.11	c (126,0) x[72] = 1004
1813.94/1464.11	c (126,0) x[73] = 985
1814.16/1464.11	c (126,0) x[74] = 1046
1814.16/1464.11	c (126,0) x[75] = 41
1814.16/1464.11	c (126,0) x[76] = 400
1814.16/1464.11	c (126,0) x[77] = 704
1814.16/1464.11	c (126,0) x[78] = 1020
1814.16/1464.11	c (126,0) x[79] = 113
1814.16/1464.11	c (126,0) x[80] = 461
1814.16/1464.11	c (126,0) x[81] = 710
1814.16/1464.11	c (126,0) x[82] = 1151
1814.16/1464.11	c (126,0) x[83] = 1212
1814.16/1464.11	c (126,0) x[84] = 653
1814.16/1464.11	c (126,0) x[85] = 808
1814.16/1464.11	c (126,0) x[86] = 857
1814.16/1464.11	c (126,0) x[87] = 1189
1814.16/1464.11	c (126,0) x[88] = 97
1814.16/1464.11	c (126,0) x[89] = 112
1814.16/1464.11	c (126,0) x[90] = 661
1814.16/1464.11	c (126,0) x[91] = 734
1814.16/1464.11	c (126,0) x[92] = 773
1814.16/1464.11	c (126,0) x[93] = 926
1814.16/1464.11	c (126,0) x[94] = 971
1814.16/1464.11	c (126,0) x[95] = 62
1814.16/1464.11	c (126,0) x[96] = 663
1814.16/1464.11	c (126,0) x[97] = 1022
1814.16/1464.11	c (126,0) x[98] = 1037
1814.16/1464.11	c (126,0) x[99] = 659
1814.16/1464.11	c (126,0) x[100] = 1010
1814.16/1464.11	c (126,0) x[101] = 244
1814.16/1464.11	c (126,0) x[102] = 312
1814.16/1464.11	c (126,0) x[103] = 751
1814.16/1464.11	c (126,0) x[104] = 1036
1814.16/1464.11	c (126,0) x[105] = 480
1814.16/1464.11	c (126,0) x[106] = 735
1814.16/1464.11	c (126,0) x[107] = 818
1814.16/1464.11	c (126,0) x[108] = 907
1814.16/1464.11	c (126,0) x[109] = 993
1814.16/1464.11	c (126,0) x[110] = 1014
1814.16/1464.11	c (126,0) x[111] = 1048
1814.16/1464.11	c (126,0) x[112] = 1179
1814.16/1464.11	c (126,0) x[113] = 1220
1814.16/1464.11	c (126,0) x[114] = 117
1814.16/1464.11	c (126,0) x[115] = 17
1814.16/1464.11	c (126,0) x[116] = 644
1814.16/1464.11	c (126,0) x[117] = 949
1814.16/1464.11	c (126,0) x[118] = 1193
1814.16/1464.11	c (126,0) x[119] = 130
1814.16/1464.11	c (126,0) x[120] = 892
1814.16/1464.11	c (126,0) x[121] = 215
1814.16/1464.11	c (126,0) x[122] = 291
1814.16/1464.11	c (126,0) x[123] = 963
1814.16/1464.11	c (126,0) x[124] = 39
1814.16/1464.11	c (126,0) x[125] = 1138
1814.16/1464.11	c (126,0) x[126] = 1210
1814.16/1464.11	c (126,0) x[127] = 1226
1814.16/1464.11	c (126,0) x[128] = 29
1814.16/1464.11	c (126,0) x[129] = 762
1814.16/1464.11	c (126,0) x[130] = 1049
1814.16/1464.11	c (126,0) x[131] = 1265
1814.16/1464.11	c (126,0) x[132] = 759
1814.16/1464.11	c (126,0) x[133] = 795
1814.16/1464.11	c (126,0) x[134] = 929
1814.16/1464.11	c (126,0) x[135] = 569
1814.16/1464.11	c (126,0) x[136] = 656
1814.16/1464.11	c (126,0) x[137] = 908
1814.16/1464.11	c (126,0) x[138] = 1040
1814.16/1464.11	c (126,0) x[139] = 220
1814.16/1464.11	c (126,0) x[140] = 831
1814.16/1464.11	c (126,0) x[141] = 1087
1814.16/1464.11	c (126,0) x[142] = 1142
1814.16/1464.11	c (126,0) x[143] = 1173
1814.16/1464.11	c (126,0) x[144] = 1278
1814.16/1464.11	c (126,0) x[145] = 66
1814.16/1464.11	c (126,0) x[146] = 124
1814.16/1464.11	c (126,0) x[147] = 625
1814.16/1464.11	c (126,0) x[148] = 1077
1814.16/1464.11	c (126,0) x[149] = 1074
1814.16/1464.11	c (126,0) x[150] = 738
1814.16/1464.11	c (126,0) x[151] = 1106
1814.16/1464.11	c (126,0) x[152] = 3
1814.16/1464.11	c (126,0) x[153] = 887
1814.16/1464.11	c (126,0) x[154] = 1125
1814.16/1464.11	c (126,0) x[155] = 1209
1814.16/1464.11	c (126,0) x[156] = 18
1814.16/1464.11	c (126,0) x[157] = 324
1814.16/1464.11	c (126,0) x[158] = 407
1814.16/1464.11	c (126,0) x[159] = 552
1814.16/1464.11	c (126,0) x[160] = 1291
1814.16/1464.11	c (126,0) x[161] = 19
1814.16/1464.11	c (126,0) x[162] = 350
1814.16/1464.11	c (126,0) x[163] = 505
1814.16/1464.11	c (126,0) x[164] = 737
1814.16/1464.11	c (126,0) x[165] = 916
1814.16/1464.11	c (126,0) x[166] = 4
1814.16/1464.11	c (126,0) x[167] = 495
1814.16/1464.11	c (126,0) x[168] = 629
1814.16/1464.11	c (126,0) x[169] = 904
1814.16/1464.11	c (126,0) x[170] = 144
1814.16/1464.11	c (126,0) x[171] = 1035
1814.16/1464.11	c (126,0) x[172] = 162
1814.16/1464.11	c (126,0) x[173] = 492
1814.16/1464.11	c (126,0) x[174] = 484
1814.16/1464.11	c (126,0) x[175] = 702
1814.16/1464.11	c (126,0) x[176] = 902
1814.16/1464.11	c (126,0) x[177] = 1239
1814.16/1464.11	c (126,0) x[178] = 1043
1814.16/1464.11	c (126,0) x[179] = 1295
1814.16/1464.11	c (126,0) x[180] = 641
1814.16/1464.11	c (126,0) x[181] = 701
1814.16/1464.11	c (126,0) x[182] = 586
1814.16/1464.11	c (126,0) x[183] = 305
1814.16/1464.11	c (126,0) x[184] = 1186
1814.16/1464.11	c (126,0) x[185] = 1066
1814.16/1464.11	c (126,0) x[186] = 1126
1814.16/1464.11	c (126,0) x[187] = 1172
1814.16/1464.11	c (126,0) x[188] = 843
1814.16/1464.11	c (126,0) x[189] = 1228
1814.16/1464.11	c (126,0) x[190] = 169
1814.16/1464.11	c (126,0) x[191] = 541
1814.16/1464.11	c (126,0) x[192] = 834
1814.16/1464.11	c (126,0) x[193] = 945
1814.16/1464.11	c (126,0) x[194] = 1089
1814.16/1464.11	c (126,0) x[195] = 1162
1814.16/1464.11	c (126,0) x[196] = 1203
1814.16/1464.11	c (126,0) x[197] = 395
1814.16/1464.11	c (126,0) x[198] = 1241
1814.16/1464.11	c (126,0) x[199] = 224
1814.16/1464.11	c (126,0) x[200] = 417
1814.16/1464.11	c (126,0) x[201] = 618
1814.16/1464.11	c (126,0) x[202] = 694
1814.16/1464.11	c (126,0) x[203] = 749
1814.16/1464.11	c (126,0) x[204] = 973
1814.16/1464.11	c (126,0) x[205] = 1052
1814.16/1464.11	c (126,0) x[206] = 1252
1814.16/1464.11	c (126,0) x[207] = 1283
1814.16/1464.11	c (126,0) x[208] = 1290
1814.16/1464.11	c (126,0) x[209] = 410
1814.16/1464.11	c (126,0) x[210] = 673
1814.16/1464.11	c (126,0) x[211] = 893
1814.16/1464.11	c (126,0) x[212] = 828
1814.16/1464.11	c (126,0) x[213] = 1152
1814.16/1464.11	c (126,0) x[214] = 1158
1814.16/1464.11	c (126,0) x[215] = 259
1814.16/1464.11	c (126,0) x[216] = 316
1814.16/1464.11	c (126,0) x[217] = 1271
1814.16/1464.11	c (126,0) x[218] = 720
1814.16/1464.11	c (126,0) x[219] = 901
1814.16/1464.11	c (126,0) x[220] = 53
1814.16/1464.11	c (126,0) x[221] = 920
1814.16/1464.11	c (126,0) x[222] = 248
1814.16/1464.11	c (126,0) x[223] = 823
1814.16/1464.11	c (126,0) x[224] = 966
1814.16/1464.11	c (126,0) x[225] = 1096
1814.16/1464.11	c (126,0) x[226] = 1188
1814.16/1464.11	c (126,0) x[227] = 603
1814.16/1464.11	c (126,0) x[228] = 852
1814.16/1464.11	c (126,0) x[229] = 888
1814.16/1464.11	c (126,0) x[230] = 1176
1814.16/1464.11	c (126,0) x[231] = 339
1814.16/1464.11	c (126,0) x[232] = 564
1814.16/1464.11	c (126,0) x[233] = 1064
1814.16/1464.11	c (126,0) x[234] = 1170
1814.16/1464.11	c (126,0) x[235] = 431
1814.16/1464.11	c (126,0) x[236] = 1082
1814.16/1464.11	c (126,0) x[237] = 382
1814.16/1464.11	c (126,0) x[238] = 860
1814.16/1464.11	c (126,0) x[239] = 937
1814.16/1464.11	c (126,0) x[240] = 1099
1814.16/1464.11	c (126,0) x[241] = 1131
1814.16/1464.11	c (126,0) x[242] = 1281
1814.16/1464.11	c (126,0) x[243] = 98
1814.16/1464.11	c (126,0) x[244] = 304
1814.16/1464.11	c (126,0) x[245] = 295
1814.16/1464.11	c (126,0) x[246] = 573
1814.16/1464.11	c (126,0) x[247] = 785
1814.16/1464.11	c (126,0) x[248] = 1109
1814.16/1464.11	c (126,0) x[249] = 369
1814.16/1464.11	c (126,0) x[250] = 436
1814.16/1464.11	c (126,0) x[251] = 485
1814.16/1464.11	c (126,0) x[252] = 990
1814.16/1464.11	c (126,0) x[253] = 276
1814.16/1464.11	c (126,0) x[254] = 506
1814.16/1464.11	c (126,0) x[255] = 822
1814.16/1464.11	c (126,0) x[256] = 589
1814.16/1464.11	c (126,0) x[257] = 622
1814.16/1464.11	c (126,0) x[258] = 1133
1814.16/1464.11	s SATISFIABLE
1814.16/1464.12	v <instantiation>
1814.16/1464.12	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258]</list>
1814.16/1464.12	v     <values>0 11 79 563 709 729 733 958 1135 83 633 662 768 779 838 981 110 193 293 522 1016 1072 1207 82 392 576 866 207 335 873 894 895 997 434 463 502 675 877 923 948 1222 159 425 703 850 872 1246 249 272 776 14 67 558 725 75 346 548 793 812 137 229 245 444 686 744 138 1164 742 837 338 674 803 1004 985 1046 41 400 704 1020 113 461 710 1151 1212 653 808 857 1189 97 112 661 734 773 926 971 62 663 1022 1037 659 1010 244 312 751 1036 480 735 818 907 993 1014 1048 1179 1220 117 17 644 949 1193 130 892 215 291 963 39 1138 1210 1226 29 762 1049 1265 759 795 929 569 656 908 1040 220 831 1087 1142 1173 1278 66 124 625 1077 1074 738 1106 3 887 1125 1209 18 324 407 552 1291 19 350 505 737 916 4 495 629 904 144 1035 162 492 484 702 902 1239 1043 1295 641 701 586 305 1186 1066 1126 1172 843 1228 169 541 834 945 1089 1162 1203 395 1241 224 417 618 694 749 973 1052 1252 1283 1290 410 673 893 828 1152 1158 259 316 1271 720 901 53 920 248 823 966 1096 1188 603 852 888 1176 339 564 1064 1170 431 1082 382 860 937 1099 1131 1281 98 304 295 573 785 1109 369 436 485 990 276 506 822 589 622 1133</values>
1814.16/1464.12	v </instantiation>
1814.16/1464.12	c (126,0) Show results End
1814.16/1464.12	c (126,0) Heap : 323 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1814.16/1464.12	c (126,0) 126,126,STOP-AFTER(ALL)
1814.16/1464.12	c END-Prog: Sat Sep 14 05:56:49 CEST 2019

Verifier Data 

OK

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 (14574 MiB free)
  memory of node 1: 16384 MiB (15638 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.101362 s]*
/proc/loadavg: 3.15 6.72 7.36 2/212 24508
/proc/meminfo: memFree=30845532/32770624 swapFree=66947720/67108860
[pid=24486] ppid=24483 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24486/stat : 24486 (scop.sh) S 24483 24486 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419140668 115843072 348 33554432000 4194304 5098028 140725106277376 140725106274632 139843347837564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27226112 140725106279204 140725106279532 140725106279532 140725106282445 0
/proc/24486/statm: 28282 348 296 221 0 87 0
[pid=24489] ppid=24486 vsize=27314120 memory=106336 CPUtime=0.11 cores=0-7
/proc/24489/stat : 24489 (java) S 24486 24486 15751 0 -1 1077944320 6182 0 0 0 9 2 0 0 20 0 20 0 419140668 27969658880 26584 33554432000 4194304 4196468 140734642360768 140734642343312 139787446517495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
/proc/24489/statm: 6828530 26584 2795 1 0 6790935 0
[pid=24489/tid=24490] ppid=24486 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/24489/task/24490/stat : 24490 (java) R 24486 24486 15751 0 -1 4202560 4279 0 0 0 7 1 0 0 20 0 20 0 419140668 27969658880 26584 33554432000 4194304 4196468 140734642360768 139787418331856 139787431888777 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24491] ppid=24486 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24489/task/24491/stat : 24491 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140670 27969658880 26584 33554432000 4194304 4196468 140734642360768 139787450760208 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24492] ppid=24486 vsize=27314120 memory=140703724283520 CPUtime=0 cores=0-7
/proc/24489/task/24492/stat : 24492 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 26584 33554432000 4194304 4196468 140734642360768 139787234155664 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24493] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24493/stat : 24493 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 26584 33554432000 4194304 4196468 140734642360768 139787233102608 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24494] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24494/stat : 24494 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 26584 33554432000 4194304 4196468 140734642360768 139787232050064 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24495] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24495/stat : 24495 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 26584 33554432000 4194304 4196468 140734642360768 139787230997008 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24496] ppid=24486 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24489/task/24496/stat : 24496 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 26584 33554432000 4194304 4196468 140734642360768 139787229944464 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24497] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24497/stat : 24497 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 26584 33554432000 4194304 4196468 140734642360768 139787228891408 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24498] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24498/stat : 24498 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 26584 33554432000 4194304 4196468 140734642360768 139786861926800 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24499] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24499/stat : 24499 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140672 27969658880 26584 33554432000 4194304 4196468 140734642360768 139785699039984 139787446528642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24500] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24500/stat : 24500 (java) S 24486 24486 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419140673 27969658880 26584 33554432000 4194304 4196468 140734642360768 139785347786400 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24501] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24501/stat : 24501 (java) S 24486 24486 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419140673 27969658880 26584 33554432000 4194304 4196468 140734642360768 139785213564144 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24502] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24502/stat : 24502 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 26584 33554432000 4194304 4196468 140734642360768 139784839059920 139787446536091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24503] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24503/stat : 24503 (java) S 24486 24486 15751 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 26584 33554432000 4194304 4196468 140734642360768 139785697986800 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24504] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24504/stat : 24504 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 26584 33554432000 4194304 4196468 140734642360768 139785696934256 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24505] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24505/stat : 24505 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 26584 33554432000 4194304 4196468 140734642360768 139785695881200 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24506] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24506/stat : 24506 (java) R 24486 24486 15751 0 -1 4202560 261 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 26584 33554432000 4194304 4196468 140734642360768 139785694828656 139787425460172 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24507] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24507/stat : 24507 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 26584 33554432000 4194304 4196468 140734642360768 139784341154784 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24508] ppid=24486 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24489/task/24508/stat : 24508 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140676 27969658880 26584 33554432000 4194304 4196468 140734642360768 139785693777072 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107728 KiB

[startup+0.210466 s]*
/proc/loadavg: 3.15 6.72 7.36 3/212 24508
/proc/meminfo: memFree=30823736/32770624 swapFree=66947720/67108860
[pid=24486] ppid=24483 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24486/stat : 24486 (scop.sh) S 24483 24486 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419140668 115843072 348 33554432000 4194304 5098028 140725106277376 140725106274632 139843347837564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27226112 140725106279204 140725106279532 140725106279532 140725106282445 0
/proc/24486/statm: 28282 348 296 221 0 87 0
[pid=24489] ppid=24486 vsize=27314120 memory=123396 CPUtime=0.25 cores=0-7
/proc/24489/stat : 24489 (java) S 24486 24486 15751 0 -1 1077944320 11783 0 0 0 21 4 0 0 20 0 20 0 419140668 27969658880 30849 33554432000 4194304 4196468 140734642360768 140734642343312 139787446517495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
/proc/24489/statm: 6828530 30849 2922 1 0 6790935 0
[pid=24489/tid=24490] ppid=24486 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24489/task/24490/stat : 24490 (java) R 24486 24486 15751 0 -1 4202560 9480 0 0 0 17 3 0 0 20 0 20 0 419140668 27969658880 30849 33554432000 4194304 4196468 140734642360768 139787418316880 139787446531359 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24491] ppid=24486 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/24489/task/24491/stat : 24491 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140670 27969658880 30849 33554432000 4194304 4196468 140734642360768 139787450760208 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24492] ppid=24486 vsize=27314120 memory=140703727377302 CPUtime=0 cores=0-7
/proc/24489/task/24492/stat : 24492 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 30849 33554432000 4194304 4196468 140734642360768 139787234155664 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24493] ppid=24486 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24489/task/24493/stat : 24493 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 30849 33554432000 4194304 4196468 140734642360768 139787233102608 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24494] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24494/stat : 24494 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 30849 33554432000 4194304 4196468 140734642360768 139787232050064 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24495] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24495/stat : 24495 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 30849 33554432000 4194304 4196468 140734642360768 139787230997008 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24496] ppid=24486 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24489/task/24496/stat : 24496 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 30849 33554432000 4194304 4196468 140734642360768 139787229944464 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24497] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24497/stat : 24497 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 30849 33554432000 4194304 4196468 140734642360768 139787228891408 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24498] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24498/stat : 24498 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 30849 33554432000 4194304 4196468 140734642360768 139786861926800 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24499] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24499/stat : 24499 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140672 27969658880 30849 33554432000 4194304 4196468 140734642360768 139785699039984 139787446528642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24500] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24500/stat : 24500 (java) S 24486 24486 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419140673 27969658880 30849 33554432000 4194304 4196468 140734642360768 139785347786400 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24501] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24501/stat : 24501 (java) S 24486 24486 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419140673 27969658880 30849 33554432000 4194304 4196468 140734642360768 139785213564144 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24502] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24502/stat : 24502 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 30849 33554432000 4194304 4196468 140734642360768 139784839059920 139787446536091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24503] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24503/stat : 24503 (java) S 24486 24486 15751 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 30849 33554432000 4194304 4196468 140734642360768 139785697986800 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24504] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24504/stat : 24504 (java) S 24486 24486 15751 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 30849 33554432000 4194304 4196468 140734642360768 139785696934256 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24505] ppid=24486 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24489/task/24505/stat : 24505 (java) S 24486 24486 15751 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 30849 33554432000 4194304 4196468 140734642360768 139785695881200 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24506] ppid=24486 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24489/task/24506/stat : 24506 (java) S 24486 24486 15751 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 419140675 27969658880 30849 33554432000 4194304 4196468 140734642360768 139785694828656 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24507] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24507/stat : 24507 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 30849 33554432000 4194304 4196468 140734642360768 139784341154784 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24508] ppid=24486 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24489/task/24508/stat : 24508 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140676 27969658880 30849 33554432000 4194304 4196468 140734642360768 139785693777072 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124788 KiB

[startup+0.310259 s]*
/proc/loadavg: 3.15 6.72 7.36 2/212 24508
/proc/meminfo: memFree=30820696/32770624 swapFree=66947720/67108860
[pid=24486] ppid=24483 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24486/stat : 24486 (scop.sh) S 24483 24486 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419140668 115843072 348 33554432000 4194304 5098028 140725106277376 140725106274632 139843347837564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27226112 140725106279204 140725106279532 140725106279532 140725106282445 0
/proc/24486/statm: 28282 348 296 221 0 87 0
[pid=24489] ppid=24486 vsize=27314120 memory=127572 CPUtime=0.42 cores=0-7
/proc/24489/stat : 24489 (java) S 24486 24486 15751 0 -1 1077944320 12786 0 0 0 38 4 0 0 20 0 20 0 419140668 27969658880 31893 33554432000 4194304 4196468 140734642360768 140734642343312 139787446517495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
/proc/24489/statm: 6828530 31893 3026 1 0 6790935 0
[pid=24489/tid=24490] ppid=24486 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/24489/task/24490/stat : 24490 (java) R 24486 24486 15751 0 -1 4202560 10302 0 0 0 27 3 0 0 20 0 20 0 419140668 27969658880 31893 33554432000 4194304 4196468 140734642360768 139787418347568 139787430597982 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24491] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24491/stat : 24491 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140670 27969658880 31893 33554432000 4194304 4196468 140734642360768 139787450760208 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24492] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24492/stat : 24492 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 31893 33554432000 4194304 4196468 140734642360768 139787234155664 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24493] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24493/stat : 24493 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 31893 33554432000 4194304 4196468 140734642360768 139787233102608 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24494] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24494/stat : 24494 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 31893 33554432000 4194304 4196468 140734642360768 139787232050064 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24495] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24495/stat : 24495 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 31893 33554432000 4194304 4196468 140734642360768 139787230997008 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24496] ppid=24486 vsize=27314120 memory=140703598471855 CPUtime=0 cores=0-7
/proc/24489/task/24496/stat : 24496 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 31893 33554432000 4194304 4196468 140734642360768 139787229944464 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24497] ppid=24486 vsize=27314120 memory=140703598474160 CPUtime=0 cores=0-7
/proc/24489/task/24497/stat : 24497 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 31893 33554432000 4194304 4196468 140734642360768 139787228891408 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24498] ppid=24486 vsize=27314120 memory=140703598476464 CPUtime=0 cores=0-7
/proc/24489/task/24498/stat : 24498 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140671 27969658880 31893 33554432000 4194304 4196468 140734642360768 139786861926800 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24499] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24499/stat : 24499 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419140672 27969658880 31893 33554432000 4194304 4196468 140734642360768 139785699039984 139787446528642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24500] ppid=24486 vsize=27314120 memory=281407196966800 CPUtime=0 cores=0-7
/proc/24489/task/24500/stat : 24500 (java) S 24486 24486 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419140673 27969658880 31893 33554432000 4194304 4196468 140734642360768 139785347786400 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24501] ppid=24486 vsize=27314120 memory=281407196964496 CPUtime=0 cores=0-7
/proc/24489/task/24501/stat : 24501 (java) S 24486 24486 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419140673 27969658880 31893 33554432000 4194304 4196468 140734642360768 139785213564144 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24502] ppid=24486 vsize=27314120 memory=281407196971408 CPUtime=0 cores=0-7
/proc/24489/task/24502/stat : 24502 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 31893 33554432000 4194304 4196468 140734642360768 139784839059920 139787446536091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24503] ppid=24486 vsize=27314120 memory=281407196912688 CPUtime=0.02 cores=0-7
/proc/24489/task/24503/stat : 24503 (java) S 24486 24486 15751 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 20 0 419140675 27969658880 31893 33554432000 4194304 4196468 140734642360768 139785697986800 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24504] ppid=24486 vsize=27314120 memory=281407196985232 CPUtime=0.01 cores=0-7
/proc/24489/task/24504/stat : 24504 (java) R 24486 24486 15751 0 -1 4202560 37 0 0 0 1 0 0 0 20 0 20 0 419140675 27969658880 31893 33554432000 4194304 4196468 140734642360768 139785696934256 139787427217792 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24505] ppid=24486 vsize=27314120 memory=281407196992144 CPUtime=0.01 cores=0-7
/proc/24489/task/24505/stat : 24505 (java) S 24486 24486 15751 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 419140675 27969658880 31893 33554432000 4194304 4196468 140734642360768 139785695881200 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24506] ppid=24486 vsize=27314120 memory=281407196989840 CPUtime=0.07 cores=0-7
/proc/24489/task/24506/stat : 24506 (java) S 24486 24486 15751 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 20 0 419140675 27969658880 31893 33554432000 4194304 4196468 140734642360768 139785694828656 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24507] ppid=24486 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24507/stat : 24507 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140675 27969658880 31893 33554432000 4194304 4196468 140734642360768 139784341154784 139787446527701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24508] ppid=24486 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24489/task/24508/stat : 24508 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140676 27969658880 31893 33554432000 4194304 4196468 140734642360768 139785693777072 139787446528642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128964 KiB

[startup+0.700896 s]
/proc/loadavg: 3.15 6.72 7.36 2/211 24508
/proc/meminfo: memFree=30800528/32770624 swapFree=66947720/67108860
[pid=24486] ppid=24483 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24486/stat : 24486 (scop.sh) S 24483 24486 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419140668 115843072 348 33554432000 4194304 5098028 140725106277376 140725106274632 139843347837564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27226112 140725106279204 140725106279532 140725106279532 140725106282445 0
/proc/24486/statm: 28282 348 296 221 0 87 0
[pid=24489] ppid=24486 vsize=27320392 memory=163032 CPUtime=0.99 cores=0-7
/proc/24489/stat : 24489 (java) S 24486 24486 15751 0 -1 1077944320 19888 0 0 0 92 7 0 0 20 0 20 0 419140668 27976081408 40758 33554432000 4194304 4196468 140734642360768 140734642343312 139787446517495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
/proc/24489/statm: 6830098 40758 3182 1 0 6791447 0
[pid=24489/tid=24490] ppid=24486 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/24489/task/24490/stat : 24490 (java) R 24486 24486 15751 0 -1 4202560 16868 0 0 0 63 5 0 0 20 0 20 0 419140668 27976081408 40758 33554432000 4194304 4196468 140734642360768 139787418353552 139787446529430 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24491] ppid=24486 vsize=27320392 memory=140703598682992 CPUtime=0 cores=0-7
/proc/24489/task/24491/stat : 24491 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419140670 27976081408 40758 33554432000 4194304 4196468 140734642360768 139787450760208 139787446527701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24492] ppid=24486 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24489/task/24492/stat : 24492 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140671 27976081408 40758 33554432000 4194304 4196468 140734642360768 139787234155664 139787446527701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0
[pid=24489/tid=24493] ppid=24486 vsize=27320392 memory=1200 CPUtime=0 cores=0-7
/proc/24489/task/24493/stat : 24493 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419140671 27976081408 40758 33554432000 4194304 4196468 140734642360768 139787233102608 139787446527701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140734642365162 140734642365590 140734642365590 140734642368463 0

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

[pid=24608/tid=24609] ppid=24486 vsize=8414124 memory=1764 CPUtime=0.78 cores=0-7
/proc/24608/task/24609/stat : 24609 (java) S 24486 24486 15751 0 -1 1077944384 16927 0 0 0 71 7 0 0 20 0 24 0 419274405 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775801917344 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24610] ppid=24486 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/24608/task/24610/stat : 24610 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419274407 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775834320016 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24611] ppid=24486 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/24608/task/24611/stat : 24611 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419274407 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775634488336 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24612] ppid=24486 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/24608/task/24612/stat : 24612 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419274407 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775633435536 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24613] ppid=24486 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/24608/task/24613/stat : 24613 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419274407 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775632382736 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24614] ppid=24486 vsize=8414124 memory=11624 CPUtime=0 cores=0-7
/proc/24608/task/24614/stat : 24614 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419274407 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775631329936 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24615] ppid=24486 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/24608/task/24615/stat : 24615 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419274407 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775630277136 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24616] ppid=24486 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/24608/task/24616/stat : 24616 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419274407 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775629224336 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24617] ppid=24486 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/24608/task/24617/stat : 24617 (java) S 24486 24486 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419274407 8616062976 30327 33554432000 4194304 4196468 140730918755520 139775628171536 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24618] ppid=24486 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/24608/task/24618/stat : 24618 (java) S 24486 24486 15751 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419274408 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774789319536 139775830088322 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24619] ppid=24486 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/24608/task/24619/stat : 24619 (java) S 24486 24486 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419274409 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774476150304 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24620] ppid=24486 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/24608/task/24620/stat : 24620 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419274409 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774207714672 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24621] ppid=24486 vsize=8414124 memory=2424 CPUtime=0 cores=0-7
/proc/24608/task/24621/stat : 24621 (java) S 24486 24486 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419274412 8616062976 30327 33554432000 4194304 4196468 140730918755520 139773833206096 139775830095771 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24622] ppid=24486 vsize=8414124 memory=1764 CPUtime=0.06 cores=0-7
/proc/24608/task/24622/stat : 24622 (java) S 24486 24486 15751 0 -1 1077944384 576 0 0 0 6 0 0 0 20 0 24 0 419274412 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774788266352 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24623] ppid=24486 vsize=8414124 memory=111636 CPUtime=0.06 cores=0-7
/proc/24608/task/24623/stat : 24623 (java) S 24486 24486 15751 0 -1 1077944384 334 0 0 0 6 0 0 0 20 0 24 0 419274412 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774787213552 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24624] ppid=24486 vsize=8414124 memory=-8601141263007510930 CPUtime=0.07 cores=0-7
/proc/24608/task/24624/stat : 24624 (java) S 24486 24486 15751 0 -1 1077944384 283 0 0 0 7 0 0 0 20 0 24 0 419274412 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774786160752 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24625] ppid=24486 vsize=8414124 memory=1412 CPUtime=0.22 cores=0-7
/proc/24608/task/24625/stat : 24625 (java) S 24486 24486 15751 0 -1 1077944384 764 0 0 0 22 0 0 0 20 0 24 0 419274412 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774785107952 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24626] ppid=24486 vsize=8414124 memory=3488 CPUtime=0 cores=0-7
/proc/24608/task/24626/stat : 24626 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419274412 8616062976 30327 33554432000 4194304 4196468 140730918755520 139773335301216 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24627] ppid=24486 vsize=8414124 memory=1472 CPUtime=0.06 cores=0-7
/proc/24608/task/24627/stat : 24627 (java) S 24486 24486 15751 0 -1 1077944384 11 0 0 0 3 3 0 0 20 0 24 0 419274412 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774784056368 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24629] ppid=24486 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/24608/task/24629/stat : 24629 (java) S 24486 24486 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419274481 8616062976 30327 33554432000 4194304 4196468 140730918755520 139774776022592 139775830101785 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24631] ppid=24486 vsize=8414124 memory=121308 CPUtime=0 cores=0-7
/proc/24608/task/24631/stat : 24631 (java) S 24486 24486 15751 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419274481 8616062976 30327 33554432000 4194304 4196468 140730918755520 139772664200880 139775830099101 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24632] ppid=24486 vsize=8414124 memory=6759208 CPUtime=0 cores=0-7
/proc/24608/task/24632/stat : 24632 (java) S 24486 24486 15751 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419274482 8616062976 30327 33554432000 4194304 4196468 140730918755520 139772932636208 139775830099101 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24633] ppid=24486 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/24608/task/24633/stat : 24633 (java) S 24486 24486 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419274484 8616062976 30327 33554432000 4194304 4196468 140730918755520 139772395772976 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
Current children cumulated CPU time: 1812.42 s
Current children cumulated vsize: 17191664 KiB
Current children cumulated memory: 6993120 KiB

[startup+1464 s]*
/proc/loadavg: 1.02 1.12 2.43 5/213 24641
/proc/meminfo: memFree=28291124/32770624 swapFree=66947748/67108860
[pid=24486] ppid=24483 vsize=113128 memory=1472 CPUtime=1686.07 cores=0-7
/proc/24486/stat : 24486 (scop.sh) S 24483 24486 15751 0 -1 4202496 582 549231 0 0 0 0 163748 4859 20 0 1 0 419140668 115843072 368 33554432000 4194304 5098028 140725106277376 140725106274120 139843347837564 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27226112 140725106279204 140725106279532 140725106279532 140725106282445 0
/proc/24486/statm: 28282 368 311 221 0 87 0
[pid=24608] ppid=24486 vsize=8283048 memory=328432 CPUtime=127.87 cores=0-7
/proc/24608/stat : 24608 (java) S 24486 24486 15751 0 -1 1077944320 21475 4646493 0 0 192 18 11837 740 20 0 22 0 419274405 8481841152 82108 33554432000 4194304 4196468 140730918755520 140730918738064 139775830077175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
/proc/24608/statm: 2070762 82108 3224 1 0 2032106 0
[pid=24608/tid=24609] ppid=24486 vsize=8283048 memory=8317482817917895235 CPUtime=126.62 cores=0-7
/proc/24608/task/24609/stat : 24609 (java) R 24486 24486 15751 0 -1 4202560 17055 4646493 0 0 78 7 11837 740 20 0 22 0 419274405 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775801914512 139775301893528 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24610] ppid=24486 vsize=8283048 memory=4136 CPUtime=125.77 cores=0-7
/proc/24608/task/24610/stat : 24610 (java) S 24486 24486 15751 0 -1 1077944384 2 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775834320016 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24611] ppid=24486 vsize=8283048 memory=780 CPUtime=125.77 cores=0-7
/proc/24608/task/24611/stat : 24611 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775634488336 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24612] ppid=24486 vsize=8283048 memory=2832 CPUtime=125.77 cores=0-7
/proc/24608/task/24612/stat : 24612 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775633435536 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24613] ppid=24486 vsize=8283048 memory=4872558044660077418 CPUtime=125.77 cores=0-7
/proc/24608/task/24613/stat : 24613 (java) S 24486 24486 15751 0 -1 1077944384 3 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775632382736 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24614] ppid=24486 vsize=8283048 memory=1808 CPUtime=125.77 cores=0-7
/proc/24608/task/24614/stat : 24614 (java) S 24486 24486 15751 0 -1 1077944384 2 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775631329936 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24615] ppid=24486 vsize=8283048 memory=924 CPUtime=125.77 cores=0-7
/proc/24608/task/24615/stat : 24615 (java) S 24486 24486 15751 0 -1 1077944384 2 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775630277136 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24616] ppid=24486 vsize=8283048 memory=4436 CPUtime=125.77 cores=0-7
/proc/24608/task/24616/stat : 24616 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775629224336 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24617] ppid=24486 vsize=8283048 memory=1412 CPUtime=125.77 cores=0-7
/proc/24608/task/24617/stat : 24617 (java) S 24486 24486 15751 0 -1 1077944384 2 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 82108 33554432000 4194304 4196468 140730918755520 139775628171536 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24618] ppid=24486 vsize=8283048 memory=3488 CPUtime=125.77 cores=0-7
/proc/24608/task/24618/stat : 24618 (java) S 24486 24486 15751 0 -1 1077944384 8 4646493 0 0 0 0 11837 740 20 0 22 0 419274408 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774789319536 139775830088322 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24619] ppid=24486 vsize=8283048 memory=1472 CPUtime=125.77 cores=0-7
/proc/24608/task/24619/stat : 24619 (java) S 24486 24486 15751 0 -1 1077944384 13 4646493 0 0 0 0 11837 740 20 0 22 0 419274409 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774476150304 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24620] ppid=24486 vsize=8283048 memory=4104 CPUtime=125.77 cores=0-7
/proc/24608/task/24620/stat : 24620 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274409 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774207714672 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24621] ppid=24486 vsize=8283048 memory=121308 CPUtime=125.77 cores=0-7
/proc/24608/task/24621/stat : 24621 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274412 8481841152 82108 33554432000 4194304 4196468 140730918755520 139773833206096 139775830095771 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24622] ppid=24486 vsize=8283048 memory=6759320 CPUtime=125.91 cores=0-7
/proc/24608/task/24622/stat : 24622 (java) S 24486 24486 15751 0 -1 1077944384 592 4646493 0 0 14 0 11837 740 20 0 22 0 419274412 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774788266352 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24623] ppid=24486 vsize=8283048 memory=1732 CPUtime=125.9 cores=0-7
/proc/24608/task/24623/stat : 24623 (java) S 24486 24486 15751 0 -1 1077944384 762 4646493 0 0 13 0 11837 740 20 0 22 0 419274412 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774787213552 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24624] ppid=24486 vsize=8283048 memory=1472 CPUtime=125.93 cores=0-7
/proc/24608/task/24624/stat : 24624 (java) S 24486 24486 15751 0 -1 1077944384 314 4646493 0 0 16 0 11837 740 20 0 22 0 419274412 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774786160752 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24625] ppid=24486 vsize=8283048 memory=121308 CPUtime=126.06 cores=0-7
/proc/24608/task/24625/stat : 24625 (java) S 24486 24486 15751 0 -1 1077944384 1189 4646493 0 0 29 0 11837 740 20 0 22 0 419274412 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774785107952 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24626] ppid=24486 vsize=8283048 memory=6867844 CPUtime=125.77 cores=0-7
/proc/24608/task/24626/stat : 24626 (java) S 24486 24486 15751 0 -1 1077944384 3 4646493 0 0 0 0 11837 740 20 0 22 0 419274412 8481841152 82108 33554432000 4194304 4196468 140730918755520 139773335301216 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24627] ppid=24486 vsize=8283048 memory=2044 CPUtime=125.83 cores=0-7
/proc/24608/task/24627/stat : 24627 (java) S 24486 24486 15751 0 -1 1077944384 11 4646493 0 0 3 3 11837 740 20 0 22 0 419274412 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774784056368 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24629] ppid=24486 vsize=8283048 memory=1428 CPUtime=125.77 cores=0-7
/proc/24608/task/24629/stat : 24629 (java) S 24486 24486 15751 0 -1 1077944384 23 4646493 0 0 0 0 11837 740 20 0 22 0 419274481 8481841152 82108 33554432000 4194304 4196468 140730918755520 139774776021776 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24633] ppid=24486 vsize=8283048 memory=11624 CPUtime=125.77 cores=0-7
/proc/24608/task/24633/stat : 24633 (java) S 24486 24486 15751 0 -1 1077944384 10 4646493 0 0 0 0 11837 740 20 0 22 0 419274484 8481841152 82108 33554432000 4194304 4196468 140730918755520 139772395774768 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
Current children cumulated CPU time: 1813.94 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 329904 KiB

[startup+1464.4 s]
/proc/loadavg: 1.02 1.12 2.43 5/213 24641
/proc/meminfo: memFree=28291124/32770624 swapFree=66947748/67108860
[pid=24486] ppid=24483 vsize=113128 memory=1472 CPUtime=1686.07 cores=0-7
/proc/24486/stat : 24486 (scop.sh) S 24483 24486 15751 0 -1 4202496 582 549231 0 0 0 0 163748 4859 20 0 1 0 419140668 115843072 368 33554432000 4194304 5098028 140725106277376 140725106274120 139843347837564 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27226112 140725106279204 140725106279532 140725106279532 140725106282445 0
/proc/24486/statm: 28282 368 311 221 0 87 0
[pid=24608] ppid=24486 vsize=8283048 memory=340240 CPUtime=128.41 cores=0-7
/proc/24608/stat : 24608 (java) S 24486 24486 15751 0 -1 1077944320 21839 4646493 0 0 217 47 11837 740 20 0 22 0 419274405 8481841152 85060 33554432000 4194304 4196468 140730918755520 140730918738064 139775830077175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
/proc/24608/statm: 2070762 85060 3230 1 0 2032106 0
[pid=24608/tid=24609] ppid=24486 vsize=8283048 memory=50948 CPUtime=127.01 cores=0-7
/proc/24608/task/24609/stat : 24609 (java) R 24486 24486 15751 0 -1 4202560 17197 4646493 0 0 89 35 11837 740 20 0 22 0 419274405 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775801915904 139775822762807 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24610] ppid=24486 vsize=8283048 memory=6791534058613427641 CPUtime=125.77 cores=0-7
/proc/24608/task/24610/stat : 24610 (java) S 24486 24486 15751 0 -1 1077944384 2 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775834320016 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24611] ppid=24486 vsize=8283048 memory=121308 CPUtime=125.77 cores=0-7
/proc/24608/task/24611/stat : 24611 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775634488336 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24612] ppid=24486 vsize=8283048 memory=6847352 CPUtime=125.77 cores=0-7
/proc/24608/task/24612/stat : 24612 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775633435536 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24613] ppid=24486 vsize=8283048 memory=1732 CPUtime=125.77 cores=0-7
/proc/24608/task/24613/stat : 24613 (java) S 24486 24486 15751 0 -1 1077944384 3 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775632382736 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24614] ppid=24486 vsize=8283048 memory=8317482817917895235 CPUtime=125.77 cores=0-7
/proc/24608/task/24614/stat : 24614 (java) S 24486 24486 15751 0 -1 1077944384 2 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775631329936 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24615] ppid=24486 vsize=8283048 memory=4872558044660077418 CPUtime=125.77 cores=0-7
/proc/24608/task/24615/stat : 24615 (java) S 24486 24486 15751 0 -1 1077944384 2 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775630277136 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24616] ppid=24486 vsize=8283048 memory=992 CPUtime=125.77 cores=0-7
/proc/24608/task/24616/stat : 24616 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775629224336 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24617] ppid=24486 vsize=8283048 memory=2044 CPUtime=125.77 cores=0-7
/proc/24608/task/24617/stat : 24617 (java) S 24486 24486 15751 0 -1 1077944384 2 4646493 0 0 0 0 11837 740 20 0 22 0 419274407 8481841152 85060 33554432000 4194304 4196468 140730918755520 139775628171536 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24618] ppid=24486 vsize=8283048 memory=6791534058613427641 CPUtime=125.77 cores=0-7
/proc/24608/task/24618/stat : 24618 (java) S 24486 24486 15751 0 -1 1077944384 8 4646493 0 0 0 0 11837 740 20 0 22 0 419274408 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774789319536 139775830088322 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24619] ppid=24486 vsize=8283048 memory=1552 CPUtime=125.77 cores=0-7
/proc/24608/task/24619/stat : 24619 (java) S 24486 24486 15751 0 -1 1077944384 13 4646493 0 0 0 0 11837 740 20 0 22 0 419274409 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774476150304 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24620] ppid=24486 vsize=8283048 memory=1040 CPUtime=125.77 cores=0-7
/proc/24608/task/24620/stat : 24620 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274409 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774207714672 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24621] ppid=24486 vsize=8283048 memory=4136 CPUtime=125.77 cores=0-7
/proc/24608/task/24621/stat : 24621 (java) S 24486 24486 15751 0 -1 1077944384 1 4646493 0 0 0 0 11837 740 20 0 22 0 419274412 8481841152 85060 33554432000 4194304 4196468 140730918755520 139773833206096 139775830095771 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24622] ppid=24486 vsize=8283048 memory=780 CPUtime=125.92 cores=0-7
/proc/24608/task/24622/stat : 24622 (java) S 24486 24486 15751 0 -1 1077944384 607 4646493 0 0 15 0 11837 740 20 0 22 0 419274412 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774788266352 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24623] ppid=24486 vsize=8283048 memory=2832 CPUtime=125.93 cores=0-7
/proc/24608/task/24623/stat : 24623 (java) S 24486 24486 15751 0 -1 1077944384 781 4646493 0 0 16 0 11837 740 20 0 22 0 419274412 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774787213552 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24624] ppid=24486 vsize=8283048 memory=1720 CPUtime=125.95 cores=0-7
/proc/24608/task/24624/stat : 24624 (java) S 24486 24486 15751 0 -1 1077944384 332 4646493 0 0 18 0 11837 740 20 0 22 0 419274412 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774786160752 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24625] ppid=24486 vsize=8283048 memory=1200 CPUtime=126.12 cores=0-7
/proc/24608/task/24625/stat : 24625 (java) S 24486 24486 15751 0 -1 1077944384 1358 4646493 0 0 35 0 11837 740 20 0 22 0 419274412 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774785107952 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24626] ppid=24486 vsize=8283048 memory=5964 CPUtime=125.77 cores=0-7
/proc/24608/task/24626/stat : 24626 (java) S 24486 24486 15751 0 -1 1077944384 3 4646493 0 0 0 0 11837 740 20 0 22 0 419274412 8481841152 85060 33554432000 4194304 4196468 140730918755520 139773335301216 139775830087381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24627] ppid=24486 vsize=8283048 memory=14012 CPUtime=125.83 cores=0-7
/proc/24608/task/24627/stat : 24627 (java) S 24486 24486 15751 0 -1 1077944384 11 4646493 0 0 3 3 11837 740 20 0 22 0 419274412 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774784056368 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24629] ppid=24486 vsize=8283048 memory=10976 CPUtime=125.77 cores=0-7
/proc/24608/task/24629/stat : 24629 (java) S 24486 24486 15751 0 -1 1077944384 23 4646493 0 0 0 0 11837 740 20 0 22 0 419274481 8481841152 85060 33554432000 4194304 4196468 140730918755520 139774776021776 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
[pid=24608/tid=24633] ppid=24486 vsize=8283048 memory=12024 CPUtime=125.77 cores=0-7
/proc/24608/task/24633/stat : 24633 (java) S 24486 24486 15751 0 -1 1077944384 10 4646493 0 0 0 0 11837 740 20 0 22 0 419274484 8481841152 85060 33554432000 4194304 4196468 140730918755520 139772395774768 139775830088322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26853376 140730918761463 140730918761622 140730918761622 140730918764495 0
Current children cumulated CPU time: 1814.48 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 341712 KiB

Child status: 0
Real time (s): 1464.45
CPU time (s): 1814.57
CPU user time (s): 1758.04
CPU system time (s): 56.5258
CPU usage (%): 123.908
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 23356632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.04
system time used= 56.5258
maximum resident set size= 23355344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5218186
page faults= 0
swaps= 0
block input operations= 80
block output operations= 4570272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67667
involuntary context switches= 5308


# summary of solver processes directly reported to runsolver:
#   pid: 24486
#   total CPU time (s): 1814.57
#   total CPU user time (s): 1758.04
#   total CPU system time (s): 56.5258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4564 second user time and 15.308 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 05:32:25
IDJOB=4392710
IDBENCH=131451
IDSOLVER=2839
FILE ID=node117/4392710-1568431987
RUNJOBID= node117-1568427144-15778
PBS_JOBID= 21702295
Free space on /tmp= 61184 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m1296-04.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392710-1568431987/watcher-4392710-1568431987 -o /tmp/evaluation-result-4392710-1568431987/solver-4392710-1568431987 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392710-1568431987.xml

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

MD5SUM BENCH= 2d28027fc76d6f94be685cc66f299382
RANDOM SEED=610014941

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30938824 kB
MemAvailable:   31866368 kB
Buffers:          146752 kB
Cached:          1047276 kB
SwapCached:        51656 kB
Active:           769284 kB
Inactive:         478616 kB
Active(anon):      18912 kB
Inactive(anon):    59228 kB
Active(file):     750372 kB
Inactive(file):   419388 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66947720 kB
Dirty:             20508 kB
Writeback:             0 kB
AnonPages:        187308 kB
Mapped:            33348 kB
Shmem:             15640 kB
Slab:             176188 kB
SReclaimable:     147240 kB
SUnreclaim:        28948 kB
KernelStack:        3968 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61164 MiB
End job on node117 at 2019-09-14 05:56:50