Trace number 4405482

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-9.xml
MD5SUM2d7f03e466d78847960dc3f747db29ef
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 benchmark42.4013
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree12
Maximum variable degree25
Distribution of variable degrees[{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":23,"count":1},{"degree":25,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15212-serial-file.bin HOME/instance-4405482-1569335979.xml
0.65/0.55	
0.65/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.58	c BEGIN-Prog: Tue Sep 24 16:38:56 CEST 2019
0.65/0.58	c PID: 15215
0.65/0.58	c IP: 172.20.3.147
0.65/0.58	c HOST: node147.alineos.net
0.65/0.59	c (0,0) Parsing Begin
6.69/5.01	c (4,4) Parsing End
6.69/5.10	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 5
6.69/5.10	c (4,4) Heap : 4057 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.69/5.10	c (4,4) Constraint Name Generate Begin
6.69/5.10	c (4,4) Ctr:HOME/instance-4405482-1569335979.xml,ExtensionSupport:Var
6.69/5.10	c (4,4) Constraint Name Generate End
6.69/5.10	c (4,4) Heap : 4057 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.69/5.10	c (4,4) CSP to CSPinCNF Begin
17.72/9.49	c (8,8) translated 6 (10%) constraints
22.28/13.19	c (12,12) translated 12 (20%) constraints
28.19/17.10	c (16,16) translated 18 (30%) constraints
32.89/20.78	c (20,19) translated 24 (40%) constraints
35.95/23.78	c (23,22) translated 29 (50%) constraints
39.67/27.42	c (26,26) translated 35 (60%) constraints
44.03/31.03	c (30,30) translated 41 (70%) constraints
49.06/34.65	c (34,33) translated 47 (80%) constraints
53.33/38.29	c (37,37) translated 53 (90%) constraints
56.25/41.11	c (40,40) translated 58 (100%) constraints
56.74/41.65	c (41,40) ===========================================
56.74/41.69	c (41,40) Hybrid: #OE=8487, #LE=0
56.74/41.69	c (41,40) Hybrid
56.74/41.69	c (41,40) ===========================================
57.48/41.96	c (41,40) translated 8073 (10%) constraints
58.02/42.16	c (41,41) translated 16145 (20%) constraints
58.23/42.34	c (41,41) translated 24218 (30%) constraints
58.46/42.53	c (41,41) translated 32290 (40%) constraints
58.66/42.71	c (42,41) translated 40362 (50%) constraints
58.76/42.90	c (42,41) translated 48435 (60%) constraints
58.97/43.08	c (42,42) translated 56507 (70%) constraints
59.16/43.26	c (42,42) translated 64580 (80%) constraints
59.37/43.45	c (42,42) translated 72652 (90%) constraints
59.63/43.63	c (43,42) translated 80724 (100%) constraints
59.63/43.63	c (43,42) CSP to CSPinCNF End
59.63/43.64	c (43,42) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80724 ctr, max domain size 5
59.63/43.64	c (43,42) Heap : 3146 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
59.63/43.64	c (43,42) CSPinCNF Propagation Begin
60.78/44.20	c (43,43) 0 values, 154 unsatisfiable literals, and 138 valid clauses are removed
60.78/44.20	c (43,43) CSPinCNF Propagation End
60.97/44.20	c (43,43) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5
60.97/44.20	c (43,43) Heap : 3590 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
60.97/44.25	c (43,43) Hybrid: #OE=8487, #LE=0
60.97/44.25	c (43,43) Simplify CSPinCNF Begin
61.30/44.45	c (43,43) Simplify CSPinCNF End
61.30/44.45	c (43,43) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5
61.30/44.45	c (43,43) Heap : 3701 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
61.30/44.45	c (43,43) Calculate Precise Domain Begin
61.30/44.46	c (43,43) 0 values are removed by re-calculation
61.30/44.46	c (43,43) Calculate Precise Domain End
61.30/44.46	c (43,43) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5
61.30/44.46	c (43,43) Heap : 3701 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
61.30/44.46	c (43,43) CSPinCNF to SatSolver Begin
62.24/44.78	c (44,43) 8059 (10 %) CSP clauses are encoded (0 SAT variables, 8133 SAT clauses)
62.63/44.87	c (44,43) 16118 (20 %) CSP clauses are encoded (0 SAT variables, 16192 SAT clauses)
62.83/44.95	c (44,43) 24176 (30 %) CSP clauses are encoded (0 SAT variables, 24250 SAT clauses)
62.94/45.02	c (44,43) 32235 (40 %) CSP clauses are encoded (0 SAT variables, 32309 SAT clauses)
62.94/45.10	c (44,44) 40293 (50 %) CSP clauses are encoded (0 SAT variables, 40367 SAT clauses)
63.06/45.18	c (44,44) 48352 (60 %) CSP clauses are encoded (0 SAT variables, 48426 SAT clauses)
63.16/45.26	c (44,44) 56411 (70 %) CSP clauses are encoded (0 SAT variables, 56485 SAT clauses)
63.26/45.33	c (44,44) 64469 (80 %) CSP clauses are encoded (0 SAT variables, 64543 SAT clauses)
63.36/45.41	c (44,44) 72528 (90 %) CSP clauses are encoded (0 SAT variables, 72602 SAT clauses)
63.36/45.49	c (44,44) 80586 (100 %) CSP clauses are encoded (0 SAT variables, 80660 SAT clauses)
63.36/45.49	c (44,44) CSPinCNF to SatSolver End
63.36/45.49	c (44,44) Heap : 4478 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
63.36/45.49	c (44,44) 8541 bool, 80661 clause
63.36/45.49	c (44,44) Export Begin
63.46/45.58	c (45,44) Export to HOME/scop-15212-serial-file.bin
63.46/45.58	c (45,44) Export End
63.46/45.58	c (45,44) Export File Size: 0.01 MB
63.46/45.58	c (45,44) 4,4,43,43,43,43,44,STOP-AFTER(DIMACS)
63.46/45.58	c END-Prog: Tue Sep 24 16:39:41 CEST 2019
0.00/45.62	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15212-serial-file.bin
64.17/46.08	c (0,0) Read Serial File Begin
64.17/46.08	c (0,0) HOME/scop-15212-serial-file.bin
64.44/46.28	c (0,0) Read Serial File End
64.57/46.30	
64.57/46.30	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
64.57/46.30	(Solving Process)
64.57/46.30	
64.57/46.32	c BEGIN-Prog: Tue Sep 24 16:39:42 CEST 2019
64.57/46.32	c PID: 15238
64.57/46.32	c IP: 172.20.3.147
64.57/46.32	c HOST: node147.alineos.net
64.57/46.32	c (0,0) SatSolver.solve Begin
64.57/46.32	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405482-1569335979.xml-scop-15215.cnf
64.57/46.35	c (0,0) c
64.57/46.35	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)
64.57/46.35	c (0,0) c
64.57/46.35	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
64.57/46.35	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
64.57/46.35	c (0,0) c ========================================[ Problem Statistics ]===========================================
64.57/46.35	c (0,0) c |                                                                                                       |
64.57/46.38	c (0,0) c |  Number of variables:          8541                                                                   |
64.57/46.38	c (0,0) c |  Number of clauses:           80661                                                                   |
64.57/46.38	c (0,0) c |  Parse time:                   0.03 s                                                                 |
64.57/46.38	c (0,0) c |                                                                                                       |
64.82/46.43	c (0,0) c |  Simplification time:          0.05 s                                                                 |
64.82/46.43	c (0,0) c |                                                                                                       |
64.82/46.43	c (0,0) c |  Generating clones                                                                                    |
64.82/46.46	c (0,0) c |  all clones generated. Memory =    67.07Mb.                                                           |
64.82/46.46	c (0,0) c ========================================================================================================|
64.82/46.46	c (0,0) c
64.82/46.46	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
64.82/46.46	c (0,0) c
64.82/46.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
64.82/46.46	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
64.82/46.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
64.82/46.46	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
64.82/46.46	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
64.82/46.46	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
64.82/46.46	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
64.82/46.46	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
64.82/46.46	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
64.82/46.46	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
64.82/46.46	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
64.82/46.46	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
64.82/46.46	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
64.82/46.46	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
64.82/46.46	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
64.82/46.46	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
64.82/46.46	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
64.82/46.46	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
64.82/46.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.55	c (26,0) c
270.44/72.55	c (26,0) c real time : 26.207 s
270.44/72.55	c (26,0) c cpu time  : 204.845 s
270.44/72.56	c (26,0) c
270.44/72.56	c (26,0) c
270.44/72.56	c (26,0) c
270.44/72.56	c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
270.44/72.56	c (26,0) c
270.44/72.56	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.56	c (26,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
270.44/72.56	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.56	c (26,0) c | Conflicts     |          346774 |      43969 |      42450 |      43937 |      42019 |      44015 |      43051 |      43555 |      43778 |
270.44/72.56	c (26,0) c | Decisions     |          428694 |      55297 |      51921 |      54221 |      51785 |      54379 |      53076 |      54229 |      53786 |
270.44/72.56	c (26,0) c | Propagations  |       585883551 |   72535152 |   73135471 |   74708611 |   73234979 |   73765820 |   72710153 |   72718835 |   73074530 |
270.44/72.56	c (26,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
270.44/72.56	c (26,0) c | SimpDBs       |              32 |          3 |          7 |          3 |          4 |          3 |          3 |          2 |          7 |
270.44/72.56	c (26,0) c | Restarts      |             264 |         54 |         35 |         36 |         15 |         33 |         28 |         36 |         27 |
270.44/72.56	c (26,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
270.44/72.56	c (26,0) c | PropBinClauses|       248149374 |   29929156 |   30557109 |   31120183 |   31085987 |   32735111 |   31395147 |   31430582 |   29896099 |
270.44/72.56	c (26,0) c | PropPreBlocker|      5175499490 |  644108428 |  644238676 |  653193962 |  643053395 |  652014300 |  647515394 |  645041269 |  646334066 |
270.44/72.56	c (26,0) c | PropNotBlocker|      1981407201 |  246181645 |  246894483 |  242313459 |  250553541 |  248666194 |  254561302 |  245374690 |  246861887 |
270.44/72.56	c (26,0) c | LitFullScans  |      9064373932 | 1128155695 | 1131488818 | 1134105929 | 1128125872 | 1140137373 | 1140128272 | 1128108034 | 1134123939 |
270.44/72.56	c (26,0) c | LitScanFracts |          921359 |     125424 |     128804 |      97358 |     116678 |     128646 |     117415 |     104902 |     102132 |
270.44/72.56	c (26,0) c | DecisionLevel0|             288 |         55 |         47 |         37 |         17 |         35 |         29 |         36 |         32 |
270.44/72.56	c (26,0) c | Periods       |            1510 |        188 |        188 |        189 |        188 |        190 |        190 |        188 |        189 |
270.44/72.56	c (26,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
270.44/72.56	c (26,0) c | Avg_Trail     |                 |       4911 |       4992 |       4970 |       4925 |       4876 |       4818 |       4872 |       4937 |
270.44/72.56	c (26,0) c | Avg_DL        |                 |         12 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |
270.44/72.56	c (26,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
270.44/72.56	c (26,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
270.44/72.56	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.56	c (26,0) c | Exported      |           58419 |       6941 |       7545 |       7258 |       7120 |       7283 |       7235 |       7439 |       7598 |
270.44/72.56	c (26,0) c | Imported      |          360679 |      46885 |      47195 |      45003 |      44201 |      47049 |      43214 |      40252 |      46880 |
270.44/72.56	c (26,0) c | Good          |            2461 |        322 |        331 |        294 |        296 |        319 |        284 |        279 |        336 |
270.44/72.56	c (26,0) c | Purge         |          358218 |      46563 |      46864 |      44709 |      43905 |      46730 |      42930 |      39973 |      46544 |
270.44/72.56	c (26,0) c | Promoted      |           42354 |       5473 |       5476 |       5074 |       5058 |       5401 |       5211 |       5273 |       5388 |
270.44/72.56	c (26,0) c | Remove_Imp    |          137011 |      17997 |      18957 |      16788 |      22197 |      15618 |      19748 |       9328 |      16378 |
270.44/72.56	c (26,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
270.44/72.56	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.56	c (26,0) c | Unaries       |                 |          1 |         12 |          1 |          2 |          2 |          1 |          0 |          5 |
270.44/72.56	c (26,0) c | Binaries      |                 |         54 |         74 |         64 |         60 |         63 |         54 |         45 |         61 |
270.44/72.56	c (26,0) c | Glues         |                 |        659 |        602 |        615 |        611 |        643 |        599 |        640 |        568 |
270.44/72.56	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.56	c (26,0) c | Orig_Seen     |            39 % |      31089 |      29481 |      30304 |      30519 |      30726 |      30549 |      30464 |      30130 |
270.44/72.56	c (26,0) c | Diff Orig seen|                 |       1608 |      X     |        823 |       1038 |       1245 |       1068 |        983 |        649 |
270.44/72.56	c (26,0) c | Hamming       |            46 % |       4226 |      X     |       3525 |       4217 |       3999 |       4235 |       4066 |       3797 |
270.44/72.56	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.56	c (26,0) c | RunningTime   |                 |   25.9 100%|   25.6 100%|   25.7 100%|   26.1 100%|   25.7 100%|   25.7 100%|   25.9 100%|   25.7 100%|
270.44/72.56	c (26,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
270.44/72.56	c (26,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
270.44/72.56	c (26,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%|
270.44/72.56	c (26,0) c | SolvingTime   |                 |   25.9     |   25.6     |   25.7     |   26.1     |   25.7     |   25.7     |   25.9     |   25.7     |
270.44/72.56	c (26,0) c | PropagationTim|                 |   24.6  95%|   24.4  95%|   24.4  95%|   24.9  95%|   24.4  95%|   24.5  95%|   24.7  95%|   24.4  95%|
270.44/72.56	c (26,0) c | AnalysisTime  |                 |    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|
270.44/72.56	c (26,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.1   0%|
270.44/72.56	c (26,0) c | SimplifyTime  |                 |    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
270.44/72.56	c (26,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%|
270.44/72.56	c (26,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%|
270.44/72.56	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.56	c (26,0) c
270.44/72.56	c (26,0) c
270.44/72.56	c (26,0) c Threads : 8
270.44/72.56	c (26,0) c Winner : 1
270.44/72.56	c (26,0) c Conflicts_0 : 43969
270.44/72.56	c (26,0) c Conflicts_1 : 42450
270.44/72.56	c (26,0) c Conflicts_2 : 43937
270.44/72.56	c (26,0) c Conflicts_3 : 42019
270.44/72.56	c (26,0) c Conflicts_4 : 44015
270.44/72.56	c (26,0) c Conflicts_5 : 43051
270.44/72.56	c (26,0) c Conflicts_6 : 43555
270.44/72.56	c (26,0) c Conflicts_7 : 43778
270.44/72.56	c (26,0) c Conflicts_total : 346774
270.44/72.56	c (26,0) c Conflicts_winner : 42450
270.44/72.56	c (26,0) c Decisions_0 : 55297
270.44/72.56	c (26,0) c Decisions_1 : 51921
270.44/72.56	c (26,0) c Decisions_2 : 54221
270.44/72.56	c (26,0) c Decisions_3 : 51785
270.44/72.56	c (26,0) c Decisions_4 : 54379
270.44/72.56	c (26,0) c Decisions_5 : 53076
270.44/72.56	c (26,0) c Decisions_6 : 54229
270.44/72.56	c (26,0) c Decisions_7 : 53786
270.44/72.56	c (26,0) c Decisions_total : 428694
270.44/72.56	c (26,0) c Decisions_winner : 51921
270.44/72.56	c (26,0) c Propagations_0 : 72535152
270.44/72.56	c (26,0) c Propagations_1 : 73135471
270.44/72.56	c (26,0) c Propagations_2 : 74708611
270.44/72.56	c (26,0) c Propagations_3 : 73234979
270.44/72.56	c (26,0) c Propagations_4 : 73765820
270.44/72.56	c (26,0) c Propagations_5 : 72710153
270.44/72.56	c (26,0) c Propagations_6 : 72718835
270.44/72.56	c (26,0) c Propagations_7 : 73074530
270.44/72.56	c (26,0) c Propagations_total : 585883551
270.44/72.56	c (26,0) c Propagations_winner : 73135471
270.44/72.56	c (26,0) c ReduceDBs_0 : 5
270.44/72.56	c (26,0) c ReduceDBs_1 : 5
270.44/72.56	c (26,0) c ReduceDBs_2 : 5
270.44/72.56	c (26,0) c ReduceDBs_3 : 5
270.44/72.56	c (26,0) c ReduceDBs_4 : 5
270.44/72.56	c (26,0) c ReduceDBs_5 : 5
270.44/72.56	c (26,0) c ReduceDBs_6 : 5
270.44/72.56	c (26,0) c ReduceDBs_7 : 5
270.44/72.56	c (26,0) c ReduceDBs_total : 40
270.44/72.56	c (26,0) c ReduceDBs_winner : 5
270.44/72.56	c (26,0) c SimpDBs_0 : 3
270.44/72.56	c (26,0) c SimpDBs_1 : 7
270.44/72.56	c (26,0) c SimpDBs_2 : 3
270.44/72.56	c (26,0) c SimpDBs_3 : 4
270.44/72.56	c (26,0) c SimpDBs_4 : 3
270.44/72.56	c (26,0) c SimpDBs_5 : 3
270.44/72.56	c (26,0) c SimpDBs_6 : 2
270.44/72.56	c (26,0) c SimpDBs_7 : 7
270.44/72.56	c (26,0) c SimpDBs_total : 32
270.44/72.56	c (26,0) c SimpDBs_winner : 7
270.44/72.56	c (26,0) c Restarts_0 : 54
270.44/72.56	c (26,0) c Restarts_1 : 35
270.44/72.56	c (26,0) c Restarts_2 : 36
270.44/72.56	c (26,0) c Restarts_3 : 15
270.44/72.56	c (26,0) c Restarts_4 : 33
270.44/72.56	c (26,0) c Restarts_5 : 28
270.44/72.56	c (26,0) c Restarts_6 : 36
270.44/72.56	c (26,0) c Restarts_7 : 27
270.44/72.56	c (26,0) c Restarts_total : 264
270.44/72.56	c (26,0) c Restarts_winner : 35
270.44/72.56	c (26,0) c ForcedImports_0 : 0
270.44/72.56	c (26,0) c ForcedImports_1 : 0
270.44/72.56	c (26,0) c ForcedImports_2 : 0
270.44/72.56	c (26,0) c ForcedImports_3 : 0
270.44/72.56	c (26,0) c ForcedImports_4 : 0
270.44/72.56	c (26,0) c ForcedImports_5 : 0
270.44/72.56	c (26,0) c ForcedImports_6 : 0
270.44/72.56	c (26,0) c ForcedImports_7 : 0
270.44/72.56	c (26,0) c ForcedImports_total : 0
270.44/72.56	c (26,0) c ForcedImports_winner : 0
270.44/72.56	c (26,0) c PropsBinClauses_0 : 29929156
270.44/72.56	c (26,0) c PropsBinClauses_1 : 30557109
270.44/72.56	c (26,0) c PropsBinClauses_2 : 31120183
270.44/72.56	c (26,0) c PropsBinClauses_3 : 31085987
270.44/72.56	c (26,0) c PropsBinClauses_4 : 32735111
270.44/72.56	c (26,0) c PropsBinClauses_5 : 31395147
270.44/72.56	c (26,0) c PropsBinClauses_6 : 31430582
270.44/72.56	c (26,0) c PropsBinClauses_7 : 29896099
270.44/72.56	c (26,0) c PropsBinClauses_total : 248149374
270.44/72.56	c (26,0) c PropsBinClauses_winner : 30557109
270.44/72.56	c (26,0) c PropsPreBlocker_0 : 644108428
270.44/72.56	c (26,0) c PropsPreBlocker_1 : 644238676
270.44/72.56	c (26,0) c PropsPreBlocker_2 : 653193962
270.44/72.56	c (26,0) c PropsPreBlocker_3 : 643053395
270.44/72.56	c (26,0) c PropsPreBlocker_4 : 652014300
270.44/72.56	c (26,0) c PropsPreBlocker_5 : 647515394
270.44/72.56	c (26,0) c PropsPreBlocker_6 : 645041269
270.44/72.56	c (26,0) c PropsPreBlocker_7 : 646334066
270.44/72.56	c (26,0) c PropsPreBlocker_total : 5175499490
270.44/72.56	c (26,0) c PropsPreBlocker_winner : 644238676
270.44/72.56	c (26,0) c PropsNotBlocker_0 : 246181645
270.44/72.56	c (26,0) c PropsNotBlocker_1 : 246894483
270.44/72.56	c (26,0) c PropsNotBlocker_2 : 242313459
270.44/72.56	c (26,0) c PropsNotBlocker_3 : 250553541
270.44/72.56	c (26,0) c PropsNotBlocker_4 : 248666194
270.44/72.56	c (26,0) c PropsNotBlocker_5 : 254561302
270.44/72.56	c (26,0) c PropsNotBlocker_6 : 245374690
270.44/72.56	c (26,0) c PropsNotBlocker_7 : 246861887
270.44/72.56	c (26,0) c PropsNotBlocker_total : 1981407201
270.44/72.56	c (26,0) c PropsNotBlocker_winner : 246894483
270.44/72.56	c (26,0) c PropsLitFullScans_0 : 1128155695
270.44/72.56	c (26,0) c PropsLitFullScans_1 : 1131488818
270.44/72.56	c (26,0) c PropsLitFullScans_2 : 1134105929
270.44/72.56	c (26,0) c PropsLitFullScans_3 : 1128125872
270.44/72.56	c (26,0) c PropsLitFullScans_4 : 1140137373
270.44/72.56	c (26,0) c PropsLitFullScans_5 : 1140128272
270.44/72.56	c (26,0) c PropsLitFullScans_6 : 1128108034
270.44/72.56	c (26,0) c PropsLitFullScans_7 : 1134123939
270.44/72.56	c (26,0) c PropsLitFullScans_total : 9064373932
270.44/72.56	c (26,0) c PropsLitFullScans_winner : 1131488818
270.44/72.56	c (26,0) c LitScanFractions_0 : 125424
270.44/72.56	c (26,0) c LitScanFractions_1 : 128804
270.44/72.56	c (26,0) c LitScanFractions_2 : 97358
270.44/72.56	c (26,0) c LitScanFractions_3 : 116678
270.44/72.56	c (26,0) c LitScanFractions_4 : 128646
270.44/72.56	c (26,0) c LitScanFractions_5 : 117415
270.44/72.56	c (26,0) c LitScanFractions_6 : 104902
270.44/72.56	c (26,0) c LitScanFractions_7 : 102132
270.44/72.56	c (26,0) c LitScanFractions_total : 921359
270.44/72.56	c (26,0) c LitScanFractions_winner : 128804
270.44/72.56	c (26,0) c DecisionLevel0_0 : 55
270.44/72.56	c (26,0) c DecisionLevel0_1 : 47
270.44/72.56	c (26,0) c DecisionLevel0_2 : 37
270.44/72.56	c (26,0) c DecisionLevel0_3 : 17
270.44/72.56	c (26,0) c DecisionLevel0_4 : 35
270.44/72.56	c (26,0) c DecisionLevel0_5 : 29
270.44/72.56	c (26,0) c DecisionLevel0_6 : 36
270.44/72.56	c (26,0) c DecisionLevel0_7 : 32
270.44/72.56	c (26,0) c DecisionLevel0_total : 288
270.44/72.56	c (26,0) c DecisionLevel0_winner : 47
270.44/72.56	c (26,0) c Periods_0 : 188
270.44/72.56	c (26,0) c Periods_1 : 188
270.44/72.56	c (26,0) c Periods_2 : 189
270.44/72.56	c (26,0) c Periods_3 : 188
270.44/72.56	c (26,0) c Periods_4 : 190
270.44/72.56	c (26,0) c Periods_5 : 190
270.44/72.56	c (26,0) c Periods_6 : 188
270.44/72.56	c (26,0) c Periods_7 : 189
270.44/72.56	c (26,0) c Periods_total : 1510
270.44/72.56	c (26,0) c Periods_winner : 188
270.44/72.56	c (26,0) c Margin_0 : 20
270.44/72.56	c (26,0) c Margin_1 : 20
270.44/72.56	c (26,0) c Margin_2 : 20
270.44/72.56	c (26,0) c Margin_3 : 20
270.44/72.56	c (26,0) c Margin_4 : 20
270.44/72.56	c (26,0) c Margin_5 : 20
270.44/72.56	c (26,0) c Margin_6 : 20
270.44/72.56	c (26,0) c Margin_7 : 20
270.44/72.56	c (26,0) c Margin_total : 160
270.44/72.56	c (26,0) c Margin_winner : 20
270.44/72.56	c (26,0) c Exported_0 : 6941
270.44/72.56	c (26,0) c Exported_1 : 7545
270.44/72.56	c (26,0) c Exported_2 : 7258
270.44/72.56	c (26,0) c Exported_3 : 7120
270.44/72.56	c (26,0) c Exported_4 : 7283
270.44/72.56	c (26,0) c Exported_5 : 7235
270.44/72.56	c (26,0) c Exported_6 : 7439
270.44/72.56	c (26,0) c Exported_7 : 7598
270.44/72.56	c (26,0) c Exported_total : 58419
270.44/72.56	c (26,0) c Exported_winner : 7545
270.44/72.56	c (26,0) c Imported_0 : 46885
270.44/72.56	c (26,0) c Imported_1 : 47195
270.44/72.56	c (26,0) c Imported_2 : 45003
270.44/72.56	c (26,0) c Imported_3 : 44201
270.44/72.56	c (26,0) c Imported_4 : 47049
270.44/72.56	c (26,0) c Imported_5 : 43214
270.44/72.56	c (26,0) c Imported_6 : 40252
270.44/72.56	c (26,0) c Imported_7 : 46880
270.44/72.56	c (26,0) c Imported_total : 360679
270.44/72.56	c (26,0) c Imported_winner : 47195
270.44/72.56	c (26,0) c Good_0 : 322
270.44/72.56	c (26,0) c Good_1 : 331
270.44/72.56	c (26,0) c Good_2 : 294
270.44/72.56	c (26,0) c Good_3 : 296
270.44/72.56	c (26,0) c Good_4 : 319
270.44/72.56	c (26,0) c Good_5 : 284
270.44/72.56	c (26,0) c Good_6 : 279
270.44/72.56	c (26,0) c Good_7 : 336
270.44/72.56	c (26,0) c Good_total : 2461
270.44/72.56	c (26,0) c Good_winner : 331
270.44/72.57	c (26,0) c Purge_0 : 46563
270.44/72.57	c (26,0) c Purge_1 : 46864
270.44/72.57	c (26,0) c Purge_2 : 44709
270.44/72.57	c (26,0) c Purge_3 : 43905
270.44/72.57	c (26,0) c Purge_4 : 46730
270.44/72.57	c (26,0) c Purge_5 : 42930
270.44/72.57	c (26,0) c Purge_6 : 39973
270.44/72.57	c (26,0) c Purge_7 : 46544
270.44/72.57	c (26,0) c Purge_total : 358218
270.44/72.57	c (26,0) c Purge_winner : 46864
270.44/72.57	c (26,0) c Promoted_0 : 5473
270.44/72.57	c (26,0) c Promoted_1 : 5476
270.44/72.57	c (26,0) c Promoted_2 : 5074
270.44/72.57	c (26,0) c Promoted_3 : 5058
270.44/72.57	c (26,0) c Promoted_4 : 5401
270.44/72.57	c (26,0) c Promoted_5 : 5211
270.44/72.57	c (26,0) c Promoted_6 : 5273
270.44/72.57	c (26,0) c Promoted_7 : 5388
270.44/72.57	c (26,0) c Promoted_total : 42354
270.44/72.57	c (26,0) c Promoted_winner : 5476
270.44/72.57	c (26,0) c Remove_Imp_0 : 17997
270.44/72.57	c (26,0) c Remove_Imp_1 : 18957
270.44/72.57	c (26,0) c Remove_Imp_2 : 16788
270.44/72.57	c (26,0) c Remove_Imp_3 : 22197
270.44/72.57	c (26,0) c Remove_Imp_4 : 15618
270.44/72.57	c (26,0) c Remove_Imp_5 : 19748
270.44/72.57	c (26,0) c Remove_Imp_6 : 9328
270.44/72.57	c (26,0) c Remove_Imp_7 : 16378
270.44/72.57	c (26,0) c Remove_Imp_total : 137011
270.44/72.57	c (26,0) c Remove_Imp_winner : 18957
270.44/72.57	c (26,0) c Blocked_Reuse_0 : 0
270.44/72.57	c (26,0) c Blocked_Reuse_1 : 0
270.44/72.57	c (26,0) c Blocked_Reuse_2 : 0
270.44/72.57	c (26,0) c Blocked_Reuse_3 : 0
270.44/72.57	c (26,0) c Blocked_Reuse_4 : 0
270.44/72.57	c (26,0) c Blocked_Reuse_5 : 0
270.44/72.57	c (26,0) c Blocked_Reuse_6 : 0
270.44/72.57	c (26,0) c Blocked_Reuse_7 : 0
270.44/72.57	c (26,0) c Blocked_Reuse_total : 0
270.44/72.57	c (26,0) c Blocked_Reuse_winner : 0
270.44/72.57	c (26,0) c Unaries_0 : 1
270.44/72.57	c (26,0) c Unaries_1 : 12
270.44/72.57	c (26,0) c Unaries_2 : 1
270.44/72.57	c (26,0) c Unaries_3 : 2
270.44/72.57	c (26,0) c Unaries_4 : 2
270.44/72.57	c (26,0) c Unaries_5 : 1
270.44/72.57	c (26,0) c Unaries_6 : 0
270.44/72.57	c (26,0) c Unaries_7 : 5
270.44/72.57	c (26,0) c Unaries_total : 24
270.44/72.57	c (26,0) c Unaries_winner : 12
270.44/72.57	c (26,0) c Binaries_0 : 54
270.44/72.57	c (26,0) c Binaries_1 : 74
270.44/72.57	c (26,0) c Binaries_2 : 64
270.44/72.57	c (26,0) c Binaries_3 : 60
270.44/72.57	c (26,0) c Binaries_4 : 63
270.44/72.57	c (26,0) c Binaries_5 : 54
270.44/72.57	c (26,0) c Binaries_6 : 45
270.44/72.57	c (26,0) c Binaries_7 : 61
270.44/72.57	c (26,0) c Binaries_total : 475
270.44/72.57	c (26,0) c Binaries_winner : 74
270.44/72.57	c (26,0) c Glues_0 : 659
270.44/72.57	c (26,0) c Glues_1 : 602
270.44/72.57	c (26,0) c Glues_2 : 615
270.44/72.57	c (26,0) c Glues_3 : 611
270.44/72.57	c (26,0) c Glues_4 : 643
270.44/72.57	c (26,0) c Glues_5 : 599
270.44/72.57	c (26,0) c Glues_6 : 640
270.44/72.57	c (26,0) c Glues_7 : 568
270.44/72.57	c (26,0) c Glues_total : 4937
270.44/72.57	c (26,0) c Glues_winner : 602
270.44/72.57	c (26,0) c RunningTime_0 : 25.859168
270.44/72.57	c (26,0) c RunningTime_1 : 25.626639
270.44/72.57	c (26,0) c RunningTime_2 : 25.712751
270.44/72.57	c (26,0) c RunningTime_3 : 26.071193
270.44/72.57	c (26,0) c RunningTime_4 : 25.698087
270.44/72.57	c (26,0) c RunningTime_5 : 25.711680
270.44/72.57	c (26,0) c RunningTime_6 : 25.920224
270.44/72.57	c (26,0) c RunningTime_7 : 25.664851
270.44/72.57	c (26,0) c RunningTime_total : 206.264592
270.44/72.57	c (26,0) c RunningTime_winner : 25.626639
270.44/72.57	c (26,0) c WaitingTime_0 : 0.000254
270.44/72.57	c (26,0) c WaitingTime_1 : 0.000268
270.44/72.57	c (26,0) c WaitingTime_2 : 0.000262
270.44/72.57	c (26,0) c WaitingTime_3 : 0.000212
270.44/72.57	c (26,0) c WaitingTime_4 : 0.000252
270.44/72.57	c (26,0) c WaitingTime_5 : 0.000271
270.44/72.57	c (26,0) c WaitingTime_6 : 0.000251
270.44/72.57	c (26,0) c WaitingTime_7 : 0.000241
270.44/72.57	c (26,0) c WaitingTime_total : 0.002010
270.44/72.57	c (26,0) c WaitingTime_winner : 0.000268
270.44/72.57	c (26,0) c ExchangingTime_0 : 0.018822
270.44/72.57	c (26,0) c ExchangingTime_1 : 0.017992
270.44/72.57	c (26,0) c ExchangingTime_2 : 0.020696
270.44/72.57	c (26,0) c ExchangingTime_3 : 0.019596
270.44/72.57	c (26,0) c ExchangingTime_4 : 0.022593
270.44/72.57	c (26,0) c ExchangingTime_5 : 0.020072
270.44/72.57	c (26,0) c ExchangingTime_6 : 0.019863
270.44/72.57	c (26,0) c ExchangingTime_7 : 0.017340
270.44/72.57	c (26,0) c ExchangingTime_total : 0.156975
270.44/72.57	c (26,0) c ExchangingTime_winner : 0.017992
270.44/72.57	c (26,0) c PeriodProcTime_0 : 0.001969
270.44/72.57	c (26,0) c PeriodProcTime_1 : 0.001549
270.44/72.57	c (26,0) c PeriodProcTime_2 : 0.001599
270.44/72.57	c (26,0) c PeriodProcTime_3 : 0.001922
270.44/72.57	c (26,0) c PeriodProcTime_4 : 0.001592
270.44/72.57	c (26,0) c PeriodProcTime_5 : 0.001599
270.44/72.57	c (26,0) c PeriodProcTime_6 : 0.001613
270.44/72.57	c (26,0) c PeriodProcTime_7 : 0.001634
270.44/72.57	c (26,0) c PeriodProcTime_total : 0.013478
270.44/72.57	c (26,0) c PeriodProcTime_winner : 0.001549
270.44/72.57	c (26,0) c SolvingTime_0 : 25.880213
270.44/72.57	c (26,0) c SolvingTime_1 : 25.646449
270.44/72.57	c (26,0) c SolvingTime_2 : 25.735308
270.44/72.57	c (26,0) c SolvingTime_3 : 26.092923
270.44/72.57	c (26,0) c SolvingTime_4 : 25.722525
270.44/72.57	c (26,0) c SolvingTime_5 : 25.733622
270.44/72.57	c (26,0) c SolvingTime_6 : 25.941950
270.44/72.57	c (26,0) c SolvingTime_7 : 25.684066
270.44/72.57	c (26,0) c SolvingTime_total : 206.437054
270.44/72.57	c (26,0) c SolvingTime_winner : 25.646449
270.44/72.57	c (26,0) c PropagationTime_0 : 24.613047
270.44/72.57	c (26,0) c PropagationTime_1 : 24.351866
270.44/72.57	c (26,0) c PropagationTime_2 : 24.417490
270.44/72.57	c (26,0) c PropagationTime_3 : 24.869018
270.44/72.57	c (26,0) c PropagationTime_4 : 24.420125
270.44/72.57	c (26,0) c PropagationTime_5 : 24.466976
270.44/72.57	c (26,0) c PropagationTime_6 : 24.711531
270.44/72.57	c (26,0) c PropagationTime_7 : 24.390992
270.44/72.57	c (26,0) c PropagationTime_total : 196.241046
270.44/72.57	c (26,0) c PropagationTime_winner : 24.351866
270.44/72.57	c (26,0) c AnalysisTime_0 : 0.605282
270.44/72.57	c (26,0) c AnalysisTime_1 : 0.571634
270.44/72.57	c (26,0) c AnalysisTime_2 : 0.609930
270.44/72.57	c (26,0) c AnalysisTime_3 : 0.570599
270.44/72.57	c (26,0) c AnalysisTime_4 : 0.596865
270.44/72.57	c (26,0) c AnalysisTime_5 : 0.582338
270.44/72.57	c (26,0) c AnalysisTime_6 : 0.581297
270.44/72.57	c (26,0) c AnalysisTime_7 : 0.583933
270.44/72.57	c (26,0) c AnalysisTime_total : 4.701877
270.44/72.57	c (26,0) c AnalysisTime_winner : 0.571634
270.44/72.57	c (26,0) c ReductionTime_0 : 0.064439
270.44/72.57	c (26,0) c ReductionTime_1 : 0.068758
270.44/72.57	c (26,0) c ReductionTime_2 : 0.064950
270.44/72.57	c (26,0) c ReductionTime_3 : 0.063092
270.44/72.57	c (26,0) c ReductionTime_4 : 0.049493
270.44/72.57	c (26,0) c ReductionTime_5 : 0.065339
270.44/72.57	c (26,0) c ReductionTime_6 : 0.044536
270.44/72.57	c (26,0) c ReductionTime_7 : 0.063567
270.44/72.57	c (26,0) c ReductionTime_total : 0.484174
270.44/72.57	c (26,0) c ReductionTime_winner : 0.068758
270.44/72.57	c (26,0) c SimplifyTime_0 : 0.009890
270.44/72.57	c (26,0) c SimplifyTime_1 : 0.063124
270.44/72.57	c (26,0) c SimplifyTime_2 : 0.009754
270.44/72.57	c (26,0) c SimplifyTime_3 : 0.013217
270.44/72.57	c (26,0) c SimplifyTime_4 : 0.025890
270.44/72.57	c (26,0) c SimplifyTime_5 : 0.009427
270.44/72.57	c (26,0) c SimplifyTime_6 : 0.021806
270.44/72.57	c (26,0) c SimplifyTime_7 : 0.042714
270.44/72.57	c (26,0) c SimplifyTime_total : 0.195822
270.44/72.57	c (26,0) c SimplifyTime_winner : 0.063124
270.44/72.57	c (26,0) c UsedRateTime_0 : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_1 : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_2 : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_3 : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_4 : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_5 : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_6 : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_7 : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_total : 0.000000
270.44/72.57	c (26,0) c UsedRateTime_winner : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_0 : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_1 : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_2 : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_3 : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_4 : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_5 : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_6 : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_7 : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_total : 0.000000
270.44/72.57	c (26,0) c OverlapRateTime_winner : 0.000000
270.44/72.57	c (26,0) c
270.44/72.57	c (26,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
270.44/72.57	c (26,0) c
270.44/72.57	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.57	c (26,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
270.44/72.57	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.57	c (26,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
270.44/72.57	c (26,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
270.44/72.57	c (26,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
270.44/72.57	c (26,0) c | Initial random_seed   |  418288695 | 1645334336 |  195225010 | 1994001998 | 1826453092 | 2083249792 | 1320631848 | 1081701512 |
270.44/72.57	c (26,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
270.44/72.57	c (26,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
270.44/72.57	c (26,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
270.44/72.57	c (26,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
270.44/72.57	c (26,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
270.44/72.57	c (26,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
270.44/72.57	c (26,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
270.44/72.57	c (26,0) c | var_decay             |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |
270.44/72.57	c (26,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
270.44/72.57	c (26,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
270.44/72.57	c (26,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
270.44/72.57	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.44/72.57	c (26,0) 
270.44/72.57	c (26,0) s UNSATISFIABLE
270.44/72.57	c (26,0) SatSolver.solve End
270.44/72.57	c (26,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
270.44/72.57	c (26,0) Show results Begin
270.44/72.57	s UNSATISFIABLE
270.44/72.57	c (26,0) Show results End
270.44/72.57	c (26,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
270.44/72.58	c (26,0) 26,26,STOP-AFTER(ALL)
270.44/72.58	c END-Prog: Tue Sep 24 16:40:08 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 (13387 MiB free)
  memory of node 1: 16384 MiB (10840 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=15212, runsolver pid=15209

[startup+0.100089 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 15234
/proc/meminfo: memFree=24713388/32770624 swapFree=66935956/67108860
[pid=15212] ppid=15209 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15212/stat : 15212 (scop.sh) S 15209 15212 15168 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509511685 115843072 349 33554432000 4194304 5098028 140727858675200 140727858672456 139880492679804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33587200 140727858680572 140727858680920 140727858680920 140727858683849 0
/proc/15212/statm: 28282 349 296 221 0 87 0
[pid=15215] ppid=15212 vsize=27314120 memory=106960 CPUtime=0.09 cores=0-7
/proc/15215/stat : 15215 (java) S 15212 15212 15168 0 -1 1077944320 6269 0 0 0 6 3 0 0 20 0 20 0 509511685 27969658880 26740 33554432000 4194304 4196468 140731164594704 140731164577248 140023737458423 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
/proc/15215/statm: 6828530 26740 2776 1 0 6790935 0
[pid=15215/tid=15216] ppid=15212 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/15215/task/15216/stat : 15216 (java) R 15212 15212 15168 0 -1 4202560 4400 0 0 0 6 2 0 0 20 0 20 0 509511686 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023709284608 140023198472248 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15217] ppid=15212 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15215/task/15217/stat : 15217 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023741700368 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15218] ppid=15212 vsize=27314120 memory=140159250155136 CPUtime=0 cores=0-7
/proc/15215/task/15218/stat : 15218 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023525095824 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15219] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15219/stat : 15219 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023524043280 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15220] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15220/stat : 15220 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023522990736 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15221] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15221/stat : 15221 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023521938192 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15222] ppid=15212 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15215/task/15222/stat : 15222 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023520885648 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15223] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15223/stat : 15223 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023519833104 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15224] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15224/stat : 15224 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 26740 33554432000 4194304 4196468 140731164594704 140023518780560 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15225] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15225/stat : 15225 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511690 27969658880 26740 33554432000 4194304 4196468 140731164594704 140022862817264 140023737469570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15226] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15226/stat : 15226 (java) S 15212 15212 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509511691 27969658880 26740 33554432000 4194304 4196468 140731164594704 140021638095776 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15227] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15227/stat : 15227 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511691 27969658880 26740 33554432000 4194304 4196468 140731164594704 140021369660400 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15228] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15228/stat : 15228 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 26740 33554432000 4194304 4196468 140731164594704 140020995152080 140023737477019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15229] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15229/stat : 15229 (java) S 15212 15212 15168 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 26740 33554432000 4194304 4196468 140731164594704 140022861765104 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15230] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15230/stat : 15230 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 26740 33554432000 4194304 4196468 140731164594704 140022860712560 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15231] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15231/stat : 15231 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 26740 33554432000 4194304 4196468 140731164594704 140022859660016 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15232] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15232/stat : 15232 (java) S 15212 15212 15168 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 26740 33554432000 4194304 4196468 140731164594704 140022858607472 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15233] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15233/stat : 15233 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 26740 33554432000 4194304 4196468 140731164594704 140020497246432 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15234] ppid=15212 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15215/task/15234/stat : 15234 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 26740 33554432000 4194304 4196468 140731164594704 140022857554352 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108356 KiB

[startup+0.21039 s]*
/proc/loadavg: 0.00 0.01 0.05 3/211 15234
/proc/meminfo: memFree=24695036/32770624 swapFree=66935956/67108860
[pid=15212] ppid=15209 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15212/stat : 15212 (scop.sh) S 15209 15212 15168 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509511685 115843072 349 33554432000 4194304 5098028 140727858675200 140727858672456 139880492679804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33587200 140727858680572 140727858680920 140727858680920 140727858683849 0
/proc/15212/statm: 28282 349 296 221 0 87 0
[pid=15215] ppid=15212 vsize=27314120 memory=123968 CPUtime=0.23 cores=0-7
/proc/15215/stat : 15215 (java) S 15212 15212 15168 0 -1 1077944320 11321 0 0 0 18 5 0 0 20 0 20 0 509511685 27969658880 30992 33554432000 4194304 4196468 140731164594704 140731164577248 140023737458423 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
/proc/15215/statm: 6828530 30992 2893 1 0 6790935 0
[pid=15215/tid=15216] ppid=15212 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15215/task/15216/stat : 15216 (java) R 15212 15212 15168 0 -1 4202560 9092 0 0 0 15 4 0 0 20 0 20 0 509511686 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023709257808 140023721538910 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15217] ppid=15212 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/15215/task/15217/stat : 15217 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023741700368 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15218] ppid=15212 vsize=27314120 memory=3617429189484168864 CPUtime=0 cores=0-7
/proc/15215/task/15218/stat : 15218 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023525095824 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15219] ppid=15212 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15215/task/15219/stat : 15219 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023524043280 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15220] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15220/stat : 15220 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023522990736 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15221] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15221/stat : 15221 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023521938192 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15222] ppid=15212 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15215/task/15222/stat : 15222 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023520885648 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15223] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15223/stat : 15223 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023519833104 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15224] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15224/stat : 15224 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 30992 33554432000 4194304 4196468 140731164594704 140023518780560 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15225] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15225/stat : 15225 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511690 27969658880 30992 33554432000 4194304 4196468 140731164594704 140022862817264 140023737469570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15226] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15226/stat : 15226 (java) S 15212 15212 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509511691 27969658880 30992 33554432000 4194304 4196468 140731164594704 140021638095776 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15227] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15227/stat : 15227 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511691 27969658880 30992 33554432000 4194304 4196468 140731164594704 140021369660400 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15228] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15228/stat : 15228 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 30992 33554432000 4194304 4196468 140731164594704 140020995152080 140023737477019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15229] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15229/stat : 15229 (java) R 15212 15212 15168 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 30992 33554432000 4194304 4196468 140731164594704 140022861765104 140023737479770 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15230] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15230/stat : 15230 (java) S 15212 15212 15168 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 30992 33554432000 4194304 4196468 140731164594704 140022860712560 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15231] ppid=15212 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15215/task/15231/stat : 15231 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 30992 33554432000 4194304 4196468 140731164594704 140022859660016 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15232] ppid=15212 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/15215/task/15232/stat : 15232 (java) S 15212 15212 15168 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 509511694 27969658880 30992 33554432000 4194304 4196468 140731164594704 140022858607472 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15233] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15233/stat : 15233 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 30992 33554432000 4194304 4196468 140731164594704 140020497246432 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15234] ppid=15212 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15215/task/15234/stat : 15234 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 30992 33554432000 4194304 4196468 140731164594704 140022857554352 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125364 KiB

