Trace number 4405436

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 93.3223 14.4595

General information on the benchmark

NameRandom/Random-D-t020/
rand-2-40-11-414-020-79.xml
MD5SUMc0f256b6b5f799b1206df7220afe38a7
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 benchmark31.3194
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints414
Number of domains1
Minimum domain size11
Maximum domain size11
Distribution of domain sizes[{"size":11,"count":40}]
Minimum variable degree14
Maximum variable degree26
Distribution of variable degrees[{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":5},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":5},{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":414}]
Number of extensional constraints414
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":414}]
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-9610-serial-file.bin HOME/instance-4405436-1569238768.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Mon Sep 23 13:38:48 CEST 2019
0.66/0.57	c PID: 9613
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.08/1.07	c (0,0) Parsing End
2.08/1.07	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 414 ctr, max domain size 11
2.08/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.08/1.07	c (0,0) Constraint Name Generate Begin
2.08/1.08	c (0,0) Ctr:HOME/instance-4405436-1569238768.xml,ExtensionConflict:Var
2.08/1.08	c (0,0) Constraint Name Generate End
2.08/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.08/1.08	c (0,0) CSP to CSPinCNF Begin
3.79/1.56	c (1,1) translated 42 (10%) constraints
4.19/1.66	c (1,1) translated 83 (20%) constraints
4.60/1.75	c (1,1) translated 125 (30%) constraints
5.01/1.83	c (1,1) translated 166 (40%) constraints
5.43/1.91	c (1,1) translated 207 (50%) constraints
5.43/1.98	c (1,1) translated 249 (60%) constraints
5.86/2.04	c (1,1) translated 290 (70%) constraints
5.86/2.10	c (1,1) translated 332 (80%) constraints
6.27/2.17	c (1,1) translated 373 (90%) constraints
6.65/2.23	c (1,1) translated 414 (100%) constraints
6.65/2.23	c (1,1) ===========================================
6.65/2.25	c (1,1) Hybrid: #OE=40, #LE=0
6.65/2.25	c (1,1) Hybrid
6.65/2.25	c (1,1) ===========================================
6.65/2.29	c (1,1) translated 818 (10%) constraints
7.08/2.32	c (1,1) translated 1635 (20%) constraints
7.08/2.35	c (1,1) translated 2453 (30%) constraints
7.08/2.38	c (1,1) translated 3270 (40%) constraints
7.48/2.41	c (1,1) translated 4087 (50%) constraints
7.48/2.43	c (1,1) translated 4905 (60%) constraints
7.48/2.45	c (1,1) translated 5722 (70%) constraints
7.48/2.48	c (1,1) translated 6540 (80%) constraints
7.84/2.50	c (1,1) translated 7357 (90%) constraints
7.84/2.52	c (1,1) translated 8174 (100%) constraints
7.84/2.52	c (1,1) CSP to CSPinCNF End
7.84/2.52	c (1,1) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.84/2.52	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.84/2.52	c (1,1) CSPinCNF Propagation Begin
8.18/2.63	c (2,2) 0 values, 1682 unsatisfiable literals, and 0 valid clauses are removed
8.18/2.63	c (2,2) CSPinCNF Propagation End
8.18/2.63	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
8.18/2.63	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.18/2.64	c (2,2) Hybrid: #OE=40, #LE=0
8.18/2.64	c (2,2) Simplify CSPinCNF Begin
8.18/2.68	c (2,2) Simplify CSPinCNF End
8.18/2.68	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
8.18/2.68	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.18/2.68	c (2,2) Calculate Precise Domain Begin
8.18/2.68	c (2,2) 0 values are removed by re-calculation
8.18/2.68	c (2,2) Calculate Precise Domain End
8.18/2.68	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
8.18/2.68	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.18/2.68	c (2,2) CSPinCNF to SatSolver Begin
8.51/2.78	c (2,2) 818 (10 %) CSP clauses are encoded (0 SAT variables, 1177 SAT clauses)
8.88/2.82	c (2,2) 1635 (20 %) CSP clauses are encoded (0 SAT variables, 1994 SAT clauses)
8.88/2.85	c (2,2) 2453 (30 %) CSP clauses are encoded (0 SAT variables, 2812 SAT clauses)
8.88/2.89	c (2,2) 3270 (40 %) CSP clauses are encoded (0 SAT variables, 3629 SAT clauses)
9.28/2.91	c (2,2) 4087 (50 %) CSP clauses are encoded (0 SAT variables, 4446 SAT clauses)
9.28/2.94	c (2,2) 4905 (60 %) CSP clauses are encoded (0 SAT variables, 5264 SAT clauses)
9.28/2.96	c (2,2) 5722 (70 %) CSP clauses are encoded (0 SAT variables, 6081 SAT clauses)
9.28/2.98	c (2,2) 6540 (80 %) CSP clauses are encoded (0 SAT variables, 6899 SAT clauses)
9.28/3.01	c (2,2) 7357 (90 %) CSP clauses are encoded (0 SAT variables, 7716 SAT clauses)
9.72/3.03	c (2,2) 8174 (100 %) CSP clauses are encoded (0 SAT variables, 8533 SAT clauses)
9.72/3.03	c (2,2) CSPinCNF to SatSolver End
9.72/3.03	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.72/3.03	c (2,2) 400 bool, 8534 clause
9.72/3.03	c (2,2) Export Begin
9.98/3.11	c (2,2) Export to HOME/scop-9610-serial-file.bin
9.98/3.11	c (2,2) Export End
9.98/3.12	c (2,2) Export File Size: 0.01 MB
9.98/3.12	c (2,2) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS)
9.98/3.12	c END-Prog: Mon Sep 23 13:38:50 CEST 2019
9.98/3.14	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9610-serial-file.bin
10.04/3.60	c (0,0) Read Serial File Begin
10.04/3.60	c (0,0) HOME/scop-9610-serial-file.bin
10.04/3.81	c (0,0) Read Serial File End
10.04/3.82	
10.04/3.82	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
10.04/3.82	(Solving Process)
10.04/3.82	
10.04/3.84	c BEGIN-Prog: Mon Sep 23 13:38:51 CEST 2019
10.04/3.84	c PID: 9633
10.04/3.84	c IP: 172.20.3.146
10.04/3.84	c HOST: node146.alineos.net
10.04/3.85	c (0,0) SatSolver.solve Begin
10.04/3.85	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405436-1569238768.xml-scop-9613.cnf
10.04/3.87	c (0,0) c
10.04/3.87	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)
10.04/3.87	c (0,0) c
10.04/3.87	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.04/3.87	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
10.04/3.87	c (0,0) c ========================================[ Problem Statistics ]===========================================
10.04/3.87	c (0,0) c |                                                                                                       |
10.04/3.87	c (0,0) c |  Number of variables:           400                                                                   |
10.04/3.87	c (0,0) c |  Number of clauses:            8534                                                                   |
10.04/3.87	c (0,0) c |  Parse time:                   0.00 s                                                                 |
10.04/3.87	c (0,0) c |                                                                                                       |
10.04/3.88	c (0,0) c |  Simplification time:          0.01 s                                                                 |
10.04/3.88	c (0,0) c |                                                                                                       |
10.04/3.88	c (0,0) c |  Generating clones                                                                                    |
10.04/3.88	c (0,0) c |  all clones generated. Memory =    27.29Mb.                                                           |
10.04/3.88	c (0,0) c ========================================================================================================|
10.04/3.88	c (0,0) c
10.04/3.88	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
10.04/3.88	c (0,0) c
10.04/3.88	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.04/3.88	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
10.04/3.88	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.04/3.88	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
10.04/3.88	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
10.04/3.88	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
10.04/3.88	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
10.04/3.88	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
10.04/3.88	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
10.04/3.88	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
10.04/3.88	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
10.04/3.88	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
10.04/3.88	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
10.04/3.88	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
10.04/3.88	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
10.04/3.88	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
10.04/3.88	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
10.04/3.88	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
10.04/3.88	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.43	c (10,0) c
93.18/14.43	c (10,0) c real time : 10.5552 s
93.18/14.43	c (10,0) c cpu time  : 81.7955 s
93.18/14.43	c (10,0) c
93.18/14.43	c (10,0) c
93.18/14.43	c (10,0) c
93.18/14.43	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
93.18/14.43	c (10,0) c
93.18/14.43	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.43	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.18/14.43	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.43	c (10,0) c | Conflicts     |         1473697 |     187165 |     181791 |     184326 |     191916 |     177876 |     179295 |     183847 |     187481 |
93.18/14.43	c (10,0) c | Decisions     |         1796074 |     228849 |     220714 |     224895 |     234088 |     216507 |     216973 |     224482 |     229566 |
93.18/14.43	c (10,0) c | Propagations  |       102352592 |   13033747 |   12683701 |   12726197 |   13336255 |   12316752 |   12439095 |   12805086 |   13011759 |
93.18/14.43	c (10,0) c | ReduceDBs     |              88 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |
93.18/14.43	c (10,0) c | SimpDBs       |              40 |          5 |          5 |          4 |          6 |          5 |          5 |          4 |          6 |
93.18/14.43	c (10,0) c | Restarts      |            1010 |        134 |         96 |        149 |        132 |         58 |        120 |        170 |        151 |
93.18/14.43	c (10,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.18/14.43	c (10,0) c | PropBinClauses|       102009001 |   12956640 |   12595062 |   12788562 |   13295096 |   12269998 |   12328075 |   12814338 |   12961230 |
93.18/14.43	c (10,0) c | PropPreBlocker|      5132961228 |  641539174 |  634832898 |  636651102 |  640378262 |  648962911 |  653341817 |  638240316 |  639014748 |
93.18/14.43	c (10,0) c | PropNotBlocker|       978896420 |  122168795 |  123968907 |  122237874 |  124582769 |  122737691 |  120235650 |  120631212 |  122333522 |
93.18/14.43	c (10,0) c | LitFullScans  |      7706818054 |  960057337 |  960066929 |  960062651 |  963247234 |  970971576 |  972157441 |  960192311 |  960062575 |
93.18/14.43	c (10,0) c | LitScanFracts |          661193 |      45950 |      60569 |      57766 |      48740 |      57773 |     147169 |     187411 |      55815 |
93.18/14.43	c (10,0) c | DecisionLevel0|            1046 |        137 |         98 |        150 |        146 |         65 |        125 |        170 |        155 |
93.18/14.43	c (10,0) c | Periods       |            1283 |        160 |        160 |        160 |        160 |        161 |        162 |        160 |        160 |
93.18/14.43	c (10,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
93.18/14.43	c (10,0) c | Avg_Trail     |                 |        239 |        239 |        240 |        240 |        239 |        236 |        239 |        239 |
93.18/14.43	c (10,0) c | Avg_DL        |                 |         11 |         11 |         12 |         11 |         12 |         11 |         11 |         11 |
93.18/14.43	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.18/14.43	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.18/14.43	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.43	c (10,0) c | Exported      |          175498 |      21710 |      22337 |      22366 |      22254 |      21908 |      22329 |      20115 |      22479 |
93.18/14.43	c (10,0) c | Imported      |         1126912 |     140826 |     139336 |     137928 |     141647 |     142981 |     142920 |     143388 |     137886 |
93.18/14.43	c (10,0) c | Good          |            1321 |        166 |        163 |        139 |        146 |        185 |        186 |        189 |        147 |
93.18/14.43	c (10,0) c | Purge         |         1125591 |     140660 |     139173 |     137789 |     141501 |     142796 |     142734 |     143199 |     137739 |
93.18/14.43	c (10,0) c | Promoted      |           95835 |      11956 |      12294 |      12008 |      11727 |      11905 |      11639 |      11830 |      12476 |
93.18/14.43	c (10,0) c | Remove_Imp    |          638443 |      82978 |      81479 |      82983 |      84379 |      78537 |      75940 |      74126 |      78021 |
93.18/14.43	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.18/14.43	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.43	c (10,0) c | Unaries       |                 |          3 |          2 |          1 |         14 |          7 |          5 |          0 |          4 |
93.18/14.43	c (10,0) c | Binaries      |                 |         37 |         42 |         36 |        103 |         53 |         54 |         13 |         48 |
93.18/14.43	c (10,0) c | Glues         |                 |        394 |        434 |        366 |        450 |        429 |        402 |        377 |        368 |
93.18/14.43	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.43	c (10,0) c | Orig_Seen     |           106 % |       8530 |       8526 |       8528 |       8526 |       8529 |       8528 |       8528 |       8530 |
93.18/14.43	c (10,0) c | Diff Orig seen|                 |          4 | -        0 |          2 |      X     |          3 |          2 |          2 |          4 |
93.18/14.43	c (10,0) c | Hamming       |            27 % |         92 |        117 |        124 |      X     |         99 |        118 |        115 |        110 |
93.18/14.43	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.43	c (10,0) c | RunningTime   |                 |   10.4 100%|   10.2 100%|   10.4 100%|   10.1 100%|   10.0 100%|   10.1 100%|   10.1 100%|   10.5 100%|
93.18/14.43	c (10,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%|
93.18/14.43	c (10,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%|
93.18/14.43	c (10,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%|
93.18/14.43	c (10,0) c | SolvingTime   |                 |   10.5     |   10.2     |   10.4     |   10.2     |   10.1     |   10.1     |   10.2     |   10.5     |
93.18/14.43	c (10,0) c | PropagationTim|                 |    9.1  87%|    8.9  87%|    9.0  86%|    8.8  87%|    8.7  87%|    8.9  87%|    8.9  87%|    9.2  87%|
93.18/14.43	c (10,0) c | AnalysisTime  |                 |    1.0   9%|    0.9   9%|    1.0  10%|    0.9   9%|    0.9   9%|    0.9   8%|    0.9   9%|    1.0   9%|
93.18/14.43	c (10,0) c | ReductionTime |                 |    0.2   1%|    0.2   2%|    0.1   1%|    0.1   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|
93.18/14.43	c (10,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
93.18/14.43	c (10,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%|
93.18/14.43	c (10,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%|
93.18/14.43	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.43	c (10,0) c
93.18/14.43	c (10,0) c
93.18/14.43	c (10,0) c Threads : 8
93.18/14.43	c (10,0) c Winner : 3
93.18/14.43	c (10,0) c Conflicts_0 : 187165
93.18/14.43	c (10,0) c Conflicts_1 : 181791
93.18/14.43	c (10,0) c Conflicts_2 : 184326
93.18/14.43	c (10,0) c Conflicts_3 : 191916
93.18/14.43	c (10,0) c Conflicts_4 : 177876
93.18/14.43	c (10,0) c Conflicts_5 : 179295
93.18/14.43	c (10,0) c Conflicts_6 : 183847
93.18/14.43	c (10,0) c Conflicts_7 : 187481
93.18/14.43	c (10,0) c Conflicts_total : 1473697
93.18/14.43	c (10,0) c Conflicts_winner : 191916
93.18/14.43	c (10,0) c Decisions_0 : 228849
93.18/14.43	c (10,0) c Decisions_1 : 220714
93.18/14.43	c (10,0) c Decisions_2 : 224895
93.18/14.43	c (10,0) c Decisions_3 : 234088
93.18/14.43	c (10,0) c Decisions_4 : 216507
93.18/14.43	c (10,0) c Decisions_5 : 216973
93.18/14.43	c (10,0) c Decisions_6 : 224482
93.18/14.43	c (10,0) c Decisions_7 : 229566
93.18/14.43	c (10,0) c Decisions_total : 1796074
93.18/14.43	c (10,0) c Decisions_winner : 234088
93.18/14.43	c (10,0) c Propagations_0 : 13033747
93.18/14.43	c (10,0) c Propagations_1 : 12683701
93.18/14.43	c (10,0) c Propagations_2 : 12726197
93.18/14.43	c (10,0) c Propagations_3 : 13336255
93.18/14.43	c (10,0) c Propagations_4 : 12316752
93.18/14.43	c (10,0) c Propagations_5 : 12439095
93.18/14.43	c (10,0) c Propagations_6 : 12805086
93.18/14.43	c (10,0) c Propagations_7 : 13011759
93.18/14.43	c (10,0) c Propagations_total : 102352592
93.18/14.43	c (10,0) c Propagations_winner : 13336255
93.18/14.43	c (10,0) c ReduceDBs_0 : 11
93.18/14.43	c (10,0) c ReduceDBs_1 : 11
93.18/14.43	c (10,0) c ReduceDBs_2 : 11
93.18/14.43	c (10,0) c ReduceDBs_3 : 11
93.18/14.43	c (10,0) c ReduceDBs_4 : 11
93.18/14.43	c (10,0) c ReduceDBs_5 : 11
93.18/14.43	c (10,0) c ReduceDBs_6 : 11
93.18/14.43	c (10,0) c ReduceDBs_7 : 11
93.18/14.43	c (10,0) c ReduceDBs_total : 88
93.18/14.43	c (10,0) c ReduceDBs_winner : 11
93.18/14.43	c (10,0) c SimpDBs_0 : 5
93.18/14.43	c (10,0) c SimpDBs_1 : 5
93.18/14.43	c (10,0) c SimpDBs_2 : 4
93.18/14.43	c (10,0) c SimpDBs_3 : 6
93.18/14.43	c (10,0) c SimpDBs_4 : 5
93.18/14.43	c (10,0) c SimpDBs_5 : 5
93.18/14.43	c (10,0) c SimpDBs_6 : 4
93.18/14.43	c (10,0) c SimpDBs_7 : 6
93.18/14.43	c (10,0) c SimpDBs_total : 40
93.18/14.43	c (10,0) c SimpDBs_winner : 6
93.18/14.43	c (10,0) c Restarts_0 : 134
93.18/14.43	c (10,0) c Restarts_1 : 96
93.18/14.43	c (10,0) c Restarts_2 : 149
93.18/14.43	c (10,0) c Restarts_3 : 132
93.18/14.43	c (10,0) c Restarts_4 : 58
93.18/14.43	c (10,0) c Restarts_5 : 120
93.18/14.43	c (10,0) c Restarts_6 : 170
93.18/14.43	c (10,0) c Restarts_7 : 151
93.18/14.43	c (10,0) c Restarts_total : 1010
93.18/14.43	c (10,0) c Restarts_winner : 132
93.18/14.43	c (10,0) c ForcedImports_0 : 0
93.18/14.43	c (10,0) c ForcedImports_1 : 0
93.18/14.43	c (10,0) c ForcedImports_2 : 0
93.18/14.43	c (10,0) c ForcedImports_3 : 0
93.18/14.43	c (10,0) c ForcedImports_4 : 0
93.18/14.43	c (10,0) c ForcedImports_5 : 0
93.18/14.43	c (10,0) c ForcedImports_6 : 0
93.18/14.43	c (10,0) c ForcedImports_7 : 0
93.18/14.43	c (10,0) c ForcedImports_total : 0
93.18/14.43	c (10,0) c ForcedImports_winner : 0
93.18/14.43	c (10,0) c PropsBinClauses_0 : 12956640
93.18/14.43	c (10,0) c PropsBinClauses_1 : 12595062
93.18/14.43	c (10,0) c PropsBinClauses_2 : 12788562
93.18/14.43	c (10,0) c PropsBinClauses_3 : 13295096
93.18/14.43	c (10,0) c PropsBinClauses_4 : 12269998
93.18/14.43	c (10,0) c PropsBinClauses_5 : 12328075
93.18/14.43	c (10,0) c PropsBinClauses_6 : 12814338
93.18/14.43	c (10,0) c PropsBinClauses_7 : 12961230
93.18/14.43	c (10,0) c PropsBinClauses_total : 102009001
93.18/14.43	c (10,0) c PropsBinClauses_winner : 13295096
93.18/14.43	c (10,0) c PropsPreBlocker_0 : 641539174
93.18/14.43	c (10,0) c PropsPreBlocker_1 : 634832898
93.18/14.43	c (10,0) c PropsPreBlocker_2 : 636651102
93.18/14.43	c (10,0) c PropsPreBlocker_3 : 640378262
93.18/14.43	c (10,0) c PropsPreBlocker_4 : 648962911
93.18/14.43	c (10,0) c PropsPreBlocker_5 : 653341817
93.18/14.43	c (10,0) c PropsPreBlocker_6 : 638240316
93.18/14.43	c (10,0) c PropsPreBlocker_7 : 639014748
93.18/14.43	c (10,0) c PropsPreBlocker_total : 5132961228
93.18/14.43	c (10,0) c PropsPreBlocker_winner : 640378262
93.18/14.43	c (10,0) c PropsNotBlocker_0 : 122168795
93.18/14.43	c (10,0) c PropsNotBlocker_1 : 123968907
93.18/14.43	c (10,0) c PropsNotBlocker_2 : 122237874
93.18/14.43	c (10,0) c PropsNotBlocker_3 : 124582769
93.18/14.43	c (10,0) c PropsNotBlocker_4 : 122737691
93.18/14.43	c (10,0) c PropsNotBlocker_5 : 120235650
93.18/14.43	c (10,0) c PropsNotBlocker_6 : 120631212
93.18/14.43	c (10,0) c PropsNotBlocker_7 : 122333522
93.18/14.43	c (10,0) c PropsNotBlocker_total : 978896420
93.18/14.43	c (10,0) c PropsNotBlocker_winner : 124582769
93.18/14.43	c (10,0) c PropsLitFullScans_0 : 960057337
93.18/14.43	c (10,0) c PropsLitFullScans_1 : 960066929
93.18/14.43	c (10,0) c PropsLitFullScans_2 : 960062651
93.18/14.43	c (10,0) c PropsLitFullScans_3 : 963247234
93.18/14.43	c (10,0) c PropsLitFullScans_4 : 970971576
93.18/14.43	c (10,0) c PropsLitFullScans_5 : 972157441
93.18/14.43	c (10,0) c PropsLitFullScans_6 : 960192311
93.18/14.43	c (10,0) c PropsLitFullScans_7 : 960062575
93.18/14.43	c (10,0) c PropsLitFullScans_total : 7706818054
93.18/14.43	c (10,0) c PropsLitFullScans_winner : 963247234
93.18/14.43	c (10,0) c LitScanFractions_0 : 45950
93.18/14.43	c (10,0) c LitScanFractions_1 : 60569
93.18/14.43	c (10,0) c LitScanFractions_2 : 57766
93.18/14.43	c (10,0) c LitScanFractions_3 : 48740
93.18/14.43	c (10,0) c LitScanFractions_4 : 57773
93.18/14.43	c (10,0) c LitScanFractions_5 : 147169
93.18/14.43	c (10,0) c LitScanFractions_6 : 187411
93.18/14.43	c (10,0) c LitScanFractions_7 : 55815
93.18/14.43	c (10,0) c LitScanFractions_total : 661193
93.18/14.43	c (10,0) c LitScanFractions_winner : 48740
93.18/14.43	c (10,0) c DecisionLevel0_0 : 137
93.18/14.43	c (10,0) c DecisionLevel0_1 : 98
93.18/14.43	c (10,0) c DecisionLevel0_2 : 150
93.18/14.43	c (10,0) c DecisionLevel0_3 : 146
93.18/14.43	c (10,0) c DecisionLevel0_4 : 65
93.18/14.43	c (10,0) c DecisionLevel0_5 : 125
93.18/14.43	c (10,0) c DecisionLevel0_6 : 170
93.18/14.43	c (10,0) c DecisionLevel0_7 : 155
93.18/14.43	c (10,0) c DecisionLevel0_total : 1046
93.18/14.43	c (10,0) c DecisionLevel0_winner : 146
93.18/14.43	c (10,0) c Periods_0 : 160
93.18/14.43	c (10,0) c Periods_1 : 160
93.18/14.43	c (10,0) c Periods_2 : 160
93.18/14.43	c (10,0) c Periods_3 : 160
93.18/14.43	c (10,0) c Periods_4 : 161
93.18/14.43	c (10,0) c Periods_5 : 162
93.18/14.43	c (10,0) c Periods_6 : 160
93.18/14.43	c (10,0) c Periods_7 : 160
93.18/14.43	c (10,0) c Periods_total : 1283
93.18/14.43	c (10,0) c Periods_winner : 160
93.18/14.43	c (10,0) c Margin_0 : 20
93.18/14.43	c (10,0) c Margin_1 : 20
93.18/14.43	c (10,0) c Margin_2 : 20
93.18/14.43	c (10,0) c Margin_3 : 20
93.18/14.43	c (10,0) c Margin_4 : 20
93.18/14.44	c (10,0) c Margin_5 : 20
93.18/14.44	c (10,0) c Margin_6 : 20
93.18/14.44	c (10,0) c Margin_7 : 20
93.18/14.44	c (10,0) c Margin_total : 160
93.18/14.44	c (10,0) c Margin_winner : 20
93.18/14.44	c (10,0) c Exported_0 : 21710
93.18/14.44	c (10,0) c Exported_1 : 22337
93.18/14.44	c (10,0) c Exported_2 : 22366
93.18/14.44	c (10,0) c Exported_3 : 22254
93.18/14.44	c (10,0) c Exported_4 : 21908
93.18/14.44	c (10,0) c Exported_5 : 22329
93.18/14.44	c (10,0) c Exported_6 : 20115
93.18/14.44	c (10,0) c Exported_7 : 22479
93.18/14.44	c (10,0) c Exported_total : 175498
93.18/14.44	c (10,0) c Exported_winner : 22254
93.18/14.44	c (10,0) c Imported_0 : 140826
93.18/14.44	c (10,0) c Imported_1 : 139336
93.18/14.44	c (10,0) c Imported_2 : 137928
93.18/14.44	c (10,0) c Imported_3 : 141647
93.18/14.44	c (10,0) c Imported_4 : 142981
93.18/14.44	c (10,0) c Imported_5 : 142920
93.18/14.44	c (10,0) c Imported_6 : 143388
93.18/14.44	c (10,0) c Imported_7 : 137886
93.18/14.44	c (10,0) c Imported_total : 1126912
93.18/14.44	c (10,0) c Imported_winner : 141647
93.18/14.44	c (10,0) c Good_0 : 166
93.18/14.44	c (10,0) c Good_1 : 163
93.18/14.44	c (10,0) c Good_2 : 139
93.18/14.44	c (10,0) c Good_3 : 146
93.18/14.44	c (10,0) c Good_4 : 185
93.18/14.44	c (10,0) c Good_5 : 186
93.18/14.44	c (10,0) c Good_6 : 189
93.18/14.44	c (10,0) c Good_7 : 147
93.18/14.44	c (10,0) c Good_total : 1321
93.18/14.44	c (10,0) c Good_winner : 146
93.18/14.44	c (10,0) c Purge_0 : 140660
93.18/14.44	c (10,0) c Purge_1 : 139173
93.18/14.44	c (10,0) c Purge_2 : 137789
93.18/14.44	c (10,0) c Purge_3 : 141501
93.18/14.44	c (10,0) c Purge_4 : 142796
93.18/14.44	c (10,0) c Purge_5 : 142734
93.18/14.44	c (10,0) c Purge_6 : 143199
93.18/14.44	c (10,0) c Purge_7 : 137739
93.18/14.44	c (10,0) c Purge_total : 1125591
93.18/14.44	c (10,0) c Purge_winner : 141501
93.18/14.44	c (10,0) c Promoted_0 : 11956
93.18/14.44	c (10,0) c Promoted_1 : 12294
93.18/14.44	c (10,0) c Promoted_2 : 12008
93.18/14.44	c (10,0) c Promoted_3 : 11727
93.18/14.44	c (10,0) c Promoted_4 : 11905
93.18/14.44	c (10,0) c Promoted_5 : 11639
93.18/14.44	c (10,0) c Promoted_6 : 11830
93.18/14.44	c (10,0) c Promoted_7 : 12476
93.18/14.44	c (10,0) c Promoted_total : 95835
93.18/14.44	c (10,0) c Promoted_winner : 11727
93.18/14.44	c (10,0) c Remove_Imp_0 : 82978
93.18/14.44	c (10,0) c Remove_Imp_1 : 81479
93.18/14.44	c (10,0) c Remove_Imp_2 : 82983
93.18/14.44	c (10,0) c Remove_Imp_3 : 84379
93.18/14.44	c (10,0) c Remove_Imp_4 : 78537
93.18/14.44	c (10,0) c Remove_Imp_5 : 75940
93.18/14.44	c (10,0) c Remove_Imp_6 : 74126
93.18/14.44	c (10,0) c Remove_Imp_7 : 78021
93.18/14.44	c (10,0) c Remove_Imp_total : 638443
93.18/14.44	c (10,0) c Remove_Imp_winner : 84379
93.18/14.44	c (10,0) c Blocked_Reuse_0 : 0
93.18/14.44	c (10,0) c Blocked_Reuse_1 : 0
93.18/14.44	c (10,0) c Blocked_Reuse_2 : 0
93.18/14.44	c (10,0) c Blocked_Reuse_3 : 0
93.18/14.44	c (10,0) c Blocked_Reuse_4 : 0
93.18/14.44	c (10,0) c Blocked_Reuse_5 : 0
93.18/14.44	c (10,0) c Blocked_Reuse_6 : 0
93.18/14.44	c (10,0) c Blocked_Reuse_7 : 0
93.18/14.44	c (10,0) c Blocked_Reuse_total : 0
93.18/14.44	c (10,0) c Blocked_Reuse_winner : 0
93.18/14.44	c (10,0) c Unaries_0 : 3
93.18/14.44	c (10,0) c Unaries_1 : 2
93.18/14.44	c (10,0) c Unaries_2 : 1
93.18/14.44	c (10,0) c Unaries_3 : 14
93.18/14.44	c (10,0) c Unaries_4 : 7
93.18/14.44	c (10,0) c Unaries_5 : 5
93.18/14.44	c (10,0) c Unaries_6 : 0
93.18/14.44	c (10,0) c Unaries_7 : 4
93.18/14.44	c (10,0) c Unaries_total : 36
93.18/14.44	c (10,0) c Unaries_winner : 14
93.18/14.44	c (10,0) c Binaries_0 : 37
93.18/14.44	c (10,0) c Binaries_1 : 42
93.18/14.44	c (10,0) c Binaries_2 : 36
93.18/14.44	c (10,0) c Binaries_3 : 103
93.18/14.44	c (10,0) c Binaries_4 : 53
93.18/14.44	c (10,0) c Binaries_5 : 54
93.18/14.44	c (10,0) c Binaries_6 : 13
93.18/14.44	c (10,0) c Binaries_7 : 48
93.18/14.44	c (10,0) c Binaries_total : 386
93.18/14.44	c (10,0) c Binaries_winner : 103
93.18/14.44	c (10,0) c Glues_0 : 394
93.18/14.44	c (10,0) c Glues_1 : 434
93.18/14.44	c (10,0) c Glues_2 : 366
93.18/14.44	c (10,0) c Glues_3 : 450
93.18/14.44	c (10,0) c Glues_4 : 429
93.18/14.44	c (10,0) c Glues_5 : 402
93.18/14.44	c (10,0) c Glues_6 : 377
93.18/14.44	c (10,0) c Glues_7 : 368
93.18/14.44	c (10,0) c Glues_total : 3220
93.18/14.44	c (10,0) c Glues_winner : 450
93.18/14.44	c (10,0) c RunningTime_0 : 10.423465
93.18/14.44	c (10,0) c RunningTime_1 : 10.174908
93.18/14.44	c (10,0) c RunningTime_2 : 10.372372
93.18/14.44	c (10,0) c RunningTime_3 : 10.118208
93.18/14.44	c (10,0) c RunningTime_4 : 10.049937
93.18/14.44	c (10,0) c RunningTime_5 : 10.099552
93.18/14.44	c (10,0) c RunningTime_6 : 10.125866
93.18/14.44	c (10,0) c RunningTime_7 : 10.484671
93.18/14.44	c (10,0) c RunningTime_total : 81.848981
93.18/14.44	c (10,0) c RunningTime_winner : 10.118208
93.18/14.44	c (10,0) c WaitingTime_0 : 0.000182
93.18/14.44	c (10,0) c WaitingTime_1 : 0.000183
93.18/14.44	c (10,0) c WaitingTime_2 : 0.000180
93.18/14.44	c (10,0) c WaitingTime_3 : 0.000197
93.18/14.44	c (10,0) c WaitingTime_4 : 0.000174
93.18/14.44	c (10,0) c WaitingTime_5 : 0.000207
93.18/14.44	c (10,0) c WaitingTime_6 : 0.000181
93.18/14.44	c (10,0) c WaitingTime_7 : 0.000142
93.18/14.44	c (10,0) c WaitingTime_total : 0.001446
93.18/14.44	c (10,0) c WaitingTime_winner : 0.000197
93.18/14.44	c (10,0) c ExchangingTime_0 : 0.042556
93.18/14.44	c (10,0) c ExchangingTime_1 : 0.040136
93.18/14.44	c (10,0) c ExchangingTime_2 : 0.040119
93.18/14.44	c (10,0) c ExchangingTime_3 : 0.040997
93.18/14.44	c (10,0) c ExchangingTime_4 : 0.038413
93.18/14.44	c (10,0) c ExchangingTime_5 : 0.038407
93.18/14.44	c (10,0) c ExchangingTime_6 : 0.043405
93.18/14.44	c (10,0) c ExchangingTime_7 : 0.038837
93.18/14.44	c (10,0) c ExchangingTime_total : 0.322870
93.18/14.44	c (10,0) c ExchangingTime_winner : 0.040997
93.18/14.44	c (10,0) c PeriodProcTime_0 : 0.001271
93.18/14.44	c (10,0) c PeriodProcTime_1 : 0.001307
93.18/14.44	c (10,0) c PeriodProcTime_2 : 0.001259
93.18/14.44	c (10,0) c PeriodProcTime_3 : 0.000925
93.18/14.44	c (10,0) c PeriodProcTime_4 : 0.000976
93.18/14.44	c (10,0) c PeriodProcTime_5 : 0.000936
93.18/14.44	c (10,0) c PeriodProcTime_6 : 0.000916
93.18/14.44	c (10,0) c PeriodProcTime_7 : 0.001193
93.18/14.44	c (10,0) c PeriodProcTime_total : 0.008784
93.18/14.44	c (10,0) c PeriodProcTime_winner : 0.000925
93.18/14.44	c (10,0) c SolvingTime_0 : 10.467475
93.18/14.44	c (10,0) c SolvingTime_1 : 10.216534
93.18/14.44	c (10,0) c SolvingTime_2 : 10.413931
93.18/14.44	c (10,0) c SolvingTime_3 : 10.160327
93.18/14.44	c (10,0) c SolvingTime_4 : 10.089500
93.18/14.44	c (10,0) c SolvingTime_5 : 10.139102
93.18/14.44	c (10,0) c SolvingTime_6 : 10.170369
93.18/14.44	c (10,0) c SolvingTime_7 : 10.524843
93.18/14.44	c (10,0) c SolvingTime_total : 82.182081
93.18/14.44	c (10,0) c SolvingTime_winner : 10.160327
93.18/14.44	c (10,0) c PropagationTime_0 : 9.056301
93.18/14.44	c (10,0) c PropagationTime_1 : 8.892914
93.18/14.44	c (10,0) c PropagationTime_2 : 8.988903
93.18/14.44	c (10,0) c PropagationTime_3 : 8.812089
93.18/14.44	c (10,0) c PropagationTime_4 : 8.743276
93.18/14.44	c (10,0) c PropagationTime_5 : 8.857312
93.18/14.44	c (10,0) c PropagationTime_6 : 8.859426
93.18/14.44	c (10,0) c PropagationTime_7 : 9.152541
93.18/14.44	c (10,0) c PropagationTime_total : 71.362761
93.18/14.44	c (10,0) c PropagationTime_winner : 8.812089
93.18/14.44	c (10,0) c AnalysisTime_0 : 0.967222
93.18/14.44	c (10,0) c AnalysisTime_1 : 0.902539
93.18/14.44	c (10,0) c AnalysisTime_2 : 1.039523
93.18/14.44	c (10,0) c AnalysisTime_3 : 0.922688
93.18/14.44	c (10,0) c AnalysisTime_4 : 0.939588
93.18/14.44	c (10,0) c AnalysisTime_5 : 0.861281
93.18/14.44	c (10,0) c AnalysisTime_6 : 0.898622
93.18/14.44	c (10,0) c AnalysisTime_7 : 0.954405
93.18/14.44	c (10,0) c AnalysisTime_total : 7.485868
93.18/14.44	c (10,0) c AnalysisTime_winner : 0.922688
93.18/14.44	c (10,0) c ReductionTime_0 : 0.150097
93.18/14.44	c (10,0) c ReductionTime_1 : 0.162500
93.18/14.44	c (10,0) c ReductionTime_2 : 0.143983
93.18/14.44	c (10,0) c ReductionTime_3 : 0.149584
93.18/14.44	c (10,0) c ReductionTime_4 : 0.167391
93.18/14.44	c (10,0) c ReductionTime_5 : 0.174688
93.18/14.44	c (10,0) c ReductionTime_6 : 0.172925
93.18/14.44	c (10,0) c ReductionTime_7 : 0.161129
93.18/14.44	c (10,0) c ReductionTime_total : 1.282298
93.18/14.44	c (10,0) c ReductionTime_winner : 0.149584
93.18/14.44	c (10,0) c SimplifyTime_0 : 0.037433
93.18/14.44	c (10,0) c SimplifyTime_1 : 0.039302
93.18/14.44	c (10,0) c SimplifyTime_2 : 0.021363
93.18/14.44	c (10,0) c SimplifyTime_3 : 0.046854
93.18/14.44	c (10,0) c SimplifyTime_4 : 0.026241
93.18/14.44	c (10,0) c SimplifyTime_5 : 0.025985
93.18/14.44	c (10,0) c SimplifyTime_6 : 0.015818
93.18/14.44	c (10,0) c SimplifyTime_7 : 0.029674
93.18/14.44	c (10,0) c SimplifyTime_total : 0.242670
93.18/14.44	c (10,0) c SimplifyTime_winner : 0.046854
93.18/14.44	c (10,0) c UsedRateTime_0 : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_1 : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_2 : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_3 : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_4 : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_5 : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_6 : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_7 : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_total : 0.000000
93.18/14.44	c (10,0) c UsedRateTime_winner : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_0 : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_1 : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_2 : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_3 : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_4 : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_5 : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_6 : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_7 : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_total : 0.000000
93.18/14.44	c (10,0) c OverlapRateTime_winner : 0.000000
93.18/14.44	c (10,0) c
93.18/14.44	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
93.18/14.44	c (10,0) c
93.18/14.44	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.44	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.18/14.44	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.44	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
93.18/14.44	c (10,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
93.18/14.44	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
93.18/14.44	c (10,0) c | Initial random_seed   | 1779802622 | 2030873478 | 1184119267 |   82175062 |  713279280 |  574313173 | 1525002993 | 1914710285 |
93.18/14.44	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
93.18/14.44	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
93.18/14.44	c (10,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
93.18/14.44	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
93.18/14.44	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
93.18/14.44	c (10,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
93.18/14.44	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
93.18/14.44	c (10,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
93.18/14.44	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
93.18/14.44	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
93.18/14.44	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
93.18/14.44	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.18/14.44	c (10,0) 
93.18/14.44	c (10,0) s UNSATISFIABLE
93.18/14.44	c (10,0) SatSolver.solve End
93.18/14.45	c (10,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.18/14.45	c (10,0) Show results Begin
93.18/14.45	s UNSATISFIABLE
93.18/14.45	c (10,0) Show results End
93.18/14.45	c (10,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.18/14.45	c (10,0) 10,10,STOP-AFTER(ALL)
93.18/14.45	c END-Prog: Mon Sep 23 13:39:01 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 (11873 MiB free)
  memory of node 1: 16384 MiB (9786 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405436-1569238768/watcher-4405436-1569238768 -o /var/tmp/evaluation-result-4405436-1569238768/solver-4405436-1569238768 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569238586-9255 --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-4405436-1569238768.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9610, runsolver pid=9607
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 6.09 2.05 0.77 2/211 9632
/proc/meminfo: memFree=22084628/32770624 swapFree=67002260/67108860
[pid=9610] ppid=9607 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9610/stat : 9610 (scop.sh) S 9607 9610 9228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499790763 115843072 350 33554432000 4194304 5098028 140733194727312 140733194724568 140295409488508 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33280000 140733194736380 140733194736728 140733194736728 140733194739657 0
/proc/9610/statm: 28282 350 297 221 0 87 0
[pid=9613] ppid=9610 vsize=27314120 memory=107068 CPUtime=0.1 cores=0-7
/proc/9613/stat : 9613 (java) S 9610 9610 9228 0 -1 1077944320 6872 0 0 0 8 2 0 0 20 0 20 0 499790763 27969658880 26767 33554432000 4194304 4196468 140735366602576 140735366585120 139675338260215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
/proc/9613/statm: 6828530 26767 2771 1 0 6790935 0
[pid=9613/tid=9614] ppid=9610 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/9613/task/9614/stat : 9614 (java) R 9610 9610 9228 0 -1 4202560 4984 0 0 0 7 2 0 0 20 0 20 0 499790764 27969658880 26767 33554432000 4194304 4196468 140735366602576 139675310086544 139675322340702 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9615] ppid=9610 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9613/task/9615/stat : 9615 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 26767 33554432000 4194304 4196468 140735366602576 139675342502416 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9616] ppid=9610 vsize=27314120 memory=140629706159744 CPUtime=0 cores=0-7
/proc/9613/task/9616/stat : 9616 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 26767 33554432000 4194304 4196468 140735366602576 139675156658832 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9617] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9617/stat : 9617 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 26767 33554432000 4194304 4196468 140735366602576 139674759362832 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9618] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9618/stat : 9618 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 26767 33554432000 4194304 4196468 140735366602576 139674758310288 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9619] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9619/stat : 9619 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 26767 33554432000 4194304 4196468 140735366602576 139674757258256 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9620] ppid=9610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9613/task/9620/stat : 9620 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 26767 33554432000 4194304 4196468 140735366602576 139674756205712 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9621] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9621/stat : 9621 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 26767 33554432000 4194304 4196468 140735366602576 139674755152656 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9622] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9622/stat : 9622 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 26767 33554432000 4194304 4196468 140735366602576 139674754100112 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9623] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9623/stat : 9623 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 26767 33554432000 4194304 4196468 140735366602576 139673389930736 139675338271362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9624] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9624/stat : 9624 (java) S 9610 9610 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 26767 33554432000 4194304 4196468 140735366602576 139673275983008 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9625] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9625/stat : 9625 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 26767 33554432000 4194304 4196468 140735366602576 139673007547120 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9626] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9626/stat : 9626 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 26767 33554432000 4194304 4196468 140735366602576 139672633038800 139675338278811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9627] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9627/stat : 9627 (java) S 9610 9610 9228 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 26767 33554432000 4194304 4196468 140735366602576 139673388878672 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9628] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9628/stat : 9628 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 26767 33554432000 4194304 4196468 140735366602576 139673387826032 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9629] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9629/stat : 9629 (java) R 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 26767 33554432000 4194304 4196468 140735366602576 139673386772976 139675338271362 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9630] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9630/stat : 9630 (java) R 9610 9610 9228 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 26767 33554432000 4194304 4196468 140735366602576 139673385720432 139675338272150 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9631] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9631/stat : 9631 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 26767 33554432000 4194304 4196468 140735366602576 139672135133664 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9632] ppid=9610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9613/task/9632/stat : 9632 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790772 27969658880 26767 33554432000 4194304 4196468 140735366602576 139673384667824 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108468 KiB

