Trace number 4405135

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCrossword/
Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-15-19.xml
MD5SUM771a2032fa08b3551aec0b6adeb94e67
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.204409
Satisfiable
(Un)Satisfiability was proved
Number of variables285
Number of constraints34
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":285}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":285}]
Minimum constraint arity15
Maximum constraint arity19
Distribution of constraint arities[{"arity":15,"count":19},{"arity":19,"count":15}]
Number of extensional constraints34
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":34}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-13011-serial-file.bin HOME/instance-4405135-1569362695.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 22:54:32 CEST 2019
0.66/0.57	c PID: 13014
0.66/0.57	c IP: 172.20.3.104
0.66/0.57	c HOST: node104.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.00/1.10	c (0,0) Parsing End
2.28/1.11	c (0,0) CSP: 285 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 26
2.28/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.28/1.11	c (0,0) Constraint Name Generate Begin
2.28/1.12	c (0,0) Ctr:HOME/instance-4405135-1569362695.xml,ExtensionSupport:Var
2.28/1.12	c (0,0) Constraint Name Generate End
2.28/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.28/1.12	c (0,0) CSP to CSPinCNF Begin
12.46/4.43	c (3,3) translated 4 (10%) constraints
14.52/6.49	c (5,5) translated 7 (20%) constraints
17.44/9.22	c (8,8) translated 11 (30%) constraints
19.49/11.26	c (10,10) translated 14 (40%) constraints
31.30/20.73	c (20,19) translated 17 (50%) constraints
59.95/44.60	c (44,43) translated 21 (60%) constraints
89.54/68.83	c (68,66) translated 24 (70%) constraints
135.86/103.63	c (103,99) translated 28 (80%) constraints
163.05/125.13	c (124,120) translated 31 (90%) constraints
181.57/140.42	c (139,135) translated 34 (100%) constraints
181.57/140.45	c (139,135) ===========================================
181.57/140.47	c (139,135) Order
181.57/140.47	c (139,135) ===========================================
185.33/143.57	c (143,138) translated 174492 (10%) constraints
188.53/146.71	c (146,141) translated 348983 (20%) constraints
191.69/149.87	c (149,144) translated 523474 (30%) constraints
194.90/153.02	c (152,147) translated 697965 (40%) constraints
201.30/156.61	c (156,151) translated 872456 (50%) constraints
204.50/159.80	c (159,154) translated 1046948 (60%) constraints
207.68/162.97	c (162,157) translated 1221439 (70%) constraints
210.89/166.12	c (165,160) translated 1395930 (80%) constraints
213.98/169.26	c (168,163) translated 1570421 (90%) constraints
217.23/172.41	c (171,166) translated 1744912 (100%) constraints
217.23/172.41	c (171,166) CSP to CSPinCNF End
217.38/172.52	c (171,166) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1744912 ctr, max domain size 24
217.38/172.52	c (171,166) Heap : 7325 MiB used (max 21590 MiB), NonHeap : 26 MiB used (max 0 MiB)
217.38/172.52	c (171,166) CSPinCNF Propagation Begin
247.54/190.65	c (190,183) 21788 values, 74103 unsatisfiable literals, and 112651 valid clauses are removed
247.54/190.65	c (190,183) CSPinCNF Propagation End
247.64/190.75	c (190,183) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
247.64/190.75	c (190,183) Heap : 5562 MiB used (max 21663 MiB), NonHeap : 27 MiB used (max 0 MiB)
247.64/190.77	c (190,183) Simplify CSPinCNF Begin
250.69/193.65	c (193,186) Simplify CSPinCNF End
250.79/193.75	c (193,186) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
250.79/193.75	c (193,186) Heap : 7168 MiB used (max 21663 MiB), NonHeap : 27 MiB used (max 0 MiB)
250.79/193.75	c (193,186) Calculate Precise Domain Begin
250.79/193.75	c (193,186) 0 values are removed by re-calculation
250.79/193.75	c (193,186) Calculate Precise Domain End
250.89/193.85	c (193,186) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
250.89/193.85	c (193,186) Heap : 7178 MiB used (max 21663 MiB), NonHeap : 27 MiB used (max 0 MiB)
250.89/193.85	c (193,186) CSPinCNF to SatSolver Begin
262.37/197.01	c (196,188) 163227 (10 %) CSP clauses are encoded (0 SAT variables, 167896 SAT clauses)
263.80/198.47	c (197,190) 326453 (20 %) CSP clauses are encoded (0 SAT variables, 331122 SAT clauses)
265.30/199.92	c (199,191) 489679 (30 %) CSP clauses are encoded (0 SAT variables, 494348 SAT clauses)
266.70/201.38	c (200,193) 652905 (40 %) CSP clauses are encoded (0 SAT variables, 657574 SAT clauses)
268.20/202.86	c (202,194) 816131 (50 %) CSP clauses are encoded (0 SAT variables, 820800 SAT clauses)
274.45/204.92	c (204,196) 979357 (60 %) CSP clauses are encoded (0 SAT variables, 984026 SAT clauses)
275.85/206.37	c (205,197) 1142583 (70 %) CSP clauses are encoded (0 SAT variables, 1147252 SAT clauses)
277.35/207.82	c (207,199) 1305809 (80 %) CSP clauses are encoded (0 SAT variables, 1310478 SAT clauses)
278.75/209.27	c (208,200) 1469035 (90 %) CSP clauses are encoded (0 SAT variables, 1473704 SAT clauses)
280.26/210.72	c (210,201) 1632261 (100 %) CSP clauses are encoded (0 SAT variables, 1636930 SAT clauses)
280.26/210.72	c (210,201) CSPinCNF to SatSolver End
280.26/210.72	c (210,201) Heap : 8717 MiB used (max 21640 MiB), NonHeap : 29 MiB used (max 0 MiB)
280.26/210.72	c (210,201) 281594 bool, 1636931 clause
280.26/210.72	c (210,201) Export Begin
280.39/210.86	c (210,202) Export to HOME/scop-13011-serial-file.bin
280.39/210.86	c (210,202) Export End
280.39/210.86	c (210,202) Export File Size: 0.17 MB
280.39/210.86	c (210,202) 0,0,171,190,193,193,210,STOP-AFTER(DIMACS)
280.39/210.86	c END-Prog: Tue Sep 24 22:58:03 CEST 2019
283.15/211.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13011-serial-file.bin
283.47/211.75	c (0,0) Read Serial File Begin
283.47/211.75	c (0,0) HOME/scop-13011-serial-file.bin
284.41/212.16	c (0,0) Read Serial File End
284.41/212.18	
284.41/212.18	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
284.41/212.18	(Solving Process)
284.41/212.18	
284.62/212.20	c BEGIN-Prog: Tue Sep 24 22:58:04 CEST 2019
284.62/212.20	c PID: 13049
284.62/212.20	c IP: 172.20.3.104
284.62/212.20	c HOST: node104.alineos.net
284.62/212.20	c (0,0) SatSolver.solve Begin
284.62/212.20	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405135-1569362695.xml-scop-13014.cnf
284.62/212.23	c (0,0) c
284.62/212.23	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)
284.62/212.23	c (0,0) c
284.62/212.23	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
284.62/212.23	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
284.62/212.23	c (0,0) c ========================================[ Problem Statistics ]===========================================
284.62/212.23	c (0,0) c |                                                                                                       |
284.83/212.91	c (1,0) c |  Number of variables:        281594                                                                   |
284.83/212.91	c (1,0) c |  Number of clauses:         1636368                                                                   |
284.83/212.91	c (1,0) c |  Parse time:                   0.61 s                                                                 |
284.83/212.91	c (1,0) c |                                                                                                       |
288.49/215.94	c (4,0) c |  Simplification time:          2.98 s                                                                 |
288.49/215.94	c (4,0) c |                                                                                                       |
288.49/215.94	c (4,0) c |  Generating clones                                                                                    |
289.41/216.85	c (5,0) c |  all clones generated. Memory =  1340.69Mb.                                                           |
289.41/216.85	c (5,0) c ========================================================================================================|
289.41/216.85	c (5,0) c
289.41/216.85	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
289.41/216.85	c (5,0) c
289.41/216.85	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.85	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
289.41/216.85	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.85	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
289.41/216.85	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
289.41/216.85	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
289.41/216.85	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
289.41/216.85	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
289.41/216.85	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
289.41/216.85	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
289.41/216.85	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
289.41/216.85	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
289.41/216.85	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
289.41/216.85	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
289.41/216.85	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
289.41/216.85	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
289.41/216.85	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
289.41/216.85	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
289.41/216.85	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.88	c (5,0) c
289.41/216.88	c (5,0) c real time : 4.65658 s
289.41/216.88	c (5,0) c cpu time  : 4.31161 s
289.41/216.88	c (5,0) c
289.41/216.88	c (5,0) c
289.41/216.88	c (5,0) c
289.41/216.88	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
289.41/216.88	c (5,0) c
289.41/216.88	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.88	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
289.41/216.88	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.88	c (5,0) c | Conflicts     |              78 |          8 |         11 |          8 |          8 |          8 |          8 |         11 |         16 |
289.41/216.88	c (5,0) c | Decisions     |           20193 |       3240 |       3417 |       3302 |       3360 |       3386 |       3361 |         38 |         89 |
289.41/216.88	c (5,0) c | Propagations  |           92435 |      16442 |       8784 |       6161 |      18129 |      10900 |       8491 |       9142 |      14386 |
289.41/216.88	c (5,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
289.41/216.88	c (5,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
289.41/216.88	c (5,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | PropBinClauses|          160176 |      15667 |      18786 |      16142 |      26244 |      19678 |      18238 |      20499 |      24922 |
289.41/216.88	c (5,0) c | PropPreBlocker|          291624 |      21633 |      32371 |      23811 |      51056 |      40743 |      29768 |      40366 |      51876 |
289.41/216.88	c (5,0) c | PropNotBlocker|          228181 |      17320 |      23944 |      19042 |      44179 |      30454 |      24163 |      31575 |      37504 |
289.41/216.88	c (5,0) c | LitFullScans  |          747835 |      59294 |      82474 |      63879 |     132126 |     100933 |      77429 |     102180 |     129520 |
289.41/216.88	c (5,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | DecisionLevel0|              42 |          5 |          3 |          5 |          5 |          5 |          5 |          6 |          8 |
289.41/216.88	c (5,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
289.41/216.88	c (5,0) c | Avg_Trail     |                 |      12152 |      13550 |      12409 |      15387 |      14757 |      13564 |      14325 |      12281 |
289.41/216.88	c (5,0) c | Avg_DL        |                 |        405 |        413 |        435 |        450 |        476 |        463 |         11 |         10 |
289.41/216.88	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.88	c (5,0) c | Exported      |              24 |          2 |          4 |          2 |          2 |          2 |          2 |          4 |          6 |
289.41/216.88	c (5,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.88	c (5,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.89	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
289.41/216.89	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.89	c (5,0) c | Unaries       |                 |          4 |          2 |          4 |          4 |          4 |          4 |          5 |          7 |
289.41/216.89	c (5,0) c | Binaries      |                 |          1 |          3 |          1 |          1 |          1 |          1 |          3 |          3 |
289.41/216.89	c (5,0) c | Glues         |                 |          2 |          4 |          2 |          2 |          2 |          2 |          4 |          6 |
289.41/216.89	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.89	c (5,0) c | Orig_Seen     |             0 % |         81 |        125 |         81 |         81 |         81 |         81 |        173 |        202 |
289.41/216.89	c (5,0) c | Diff Orig seen|                 |      X     |         44 | -        0 | -        0 | -        0 | -        0 |         92 |        121 |
289.41/216.89	c (5,0) c | Hamming       |             0 % |      X     |        132 |          0 |          5 |          6 |          0 |        233 |        300 |
289.41/216.89	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.89	c (5,0) c | RunningTime   |                 |    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0  99%|    0.0 100%|    0.0 100%|    0.0 100%|
289.41/216.89	c (5,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
289.41/216.89	c (5,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|
289.41/216.89	c (5,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
289.41/216.89	c (5,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
289.41/216.89	c (5,0) c | PropagationTim|                 |    0.0  85%|    0.0  78%|    0.0  93%|    0.0  95%|    0.0  94%|    0.0  90%|    0.0  98%|    0.0  98%|
289.41/216.89	c (5,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   2%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   1%|
289.41/216.89	c (5,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
289.41/216.89	c (5,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
289.41/216.89	c (5,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
289.41/216.89	c (5,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
289.41/216.89	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.89	c (5,0) c
289.41/216.89	c (5,0) c
289.41/216.89	c (5,0) c Threads : 8
289.41/216.89	c (5,0) c Winner : 0
289.41/216.89	c (5,0) c Conflicts_0 : 8
289.41/216.89	c (5,0) c Conflicts_1 : 11
289.41/216.89	c (5,0) c Conflicts_2 : 8
289.41/216.89	c (5,0) c Conflicts_3 : 8
289.41/216.89	c (5,0) c Conflicts_4 : 8
289.41/216.89	c (5,0) c Conflicts_5 : 8
289.41/216.89	c (5,0) c Conflicts_6 : 11
289.41/216.89	c (5,0) c Conflicts_7 : 16
289.41/216.89	c (5,0) c Conflicts_total : 78
289.41/216.89	c (5,0) c Conflicts_winner : 8
289.41/216.89	c (5,0) c Decisions_0 : 3240
289.41/216.89	c (5,0) c Decisions_1 : 3417
289.41/216.89	c (5,0) c Decisions_2 : 3302
289.41/216.89	c (5,0) c Decisions_3 : 3360
289.41/216.89	c (5,0) c Decisions_4 : 3386
289.41/216.89	c (5,0) c Decisions_5 : 3361
289.41/216.89	c (5,0) c Decisions_6 : 38
289.41/216.89	c (5,0) c Decisions_7 : 89
289.41/216.89	c (5,0) c Decisions_total : 20193
289.41/216.89	c (5,0) c Decisions_winner : 3240
289.41/216.89	c (5,0) c Propagations_0 : 16442
289.41/216.89	c (5,0) c Propagations_1 : 8784
289.41/216.89	c (5,0) c Propagations_2 : 6161
289.41/216.89	c (5,0) c Propagations_3 : 18129
289.41/216.89	c (5,0) c Propagations_4 : 10900
289.41/216.89	c (5,0) c Propagations_5 : 8491
289.41/216.89	c (5,0) c Propagations_6 : 9142
289.41/216.89	c (5,0) c Propagations_7 : 14386
289.41/216.89	c (5,0) c Propagations_total : 92435
289.41/216.89	c (5,0) c Propagations_winner : 16442
289.41/216.89	c (5,0) c ReduceDBs_0 : 0
289.41/216.89	c (5,0) c ReduceDBs_1 : 0
289.41/216.89	c (5,0) c ReduceDBs_2 : 0
289.41/216.89	c (5,0) c ReduceDBs_3 : 0
289.41/216.89	c (5,0) c ReduceDBs_4 : 0
289.41/216.89	c (5,0) c ReduceDBs_5 : 0
289.41/216.89	c (5,0) c ReduceDBs_6 : 0
289.41/216.89	c (5,0) c ReduceDBs_7 : 0
289.41/216.89	c (5,0) c ReduceDBs_total : 0
289.41/216.89	c (5,0) c ReduceDBs_winner : 0
289.41/216.89	c (5,0) c SimpDBs_0 : 1
289.41/216.89	c (5,0) c SimpDBs_1 : 1
289.41/216.89	c (5,0) c SimpDBs_2 : 1
289.41/216.89	c (5,0) c SimpDBs_3 : 1
289.41/216.89	c (5,0) c SimpDBs_4 : 1
289.41/216.89	c (5,0) c SimpDBs_5 : 1
289.41/216.89	c (5,0) c SimpDBs_6 : 1
289.41/216.89	c (5,0) c SimpDBs_7 : 1
289.41/216.89	c (5,0) c SimpDBs_total : 8
289.41/216.89	c (5,0) c SimpDBs_winner : 1
289.41/216.89	c (5,0) c Restarts_0 : 1
289.41/216.89	c (5,0) c Restarts_1 : 1
289.41/216.89	c (5,0) c Restarts_2 : 1
289.41/216.89	c (5,0) c Restarts_3 : 1
289.41/216.89	c (5,0) c Restarts_4 : 1
289.41/216.89	c (5,0) c Restarts_5 : 1
289.41/216.89	c (5,0) c Restarts_6 : 1
289.41/216.89	c (5,0) c Restarts_7 : 1
289.41/216.89	c (5,0) c Restarts_total : 8
289.41/216.89	c (5,0) c Restarts_winner : 1
289.41/216.89	c (5,0) c ForcedImports_0 : 0
289.41/216.89	c (5,0) c ForcedImports_1 : 0
289.41/216.89	c (5,0) c ForcedImports_2 : 0
289.41/216.89	c (5,0) c ForcedImports_3 : 0
289.41/216.89	c (5,0) c ForcedImports_4 : 0
289.41/216.89	c (5,0) c ForcedImports_5 : 0
289.41/216.89	c (5,0) c ForcedImports_6 : 0
289.41/216.89	c (5,0) c ForcedImports_7 : 0
289.41/216.89	c (5,0) c ForcedImports_total : 0
289.41/216.89	c (5,0) c ForcedImports_winner : 0
289.41/216.89	c (5,0) c PropsBinClauses_0 : 15667
289.41/216.89	c (5,0) c PropsBinClauses_1 : 18786
289.41/216.89	c (5,0) c PropsBinClauses_2 : 16142
289.41/216.89	c (5,0) c PropsBinClauses_3 : 26244
289.41/216.89	c (5,0) c PropsBinClauses_4 : 19678
289.41/216.89	c (5,0) c PropsBinClauses_5 : 18238
289.41/216.89	c (5,0) c PropsBinClauses_6 : 20499
289.41/216.89	c (5,0) c PropsBinClauses_7 : 24922
289.41/216.89	c (5,0) c PropsBinClauses_total : 160176
289.41/216.89	c (5,0) c PropsBinClauses_winner : 15667
289.41/216.89	c (5,0) c PropsPreBlocker_0 : 21633
289.41/216.89	c (5,0) c PropsPreBlocker_1 : 32371
289.41/216.89	c (5,0) c PropsPreBlocker_2 : 23811
289.41/216.89	c (5,0) c PropsPreBlocker_3 : 51056
289.41/216.89	c (5,0) c PropsPreBlocker_4 : 40743
289.41/216.89	c (5,0) c PropsPreBlocker_5 : 29768
289.41/216.89	c (5,0) c PropsPreBlocker_6 : 40366
289.41/216.89	c (5,0) c PropsPreBlocker_7 : 51876
289.41/216.89	c (5,0) c PropsPreBlocker_total : 291624
289.41/216.89	c (5,0) c PropsPreBlocker_winner : 21633
289.41/216.89	c (5,0) c PropsNotBlocker_0 : 17320
289.41/216.89	c (5,0) c PropsNotBlocker_1 : 23944
289.41/216.89	c (5,0) c PropsNotBlocker_2 : 19042
289.41/216.89	c (5,0) c PropsNotBlocker_3 : 44179
289.41/216.89	c (5,0) c PropsNotBlocker_4 : 30454
289.41/216.89	c (5,0) c PropsNotBlocker_5 : 24163
289.41/216.89	c (5,0) c PropsNotBlocker_6 : 31575
289.41/216.89	c (5,0) c PropsNotBlocker_7 : 37504
289.41/216.89	c (5,0) c PropsNotBlocker_total : 228181
289.41/216.89	c (5,0) c PropsNotBlocker_winner : 17320
289.41/216.89	c (5,0) c PropsLitFullScans_0 : 59294
289.41/216.89	c (5,0) c PropsLitFullScans_1 : 82474
289.41/216.89	c (5,0) c PropsLitFullScans_2 : 63879
289.41/216.89	c (5,0) c PropsLitFullScans_3 : 132126
289.41/216.89	c (5,0) c PropsLitFullScans_4 : 100933
289.41/216.89	c (5,0) c PropsLitFullScans_5 : 77429
289.41/216.89	c (5,0) c PropsLitFullScans_6 : 102180
289.41/216.89	c (5,0) c PropsLitFullScans_7 : 129520
289.41/216.89	c (5,0) c PropsLitFullScans_total : 747835
289.41/216.89	c (5,0) c PropsLitFullScans_winner : 59294
289.41/216.89	c (5,0) c LitScanFractions_0 : 0
289.41/216.89	c (5,0) c LitScanFractions_1 : 0
289.41/216.89	c (5,0) c LitScanFractions_2 : 0
289.41/216.89	c (5,0) c LitScanFractions_3 : 0
289.41/216.89	c (5,0) c LitScanFractions_4 : 0
289.41/216.89	c (5,0) c LitScanFractions_5 : 0
289.41/216.89	c (5,0) c LitScanFractions_6 : 0
289.41/216.89	c (5,0) c LitScanFractions_7 : 0
289.41/216.89	c (5,0) c LitScanFractions_total : 0
289.41/216.89	c (5,0) c LitScanFractions_winner : 0
289.41/216.89	c (5,0) c DecisionLevel0_0 : 5
289.41/216.89	c (5,0) c DecisionLevel0_1 : 3
289.41/216.89	c (5,0) c DecisionLevel0_2 : 5
289.41/216.89	c (5,0) c DecisionLevel0_3 : 5
289.41/216.89	c (5,0) c DecisionLevel0_4 : 5
289.41/216.89	c (5,0) c DecisionLevel0_5 : 5
289.41/216.89	c (5,0) c DecisionLevel0_6 : 6
289.41/216.89	c (5,0) c DecisionLevel0_7 : 8
289.41/216.89	c (5,0) c DecisionLevel0_total : 42
289.41/216.89	c (5,0) c DecisionLevel0_winner : 5
289.41/216.89	c (5,0) c Periods_0 : 0
289.41/216.89	c (5,0) c Periods_1 : 0
289.41/216.89	c (5,0) c Periods_2 : 0
289.41/216.89	c (5,0) c Periods_3 : 0
289.41/216.89	c (5,0) c Periods_4 : 0
289.41/216.89	c (5,0) c Periods_5 : 0
289.41/216.89	c (5,0) c Periods_6 : 0
289.41/216.89	c (5,0) c Periods_7 : 0
289.41/216.89	c (5,0) c Periods_total : 0
289.41/216.89	c (5,0) c Periods_winner : 0
289.41/216.89	c (5,0) c Margin_0 : 20
289.41/216.89	c (5,0) c Margin_1 : 20
289.41/216.89	c (5,0) c Margin_2 : 20
289.41/216.89	c (5,0) c Margin_3 : 20
289.41/216.89	c (5,0) c Margin_4 : 20
289.41/216.89	c (5,0) c Margin_5 : 20
289.41/216.89	c (5,0) c Margin_6 : 20
289.41/216.89	c (5,0) c Margin_7 : 20
289.41/216.89	c (5,0) c Margin_total : 160
289.41/216.89	c (5,0) c Margin_winner : 20
289.41/216.89	c (5,0) c Exported_0 : 2
289.41/216.89	c (5,0) c Exported_1 : 4
289.41/216.89	c (5,0) c Exported_2 : 2
289.41/216.89	c (5,0) c Exported_3 : 2
289.41/216.89	c (5,0) c Exported_4 : 2
289.41/216.89	c (5,0) c Exported_5 : 2
289.41/216.89	c (5,0) c Exported_6 : 4
289.41/216.89	c (5,0) c Exported_7 : 6
289.41/216.89	c (5,0) c Exported_total : 24
289.41/216.89	c (5,0) c Exported_winner : 2
289.41/216.89	c (5,0) c Imported_0 : 0
289.41/216.89	c (5,0) c Imported_1 : 0
289.41/216.89	c (5,0) c Imported_2 : 0
289.41/216.89	c (5,0) c Imported_3 : 0
289.41/216.89	c (5,0) c Imported_4 : 0
289.41/216.89	c (5,0) c Imported_5 : 0
289.41/216.89	c (5,0) c Imported_6 : 0
289.41/216.89	c (5,0) c Imported_7 : 0
289.41/216.89	c (5,0) c Imported_total : 0
289.41/216.89	c (5,0) c Imported_winner : 0
289.41/216.89	c (5,0) c Good_0 : 0
289.41/216.89	c (5,0) c Good_1 : 0
289.41/216.89	c (5,0) c Good_2 : 0
289.41/216.89	c (5,0) c Good_3 : 0
289.41/216.89	c (5,0) c Good_4 : 0
289.41/216.89	c (5,0) c Good_5 : 0
289.41/216.89	c (5,0) c Good_6 : 0
289.41/216.89	c (5,0) c Good_7 : 0
289.41/216.89	c (5,0) c Good_total : 0
289.41/216.89	c (5,0) c Good_winner : 0
289.41/216.89	c (5,0) c Purge_0 : 0
289.41/216.89	c (5,0) c Purge_1 : 0
289.41/216.89	c (5,0) c Purge_2 : 0
289.41/216.89	c (5,0) c Purge_3 : 0
289.41/216.89	c (5,0) c Purge_4 : 0
289.41/216.89	c (5,0) c Purge_5 : 0
289.41/216.89	c (5,0) c Purge_6 : 0
289.41/216.89	c (5,0) c Purge_7 : 0
289.41/216.89	c (5,0) c Purge_total : 0
289.41/216.89	c (5,0) c Purge_winner : 0
289.41/216.89	c (5,0) c Promoted_0 : 0
289.41/216.89	c (5,0) c Promoted_1 : 0
289.41/216.89	c (5,0) c Promoted_2 : 0
289.41/216.89	c (5,0) c Promoted_3 : 0
289.41/216.89	c (5,0) c Promoted_4 : 0
289.41/216.89	c (5,0) c Promoted_5 : 0
289.41/216.89	c (5,0) c Promoted_6 : 0
289.41/216.89	c (5,0) c Promoted_7 : 0
289.41/216.89	c (5,0) c Promoted_total : 0
289.41/216.89	c (5,0) c Promoted_winner : 0
289.41/216.89	c (5,0) c Remove_Imp_0 : 0
289.41/216.89	c (5,0) c Remove_Imp_1 : 0
289.41/216.89	c (5,0) c Remove_Imp_2 : 0
289.41/216.89	c (5,0) c Remove_Imp_3 : 0
289.41/216.89	c (5,0) c Remove_Imp_4 : 0
289.41/216.89	c (5,0) c Remove_Imp_5 : 0
289.41/216.89	c (5,0) c Remove_Imp_6 : 0
289.41/216.89	c (5,0) c Remove_Imp_7 : 0
289.41/216.89	c (5,0) c Remove_Imp_total : 0
289.41/216.89	c (5,0) c Remove_Imp_winner : 0
289.41/216.89	c (5,0) c Blocked_Reuse_0 : 0
289.41/216.89	c (5,0) c Blocked_Reuse_1 : 0
289.41/216.89	c (5,0) c Blocked_Reuse_2 : 0
289.41/216.89	c (5,0) c Blocked_Reuse_3 : 0
289.41/216.89	c (5,0) c Blocked_Reuse_4 : 0
289.41/216.89	c (5,0) c Blocked_Reuse_5 : 0
289.41/216.89	c (5,0) c Blocked_Reuse_6 : 0
289.41/216.89	c (5,0) c Blocked_Reuse_7 : 0
289.41/216.89	c (5,0) c Blocked_Reuse_total : 0
289.41/216.89	c (5,0) c Blocked_Reuse_winner : 0
289.41/216.89	c (5,0) c Unaries_0 : 4
289.41/216.89	c (5,0) c Unaries_1 : 2
289.41/216.89	c (5,0) c Unaries_2 : 4
289.41/216.89	c (5,0) c Unaries_3 : 4
289.41/216.89	c (5,0) c Unaries_4 : 4
289.41/216.89	c (5,0) c Unaries_5 : 4
289.41/216.90	c (5,0) c Unaries_6 : 5
289.41/216.90	c (5,0) c Unaries_7 : 7
289.41/216.90	c (5,0) c Unaries_total : 34
289.41/216.90	c (5,0) c Unaries_winner : 4
289.41/216.90	c (5,0) c Binaries_0 : 1
289.41/216.90	c (5,0) c Binaries_1 : 3
289.41/216.90	c (5,0) c Binaries_2 : 1
289.41/216.90	c (5,0) c Binaries_3 : 1
289.41/216.90	c (5,0) c Binaries_4 : 1
289.41/216.90	c (5,0) c Binaries_5 : 1
289.41/216.90	c (5,0) c Binaries_6 : 3
289.41/216.90	c (5,0) c Binaries_7 : 3
289.41/216.90	c (5,0) c Binaries_total : 14
289.41/216.90	c (5,0) c Binaries_winner : 1
289.41/216.90	c (5,0) c Glues_0 : 2
289.41/216.90	c (5,0) c Glues_1 : 4
289.41/216.90	c (5,0) c Glues_2 : 2
289.41/216.90	c (5,0) c Glues_3 : 2
289.41/216.90	c (5,0) c Glues_4 : 2
289.41/216.90	c (5,0) c Glues_5 : 2
289.41/216.90	c (5,0) c Glues_6 : 4
289.41/216.90	c (5,0) c Glues_7 : 6
289.41/216.90	c (5,0) c Glues_total : 24
289.41/216.90	c (5,0) c Glues_winner : 2
289.41/216.90	c (5,0) c RunningTime_0 : 0.010354
289.41/216.90	c (5,0) c RunningTime_1 : 0.027767
289.41/216.90	c (5,0) c RunningTime_2 : 0.012573
289.41/216.90	c (5,0) c RunningTime_3 : 0.021771
289.41/216.90	c (5,0) c RunningTime_4 : 0.013720
289.41/216.90	c (5,0) c RunningTime_5 : 0.016388
289.41/216.90	c (5,0) c RunningTime_6 : 0.015762
289.41/216.90	c (5,0) c RunningTime_7 : 0.015287
289.41/216.90	c (5,0) c RunningTime_total : 0.133623
289.41/216.90	c (5,0) c RunningTime_winner : 0.010354
289.41/216.90	c (5,0) c WaitingTime_0 : 0.000000
289.41/216.90	c (5,0) c WaitingTime_1 : 0.000000
289.41/216.90	c (5,0) c WaitingTime_2 : 0.000000
289.41/216.90	c (5,0) c WaitingTime_3 : 0.000000
289.41/216.90	c (5,0) c WaitingTime_4 : 0.000000
289.41/216.90	c (5,0) c WaitingTime_5 : 0.000000
289.41/216.90	c (5,0) c WaitingTime_6 : 0.000000
289.41/216.90	c (5,0) c WaitingTime_7 : 0.000000
289.41/216.90	c (5,0) c WaitingTime_total : 0.000000
289.41/216.90	c (5,0) c WaitingTime_winner : 0.000000
289.41/216.90	c (5,0) c ExchangingTime_0 : 0.000009
289.41/216.90	c (5,0) c ExchangingTime_1 : 0.000037
289.41/216.90	c (5,0) c ExchangingTime_2 : 0.000007
289.41/216.90	c (5,0) c ExchangingTime_3 : 0.000007
289.41/216.90	c (5,0) c ExchangingTime_4 : 0.000071
289.41/216.90	c (5,0) c ExchangingTime_5 : 0.000007
289.41/216.90	c (5,0) c ExchangingTime_6 : 0.000005
289.41/216.90	c (5,0) c ExchangingTime_7 : 0.000010
289.41/216.90	c (5,0) c ExchangingTime_total : 0.000152
289.41/216.90	c (5,0) c ExchangingTime_winner : 0.000009
289.41/216.90	c (5,0) c PeriodProcTime_0 : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_1 : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_2 : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_3 : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_4 : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_5 : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_6 : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_7 : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_total : 0.000000
289.41/216.90	c (5,0) c PeriodProcTime_winner : 0.000000
289.41/216.90	c (5,0) c SolvingTime_0 : 0.010363
289.41/216.90	c (5,0) c SolvingTime_1 : 0.027804
289.41/216.90	c (5,0) c SolvingTime_2 : 0.012580
289.41/216.90	c (5,0) c SolvingTime_3 : 0.021778
289.41/216.90	c (5,0) c SolvingTime_4 : 0.013791
289.41/216.90	c (5,0) c SolvingTime_5 : 0.016395
289.41/216.90	c (5,0) c SolvingTime_6 : 0.015767
289.41/216.90	c (5,0) c SolvingTime_7 : 0.015297
289.41/216.90	c (5,0) c SolvingTime_total : 0.133775
289.41/216.90	c (5,0) c SolvingTime_winner : 0.010363
289.41/216.90	c (5,0) c PropagationTime_0 : 0.008832
289.41/216.90	c (5,0) c PropagationTime_1 : 0.021773
289.41/216.90	c (5,0) c PropagationTime_2 : 0.011681
289.41/216.90	c (5,0) c PropagationTime_3 : 0.020617
289.41/216.90	c (5,0) c PropagationTime_4 : 0.012900
289.41/216.90	c (5,0) c PropagationTime_5 : 0.014785
289.41/216.90	c (5,0) c PropagationTime_6 : 0.015436
289.41/216.90	c (5,0) c PropagationTime_7 : 0.014927
289.41/216.90	c (5,0) c PropagationTime_total : 0.120951
289.41/216.90	c (5,0) c PropagationTime_winner : 0.008832
289.41/216.90	c (5,0) c AnalysisTime_0 : 0.000070
289.41/216.90	c (5,0) c AnalysisTime_1 : 0.000625
289.41/216.90	c (5,0) c AnalysisTime_2 : 0.000051
289.41/216.90	c (5,0) c AnalysisTime_3 : 0.000057
289.41/216.90	c (5,0) c AnalysisTime_4 : 0.000041
289.41/216.90	c (5,0) c AnalysisTime_5 : 0.000061
289.41/216.90	c (5,0) c AnalysisTime_6 : 0.000091
289.41/216.90	c (5,0) c AnalysisTime_7 : 0.000083
289.41/216.90	c (5,0) c AnalysisTime_total : 0.001080
289.41/216.90	c (5,0) c AnalysisTime_winner : 0.000070
289.41/216.90	c (5,0) c ReductionTime_0 : 0.000000
289.41/216.90	c (5,0) c ReductionTime_1 : 0.000000
289.41/216.90	c (5,0) c ReductionTime_2 : 0.000000
289.41/216.90	c (5,0) c ReductionTime_3 : 0.000000
289.41/216.90	c (5,0) c ReductionTime_4 : 0.000000
289.41/216.90	c (5,0) c ReductionTime_5 : 0.000000
289.41/216.90	c (5,0) c ReductionTime_6 : 0.000000
289.41/216.90	c (5,0) c ReductionTime_7 : 0.000000
289.41/216.90	c (5,0) c ReductionTime_total : 0.000000
289.41/216.90	c (5,0) c ReductionTime_winner : 0.000000
289.41/216.90	c (5,0) c SimplifyTime_0 : 0.000000
289.41/216.90	c (5,0) c SimplifyTime_1 : 0.000000
289.41/216.90	c (5,0) c SimplifyTime_2 : 0.000000
289.41/216.90	c (5,0) c SimplifyTime_3 : 0.000001
289.41/216.90	c (5,0) c SimplifyTime_4 : 0.000000
289.41/216.90	c (5,0) c SimplifyTime_5 : 0.000000
289.41/216.90	c (5,0) c SimplifyTime_6 : 0.000000
289.41/216.90	c (5,0) c SimplifyTime_7 : 0.000000
289.41/216.90	c (5,0) c SimplifyTime_total : 0.000001
289.41/216.90	c (5,0) c SimplifyTime_winner : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_0 : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_1 : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_2 : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_3 : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_4 : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_5 : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_6 : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_7 : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_total : 0.000000
289.41/216.90	c (5,0) c UsedRateTime_winner : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_0 : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_1 : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_2 : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_3 : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_4 : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_5 : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_6 : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_7 : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_total : 0.000000
289.41/216.90	c (5,0) c OverlapRateTime_winner : 0.000000
289.41/216.90	c (5,0) c
289.41/216.90	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
289.41/216.90	c (5,0) c
289.41/216.90	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.90	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
289.41/216.90	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.90	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
289.41/216.90	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
289.41/216.90	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
289.41/216.90	c (5,0) c | Initial random_seed   | 1167720804 | 2034656122 |  763684797 |  888926382 | 1329059524 | 1696983573 |  437531610 |  752291688 |
289.41/216.90	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
289.41/216.90	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
289.41/216.90	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
289.41/216.90	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
289.41/216.90	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
289.41/216.90	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
289.41/216.90	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
289.41/216.90	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
289.41/216.90	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
289.41/216.90	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
289.41/216.90	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
289.41/216.90	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
289.41/216.90	c (5,0) 
289.41/216.90	c (5,0) s UNSATISFIABLE
284.88/216.93	c (5,0) SatSolver.solve End
284.88/216.93	c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
284.88/216.93	c (5,0) Show results Begin
284.88/216.93	s UNSATISFIABLE
284.88/216.93	c (5,0) Show results End
284.88/216.93	c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
284.88/216.93	c (5,0) 5,5,STOP-AFTER(ALL)
284.88/216.93	c END-Prog: Tue Sep 24 22:58:09 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13777 MiB free)
  memory of node 1: 16384 MiB (12334 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100107 s]*
/proc/loadavg: 5.56 3.52 5.47 2/211 13033
/proc/meminfo: memFree=26645500/32770624 swapFree=66986400/67108860
[pid=13011] ppid=13008 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13011/stat : 13011 (scop.sh) S 13008 13011 12027 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512526134 115843072 349 33554432000 4194304 5098028 140735075358336 140735075355592 139926713090684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38551552 140735075361573 140735075361900 140735075361900 140735075364813 0
/proc/13011/statm: 28282 349 296 221 0 87 0
[pid=13014] ppid=13011 vsize=27314120 memory=104440 CPUtime=0.11 cores=0-7
/proc/13014/stat : 13014 (java) S 13011 13011 12027 0 -1 1077944320 6695 0 0 0 8 3 0 0 20 0 20 0 512526135 27969658880 26110 33554432000 4194304 4196468 140730340301168 140730340283712 140224647724791 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
/proc/13014/statm: 6828530 26110 2798 1 0 6790935 0
[pid=13014/tid=13015] ppid=13011 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/13014/task/13015/stat : 13015 (java) R 13011 13011 12027 0 -1 4202560 4781 0 0 0 6 2 0 0 20 0 20 0 512526135 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224619528992 140224647746717 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13016] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13016/stat : 13016 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224651966864 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13017] ppid=13011 vsize=27314120 memory=288370445293536896 CPUtime=0 cores=0-7
/proc/13014/task/13017/stat : 13017 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224466123024 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13018] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13018/stat : 13018 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224465070736 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13019] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13019/stat : 13019 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224464017936 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13020] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13020/stat : 13020 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224462965648 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13021] ppid=13011 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13014/task/13021/stat : 13021 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224461912848 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13022] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13022/stat : 13022 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224460860560 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13023] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13023/stat : 13023 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 26110 33554432000 4194304 4196468 140730340301168 140224459807760 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13024] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13024/stat : 13024 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526139 27969658880 26110 33554432000 4194304 4196468 140730340301168 140223773071472 140224647735938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13025] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13025/stat : 13025 (java) S 13011 13011 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512526139 27969658880 26110 33554432000 4194304 4196468 140730340301168 140222427816736 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13026] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13026/stat : 13026 (java) S 13011 13011 12027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512526140 27969658880 26110 33554432000 4194304 4196468 140730340301168 140222293595248 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13027] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13027/stat : 13027 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 26110 33554432000 4194304 4196468 140730340301168 140221919090768 140224647743387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13028] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13028/stat : 13028 (java) S 13011 13011 12027 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 26110 33554432000 4194304 4196468 140730340301168 140223772019312 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13029] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13029/stat : 13029 (java) R 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 26110 33554432000 4194304 4196468 140730340301168 140223702886896 140224647735938 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13030] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13030/stat : 13030 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 26110 33554432000 4194304 4196468 140730340301168 140223701834608 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13031] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13031/stat : 13031 (java) S 13011 13011 12027 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 26110 33554432000 4194304 4196468 140730340301168 140223700781808 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13032] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13032/stat : 13032 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 26110 33554432000 4194304 4196468 140730340301168 140221421185376 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13033] ppid=13011 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13014/task/13033/stat : 13033 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526143 27969658880 26110 33554432000 4194304 4196468 140730340301168 140223699728688 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105836 KiB