[startup+0.309472 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 15234
/proc/meminfo: memFree=24692196/32770624 swapFree=66935956/67108860
[pid=15212] ppid=15209 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15212/stat : 15212 (scop.sh) S 15209 15212 15168 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509511685 115843072 349 33554432000 4194304 5098028 140727858675200 140727858672456 139880492679804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33587200 140727858680572 140727858680920 140727858680920 140727858683849 0
/proc/15212/statm: 28282 349 296 221 0 87 0
[pid=15215] ppid=15212 vsize=27314120 memory=127908 CPUtime=0.41 cores=0-7
/proc/15215/stat : 15215 (java) S 15212 15212 15168 0 -1 1077944320 12303 0 0 0 35 6 0 0 20 0 20 0 509511685 27969658880 31977 33554432000 4194304 4196468 140731164594704 140731164577248 140023737458423 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
/proc/15215/statm: 6828530 31977 3033 1 0 6790935 0
[pid=15215/tid=15216] ppid=15212 vsize=27314120 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/15215/task/15216/stat : 15216 (java) R 15212 15212 15168 0 -1 4202560 9864 0 0 0 24 4 0 0 20 0 20 0 509511686 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023709241440 140023721538910 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15217] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15217/stat : 15217 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023741700368 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15218] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15218/stat : 15218 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023525095824 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15219] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15219/stat : 15219 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023524043280 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15220] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15220/stat : 15220 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023522990736 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15221] ppid=15212 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/15215/task/15221/stat : 15221 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023521938192 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15222] ppid=15212 vsize=27314120 memory=140159144260527 CPUtime=0 cores=0-7
/proc/15215/task/15222/stat : 15222 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023520885648 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15223] ppid=15212 vsize=27314120 memory=140159144262832 CPUtime=0 cores=0-7
/proc/15215/task/15223/stat : 15223 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023519833104 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15224] ppid=15212 vsize=27314120 memory=140159144265136 CPUtime=0 cores=0-7
/proc/15215/task/15224/stat : 15224 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27969658880 31977 33554432000 4194304 4196468 140731164594704 140023518780560 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15225] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15225/stat : 15225 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511690 27969658880 31977 33554432000 4194304 4196468 140731164594704 140022862817264 140023737469570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15226] ppid=15212 vsize=27314120 memory=280318288537232 CPUtime=0 cores=0-7
/proc/15215/task/15226/stat : 15226 (java) S 15212 15212 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509511691 27969658880 31977 33554432000 4194304 4196468 140731164594704 140021638095776 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15227] ppid=15212 vsize=27314120 memory=280318288544144 CPUtime=0 cores=0-7
/proc/15215/task/15227/stat : 15227 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511691 27969658880 31977 33554432000 4194304 4196468 140731164594704 140021369660400 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15228] ppid=15212 vsize=27314120 memory=280318288485424 CPUtime=0 cores=0-7
/proc/15215/task/15228/stat : 15228 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 31977 33554432000 4194304 4196468 140731164594704 140020995152080 140023737477019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15229] ppid=15212 vsize=27314120 memory=280318288557968 CPUtime=0.01 cores=0-7
/proc/15215/task/15229/stat : 15229 (java) S 15212 15212 15168 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 509511694 27969658880 31977 33554432000 4194304 4196468 140731164594704 140022861765104 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15230] ppid=15212 vsize=27314120 memory=280318288564880 CPUtime=0 cores=0-7
/proc/15215/task/15230/stat : 15230 (java) S 15212 15212 15168 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 31977 33554432000 4194304 4196468 140731164594704 140022860712560 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15231] ppid=15212 vsize=27314120 memory=280318288562576 CPUtime=0.02 cores=0-7
/proc/15215/task/15231/stat : 15231 (java) S 15212 15212 15168 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 509511694 27969658880 31977 33554432000 4194304 4196468 140731164594704 140022859660016 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15232] ppid=15212 vsize=27314120 memory=280318288578736 CPUtime=0.07 cores=0-7
/proc/15215/task/15232/stat : 15232 (java) S 15212 15212 15168 0 -1 1077944384 500 0 0 0 7 0 0 0 20 0 20 0 509511694 27969658880 31977 33554432000 4194304 4196468 140731164594704 140022858607472 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15233] ppid=15212 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15233/stat : 15233 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 31977 33554432000 4194304 4196468 140731164594704 140020497246432 140023737468629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15234] ppid=15212 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15215/task/15234/stat : 15234 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511694 27969658880 31977 33554432000 4194304 4196468 140731164594704 140022857554352 140023737469570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129304 KiB