[startup+0.20968 s]*
/proc/loadavg: 6.09 2.05 0.77 3/211 9632
/proc/meminfo: memFree=22066632/32770624 swapFree=67002260/67108860
[pid=9610] ppid=9607 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9610/stat : 9610 (scop.sh) S 9607 9610 9228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499790763 115843072 350 33554432000 4194304 5098028 140733194727312 140733194724568 140295409488508 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33280000 140733194736380 140733194736728 140733194736728 140733194739657 0
/proc/9610/statm: 28282 350 297 221 0 87 0
[pid=9613] ppid=9610 vsize=27314120 memory=124284 CPUtime=0.24 cores=0-7
/proc/9613/stat : 9613 (java) S 9610 9610 9228 0 -1 1077944320 11782 0 0 0 21 3 0 0 20 0 20 0 499790763 27969658880 31071 33554432000 4194304 4196468 140735366602576 140735366585120 139675338260215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
/proc/9613/statm: 6828530 31071 2930 1 0 6790935 0
[pid=9613/tid=9614] ppid=9610 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9613/task/9614/stat : 9614 (java) R 9610 9610 9228 0 -1 4202560 9488 0 0 0 17 3 0 0 20 0 20 0 499790764 27969658880 31071 33554432000 4194304 4196468 140735366602576 139675310091296 139675318535602 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9615] ppid=9610 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/9613/task/9615/stat : 9615 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31071 33554432000 4194304 4196468 140735366602576 139675342502416 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9616] ppid=9610 vsize=27314120 memory=140629706172615 CPUtime=0 cores=0-7
/proc/9613/task/9616/stat : 9616 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31071 33554432000 4194304 4196468 140735366602576 139675156658832 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9617] ppid=9610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9613/task/9617/stat : 9617 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31071 33554432000 4194304 4196468 140735366602576 139674759362832 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9618] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9618/stat : 9618 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31071 33554432000 4194304 4196468 140735366602576 139674758310288 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9619] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9619/stat : 9619 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31071 33554432000 4194304 4196468 140735366602576 139674757258256 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9620] ppid=9610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9613/task/9620/stat : 9620 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31071 33554432000 4194304 4196468 140735366602576 139674756205712 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9621] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9621/stat : 9621 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31071 33554432000 4194304 4196468 140735366602576 139674755152656 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9622] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9622/stat : 9622 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31071 33554432000 4194304 4196468 140735366602576 139674754100112 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9623] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9623/stat : 9623 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 31071 33554432000 4194304 4196468 140735366602576 139673389930736 139675338271362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9624] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9624/stat : 9624 (java) S 9610 9610 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 31071 33554432000 4194304 4196468 140735366602576 139673275983008 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9625] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9625/stat : 9625 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 31071 33554432000 4194304 4196468 140735366602576 139673007547120 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9626] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9626/stat : 9626 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 31071 33554432000 4194304 4196468 140735366602576 139672633038800 139675338278811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9627] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9627/stat : 9627 (java) S 9610 9610 9228 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 31071 33554432000 4194304 4196468 140735366602576 139673388878576 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9628] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9628/stat : 9628 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 31071 33554432000 4194304 4196468 140735366602576 139673387826032 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9629] ppid=9610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9613/task/9629/stat : 9629 (java) S 9610 9610 9228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 31071 33554432000 4194304 4196468 140735366602576 139673386772976 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9630] ppid=9610 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9613/task/9630/stat : 9630 (java) S 9610 9610 9228 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 20 0 499790771 27969658880 31071 33554432000 4194304 4196468 140735366602576 139673385720432 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9631] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9631/stat : 9631 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 31071 33554432000 4194304 4196468 140735366602576 139672135133664 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9632] ppid=9610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9613/task/9632/stat : 9632 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790772 27969658880 31071 33554432000 4194304 4196468 140735366602576 139673384667824 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125684 KiB