[startup+0.209872 s]*
/proc/loadavg: 5.56 3.52 5.47 3/211 13033
/proc/meminfo: memFree=26626548/32770624 swapFree=66986400/67108860
[pid=13011] ppid=13008 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13011/stat : 13011 (scop.sh) S 13008 13011 12027 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512526134 115843072 349 33554432000 4194304 5098028 140735075358336 140735075355592 139926713090684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38551552 140735075361573 140735075361900 140735075361900 140735075364813 0
/proc/13011/statm: 28282 349 296 221 0 87 0
[pid=13014] ppid=13011 vsize=27314120 memory=121016 CPUtime=0.24 cores=0-7
/proc/13014/stat : 13014 (java) S 13011 13011 12027 0 -1 1077944320 11715 0 0 0 20 4 0 0 20 0 20 0 512526135 27969658880 30254 33554432000 4194304 4196468 140730340301168 140730340283712 140224647724791 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
/proc/13014/statm: 6828530 30254 2895 1 0 6790935 0
[pid=13014/tid=13015] ppid=13011 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13014/task/13015/stat : 13015 (java) R 13011 13011 12027 0 -1 4202560 9404 0 0 0 16 4 0 0 20 0 20 0 512526135 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224619524176 140224629288355 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13016] ppid=13011 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/13014/task/13016/stat : 13016 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224651966864 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13017] ppid=13011 vsize=27314120 memory=140069141837463 CPUtime=0 cores=0-7
/proc/13014/task/13017/stat : 13017 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224466123024 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13018] ppid=13011 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13014/task/13018/stat : 13018 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224465070736 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13019] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13019/stat : 13019 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224464017936 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13020] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13020/stat : 13020 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224462965648 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13021] ppid=13011 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13014/task/13021/stat : 13021 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224461912848 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13022] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13022/stat : 13022 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224460860560 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13023] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13023/stat : 13023 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 30254 33554432000 4194304 4196468 140730340301168 140224459807760 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13024] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13024/stat : 13024 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526139 27969658880 30254 33554432000 4194304 4196468 140730340301168 140223773071472 140224647735938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13025] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13025/stat : 13025 (java) S 13011 13011 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512526139 27969658880 30254 33554432000 4194304 4196468 140730340301168 140222427816736 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13026] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13026/stat : 13026 (java) S 13011 13011 12027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512526140 27969658880 30254 33554432000 4194304 4196468 140730340301168 140222293595248 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13027] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13027/stat : 13027 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 30254 33554432000 4194304 4196468 140730340301168 140221919090768 140224647743387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13028] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13028/stat : 13028 (java) S 13011 13011 12027 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 30254 33554432000 4194304 4196468 140730340301168 140223772019312 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13029] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13029/stat : 13029 (java) S 13011 13011 12027 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 30254 33554432000 4194304 4196468 140730340301168 140223702886896 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13030] ppid=13011 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13014/task/13030/stat : 13030 (java) S 13011 13011 12027 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 30254 33554432000 4194304 4196468 140730340301168 140223701834608 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13031] ppid=13011 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/13014/task/13031/stat : 13031 (java) S 13011 13011 12027 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 512526142 27969658880 30254 33554432000 4194304 4196468 140730340301168 140223700781808 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13032] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13032/stat : 13032 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 30254 33554432000 4194304 4196468 140730340301168 140221421185376 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13033] ppid=13011 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13014/task/13033/stat : 13033 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526143 27969658880 30254 33554432000 4194304 4196468 140730340301168 140223699728688 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122412 KiB