[startup+0.700856 s]
/proc/loadavg: 0.00 0.01 0.05 3/211 15234
/proc/meminfo: memFree=24671520/32770624 swapFree=66935956/67108860
[pid=15212] ppid=15209 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15212/stat : 15212 (scop.sh) S 15209 15212 15168 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509511685 115843072 349 33554432000 4194304 5098028 140727858675200 140727858672456 139880492679804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33587200 140727858680572 140727858680920 140727858680920 140727858683849 0
/proc/15212/statm: 28282 349 296 221 0 87 0
[pid=15215] ppid=15212 vsize=27320392 memory=165484 CPUtime=0.98 cores=0-7
/proc/15215/stat : 15215 (java) S 15212 15212 15168 0 -1 1077944320 19933 0 0 0 90 8 0 0 20 0 20 0 509511685 27976081408 41371 33554432000 4194304 4196468 140731164594704 140731164577248 140023737458423 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
/proc/15215/statm: 6830098 41371 3181 1 0 6791447 0
[pid=15215/tid=15216] ppid=15212 vsize=27320392 memory=280318288936624 CPUtime=0.66 cores=0-7
/proc/15215/task/15216/stat : 15216 (java) R 15212 15212 15168 0 -1 4202560 16897 0 0 0 60 6 0 0 20 0 20 0 509511686 27976081408 41371 33554432000 4194304 4196468 140731164594704 140023709294480 140023737480349 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15217] ppid=15212 vsize=27320392 memory=140159144469360 CPUtime=0 cores=0-7
/proc/15215/task/15217/stat : 15217 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509511689 27976081408 41371 33554432000 4194304 4196468 140731164594704 140023741700368 140023737468629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15218] ppid=15212 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15215/task/15218/stat : 15218 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27976081408 41371 33554432000 4194304 4196468 140731164594704 140023525095824 140023737468629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0
[pid=15215/tid=15219] ppid=15212 vsize=27320392 memory=1128 CPUtime=0 cores=0-7
/proc/15215/task/15219/stat : 15219 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509511689 27976081408 41371 33554432000 4194304 4196468 140731164594704 140023524043280 140023737468629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33484800 140731164598982 140731164599430 140731164599430 140731164602319 0

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