[startup+0.309372 s]*
/proc/loadavg: 6.09 2.05 0.77 2/211 9632
/proc/meminfo: memFree=22063096/32770624 swapFree=67002260/67108860
[pid=9610] ppid=9607 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9610/stat : 9610 (scop.sh) S 9607 9610 9228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499790763 115843072 350 33554432000 4194304 5098028 140733194727312 140733194724568 140295409488508 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33280000 140733194736380 140733194736728 140733194736728 140733194739657 0
/proc/9610/statm: 28282 350 297 221 0 87 0
[pid=9613] ppid=9610 vsize=27314120 memory=127828 CPUtime=0.42 cores=0-7
/proc/9613/stat : 9613 (java) S 9610 9610 9228 0 -1 1077944320 12844 0 0 0 38 4 0 0 20 0 20 0 499790763 27969658880 31957 33554432000 4194304 4196468 140735366602576 140735366585120 139675338260215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
/proc/9613/statm: 6828530 31957 3024 1 0 6790935 0
[pid=9613/tid=9614] ppid=9610 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9613/task/9614/stat : 9614 (java) R 9610 9610 9228 0 -1 4202560 10366 0 0 0 26 3 0 0 20 0 20 0 499790764 27969658880 31957 33554432000 4194304 4196468 140735366602576 139675310072560 139675319823771 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9615] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9615/stat : 9615 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31957 33554432000 4194304 4196468 140735366602576 139675342502416 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9616] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9616/stat : 9616 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31957 33554432000 4194304 4196468 140735366602576 139675156658832 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9617] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9617/stat : 9617 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31957 33554432000 4194304 4196468 140735366602576 139674759362832 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9618] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9618/stat : 9618 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31957 33554432000 4194304 4196468 140735366602576 139674758310288 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9619] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9619/stat : 9619 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31957 33554432000 4194304 4196468 140735366602576 139674757258256 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9620] ppid=9610 vsize=27314120 memory=140629577394863 CPUtime=0 cores=0-7
/proc/9613/task/9620/stat : 9620 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31957 33554432000 4194304 4196468 140735366602576 139674756205712 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9621] ppid=9610 vsize=27314120 memory=140629577397168 CPUtime=0 cores=0-7
/proc/9613/task/9621/stat : 9621 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31957 33554432000 4194304 4196468 140735366602576 139674755152656 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9622] ppid=9610 vsize=27314120 memory=140629577399472 CPUtime=0 cores=0-7
/proc/9613/task/9622/stat : 9622 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27969658880 31957 33554432000 4194304 4196468 140735366602576 139674754100112 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9623] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9623/stat : 9623 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 31957 33554432000 4194304 4196468 140735366602576 139673389930736 139675338271362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9624] ppid=9610 vsize=27314120 memory=281259154812816 CPUtime=0 cores=0-7
/proc/9613/task/9624/stat : 9624 (java) S 9610 9610 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 31957 33554432000 4194304 4196468 140735366602576 139673275983008 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9625] ppid=9610 vsize=27314120 memory=281259154810512 CPUtime=0 cores=0-7
/proc/9613/task/9625/stat : 9625 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790768 27969658880 31957 33554432000 4194304 4196468 140735366602576 139673007547120 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9626] ppid=9610 vsize=27314120 memory=281259154817424 CPUtime=0 cores=0-7
/proc/9613/task/9626/stat : 9626 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 31957 33554432000 4194304 4196468 140735366602576 139672633038800 139675338278811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9627] ppid=9610 vsize=27314120 memory=281259154758704 CPUtime=0.01 cores=0-7
/proc/9613/task/9627/stat : 9627 (java) S 9610 9610 9228 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 20 0 499790771 27969658880 31957 33554432000 4194304 4196468 140735366602576 139673388878576 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9628] ppid=9610 vsize=27314120 memory=281259154831248 CPUtime=0.01 cores=0-7
/proc/9613/task/9628/stat : 9628 (java) S 9610 9610 9228 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 499790771 27969658880 31957 33554432000 4194304 4196468 140735366602576 139673387826032 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9629] ppid=9610 vsize=27314120 memory=281259154838160 CPUtime=0.01 cores=0-7
/proc/9613/task/9629/stat : 9629 (java) S 9610 9610 9228 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 499790771 27969658880 31957 33554432000 4194304 4196468 140735366602576 139673386772976 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9630] ppid=9610 vsize=27314120 memory=281259154835856 CPUtime=0.07 cores=0-7
/proc/9613/task/9630/stat : 9630 (java) S 9610 9610 9228 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 20 0 499790771 27969658880 31957 33554432000 4194304 4196468 140735366602576 139673385720432 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9631] ppid=9610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9631/stat : 9631 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499790771 27969658880 31957 33554432000 4194304 4196468 140735366602576 139672135133664 139675338270421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9632] ppid=9610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9613/task/9632/stat : 9632 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790772 27969658880 31957 33554432000 4194304 4196468 140735366602576 139673384667824 139675338271362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129228 KiB