[startup+0.309502 s]*
/proc/loadavg: 5.56 3.52 5.47 2/211 13033
/proc/meminfo: memFree=26623524/32770624 swapFree=66986400/67108860
[pid=13011] ppid=13008 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13011/stat : 13011 (scop.sh) S 13008 13011 12027 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512526134 115843072 349 33554432000 4194304 5098028 140735075358336 140735075355592 139926713090684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38551552 140735075361573 140735075361900 140735075361900 140735075364813 0
/proc/13011/statm: 28282 349 296 221 0 87 0
[pid=13014] ppid=13011 vsize=27314120 memory=125124 CPUtime=0.42 cores=0-7
/proc/13014/stat : 13014 (java) S 13011 13011 12027 0 -1 1077944320 12256 0 0 0 37 5 0 0 20 0 20 0 512526135 27969658880 31281 33554432000 4194304 4196468 140730340301168 140730340283712 140224647724791 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
/proc/13014/statm: 6828530 31281 3004 1 0 6790935 0
[pid=13014/tid=13015] ppid=13011 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/13014/task/13015/stat : 13015 (java) R 13011 13011 12027 0 -1 4202560 9780 0 0 0 25 4 0 0 20 0 20 0 512526135 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224619554864 140224631805278 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13016] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13016/stat : 13016 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224651966864 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13017] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13017/stat : 13017 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224466123024 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13018] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13018/stat : 13018 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224465070736 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13019] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13019/stat : 13019 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224464017936 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13020] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13020/stat : 13020 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224462965648 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13021] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13021/stat : 13021 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224461912848 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13022] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13022/stat : 13022 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224460860560 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13023] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13023/stat : 13023 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27969658880 31281 33554432000 4194304 4196468 140730340301168 140224459807760 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13024] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13024/stat : 13024 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512526139 27969658880 31281 33554432000 4194304 4196468 140730340301168 140223773071472 140224647735938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13025] ppid=13011 vsize=27314120 memory=280138034126208 CPUtime=0 cores=0-7
/proc/13014/task/13025/stat : 13025 (java) S 13011 13011 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512526139 27969658880 31281 33554432000 4194304 4196468 140730340301168 140222427816736 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13026] ppid=13011 vsize=27314120 memory=280138034130816 CPUtime=0 cores=0-7
/proc/13014/task/13026/stat : 13026 (java) S 13011 13011 12027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512526140 27969658880 31281 33554432000 4194304 4196468 140730340301168 140222293595248 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13027] ppid=13011 vsize=27314120 memory=280138034135424 CPUtime=0 cores=0-7
/proc/13014/task/13027/stat : 13027 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 31281 33554432000 4194304 4196468 140730340301168 140221919090768 140224647743387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13028] ppid=13011 vsize=27314120 memory=280138034140032 CPUtime=0 cores=0-7
/proc/13014/task/13028/stat : 13028 (java) R 13011 13011 12027 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 31281 33554432000 4194304 4196468 140730340301168 140223772019312 140224639961918 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13029] ppid=13011 vsize=27314120 memory=280138034144640 CPUtime=0 cores=0-7
/proc/13014/task/13029/stat : 13029 (java) S 13011 13011 12027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 31281 33554432000 4194304 4196468 140730340301168 140223702886896 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13030] ppid=13011 vsize=27314120 memory=280138034149248 CPUtime=0.02 cores=0-7
/proc/13014/task/13030/stat : 13030 (java) S 13011 13011 12027 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 20 0 512526142 27969658880 31281 33554432000 4194304 4196468 140730340301168 140223701834608 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13031] ppid=13011 vsize=27314120 memory=280138034153856 CPUtime=0.07 cores=0-7
/proc/13014/task/13031/stat : 13031 (java) S 13011 13011 12027 0 -1 1077944384 521 0 0 0 7 0 0 0 20 0 20 0 512526142 27969658880 31281 33554432000 4194304 4196468 140730340301168 140223700781808 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13032] ppid=13011 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13032/stat : 13032 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512526142 27969658880 31281 33554432000 4194304 4196468 140730340301168 140221421185376 140224647734997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13033] ppid=13011 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13014/task/13033/stat : 13033 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526143 27969658880 31281 33554432000 4194304 4196468 140730340301168 140223699728688 140224647735938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126520 KiB