[pid=15238/tid=15249] ppid=15212 vsize=8414124 memory=7686721470367897496 CPUtime=0 cores=0-7
/proc/15238/task/15249/stat : 15249 (java) S 15212 15212 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509516251 8616062976 29599 33554432000 4194304 4196468 140721340491168 139889433633568 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15250] ppid=15212 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15238/task/15250/stat : 15250 (java) S 15212 15212 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509516251 8616062976 29599 33554432000 4194304 4196468 140721340491168 139889299412080 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15251] ppid=15212 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/15238/task/15251/stat : 15251 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888924907600 139890983937947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15252] ppid=15212 vsize=8414124 memory=7667489872619779131 CPUtime=0.05 cores=0-7
/proc/15238/task/15252/stat : 15252 (java) S 15212 15212 15168 0 -1 1077944384 339 0 0 0 5 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890344843888 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15253] ppid=15212 vsize=8414124 memory=131099581773625 CPUtime=0.06 cores=0-7
/proc/15238/task/15253/stat : 15253 (java) S 15212 15212 15168 0 -1 1077944384 663 0 0 0 6 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890343791088 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15254] ppid=15212 vsize=8414124 memory=6945507666079274341 CPUtime=0.06 cores=0-7
/proc/15238/task/15254/stat : 15254 (java) S 15212 15212 15168 0 -1 1077944384 160 0 0 0 6 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890342738800 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15255] ppid=15212 vsize=8414124 memory=6945507666079274341 CPUtime=0.19 cores=0-7
/proc/15238/task/15255/stat : 15255 (java) S 15212 15212 15168 0 -1 1077944384 525 0 0 0 19 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890341686000 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15256] ppid=15212 vsize=8414124 memory=7686721470367897496 CPUtime=0 cores=0-7
/proc/15238/task/15256/stat : 15256 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509516254 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888427002208 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15257] ppid=15212 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/15238/task/15257/stat : 15257 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509516254 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890340632880 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15259] ppid=15212 vsize=8414124 memory=5 CPUtime=0 cores=0-7
/proc/15238/task/15259/stat : 15259 (java) S 15212 15212 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890332599616 139890983943961 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15261] ppid=15212 vsize=8414124 memory=6 CPUtime=0 cores=0-7
/proc/15238/task/15261/stat : 15261 (java) S 15212 15212 15168 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139887755902864 139890983941277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15262] ppid=15212 vsize=8414124 memory=6 CPUtime=0 cores=0-7
/proc/15238/task/15262/stat : 15262 (java) S 15212 15212 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888024338192 139890983941277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15263] ppid=15212 vsize=8414124 memory=19 CPUtime=0 cores=0-7
/proc/15238/task/15263/stat : 15263 (java) S 15212 15212 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509516322 8616062976 29599 33554432000 4194304 4196468 140721340491168 139887487475504 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
Current children cumulated CPU time: 268.43 s
Current children cumulated vsize: 9190588 KiB
Current children cumulated memory: 310672 KiB

