Trace number 4392317

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-11.xml
MD5SUM0cb6e3dc45605db1284c892a60e68314
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 benchmark56.5468
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of constraints42
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":220}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":220}]
Minimum constraint arity10
Maximum constraint arity11
Distribution of constraint arities[{"arity":10,"count":22},{"arity":11,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":42}]
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-31663-serial-file.bin HOME/instance-4392317-1568437326.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: Sat Sep 14 07:01:25 CEST 2019
0.66/0.57	c PID: 31666
0.66/0.57	c IP: 172.20.3.134
0.66/0.57	c HOST: node134.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.37/0.95	c (0,0) Parsing End
1.37/0.96	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.37/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.96	c (0,0) Constraint Name Generate Begin
1.37/0.96	c (0,0) Ctr:HOME/instance-4392317-1568437326.xml,Num:Var:WeightedSum
1.37/0.96	c (0,0) Constraint Name Generate End
1.37/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.96	c (0,0) CSP to CSPinCNF Begin
1.56/1.07	c (0,0) translated 5 (10%) constraints
1.56/1.08	c (0,0) translated 9 (20%) constraints
1.56/1.09	c (0,0) translated 13 (30%) constraints
1.56/1.10	c (0,0) translated 17 (40%) constraints
1.80/1.11	c (0,0) translated 21 (50%) constraints
1.80/1.12	c (0,0) translated 26 (60%) constraints
1.80/1.13	c (0,0) translated 30 (70%) constraints
1.80/1.13	c (0,0) translated 34 (80%) constraints
1.80/1.14	c (0,0) translated 38 (90%) constraints
1.80/1.15	c (0,0) translated 42 (100%) constraints
1.80/1.15	c (0,0) ===========================================
1.80/1.15	c (0,0) Order
1.80/1.15	c (0,0) ===========================================
1.80/1.16	c (0,0) translated 5 (10%) constraints
1.80/1.16	c (0,0) translated 9 (20%) constraints
1.80/1.17	c (0,0) translated 13 (30%) constraints
1.80/1.17	c (0,0) translated 17 (40%) constraints
1.80/1.17	c (0,0) translated 21 (50%) constraints
1.80/1.18	c (0,0) translated 26 (60%) constraints
1.80/1.18	c (0,0) translated 30 (70%) constraints
1.80/1.18	c (0,0) translated 34 (80%) constraints
1.80/1.18	c (0,0) translated 38 (90%) constraints
1.80/1.18	c (0,0) translated 42 (100%) constraints
1.80/1.19	c (0,0) CSP to CSPinCNF End
1.80/1.19	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.80/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.80/1.19	c (0,0) CSPinCNF Propagation Begin
2.12/1.20	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.12/1.20	c (0,0) CSPinCNF Propagation End
2.12/1.20	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.12/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.12/1.21	c (0,0) Simplify CSPinCNF Begin
2.12/1.21	c (0,0) Simplify CSPinCNF End
2.12/1.21	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.12/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.12/1.21	c (0,0) Calculate Precise Domain Begin
2.12/1.21	c (0,0) 0 values are removed by re-calculation
2.12/1.21	c (0,0) Calculate Precise Domain End
2.12/1.21	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.12/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.12/1.21	c (0,0) CSPinCNF to SatSolver Begin
2.12/1.29	c (0,0) 5 (10 %) CSP clauses are encoded (0 SAT variables, 4 SAT clauses)
2.34/1.30	c (0,0) 9 (20 %) CSP clauses are encoded (0 SAT variables, 8 SAT clauses)
2.34/1.31	c (0,0) 13 (30 %) CSP clauses are encoded (0 SAT variables, 12 SAT clauses)
2.34/1.31	c (0,0) 17 (40 %) CSP clauses are encoded (0 SAT variables, 16 SAT clauses)
2.34/1.32	c (0,0) 21 (50 %) CSP clauses are encoded (0 SAT variables, 20 SAT clauses)
2.34/1.33	c (0,0) 26 (60 %) CSP clauses are encoded (0 SAT variables, 187 SAT clauses)
2.34/1.34	c (0,0) 30 (70 %) CSP clauses are encoded (0 SAT variables, 407 SAT clauses)
2.34/1.35	c (0,0) 34 (80 %) CSP clauses are encoded (0 SAT variables, 627 SAT clauses)
2.34/1.36	c (0,0) 38 (90 %) CSP clauses are encoded (0 SAT variables, 847 SAT clauses)
2.34/1.37	c (0,0) 42 (100 %) CSP clauses are encoded (0 SAT variables, 1067 SAT clauses)
2.34/1.37	c (0,0) CSPinCNF to SatSolver End
2.34/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.34/1.37	c (0,0) 220 bool, 1122 clause
2.34/1.37	c (0,0) Export Begin
2.62/1.46	c (0,0) Export to HOME/scop-31663-serial-file.bin
2.62/1.46	c (0,0) Export End
2.62/1.47	c (0,0) Export File Size: 0.04 MB
2.62/1.47	c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.62/1.47	c END-Prog: Sat Sep 14 07:01:26 CEST 2019
2.62/1.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-31663-serial-file.bin
2.79/1.94	c (0,0) Read Serial File Begin
2.79/1.94	c (0,0) HOME/scop-31663-serial-file.bin
3.61/2.16	c (0,0) Read Serial File End
3.61/2.17	
3.61/2.17	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
3.61/2.17	(Solving Process)
3.61/2.17	
3.61/2.19	c BEGIN-Prog: Sat Sep 14 07:01:27 CEST 2019
3.61/2.19	c PID: 31686
3.61/2.19	c IP: 172.20.3.134
3.61/2.19	c HOST: node134.alineos.net
3.61/2.20	c (0,0) SatSolver.solve Begin
3.61/2.20	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392317-1568437326.xml-scop-31666.cnf
3.77/2.22	c (0,0) c
3.77/2.22	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)
3.77/2.22	c (0,0) c
3.77/2.22	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.77/2.22	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
3.77/2.22	c (0,0) c ========================================[ Problem Statistics ]===========================================
3.77/2.22	c (0,0) c |                                                                                                       |
3.77/2.22	c (0,0) c |  Number of variables:           220                                                                   |
3.77/2.22	c (0,0) c |  Number of clauses:            1122                                                                   |
3.77/2.22	c (0,0) c |  Parse time:                   0.00 s                                                                 |
3.77/2.22	c (0,0) c |                                                                                                       |
3.77/2.22	c (0,0) c |  Simplification time:          0.00 s                                                                 |
3.77/2.22	c (0,0) c |                                                                                                       |
3.77/2.22	c (0,0) c |  Generating clones                                                                                    |
3.77/2.22	c (0,0) c |  all clones generated. Memory =    23.41Mb.                                                           |
3.77/2.22	c (0,0) c ========================================================================================================|
3.77/2.22	c (0,0) c
3.77/2.22	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
3.77/2.22	c (0,0) c
3.77/2.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.77/2.22	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3.77/2.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.77/2.22	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
3.77/2.22	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
3.77/2.22	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
3.77/2.22	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
3.77/2.22	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
3.77/2.22	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
3.77/2.22	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
3.77/2.22	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
3.77/2.22	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
3.77/2.22	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
3.77/2.22	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
3.77/2.22	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
3.77/2.22	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
3.77/2.22	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
3.77/2.22	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
3.77/2.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.21	c (30,0) c
227.64/32.21	c (30,0) c real time : 29.9933 s
227.64/32.21	c (30,0) c cpu time  : 223.228 s
227.64/32.21	c (30,0) c
227.64/32.21	c (30,0) c
227.64/32.21	c (30,0) c
227.64/32.21	c (30,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
227.64/32.21	c (30,0) c
227.64/32.21	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.21	c (30,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
227.64/32.21	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.21	c (30,0) c | Conflicts     |         8910894 |    1768746 |     486922 |    1804866 |     488518 |    1745845 |     408576 |    1724715 |     482706 |
227.64/32.21	c (30,0) c | Decisions     |        10866896 |    2182569 |     574994 |    2220025 |     573798 |    2149328 |     473088 |    2120478 |     572616 |
227.64/32.21	c (30,0) c | Propagations  |       110099533 |   22144674 |    5981237 |   22424165 |    5835981 |   21731320 |    4734583 |   21324214 |    5923359 |
227.64/32.21	c (30,0) c | ReduceDBs     |            3429 |        842 |         19 |        861 |         20 |        830 |         17 |        821 |         19 |
227.64/32.21	c (30,0) c | SimpDBs       |              52 |         13 |          2 |          9 |          2 |         10 |          2 |         12 |          2 |
227.64/32.21	c (30,0) c | Restarts      |           16119 |       3938 |        386 |       3793 |        301 |       3636 |         92 |       3524 |        449 |
227.64/32.21	c (30,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
227.64/32.21	c (30,0) c | PropBinClauses|       215095189 |   43590418 |   10851846 |   44857927 |   10433769 |   43198702 |    8852499 |   42683082 |   10626946 |
227.64/32.21	c (30,0) c | PropPreBlocker|     13559887222 | 1606144265 | 1824246876 | 1572903290 | 1918460154 | 1565230310 | 1684998431 | 1545642147 | 1842261749 |
227.64/32.21	c (30,0) c | PropNotBlocker|      2433559060 |  324409301 |  283155181 |  327351564 |  280200203 |  325464854 |  290200324 |  323725380 |  279052253 |
227.64/32.21	c (30,0) c | LitFullScans  |     32996998682 | 4096376040 | 4153721098 | 4092364777 | 4154064724 | 4098338079 | 4153161169 | 4100643584 | 4148329211 |
227.64/32.21	c (30,0) c | LitScanFracts |        14314638 |     299774 |    1715327 |     343150 |    1713765 |     315085 |    7152392 |     456868 |    2318277 |
227.64/32.21	c (30,0) c | DecisionLevel0|           16219 |       3959 |        393 |       3801 |        320 |       3646 |         95 |       3549 |        456 |
227.64/32.21	c (30,0) c | Periods       |            5496 |        682 |        692 |        682 |        692 |        683 |        691 |        683 |        691 |
227.64/32.21	c (30,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
227.64/32.21	c (30,0) c | Avg_Trail     |                 |         91 |         90 |         92 |         89 |         91 |         89 |         92 |         89 |
227.64/32.21	c (30,0) c | Avg_DL        |                 |         15 |         16 |         16 |         17 |         15 |         19 |         17 |         16 |
227.64/32.21	c (30,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
227.64/32.21	c (30,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
227.64/32.21	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.21	c (30,0) c | Exported      |          974432 |     190836 |      41185 |     202100 |      46213 |     211678 |      46832 |     190692 |      44896 |
227.64/32.21	c (30,0) c | Imported      |         6670705 |     762805 |     917815 |     748170 |     913548 |     740370 |     910934 |     763702 |     913361 |
227.64/32.21	c (30,0) c | Good          |            3082 |        328 |        458 |        281 |        483 |        329 |        440 |        324 |        439 |
227.64/32.21	c (30,0) c | Purge         |         6667623 |     762477 |     917357 |     747889 |     913065 |     740041 |     910494 |     763378 |     912922 |
227.64/32.21	c (30,0) c | Promoted      |          224788 |      21388 |      41831 |      18676 |      35830 |      18932 |      27922 |      16687 |      43522 |
227.64/32.21	c (30,0) c | Remove_Imp    |         5970970 |     727772 |     764228 |     720507 |     782422 |     709231 |     731769 |     724821 |     810220 |
227.64/32.21	c (30,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
227.64/32.21	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.21	c (30,0) c | Unaries       |                 |         21 |          7 |          8 |         19 |         10 |          3 |         25 |          7 |
227.64/32.21	c (30,0) c | Binaries      |                 |        167 |         67 |        154 |         90 |        125 |         44 |        190 |         59 |
227.64/32.21	c (30,0) c | Glues         |                 |        211 |         97 |        185 |        125 |        165 |         79 |        230 |         85 |
227.64/32.21	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.21	c (30,0) c | Orig_Seen     |          1200 % |      23048 |        550 |      22684 |        550 |      22014 |        550 |      22644 |        550 |
227.64/32.21	c (30,0) c | Diff Orig seen|                 |      X     | -    22498 | -      364 | -    22498 | -     1034 | -    22498 | -      404 | -    22498 |
227.64/32.21	c (30,0) c | Hamming       |            12 % |      X     |         27 |         28 |         29 |         28 |         30 |         25 |         26 |
227.64/32.21	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.21	c (30,0) c | RunningTime   |                 |   29.4  99%|   26.1  88%|   29.5  99%|   26.0  88%|   29.3  99%|   26.4  89%|   28.4  96%|   26.3  89%|
227.64/32.21	c (30,0) c | WaitingTime   |                 |    0.0   0%|    3.1  11%|    0.0   0%|    3.3  11%|    0.0   0%|    2.9  10%|    0.7   2%|    3.0  10%|
227.64/32.21	c (30,0) c | ExchangingTime|                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.4   1%|    0.3   1%|    0.3   1%|
227.64/32.21	c (30,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%|
227.64/32.21	c (30,0) c | SolvingTime   |                 |   29.8     |   29.6     |   29.8     |   29.6     |   29.6     |   29.6     |   29.5     |   29.7     |
227.64/32.21	c (30,0) c | PropagationTim|                 |   20.4  69%|   26.4  89%|   20.1  67%|   26.2  89%|   20.1  68%|   26.8  91%|   20.3  69%|   26.5  89%|
227.64/32.21	c (30,0) c | AnalysisTime  |                 |    5.7  19%|    1.8   6%|    6.1  20%|    2.0   7%|    5.8  20%|    1.7   6%|    5.8  20%|    1.9   6%|
227.64/32.21	c (30,0) c | ReductionTime |                 |    2.1   7%|    0.7   3%|    2.2   7%|    0.8   3%|    2.2   7%|    0.6   2%|    2.0   7%|    0.8   3%|
227.64/32.21	c (30,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%|
227.64/32.21	c (30,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%|
227.64/32.21	c (30,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%|
227.64/32.21	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.21	c (30,0) c
227.64/32.21	c (30,0) c
227.64/32.21	c (30,0) c Threads : 8
227.64/32.21	c (30,0) c Winner : 0
227.64/32.21	c (30,0) c Conflicts_0 : 1768746
227.64/32.21	c (30,0) c Conflicts_1 : 486922
227.64/32.21	c (30,0) c Conflicts_2 : 1804866
227.64/32.21	c (30,0) c Conflicts_3 : 488518
227.64/32.21	c (30,0) c Conflicts_4 : 1745845
227.64/32.21	c (30,0) c Conflicts_5 : 408576
227.64/32.21	c (30,0) c Conflicts_6 : 1724715
227.64/32.21	c (30,0) c Conflicts_7 : 482706
227.64/32.21	c (30,0) c Conflicts_total : 8910894
227.64/32.21	c (30,0) c Conflicts_winner : 1768746
227.64/32.21	c (30,0) c Decisions_0 : 2182569
227.64/32.21	c (30,0) c Decisions_1 : 574994
227.64/32.22	c (30,0) c Decisions_2 : 2220025
227.64/32.22	c (30,0) c Decisions_3 : 573798
227.64/32.22	c (30,0) c Decisions_4 : 2149328
227.64/32.22	c (30,0) c Decisions_5 : 473088
227.64/32.22	c (30,0) c Decisions_6 : 2120478
227.64/32.22	c (30,0) c Decisions_7 : 572616
227.64/32.22	c (30,0) c Decisions_total : 10866896
227.64/32.22	c (30,0) c Decisions_winner : 2182569
227.64/32.22	c (30,0) c Propagations_0 : 22144674
227.64/32.22	c (30,0) c Propagations_1 : 5981237
227.64/32.22	c (30,0) c Propagations_2 : 22424165
227.64/32.22	c (30,0) c Propagations_3 : 5835981
227.64/32.22	c (30,0) c Propagations_4 : 21731320
227.64/32.22	c (30,0) c Propagations_5 : 4734583
227.64/32.22	c (30,0) c Propagations_6 : 21324214
227.64/32.22	c (30,0) c Propagations_7 : 5923359
227.64/32.22	c (30,0) c Propagations_total : 110099533
227.64/32.22	c (30,0) c Propagations_winner : 22144674
227.64/32.22	c (30,0) c ReduceDBs_0 : 842
227.64/32.22	c (30,0) c ReduceDBs_1 : 19
227.64/32.22	c (30,0) c ReduceDBs_2 : 861
227.64/32.22	c (30,0) c ReduceDBs_3 : 20
227.64/32.22	c (30,0) c ReduceDBs_4 : 830
227.64/32.22	c (30,0) c ReduceDBs_5 : 17
227.64/32.22	c (30,0) c ReduceDBs_6 : 821
227.64/32.22	c (30,0) c ReduceDBs_7 : 19
227.64/32.22	c (30,0) c ReduceDBs_total : 3429
227.64/32.22	c (30,0) c ReduceDBs_winner : 842
227.64/32.22	c (30,0) c SimpDBs_0 : 13
227.64/32.22	c (30,0) c SimpDBs_1 : 2
227.64/32.22	c (30,0) c SimpDBs_2 : 9
227.64/32.22	c (30,0) c SimpDBs_3 : 2
227.64/32.22	c (30,0) c SimpDBs_4 : 10
227.64/32.22	c (30,0) c SimpDBs_5 : 2
227.64/32.22	c (30,0) c SimpDBs_6 : 12
227.64/32.22	c (30,0) c SimpDBs_7 : 2
227.64/32.22	c (30,0) c SimpDBs_total : 52
227.64/32.22	c (30,0) c SimpDBs_winner : 13
227.64/32.22	c (30,0) c Restarts_0 : 3938
227.64/32.22	c (30,0) c Restarts_1 : 386
227.64/32.22	c (30,0) c Restarts_2 : 3793
227.64/32.22	c (30,0) c Restarts_3 : 301
227.64/32.22	c (30,0) c Restarts_4 : 3636
227.64/32.22	c (30,0) c Restarts_5 : 92
227.64/32.22	c (30,0) c Restarts_6 : 3524
227.64/32.22	c (30,0) c Restarts_7 : 449
227.64/32.22	c (30,0) c Restarts_total : 16119
227.64/32.22	c (30,0) c Restarts_winner : 3938
227.64/32.22	c (30,0) c ForcedImports_0 : 0
227.64/32.22	c (30,0) c ForcedImports_1 : 0
227.64/32.22	c (30,0) c ForcedImports_2 : 0
227.64/32.22	c (30,0) c ForcedImports_3 : 0
227.64/32.22	c (30,0) c ForcedImports_4 : 0
227.64/32.22	c (30,0) c ForcedImports_5 : 0
227.64/32.22	c (30,0) c ForcedImports_6 : 0
227.64/32.22	c (30,0) c ForcedImports_7 : 0
227.64/32.22	c (30,0) c ForcedImports_total : 0
227.64/32.22	c (30,0) c ForcedImports_winner : 0
227.64/32.22	c (30,0) c PropsBinClauses_0 : 43590418
227.64/32.22	c (30,0) c PropsBinClauses_1 : 10851846
227.64/32.22	c (30,0) c PropsBinClauses_2 : 44857927
227.64/32.22	c (30,0) c PropsBinClauses_3 : 10433769
227.64/32.22	c (30,0) c PropsBinClauses_4 : 43198702
227.64/32.22	c (30,0) c PropsBinClauses_5 : 8852499
227.64/32.22	c (30,0) c PropsBinClauses_6 : 42683082
227.64/32.22	c (30,0) c PropsBinClauses_7 : 10626946
227.64/32.22	c (30,0) c PropsBinClauses_total : 215095189
227.64/32.22	c (30,0) c PropsBinClauses_winner : 43590418
227.64/32.22	c (30,0) c PropsPreBlocker_0 : 1606144265
227.64/32.22	c (30,0) c PropsPreBlocker_1 : 1824246876
227.64/32.22	c (30,0) c PropsPreBlocker_2 : 1572903290
227.64/32.22	c (30,0) c PropsPreBlocker_3 : 1918460154
227.64/32.22	c (30,0) c PropsPreBlocker_4 : 1565230310
227.64/32.22	c (30,0) c PropsPreBlocker_5 : 1684998431
227.64/32.22	c (30,0) c PropsPreBlocker_6 : 1545642147
227.64/32.22	c (30,0) c PropsPreBlocker_7 : 1842261749
227.64/32.22	c (30,0) c PropsPreBlocker_total : 13559887222
227.64/32.22	c (30,0) c PropsPreBlocker_winner : 1606144265
227.64/32.22	c (30,0) c PropsNotBlocker_0 : 324409301
227.64/32.22	c (30,0) c PropsNotBlocker_1 : 283155181
227.64/32.22	c (30,0) c PropsNotBlocker_2 : 327351564
227.64/32.22	c (30,0) c PropsNotBlocker_3 : 280200203
227.64/32.22	c (30,0) c PropsNotBlocker_4 : 325464854
227.64/32.22	c (30,0) c PropsNotBlocker_5 : 290200324
227.64/32.22	c (30,0) c PropsNotBlocker_6 : 323725380
227.64/32.22	c (30,0) c PropsNotBlocker_7 : 279052253
227.64/32.22	c (30,0) c PropsNotBlocker_total : 2433559060
227.64/32.22	c (30,0) c PropsNotBlocker_winner : 324409301
227.64/32.22	c (30,0) c PropsLitFullScans_0 : 4096376040
227.64/32.22	c (30,0) c PropsLitFullScans_1 : 4153721098
227.64/32.22	c (30,0) c PropsLitFullScans_2 : 4092364777
227.64/32.22	c (30,0) c PropsLitFullScans_3 : 4154064724
227.64/32.22	c (30,0) c PropsLitFullScans_4 : 4098338079
227.64/32.22	c (30,0) c PropsLitFullScans_5 : 4153161169
227.64/32.22	c (30,0) c PropsLitFullScans_6 : 4100643584
227.64/32.22	c (30,0) c PropsLitFullScans_7 : 4148329211
227.64/32.22	c (30,0) c PropsLitFullScans_total : 32996998682
227.64/32.22	c (30,0) c PropsLitFullScans_winner : 4096376040
227.64/32.22	c (30,0) c LitScanFractions_0 : 299774
227.64/32.22	c (30,0) c LitScanFractions_1 : 1715327
227.64/32.22	c (30,0) c LitScanFractions_2 : 343150
227.64/32.22	c (30,0) c LitScanFractions_3 : 1713765
227.64/32.22	c (30,0) c LitScanFractions_4 : 315085
227.64/32.22	c (30,0) c LitScanFractions_5 : 7152392
227.64/32.22	c (30,0) c LitScanFractions_6 : 456868
227.64/32.22	c (30,0) c LitScanFractions_7 : 2318277
227.64/32.22	c (30,0) c LitScanFractions_total : 14314638
227.64/32.22	c (30,0) c LitScanFractions_winner : 299774
227.64/32.22	c (30,0) c DecisionLevel0_0 : 3959
227.64/32.22	c (30,0) c DecisionLevel0_1 : 393
227.64/32.22	c (30,0) c DecisionLevel0_2 : 3801
227.64/32.22	c (30,0) c DecisionLevel0_3 : 320
227.64/32.22	c (30,0) c DecisionLevel0_4 : 3646
227.64/32.22	c (30,0) c DecisionLevel0_5 : 95
227.64/32.22	c (30,0) c DecisionLevel0_6 : 3549
227.64/32.22	c (30,0) c DecisionLevel0_7 : 456
227.64/32.22	c (30,0) c DecisionLevel0_total : 16219
227.64/32.22	c (30,0) c DecisionLevel0_winner : 3959
227.64/32.22	c (30,0) c Periods_0 : 682
227.64/32.22	c (30,0) c Periods_1 : 692
227.64/32.22	c (30,0) c Periods_2 : 682
227.64/32.22	c (30,0) c Periods_3 : 692
227.64/32.22	c (30,0) c Periods_4 : 683
227.64/32.22	c (30,0) c Periods_5 : 691
227.64/32.22	c (30,0) c Periods_6 : 683
227.64/32.22	c (30,0) c Periods_7 : 691
227.64/32.22	c (30,0) c Periods_total : 5496
227.64/32.22	c (30,0) c Periods_winner : 682
227.64/32.22	c (30,0) c Margin_0 : 20
227.64/32.22	c (30,0) c Margin_1 : 20
227.64/32.22	c (30,0) c Margin_2 : 20
227.64/32.22	c (30,0) c Margin_3 : 20
227.64/32.22	c (30,0) c Margin_4 : 20
227.64/32.22	c (30,0) c Margin_5 : 20
227.64/32.22	c (30,0) c Margin_6 : 20
227.64/32.22	c (30,0) c Margin_7 : 20
227.64/32.22	c (30,0) c Margin_total : 160
227.64/32.22	c (30,0) c Margin_winner : 20
227.64/32.22	c (30,0) c Exported_0 : 190836
227.64/32.22	c (30,0) c Exported_1 : 41185
227.64/32.22	c (30,0) c Exported_2 : 202100
227.64/32.22	c (30,0) c Exported_3 : 46213
227.64/32.22	c (30,0) c Exported_4 : 211678
227.64/32.22	c (30,0) c Exported_5 : 46832
227.64/32.22	c (30,0) c Exported_6 : 190692
227.64/32.22	c (30,0) c Exported_7 : 44896
227.64/32.22	c (30,0) c Exported_total : 974432
227.64/32.22	c (30,0) c Exported_winner : 190836
227.64/32.22	c (30,0) c Imported_0 : 762805
227.64/32.22	c (30,0) c Imported_1 : 917815
227.64/32.22	c (30,0) c Imported_2 : 748170
227.64/32.22	c (30,0) c Imported_3 : 913548
227.64/32.22	c (30,0) c Imported_4 : 740370
227.64/32.22	c (30,0) c Imported_5 : 910934
227.64/32.22	c (30,0) c Imported_6 : 763702
227.64/32.22	c (30,0) c Imported_7 : 913361
227.64/32.22	c (30,0) c Imported_total : 6670705
227.64/32.22	c (30,0) c Imported_winner : 762805
227.64/32.22	c (30,0) c Good_0 : 328
227.64/32.22	c (30,0) c Good_1 : 458
227.64/32.22	c (30,0) c Good_2 : 281
227.64/32.22	c (30,0) c Good_3 : 483
227.64/32.22	c (30,0) c Good_4 : 329
227.64/32.22	c (30,0) c Good_5 : 440
227.64/32.22	c (30,0) c Good_6 : 324
227.64/32.22	c (30,0) c Good_7 : 439
227.64/32.22	c (30,0) c Good_total : 3082
227.64/32.22	c (30,0) c Good_winner : 328
227.64/32.22	c (30,0) c Purge_0 : 762477
227.64/32.22	c (30,0) c Purge_1 : 917357
227.64/32.22	c (30,0) c Purge_2 : 747889
227.64/32.22	c (30,0) c Purge_3 : 913065
227.64/32.22	c (30,0) c Purge_4 : 740041
227.64/32.22	c (30,0) c Purge_5 : 910494
227.64/32.22	c (30,0) c Purge_6 : 763378
227.64/32.22	c (30,0) c Purge_7 : 912922
227.64/32.22	c (30,0) c Purge_total : 6667623
227.64/32.22	c (30,0) c Purge_winner : 762477
227.64/32.22	c (30,0) c Promoted_0 : 21388
227.64/32.22	c (30,0) c Promoted_1 : 41831
227.64/32.22	c (30,0) c Promoted_2 : 18676
227.64/32.22	c (30,0) c Promoted_3 : 35830
227.64/32.22	c (30,0) c Promoted_4 : 18932
227.64/32.22	c (30,0) c Promoted_5 : 27922
227.64/32.22	c (30,0) c Promoted_6 : 16687
227.64/32.22	c (30,0) c Promoted_7 : 43522
227.64/32.22	c (30,0) c Promoted_total : 224788
227.64/32.22	c (30,0) c Promoted_winner : 21388
227.64/32.22	c (30,0) c Remove_Imp_0 : 727772
227.64/32.22	c (30,0) c Remove_Imp_1 : 764228
227.64/32.22	c (30,0) c Remove_Imp_2 : 720507
227.64/32.22	c (30,0) c Remove_Imp_3 : 782422
227.64/32.22	c (30,0) c Remove_Imp_4 : 709231
227.64/32.22	c (30,0) c Remove_Imp_5 : 731769
227.64/32.22	c (30,0) c Remove_Imp_6 : 724821
227.64/32.22	c (30,0) c Remove_Imp_7 : 810220
227.64/32.22	c (30,0) c Remove_Imp_total : 5970970
227.64/32.22	c (30,0) c Remove_Imp_winner : 727772
227.64/32.22	c (30,0) c Blocked_Reuse_0 : 0
227.64/32.22	c (30,0) c Blocked_Reuse_1 : 0
227.64/32.22	c (30,0) c Blocked_Reuse_2 : 0
227.64/32.22	c (30,0) c Blocked_Reuse_3 : 0
227.64/32.22	c (30,0) c Blocked_Reuse_4 : 0
227.64/32.22	c (30,0) c Blocked_Reuse_5 : 0
227.64/32.22	c (30,0) c Blocked_Reuse_6 : 0
227.64/32.22	c (30,0) c Blocked_Reuse_7 : 0
227.64/32.22	c (30,0) c Blocked_Reuse_total : 0
227.64/32.22	c (30,0) c Blocked_Reuse_winner : 0
227.64/32.22	c (30,0) c Unaries_0 : 21
227.64/32.22	c (30,0) c Unaries_1 : 7
227.64/32.22	c (30,0) c Unaries_2 : 8
227.64/32.22	c (30,0) c Unaries_3 : 19
227.64/32.22	c (30,0) c Unaries_4 : 10
227.64/32.22	c (30,0) c Unaries_5 : 3
227.64/32.22	c (30,0) c Unaries_6 : 25
227.64/32.22	c (30,0) c Unaries_7 : 7
227.64/32.22	c (30,0) c Unaries_total : 100
227.64/32.22	c (30,0) c Unaries_winner : 21
227.64/32.22	c (30,0) c Binaries_0 : 167
227.64/32.22	c (30,0) c Binaries_1 : 67
227.64/32.22	c (30,0) c Binaries_2 : 154
227.64/32.22	c (30,0) c Binaries_3 : 90
227.64/32.22	c (30,0) c Binaries_4 : 125
227.64/32.22	c (30,0) c Binaries_5 : 44
227.64/32.22	c (30,0) c Binaries_6 : 190
227.64/32.22	c (30,0) c Binaries_7 : 59
227.64/32.22	c (30,0) c Binaries_total : 896
227.64/32.22	c (30,0) c Binaries_winner : 167
227.64/32.22	c (30,0) c Glues_0 : 211
227.64/32.22	c (30,0) c Glues_1 : 97
227.64/32.22	c (30,0) c Glues_2 : 185
227.64/32.22	c (30,0) c Glues_3 : 125
227.64/32.22	c (30,0) c Glues_4 : 165
227.64/32.22	c (30,0) c Glues_5 : 79
227.64/32.22	c (30,0) c Glues_6 : 230
227.64/32.22	c (30,0) c Glues_7 : 85
227.64/32.22	c (30,0) c Glues_total : 1177
227.64/32.22	c (30,0) c Glues_winner : 211
227.64/32.22	c (30,0) c RunningTime_0 : 29.444186
227.64/32.22	c (30,0) c RunningTime_1 : 26.104330
227.64/32.22	c (30,0) c RunningTime_2 : 29.492730
227.64/32.22	c (30,0) c RunningTime_3 : 25.956594
227.64/32.22	c (30,0) c RunningTime_4 : 29.278722
227.64/32.22	c (30,0) c RunningTime_5 : 26.362302
227.64/32.22	c (30,0) c RunningTime_6 : 28.440270
227.64/32.22	c (30,0) c RunningTime_7 : 26.310806
227.64/32.22	c (30,0) c RunningTime_total : 221.389940
227.64/32.22	c (30,0) c RunningTime_winner : 29.444186
227.64/32.22	c (30,0) c WaitingTime_0 : 0.000858
227.64/32.22	c (30,0) c WaitingTime_1 : 3.124071
227.64/32.22	c (30,0) c WaitingTime_2 : 0.000860
227.64/32.22	c (30,0) c WaitingTime_3 : 3.257138
227.64/32.22	c (30,0) c WaitingTime_4 : 0.000894
227.64/32.22	c (30,0) c WaitingTime_5 : 2.853455
227.64/32.22	c (30,0) c WaitingTime_6 : 0.722503
227.64/32.22	c (30,0) c WaitingTime_7 : 3.010319
227.64/32.22	c (30,0) c WaitingTime_total : 12.970097
227.64/32.22	c (30,0) c WaitingTime_winner : 0.000858
227.64/32.22	c (30,0) c ExchangingTime_0 : 0.326286
227.64/32.23	c (30,0) c ExchangingTime_1 : 0.336226
227.64/32.23	c (30,0) c ExchangingTime_2 : 0.331867
227.64/32.23	c (30,0) c ExchangingTime_3 : 0.341811
227.64/32.23	c (30,0) c ExchangingTime_4 : 0.324353
227.64/32.23	c (30,0) c ExchangingTime_5 : 0.407232
227.64/32.23	c (30,0) c ExchangingTime_6 : 0.323950
227.64/32.23	c (30,0) c ExchangingTime_7 : 0.337413
227.64/32.23	c (30,0) c ExchangingTime_total : 2.729137
227.64/32.23	c (30,0) c ExchangingTime_winner : 0.326286
227.64/32.23	c (30,0) c PeriodProcTime_0 : 0.004863
227.64/32.23	c (30,0) c PeriodProcTime_1 : 0.004105
227.64/32.23	c (30,0) c PeriodProcTime_2 : 0.004712
227.64/32.23	c (30,0) c PeriodProcTime_3 : 0.003965
227.64/32.23	c (30,0) c PeriodProcTime_4 : 0.004482
227.64/32.23	c (30,0) c PeriodProcTime_5 : 0.004868
227.64/32.23	c (30,0) c PeriodProcTime_6 : 0.004033
227.64/32.23	c (30,0) c PeriodProcTime_7 : 0.004178
227.64/32.23	c (30,0) c PeriodProcTime_total : 0.035206
227.64/32.23	c (30,0) c PeriodProcTime_winner : 0.004863
227.64/32.23	c (30,0) c SolvingTime_0 : 29.776193
227.64/32.23	c (30,0) c SolvingTime_1 : 29.568731
227.64/32.23	c (30,0) c SolvingTime_2 : 29.830168
227.64/32.23	c (30,0) c SolvingTime_3 : 29.559508
227.64/32.23	c (30,0) c SolvingTime_4 : 29.608451
227.64/32.23	c (30,0) c SolvingTime_5 : 29.627858
227.64/32.23	c (30,0) c SolvingTime_6 : 29.490756
227.64/32.23	c (30,0) c SolvingTime_7 : 29.662715
227.64/32.23	c (30,0) c SolvingTime_total : 237.124380
227.64/32.23	c (30,0) c SolvingTime_winner : 29.776193
227.64/32.23	c (30,0) c PropagationTime_0 : 20.417756
227.64/32.23	c (30,0) c PropagationTime_1 : 26.442468
227.64/32.23	c (30,0) c PropagationTime_2 : 20.105436
227.64/32.23	c (30,0) c PropagationTime_3 : 26.209989
227.64/32.23	c (30,0) c PropagationTime_4 : 20.126556
227.64/32.23	c (30,0) c PropagationTime_5 : 26.832417
227.64/32.23	c (30,0) c PropagationTime_6 : 20.326111
227.64/32.23	c (30,0) c PropagationTime_7 : 26.479021
227.64/32.23	c (30,0) c PropagationTime_total : 186.939754
227.64/32.23	c (30,0) c PropagationTime_winner : 20.417756
227.64/32.23	c (30,0) c AnalysisTime_0 : 5.739432
227.64/32.23	c (30,0) c AnalysisTime_1 : 1.825232
227.64/32.23	c (30,0) c AnalysisTime_2 : 6.050360
227.64/32.23	c (30,0) c AnalysisTime_3 : 2.016870
227.64/32.23	c (30,0) c AnalysisTime_4 : 5.849802
227.64/32.23	c (30,0) c AnalysisTime_5 : 1.675056
227.64/32.23	c (30,0) c AnalysisTime_6 : 5.779684
227.64/32.23	c (30,0) c AnalysisTime_7 : 1.861407
227.64/32.23	c (30,0) c AnalysisTime_total : 30.797844
227.64/32.23	c (30,0) c AnalysisTime_winner : 5.739432
227.64/32.23	c (30,0) c ReductionTime_0 : 2.110694
227.64/32.23	c (30,0) c ReductionTime_1 : 0.744351
227.64/32.23	c (30,0) c ReductionTime_2 : 2.233018
227.64/32.23	c (30,0) c ReductionTime_3 : 0.772057
227.64/32.23	c (30,0) c ReductionTime_4 : 2.190217
227.64/32.23	c (30,0) c ReductionTime_5 : 0.596907
227.64/32.23	c (30,0) c ReductionTime_6 : 2.029709
227.64/32.23	c (30,0) c ReductionTime_7 : 0.777190
227.64/32.23	c (30,0) c ReductionTime_total : 11.454142
227.64/32.23	c (30,0) c ReductionTime_winner : 2.110694
227.64/32.23	c (30,0) c SimplifyTime_0 : 0.023311
227.64/32.23	c (30,0) c SimplifyTime_1 : 0.014425
227.64/32.23	c (30,0) c SimplifyTime_2 : 0.017530
227.64/32.23	c (30,0) c SimplifyTime_3 : 0.011543
227.64/32.23	c (30,0) c SimplifyTime_4 : 0.018721
227.64/32.23	c (30,0) c SimplifyTime_5 : 0.014006
227.64/32.23	c (30,0) c SimplifyTime_6 : 0.026647
227.64/32.23	c (30,0) c SimplifyTime_7 : 0.010103
227.64/32.23	c (30,0) c SimplifyTime_total : 0.136286
227.64/32.23	c (30,0) c SimplifyTime_winner : 0.023311
227.64/32.23	c (30,0) c UsedRateTime_0 : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_1 : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_2 : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_3 : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_4 : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_5 : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_6 : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_7 : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_total : 0.000000
227.64/32.23	c (30,0) c UsedRateTime_winner : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_0 : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_1 : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_2 : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_3 : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_4 : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_5 : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_6 : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_7 : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_total : 0.000000
227.64/32.23	c (30,0) c OverlapRateTime_winner : 0.000000
227.64/32.23	c (30,0) c
227.64/32.23	c (30,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
227.64/32.23	c (30,0) c
227.64/32.23	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.23	c (30,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
227.64/32.23	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.23	c (30,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
227.64/32.23	c (30,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
227.64/32.23	c (30,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
227.64/32.23	c (30,0) c | Initial random_seed   |  147262951 |  310474380 | 1716203234 | 2100080919 |  406766717 | 2089227299 |  507825942 |  632533391 |
227.64/32.23	c (30,0) c | chanseokStrategy      |       True |      False |       True |      False |       True |      False |       True |      False |
227.64/32.23	c (30,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
227.64/32.23	c (30,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
227.64/32.23	c (30,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
227.64/32.23	c (30,0) c | incReduceDB           |          0 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
227.64/32.23	c (30,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
227.64/32.23	c (30,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
227.64/32.23	c (30,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
227.64/32.23	c (30,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
227.64/32.23	c (30,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
227.64/32.23	c (30,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
227.64/32.23	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.64/32.23	c (30,0) 
227.64/32.23	c (30,0) s UNSATISFIABLE
227.64/32.23	c (30,0) SatSolver.solve End
227.64/32.23	c (30,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
227.64/32.23	c (30,0) Show results Begin
227.64/32.23	s UNSATISFIABLE
227.64/32.23	c (30,0) Show results End
227.64/32.23	c (30,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
227.64/32.24	c (30,0) 30,30,STOP-AFTER(ALL)
227.64/32.24	c END-Prog: Sat Sep 14 07:01:57 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 (14385 MiB free)
  memory of node 1: 16384 MiB (15163 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392317-1568437326/watcher-4392317-1568437326 -o /tmp/evaluation-result-4392317-1568437326/solver-4392317-1568437326 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568437264-31194 --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-4392317-1568437326.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=31663, runsolver pid=31660
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 2.77 2.85 3.06 2/217 31685
/proc/meminfo: memFree=30160704/32770624 swapFree=66916668/67108860
[pid=31663] ppid=31660 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31663/stat : 31663 (scop.sh) S 31660 31663 31167 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419983131 115843072 349 33554432000 4194304 5098028 140733351102576 140733351099832 140152079004284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14118912 140733351105317 140733351105644 140733351105644 140733351108557 0
/proc/31663/statm: 28282 349 296 221 0 87 0
[pid=31666] ppid=31663 vsize=27314120 memory=108924 CPUtime=0.11 cores=0-7
/proc/31666/stat : 31666 (java) S 31663 31663 31167 0 -1 1077944320 6741 0 0 0 8 3 0 0 20 0 20 0 419983131 27969658880 27231 33554432000 4194304 4196468 140730114612256 140730114594800 140092174647031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
/proc/31666/statm: 6828530 27231 2819 1 0 6790935 0
[pid=31666/tid=31667] ppid=31663 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31666/task/31667/stat : 31667 (java) R 31663 31663 31167 0 -1 4202560 4831 0 0 0 6 2 0 0 20 0 20 0 419983132 27969658880 27231 33554432000 4194304 4196468 140730114612256 140092146473360 140092174668957 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31668] ppid=31663 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/31666/task/31668/stat : 31668 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 27231 33554432000 4194304 4196468 140730114612256 140092178889616 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31669] ppid=31663 vsize=27314120 memory=140673552430720 CPUtime=0 cores=0-7
/proc/31666/task/31669/stat : 31669 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091993045776 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31670] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31670/stat : 31670 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091991993488 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31671] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31671/stat : 31671 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091990940688 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31672] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31672/stat : 31672 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091989887376 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31673] ppid=31663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31666/task/31673/stat : 31673 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091988834576 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31674] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31674/stat : 31674 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091987782288 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31675] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31675/stat : 31675 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091986729488 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31676] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31676/stat : 31676 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091165821552 140092174658178 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31677] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31677/stat : 31677 (java) S 31663 31663 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 27231 33554432000 4194304 4196468 140730114612256 140090089137440 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31678] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31678/stat : 31678 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 27231 33554432000 4194304 4196468 140730114612256 140089820702320 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31679] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31679/stat : 31679 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 27231 33554432000 4194304 4196468 140730114612256 140089446193744 140092174665627 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31680] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31680/stat : 31680 (java) S 31663 31663 31167 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091164768368 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31681] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31681/stat : 31681 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091095771120 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31682] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31682/stat : 31682 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091094718832 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31683] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31683/stat : 31683 (java) S 31663 31663 31167 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091093666032 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31684] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31684/stat : 31684 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 27231 33554432000 4194304 4196468 140730114612256 140088948288352 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31685] ppid=31663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31666/task/31685/stat : 31685 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 27231 33554432000 4194304 4196468 140730114612256 140091092613936 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110320 KiB

[startup+0.210957 s]*
/proc/loadavg: 2.77 2.85 3.06 3/217 31685
/proc/meminfo: memFree=30139284/32770624 swapFree=66916668/67108860
[pid=31663] ppid=31660 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31663/stat : 31663 (scop.sh) S 31660 31663 31167 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419983131 115843072 349 33554432000 4194304 5098028 140733351102576 140733351099832 140152079004284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14118912 140733351105317 140733351105644 140733351105644 140733351108557 0
/proc/31663/statm: 28282 349 296 221 0 87 0
[pid=31666] ppid=31663 vsize=27314120 memory=127940 CPUtime=0.25 cores=0-7
/proc/31666/stat : 31666 (java) S 31663 31663 31167 0 -1 1077944320 12327 0 0 0 21 4 0 0 20 0 20 0 419983131 27969658880 31985 33554432000 4194304 4196468 140730114612256 140730114594800 140092174647031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
/proc/31666/statm: 6828530 31985 2945 1 0 6790935 0
[pid=31666/tid=31667] ppid=31663 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31666/task/31667/stat : 31667 (java) R 31663 31663 31167 0 -1 4202560 10038 0 0 0 16 3 0 0 20 0 20 0 419983132 27969658880 31985 33554432000 4194304 4196468 140730114612256 140092146446416 140092156020503 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31668] ppid=31663 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/31666/task/31668/stat : 31668 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 31985 33554432000 4194304 4196468 140730114612256 140092178889616 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31669] ppid=31663 vsize=27314120 memory=140673555616553 CPUtime=0 cores=0-7
/proc/31666/task/31669/stat : 31669 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091993045776 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31670] ppid=31663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31666/task/31670/stat : 31670 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091991993488 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31671] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31671/stat : 31671 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091990940688 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31672] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31672/stat : 31672 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091989887376 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31673] ppid=31663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31666/task/31673/stat : 31673 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091988834576 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31674] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31674/stat : 31674 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091987782288 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31675] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31675/stat : 31675 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091986729488 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31676] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31676/stat : 31676 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091165821552 140092174658178 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31677] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31677/stat : 31677 (java) S 31663 31663 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 31985 33554432000 4194304 4196468 140730114612256 140090089137440 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31678] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31678/stat : 31678 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 31985 33554432000 4194304 4196468 140730114612256 140089820702320 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31679] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31679/stat : 31679 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 31985 33554432000 4194304 4196468 140730114612256 140089446193744 140092174665627 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31680] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31680/stat : 31680 (java) S 31663 31663 31167 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091164768368 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31681] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31681/stat : 31681 (java) S 31663 31663 31167 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091095771120 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31682] ppid=31663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31666/task/31682/stat : 31682 (java) S 31663 31663 31167 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091094718832 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31683] ppid=31663 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/31666/task/31683/stat : 31683 (java) S 31663 31663 31167 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 419983139 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091093666032 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31684] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31684/stat : 31684 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 31985 33554432000 4194304 4196468 140730114612256 140088948288352 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31685] ppid=31663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31666/task/31685/stat : 31685 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 31985 33554432000 4194304 4196468 140730114612256 140091092613936 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129336 KiB