[startup+0.700867 s]
/proc/loadavg: 6.09 2.05 0.77 2/211 9632
/proc/meminfo: memFree=22040028/32770624 swapFree=67002260/67108860
[pid=9610] ppid=9607 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9610/stat : 9610 (scop.sh) S 9607 9610 9228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499790763 115843072 350 33554432000 4194304 5098028 140733194727312 140733194724568 140295409488508 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33280000 140733194736380 140733194736728 140733194736728 140733194739657 0
/proc/9610/statm: 28282 350 297 221 0 87 0
[pid=9613] ppid=9610 vsize=27320392 memory=167424 CPUtime=1.01 cores=0-7
/proc/9613/stat : 9613 (java) S 9610 9610 9228 0 -1 1077944320 20416 0 0 0 95 6 0 0 20 0 20 0 499790763 27976081408 41856 33554432000 4194304 4196468 140735366602576 140735366585120 139675338260215 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
/proc/9613/statm: 6830098 41856 3191 1 0 6791447 0
[pid=9613/tid=9614] ppid=9610 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/9613/task/9614/stat : 9614 (java) R 9610 9610 9228 0 -1 4202560 17323 0 0 0 63 5 0 0 20 0 20 0 499790764 27976081408 41856 33554432000 4194304 4196468 140735366602576 139675310099072 139675338272150 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9615] ppid=9610 vsize=27320392 memory=140629577606000 CPUtime=0 cores=0-7
/proc/9613/task/9615/stat : 9615 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27976081408 41856 33554432000 4194304 4196468 140735366602576 139675342502416 139675338270421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9616] ppid=9610 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9613/task/9616/stat : 9616 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27976081408 41856 33554432000 4194304 4196468 140735366602576 139675156658832 139675338270421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0
[pid=9613/tid=9617] ppid=9610 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/9613/task/9617/stat : 9617 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499790766 27976081408 41856 33554432000 4194304 4196468 140735366602576 139674759362832 139675338270421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21348352 140735366607559 140735366608006 140735366608006 140735366610895 0

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