[startup+72.4013 s]
/proc/loadavg: 3.53 0.91 0.34 9/225 15279
/proc/meminfo: memFree=24507012/32770624 swapFree=66935956/67108860
[pid=15212] ppid=15209 vsize=113128 memory=1476 CPUtime=63.66 cores=0-7
/proc/15212/stat : 15212 (scop.sh) S 15209 15212 15168 0 -1 4202496 583 64888 0 0 0 0 6100 266 20 0 1 0 509511685 115843072 369 33554432000 4194304 5098028 140727858675200 140727858671944 139880492679804 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33587200 140727858680572 140727858680920 140727858680920 140727858683849 0
/proc/15212/statm: 28282 369 311 221 0 87 0
[pid=15238] ppid=15212 vsize=8414124 memory=118396 CPUtime=1.18 cores=0-7
/proc/15238/stat : 15238 (java) S 15212 15212 15168 0 -1 1077944320 20037 0 0 0 111 7 0 0 20 0 24 0 509516247 8616062976 29599 33554432000 4194304 4196468 140721340491168 140721340473712 139890983919351 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
/proc/15238/statm: 2103531 29599 3206 1 0 2064875 0
[pid=15258] ppid=15238 vsize=663336 memory=190948 CPUtime=205.5 cores=0-7
/proc/15258/stat : 15258 (manyglucose-4.1) S 15238 15212 15168 0 -1 1077944320 152552 0 0 0 20468 82 0 0 20 0 3 0 509516320 679256064 47737 33554432000 4194304 4454172 140736843374480 140736843372864 139968928210679 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 17522688 140736843379533 140736843379740 140736843379740 140736843382710 0
/proc/15258/statm: 165834 47737 416 64 0 161502 0
[pid=15258/tid=15267] ppid=15238 vsize=663336 memory=190680 CPUtime=25.28 cores=0-7
/proc/15258/task/15267/stat : 15267 (manyglucose-4.1) R 15238 15212 15168 0 -1 4202560 16525 0 0 0 2518 10 0 0 20 0 3 0 509516331 679256064 47737 33554432000 4194304 4454172 140736843374480 139968879848296 4349826 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 17522688 140736843379533 140736843379740 140736843379740 140736843382710 0
[pid=15258/tid=15270] ppid=15238 vsize=663336 memory=288230583166042426 CPUtime=25.89 cores=0-7
/proc/15258/task/15270/stat : 15270 (manyglucose-4.1) R 15238 15212 15168 0 -1 4202560 18781 0 0 0 2578 11 0 0 20 0 3 0 509516331 679256064 47737 33554432000 4194304 4454172 140736843374480 139968854670440 4329051 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 17522688 140736843379533 140736843379740 140736843379740 140736843382710 0
[pid=15238/tid=15239] ppid=15212 vsize=8414124 memory=13848568834296438 CPUtime=0.75 cores=0-7
/proc/15238/task/15239/stat : 15239 (java) S 15212 15212 15168 0 -1 1077944384 16932 0 0 0 70 5 0 0 20 0 24 0 509516248 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890955759520 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15240] ppid=15212 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/15238/task/15240/stat : 15240 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890988161424 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15241] ppid=15212 vsize=8414124 memory=1636 CPUtime=0 cores=0-7
/proc/15238/task/15241/stat : 15241 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890788329744 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15242] ppid=15212 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/15238/task/15242/stat : 15242 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890787277456 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15243] ppid=15212 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/15238/task/15243/stat : 15243 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890786224656 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15244] ppid=15212 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/15238/task/15244/stat : 15244 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890785172368 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15245] ppid=15212 vsize=8414124 memory=2520 CPUtime=0 cores=0-7
/proc/15238/task/15245/stat : 15245 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890784119568 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15246] ppid=15212 vsize=8414124 memory=3512 CPUtime=0 cores=0-7
/proc/15238/task/15246/stat : 15246 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890783067280 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15247] ppid=15212 vsize=8414124 memory=64764 CPUtime=0 cores=0-7
/proc/15238/task/15247/stat : 15247 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890782014480 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15248] ppid=15212 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/15238/task/15248/stat : 15248 (java) S 15212 15212 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509516250 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890345896048 139890983930498 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15249] ppid=15212 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/15238/task/15249/stat : 15249 (java) S 15212 15212 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509516251 8616062976 29599 33554432000 4194304 4196468 140721340491168 139889433633568 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15250] ppid=15212 vsize=8414124 memory=1368 CPUtime=0 cores=0-7
/proc/15238/task/15250/stat : 15250 (java) S 15212 15212 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509516251 8616062976 29599 33554432000 4194304 4196468 140721340491168 139889299412080 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15251] ppid=15212 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/15238/task/15251/stat : 15251 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888924907600 139890983937947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15252] ppid=15212 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/15238/task/15252/stat : 15252 (java) S 15212 15212 15168 0 -1 1077944384 339 0 0 0 5 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890344843888 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15253] ppid=15212 vsize=8414124 memory=118396 CPUtime=0.06 cores=0-7
/proc/15238/task/15253/stat : 15253 (java) S 15212 15212 15168 0 -1 1077944384 663 0 0 0 6 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890343791088 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15254] ppid=15212 vsize=8414124 memory=169628 CPUtime=0.06 cores=0-7
/proc/15238/task/15254/stat : 15254 (java) S 15212 15212 15168 0 -1 1077944384 160 0 0 0 6 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890342738800 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15255] ppid=15212 vsize=8414124 memory=288230583166042426 CPUtime=0.19 cores=0-7
/proc/15238/task/15255/stat : 15255 (java) S 15212 15212 15168 0 -1 1077944384 525 0 0 0 19 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890341686000 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15256] ppid=15212 vsize=8414124 memory=13848568834296438 CPUtime=0 cores=0-7
/proc/15238/task/15256/stat : 15256 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509516254 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888427002208 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15257] ppid=15212 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/15238/task/15257/stat : 15257 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509516254 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890340632880 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15259] ppid=15212 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15238/task/15259/stat : 15259 (java) S 15212 15212 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890332599616 139890983943961 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15261] ppid=15212 vsize=8414124 memory=53 CPUtime=0 cores=0-7
/proc/15238/task/15261/stat : 15261 (java) S 15212 15212 15168 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139887755902864 139890983941277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15262] ppid=15212 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15238/task/15262/stat : 15262 (java) S 15212 15212 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888024338192 139890983941277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15263] ppid=15212 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15238/task/15263/stat : 15263 (java) S 15212 15212 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509516322 8616062976 29599 33554432000 4194304 4196468 140721340491168 139887487475504 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
Current children cumulated CPU time: 270.34 s
Current children cumulated vsize: 9190588 KiB
Current children cumulated memory: 310820 KiB