[startup+0.310733 s]*
/proc/loadavg: 2.77 2.85 3.06 2/217 31685
/proc/meminfo: memFree=30136616/32770624 swapFree=66916668/67108860
[pid=31663] ppid=31660 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31663/stat : 31663 (scop.sh) S 31660 31663 31167 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419983131 115843072 349 33554432000 4194304 5098028 140733351102576 140733351099832 140152079004284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14118912 140733351105317 140733351105644 140733351105644 140733351108557 0
/proc/31663/statm: 28282 349 296 221 0 87 0
[pid=31666] ppid=31663 vsize=27314120 memory=131516 CPUtime=0.43 cores=0-7
/proc/31666/stat : 31666 (java) S 31663 31663 31167 0 -1 1077944320 12793 0 0 0 38 5 0 0 20 0 20 0 419983131 27969658880 32879 33554432000 4194304 4196468 140730114612256 140730114594800 140092174647031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
/proc/31666/statm: 6828530 32879 3037 1 0 6790935 0
[pid=31666/tid=31667] ppid=31663 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/31666/task/31667/stat : 31667 (java) R 31663 31663 31167 0 -1 4202560 10286 0 0 0 26 4 0 0 20 0 20 0 419983132 27969658880 32879 33554432000 4194304 4196468 140730114612256 140092146477104 140092156210528 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31668] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31668/stat : 31668 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 32879 33554432000 4194304 4196468 140730114612256 140092178889616 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31669] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31669/stat : 31669 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091993045776 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31670] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31670/stat : 31670 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091991993488 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31671] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31671/stat : 31671 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091990940688 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31672] ppid=31663 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/31666/task/31672/stat : 31672 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091989887376 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31673] ppid=31663 vsize=27314120 memory=140673399485359 CPUtime=0 cores=0-7
/proc/31666/task/31673/stat : 31673 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091988834576 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31674] ppid=31663 vsize=27314120 memory=140673399487664 CPUtime=0 cores=0-7
/proc/31666/task/31674/stat : 31674 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091987782288 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31675] ppid=31663 vsize=27314120 memory=140673399489968 CPUtime=0 cores=0-7
/proc/31666/task/31675/stat : 31675 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983134 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091986729488 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31676] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31676/stat : 31676 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091165821552 140092174658178 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31677] ppid=31663 vsize=27314120 memory=281346798986896 CPUtime=0 cores=0-7
/proc/31666/task/31677/stat : 31677 (java) S 31663 31663 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 32879 33554432000 4194304 4196468 140730114612256 140090089137440 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31678] ppid=31663 vsize=27314120 memory=281346798993808 CPUtime=0 cores=0-7
/proc/31666/task/31678/stat : 31678 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983136 27969658880 32879 33554432000 4194304 4196468 140730114612256 140089820702320 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31679] ppid=31663 vsize=27314120 memory=281346798934960 CPUtime=0 cores=0-7
/proc/31666/task/31679/stat : 31679 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 32879 33554432000 4194304 4196468 140730114612256 140089446193744 140092174665627 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31680] ppid=31663 vsize=27314120 memory=281346799007632 CPUtime=0.01 cores=0-7
/proc/31666/task/31680/stat : 31680 (java) S 31663 31663 31167 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 419983139 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091164768368 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31681] ppid=31663 vsize=27314120 memory=281346799014544 CPUtime=0.02 cores=0-7
/proc/31666/task/31681/stat : 31681 (java) S 31663 31663 31167 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 20 0 419983139 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091095771120 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31682] ppid=31663 vsize=27314120 memory=281346799012240 CPUtime=0.01 cores=0-7
/proc/31666/task/31682/stat : 31682 (java) S 31663 31663 31167 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 419983139 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091094718832 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31683] ppid=31663 vsize=27314120 memory=281346799028400 CPUtime=0.07 cores=0-7
/proc/31666/task/31683/stat : 31683 (java) S 31663 31663 31167 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 419983139 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091093666032 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31684] ppid=31663 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31684/stat : 31684 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 32879 33554432000 4194304 4196468 140730114612256 140088948288352 140092174657237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31685] ppid=31663 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31666/task/31685/stat : 31685 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983139 27969658880 32879 33554432000 4194304 4196468 140730114612256 140091092613936 140092174658178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 132912 KiB