[startup+0.700912 s]
/proc/loadavg: 5.56 3.52 5.47 2/211 13033
/proc/meminfo: memFree=26600668/32770624 swapFree=66986400/67108860
[pid=13011] ppid=13008 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13011/stat : 13011 (scop.sh) S 13008 13011 12027 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512526134 115843072 349 33554432000 4194304 5098028 140735075358336 140735075355592 139926713090684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38551552 140735075361573 140735075361900 140735075361900 140735075364813 0
/proc/13011/statm: 28282 349 296 221 0 87 0
[pid=13014] ppid=13011 vsize=27320392 memory=163256 CPUtime=1 cores=0-7
/proc/13014/stat : 13014 (java) S 13011 13011 12027 0 -1 1077944320 20416 0 0 0 93 7 0 0 20 0 20 0 512526135 27976081408 40814 33554432000 4194304 4196468 140730340301168 140730340283712 140224647724791 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
/proc/13014/statm: 6830098 40814 3163 1 0 6791447 0
[pid=13014/tid=13015] ppid=13011 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/13014/task/13015/stat : 13015 (java) R 13011 13011 12027 0 -1 4202560 17361 0 0 0 62 5 0 0 20 0 20 0 512526135 27976081408 40814 33554432000 4194304 4196468 140730340301168 140224619559600 140224647746717 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13016] ppid=13011 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13016/stat : 13016 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27976081408 40814 33554432000 4194304 4196468 140730340301168 140224651966864 140224647734997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13017] ppid=13011 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13014/task/13017/stat : 13017 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27976081408 40814 33554432000 4194304 4196468 140730340301168 140224466123024 140224647734997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0
[pid=13014/tid=13018] ppid=13011 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/13014/task/13018/stat : 13018 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512526137 27976081408 40814 33554432000 4194304 4196468 140730340301168 140224465070736 140224647734997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30003200 140730340303595 140730340304022 140730340304022 140730340306895 0

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