[startup+72.5013 s]
/proc/loadavg: 3.53 0.91 0.34 9/225 15279
/proc/meminfo: memFree=24507012/32770624 swapFree=66935956/67108860
[pid=15212] ppid=15209 vsize=113128 memory=1476 CPUtime=63.66 cores=0-7
/proc/15212/stat : 15212 (scop.sh) S 15209 15212 15168 0 -1 4202496 583 64888 0 0 0 0 6100 266 20 0 1 0 509511685 115843072 369 33554432000 4194304 5098028 140727858675200 140727858671944 139880492679804 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33587200 140727858680572 140727858680920 140727858680920 140727858683849 0
/proc/15212/statm: 28282 369 311 221 0 87 0
[pid=15238] ppid=15212 vsize=8414124 memory=118396 CPUtime=1.18 cores=0-7
/proc/15238/stat : 15238 (java) S 15212 15212 15168 0 -1 1077944320 20037 0 0 0 111 7 0 0 20 0 24 0 509516247 8616062976 29599 33554432000 4194304 4196468 140721340491168 140721340473712 139890983919351 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
/proc/15238/statm: 2103531 29599 3206 1 0 2064875 0
[pid=15258] ppid=15238 vsize=663336 memory=190948 CPUtime=205.6 cores=0-7
/proc/15258/stat : 15258 (manyglucose-4.1) S 15238 15212 15168 0 -1 1077944320 152559 0 0 0 20478 82 0 0 20 0 2 0 509516320 679256064 47737 33554432000 4194304 4454172 140736843374480 140736843372864 139968928210679 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 17522688 140736843379533 140736843379740 140736843379740 140736843382710 0
/proc/15258/statm: 165834 47737 416 64 0 161502 0
[pid=15258/tid=15267] ppid=15238 vsize=663336 memory=190948 CPUtime=25.38 cores=0-7
/proc/15258/task/15267/stat : 15267 (manyglucose-4.1) R 15238 15212 15168 0 -1 4202560 16532 0 0 0 2528 10 0 0 20 0 2 0 509516331 679256064 47737 33554432000 4194304 4454172 140736843374480 139968879848296 4351235 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 17522688 140736843379533 140736843379740 140736843379740 140736843382710 0
[pid=15238/tid=15239] ppid=15212 vsize=8414124 memory=118396 CPUtime=0.75 cores=0-7
/proc/15238/task/15239/stat : 15239 (java) S 15212 15212 15168 0 -1 1077944384 16932 0 0 0 70 5 0 0 20 0 24 0 509516248 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890955759520 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15240] ppid=15212 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15238/task/15240/stat : 15240 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890988161424 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15241] ppid=15212 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15238/task/15241/stat : 15241 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890788329744 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15242] ppid=15212 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15238/task/15242/stat : 15242 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890787277456 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15243] ppid=15212 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15238/task/15243/stat : 15243 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890786224656 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15244] ppid=15212 vsize=8414124 memory=118396 CPUtime=0 cores=0-7
/proc/15238/task/15244/stat : 15244 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890785172368 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15245] ppid=15212 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/15238/task/15245/stat : 15245 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890784119568 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15246] ppid=15212 vsize=8414124 memory=596 CPUtime=0 cores=0-7
/proc/15238/task/15246/stat : 15246 (java) S 15212 15212 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890783067280 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15247] ppid=15212 vsize=8414124 memory=154088 CPUtime=0 cores=0-7
/proc/15238/task/15247/stat : 15247 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516249 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890782014480 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15248] ppid=15212 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15238/task/15248/stat : 15248 (java) S 15212 15212 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509516250 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890345896048 139890983930498 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15249] ppid=15212 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/15238/task/15249/stat : 15249 (java) S 15212 15212 15168 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509516251 8616062976 29599 33554432000 4194304 4196468 140721340491168 139889433633568 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15250] ppid=15212 vsize=8414124 memory=2520 CPUtime=0 cores=0-7
/proc/15238/task/15250/stat : 15250 (java) S 15212 15212 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509516251 8616062976 29599 33554432000 4194304 4196468 140721340491168 139889299412080 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15251] ppid=15212 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15238/task/15251/stat : 15251 (java) S 15212 15212 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888924907600 139890983937947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15252] ppid=15212 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/15238/task/15252/stat : 15252 (java) S 15212 15212 15168 0 -1 1077944384 339 0 0 0 5 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890344843888 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15253] ppid=15212 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/15238/task/15253/stat : 15253 (java) S 15212 15212 15168 0 -1 1077944384 663 0 0 0 6 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890343791088 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15254] ppid=15212 vsize=8414124 memory=7521697925687235691 CPUtime=0.06 cores=0-7
/proc/15238/task/15254/stat : 15254 (java) S 15212 15212 15168 0 -1 1077944384 160 0 0 0 6 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890342738800 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15255] ppid=15212 vsize=8414124 memory=280318289483320 CPUtime=0.19 cores=0-7
/proc/15238/task/15255/stat : 15255 (java) S 15212 15212 15168 0 -1 1077944384 525 0 0 0 19 0 0 0 20 0 24 0 509516253 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890341686000 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15256] ppid=15212 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/15238/task/15256/stat : 15256 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509516254 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888427002208 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15257] ppid=15212 vsize=8414124 memory=1412 CPUtime=0.01 cores=0-7
/proc/15238/task/15257/stat : 15257 (java) S 15212 15212 15168 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509516254 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890340632880 139890983930498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15259] ppid=15212 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/15238/task/15259/stat : 15259 (java) S 15212 15212 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139890332599616 139890983943961 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15261] ppid=15212 vsize=8414124 memory=118396 CPUtime=0 cores=0-7
/proc/15238/task/15261/stat : 15261 (java) S 15212 15212 15168 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139887755902864 139890983941277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15262] ppid=15212 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15238/task/15262/stat : 15262 (java) S 15212 15212 15168 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509516320 8616062976 29599 33554432000 4194304 4196468 140721340491168 139888024338192 139890983941277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
[pid=15238/tid=15263] ppid=15212 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15238/task/15263/stat : 15263 (java) S 15212 15212 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509516322 8616062976 29599 33554432000 4194304 4196468 140721340491168 139887487475504 139890983929557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140721340498911 140721340499078 140721340499078 140721340501967 0
Current children cumulated CPU time: 270.44 s
Current children cumulated vsize: 9190588 KiB
Current children cumulated memory: 310820 KiB