[pid=9633/tid=9649] ppid=9610 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/9633/task/9649/stat : 9649 (java) S 9610 9610 9228 0 -1 1077944384 296 0 0 0 6 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507073873904 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9650] ppid=9610 vsize=8414124 memory=1424 CPUtime=0.18 cores=0-7
/proc/9633/task/9650/stat : 9650 (java) S 9610 9610 9228 0 -1 1077944384 496 0 0 0 18 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507072821360 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9651] ppid=9610 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/9633/task/9651/stat : 9651 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140505627225056 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9652] ppid=9610 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/9633/task/9652/stat : 9652 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507071769776 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9654] ppid=9610 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/9633/task/9654/stat : 9654 (java) S 9610 9610 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499791150 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507063735744 140508117806873 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9656] ppid=9610 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/9633/task/9656/stat : 9656 (java) S 9610 9610 9228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499791151 8616062976 30034 33554432000 4194304 4196468 140722256585200 140504956124688 140508117804189 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9657] ppid=9610 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/9633/task/9657/stat : 9657 (java) S 9610 9610 9228 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499791151 8616062976 30034 33554432000 4194304 4196468 140722256585200 140505224560272 140508117804189 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9666] ppid=9610 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/9633/task/9666/stat : 9666 (java) S 9610 9610 9228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 499791153 8616062976 30034 33554432000 4194304 4196468 140722256585200 140504687696816 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
Current children cumulated CPU time: 88.61 s
Current children cumulated vsize: 9164276 KiB
Current children cumulated memory: 274756 KiB

