Trace number 4392619

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-064.xml
MD5SUM019f4b77ddc0f15b2fea5bd490d99eee
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.1842
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints72
Number of domains2
Minimum domain size64
Maximum domain size4096
Distribution of domain sizes[{"size":64,"count":64},{"size":4096,"count":64}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":64},{"degree":4,"count":63},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":64},{"arity":32,"count":6},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints65
Distribution of constraint types[{"type":"intension","count":65},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
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-9834-serial-file.bin HOME/instance-4392619-1568421170.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 02:32:05 CEST 2019
0.66/0.56	c PID: 9837
0.66/0.56	c IP: 172.20.3.102
0.66/0.56	c HOST: node102.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.94	c (0,0) Parsing End
1.39/0.95	c (0,0) CSP: 128 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 4096
1.39/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.39/0.95	c (0,0) Constraint Name Generate Begin
1.39/0.95	c (0,0) Ctr:HOME/instance-4392619-1568421170.xml,AllDifferent:Eq:Mul:Num:OrderedCtr:Var:WeightedSum
1.39/0.95	c (0,0) Constraint Name Generate End
1.39/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.39/0.95	c (0,0) CSP to CSPinCNF Begin
3.10/1.56	c (1,1) translated 8 (10%) constraints
3.55/1.69	c (1,1) translated 15 (20%) constraints
3.98/1.78	c (1,1) translated 22 (30%) constraints
4.39/1.85	c (1,1) translated 29 (40%) constraints
4.77/1.92	c (1,1) translated 36 (50%) constraints
4.77/1.98	c (1,1) translated 44 (60%) constraints
5.11/2.04	c (1,1) translated 51 (70%) constraints
5.11/2.09	c (1,1) translated 58 (80%) constraints
5.47/2.15	c (1,1) translated 65 (90%) constraints
5.47/2.19	c (1,1) translated 72 (100%) constraints
5.47/2.19	c (1,1) ===========================================
5.76/2.22	c (1,1) Hybrid: #OE=4096, #LE=128
5.76/2.22	c (1,1) Hybrid
5.76/2.22	c (1,1) ===========================================
6.14/2.31	c (1,1) translated 1444 (10%) constraints
6.91/2.57	c (2,2) translated 2888 (20%) constraints
7.33/2.62	c (2,2) translated 4332 (30%) constraints
7.33/2.66	c (2,2) translated 5775 (40%) constraints
7.73/2.70	c (2,2) translated 7219 (50%) constraints
7.73/2.74	c (2,2) translated 8663 (60%) constraints
7.73/2.78	c (2,2) translated 10106 (70%) constraints
8.12/2.82	c (2,2) translated 11550 (80%) constraints
8.12/2.86	c (2,2) translated 12994 (90%) constraints
8.12/2.89	c (2,2) translated 14437 (100%) constraints
8.12/2.89	c (2,2) CSP to CSPinCNF End
8.12/2.89	c (2,2) CSP: 127 int (0 aux), 4097 bool (4096 aux), 22634 ctr, max domain size 64
8.12/2.89	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.12/2.89	c (2,2) CSPinCNF Propagation Begin
11.33/3.88	c (3,3) 2415 values, 6353 unsatisfiable literals, and 6360 valid clauses are removed
11.33/3.88	c (3,3) CSPinCNF Propagation End
11.33/3.89	c (3,3) CSP: 126 int (0 aux), 4098 bool (4096 aux), 16274 ctr, max domain size 61
11.33/3.89	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.51/3.91	c (3,3) Hybrid: #OE=4096, #LE=128
11.51/3.91	c (3,3) Simplify CSPinCNF Begin
12.35/4.18	c (3,3) Simplify CSPinCNF End
12.35/4.18	c (3,3) CSP: 126 int (0 aux), 13530 bool (13528 aux), 25706 ctr, max domain size 61
12.35/4.18	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.35/4.18	c (3,3) Calculate Precise Domain Begin
12.35/4.18	c (3,3) 0 values are removed by re-calculation
12.35/4.18	c (3,3) Calculate Precise Domain End
12.35/4.19	c (3,3) CSP: 126 int (0 aux), 13530 bool (13528 aux), 25706 ctr, max domain size 61
12.35/4.19	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.35/4.19	c (3,3) CSPinCNF to SatSolver Begin
15.93/5.53	c (4,4) 2571 (10 %) CSP clauses are encoded (0 SAT variables, 210614 SAT clauses)
16.39/5.83	c (5,4) 5142 (20 %) CSP clauses are encoded (0 SAT variables, 299382 SAT clauses)
17.16/6.05	c (5,5) 7712 (30 %) CSP clauses are encoded (0 SAT variables, 342347 SAT clauses)
17.45/6.17	c (5,5) 10283 (40 %) CSP clauses are encoded (0 SAT variables, 367729 SAT clauses)
18.39/6.75	c (6,5) 12853 (50 %) CSP clauses are encoded (0 SAT variables, 627681 SAT clauses)
18.56/6.87	c (6,5) 15424 (60 %) CSP clauses are encoded (0 SAT variables, 659677 SAT clauses)
18.66/6.99	c (6,6) 17995 (70 %) CSP clauses are encoded (0 SAT variables, 691640 SAT clauses)
18.78/7.10	c (6,6) 20565 (80 %) CSP clauses are encoded (0 SAT variables, 723709 SAT clauses)
18.97/7.22	c (6,6) 23136 (90 %) CSP clauses are encoded (0 SAT variables, 755697 SAT clauses)
19.07/7.34	c (6,6) 25706 (100 %) CSP clauses are encoded (0 SAT variables, 788734 SAT clauses)
19.07/7.34	c (6,6) CSPinCNF to SatSolver End
19.07/7.34	c (6,6) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
19.07/7.34	c (6,6) 354904 bool, 788765 clause
19.07/7.34	c (6,6) Export Begin
19.51/7.54	c (6,6) Export to HOME/scop-9834-serial-file.bin
19.51/7.54	c (6,6) Export End
19.51/7.54	c (7,6) Export File Size: 0.26 MB
19.51/7.54	c (7,6) 0,0,2,3,3,3,6,STOP-AFTER(DIMACS)
19.51/7.54	c END-Prog: Sat Sep 14 02:32:12 CEST 2019
19.51/7.57	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9834-serial-file.bin
20.29/8.03	c (0,0) Read Serial File Begin
20.29/8.03	c (0,0) HOME/scop-9834-serial-file.bin
20.85/8.35	c (0,0) Read Serial File End
20.85/8.37	
20.85/8.37	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
20.85/8.37	(Solving Process)
20.85/8.37	
20.85/8.39	c BEGIN-Prog: Sat Sep 14 02:32:13 CEST 2019
20.85/8.39	c PID: 9857
20.85/8.39	c IP: 172.20.3.102
20.85/8.39	c HOST: node102.alineos.net
20.85/8.39	c (0,0) SatSolver.solve Begin
20.85/8.39	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392619-1568421170.xml-scop-9837.cnf
21.15/8.42	c (0,0) c
21.15/8.42	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)
21.15/8.42	c (0,0) c
21.15/8.42	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.15/8.42	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.15/8.42	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.15/8.42	c (0,0) c |                                                                                                       |
21.31/8.79	c (0,0) c |  Number of variables:        354904                                                                   |
21.31/8.79	c (0,0) c |  Number of clauses:          788571                                                                   |
21.31/8.79	c (0,0) c |  Parse time:                   0.32 s                                                                 |
21.31/8.79	c (0,0) c |                                                                                                       |
23.08/10.25	c (2,0) c |  Simplification time:          1.44 s                                                                 |
23.08/10.25	c (2,0) c |                                                                                                       |
23.08/10.25	c (2,0) c |  Generating clones                                                                                    |
23.78/10.90	c (2,0) c |  all clones generated. Memory =   869.69Mb.                                                           |
23.78/10.90	c (2,0) c ========================================================================================================|
23.78/10.90	c (2,0) c
23.78/10.90	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.78/10.90	c (2,0) c
23.78/10.90	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.78/10.90	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.78/10.90	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.78/10.90	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.78/10.90	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.78/10.90	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.78/10.90	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.78/10.90	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.78/10.90	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.78/10.90	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.78/10.90	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.78/10.90	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.78/10.90	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.78/10.90	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.78/10.90	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.78/10.90	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.78/10.90	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.78/10.90	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.78/10.90	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.58	c (15,0) c
121.25/23.58	c (15,0) c real time : 15.164 s
121.25/23.58	c (15,0) c cpu time  : 99.0156 s
121.25/23.58	c (15,0) c
121.25/23.58	c (15,0) c
121.25/23.58	c (15,0) c
121.25/23.58	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
121.25/23.58	c (15,0) c
121.25/23.58	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.58	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
121.25/23.58	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.58	c (15,0) c | Conflicts     |          188594 |      19141 |      23062 |      23198 |      27308 |      22028 |      26275 |      22272 |      25310 |
121.25/23.58	c (15,0) c | Decisions     |         1662353 |     170382 |     176670 |     153792 |     277300 |     200445 |     299549 |     180437 |     203778 |
121.25/23.58	c (15,0) c | Propagations  |       344089203 |   38494871 |   41909223 |   45572315 |   43963819 |   45687853 |   41276585 |   41036120 |   46148417 |
121.25/23.58	c (15,0) c | ReduceDBs     |              27 |          3 |          3 |          3 |          4 |          3 |          4 |          3 |          4 |
121.25/23.58	c (15,0) c | SimpDBs       |             175 |         23 |         20 |         24 |         21 |         20 |         21 |         22 |         24 |
121.25/23.58	c (15,0) c | Restarts      |            1400 |        175 |        104 |        211 |        186 |        176 |        176 |        195 |        177 |
121.25/23.58	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
121.25/23.58	c (15,0) c | PropBinClauses|       167021468 |   17594708 |   21638142 |   21967863 |   21226314 |   20978334 |   20164072 |   20211289 |   23240746 |
121.25/23.58	c (15,0) c | PropPreBlocker|       885694913 |   98725302 |  106944221 |  117617701 |  112990658 |  118240611 |  107493029 |  105953824 |  117729567 |
121.25/23.58	c (15,0) c | PropNotBlocker|       375829364 |   41737598 |   45345463 |   49211180 |   48641459 |   49549490 |   45869256 |   45100892 |   50374026 |
121.25/23.58	c (15,0) c | LitFullScans  |      3157303559 |  367329544 |  366492821 |  441960879 |  371019588 |  432784956 |  385033088 |  369883149 |  422799534 |
121.25/23.58	c (15,0) c | LitScanFracts |        10131471 |    1302372 |     456242 |    1841799 |     374868 |    2237475 |    1005429 |    1455225 |    1458061 |
121.25/23.58	c (15,0) c | DecisionLevel0|            1608 |        198 |        127 |        238 |        215 |        206 |        211 |        214 |        199 |
121.25/23.58	c (15,0) c | Periods       |             522 |         61 |         61 |         73 |         61 |         71 |         64 |         61 |         70 |
121.25/23.58	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
121.25/23.58	c (15,0) c | Avg_Trail     |                 |      19722 |      24381 |      20239 |      19095 |      20560 |      18091 |      19962 |      21164 |
121.25/23.58	c (15,0) c | Avg_DL        |                 |        121 |       1799 |         96 |         95 |         98 |        200 |        126 |        135 |
121.25/23.58	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
121.25/23.58	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
121.25/23.58	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.58	c (15,0) c | Exported      |           39995 |       4065 |       5201 |       4895 |       5129 |       4241 |       6643 |       4727 |       5094 |
121.25/23.58	c (15,0) c | Imported      |          241343 |      29610 |      29389 |      32291 |      28381 |      32414 |      28126 |      29510 |      31622 |
121.25/23.58	c (15,0) c | Good          |            9247 |       1178 |       1122 |       1304 |       1049 |       1253 |       1089 |       1091 |       1161 |
121.25/23.58	c (15,0) c | Purge         |          232096 |      28432 |      28267 |      30987 |      27332 |      31161 |      27037 |      28419 |      30461 |
121.25/23.58	c (15,0) c | Promoted      |            7429 |        874 |        473 |       1269 |       1254 |       1119 |       1026 |        993 |        421 |
121.25/23.58	c (15,0) c | Remove_Imp    |           38871 |       4628 |          0 |          0 |      11013 |          0 |       9499 |          0 |      13731 |
121.25/23.58	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
121.25/23.58	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.58	c (15,0) c | Unaries       |                 |         23 |         23 |         27 |         29 |         30 |         35 |         19 |         22 |
121.25/23.58	c (15,0) c | Binaries      |                 |        106 |        183 |        129 |        236 |        158 |        251 |        243 |        247 |
121.25/23.58	c (15,0) c | Glues         |                 |        414 |        516 |        579 |        794 |        523 |        675 |        557 |        701 |
121.25/23.58	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.58	c (15,0) c | Orig_Seen     |            27 % |      84875 |      87743 |      88731 |      89258 |      84770 |      98658 |      94040 |     101012 |
121.25/23.58	c (15,0) c | Diff Orig seen|                 | -     4383 | -     1515 | -      527 |      X     | -     4488 |       9400 |       4782 |      11754 |
121.25/23.58	c (15,0) c | Hamming       |             5 % |      17060 |      19222 |      17233 |      X     |      17108 |      18256 |      18007 |      19201 |
121.25/23.58	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.58	c (15,0) c | RunningTime   |                 |   12.4 100%|   12.7 100%|   12.3 100%|   12.2 100%|   12.3 100%|   12.3 100%|   12.3 100%|   12.3 100%|
121.25/23.58	c (15,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%|
121.25/23.58	c (15,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%|
121.25/23.58	c (15,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%|
121.25/23.58	c (15,0) c | SolvingTime   |                 |   12.4     |   12.7     |   12.3     |   12.3     |   12.3     |   12.3     |   12.3     |   12.3     |
121.25/23.58	c (15,0) c | PropagationTim|                 |    9.3  75%|    9.8  77%|    9.0  73%|    9.3  76%|    9.0  73%|    9.0  73%|    9.4  76%|    9.1  74%|
121.25/23.58	c (15,0) c | AnalysisTime  |                 |    1.9  15%|    1.8  14%|    2.2  18%|    1.6  13%|    2.1  17%|    2.0  16%|    1.7  14%|    1.9  16%|
121.25/23.58	c (15,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.0   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.1   1%|
121.25/23.58	c (15,0) c | SimplifyTime  |                 |    0.3   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.3   2%|
121.25/23.58	c (15,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%|
121.25/23.58	c (15,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%|
121.25/23.58	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.58	c (15,0) c
121.25/23.58	c (15,0) c
121.25/23.58	c (15,0) c Threads : 8
121.25/23.58	c (15,0) c Winner : 3
121.25/23.58	c (15,0) c Conflicts_0 : 19141
121.25/23.58	c (15,0) c Conflicts_1 : 23062
121.25/23.58	c (15,0) c Conflicts_2 : 23198
121.25/23.58	c (15,0) c Conflicts_3 : 27308
121.25/23.58	c (15,0) c Conflicts_4 : 22028
121.25/23.58	c (15,0) c Conflicts_5 : 26275
121.25/23.58	c (15,0) c Conflicts_6 : 22272
121.25/23.58	c (15,0) c Conflicts_7 : 25310
121.25/23.58	c (15,0) c Conflicts_total : 188594
121.25/23.58	c (15,0) c Conflicts_winner : 27308
121.25/23.58	c (15,0) c Decisions_0 : 170382
121.25/23.58	c (15,0) c Decisions_1 : 176670
121.25/23.58	c (15,0) c Decisions_2 : 153792
121.25/23.58	c (15,0) c Decisions_3 : 277300
121.25/23.58	c (15,0) c Decisions_4 : 200445
121.25/23.58	c (15,0) c Decisions_5 : 299549
121.25/23.58	c (15,0) c Decisions_6 : 180437
121.25/23.58	c (15,0) c Decisions_7 : 203778
121.25/23.58	c (15,0) c Decisions_total : 1662353
121.25/23.58	c (15,0) c Decisions_winner : 277300
121.25/23.58	c (15,0) c Propagations_0 : 38494871
121.25/23.58	c (15,0) c Propagations_1 : 41909223
121.25/23.58	c (15,0) c Propagations_2 : 45572315
121.25/23.58	c (15,0) c Propagations_3 : 43963819
121.25/23.58	c (15,0) c Propagations_4 : 45687853
121.25/23.58	c (15,0) c Propagations_5 : 41276585
121.25/23.58	c (15,0) c Propagations_6 : 41036120
121.25/23.58	c (15,0) c Propagations_7 : 46148417
121.25/23.58	c (15,0) c Propagations_total : 344089203
121.25/23.58	c (15,0) c Propagations_winner : 43963819
121.25/23.58	c (15,0) c ReduceDBs_0 : 3
121.25/23.58	c (15,0) c ReduceDBs_1 : 3
121.25/23.58	c (15,0) c ReduceDBs_2 : 3
121.25/23.58	c (15,0) c ReduceDBs_3 : 4
121.25/23.58	c (15,0) c ReduceDBs_4 : 3
121.25/23.58	c (15,0) c ReduceDBs_5 : 4
121.25/23.58	c (15,0) c ReduceDBs_6 : 3
121.25/23.58	c (15,0) c ReduceDBs_7 : 4
121.25/23.58	c (15,0) c ReduceDBs_total : 27
121.25/23.58	c (15,0) c ReduceDBs_winner : 4
121.25/23.58	c (15,0) c SimpDBs_0 : 23
121.25/23.58	c (15,0) c SimpDBs_1 : 20
121.25/23.58	c (15,0) c SimpDBs_2 : 24
121.25/23.58	c (15,0) c SimpDBs_3 : 21
121.25/23.58	c (15,0) c SimpDBs_4 : 20
121.25/23.58	c (15,0) c SimpDBs_5 : 21
121.25/23.58	c (15,0) c SimpDBs_6 : 22
121.25/23.58	c (15,0) c SimpDBs_7 : 24
121.25/23.58	c (15,0) c SimpDBs_total : 175
121.25/23.58	c (15,0) c SimpDBs_winner : 21
121.25/23.58	c (15,0) c Restarts_0 : 175
121.25/23.58	c (15,0) c Restarts_1 : 104
121.25/23.58	c (15,0) c Restarts_2 : 211
121.25/23.58	c (15,0) c Restarts_3 : 186
121.25/23.58	c (15,0) c Restarts_4 : 176
121.25/23.58	c (15,0) c Restarts_5 : 176
121.25/23.58	c (15,0) c Restarts_6 : 195
121.25/23.58	c (15,0) c Restarts_7 : 177
121.25/23.58	c (15,0) c Restarts_total : 1400
121.25/23.58	c (15,0) c Restarts_winner : 186
121.25/23.58	c (15,0) c ForcedImports_0 : 0
121.25/23.58	c (15,0) c ForcedImports_1 : 0
121.25/23.58	c (15,0) c ForcedImports_2 : 0
121.25/23.58	c (15,0) c ForcedImports_3 : 0
121.25/23.58	c (15,0) c ForcedImports_4 : 0
121.25/23.59	c (15,0) c ForcedImports_5 : 0
121.25/23.59	c (15,0) c ForcedImports_6 : 0
121.25/23.59	c (15,0) c ForcedImports_7 : 0
121.25/23.59	c (15,0) c ForcedImports_total : 0
121.25/23.59	c (15,0) c ForcedImports_winner : 0
121.25/23.59	c (15,0) c PropsBinClauses_0 : 17594708
121.25/23.59	c (15,0) c PropsBinClauses_1 : 21638142
121.25/23.59	c (15,0) c PropsBinClauses_2 : 21967863
121.25/23.59	c (15,0) c PropsBinClauses_3 : 21226314
121.25/23.59	c (15,0) c PropsBinClauses_4 : 20978334
121.25/23.59	c (15,0) c PropsBinClauses_5 : 20164072
121.25/23.59	c (15,0) c PropsBinClauses_6 : 20211289
121.25/23.59	c (15,0) c PropsBinClauses_7 : 23240746
121.25/23.59	c (15,0) c PropsBinClauses_total : 167021468
121.25/23.59	c (15,0) c PropsBinClauses_winner : 21226314
121.25/23.59	c (15,0) c PropsPreBlocker_0 : 98725302
121.25/23.59	c (15,0) c PropsPreBlocker_1 : 106944221
121.25/23.59	c (15,0) c PropsPreBlocker_2 : 117617701
121.25/23.59	c (15,0) c PropsPreBlocker_3 : 112990658
121.25/23.59	c (15,0) c PropsPreBlocker_4 : 118240611
121.25/23.59	c (15,0) c PropsPreBlocker_5 : 107493029
121.25/23.59	c (15,0) c PropsPreBlocker_6 : 105953824
121.25/23.59	c (15,0) c PropsPreBlocker_7 : 117729567
121.25/23.59	c (15,0) c PropsPreBlocker_total : 885694913
121.25/23.59	c (15,0) c PropsPreBlocker_winner : 112990658
121.25/23.59	c (15,0) c PropsNotBlocker_0 : 41737598
121.25/23.59	c (15,0) c PropsNotBlocker_1 : 45345463
121.25/23.59	c (15,0) c PropsNotBlocker_2 : 49211180
121.25/23.59	c (15,0) c PropsNotBlocker_3 : 48641459
121.25/23.59	c (15,0) c PropsNotBlocker_4 : 49549490
121.25/23.59	c (15,0) c PropsNotBlocker_5 : 45869256
121.25/23.59	c (15,0) c PropsNotBlocker_6 : 45100892
121.25/23.59	c (15,0) c PropsNotBlocker_7 : 50374026
121.25/23.59	c (15,0) c PropsNotBlocker_total : 375829364
121.25/23.59	c (15,0) c PropsNotBlocker_winner : 48641459
121.25/23.59	c (15,0) c PropsLitFullScans_0 : 367329544
121.25/23.59	c (15,0) c PropsLitFullScans_1 : 366492821
121.25/23.59	c (15,0) c PropsLitFullScans_2 : 441960879
121.25/23.59	c (15,0) c PropsLitFullScans_3 : 371019588
121.25/23.59	c (15,0) c PropsLitFullScans_4 : 432784956
121.25/23.59	c (15,0) c PropsLitFullScans_5 : 385033088
121.25/23.59	c (15,0) c PropsLitFullScans_6 : 369883149
121.25/23.59	c (15,0) c PropsLitFullScans_7 : 422799534
121.25/23.59	c (15,0) c PropsLitFullScans_total : 3157303559
121.25/23.59	c (15,0) c PropsLitFullScans_winner : 371019588
121.25/23.59	c (15,0) c LitScanFractions_0 : 1302372
121.25/23.59	c (15,0) c LitScanFractions_1 : 456242
121.25/23.59	c (15,0) c LitScanFractions_2 : 1841799
121.25/23.59	c (15,0) c LitScanFractions_3 : 374868
121.25/23.59	c (15,0) c LitScanFractions_4 : 2237475
121.25/23.59	c (15,0) c LitScanFractions_5 : 1005429
121.25/23.59	c (15,0) c LitScanFractions_6 : 1455225
121.25/23.59	c (15,0) c LitScanFractions_7 : 1458061
121.25/23.59	c (15,0) c LitScanFractions_total : 10131471
121.25/23.59	c (15,0) c LitScanFractions_winner : 374868
121.25/23.59	c (15,0) c DecisionLevel0_0 : 198
121.25/23.59	c (15,0) c DecisionLevel0_1 : 127
121.25/23.59	c (15,0) c DecisionLevel0_2 : 238
121.25/23.59	c (15,0) c DecisionLevel0_3 : 215
121.25/23.59	c (15,0) c DecisionLevel0_4 : 206
121.25/23.59	c (15,0) c DecisionLevel0_5 : 211
121.25/23.59	c (15,0) c DecisionLevel0_6 : 214
121.25/23.59	c (15,0) c DecisionLevel0_7 : 199
121.25/23.59	c (15,0) c DecisionLevel0_total : 1608
121.25/23.59	c (15,0) c DecisionLevel0_winner : 215
121.25/23.59	c (15,0) c Periods_0 : 61
121.25/23.59	c (15,0) c Periods_1 : 61
121.25/23.59	c (15,0) c Periods_2 : 73
121.25/23.59	c (15,0) c Periods_3 : 61
121.25/23.59	c (15,0) c Periods_4 : 71
121.25/23.59	c (15,0) c Periods_5 : 64
121.25/23.59	c (15,0) c Periods_6 : 61
121.25/23.59	c (15,0) c Periods_7 : 70
121.25/23.59	c (15,0) c Periods_total : 522
121.25/23.59	c (15,0) c Periods_winner : 61
121.25/23.59	c (15,0) c Margin_0 : 20
121.25/23.59	c (15,0) c Margin_1 : 20
121.25/23.59	c (15,0) c Margin_2 : 20
121.25/23.59	c (15,0) c Margin_3 : 20
121.25/23.59	c (15,0) c Margin_4 : 20
121.25/23.59	c (15,0) c Margin_5 : 20
121.25/23.59	c (15,0) c Margin_6 : 20
121.25/23.59	c (15,0) c Margin_7 : 20
121.25/23.59	c (15,0) c Margin_total : 160
121.25/23.59	c (15,0) c Margin_winner : 20
121.25/23.59	c (15,0) c Exported_0 : 4065
121.25/23.59	c (15,0) c Exported_1 : 5201
121.25/23.59	c (15,0) c Exported_2 : 4895
121.25/23.59	c (15,0) c Exported_3 : 5129
121.25/23.59	c (15,0) c Exported_4 : 4241
121.25/23.59	c (15,0) c Exported_5 : 6643
121.25/23.59	c (15,0) c Exported_6 : 4727
121.25/23.59	c (15,0) c Exported_7 : 5094
121.25/23.59	c (15,0) c Exported_total : 39995
121.25/23.59	c (15,0) c Exported_winner : 5129
121.25/23.59	c (15,0) c Imported_0 : 29610
121.25/23.59	c (15,0) c Imported_1 : 29389
121.25/23.59	c (15,0) c Imported_2 : 32291
121.25/23.59	c (15,0) c Imported_3 : 28381
121.25/23.59	c (15,0) c Imported_4 : 32414
121.25/23.59	c (15,0) c Imported_5 : 28126
121.25/23.59	c (15,0) c Imported_6 : 29510
121.25/23.59	c (15,0) c Imported_7 : 31622
121.25/23.59	c (15,0) c Imported_total : 241343
121.25/23.59	c (15,0) c Imported_winner : 28381
121.25/23.59	c (15,0) c Good_0 : 1178
121.25/23.59	c (15,0) c Good_1 : 1122
121.25/23.59	c (15,0) c Good_2 : 1304
121.25/23.59	c (15,0) c Good_3 : 1049
121.25/23.59	c (15,0) c Good_4 : 1253
121.25/23.59	c (15,0) c Good_5 : 1089
121.25/23.59	c (15,0) c Good_6 : 1091
121.25/23.59	c (15,0) c Good_7 : 1161
121.25/23.59	c (15,0) c Good_total : 9247
121.25/23.59	c (15,0) c Good_winner : 1049
121.25/23.59	c (15,0) c Purge_0 : 28432
121.25/23.59	c (15,0) c Purge_1 : 28267
121.25/23.59	c (15,0) c Purge_2 : 30987
121.25/23.59	c (15,0) c Purge_3 : 27332
121.25/23.59	c (15,0) c Purge_4 : 31161
121.25/23.59	c (15,0) c Purge_5 : 27037
121.25/23.59	c (15,0) c Purge_6 : 28419
121.25/23.59	c (15,0) c Purge_7 : 30461
121.25/23.59	c (15,0) c Purge_total : 232096
121.25/23.59	c (15,0) c Purge_winner : 27332
121.25/23.59	c (15,0) c Promoted_0 : 874
121.25/23.59	c (15,0) c Promoted_1 : 473
121.25/23.59	c (15,0) c Promoted_2 : 1269
121.25/23.59	c (15,0) c Promoted_3 : 1254
121.25/23.59	c (15,0) c Promoted_4 : 1119
121.25/23.59	c (15,0) c Promoted_5 : 1026
121.25/23.59	c (15,0) c Promoted_6 : 993
121.25/23.59	c (15,0) c Promoted_7 : 421
121.25/23.59	c (15,0) c Promoted_total : 7429
121.25/23.59	c (15,0) c Promoted_winner : 1254
121.25/23.59	c (15,0) c Remove_Imp_0 : 4628
121.25/23.59	c (15,0) c Remove_Imp_1 : 0
121.25/23.59	c (15,0) c Remove_Imp_2 : 0
121.25/23.59	c (15,0) c Remove_Imp_3 : 11013
121.25/23.59	c (15,0) c Remove_Imp_4 : 0
121.25/23.59	c (15,0) c Remove_Imp_5 : 9499
121.25/23.59	c (15,0) c Remove_Imp_6 : 0
121.25/23.59	c (15,0) c Remove_Imp_7 : 13731
121.25/23.59	c (15,0) c Remove_Imp_total : 38871
121.25/23.59	c (15,0) c Remove_Imp_winner : 11013
121.25/23.59	c (15,0) c Blocked_Reuse_0 : 0
121.25/23.59	c (15,0) c Blocked_Reuse_1 : 0
121.25/23.59	c (15,0) c Blocked_Reuse_2 : 0
121.25/23.59	c (15,0) c Blocked_Reuse_3 : 0
121.25/23.59	c (15,0) c Blocked_Reuse_4 : 0
121.25/23.59	c (15,0) c Blocked_Reuse_5 : 0
121.25/23.59	c (15,0) c Blocked_Reuse_6 : 0
121.25/23.59	c (15,0) c Blocked_Reuse_7 : 0
121.25/23.59	c (15,0) c Blocked_Reuse_total : 0
121.25/23.59	c (15,0) c Blocked_Reuse_winner : 0
121.25/23.59	c (15,0) c Unaries_0 : 23
121.25/23.59	c (15,0) c Unaries_1 : 23
121.25/23.59	c (15,0) c Unaries_2 : 27
121.25/23.59	c (15,0) c Unaries_3 : 29
121.25/23.59	c (15,0) c Unaries_4 : 30
121.25/23.59	c (15,0) c Unaries_5 : 35
121.25/23.59	c (15,0) c Unaries_6 : 19
121.25/23.59	c (15,0) c Unaries_7 : 22
121.25/23.59	c (15,0) c Unaries_total : 208
121.25/23.59	c (15,0) c Unaries_winner : 29
121.25/23.59	c (15,0) c Binaries_0 : 106
121.25/23.59	c (15,0) c Binaries_1 : 183
121.25/23.59	c (15,0) c Binaries_2 : 129
121.25/23.59	c (15,0) c Binaries_3 : 236
121.25/23.59	c (15,0) c Binaries_4 : 158
121.25/23.59	c (15,0) c Binaries_5 : 251
121.25/23.59	c (15,0) c Binaries_6 : 243
121.25/23.59	c (15,0) c Binaries_7 : 247
121.25/23.59	c (15,0) c Binaries_total : 1553
121.25/23.59	c (15,0) c Binaries_winner : 236
121.25/23.59	c (15,0) c Glues_0 : 414
121.25/23.59	c (15,0) c Glues_1 : 516
121.25/23.59	c (15,0) c Glues_2 : 579
121.25/23.59	c (15,0) c Glues_3 : 794
121.25/23.59	c (15,0) c Glues_4 : 523
121.25/23.59	c (15,0) c Glues_5 : 675
121.25/23.59	c (15,0) c Glues_6 : 557
121.25/23.59	c (15,0) c Glues_7 : 701
121.25/23.59	c (15,0) c Glues_total : 4759
121.25/23.59	c (15,0) c Glues_winner : 794
121.25/23.59	c (15,0) c RunningTime_0 : 12.355862
121.25/23.59	c (15,0) c RunningTime_1 : 12.653676
121.25/23.59	c (15,0) c RunningTime_2 : 12.255679
121.25/23.59	c (15,0) c RunningTime_3 : 12.244796
121.25/23.59	c (15,0) c RunningTime_4 : 12.292994
121.25/23.59	c (15,0) c RunningTime_5 : 12.260321
121.25/23.59	c (15,0) c RunningTime_6 : 12.278993
121.25/23.59	c (15,0) c RunningTime_7 : 12.263381
121.25/23.59	c (15,0) c RunningTime_total : 98.605702
121.25/23.59	c (15,0) c RunningTime_winner : 12.244796
121.25/23.59	c (15,0) c WaitingTime_0 : 0.000050
121.25/23.59	c (15,0) c WaitingTime_1 : 0.000041
121.25/23.59	c (15,0) c WaitingTime_2 : 0.000086
121.25/23.59	c (15,0) c WaitingTime_3 : 0.000065
121.25/23.59	c (15,0) c WaitingTime_4 : 0.000086
121.25/23.59	c (15,0) c WaitingTime_5 : 0.000062
121.25/23.59	c (15,0) c WaitingTime_6 : 0.000054
121.25/23.59	c (15,0) c WaitingTime_7 : 0.000078
121.25/23.59	c (15,0) c WaitingTime_total : 0.000521
121.25/23.59	c (15,0) c WaitingTime_winner : 0.000065
121.25/23.59	c (15,0) c ExchangingTime_0 : 0.013859
121.25/23.59	c (15,0) c ExchangingTime_1 : 0.013146
121.25/23.59	c (15,0) c ExchangingTime_2 : 0.013149
121.25/23.59	c (15,0) c ExchangingTime_3 : 0.012796
121.25/23.59	c (15,0) c ExchangingTime_4 : 0.013123
121.25/23.59	c (15,0) c ExchangingTime_5 : 0.017420
121.25/23.59	c (15,0) c ExchangingTime_6 : 0.017500
121.25/23.59	c (15,0) c ExchangingTime_7 : 0.013563
121.25/23.59	c (15,0) c ExchangingTime_total : 0.114556
121.25/23.59	c (15,0) c ExchangingTime_winner : 0.012796
121.25/23.59	c (15,0) c PeriodProcTime_0 : 0.000606
121.25/23.59	c (15,0) c PeriodProcTime_1 : 0.000615
121.25/23.59	c (15,0) c PeriodProcTime_2 : 0.000650
121.25/23.59	c (15,0) c PeriodProcTime_3 : 0.000556
121.25/23.59	c (15,0) c PeriodProcTime_4 : 0.000681
121.25/23.59	c (15,0) c PeriodProcTime_5 : 0.000633
121.25/23.59	c (15,0) c PeriodProcTime_6 : 0.000536
121.25/23.59	c (15,0) c PeriodProcTime_7 : 0.000618
121.25/23.59	c (15,0) c PeriodProcTime_total : 0.004894
121.25/23.59	c (15,0) c PeriodProcTime_winner : 0.000556
121.25/23.59	c (15,0) c SolvingTime_0 : 12.370377
121.25/23.59	c (15,0) c SolvingTime_1 : 12.667478
121.25/23.59	c (15,0) c SolvingTime_2 : 12.269565
121.25/23.59	c (15,0) c SolvingTime_3 : 12.258213
121.25/23.59	c (15,0) c SolvingTime_4 : 12.306884
121.25/23.59	c (15,0) c SolvingTime_5 : 12.278435
121.25/23.59	c (15,0) c SolvingTime_6 : 12.297083
121.25/23.59	c (15,0) c SolvingTime_7 : 12.277639
121.25/23.59	c (15,0) c SolvingTime_total : 98.725673
121.25/23.59	c (15,0) c SolvingTime_winner : 12.258213
121.25/23.59	c (15,0) c PropagationTime_0 : 9.253880
121.25/23.59	c (15,0) c PropagationTime_1 : 9.755944
121.25/23.59	c (15,0) c PropagationTime_2 : 8.961899
121.25/23.59	c (15,0) c PropagationTime_3 : 9.270504
121.25/23.59	c (15,0) c PropagationTime_4 : 8.983374
121.25/23.59	c (15,0) c PropagationTime_5 : 9.010701
121.25/23.59	c (15,0) c PropagationTime_6 : 9.365349
121.25/23.59	c (15,0) c PropagationTime_7 : 9.125992
121.25/23.59	c (15,0) c PropagationTime_total : 73.727643
121.25/23.59	c (15,0) c PropagationTime_winner : 9.270504
121.25/23.59	c (15,0) c AnalysisTime_0 : 1.895736
121.25/23.59	c (15,0) c AnalysisTime_1 : 1.762708
121.25/23.59	c (15,0) c AnalysisTime_2 : 2.189789
121.25/23.59	c (15,0) c AnalysisTime_3 : 1.630017
121.25/23.59	c (15,0) c AnalysisTime_4 : 2.148936
121.25/23.59	c (15,0) c AnalysisTime_5 : 1.956154
121.25/23.59	c (15,0) c AnalysisTime_6 : 1.728513
121.25/23.59	c (15,0) c AnalysisTime_7 : 1.941211
121.25/23.59	c (15,0) c AnalysisTime_total : 15.253065
121.25/23.59	c (15,0) c AnalysisTime_winner : 1.630017
121.25/23.59	c (15,0) c ReductionTime_0 : 0.068192
121.25/23.59	c (15,0) c ReductionTime_1 : 0.068880
121.25/23.59	c (15,0) c ReductionTime_2 : 0.003713
121.25/23.59	c (15,0) c ReductionTime_3 : 0.060534
121.25/23.59	c (15,0) c ReductionTime_4 : 0.003602
121.25/23.59	c (15,0) c ReductionTime_5 : 0.060791
121.25/23.59	c (15,0) c ReductionTime_6 : 0.003986
121.25/23.59	c (15,0) c ReductionTime_7 : 0.063981
121.25/23.59	c (15,0) c ReductionTime_total : 0.333679
121.25/23.59	c (15,0) c ReductionTime_winner : 0.060534
121.25/23.59	c (15,0) c SimplifyTime_0 : 0.269005
121.25/23.59	c (15,0) c SimplifyTime_1 : 0.226576
121.25/23.59	c (15,0) c SimplifyTime_2 : 0.249109
121.25/23.59	c (15,0) c SimplifyTime_3 : 0.239067
121.25/23.59	c (15,0) c SimplifyTime_4 : 0.208384
121.25/23.59	c (15,0) c SimplifyTime_5 : 0.245882
121.25/23.59	c (15,0) c SimplifyTime_6 : 0.247561
121.25/23.59	c (15,0) c SimplifyTime_7 : 0.254301
121.25/23.59	c (15,0) c SimplifyTime_total : 1.939884
121.25/23.59	c (15,0) c SimplifyTime_winner : 0.239067
121.25/23.59	c (15,0) c UsedRateTime_0 : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_1 : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_2 : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_3 : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_4 : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_5 : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_6 : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_7 : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_total : 0.000000
121.25/23.59	c (15,0) c UsedRateTime_winner : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_0 : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_1 : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_2 : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_3 : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_4 : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_5 : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_6 : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_7 : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_total : 0.000000
121.25/23.59	c (15,0) c OverlapRateTime_winner : 0.000000
121.25/23.59	c (15,0) c
121.25/23.59	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
121.25/23.59	c (15,0) c
121.25/23.59	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.59	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
121.25/23.59	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.59	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
121.25/23.59	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
121.25/23.59	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
121.25/23.59	c (15,0) c | Initial random_seed   |  540924749 |  946345712 |   74873926 | 1554943459 |  509079365 |  671150466 |   17552845 | 2041643711 |
121.25/23.59	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
121.25/23.59	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
121.25/23.59	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
121.25/23.60	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
121.25/23.60	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
121.25/23.60	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
121.25/23.60	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
121.25/23.60	c (15,0) c | var_decay             |     0.8300 |     0.8400 |     0.8400 |     0.8500 |     0.8400 |     0.8500 |     0.8400 |     0.8500 |
121.25/23.60	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
121.25/23.60	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
121.25/23.60	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
121.25/23.60	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
121.25/23.60	c (15,0) 
121.25/23.60	c (15,0) s SATISFIABLE
121.87/23.83	c (15,0) SatSolver.solve End
121.87/23.83	c (15,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
121.87/23.83	c (15,0) Show results Begin
122.05/23.90	c (15,0) cx[0] = 1
122.05/23.90	c (15,0) cx[1] = 4
122.05/23.90	c (15,0) cx[2] = 9
122.05/23.90	c (15,0) cx[3] = 16
122.05/23.90	c (15,0) cx[4] = 25
122.05/23.90	c (15,0) cx[5] = 36
122.05/23.90	c (15,0) cx[6] = 49
122.05/23.90	c (15,0) cx[7] = 81
122.05/23.90	c (15,0) cx[8] = 576
122.05/23.90	c (15,0) cx[9] = 676
122.05/23.90	c (15,0) cx[10] = 729
122.05/23.90	c (15,0) cx[11] = 784
122.05/23.90	c (15,0) cx[12] = 1089
122.05/23.90	c (15,0) cx[13] = 1156
122.05/23.90	c (15,0) cx[14] = 1225
122.05/23.90	c (15,0) cx[15] = 1296
122.05/23.90	c (15,0) cx[16] = 1369
122.05/23.90	c (15,0) cx[17] = 1444
122.05/23.90	c (15,0) cx[18] = 1521
122.05/23.90	c (15,0) cx[19] = 1600
122.05/23.90	c (15,0) cx[20] = 1681
122.05/23.90	c (15,0) cx[21] = 1764
122.05/23.90	c (15,0) cx[22] = 1849
122.05/23.90	c (15,0) cx[23] = 1936
122.05/23.90	c (15,0) cx[24] = 2601
122.05/23.90	c (15,0) cx[25] = 2704
122.05/23.90	c (15,0) cx[26] = 2809
122.05/23.90	c (15,0) cx[27] = 2916
122.05/23.90	c (15,0) cx[28] = 3025
122.05/23.90	c (15,0) cx[29] = 3136
122.05/23.90	c (15,0) cx[30] = 3249
122.05/23.90	c (15,0) cx[31] = 3364
122.05/23.90	c (15,0) cy[0] = 64
122.05/23.90	c (15,0) cy[1] = 100
122.05/23.90	c (15,0) cy[2] = 121
122.05/23.90	c (15,0) cy[3] = 144
122.05/23.90	c (15,0) cy[4] = 169
122.05/23.90	c (15,0) cy[5] = 196
122.05/23.90	c (15,0) cy[6] = 225
122.05/23.90	c (15,0) cy[7] = 256
122.05/23.90	c (15,0) cy[8] = 289
122.05/23.90	c (15,0) cy[9] = 324
122.05/23.90	c (15,0) cy[10] = 361
122.05/23.90	c (15,0) cy[11] = 400
122.05/23.90	c (15,0) cy[12] = 441
122.05/23.90	c (15,0) cy[13] = 484
122.05/23.90	c (15,0) cy[14] = 529
122.05/23.90	c (15,0) cy[15] = 625
122.05/23.90	c (15,0) cy[16] = 841
122.05/23.90	c (15,0) cy[17] = 900
122.05/23.90	c (15,0) cy[18] = 961
122.05/23.90	c (15,0) cy[19] = 1024
122.05/23.90	c (15,0) cy[20] = 2025
122.05/23.90	c (15,0) cy[21] = 2116
122.05/23.90	c (15,0) cy[22] = 2209
122.05/23.90	c (15,0) cy[23] = 2304
122.05/23.90	c (15,0) cy[24] = 2401
122.05/23.90	c (15,0) cy[25] = 2500
122.05/23.90	c (15,0) cy[26] = 3481
122.05/23.90	c (15,0) cy[27] = 3600
122.05/23.90	c (15,0) cy[28] = 3721
122.05/23.90	c (15,0) cy[29] = 3844
122.05/23.90	c (15,0) cy[30] = 3969
122.05/23.90	c (15,0) cy[31] = 4096
122.05/23.90	c (15,0) x[0] = 1
122.05/23.90	c (15,0) x[1] = 2
122.05/23.90	c (15,0) x[2] = 3
122.05/23.90	c (15,0) x[3] = 4
122.05/23.90	c (15,0) x[4] = 5
122.05/23.90	c (15,0) x[5] = 6
122.05/23.90	c (15,0) x[6] = 7
122.05/23.90	c (15,0) x[7] = 9
122.05/23.90	c (15,0) x[8] = 24
122.05/23.90	c (15,0) x[9] = 26
122.05/23.90	c (15,0) x[10] = 27
122.05/23.90	c (15,0) x[11] = 28
122.05/23.90	c (15,0) x[12] = 33
122.05/23.90	c (15,0) x[13] = 34
122.05/23.90	c (15,0) x[14] = 35
122.05/23.90	c (15,0) x[15] = 36
122.05/23.90	c (15,0) x[16] = 37
122.05/23.90	c (15,0) x[17] = 38
122.05/23.90	c (15,0) x[18] = 39
122.05/23.90	c (15,0) x[19] = 40
122.05/23.90	c (15,0) x[20] = 41
122.05/23.90	c (15,0) x[21] = 42
122.05/23.91	c (15,0) x[22] = 43
122.05/23.91	c (15,0) x[23] = 44
122.05/23.91	c (15,0) x[24] = 51
122.05/23.91	c (15,0) x[25] = 52
122.05/23.91	c (15,0) x[26] = 53
122.05/23.91	c (15,0) x[27] = 54
122.05/23.91	c (15,0) x[28] = 55
122.05/23.91	c (15,0) x[29] = 56
122.05/23.91	c (15,0) x[30] = 57
122.05/23.91	c (15,0) x[31] = 58
122.05/23.91	c (15,0) y[0] = 8
122.05/23.91	c (15,0) y[1] = 10
122.05/23.91	c (15,0) y[2] = 11
122.05/23.91	c (15,0) y[3] = 12
122.05/23.91	c (15,0) y[4] = 13
122.05/23.91	c (15,0) y[5] = 14
122.05/23.91	c (15,0) y[6] = 15
122.05/23.91	c (15,0) y[7] = 16
122.05/23.91	c (15,0) y[8] = 17
122.05/23.91	c (15,0) y[9] = 18
122.05/23.91	c (15,0) y[10] = 19
122.05/23.91	c (15,0) y[11] = 20
122.05/23.91	c (15,0) y[12] = 21
122.05/23.91	c (15,0) y[13] = 22
122.05/23.91	c (15,0) y[14] = 23
122.05/23.91	c (15,0) y[15] = 25
122.05/23.91	c (15,0) y[16] = 29
122.05/23.91	c (15,0) y[17] = 30
122.05/23.91	c (15,0) y[18] = 31
122.05/23.91	c (15,0) y[19] = 32
122.05/23.91	c (15,0) y[20] = 45
122.05/23.91	c (15,0) y[21] = 46
122.05/23.91	c (15,0) y[22] = 47
122.05/23.91	c (15,0) y[23] = 48
122.05/23.91	c (15,0) y[24] = 49
122.05/23.91	c (15,0) y[25] = 50
122.05/23.91	c (15,0) y[26] = 59
122.05/23.91	c (15,0) y[27] = 60
122.05/23.91	c (15,0) y[28] = 61
122.05/23.91	c (15,0) y[29] = 62
122.05/23.91	c (15,0) y[30] = 63
122.05/23.91	c (15,0) y[31] = 64
122.05/23.91	s SATISFIABLE
122.05/23.92	v <instantiation>
122.05/23.92	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31]</list>
122.05/23.92	v     <values>1 2 3 4 5 6 7 9 24 26 27 28 33 34 35 36 37 38 39 40 41 42 43 44 51 52 53 54 55 56 57 58 8 10 11 12 13 14 15 16 17 18 19 20 21 22 23 25 29 30 31 32 45 46 47 48 49 50 59 60 61 62 63 64 1 4 9 16 25 36 49 81 576 676 729 784 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2601 2704 2809 2916 3025 3136 3249 3364 64 100 121 144 169 196 225 256 289 324 361 400 441 484 529 625 841 900 961 1024 2025 2116 2209 2304 2401 2500 3481 3600 3721 3844 3969 4096</values>
122.05/23.92	v </instantiation>
122.05/23.92	c (15,0) Show results End
122.05/23.92	c (15,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
122.05/23.92	c (15,0) 15,15,STOP-AFTER(ALL)
122.05/23.92	c END-Prog: Sat Sep 14 02:32:28 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392619-1568421170/watcher-4392619-1568421170 -o /tmp/evaluation-result-4392619-1568421170/solver-4392619-1568421170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --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-4392619-1568421170.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=9834, runsolver pid=9831
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 2.66 4.08 5.98 2/211 9856
/proc/meminfo: memFree=31445628/32770624 swapFree=66995596/67108860
[pid=9834] ppid=9831 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9834/stat : 9834 (scop.sh) S 9831 9834 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418368405 115843072 349 33554432000 4194304 5098028 140721519390544 140721519387800 140313279058556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20447232 140721519395620 140721519395948 140721519395948 140721519398861 0
/proc/9834/statm: 28282 349 296 221 0 87 0
[pid=9837] ppid=9834 vsize=27314120 memory=106480 CPUtime=0.1 cores=0-7
/proc/9837/stat : 9837 (java) S 9834 9834 7170 0 -1 1077944320 6171 0 0 0 8 2 0 0 20 0 20 0 418368406 27969658880 26620 33554432000 4194304 4196468 140723758385840 140723758368384 139912161640183 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
/proc/9837/statm: 6828530 26620 2803 1 0 6790935 0
[pid=9837/tid=9838] ppid=9834 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/9837/task/9838/stat : 9838 (java) R 9834 9834 7170 0 -1 4202560 4299 0 0 0 7 2 0 0 20 0 20 0 418368406 27969658880 26620 33554432000 4194304 4196468 140723758385840 139912133458560 139911663593199 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9839] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9839/stat : 9839 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 26620 33554432000 4194304 4196468 140723758385840 139912165882384 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9840] ppid=9834 vsize=27314120 memory=14831979283773080 CPUtime=0 cores=0-7
/proc/9837/task/9840/stat : 9840 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 26620 33554432000 4194304 4196468 140723758385840 139911983970960 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9841] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9841/stat : 9841 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 26620 33554432000 4194304 4196468 140723758385840 139911582611728 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9842] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9842/stat : 9842 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 26620 33554432000 4194304 4196468 140723758385840 139911581559184 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9843] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9843/stat : 9843 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 26620 33554432000 4194304 4196468 140723758385840 139911580507152 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9844] ppid=9834 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9837/task/9844/stat : 9844 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 26620 33554432000 4194304 4196468 140723758385840 139911579454608 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9845] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9845/stat : 9845 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 26620 33554432000 4194304 4196468 140723758385840 139911578401552 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9846] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9846/stat : 9846 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 26620 33554432000 4194304 4196468 140723758385840 139911577349008 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9847] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9847/stat : 9847 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368410 27969658880 26620 33554432000 4194304 4196468 140723758385840 139910414739696 139912161651330 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9848] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9848/stat : 9848 (java) S 9834 9834 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418368410 27969658880 26620 33554432000 4194304 4196468 140723758385840 139910036055200 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9849] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9849/stat : 9849 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368411 27969658880 26620 33554432000 4194304 4196468 140723758385840 139909767619312 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9850] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9850/stat : 9850 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 26620 33554432000 4194304 4196468 140723758385840 139909393110992 139912161658779 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9851] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9851/stat : 9851 (java) S 9834 9834 7170 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 26620 33554432000 4194304 4196468 140723758385840 139910413687536 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9852] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9852/stat : 9852 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 26620 33554432000 4194304 4196468 140723758385840 139910412634992 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9853] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9853/stat : 9853 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 27132 33554432000 4194304 4196468 140723758385840 139910411581936 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9854] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9854/stat : 9854 (java) S 9834 9834 7170 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 27132 33554432000 4194304 4196468 140723758385840 139910410529392 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9855] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9855/stat : 9855 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 27132 33554432000 4194304 4196468 140723758385840 139908895205856 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9856] ppid=9834 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9837/task/9856/stat : 9856 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368414 27969658880 27132 33554432000 4194304 4196468 140723758385840 139910409476784 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107876 KiB