/proc/13049/task/13056/stat : 13056 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568496253456 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13057] ppid=13011 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/13049/task/13057/stat : 13057 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568495200912 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13058] ppid=13011 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/13049/task/13058/stat : 13058 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568494147856 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13059] ppid=13011 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/13049/task/13059/stat : 13059 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568493095312 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13060] ppid=13011 vsize=8414124 memory=2480 CPUtime=0 cores=0-7
/proc/13049/task/13060/stat : 13060 (java) S 13011 13011 12027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512547266 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568308988656 140569014164098 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13061] ppid=13011 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/13049/task/13061/stat : 13061 (java) S 13011 13011 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512547267 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567702922912 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13062] ppid=13011 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/13049/task/13062/stat : 13062 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547267 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567434487024 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13063] ppid=13011 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/13049/task/13063/stat : 13063 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567059978704 140569014171547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13064] ppid=13011 vsize=8414124 memory=1808 CPUtime=0.08 cores=0-7
/proc/13049/task/13064/stat : 13064 (java) S 13011 13011 12027 0 -1 1077944384 542 0 0 0 8 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567568701680 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13065] ppid=13011 vsize=8414124 memory=920 CPUtime=0.1 cores=0-7
/proc/13049/task/13065/stat : 13065 (java) S 13011 13011 12027 0 -1 1077944384 415 0 0 0 10 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567567649136 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13066] ppid=13011 vsize=8414124 memory=4808 CPUtime=0.1 cores=0-7
/proc/13049/task/13066/stat : 13066 (java) S 13011 13011 12027 0 -1 1077944384 406 0 0 0 10 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567566596080 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13067] ppid=13011 vsize=8414124 memory=1412 CPUtime=0.24 cores=0-7
/proc/13049/task/13067/stat : 13067 (java) S 13011 13011 12027 0 -1 1077944384 536 0 0 0 24 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567565543536 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13068] ppid=13011 vsize=8414124 memory=3212 CPUtime=0 cores=0-7
/proc/13049/task/13068/stat : 13068 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140566562073568 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13069] ppid=13011 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13049/task/13069/stat : 13069 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547271 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567564491952 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13071] ppid=13011 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/13049/task/13071/stat : 13071 (java) S 13011 13011 12027 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512547357 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568307377600 140569014177561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13073] ppid=13011 vsize=8414124 memory=241984 CPUtime=0 cores=0-7
/proc/13049/task/13073/stat : 13073 (java) S 13011 13011 12027 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 512547357 8616062976 30873 33554432000 4194304 4196468 140734436616640 140565890973232 140569014174877 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13074] ppid=13011 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/13049/task/13074/stat : 13074 (java) S 13011 13011 12027 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512547357 8616062976 30873 33554432000 4194304 4196468 140734436616640 140566159408816 140569014174877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13075] ppid=13011 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/13049/task/13075/stat : 13075 (java) S 13011 13011 12027 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 512547359 8616062976 30873 33554432000 4194304 4196468 140734436616640 140565622545328 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
Current children cumulated CPU time: 289 s
Current children cumulated vsize: 9320496 KiB
Current children cumulated memory: 871880 KiB