[startup+14.0017 s]*
/proc/loadavg: 6.16 2.26 0.86 9/223 9666
/proc/meminfo: memFree=21914916/32770624 swapFree=67002260/67108860
[pid=9610] ppid=9607 vsize=113128 memory=1476 CPUtime=10.04 cores=0-7
/proc/9610/stat : 9610 (scop.sh) S 9607 9610 9228 0 -1 4202496 582 32515 0 0 0 0 985 19 20 0 1 0 499790763 115843072 369 33554432000 4194304 5098028 140733194727312 140733194724056 140295409488508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33280000 140733194736380 140733194736728 140733194736728 140733194739657 0
/proc/9610/statm: 28282 369 311 221 0 87 0
[pid=9633] ppid=9610 vsize=8414124 memory=120136 CPUtime=1.16 cores=0-7
/proc/9633/stat : 9633 (java) S 9610 9610 9228 0 -1 1077944320 20512 0 0 0 108 8 0 0 20 0 24 0 499791078 8616062976 30034 33554432000 4194304 4196468 140722256585200 140722256567744 140508117782263 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
/proc/9633/statm: 2103531 30034 3197 1 0 2064875 0
[pid=9653] ppid=9633 vsize=637340 memory=156608 CPUtime=80.65 cores=0-7
/proc/9653/stat : 9653 (manyglucose-4.1) S 9633 9610 9228 0 -1 1077944320 120624 0 0 0 8044 21 0 0 20 0 8 0 499791150 652636160 39152 33554432000 4194304 4454172 140725413002656 140725413001040 140070148808439 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
/proc/9653/statm: 159335 39152 417 64 0 155003 0
[pid=9653/tid=9658] ppid=9633 vsize=637340 memory=0 CPUtime=10.12 cores=0-7
/proc/9653/task/9658/stat : 9658 (manyglucose-4.1) R 9633 9610 9228 0 -1 4202560 14390 0 0 0 1010 2 0 0 20 0 8 0 499791152 652636160 39152 33554432000 4194304 4454172 140725413002656 140070133590776 4351184 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
[pid=9653/tid=9659] ppid=9633 vsize=637340 memory=0 CPUtime=10.1 cores=0-7
/proc/9653/task/9659/stat : 9659 (manyglucose-4.1) R 9633 9610 9228 0 -1 4202560 15004 0 0 0 1008 2 0 0 20 0 8 0 499791152 652636160 39152 33554432000 4194304 4454172 140725413002656 140070125198072 4351286 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
[pid=9653/tid=9660] ppid=9633 vsize=637340 memory=0 CPUtime=9.86 cores=0-7
/proc/9653/task/9660/stat : 9660 (manyglucose-4.1) R 9633 9610 9228 0 -1 4202560 13693 0 0 0 983 3 0 0 20 0 8 0 499791152 652636160 39152 33554432000 4194304 4454172 140725413002656 140070116805368 4351331 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
[pid=9653/tid=9661] ppid=9633 vsize=637340 memory=3763099673816014896 CPUtime=10.11 cores=0-7
/proc/9653/task/9661/stat : 9661 (manyglucose-4.1) R 9633 9610 9228 0 -1 4202560 15275 0 0 0 1009 2 0 0 20 0 8 0 499791152 652636160 39152 33554432000 4194304 4454172 140725413002656 140070108412664 4351539 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
[pid=9653/tid=9663] ppid=9633 vsize=637340 memory=7380671248541445222 CPUtime=10.11 cores=0-7
/proc/9653/task/9663/stat : 9663 (manyglucose-4.1) R 9633 9610 9228 0 -1 4202560 15913 0 0 0 1008 3 0 0 20 0 8 0 499791152 652636160 39152 33554432000 4194304 4454172 140725413002656 140070091627256 4351331 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
[pid=9653/tid=9664] ppid=9633 vsize=637340 memory=7589240748751480640 CPUtime=10.11 cores=0-7
/proc/9653/task/9664/stat : 9664 (manyglucose-4.1) R 9633 9610 9228 0 -1 4202560 14530 0 0 0 1009 2 0 0 20 0 8 0 499791152 652636160 39152 33554432000 4194304 4454172 140725413002656 140070083234552 4350933 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
[pid=9653/tid=9665] ppid=9633 vsize=637340 memory=3834310622459344687 CPUtime=10.09 cores=0-7
/proc/9653/task/9665/stat : 9665 (manyglucose-4.1) R 9633 9610 9228 0 -1 4202560 15251 0 0 0 1008 1 0 0 20 0 8 0 499791152 652636160 39152 33554432000 4194304 4454172 140725413002656 140070074841848 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
[pid=9633/tid=9634] ppid=9610 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7
/proc/9633/task/9634/stat : 9634 (java) S 9610 9610 9228 0 -1 1077944384 17462 0 0 0 70 6 0 0 20 0 24 0 499791078 8616062976 30034 33554432000 4194304 4196468 140722256585200 140508089622432 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9635] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9635/stat : 9635 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140508122024976 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9636] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9636/stat : 9636 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507922193552 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9637] ppid=9610 vsize=8414124 memory=6075463926023344208 CPUtime=0 cores=0-7
/proc/9633/task/9637/stat : 9637 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507921140496 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9638] ppid=9610 vsize=8414124 memory=7739525464361954914 CPUtime=0 cores=0-7
/proc/9633/task/9638/stat : 9638 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507920087952 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9639] ppid=9610 vsize=8414124 memory=4121416120871694367 CPUtime=0 cores=0-7
/proc/9633/task/9639/stat : 9639 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507919034896 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9640] ppid=9610 vsize=8414124 memory=4490177164832559673 CPUtime=0 cores=0-7
/proc/9633/task/9640/stat : 9640 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507917982352 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9641] ppid=9610 vsize=8414124 memory=7737303355120512103 CPUtime=0 cores=0-7
/proc/9633/task/9641/stat : 9641 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507916929296 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9642] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9642/stat : 9642 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507915876752 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9643] ppid=9610 vsize=8414124 memory=9115854055 CPUtime=0 cores=0-7
/proc/9633/task/9643/stat : 9643 (java) S 9610 9610 9228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499791081 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507077032688 140508117793410 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9644] ppid=9610 vsize=8414124 memory=6935651454851507028 CPUtime=0 cores=0-7
/proc/9633/task/9644/stat : 9644 (java) S 9610 9610 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499791081 8616062976 30034 33554432000 4194304 4196468 140722256585200 140506768074400 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9645] ppid=9610 vsize=8414124 memory=7380945052708201316 CPUtime=0 cores=0-7
/proc/9633/task/9645/stat : 9645 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499791081 8616062976 30034 33554432000 4194304 4196468 140722256585200 140506499638512 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9646] ppid=9610 vsize=8414124 memory=7523107478184158290 CPUtime=0 cores=0-7
/proc/9633/task/9646/stat : 9646 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140506125130192 140508117800859 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9647] ppid=9610 vsize=8414124 memory=6296141488898267495 CPUtime=0.05 cores=0-7
/proc/9633/task/9647/stat : 9647 (java) S 9610 9610 9228 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507075979504 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9648] ppid=9610 vsize=8414124 memory=7667494228320342374 CPUtime=0.05 cores=0-7
/proc/9633/task/9648/stat : 9648 (java) S 9610 9610 9228 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507074926960 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9649] ppid=9610 vsize=8414124 memory=6368742335867797608 CPUtime=0.06 cores=0-7
/proc/9633/task/9649/stat : 9649 (java) S 9610 9610 9228 0 -1 1077944384 296 0 0 0 6 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507073873904 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9650] ppid=9610 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/9633/task/9650/stat : 9650 (java) S 9610 9610 9228 0 -1 1077944384 496 0 0 0 18 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507072821360 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9651] ppid=9610 vsize=8414124 memory=3472328296227680299 CPUtime=0 cores=0-7
/proc/9633/task/9651/stat : 9651 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140505627225056 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9652] ppid=9610 vsize=8414124 memory=3472328296227680299 CPUtime=0 cores=0-7
/proc/9633/task/9652/stat : 9652 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507071769776 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9654] ppid=9610 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/9633/task/9654/stat : 9654 (java) S 9610 9610 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499791150 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507063735744 140508117806873 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9656] ppid=9610 vsize=8414124 memory=-3967418655009478390 CPUtime=0 cores=0-7
/proc/9633/task/9656/stat : 9656 (java) S 9610 9610 9228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499791151 8616062976 30034 33554432000 4194304 4196468 140722256585200 140504956124688 140508117804189 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9657] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9657/stat : 9657 (java) S 9610 9610 9228 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499791151 8616062976 30034 33554432000 4194304 4196468 140722256585200 140505224560272 140508117804189 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9666] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9666/stat : 9666 (java) S 9610 9610 9228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 499791153 8616062976 30034 33554432000 4194304 4196468 140722256585200 140504687696816 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
Current children cumulated CPU time: 91.85 s
Current children cumulated vsize: 9164592 KiB
Current children cumulated memory: 278220 KiB