[startup+0.210088 s]*
/proc/loadavg: 2.66 4.08 5.98 3/211 9856
/proc/meminfo: memFree=31427404/32770624 swapFree=66995596/67108860
[pid=9834] ppid=9831 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9834/stat : 9834 (scop.sh) S 9831 9834 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418368405 115843072 349 33554432000 4194304 5098028 140721519390544 140721519387800 140313279058556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20447232 140721519395620 140721519395948 140721519395948 140721519398861 0
/proc/9834/statm: 28282 349 296 221 0 87 0
[pid=9837] ppid=9834 vsize=27314120 memory=123344 CPUtime=0.24 cores=0-7
/proc/9837/stat : 9837 (java) S 9834 9834 7170 0 -1 1077944320 11171 0 0 0 20 4 0 0 20 0 20 0 418368406 27969658880 30836 33554432000 4194304 4196468 140723758385840 140723758368384 139912161640183 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
/proc/9837/statm: 6828530 30836 2956 1 0 6790935 0
[pid=9837/tid=9838] ppid=9834 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9837/task/9838/stat : 9838 (java) R 9834 9834 7170 0 -1 4202560 8900 0 0 0 16 3 0 0 20 0 20 0 418368406 27969658880 30836 33554432000 4194304 4196468 140723758385840 139912133439568 139912143203697 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9839] ppid=9834 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/9837/task/9839/stat : 9839 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 30836 33554432000 4194304 4196468 140723758385840 139912165882384 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9840] ppid=9834 vsize=27314120 memory=13988666750170776 CPUtime=0 cores=0-7
/proc/9837/task/9840/stat : 9840 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 30836 33554432000 4194304 4196468 140723758385840 139911983970960 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9841] ppid=9834 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9837/task/9841/stat : 9841 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 30836 33554432000 4194304 4196468 140723758385840 139911582611728 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9842] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9842/stat : 9842 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 30836 33554432000 4194304 4196468 140723758385840 139911581559184 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9843] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9843/stat : 9843 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 30836 33554432000 4194304 4196468 140723758385840 139911580507152 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9844] ppid=9834 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9837/task/9844/stat : 9844 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 30836 33554432000 4194304 4196468 140723758385840 139911579454608 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9845] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9845/stat : 9845 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 30836 33554432000 4194304 4196468 140723758385840 139911578401552 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9846] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9846/stat : 9846 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 30836 33554432000 4194304 4196468 140723758385840 139911577349008 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9847] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9847/stat : 9847 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368410 27969658880 30836 33554432000 4194304 4196468 140723758385840 139910414739696 139912161651330 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9848] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9848/stat : 9848 (java) S 9834 9834 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418368410 27969658880 30836 33554432000 4194304 4196468 140723758385840 139910036055200 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9849] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9849/stat : 9849 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368411 27969658880 30836 33554432000 4194304 4196468 140723758385840 139909767619312 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9850] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9850/stat : 9850 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 30836 33554432000 4194304 4196468 140723758385840 139909393110992 139912161658779 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9851] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9851/stat : 9851 (java) S 9834 9834 7170 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 30836 33554432000 4194304 4196468 140723758385840 139910413687536 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9852] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9852/stat : 9852 (java) S 9834 9834 7170 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 30836 33554432000 4194304 4196468 140723758385840 139910412634992 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9853] ppid=9834 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9837/task/9853/stat : 9853 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 30836 33554432000 4194304 4196468 140723758385840 139910411581936 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9854] ppid=9834 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/9837/task/9854/stat : 9854 (java) S 9834 9834 7170 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 418368413 27969658880 30836 33554432000 4194304 4196468 140723758385840 139910410529392 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9855] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9855/stat : 9855 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 30836 33554432000 4194304 4196468 140723758385840 139908895205856 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9856] ppid=9834 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9837/task/9856/stat : 9856 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368414 27969658880 30836 33554432000 4194304 4196468 140723758385840 139910409476784 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124740 KiB