[startup+216.801 s]
/proc/loadavg: 1.99 2.55 4.66 2/215 13075
/proc/meminfo: memFree=26329104/32770624 swapFree=66986400/67108860
[pid=13011] ppid=13008 vsize=113128 memory=1476 CPUtime=283.47 cores=0-7
/proc/13011/stat : 13011 (scop.sh) S 13008 13011 12027 0 -1 4202496 583 107225 0 0 0 0 27003 1344 20 0 1 0 512526134 115843072 369 33554432000 4194304 5098028 140735075358336 140735075355080 139926713090684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38551552 140735075361573 140735075361900 140735075361900 140735075364813 0
/proc/13011/statm: 28282 369 311 221 0 87 0
[pid=13049] ppid=13011 vsize=8414124 memory=123492 CPUtime=1.37 cores=0-7
/proc/13049/stat : 13049 (java) S 13011 13011 12027 0 -1 1077944320 21330 0 0 0 129 8 0 0 20 0 24 0 512547263 8616062976 30873 33554432000 4194304 4196468 140734436616640 140734436599184 140569014152951 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
/proc/13049/statm: 2103531 30873 3217 1 0 2064875 0
[pid=13070] ppid=13049 vsize=1310656 memory=1264392 CPUtime=4.57 cores=0-7
/proc/13070/stat : 13070 (manyglucose-4.1) R 13049 13011 12027 0 -1 4202496 244201 0 0 0 421 36 0 0 20 0 1 0 512547357 1342111744 316032 33554432000 4194304 4454172 140720595223376 140720595221080 140405546822629 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552832 6554400 23220224 140720595231593 140720595231792 140720595231792 140720595234746 0
/proc/13070/statm: 327664 316098 378 64 0 323332 0
[pid=13049/tid=13050] ppid=13011 vsize=8414124 memory=-7824251494390454635 CPUtime=0.82 cores=0-7
/proc/13049/task/13050/stat : 13050 (java) S 13011 13011 12027 0 -1 1077944384 17906 0 0 0 75 7 0 0 20 0 24 0 512547263 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568985993120 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13052] ppid=13011 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/13049/task/13052/stat : 13052 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140569018395664 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13053] ppid=13011 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/13049/task/13053/stat : 13053 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568845212816 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13054] ppid=13011 vsize=8414124 memory=242024 CPUtime=0 cores=0-7
/proc/13049/task/13054/stat : 13054 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568498359056 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13055] ppid=13011 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/13049/task/13055/stat : 13055 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568497306512 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13056] ppid=13011 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/13049/task/13056/stat : 13056 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568496253456 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13057] ppid=13011 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/13049/task/13057/stat : 13057 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568495200912 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13058] ppid=13011 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/13049/task/13058/stat : 13058 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568494147856 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13059] ppid=13011 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/13049/task/13059/stat : 13059 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568493095312 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13060] ppid=13011 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/13049/task/13060/stat : 13060 (java) S 13011 13011 12027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512547266 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568308988656 140569014164098 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13061] ppid=13011 vsize=8414124 memory=-7824251494390454635 CPUtime=0 cores=0-7
/proc/13049/task/13061/stat : 13061 (java) S 13011 13011 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512547267 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567702922912 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13062] ppid=13011 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/13049/task/13062/stat : 13062 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547267 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567434487024 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13063] ppid=13011 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/13049/task/13063/stat : 13063 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567059978704 140569014171547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13064] ppid=13011 vsize=8414124 memory=1084 CPUtime=0.08 cores=0-7
/proc/13049/task/13064/stat : 13064 (java) S 13011 13011 12027 0 -1 1077944384 542 0 0 0 8 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567568701680 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13065] ppid=13011 vsize=8414124 memory=14012 CPUtime=0.1 cores=0-7
/proc/13049/task/13065/stat : 13065 (java) S 13011 13011 12027 0 -1 1077944384 415 0 0 0 10 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567567649136 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13066] ppid=13011 vsize=8414124 memory=14048 CPUtime=0.1 cores=0-7
/proc/13049/task/13066/stat : 13066 (java) S 13011 13011 12027 0 -1 1077944384 406 0 0 0 10 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567566596080 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13067] ppid=13011 vsize=8414124 memory=35132 CPUtime=0.24 cores=0-7
/proc/13049/task/13067/stat : 13067 (java) S 13011 13011 12027 0 -1 1077944384 536 0 0 0 24 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567565543536 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13068] ppid=13011 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/13049/task/13068/stat : 13068 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547270 8616062976 30873 33554432000 4194304 4196468 140734436616640 140566562073568 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13069] ppid=13011 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/13049/task/13069/stat : 13069 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547271 8616062976 30873 33554432000 4194304 4196468 140734436616640 140567564491952 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13071] ppid=13011 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/13049/task/13071/stat : 13071 (java) S 13011 13011 12027 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512547357 8616062976 30873 33554432000 4194304 4196468 140734436616640 140568307377600 140569014177561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13073] ppid=13011 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/13049/task/13073/stat : 13073 (java) S 13011 13011 12027 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 512547357 8616062976 30873 33554432000 4194304 4196468 140734436616640 140565890973232 140569014174877 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13074] ppid=13011 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/13049/task/13074/stat : 13074 (java) S 13011 13011 12027 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512547357 8616062976 30873 33554432000 4194304 4196468 140734436616640 140566159408816 140569014174877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13075] ppid=13011 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13049/task/13075/stat : 13075 (java) S 13011 13011 12027 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 512547359 8616062976 30873 33554432000 4194304 4196468 140734436616640 140565622545328 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
Current children cumulated CPU time: 289.41 s
Current children cumulated vsize: 9837908 KiB
Current children cumulated memory: 1389360 KiB