Child status: 0
Real time (s): 72.5904
CPU time (s): 270.609
CPU user time (s): 267.017
CPU system time (s): 3.59244
CPU usage (%): 372.79
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 6465172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.017
system time used= 3.59244
maximum resident set size= 6465272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50305
involuntary context switches= 2587


# summary of solver processes directly reported to runsolver:
#   pid: 15212
#   total CPU time (s): 270.609
#   total CPU user time (s): 267.017
#   total CPU system time (s): 3.59244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.565416 second user time and 0.855569 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-24 16:38:55
IDJOB=4405482
IDBENCH=125590
IDSOLVER=2868
FILE ID=node147/4405482-1569335979
RUNJOBID= node147-1569335935-15195
PBS_JOBID= 21705050
Free space on /var/tmp= 13476 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-9.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405482-1569335979/watcher-4405482-1569335979 -o /var/tmp/evaluation-result-4405482-1569335979/solver-4405482-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569335935-15195 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405482-1569335979.xml

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

MD5SUM BENCH= 2d7f03e466d78847960dc3f747db29ef
RANDOM SEED=2101077985

node147.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.52
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.52
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.52
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.52
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:        24809064 kB
MemAvailable:   31779504 kB
Buffers:          144852 kB
Cached:          6879312 kB
SwapCached:        68656 kB
Active:          3473380 kB
Inactive:        3622092 kB
Active(anon):       2908 kB
Inactive(anon):   126076 kB
Active(file):    3470472 kB
Inactive(file):  3496016 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66935956 kB
Dirty:             53556 kB
Writeback:             0 kB
AnonPages:        112308 kB
Mapped:            57420 kB
Shmem:             49096 kB
Slab:             460960 kB
SReclaimable:     432412 kB
SUnreclaim:        28548 kB
KernelStack:        3344 kB
PageTables:         5292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13456 MiB
End job on node147 at 2019-09-24 16:40:08