[startup+0.309381 s]*
/proc/loadavg: 2.66 4.08 5.98 2/211 9856
/proc/meminfo: memFree=31424200/32770624 swapFree=66995596/67108860
[pid=9834] ppid=9831 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9834/stat : 9834 (scop.sh) S 9831 9834 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418368405 115843072 349 33554432000 4194304 5098028 140721519390544 140721519387800 140313279058556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20447232 140721519395620 140721519395948 140721519395948 140721519398861 0
/proc/9834/statm: 28282 349 296 221 0 87 0
[pid=9837] ppid=9834 vsize=27314120 memory=127452 CPUtime=0.42 cores=0-7
/proc/9837/stat : 9837 (java) S 9834 9834 7170 0 -1 1077944320 11755 0 0 0 38 4 0 0 20 0 20 0 418368406 27969658880 31863 33554432000 4194304 4196468 140723758385840 140723758368384 139912161640183 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
/proc/9837/statm: 6828530 31863 3042 1 0 6790935 0
[pid=9837/tid=9838] ppid=9834 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/9837/task/9838/stat : 9838 (java) R 9834 9834 7170 0 -1 4202560 9279 0 0 0 26 4 0 0 20 0 20 0 418368406 27969658880 31863 33554432000 4194304 4196468 140723758385840 139912133434288 139912141914958 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9839] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9839/stat : 9839 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 31863 33554432000 4194304 4196468 140723758385840 139912165882384 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9840] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9840/stat : 9840 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 31863 33554432000 4194304 4196468 140723758385840 139911983970960 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9841] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9841/stat : 9841 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 31863 33554432000 4194304 4196468 140723758385840 139911582611728 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9842] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9842/stat : 9842 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 31863 33554432000 4194304 4196468 140723758385840 139911581559184 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9843] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9843/stat : 9843 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 31863 33554432000 4194304 4196468 140723758385840 139911580507152 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9844] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9844/stat : 9844 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 31863 33554432000 4194304 4196468 140723758385840 139911579454608 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9845] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9845/stat : 9845 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 31863 33554432000 4194304 4196468 140723758385840 139911578401552 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9846] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9846/stat : 9846 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368408 27969658880 31863 33554432000 4194304 4196468 140723758385840 139911577349008 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9847] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9847/stat : 9847 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368410 27969658880 31863 33554432000 4194304 4196468 140723758385840 139910414739696 139912161651330 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9848] ppid=9834 vsize=27314120 memory=280152395423104 CPUtime=0 cores=0-7
/proc/9837/task/9848/stat : 9848 (java) S 9834 9834 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418368410 27969658880 31863 33554432000 4194304 4196468 140723758385840 139910036055200 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9849] ppid=9834 vsize=27314120 memory=280152395427712 CPUtime=0 cores=0-7
/proc/9837/task/9849/stat : 9849 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368411 27969658880 31863 33554432000 4194304 4196468 140723758385840 139909767619312 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9850] ppid=9834 vsize=27314120 memory=280152395432320 CPUtime=0 cores=0-7
/proc/9837/task/9850/stat : 9850 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 31863 33554432000 4194304 4196468 140723758385840 139909393110992 139912161658779 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9851] ppid=9834 vsize=27314120 memory=280152395436928 CPUtime=0.02 cores=0-7
/proc/9837/task/9851/stat : 9851 (java) R 9834 9834 7170 0 -1 4202560 421 0 0 0 2 0 0 0 20 0 20 0 418368413 27969658880 31863 33554432000 4194304 4196468 140723758385840 139910413687536 139912146561936 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9852] ppid=9834 vsize=27314120 memory=280152395441536 CPUtime=0.01 cores=0-7
/proc/9837/task/9852/stat : 9852 (java) S 9834 9834 7170 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 20 0 418368413 27969658880 31863 33554432000 4194304 4196468 140723758385840 139910412634992 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9853] ppid=9834 vsize=27314120 memory=280152395446144 CPUtime=0 cores=0-7
/proc/9837/task/9853/stat : 9853 (java) S 9834 9834 7170 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 31863 33554432000 4194304 4196468 140723758385840 139910411581936 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9854] ppid=9834 vsize=27314120 memory=280152395450752 CPUtime=0.07 cores=0-7
/proc/9837/task/9854/stat : 9854 (java) S 9834 9834 7170 0 -1 1077944384 527 0 0 0 7 0 0 0 20 0 20 0 418368413 27969658880 31863 33554432000 4194304 4196468 140723758385840 139910410529392 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9855] ppid=9834 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9855/stat : 9855 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368413 27969658880 31863 33554432000 4194304 4196468 140723758385840 139908895205856 139912161650389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9856] ppid=9834 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9837/task/9856/stat : 9856 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418368414 27969658880 31863 33554432000 4194304 4196468 140723758385840 139910409476784 139912161651330 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128848 KiB