[startup+0.700966 s]
/proc/loadavg: 2.77 2.85 3.06 2/217 31685
/proc/meminfo: memFree=30115636/32770624 swapFree=66916668/67108860
[pid=31663] ppid=31660 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31663/stat : 31663 (scop.sh) S 31660 31663 31167 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419983131 115843072 349 33554432000 4194304 5098028 140733351102576 140733351099832 140152079004284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14118912 140733351105317 140733351105644 140733351105644 140733351108557 0
/proc/31663/statm: 28282 349 296 221 0 87 0
[pid=31666] ppid=31663 vsize=27322440 memory=167340 CPUtime=0.97 cores=0-7
/proc/31666/stat : 31666 (java) S 31663 31663 31167 0 -1 1077944320 20483 0 0 0 90 7 0 0 20 0 20 0 419983131 27978178560 41835 33554432000 4194304 4196468 140730114612256 140730114594800 140092174647031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
/proc/31666/statm: 6830610 41835 3184 1 0 6791959 0
[pid=31666/tid=31667] ppid=31663 vsize=27322440 memory=281346799386288 CPUtime=0.67 cores=0-7
/proc/31666/task/31667/stat : 31667 (java) R 31663 31663 31167 0 -1 4202560 17425 0 0 0 61 6 0 0 20 0 20 0 419983132 27978178560 41835 33554432000 4194304 4196468 140730114612256 140092146484024 140092174658966 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31668] ppid=31663 vsize=27322440 memory=140673399694192 CPUtime=0 cores=0-7
/proc/31666/task/31668/stat : 31668 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27978178560 41835 33554432000 4194304 4196468 140730114612256 140092178889616 140092174657237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31669] ppid=31663 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/31666/task/31669/stat : 31669 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27978178560 41835 33554432000 4194304 4196468 140730114612256 140091993045776 140092174657237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0
[pid=31666/tid=31670] ppid=31663 vsize=27322440 memory=5996 CPUtime=0 cores=0-7
/proc/31666/task/31670/stat : 31670 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419983134 27978178560 41835 33554432000 4194304 4196468 140730114612256 140091991993488 140092174657237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30830592 140730114613995 140730114614422 140730114614422 140730114617295 0

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