[startup+216.904 s]
/proc/loadavg: 1.99 2.55 4.66 2/215 13075
/proc/meminfo: memFree=26329104/32770624 swapFree=66986400/67108860
[pid=13011] ppid=13008 vsize=113128 memory=1476 CPUtime=283.47 cores=0-7
/proc/13011/stat : 13011 (scop.sh) S 13008 13011 12027 0 -1 4202496 583 107225 0 0 0 0 27003 1344 20 0 1 0 512526134 115843072 369 33554432000 4194304 5098028 140735075358336 140735075355080 139926713090684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38551552 140735075361573 140735075361900 140735075361900 140735075364813 0
/proc/13011/statm: 28282 369 311 221 0 87 0
[pid=13049] ppid=13011 vsize=8414124 memory=124548 CPUtime=1.41 cores=0-7
/proc/13049/stat : 13049 (java) S 13011 13011 12027 0 -1 1077944320 21600 0 0 0 133 8 0 0 20 0 24 0 512547263 8616062976 31137 33554432000 4194304 4196468 140734436616640 140734436599184 140569014152951 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
/proc/13049/statm: 2103531 31137 3217 1 0 2064875 0
[pid=13049/tid=13050] ppid=13011 vsize=8414124 memory=253728 CPUtime=0.82 cores=0-7
/proc/13049/task/13050/stat : 13050 (java) S 13011 13011 12027 0 -1 1077944384 17906 0 0 0 75 7 0 0 20 0 24 0 512547263 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568985993120 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13052] ppid=13011 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/13049/task/13052/stat : 13052 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 31137 33554432000 4194304 4196468 140734436616640 140569018395664 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13053] ppid=13011 vsize=8414124 memory=10623876 CPUtime=0 cores=0-7
/proc/13049/task/13053/stat : 13053 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568845212816 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13054] ppid=13011 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/13049/task/13054/stat : 13054 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568498359056 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13055] ppid=13011 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/13049/task/13055/stat : 13055 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568497306512 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13056] ppid=13011 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/13049/task/13056/stat : 13056 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568496253456 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13057] ppid=13011 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13049/task/13057/stat : 13057 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568495200912 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13058] ppid=13011 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/13049/task/13058/stat : 13058 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568494147856 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13059] ppid=13011 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13049/task/13059/stat : 13059 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547265 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568493095312 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13060] ppid=13011 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/13049/task/13060/stat : 13060 (java) S 13011 13011 12027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512547266 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568308988656 140569014164098 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13061] ppid=13011 vsize=8414124 memory=237644 CPUtime=0 cores=0-7
/proc/13049/task/13061/stat : 13061 (java) S 13011 13011 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512547267 8616062976 31137 33554432000 4194304 4196468 140734436616640 140567702922912 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13062] ppid=13011 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/13049/task/13062/stat : 13062 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547267 8616062976 31137 33554432000 4194304 4196468 140734436616640 140567434487024 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13063] ppid=13011 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13049/task/13063/stat : 13063 (java) S 13011 13011 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512547270 8616062976 31137 33554432000 4194304 4196468 140734436616640 140567059978704 140569014171547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13064] ppid=13011 vsize=8414124 memory=780 CPUtime=0.08 cores=0-7
/proc/13049/task/13064/stat : 13064 (java) S 13011 13011 12027 0 -1 1077944384 543 0 0 0 8 0 0 0 20 0 24 0 512547270 8616062976 31137 33554432000 4194304 4196468 140734436616640 140567568701680 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13065] ppid=13011 vsize=8414124 memory=1564 CPUtime=0.1 cores=0-7
/proc/13049/task/13065/stat : 13065 (java) S 13011 13011 12027 0 -1 1077944384 418 0 0 0 10 0 0 0 20 0 24 0 512547270 8616062976 31137 33554432000 4194304 4196468 140734436616640 140567567649136 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13066] ppid=13011 vsize=8414124 memory=924 CPUtime=0.1 cores=0-7
/proc/13049/task/13066/stat : 13066 (java) R 13011 13011 12027 0 -1 4202560 409 0 0 0 10 0 0 0 20 0 24 0 512547270 8616062976 31137 33554432000 4194304 4196468 140734436616640 140567566596080 140568994854602 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13067] ppid=13011 vsize=8414124 memory=1760 CPUtime=0.26 cores=0-7
/proc/13049/task/13067/stat : 13067 (java) R 13011 13011 12027 0 -1 4202560 794 0 0 0 26 0 0 0 20 0 24 0 512547270 8616062976 31137 33554432000 4194304 4196468 140734436616640 140567565541328 140568996052647 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13068] ppid=13011 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/13049/task/13068/stat : 13068 (java) S 13011 13011 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512547270 8616062976 31137 33554432000 4194304 4196468 140734436616640 140566562073568 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13069] ppid=13011 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/13049/task/13069/stat : 13069 (java) S 13011 13011 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512547271 8616062976 31137 33554432000 4194304 4196468 140734436616640 140567564491952 140569014164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13071] ppid=13011 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/13049/task/13071/stat : 13071 (java) S 13011 13011 12027 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512547357 8616062976 31137 33554432000 4194304 4196468 140734436616640 140568307377600 140569014177561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13073] ppid=13011 vsize=8414124 memory=6204 CPUtime=0.02 cores=0-7
/proc/13049/task/13073/stat : 13073 (java) S 13011 13011 12027 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 24 0 512547357 8616062976 31137 33554432000 4194304 4196468 140734436616640 140565890973264 140569014174877 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13074] ppid=13011 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/13049/task/13074/stat : 13074 (java) S 13011 13011 12027 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512547357 8616062976 31137 33554432000 4194304 4196468 140734436616640 140566159408816 140569014174877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
[pid=13049/tid=13075] ppid=13011 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13049/task/13075/stat : 13075 (java) S 13011 13011 12027 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 512547359 8616062976 31137 33554432000 4194304 4196468 140734436616640 140565622545328 140569014163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16363520 140734436623351 140734436623510 140734436623510 140734436626383 0
Current children cumulated CPU time: 284.88 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 126024 KiB