[startup+0.700914 s]
/proc/loadavg: 2.66 4.08 5.98 2/211 9856
/proc/meminfo: memFree=31400616/32770624 swapFree=66995596/67108860
[pid=9834] ppid=9831 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9834/stat : 9834 (scop.sh) S 9831 9834 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418368405 115843072 349 33554432000 4194304 5098028 140721519390544 140721519387800 140313279058556 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20447232 140721519395620 140721519395948 140721519395948 140721519398861 0
/proc/9834/statm: 28282 349 296 221 0 87 0
[pid=9837] ppid=9834 vsize=27322516 memory=165140 CPUtime=0.98 cores=0-7
/proc/9837/stat : 9837 (java) S 9834 9834 7170 0 -1 1077944320 19943 0 0 0 91 7 0 0 20 0 20 0 418368406 27978256384 41285 33554432000 4194304 4196468 140723758385840 140723758368384 139912161640183 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
/proc/9837/statm: 6830629 41285 3199 1 0 6791959 0
[pid=9837/tid=9838] ppid=9834 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/9837/task/9838/stat : 9838 (java) R 9834 9834 7170 0 -1 4202560 17011 0 0 0 62 6 0 0 20 0 20 0 418368406 27978256384 41285 33554432000 4194304 4196468 140723758385840 139912133471952 139912153877310 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9839] ppid=9834 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9839/stat : 9839 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27978256384 41285 33554432000 4194304 4196468 140723758385840 139912165882384 139912161650389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9840] ppid=9834 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/9837/task/9840/stat : 9840 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418368408 27978256384 41285 33554432000 4194304 4196468 140723758385840 139911983970960 139912161650389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0
[pid=9837/tid=9841] ppid=9834 vsize=27322516 memory=8556 CPUtime=0 cores=0-7
/proc/9837/task/9841/stat : 9841 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418368408 27978256384 41285 33554432000 4194304 4196468 140723758385840 139911582611728 139912161650389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140723758392043 140723758392470 140723758392470 140723758395343 0

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