[pid=31686/tid=31697] ppid=31663 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/31686/task/31697/stat : 31697 (java) S 31663 31663 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419983283 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669104415520 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31698] ppid=31663 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/31686/task/31698/stat : 31698 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983284 8616062976 29900 33554432000 4194304 4196468 140722296913552 140668835980400 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31699] ppid=31663 vsize=8414124 memory=20836 CPUtime=0 cores=0-7
/proc/31686/task/31699/stat : 31699 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140668461471824 140670515705755 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31700] ppid=31663 vsize=8414124 memory=12036 CPUtime=0.08 cores=0-7
/proc/31686/task/31700/stat : 31700 (java) S 31663 31663 31167 0 -1 1077944384 562 0 0 0 8 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669608176240 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31701] ppid=31663 vsize=8414124 memory=4100 CPUtime=0.06 cores=0-7
/proc/31686/task/31701/stat : 31701 (java) S 31663 31663 31167 0 -1 1077944384 282 0 0 0 6 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669607123440 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31702] ppid=31663 vsize=8414124 memory=1808 CPUtime=0.02 cores=0-7
/proc/31686/task/31702/stat : 31702 (java) S 31663 31663 31167 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669606071152 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31703] ppid=31663 vsize=8414124 memory=920 CPUtime=0.2 cores=0-7
/proc/31686/task/31703/stat : 31703 (java) S 31663 31663 31167 0 -1 1077944384 524 0 0 0 20 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669605018352 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31704] ppid=31663 vsize=8414124 memory=4256 CPUtime=0 cores=0-7
/proc/31686/task/31704/stat : 31704 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667963566432 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31705] ppid=31663 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/31686/task/31705/stat : 31705 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983287 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669603965232 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31707] ppid=31663 vsize=8414124 memory=3208 CPUtime=0 cores=0-7
/proc/31686/task/31707/stat : 31707 (java) S 31663 31663 31167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669595931968 140670515711769 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31709] ppid=31663 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/31686/task/31709/stat : 31709 (java) S 31663 31663 31167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667292467088 140670515709085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31711] ppid=31663 vsize=8414124 memory=119600 CPUtime=0 cores=0-7
/proc/31686/task/31711/stat : 31711 (java) S 31663 31663 31167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667560902416 140670515709085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31719] ppid=31663 vsize=8414124 memory=424120 CPUtime=0 cores=0-7
/proc/31686/task/31719/stat : 31719 (java) S 31663 31663 31167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419983355 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667024039728 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 9209088 KiB
Current children cumulated memory: 545204 KiB