Child status: 0
Real time (s): 216.956
CPU time (s): 289.702
CPU user time (s): 275.697
CPU system time (s): 14.0047
CPU usage (%): 133.53
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 10772504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 275.697
system time used= 14.0047
maximum resident set size= 10771872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 81400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18130
involuntary context switches= 1010


# summary of solver processes directly reported to runsolver:
#   pid: 13011
#   total CPU time (s): 289.702
#   total CPU user time (s): 275.697
#   total CPU system time (s): 14.0047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45408 second user time and 2.0954 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 22:54:32
IDJOB=4405135
IDBENCH=140009
IDSOLVER=2867
FILE ID=node104/4405135-1569362695
RUNJOBID= node104-1569354839-12054
PBS_JOBID= 21705117
Free space on /tmp= 9832 MiB

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

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

MD5SUM BENCH= 771a2032fa08b3551aec0b6adeb94e67
RANDOM SEED=1734136762

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26737856 kB
MemAvailable:   31817164 kB
Buffers:          104076 kB
Cached:          5067276 kB
SwapCached:        22640 kB
Active:          3192556 kB
Inactive:        2006360 kB
Active(anon):       5264 kB
Inactive(anon):    80336 kB
Active(file):    3187292 kB
Inactive(file):  1926024 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986400 kB
Dirty:             21280 kB
Writeback:             0 kB
AnonPages:        337192 kB
Mapped:            57300 kB
Shmem:             49032 kB
Slab:             424156 kB
SReclaimable:     394452 kB
SUnreclaim:        29704 kB
KernelStack:        3872 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-24 22:58:09