[pid=9857/tid=9859] ppid=9834 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9857/task/9859/stat : 9859 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418369165 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208699882512 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9860] ppid=9834 vsize=8414124 memory=7019467087990372409 CPUtime=0 cores=0-7
/proc/9857/task/9860/stat : 9860 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418369165 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208500051088 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9861] ppid=9834 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/9857/task/9861/stat : 9861 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418369165 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208498998032 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9862] ppid=9834 vsize=8414124 memory=8556 CPUtime=0 cores=0-7
/proc/9857/task/9862/stat : 9862 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418369165 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208497945488 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9863] ppid=9834 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/9857/task/9863/stat : 9863 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418369165 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208496892432 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9864] ppid=9834 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/9857/task/9864/stat : 9864 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418369165 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208495839888 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9865] ppid=9834 vsize=8414124 memory=3440 CPUtime=0 cores=0-7
/proc/9857/task/9865/stat : 9865 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418369165 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208494786832 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9866] ppid=9834 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/9857/task/9866/stat : 9866 (java) S 9834 9834 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418369165 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208493734288 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9867] ppid=9834 vsize=8414124 memory=5904 CPUtime=0 cores=0-7
/proc/9857/task/9867/stat : 9867 (java) S 9834 9834 7170 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418369166 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208057047792 140208695650946 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9868] ppid=9834 vsize=8414124 memory=664 CPUtime=0 cores=0-7
/proc/9857/task/9868/stat : 9868 (java) S 9834 9834 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418369167 8616062976 32758 33554432000 4194304 4196468 140729925274176 140206992778912 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9869] ppid=9834 vsize=8414124 memory=1156 CPUtime=0 cores=0-7
/proc/9857/task/9869/stat : 9869 (java) S 9834 9834 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418369167 8616062976 32758 33554432000 4194304 4196468 140729925274176 140206858556656 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9870] ppid=9834 vsize=8414124 memory=1000 CPUtime=0 cores=0-7
/proc/9857/task/9870/stat : 9870 (java) S 9834 9834 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418369169 8616062976 32758 33554432000 4194304 4196468 140729925274176 140206484052432 140208695658395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9871] ppid=9834 vsize=8414124 memory=14008 CPUtime=0.13 cores=0-7
/proc/9857/task/9871/stat : 9871 (java) S 9834 9834 7170 0 -1 1077944384 557 0 0 0 13 0 0 0 20 0 24 0 418369169 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208055994608 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9872] ppid=9834 vsize=8414124 memory=-4075877051373423737 CPUtime=0.15 cores=0-7
/proc/9857/task/9872/stat : 9872 (java) S 9834 9834 7170 0 -1 1077944384 738 0 0 0 15 0 0 0 20 0 24 0 418369169 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208054942064 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9873] ppid=9834 vsize=8414124 memory=127748 CPUtime=0.17 cores=0-7
/proc/9857/task/9873/stat : 9873 (java) R 9834 9834 7170 0 -1 4202560 577 0 0 0 17 0 0 0 20 0 24 0 418369169 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208053889008 140208673234576 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9874] ppid=9834 vsize=8414124 memory=1079484 CPUtime=0.27 cores=0-7
/proc/9857/task/9874/stat : 9874 (java) R 9834 9834 7170 0 -1 4202560 966 0 0 0 27 0 0 0 20 0 24 0 418369169 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208052832536 140208674774272 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9875] ppid=9834 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/9857/task/9875/stat : 9875 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418369169 8616062976 32758 33554432000 4194304 4196468 140729925274176 140205986147296 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9876] ppid=9834 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/9857/task/9876/stat : 9876 (java) S 9834 9834 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418369170 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208051784880 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9878] ppid=9834 vsize=8414124 memory=1604 CPUtime=0 cores=0-7
/proc/9857/task/9878/stat : 9878 (java) S 9834 9834 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418369247 8616062976 32758 33554432000 4194304 4196468 140729925274176 140208042210752 140208695664409 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9880] ppid=9834 vsize=8414124 memory=1980 CPUtime=0.02 cores=0-7
/proc/9857/task/9880/stat : 9880 (java) R 9834 9834 7170 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 24 0 418369247 8616062976 32758 33554432000 4194304 4196468 140729925274176 140205315053904 140208695661725 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9881] ppid=9834 vsize=8414124 memory=2356 CPUtime=0 cores=0-7
/proc/9857/task/9881/stat : 9881 (java) S 9834 9834 7170 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 418369248 8616062976 32758 33554432000 4194304 4196468 140729925274176 140205583482544 140208695661725 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9882] ppid=9834 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/9857/task/9882/stat : 9882 (java) S 9834 9834 7170 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418369250 8616062976 32758 33554432000 4194304 4196468 140729925274176 140205046619056 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
Current children cumulated CPU time: 121.4 s
Current children cumulated vsize: 10108836 KiB
Current children cumulated memory: 1265348 KiB