[startup+32.0013 s]*
/proc/loadavg: 4.81 3.34 3.21 3/224 31720
/proc/meminfo: memFree=29730980/32770624 swapFree=66916668/67108860
[pid=31663] ppid=31660 vsize=113128 memory=1476 CPUtime=2.79 cores=0-7
/proc/31663/stat : 31663 (scop.sh) S 31660 31663 31167 0 -1 4202496 583 24970 0 0 0 0 266 13 20 0 1 0 419983131 115843072 369 33554432000 4194304 5098028 140733351102576 140733351099320 140152079004284 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14118912 140733351105317 140733351105644 140733351105644 140733351108557 0
/proc/31663/statm: 28282 369 311 221 0 87 0
[pid=31686] ppid=31663 vsize=8414124 memory=119600 CPUtime=1.17 cores=0-7
/proc/31686/stat : 31686 (java) S 31663 31663 31167 0 -1 1077944320 19411 0 0 0 110 7 0 0 20 0 24 0 419983280 8616062976 29900 33554432000 4194304 4196468 140722296913552 140722296896096 140670515687159 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
/proc/31686/statm: 2103531 29900 3170 1 0 2064875 0
[pid=31706] ppid=31686 vsize=681836 memory=420136 CPUtime=223.34 cores=0-7
/proc/31706/stat : 31706 (manyglucose-4.1) S 31686 31663 31167 0 -1 1077944320 268198 0 0 0 22287 47 0 0 20 0 3 0 419983353 698200064 105034 33554432000 4194304 4454172 140728925680608 140728925678992 140434412678903 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25825280 140728925688681 140728925688880 140728925688880 140728925691834 0
/proc/31706/statm: 170459 105034 416 64 0 166127 0
[pid=31706/tid=31710] ppid=31686 vsize=681836 memory=424124 CPUtime=29.72 cores=0-7
/proc/31706/task/31710/stat : 31710 (manyglucose-4.1) R 31686 31663 31167 0 -1 4202560 21029 0 0 0 2970 2 0 0 20 0 3 0 419983353 698200064 105034 33554432000 4194304 4454172 140728925680608 140434397461640 4351227 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 25825280 140728925688681 140728925688880 140728925688880 140728925691834 0
[pid=31706/tid=31713] ppid=31686 vsize=681836 memory=6655300316396806240 CPUtime=29.58 cores=0-7
/proc/31706/task/31713/stat : 31713 (manyglucose-4.1) R 31686 31663 31167 0 -1 4202560 27668 0 0 0 2956 2 0 0 20 0 3 0 419983353 698200064 105034 33554432000 4194304 4454172 140728925680608 140434380676232 4327178 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 25825280 140728925688681 140728925688880 140728925688880 140728925691834 0
[pid=31686/tid=31687] ppid=31663 vsize=8414124 memory=7686721470334671764 CPUtime=0.75 cores=0-7
/proc/31686/task/31687/stat : 31687 (java) S 31663 31663 31167 0 -1 1077944384 16388 0 0 0 70 5 0 0 20 0 24 0 419983280 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670487527328 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31688] ppid=31663 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/31686/task/31688/stat : 31688 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670519929232 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31689] ppid=31663 vsize=8414124 memory=424096 CPUtime=0 cores=0-7
/proc/31686/task/31689/stat : 31689 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670320097552 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31690] ppid=31663 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/31686/task/31690/stat : 31690 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670319045264 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31691] ppid=31663 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/31686/task/31691/stat : 31691 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670317992464 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31692] ppid=31663 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/31686/task/31692/stat : 31692 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670316940176 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31693] ppid=31663 vsize=8414124 memory=1640 CPUtime=0 cores=0-7
/proc/31686/task/31693/stat : 31693 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983282 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670315887376 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31694] ppid=31663 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/31686/task/31694/stat : 31694 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983282 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670314835088 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31695] ppid=31663 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/31686/task/31695/stat : 31695 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983282 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670313782288 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31696] ppid=31663 vsize=8414124 memory=132 CPUtime=0 cores=0-7
/proc/31686/task/31696/stat : 31696 (java) S 31663 31663 31167 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419983283 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669609228400 140670515698306 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31697] ppid=31663 vsize=8414124 memory=7447091672203157869 CPUtime=0 cores=0-7
/proc/31686/task/31697/stat : 31697 (java) S 31663 31663 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419983283 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669104415520 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31698] ppid=31663 vsize=8414124 memory=7738152148502272354 CPUtime=0 cores=0-7
/proc/31686/task/31698/stat : 31698 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983284 8616062976 29900 33554432000 4194304 4196468 140722296913552 140668835980400 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31699] ppid=31663 vsize=8414124 memory=424120 CPUtime=0 cores=0-7
/proc/31686/task/31699/stat : 31699 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140668461471824 140670515705755 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31700] ppid=31663 vsize=8414124 memory=119600 CPUtime=0.08 cores=0-7
/proc/31686/task/31700/stat : 31700 (java) S 31663 31663 31167 0 -1 1077944384 562 0 0 0 8 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669608176240 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31701] ppid=31663 vsize=8414124 memory=424120 CPUtime=0.06 cores=0-7
/proc/31686/task/31701/stat : 31701 (java) S 31663 31663 31167 0 -1 1077944384 282 0 0 0 6 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669607123440 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31702] ppid=31663 vsize=8414124 memory=140673400297008 CPUtime=0.02 cores=0-7
/proc/31686/task/31702/stat : 31702 (java) S 31663 31663 31167 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669606071152 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31703] ppid=31663 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/31686/task/31703/stat : 31703 (java) S 31663 31663 31167 0 -1 1077944384 524 0 0 0 20 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669605018352 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31704] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31704/stat : 31704 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667963566432 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31705] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31705/stat : 31705 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983287 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669603965232 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31707] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31707/stat : 31707 (java) S 31663 31663 31167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669595931968 140670515711769 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31709] ppid=31663 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/31686/task/31709/stat : 31709 (java) S 31663 31663 31167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667292467088 140670515709085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31711] ppid=31663 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/31686/task/31711/stat : 31711 (java) S 31663 31663 31167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667560902416 140670515709085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31719] ppid=31663 vsize=8414124 memory=119600 CPUtime=0 cores=0-7
/proc/31686/task/31719/stat : 31719 (java) S 31663 31663 31167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419983355 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667024039728 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
Current children cumulated CPU time: 227.3 s
Current children cumulated vsize: 9209088 KiB
Current children cumulated memory: 541212 KiB