[startup+14.4013 s]
/proc/loadavg: 6.16 2.26 0.86 9/223 9666
/proc/meminfo: memFree=21914916/32770624 swapFree=67002260/67108860
[pid=9610] ppid=9607 vsize=113128 memory=1476 CPUtime=10.04 cores=0-7
/proc/9610/stat : 9610 (scop.sh) S 9607 9610 9228 0 -1 4202496 582 32515 0 0 0 0 985 19 20 0 1 0 499790763 115843072 369 33554432000 4194304 5098028 140733194727312 140733194724056 140295409488508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33280000 140733194736380 140733194736728 140733194736728 140733194739657 0
/proc/9610/statm: 28282 369 311 221 0 87 0
[pid=9633] ppid=9610 vsize=8414124 memory=120136 CPUtime=1.16 cores=0-7
/proc/9633/stat : 9633 (java) S 9610 9610 9228 0 -1 1077944320 20512 0 0 0 108 8 0 0 20 0 24 0 499791078 8616062976 30034 33554432000 4194304 4196468 140722256585200 140722256567744 140508117782263 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
/proc/9633/statm: 2103531 30034 3197 1 0 2064875 0
[pid=9653] ppid=9633 vsize=613044 memory=157112 CPUtime=81.98 cores=0-7
/proc/9653/stat : 9653 (manyglucose-4.1) S 9633 9610 9228 0 -1 1077944320 121973 0 0 0 8176 22 0 0 20 0 2 0 499791150 627757056 39278 33554432000 4194304 4454172 140725413002656 140725413001040 140070148808439 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
/proc/9653/statm: 153261 39278 419 64 0 148929 0
[pid=9653/tid=9665] ppid=9633 vsize=613044 memory=988 CPUtime=10.48 cores=0-7
/proc/9653/task/9665/stat : 9665 (manyglucose-4.1) R 9633 9610 9228 0 -1 4202560 15272 0 0 0 1047 1 0 0 20 0 2 0 499791152 627757056 39278 33554432000 4194304 4454172 140725413002656 140070074841848 4351785 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 30744576 140725413008206 140725413008412 140725413008412 140725413011382 0
[pid=9633/tid=9634] ppid=9610 vsize=8414124 memory=2012 CPUtime=0.76 cores=0-7
/proc/9633/task/9634/stat : 9634 (java) S 9610 9610 9228 0 -1 1077944384 17462 0 0 0 70 6 0 0 20 0 24 0 499791078 8616062976 30034 33554432000 4194304 4196468 140722256585200 140508089622432 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9635] ppid=9610 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/9633/task/9635/stat : 9635 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140508122024976 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9636] ppid=9610 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/9633/task/9636/stat : 9636 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507922193552 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9637] ppid=9610 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/9633/task/9637/stat : 9637 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507921140496 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9638] ppid=9610 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/9633/task/9638/stat : 9638 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507920087952 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9639] ppid=9610 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/9633/task/9639/stat : 9639 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507919034896 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9640] ppid=9610 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/9633/task/9640/stat : 9640 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507917982352 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9641] ppid=9610 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/9633/task/9641/stat : 9641 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507916929296 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9642] ppid=9610 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/9633/task/9642/stat : 9642 (java) S 9610 9610 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499791079 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507915876752 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9643] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9643/stat : 9643 (java) S 9610 9610 9228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499791081 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507077032688 140508117793410 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9644] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9644/stat : 9644 (java) S 9610 9610 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499791081 8616062976 30034 33554432000 4194304 4196468 140722256585200 140506768074400 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9645] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9645/stat : 9645 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499791081 8616062976 30034 33554432000 4194304 4196468 140722256585200 140506499638512 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9646] ppid=9610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9633/task/9646/stat : 9646 (java) S 9610 9610 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140506125130192 140508117800859 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9647] ppid=9610 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/9633/task/9647/stat : 9647 (java) S 9610 9610 9228 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507075979504 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9648] ppid=9610 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/9633/task/9648/stat : 9648 (java) S 9610 9610 9228 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507074926960 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9649] ppid=9610 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/9633/task/9649/stat : 9649 (java) S 9610 9610 9228 0 -1 1077944384 296 0 0 0 6 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507073873904 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9650] ppid=9610 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/9633/task/9650/stat : 9650 (java) S 9610 9610 9228 0 -1 1077944384 496 0 0 0 18 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507072821360 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9651] ppid=9610 vsize=8414124 memory=19873 CPUtime=0 cores=0-7
/proc/9633/task/9651/stat : 9651 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140505627225056 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9652] ppid=9610 vsize=8414124 memory=20036 CPUtime=0 cores=0-7
/proc/9633/task/9652/stat : 9652 (java) S 9610 9610 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499791084 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507071769776 140508117793410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9654] ppid=9610 vsize=8414124 memory=24292 CPUtime=0 cores=0-7
/proc/9633/task/9654/stat : 9654 (java) S 9610 9610 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499791150 8616062976 30034 33554432000 4194304 4196468 140722256585200 140507063735744 140508117806873 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9656] ppid=9610 vsize=8414124 memory=26500 CPUtime=0 cores=0-7
/proc/9633/task/9656/stat : 9656 (java) S 9610 9610 9228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499791151 8616062976 30034 33554432000 4194304 4196468 140722256585200 140504956124688 140508117804189 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9657] ppid=9610 vsize=8414124 memory=28708 CPUtime=0 cores=0-7
/proc/9633/task/9657/stat : 9657 (java) S 9610 9610 9228 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499791151 8616062976 30034 33554432000 4194304 4196468 140722256585200 140505224560272 140508117804189 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
[pid=9633/tid=9666] ppid=9610 vsize=8414124 memory=30916 CPUtime=0 cores=0-7
/proc/9633/task/9666/stat : 9666 (java) S 9610 9610 9228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 499791153 8616062976 30034 33554432000 4194304 4196468 140722256585200 140504687696816 140508117792469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22028288 140722256589792 140722256589958 140722256589958 140722256592847 0
Current children cumulated CPU time: 93.18 s
Current children cumulated vsize: 9140296 KiB
Current children cumulated memory: 278724 KiB