[startup+23.8011 s]
/proc/loadavg: 3.95 4.25 5.98 9/224 9890
/proc/meminfo: memFree=30282184/32770624 swapFree=66995596/67108860
[pid=9834] ppid=9831 vsize=113128 memory=1476 CPUtime=19.72 cores=0-7
/proc/9834/stat : 9834 (scop.sh) S 9831 9834 7170 0 -1 4202496 582 36455 0 0 0 0 1911 61 20 0 1 0 418368405 115843072 369 33554432000 4194304 5098028 140721519390544 140721519387288 140313279058556 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20447232 140721519395620 140721519395948 140721519395948 140721519398861 0
/proc/9834/statm: 28282 369 311 221 0 87 0
[pid=9857] ppid=9834 vsize=8414124 memory=200520 CPUtime=102.15 cores=0-7
/proc/9857/stat : 9857 (java) S 9834 9834 7170 0 -1 1077944320 22258 479345 0 0 189 12 9909 105 20 0 23 0 418369163 8616062976 50130 33554432000 4194304 4196468 140729925274176 140729925256720 140208695639799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
/proc/9857/statm: 2103531 50130 3230 1 0 2064875 0
[pid=9857/tid=9858] ppid=9834 vsize=8414124 memory=1764 CPUtime=101.01 cores=0-7
/proc/9857/task/9858/stat : 9858 (java) S 9834 9834 7170 0 -1 1077944384 17529 479345 0 0 79 8 9909 105 20 0 23 0 418369163 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208667479968 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9859] ppid=9834 vsize=8414124 memory=111632 CPUtime=100.14 cores=0-7
/proc/9857/task/9859/stat : 9859 (java) S 9834 9834 7170 0 -1 1077944384 2 479345 0 0 0 0 9909 105 20 0 23 0 418369165 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208699882512 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9860] ppid=9834 vsize=8414124 memory=808 CPUtime=100.14 cores=0-7
/proc/9857/task/9860/stat : 9860 (java) S 9834 9834 7170 0 -1 1077944384 2 479345 0 0 0 0 9909 105 20 0 23 0 418369165 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208500051088 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9861] ppid=9834 vsize=8414124 memory=1808 CPUtime=100.14 cores=0-7
/proc/9857/task/9861/stat : 9861 (java) S 9834 9834 7170 0 -1 1077944384 1 479345 0 0 0 0 9909 105 20 0 23 0 418369165 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208498998032 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9862] ppid=9834 vsize=8414124 memory=920 CPUtime=100.14 cores=0-7
/proc/9857/task/9862/stat : 9862 (java) S 9834 9834 7170 0 -1 1077944384 3 479345 0 0 0 0 9909 105 20 0 23 0 418369165 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208497945488 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9863] ppid=9834 vsize=8414124 memory=6816 CPUtime=100.14 cores=0-7
/proc/9857/task/9863/stat : 9863 (java) S 9834 9834 7170 0 -1 1077944384 1 479345 0 0 0 0 9909 105 20 0 23 0 418369165 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208496892432 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9864] ppid=9834 vsize=8414124 memory=12040 CPUtime=100.14 cores=0-7
/proc/9857/task/9864/stat : 9864 (java) S 9834 9834 7170 0 -1 1077944384 1 479345 0 0 0 0 9909 105 20 0 23 0 418369165 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208495839888 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9865] ppid=9834 vsize=8414124 memory=2124 CPUtime=100.14 cores=0-7
/proc/9857/task/9865/stat : 9865 (java) S 9834 9834 7170 0 -1 1077944384 2 479345 0 0 0 0 9909 105 20 0 23 0 418369165 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208494786832 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9866] ppid=9834 vsize=8414124 memory=1556 CPUtime=100.14 cores=0-7
/proc/9857/task/9866/stat : 9866 (java) S 9834 9834 7170 0 -1 1077944384 2 479345 0 0 0 0 9909 105 20 0 23 0 418369165 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208493734288 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9867] ppid=9834 vsize=8414124 memory=496 CPUtime=100.14 cores=0-7
/proc/9857/task/9867/stat : 9867 (java) S 9834 9834 7170 0 -1 1077944384 7 479345 0 0 0 0 9909 105 20 0 23 0 418369166 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208057047792 140208695650946 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9868] ppid=9834 vsize=8414124 memory=928 CPUtime=100.14 cores=0-7
/proc/9857/task/9868/stat : 9868 (java) S 9834 9834 7170 0 -1 1077944384 13 479345 0 0 0 0 9909 105 20 0 23 0 418369167 8616062976 50130 33554432000 4194304 4196468 140729925274176 140206992778912 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9869] ppid=9834 vsize=8414124 memory=1604 CPUtime=100.14 cores=0-7
/proc/9857/task/9869/stat : 9869 (java) S 9834 9834 7170 0 -1 1077944384 21 479345 0 0 0 0 9909 105 20 0 23 0 418369167 8616062976 50130 33554432000 4194304 4196468 140729925274176 140206858556656 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9870] ppid=9834 vsize=8414124 memory=1980 CPUtime=100.14 cores=0-7
/proc/9857/task/9870/stat : 9870 (java) S 9834 9834 7170 0 -1 1077944384 1 479345 0 0 0 0 9909 105 20 0 23 0 418369169 8616062976 50130 33554432000 4194304 4196468 140729925274176 140206484052432 140208695658395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9871] ppid=9834 vsize=8414124 memory=2356 CPUtime=100.34 cores=0-7
/proc/9857/task/9871/stat : 9871 (java) S 9834 9834 7170 0 -1 1077944384 577 479345 0 0 20 0 9909 105 20 0 23 0 418369169 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208055994608 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9872] ppid=9834 vsize=8414124 memory=1440 CPUtime=100.33 cores=0-7
/proc/9857/task/9872/stat : 9872 (java) S 9834 9834 7170 0 -1 1077944384 754 479345 0 0 19 0 9909 105 20 0 23 0 418369169 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208054942064 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9873] ppid=9834 vsize=8414124 memory=820 CPUtime=100.35 cores=0-7
/proc/9857/task/9873/stat : 9873 (java) R 9834 9834 7170 0 -1 4202560 750 479345 0 0 21 0 9909 105 20 0 23 0 418369169 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208053889008 140208675031932 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9874] ppid=9834 vsize=8414124 memory=1764 CPUtime=100.44 cores=0-7
/proc/9857/task/9874/stat : 9874 (java) S 9834 9834 7170 0 -1 1077944384 1146 479345 0 0 30 0 9909 105 20 0 23 0 418369169 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208052836464 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9875] ppid=9834 vsize=8414124 memory=111632 CPUtime=100.14 cores=0-7
/proc/9857/task/9875/stat : 9875 (java) S 9834 9834 7170 0 -1 1077944384 3 479345 0 0 0 0 9909 105 20 0 23 0 418369169 8616062976 50130 33554432000 4194304 4196468 140729925274176 140205986147296 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9876] ppid=9834 vsize=8414124 memory=808 CPUtime=100.14 cores=0-7
/proc/9857/task/9876/stat : 9876 (java) S 9834 9834 7170 0 -1 1077944384 3 479345 0 0 0 0 9909 105 20 0 23 0 418369170 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208051784880 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9878] ppid=9834 vsize=8414124 memory=1808 CPUtime=100.14 cores=0-7
/proc/9857/task/9878/stat : 9878 (java) S 9834 9834 7170 0 -1 1077944384 25 479345 0 0 0 0 9909 105 20 0 23 0 418369247 8616062976 50130 33554432000 4194304 4196468 140729925274176 140208042209936 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9880] ppid=9834 vsize=8414124 memory=920 CPUtime=100.31 cores=0-7
/proc/9857/task/9880/stat : 9880 (java) R 9834 9834 7170 0 -1 4202560 86 479345 0 0 16 1 9909 105 20 0 23 0 418369247 8616062976 50130 33554432000 4194304 4196468 140729925274176 140205315053024 140208150550692 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9882] ppid=9834 vsize=8414124 memory=4104 CPUtime=100.14 cores=0-7
/proc/9857/task/9882/stat : 9882 (java) S 9834 9834 7170 0 -1 1077944384 4 479345 0 0 0 0 9909 105 20 0 23 0 418369250 8616062976 50130 33554432000 4194304 4196468 140729925274176 140205046618816 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
Current children cumulated CPU time: 121.87 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 201996 KiB