[startup+32.2011 s]
/proc/loadavg: 4.81 3.34 3.21 3/224 31720
/proc/meminfo: memFree=29730980/32770624 swapFree=66916668/67108860
[pid=31663] ppid=31660 vsize=113128 memory=1476 CPUtime=2.79 cores=0-7
/proc/31663/stat : 31663 (scop.sh) S 31660 31663 31167 0 -1 4202496 583 24970 0 0 0 0 266 13 20 0 1 0 419983131 115843072 369 33554432000 4194304 5098028 140733351102576 140733351099320 140152079004284 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14118912 140733351105317 140733351105644 140733351105644 140733351108557 0
/proc/31663/statm: 28282 369 311 221 0 87 0
[pid=31686] ppid=31663 vsize=8414124 memory=119600 CPUtime=1.17 cores=0-7
/proc/31686/stat : 31686 (java) S 31663 31663 31167 0 -1 1077944320 19411 0 0 0 110 7 0 0 20 0 24 0 419983280 8616062976 29900 33554432000 4194304 4196468 140722296913552 140722296896096 140670515687159 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
/proc/31686/statm: 2103531 29900 3170 1 0 2064875 0
[pid=31706] ppid=31686 vsize=681836 memory=418108 CPUtime=223.68 cores=0-7
/proc/31706/stat : 31706 (manyglucose-4.1) S 31686 31663 31167 0 -1 1077944320 268209 0 0 0 22321 47 0 0 20 0 2 0 419983353 698200064 104527 33554432000 4194304 4454172 140728925680608 140728925678992 140434412678903 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25825280 140728925688681 140728925688880 140728925688880 140728925691834 0
/proc/31706/statm: 170459 104527 416 64 0 166127 0
[pid=31706/tid=31713] ppid=31686 vsize=681836 memory=1444 CPUtime=29.77 cores=0-7
/proc/31706/task/31713/stat : 31713 (manyglucose-4.1) R 31686 31663 31167 0 -1 4202560 27673 0 0 0 2975 2 0 0 20 0 2 0 419983353 698200064 104527 33554432000 4194304 4454172 140728925680608 140434380676232 4332109 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 25825280 140728925688681 140728925688880 140728925688880 140728925691834 0
[pid=31686/tid=31687] ppid=31663 vsize=8414124 memory=1984 CPUtime=0.75 cores=0-7
/proc/31686/task/31687/stat : 31687 (java) S 31663 31663 31167 0 -1 1077944384 16388 0 0 0 70 5 0 0 20 0 24 0 419983280 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670487527328 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31688] ppid=31663 vsize=8414124 memory=2528 CPUtime=0 cores=0-7
/proc/31686/task/31688/stat : 31688 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670519929232 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31689] ppid=31663 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/31686/task/31689/stat : 31689 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670320097552 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31690] ppid=31663 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/31686/task/31690/stat : 31690 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670319045264 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31691] ppid=31663 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/31686/task/31691/stat : 31691 (java) S 31663 31663 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670317992464 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31692] ppid=31663 vsize=8414124 memory=1640 CPUtime=0 cores=0-7
/proc/31686/task/31692/stat : 31692 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983281 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670316940176 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31693] ppid=31663 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/31686/task/31693/stat : 31693 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983282 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670315887376 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31694] ppid=31663 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/31686/task/31694/stat : 31694 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983282 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670314835088 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31695] ppid=31663 vsize=8414124 memory=424124 CPUtime=0 cores=0-7
/proc/31686/task/31695/stat : 31695 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983282 8616062976 29900 33554432000 4194304 4196468 140722296913552 140670313782288 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31696] ppid=31663 vsize=8414124 memory=7738152148502272354 CPUtime=0 cores=0-7
/proc/31686/task/31696/stat : 31696 (java) S 31663 31663 31167 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419983283 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669609228400 140670515698306 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31697] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31697/stat : 31697 (java) S 31663 31663 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419983283 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669104415520 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31698] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31698/stat : 31698 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983284 8616062976 29900 33554432000 4194304 4196468 140722296913552 140668835980400 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31699] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31699/stat : 31699 (java) S 31663 31663 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140668461471824 140670515705755 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31700] ppid=31663 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/31686/task/31700/stat : 31700 (java) S 31663 31663 31167 0 -1 1077944384 562 0 0 0 8 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669608176240 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31701] ppid=31663 vsize=8414124 memory=8 CPUtime=0.06 cores=0-7
/proc/31686/task/31701/stat : 31701 (java) S 31663 31663 31167 0 -1 1077944384 282 0 0 0 6 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669607123440 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31702] ppid=31663 vsize=8414124 memory=6 CPUtime=0.02 cores=0-7
/proc/31686/task/31702/stat : 31702 (java) S 31663 31663 31167 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669606071152 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31703] ppid=31663 vsize=8414124 memory=2 CPUtime=0.2 cores=0-7
/proc/31686/task/31703/stat : 31703 (java) S 31663 31663 31167 0 -1 1077944384 524 0 0 0 20 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669605018352 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31704] ppid=31663 vsize=8414124 memory=20 CPUtime=0 cores=0-7
/proc/31686/task/31704/stat : 31704 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983286 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667963566432 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31705] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31705/stat : 31705 (java) S 31663 31663 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983287 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669603965232 140670515698306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31707] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31707/stat : 31707 (java) S 31663 31663 31167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140669595931968 140670515711769 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31709] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31709/stat : 31709 (java) S 31663 31663 31167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667292467088 140670515709085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31711] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31711/stat : 31711 (java) S 31663 31663 31167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419983353 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667560902416 140670515709085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
[pid=31686/tid=31719] ppid=31663 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31686/task/31719/stat : 31719 (java) S 31663 31663 31167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419983355 8616062976 29900 33554432000 4194304 4196468 140722296913552 140667024039728 140670515697365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27938816 140722296919031 140722296919190 140722296919190 140722296922063 0
Current children cumulated CPU time: 227.64 s
Current children cumulated vsize: 9209088 KiB
Current children cumulated memory: 539184 KiB