Child status: 0
Real time (s): 14.4595
CPU time (s): 93.3223
CPU user time (s): 92.7968
CPU system time (s): 0.525491
CPU usage (%): 645.406
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 636124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.7968
system time used= 0.525491
maximum resident set size= 637364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9124
involuntary context switches= 973


# summary of solver processes directly reported to runsolver:
#   pid: 9610
#   total CPU time (s): 93.3223
#   total CPU user time (s): 92.7968
#   total CPU system time (s): 0.525491

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154966 second user time and 0.212121 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-23 13:38:47
IDJOB=4405436
IDBENCH=121909
IDSOLVER=2868
FILE ID=node146/4405436-1569238768
RUNJOBID= node146-1569238586-9255
PBS_JOBID= 21704896
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-79.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-4405436-1569238768/watcher-4405436-1569238768 -o /var/tmp/evaluation-result-4405436-1569238768/solver-4405436-1569238768 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569238586-9255 --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-4405436-1569238768.xml

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

MD5SUM BENCH= c0f256b6b5f799b1206df7220afe38a7
RANDOM SEED=2091438772

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22179808 kB
MemAvailable:   31843292 kB
Buffers:          129140 kB
Cached:          9572836 kB
SwapCached:         3596 kB
Active:          4818660 kB
Inactive:        4887580 kB
Active(anon):       4268 kB
Inactive(anon):    56392 kB
Active(file):    4814392 kB
Inactive(file):  4831188 kB
Unevictable:      110936 kB
Mlocked:          110936 kB
SwapTotal:      67108860 kB
SwapFree:       67002260 kB
Dirty:             20512 kB
Writeback:             0 kB
AnonPages:         90784 kB
Mapped:            55028 kB
Shmem:             47520 kB
Slab:             475236 kB
SReclaimable:     446364 kB
SUnreclaim:        28872 kB
KernelStack:        3872 kB
PageTables:         6240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node146 at 2019-09-23 13:39:02