[startup+23.901 s]
/proc/loadavg: 3.95 4.25 5.98 9/224 9890
/proc/meminfo: memFree=30282184/32770624 swapFree=66995596/67108860
[pid=9834] ppid=9831 vsize=113128 memory=1476 CPUtime=19.72 cores=0-7
/proc/9834/stat : 9834 (scop.sh) S 9831 9834 7170 0 -1 4202496 582 36455 0 0 0 0 1911 61 20 0 1 0 418368405 115843072 369 33554432000 4194304 5098028 140721519390544 140721519387288 140313279058556 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20447232 140721519395620 140721519395948 140721519395948 140721519398861 0
/proc/9834/statm: 28282 369 311 221 0 87 0
[pid=9857] ppid=9834 vsize=8283048 memory=203428 CPUtime=102.33 cores=0-7
/proc/9857/stat : 9857 (java) S 9834 9834 7170 0 -1 1077944320 22488 479345 0 0 207 12 9909 105 20 0 22 0 418369163 8481841152 50857 33554432000 4194304 4196468 140729925274176 140729925256720 140208695639799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
/proc/9857/statm: 2070762 50857 3234 1 0 2032106 0
[pid=9857/tid=9858] ppid=9834 vsize=8283048 memory=155024 CPUtime=101.08 cores=0-7
/proc/9857/task/9858/stat : 9858 (java) R 9834 9834 7170 0 -1 4202560 17627 479345 0 0 86 8 9909 105 20 0 22 0 418369163 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208667477680 140208681008715 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9859] ppid=9834 vsize=8283048 memory=1476 CPUtime=100.14 cores=0-7
/proc/9857/task/9859/stat : 9859 (java) S 9834 9834 7170 0 -1 1077944384 2 479345 0 0 0 0 9909 105 20 0 22 0 418369165 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208699882512 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9860] ppid=9834 vsize=8283048 memory=1408 CPUtime=100.14 cores=0-7
/proc/9857/task/9860/stat : 9860 (java) S 9834 9834 7170 0 -1 1077944384 2 479345 0 0 0 0 9909 105 20 0 22 0 418369165 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208500051088 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9861] ppid=9834 vsize=8283048 memory=1476 CPUtime=100.14 cores=0-7
/proc/9857/task/9861/stat : 9861 (java) S 9834 9834 7170 0 -1 1077944384 1 479345 0 0 0 0 9909 105 20 0 22 0 418369165 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208498998032 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9862] ppid=9834 vsize=8283048 memory=127748 CPUtime=100.14 cores=0-7
/proc/9857/task/9862/stat : 9862 (java) S 9834 9834 7170 0 -1 1077944384 3 479345 0 0 0 0 9909 105 20 0 22 0 418369165 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208497945488 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9863] ppid=9834 vsize=8283048 memory=288230574492221466 CPUtime=100.14 cores=0-7
/proc/9857/task/9863/stat : 9863 (java) S 9834 9834 7170 0 -1 1077944384 1 479345 0 0 0 0 9909 105 20 0 22 0 418369165 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208496892432 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9864] ppid=9834 vsize=8283048 memory=288230621803970871 CPUtime=100.14 cores=0-7
/proc/9857/task/9864/stat : 9864 (java) S 9834 9834 7170 0 -1 1077944384 1 479345 0 0 0 0 9909 105 20 0 22 0 418369165 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208495839888 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9865] ppid=9834 vsize=8283048 memory=14136632290839084 CPUtime=100.14 cores=0-7
/proc/9857/task/9865/stat : 9865 (java) S 9834 9834 7170 0 -1 1077944384 2 479345 0 0 0 0 9909 105 20 0 22 0 418369165 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208494786832 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9866] ppid=9834 vsize=8283048 memory=988 CPUtime=100.14 cores=0-7
/proc/9857/task/9866/stat : 9866 (java) S 9834 9834 7170 0 -1 1077944384 2 479345 0 0 0 0 9909 105 20 0 22 0 418369165 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208493734288 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9867] ppid=9834 vsize=8283048 memory=2016 CPUtime=100.14 cores=0-7
/proc/9857/task/9867/stat : 9867 (java) S 9834 9834 7170 0 -1 1077944384 7 479345 0 0 0 0 9909 105 20 0 22 0 418369166 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208057047792 140208695650946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9868] ppid=9834 vsize=8283048 memory=888436 CPUtime=100.14 cores=0-7
/proc/9857/task/9868/stat : 9868 (java) S 9834 9834 7170 0 -1 1077944384 13 479345 0 0 0 0 9909 105 20 0 22 0 418369167 8481841152 50857 33554432000 4194304 4196468 140729925274176 140206992778912 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9869] ppid=9834 vsize=8283048 memory=280152395369280 CPUtime=100.14 cores=0-7
/proc/9857/task/9869/stat : 9869 (java) S 9834 9834 7170 0 -1 1077944384 21 479345 0 0 0 0 9909 105 20 0 22 0 418369167 8481841152 50857 33554432000 4194304 4196468 140729925274176 140206858556656 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9870] ppid=9834 vsize=8283048 memory=6944656592387989600 CPUtime=100.14 cores=0-7
/proc/9857/task/9870/stat : 9870 (java) S 9834 9834 7170 0 -1 1077944384 1 479345 0 0 0 0 9909 105 20 0 22 0 418369169 8481841152 50857 33554432000 4194304 4196468 140729925274176 140206484052432 140208695658395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9871] ppid=9834 vsize=8283048 memory=6944652027076318631 CPUtime=100.36 cores=0-7
/proc/9857/task/9871/stat : 9871 (java) S 9834 9834 7170 0 -1 1077944384 585 479345 0 0 22 0 9909 105 20 0 22 0 418369169 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208055994608 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9872] ppid=9834 vsize=8283048 memory=0 CPUtime=100.35 cores=0-7
/proc/9857/task/9872/stat : 9872 (java) S 9834 9834 7170 0 -1 1077944384 763 479345 0 0 21 0 9909 105 20 0 22 0 418369169 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208054942064 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9873] ppid=9834 vsize=8283048 memory=0 CPUtime=100.36 cores=0-7
/proc/9857/task/9873/stat : 9873 (java) S 9834 9834 7170 0 -1 1077944384 751 479345 0 0 22 0 9909 105 20 0 22 0 418369169 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208053889008 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9874] ppid=9834 vsize=8283048 memory=0 CPUtime=100.49 cores=0-7
/proc/9857/task/9874/stat : 9874 (java) S 9834 9834 7170 0 -1 1077944384 1252 479345 0 0 35 0 9909 105 20 0 22 0 418369169 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208052836464 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9875] ppid=9834 vsize=8283048 memory=0 CPUtime=100.14 cores=0-7
/proc/9857/task/9875/stat : 9875 (java) S 9834 9834 7170 0 -1 1077944384 3 479345 0 0 0 0 9909 105 20 0 22 0 418369169 8481841152 50857 33554432000 4194304 4196468 140729925274176 140205986147296 140208695650005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9876] ppid=9834 vsize=8283048 memory=3632 CPUtime=100.14 cores=0-7
/proc/9857/task/9876/stat : 9876 (java) S 9834 9834 7170 0 -1 1077944384 3 479345 0 0 0 0 9909 105 20 0 22 0 418369170 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208051784880 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9878] ppid=9834 vsize=8283048 memory=21780 CPUtime=100.14 cores=0-7
/proc/9857/task/9878/stat : 9878 (java) S 9834 9834 7170 0 -1 1077944384 25 479345 0 0 0 0 9909 105 20 0 22 0 418369247 8481841152 50857 33554432000 4194304 4196468 140729925274176 140208042209936 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
[pid=9857/tid=9882] ppid=9834 vsize=8283048 memory=127748 CPUtime=100.14 cores=0-7
/proc/9857/task/9882/stat : 9882 (java) S 9834 9834 7170 0 -1 1077944384 10 479345 0 0 0 0 9909 105 20 0 22 0 418369250 8481841152 50857 33554432000 4194304 4196468 140729925274176 140205046620848 140208695650946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36495360 140729925276664 140729925276822 140729925276822 140729925279695 0
Current children cumulated CPU time: 122.05 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 204904 KiB