Child status: 0
Real time (s): 32.2596
CPU time (s): 227.792
CPU user time (s): 227.069
CPU system time (s): 0.723518
CPU usage (%): 706.123
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 592272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.069
system time used= 0.723518
maximum resident set size= 496100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8428
involuntary context switches= 2249


# summary of solver processes directly reported to runsolver:
#   pid: 31663
#   total CPU time (s): 227.792
#   total CPU user time (s): 227.069
#   total CPU system time (s): 0.723518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.317619 second user time and 0.47313 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-14 07:01:25
IDJOB=4392317
IDBENCH=134710
IDSOLVER=2838
FILE ID=node134/4392317-1568437326
RUNJOBID= node134-1568437264-31194
PBS_JOBID= 21702320
Free space on /tmp= 59576 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-11.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-4392317-1568437326/watcher-4392317-1568437326 -o /tmp/evaluation-result-4392317-1568437326/solver-4392317-1568437326 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568437264-31194 --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-4392317-1568437326.xml

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

MD5SUM BENCH= 0cb6e3dc45605db1284c892a60e68314
RANDOM SEED=387453653

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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:        30259328 kB
MemAvailable:   31794552 kB
Buffers:          199556 kB
Cached:          1602840 kB
SwapCached:        90600 kB
Active:           496488 kB
Inactive:        1397264 kB
Active(anon):      24688 kB
Inactive(anon):   106628 kB
Active(file):     471800 kB
Inactive(file):  1290636 kB
Unevictable:      110900 kB
Mlocked:          110900 kB
SwapTotal:      67108860 kB
SwapFree:       66916668 kB
Dirty:             20728 kB
Writeback:             0 kB
AnonPages:         45152 kB
Mapped:            44252 kB
Shmem:             31112 kB
Slab:             207580 kB
SReclaimable:     177248 kB
SUnreclaim:        30332 kB
KernelStack:        3808 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59556 MiB
End job on node134 at 2019-09-14 07:01:57