Child status: 0
Real time (s): 23.9333
CPU time (s): 122.137
CPU user time (s): 120.32
CPU system time (s): 1.81644
CPU usage (%): 510.321
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 2797564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.32
system time used= 1.81644
maximum resident set size= 2800756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18449
involuntary context switches= 1136


# summary of solver processes directly reported to runsolver:
#   pid: 9834
#   total CPU time (s): 122.137
#   total CPU user time (s): 120.32
#   total CPU system time (s): 1.81644

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.235462 second user time and 0.315351 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 02:32:04
IDJOB=4392619
IDBENCH=122918
IDSOLVER=2839
FILE ID=node102/4392619-1568421170
RUNJOBID= node102-1568416723-7197
PBS_JOBID= 21702264
Free space on /tmp= 59328 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-064.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392619-1568421170/watcher-4392619-1568421170 -o /tmp/evaluation-result-4392619-1568421170/solver-4392619-1568421170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --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-4392619-1568421170.xml

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

MD5SUM BENCH= 019f4b77ddc0f15b2fea5bd490d99eee
RANDOM SEED=71178136

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31541068 kB
MemAvailable:   31920100 kB
Buffers:          167500 kB
Cached:           504736 kB
SwapCached:         9596 kB
Active:           334900 kB
Inactive:         349572 kB
Active(anon):       9644 kB
Inactive(anon):    33848 kB
Active(file):     325256 kB
Inactive(file):   315724 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995596 kB
Dirty:             20608 kB
Writeback:             0 kB
AnonPages:        260004 kB
Mapped:            35076 kB
Shmem:             22612 kB
Slab:             136444 kB
SReclaimable:     107776 kB
SUnreclaim:        28668 kB
KernelStack:        3760 kB
PageTables:         5068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59308 MiB
End job on node102 at 2019-09-14 02:32:28