Trace number 4392421

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-08.xml
MD5SUM79bafde88fa7f495a04ad4879b5697b3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark257.025
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains84
Minimum domain size1123
Maximum domain size1221
Distribution of domain sizes[{"size":1123,"count":10},{"size":1124,"count":4},{"size":1125,"count":4},{"size":1126,"count":10},{"size":1127,"count":8},{"size":1130,"count":6},{"size":1131,"count":4},{"size":1132,"count":6},{"size":1133,"count":8},{"size":1134,"count":6},{"size":1135,"count":2},{"size":1136,"count":2},{"size":1137,"count":6},{"size":1138,"count":6},{"size":1139,"count":10},{"size":1140,"count":6},{"size":1141,"count":10},{"size":1142,"count":10},{"size":1143,"count":6},{"size":1145,"count":4},{"size":1146,"count":10},{"size":1147,"count":6},{"size":1148,"count":2},{"size":1149,"count":2},{"size":1150,"count":2},"...",{"size":1192,"count":4}, {"size":1194,"count":6}, {"size":1195,"count":6}, {"size":1196,"count":2}, {"size":1198,"count":8}, {"size":1199,"count":6}, {"size":1200,"count":4}, {"size":1201,"count":6}, {"size":1202,"count":4}, {"size":1203,"count":2}, {"size":1204,"count":2}, {"size":1206,"count":8}, {"size":1207,"count":6}, {"size":1208,"count":10}, {"size":1211,"count":6}, {"size":1212,"count":2}, {"size":1213,"count":6}, {"size":1214,"count":4}, {"size":1215,"count":2}, {"size":1216,"count":10}, {"size":1217,"count":10}, {"size":1218,"count":12}, {"size":1219,"count":6}, {"size":1220,"count":4}, {"size":1221,"count":8}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-3016-serial-file.bin HOME/instance-4392421-1568442050.xml
0.65/0.60	
0.65/0.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.60	
0.77/0.62	c BEGIN-Prog: Sat Sep 14 08:20:09 CEST 2019
0.77/0.62	c PID: 3019
0.77/0.62	c IP: 172.20.3.116
0.77/0.62	c HOST: node116.alineos.net
0.77/0.63	c (0,0) Parsing Begin
5.81/2.03	c (1,1) Parsing End
5.81/2.04	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1221
5.81/2.04	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.81/2.04	c (1,1) Constraint Name Generate Begin
5.81/2.09	c (1,1) Ctr:HOME/instance-4392421-1568442050.xml,Add:Le:Ne:Num:Or:Var
5.81/2.09	c (1,1) Constraint Name Generate End
5.81/2.09	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.81/2.09	c (1,1) CSP to CSPinCNF Begin
6.60/2.37	c (1,1) translated 558 (10%) constraints
6.91/2.44	c (1,1) translated 1116 (20%) constraints
6.91/2.49	c (1,1) translated 1674 (30%) constraints
7.30/2.53	c (1,1) translated 2232 (40%) constraints
7.30/2.57	c (1,1) translated 2790 (50%) constraints
7.71/2.61	c (2,2) translated 3348 (60%) constraints
7.71/2.65	c (2,2) translated 3906 (70%) constraints
7.71/2.69	c (2,2) translated 4464 (80%) constraints
8.06/2.71	c (2,2) translated 5022 (90%) constraints
8.06/2.73	c (2,2) translated 5580 (100%) constraints
8.06/2.73	c (2,2) ===========================================
8.06/2.73	c (2,2) Order
8.06/2.73	c (2,2) ===========================================
8.06/2.77	c (2,2) translated 558 (10%) constraints
8.06/2.79	c (2,2) translated 1116 (20%) constraints
8.38/2.81	c (2,2) translated 1674 (30%) constraints
8.38/2.82	c (2,2) translated 2232 (40%) constraints
8.38/2.84	c (2,2) translated 2790 (50%) constraints
8.38/2.86	c (2,2) translated 3348 (60%) constraints
8.38/2.87	c (2,2) translated 3906 (70%) constraints
8.38/2.89	c (2,2) translated 4464 (80%) constraints
8.56/2.90	c (2,2) translated 5022 (90%) constraints
8.56/2.92	c (2,2) translated 5580 (100%) constraints
8.56/2.92	c (2,2) CSP to CSPinCNF End
8.56/2.93	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138
8.56/2.93	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.56/2.93	c (2,2) CSPinCNF Propagation Begin
8.99/3.02	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.99/3.02	c (2,2) CSPinCNF Propagation End
8.99/3.02	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138
8.99/3.02	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.99/3.02	c (2,2) Simplify CSPinCNF Begin
9.94/3.32	c (2,2) Simplify CSPinCNF End
9.94/3.32	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138
9.94/3.32	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.94/3.32	c (2,2) Calculate Precise Domain Begin
9.94/3.32	c (2,2) 0 values are removed by re-calculation
9.94/3.32	c (2,2) Calculate Precise Domain End
9.94/3.33	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138
9.94/3.33	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.94/3.33	c (2,2) CSPinCNF to SatSolver Begin
15.52/7.05	c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 849861 SAT clauses)
18.97/10.55	c (9,9) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1448149 SAT clauses)
22.39/13.54	c (12,12) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1994752 SAT clauses)
25.29/16.51	c (15,15) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2558593 SAT clauses)
28.64/19.52	c (18,18) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3148307 SAT clauses)
31.63/22.46	c (21,21) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3731837 SAT clauses)
34.36/25.14	c (24,24) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4256729 SAT clauses)
37.21/27.88	c (27,26) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4789257 SAT clauses)
40.62/31.48	c (30,30) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5460521 SAT clauses)
43.83/34.68	c (34,33) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6332144 SAT clauses)
43.83/34.68	c (34,33) CSPinCNF to SatSolver End
43.83/34.68	c (34,33) Heap : 5173 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
43.83/34.68	c (34,33) 338696 bool, 6332716 clause
43.83/34.68	c (34,33) Export Begin
44.18/34.81	c (34,33) Export to HOME/scop-3016-serial-file.bin
44.18/34.81	c (34,33) Export End
44.18/34.81	c (34,33) Export File Size: 0.07 MB
44.18/34.81	c (34,33) 1,1,2,2,2,2,34,STOP-AFTER(DIMACS)
44.18/34.81	c END-Prog: Sat Sep 14 08:20:44 CEST 2019
44.18/34.86	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3016-serial-file.bin
44.85/35.37	c (0,0) Read Serial File Begin
44.85/35.37	c (0,0) HOME/scop-3016-serial-file.bin
45.29/35.63	c (0,0) Read Serial File End
45.29/35.65	
45.29/35.65	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
45.29/35.65	(Solving Process)
45.29/35.65	
45.29/35.67	c BEGIN-Prog: Sat Sep 14 08:20:45 CEST 2019
45.29/35.67	c PID: 3042
45.29/35.67	c IP: 172.20.3.116
45.29/35.67	c HOST: node116.alineos.net
45.29/35.68	c (0,0) SatSolver.solve Begin
45.29/35.68	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392421-1568442050.xml-scop-3019.cnf
45.53/35.71	c (0,0) c
45.53/35.71	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)
45.53/35.71	c (0,0) c
45.53/35.71	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
45.53/35.71	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
45.53/35.71	c (0,0) c ========================================[ Problem Statistics ]===========================================
45.53/35.71	c (0,0) c |                                                                                                       |
48.37/38.42	c (3,0) c |  Number of variables:        338696                                                                   |
48.37/38.42	c (3,0) c |  Number of clauses:         6210770                                                                   |
48.37/38.42	c (3,0) c |  Parse time:                   2.48 s                                                                 |
48.37/38.42	c (3,0) c |                                                                                                       |
48.78/38.87	c (3,0) c | Too many clauses... No preprocessing                                                                  |
48.78/38.87	c (3,0) c |  Simplification time:          0.40 s                                                                 |
48.78/38.87	c (3,0) c |                                                                                                       |
48.78/38.87	c (3,0) c |  Generating clones                                                                                    |
50.57/40.63	c (5,0) c |  all clones generated. Memory =  3520.77Mb.                                                           |
50.57/40.63	c (5,0) c ========================================================================================================|
50.57/40.63	c (5,0) c
50.57/40.63	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
50.57/40.63	c (5,0) c
50.57/40.63	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.57/40.63	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.57/40.63	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.57/40.63	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
50.57/40.63	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
50.57/40.63	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.57/40.63	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
50.57/40.63	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.57/40.63	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.57/40.63	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.57/40.63	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.57/40.63	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.57/40.63	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.57/40.63	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.57/40.63	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
50.57/40.63	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
50.57/40.63	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.57/40.63	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.57/40.63	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
283.41/70.63	c (35,0) c
283.41/70.63	c (35,0) c |------------------------------------------------------------------------------------------------------------------------|
283.41/70.63	c (35,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
283.41/70.63	c (35,0) c |------------------------------------------------------------------------------------------------------------------------|
283.41/70.63	c (35,0) c |  0 |      3 |       4732 |       2811 |    62470 |     1813 |       67 |      247 |       24 |      175 |  20 | 36.681 |
283.41/70.63	c (35,0) c |  1 |     12 |       4602 |       2676 |    66672 |     1674 |      111 |      594 |       42 |      161 |  20 | 36.746 |
283.41/70.63	c (35,0) c |  2 |      3 |       4428 |       2895 |    58955 |     1895 |       83 |      704 |       15 |      177 |  20 | 36.761 |
283.41/70.63	c (35,0) c |  3 |      2 |       5245 |       3104 |    70347 |     2108 |      102 |      181 |       16 |      181 |  20 | 36.665 |
283.41/70.63	c (35,0) c |  4 |     10 |       5159 |       3215 |    75924 |     2210 |       73 |      642 |       44 |      172 |  20 | 36.742 |
283.41/70.63	c (35,0) c |  5 |     13 |       5508 |       3161 |    76629 |     2112 |      162 |      603 |       48 |      172 |  20 | 36.755 |
283.41/70.63	c (35,0) c |  6 |     12 |       5809 |       3350 |    75604 |     2346 |      116 |      642 |       50 |      181 |  20 | 36.755 |
283.41/70.63	c (35,0) c |  7 |     16 |       5544 |       3102 |    75251 |     2102 |      139 |      576 |       40 |      179 |  20 | 36.742 |
283.41/70.63	c (35,0) c 
283.41/70.63	c (35,0) c synthesis       24314 conflicts   344191146 propagations      104 conflicts/sec  1476846 propagations/sec
283.41/70.63	c (35,0) c real: 34.9179 s, cpu: 233.058 s, memory: 3713.99 Mb
510.60/100.62	c (65,0) c
510.60/100.62	c (65,0) c |------------------------------------------------------------------------------------------------------------------------|
510.60/100.62	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
510.60/100.62	c (65,0) c |------------------------------------------------------------------------------------------------------------------------|
510.60/100.62	c (65,0) c |  0 |      4 |       9385 |       5733 |   105270 |     4711 |      434 |     2710 |      133 |      324 |  20 | 37.033 |
510.60/100.62	c (65,0) c |  1 |     16 |       9675 |       5827 |   109237 |     4501 |      494 |     1938 |      154 |      310 |  20 | 37.025 |
510.60/100.62	c (65,0) c |  2 |     13 |       9725 |       6117 |   107235 |     5074 |      620 |     2708 |      158 |      329 |  20 | 37.041 |
510.60/100.62	c (65,0) c |  3 |      4 |       9882 |       6059 |   112034 |     5045 |      546 |     1549 |      117 |      330 |  20 | 37.020 |
510.60/100.62	c (65,0) c |  4 |     16 |      11046 |       6659 |   120204 |     2850 |      738 |     3154 |      181 |      329 |  20 | 37.046 |
510.60/100.62	c (65,0) c |  5 |     26 |      11593 |       6616 |   119931 |     2739 |      809 |     3318 |      182 |      330 |  20 | 37.037 |
510.60/100.62	c (65,0) c |  6 |     24 |      11445 |       6780 |   117229 |     2948 |      846 |     2941 |      189 |      330 |  20 | 37.032 |
510.60/100.62	c (65,0) c |  7 |     27 |      10811 |       6345 |   117632 |     5319 |      674 |     3405 |      175 |      330 |  20 | 37.037 |
510.60/100.62	c (65,0) c 
510.60/100.62	c (65,0) c synthesis       50136 conflicts   730988886 propagations      109 conflicts/sec  1591706 propagations/sec
510.60/100.62	c (65,0) c real: 64.9179 s, cpu: 459.249 s, memory: 3506.50 Mb
737.94/130.63	c (95,0) c
737.94/130.63	c (95,0) c |------------------------------------------------------------------------------------------------------------------------|
737.94/130.63	c (95,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
737.94/130.63	c (95,0) c |------------------------------------------------------------------------------------------------------------------------|
737.94/130.63	c (95,0) c |  0 |      9 |      14146 |       8834 |   141523 |     4499 |     1244 |     9865 |      509 |      475 |  20 | 37.157 |
737.94/130.63	c (95,0) c |  1 |     26 |      14962 |       9149 |   140630 |     5188 |     1312 |     8955 |      614 |      455 |  20 | 37.156 |
737.94/130.63	c (95,0) c |  2 |     21 |      14598 |       9219 |   138034 |     5391 |     1388 |     9790 |      622 |      475 |  20 | 37.165 |
737.94/130.63	c (95,0) c |  3 |      6 |      14800 |       9176 |   145188 |     5369 |     1452 |     8034 |      591 |      475 |  20 | 37.151 |
737.94/130.63	c (95,0) c |  4 |     24 |      16175 |       9933 |   147629 |     6093 |     1573 |     9564 |      639 |      475 |  20 | 37.157 |
737.94/130.63	c (95,0) c |  5 |     37 |      16672 |       9693 |   148865 |     5813 |     1640 |     9078 |      640 |      475 |  20 | 37.162 |
737.94/130.63	c (95,0) c |  6 |     40 |      16836 |      10014 |   147123 |     6175 |     1692 |     9172 |      685 |      475 |  20 | 37.165 |
737.94/130.63	c (95,0) c |  7 |     40 |      16031 |       9498 |   145355 |     5622 |     1545 |     9603 |      593 |      475 |  20 | 37.157 |
737.94/130.63	c (95,0) c 
737.94/130.63	c (95,0) c synthesis       75516 conflicts  1136122521 propagations      110 conflicts/sec  1659628 propagations/sec
737.94/130.63	c (95,0) c real: 94.9179 s, cpu: 684.564 s, memory: 3506.76 Mb
968.17/160.62	c (125,0) c
968.17/160.62	c (125,0) c |------------------------------------------------------------------------------------------------------------------------|
968.17/160.62	c (125,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
968.17/160.62	c (125,0) c |------------------------------------------------------------------------------------------------------------------------|
968.17/160.62	c (125,0) c |  0 |     26 |      19316 |      11927 |   167941 |     7579 |     1901 |    15244 |     1236 |      620 |  20 | 37.209 |
968.17/160.62	c (125,0) c |  1 |     46 |      20305 |      12327 |   165793 |     8272 |     1998 |    14429 |     1257 |      603 |  20 | 37.204 |
968.17/160.62	c (125,0) c |  2 |     28 |      19511 |      12477 |   161210 |     8529 |     2164 |    14736 |     1299 |      623 |  20 | 37.204 |
968.17/160.62	c (125,0) c |  3 |      9 |      19712 |      12462 |   166582 |     8511 |     2186 |    14553 |     1222 |      616 |  20 | 37.204 |
968.17/160.62	c (125,0) c |  4 |     34 |      21291 |      13169 |   171543 |     9278 |     2299 |    14606 |     1284 |      623 |  20 | 37.209 |
968.17/160.62	c (125,0) c |  5 |     48 |      21600 |      12986 |   171870 |     9049 |     2402 |    14781 |     1304 |      623 |  20 | 37.209 |
968.17/160.62	c (125,0) c |  6 |     50 |      21950 |      13373 |   167776 |     9271 |     2539 |    13524 |     1296 |      619 |  20 | 37.199 |
968.17/160.62	c (125,0) c |  7 |     50 |      20669 |      12567 |   168187 |     8302 |     2328 |    14435 |     1189 |      615 |  20 | 37.204 |
968.17/160.62	c (125,0) c 
968.17/160.62	c (125,0) c synthesis      101288 conflicts  1557297191 propagations      111 conflicts/sec  1705761 propagations/sec
968.17/160.62	c (125,0) c real: 124.917 s, cpu: 912.964 s, memory: 3555.95 Mb
1194.30/189.62	c (154,0) c
1194.30/189.62	c (154,0) c |------------------------------------------------------------------------------------------------------------------------|
1194.30/189.62	c (154,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1194.30/189.62	c (154,0) c |------------------------------------------------------------------------------------------------------------------------|
1194.30/189.62	c (154,0) c |  0 |     36 |      23582 |      14667 |   185405 |     5596 |     2420 |    19201 |     1772 |      755 |  20 | 37.222 |
1194.30/189.62	c (154,0) c |  1 |     54 |      25066 |      15456 |   183433 |     6530 |     2591 |    18635 |     1872 |      743 |  20 | 37.220 |
1194.30/189.62	c (154,0) c |  2 |     40 |      24197 |      15404 |   179112 |     6529 |     2737 |    18135 |     1825 |      755 |  20 | 37.220 |
1194.30/189.62	c (154,0) c |  3 |     16 |      24258 |      15524 |   183882 |     6645 |     2802 |    18563 |     1861 |      758 |  20 | 37.220 |
1194.30/189.62	c (154,0) c |  4 |     51 |      25939 |      16108 |   188415 |     7268 |     2903 |    18661 |     1804 |      755 |  20 | 37.222 |
1194.30/189.62	c (154,0) c |  5 |     61 |      26131 |      15853 |   186483 |     6983 |     3010 |    18528 |     1826 |      754 |  20 | 37.223 |
1194.30/189.62	c (154,0) c |  6 |     61 |      26567 |      16458 |   186354 |     7507 |     3043 |    18020 |     1886 |      763 |  20 | 37.220 |
1194.30/189.62	c (154,0) c |  7 |     67 |      25983 |      15860 |   187162 |     6832 |     2921 |    18934 |     1838 |      760 |  20 | 37.228 |
1194.30/189.62	c (154,0) c 
1194.30/189.62	c (154,0) c synthesis      125330 conflicts  1961357163 propagations      110 conflicts/sec  1724430 propagations/sec
1194.30/189.62	c (154,0) c real: 153.918 s, cpu: 1137.39 s, memory: 3556.08 Mb
1427.71/219.62	c (184,0) c
1427.71/219.62	c (184,0) c |------------------------------------------------------------------------------------------------------------------------|
1427.71/219.62	c (184,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1427.71/219.62	c (184,0) c |------------------------------------------------------------------------------------------------------------------------|
1427.71/219.62	c (184,0) c |  0 |     48 |      28634 |      17878 |   200848 |     8504 |     3038 |    23111 |     2341 |      898 |  20 | 39.207 |
1427.71/219.62	c (184,0) c |  1 |     71 |      29912 |      18528 |   199006 |     8706 |     3256 |    22655 |     2446 |      886 |  20 | 39.244 |
1427.71/219.62	c (184,0) c |  2 |     52 |      29316 |      18745 |   193006 |     9129 |     3433 |    23212 |     2377 |      906 |  20 | 39.790 |
1427.71/219.62	c (184,0) c |  3 |     24 |      28782 |      18550 |   199731 |     9019 |     3290 |    22914 |     2451 |      900 |  20 | 39.388 |
1427.71/219.62	c (184,0) c |  4 |     63 |      31165 |      19562 |   202393 |    10087 |     3615 |    23133 |     2424 |      906 |  20 | 39.790 |
1427.71/219.62	c (184,0) c |  5 |     77 |      31070 |      19122 |   201289 |     9568 |     3584 |    22682 |     2384 |      899 |  20 | 39.257 |
1427.71/219.62	c (184,0) c |  6 |     83 |      31299 |      19382 |   200454 |     9679 |     3488 |    22870 |     2517 |      898 |  20 | 39.702 |
1427.71/219.62	c (184,0) c |  7 |     76 |      30922 |      19115 |   202981 |     9407 |     3490 |    23209 |     2387 |      906 |  20 | 39.798 |
1427.71/219.62	c (184,0) c 
1427.71/219.62	c (184,0) c synthesis      150882 conflicts  2380451515 propagations      110 conflicts/sec  1740253 propagations/sec
1427.71/219.63	c (184,0) c real: 183.918 s, cpu: 1367.88 s, memory: 3556.21 Mb
1661.90/249.63	c (214,0) c
1661.90/249.63	c (214,0) c |------------------------------------------------------------------------------------------------------------------------|
1661.90/249.63	c (214,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1661.90/249.63	c (214,0) c |------------------------------------------------------------------------------------------------------------------------|
1661.90/249.63	c (214,0) c |  0 |     51 |      32957 |      21010 |   214621 |    10122 |     3718 |    27039 |     2810 |     1034 |  20 | 41.766 |
1661.90/249.63	c (214,0) c |  1 |     87 |      34760 |      21765 |   211721 |    10607 |     3960 |    26136 |     3107 |     1026 |  20 | 41.757 |
1661.90/249.63	c (214,0) c |  2 |     61 |      34205 |      22045 |   206606 |    11626 |     4078 |    26989 |     2993 |     1046 |  20 | 41.750 |
1661.90/249.63	c (214,0) c |  3 |     32 |      33632 |      21754 |   212867 |    10898 |     3776 |    26398 |     3089 |     1034 |  20 | 41.755 |
1661.90/249.63	c (214,0) c |  4 |     67 |      36281 |      23006 |   214559 |    12493 |     4312 |    27027 |     3068 |     1046 |  20 | 41.752 |
1661.90/249.63	c (214,0) c |  5 |     86 |      35723 |      22394 |   214184 |    11658 |     4110 |    27156 |     3008 |     1040 |  20 | 41.656 |
1661.90/249.63	c (214,0) c |  6 |     94 |      36108 |      22581 |   213648 |    11757 |     3997 |    26747 |     3180 |     1032 |  20 | 41.780 |
1661.90/249.63	c (214,0) c |  7 |     87 |      35653 |      22330 |   215798 |    11501 |     4010 |    26222 |     3031 |     1039 |  20 | 41.751 |
1661.90/249.63	c (214,0) c 
1661.90/249.63	c (214,0) c synthesis      176885 conflicts  2795337483 propagations      111 conflicts/sec  1748448 propagations/sec
1661.90/249.63	c (214,0) c real: 213.918 s, cpu: 1598.75 s, memory: 3556.46 Mb
1817.34/271.22	c (235,0) c
1817.34/271.22	c (235,0) c real time : 235.518 s
1817.34/271.22	c (235,0) c cpu time  : 1753.35 s
1817.34/271.22	c (235,0) c
1817.34/271.22	c (235,0) c
1817.34/271.22	c (235,0) c
1817.34/271.22	c (235,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1817.34/271.22	c (235,0) c
1817.34/271.22	c (235,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.22	c (235,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1817.34/271.22	c (235,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.22	c (235,0) c | Conflicts     |          194695 |      23309 |      24271 |      24021 |      24156 |      25063 |      24503 |      24883 |      24489 |
1817.34/271.22	c (235,0) c | Decisions     |          304154 |      36228 |      38313 |      36885 |      36980 |      39064 |      38731 |      39321 |      38632 |
1817.34/271.22	c (235,0) c | Propagations  |      3076238991 |  375639699 |  390486553 |  381109079 |  375673995 |  387324063 |  390864252 |  387116071 |  388025279 |
1817.34/271.22	c (235,0) c | ReduceDBs     |              31 |          3 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
1817.34/271.22	c (235,0) c | SimpDBs       |             203 |         21 |         27 |         26 |         18 |         26 |         28 |         31 |         26 |
1817.34/271.22	c (235,0) c | Restarts      |             590 |         52 |         92 |         62 |         34 |         69 |         91 |         98 |         92 |
1817.34/271.22	c (235,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1817.34/271.22	c (235,0) c | PropBinClauses|     10050728533 | 1238110315 | 1263709661 | 1241023477 | 1228935990 | 1272196579 | 1273479282 | 1262510228 | 1270763001 |
1817.34/271.22	c (235,0) c | PropPreBlocker|     34971163740 | 4445785473 | 4342176472 | 4384839642 | 4486691052 | 4335024549 | 4322744573 | 4305890479 | 4348011500 |
1817.34/271.22	c (235,0) c | PropNotBlocker|      5645649230 |  694143469 |  713909343 |  701319042 |  687340645 |  716779614 |  710116904 |  711524557 |  710515656 |
1817.34/271.22	c (235,0) c | LitFullScans  |     54191628873 | 6773065891 | 6773566307 | 6773735607 | 6773238223 | 6773126035 | 6773179313 | 6774056665 | 6777660832 |
1817.34/271.22	c (235,0) c | LitScanFracts |         7258278 |     701619 |     954853 |    1396946 |     728511 |     756804 |     838600 |     925118 |     955827 |
1817.34/271.22	c (235,0) c | DecisionLevel0|             792 |         66 |        111 |         98 |         55 |         98 |        120 |        129 |        115 |
1817.34/271.22	c (235,0) c | Periods       |            9024 |       1128 |       1128 |       1128 |       1128 |       1128 |       1128 |       1128 |       1128 |
1817.34/271.22	c (235,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1817.34/271.22	c (235,0) c | Avg_Trail     |                 |     229609 |     227959 |     228021 |     229658 |     227313 |     228420 |     227487 |     228745 |
1817.34/271.22	c (235,0) c | Avg_DL        |                 |         17 |         15 |         16 |         17 |         15 |         15 |         15 |         16 |
1817.34/271.22	c (235,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1817.34/271.22	c (235,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1817.34/271.22	c (235,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.22	c (235,0) c | Exported      |           35229 |       4186 |       4483 |       4470 |       4180 |       4719 |       4446 |       4359 |       4386 |
1817.34/271.22	c (235,0) c | Imported      |          237143 |      30088 |      29508 |      29666 |      28424 |      29522 |      29489 |      30190 |      30256 |
1817.34/271.22	c (235,0) c | Good          |            3370 |        420 |        433 |        427 |        386 |        421 |        413 |        439 |        431 |
1817.34/271.22	c (235,0) c | Purge         |          233773 |      29668 |      29075 |      29239 |      28038 |      29101 |      29076 |      29751 |      29825 |
1817.34/271.22	c (235,0) c | Promoted      |           27705 |       3354 |       3576 |       3381 |       3557 |       3381 |       3406 |       3614 |       3436 |
1817.34/271.22	c (235,0) c | Remove_Imp    |           97857 |       7527 |      13308 |      13322 |      12953 |      12179 |      13189 |      12392 |      12987 |
1817.34/271.22	c (235,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1817.34/271.22	c (235,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.22	c (235,0) c | Unaries       |                 |         14 |         19 |         36 |         21 |         29 |         29 |         31 |         23 |
1817.34/271.22	c (235,0) c | Binaries      |                 |         69 |         51 |         58 |         64 |         72 |         67 |         69 |         80 |
1817.34/271.22	c (235,0) c | Glues         |                 |        598 |        663 |        558 |        645 |        613 |        714 |        645 |        686 |
1817.34/271.22	c (235,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.22	c (235,0) c | Orig_Seen     |             7 % |     222149 |     219533 |     212393 |     220402 |     220537 |     221106 |     220934 |     222516 |
1817.34/271.22	c (235,0) c | Diff Orig seen|                 | -      367 | -     2983 | -    10123 | -     2114 | -     1979 | -     1410 | -     1582 |      X     |
1817.34/271.22	c (235,0) c | Hamming       |             6 % |      22022 |      25645 |      24346 |      24096 |      21976 |      24062 |      22330 |      X     |
1817.34/271.22	c (235,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.22	c (235,0) c | RunningTime   |                 |  228.2  99%|  230.5 100%|  217.0  95%|  215.7  95%|  221.9  97%|  223.8  98%|  219.5  96%|  216.6  95%|
1817.34/271.22	c (235,0) c | WaitingTime   |                 |    1.2   1%|    0.0   0%|   12.1   5%|   12.1   5%|    7.2   3%|    3.5   2%|    8.4   4%|   10.7   5%|
1817.34/271.22	c (235,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%|
1817.34/271.22	c (235,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%|
1817.34/271.22	c (235,0) c | SolvingTime   |                 |  229.4     |  230.6     |  229.2     |  227.8     |  229.2     |  227.4     |  228.0     |  227.3     |
1817.34/271.22	c (235,0) c | PropagationTim|                 |  217.5  95%|  218.4  95%|  214.5  94%|  215.2  94%|  214.6  94%|  213.8  94%|  212.4  93%|  212.7  94%|
1817.34/271.22	c (235,0) c | AnalysisTime  |                 |    4.1   2%|    4.0   2%|    4.5   2%|    4.4   2%|    4.3   2%|    4.3   2%|    4.4   2%|    4.3   2%|
1817.34/271.22	c (235,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1817.34/271.22	c (235,0) c | SimplifyTime  |                 |    2.9   1%|    3.3   1%|    5.1   2%|    3.1   1%|    4.9   2%|    4.0   2%|    5.9   3%|    5.2   2%|
1817.34/271.22	c (235,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%|
1817.34/271.22	c (235,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%|
1817.34/271.22	c (235,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.22	c (235,0) c
1817.34/271.22	c (235,0) c
1817.34/271.22	c (235,0) c Threads : 8
1817.34/271.22	c (235,0) c Winner : 7
1817.34/271.22	c (235,0) c Conflicts_0 : 23309
1817.34/271.22	c (235,0) c Conflicts_1 : 24271
1817.34/271.22	c (235,0) c Conflicts_2 : 24021
1817.34/271.22	c (235,0) c Conflicts_3 : 24156
1817.34/271.22	c (235,0) c Conflicts_4 : 25063
1817.34/271.22	c (235,0) c Conflicts_5 : 24503
1817.34/271.22	c (235,0) c Conflicts_6 : 24883
1817.34/271.22	c (235,0) c Conflicts_7 : 24489
1817.34/271.22	c (235,0) c Conflicts_total : 194695
1817.34/271.22	c (235,0) c Conflicts_winner : 24489
1817.34/271.22	c (235,0) c Decisions_0 : 36228
1817.34/271.22	c (235,0) c Decisions_1 : 38313
1817.34/271.22	c (235,0) c Decisions_2 : 36885
1817.34/271.22	c (235,0) c Decisions_3 : 36980
1817.34/271.22	c (235,0) c Decisions_4 : 39064
1817.34/271.22	c (235,0) c Decisions_5 : 38731
1817.34/271.22	c (235,0) c Decisions_6 : 39321
1817.34/271.22	c (235,0) c Decisions_7 : 38632
1817.34/271.22	c (235,0) c Decisions_total : 304154
1817.34/271.22	c (235,0) c Decisions_winner : 38632
1817.34/271.22	c (235,0) c Propagations_0 : 375639699
1817.34/271.22	c (235,0) c Propagations_1 : 390486553
1817.34/271.22	c (235,0) c Propagations_2 : 381109079
1817.34/271.22	c (235,0) c Propagations_3 : 375673995
1817.34/271.22	c (235,0) c Propagations_4 : 387324063
1817.34/271.22	c (235,0) c Propagations_5 : 390864252
1817.34/271.22	c (235,0) c Propagations_6 : 387116071
1817.34/271.22	c (235,0) c Propagations_7 : 388025279
1817.34/271.22	c (235,0) c Propagations_total : 3076238991
1817.34/271.22	c (235,0) c Propagations_winner : 388025279
1817.34/271.22	c (235,0) c ReduceDBs_0 : 3
1817.34/271.22	c (235,0) c ReduceDBs_1 : 4
1817.34/271.22	c (235,0) c ReduceDBs_2 : 4
1817.34/271.22	c (235,0) c ReduceDBs_3 : 4
1817.34/271.22	c (235,0) c ReduceDBs_4 : 4
1817.34/271.22	c (235,0) c ReduceDBs_5 : 4
1817.34/271.22	c (235,0) c ReduceDBs_6 : 4
1817.34/271.22	c (235,0) c ReduceDBs_7 : 4
1817.34/271.22	c (235,0) c ReduceDBs_total : 31
1817.34/271.22	c (235,0) c ReduceDBs_winner : 4
1817.34/271.22	c (235,0) c SimpDBs_0 : 21
1817.34/271.23	c (235,0) c SimpDBs_1 : 27
1817.34/271.23	c (235,0) c SimpDBs_2 : 26
1817.34/271.23	c (235,0) c SimpDBs_3 : 18
1817.34/271.23	c (235,0) c SimpDBs_4 : 26
1817.34/271.23	c (235,0) c SimpDBs_5 : 28
1817.34/271.23	c (235,0) c SimpDBs_6 : 31
1817.34/271.23	c (235,0) c SimpDBs_7 : 26
1817.34/271.23	c (235,0) c SimpDBs_total : 203
1817.34/271.23	c (235,0) c SimpDBs_winner : 26
1817.34/271.23	c (235,0) c Restarts_0 : 52
1817.34/271.23	c (235,0) c Restarts_1 : 92
1817.34/271.23	c (235,0) c Restarts_2 : 62
1817.34/271.23	c (235,0) c Restarts_3 : 34
1817.34/271.23	c (235,0) c Restarts_4 : 69
1817.34/271.23	c (235,0) c Restarts_5 : 91
1817.34/271.23	c (235,0) c Restarts_6 : 98
1817.34/271.23	c (235,0) c Restarts_7 : 92
1817.34/271.23	c (235,0) c Restarts_total : 590
1817.34/271.23	c (235,0) c Restarts_winner : 92
1817.34/271.23	c (235,0) c ForcedImports_0 : 0
1817.34/271.23	c (235,0) c ForcedImports_1 : 0
1817.34/271.23	c (235,0) c ForcedImports_2 : 0
1817.34/271.23	c (235,0) c ForcedImports_3 : 0
1817.34/271.23	c (235,0) c ForcedImports_4 : 0
1817.34/271.23	c (235,0) c ForcedImports_5 : 0
1817.34/271.23	c (235,0) c ForcedImports_6 : 0
1817.34/271.23	c (235,0) c ForcedImports_7 : 0
1817.34/271.23	c (235,0) c ForcedImports_total : 0
1817.34/271.23	c (235,0) c ForcedImports_winner : 0
1817.34/271.23	c (235,0) c PropsBinClauses_0 : 1238110315
1817.34/271.23	c (235,0) c PropsBinClauses_1 : 1263709661
1817.34/271.23	c (235,0) c PropsBinClauses_2 : 1241023477
1817.34/271.23	c (235,0) c PropsBinClauses_3 : 1228935990
1817.34/271.23	c (235,0) c PropsBinClauses_4 : 1272196579
1817.34/271.23	c (235,0) c PropsBinClauses_5 : 1273479282
1817.34/271.23	c (235,0) c PropsBinClauses_6 : 1262510228
1817.34/271.23	c (235,0) c PropsBinClauses_7 : 1270763001
1817.34/271.23	c (235,0) c PropsBinClauses_total : 10050728533
1817.34/271.23	c (235,0) c PropsBinClauses_winner : 1270763001
1817.34/271.23	c (235,0) c PropsPreBlocker_0 : 4445785473
1817.34/271.23	c (235,0) c PropsPreBlocker_1 : 4342176472
1817.34/271.23	c (235,0) c PropsPreBlocker_2 : 4384839642
1817.34/271.23	c (235,0) c PropsPreBlocker_3 : 4486691052
1817.34/271.23	c (235,0) c PropsPreBlocker_4 : 4335024549
1817.34/271.23	c (235,0) c PropsPreBlocker_5 : 4322744573
1817.34/271.23	c (235,0) c PropsPreBlocker_6 : 4305890479
1817.34/271.23	c (235,0) c PropsPreBlocker_7 : 4348011500
1817.34/271.23	c (235,0) c PropsPreBlocker_total : 34971163740
1817.34/271.23	c (235,0) c PropsPreBlocker_winner : 4348011500
1817.34/271.23	c (235,0) c PropsNotBlocker_0 : 694143469
1817.34/271.23	c (235,0) c PropsNotBlocker_1 : 713909343
1817.34/271.23	c (235,0) c PropsNotBlocker_2 : 701319042
1817.34/271.23	c (235,0) c PropsNotBlocker_3 : 687340645
1817.34/271.23	c (235,0) c PropsNotBlocker_4 : 716779614
1817.34/271.23	c (235,0) c PropsNotBlocker_5 : 710116904
1817.34/271.23	c (235,0) c PropsNotBlocker_6 : 711524557
1817.34/271.23	c (235,0) c PropsNotBlocker_7 : 710515656
1817.34/271.23	c (235,0) c PropsNotBlocker_total : 5645649230
1817.34/271.23	c (235,0) c PropsNotBlocker_winner : 710515656
1817.34/271.23	c (235,0) c PropsLitFullScans_0 : 6773065891
1817.34/271.23	c (235,0) c PropsLitFullScans_1 : 6773566307
1817.34/271.23	c (235,0) c PropsLitFullScans_2 : 6773735607
1817.34/271.23	c (235,0) c PropsLitFullScans_3 : 6773238223
1817.34/271.23	c (235,0) c PropsLitFullScans_4 : 6773126035
1817.34/271.23	c (235,0) c PropsLitFullScans_5 : 6773179313
1817.34/271.23	c (235,0) c PropsLitFullScans_6 : 6774056665
1817.34/271.23	c (235,0) c PropsLitFullScans_7 : 6777660832
1817.34/271.23	c (235,0) c PropsLitFullScans_total : 54191628873
1817.34/271.23	c (235,0) c PropsLitFullScans_winner : 6777660832
1817.34/271.23	c (235,0) c LitScanFractions_0 : 701619
1817.34/271.23	c (235,0) c LitScanFractions_1 : 954853
1817.34/271.23	c (235,0) c LitScanFractions_2 : 1396946
1817.34/271.23	c (235,0) c LitScanFractions_3 : 728511
1817.34/271.23	c (235,0) c LitScanFractions_4 : 756804
1817.34/271.23	c (235,0) c LitScanFractions_5 : 838600
1817.34/271.23	c (235,0) c LitScanFractions_6 : 925118
1817.34/271.23	c (235,0) c LitScanFractions_7 : 955827
1817.34/271.23	c (235,0) c LitScanFractions_total : 7258278
1817.34/271.23	c (235,0) c LitScanFractions_winner : 955827
1817.34/271.23	c (235,0) c DecisionLevel0_0 : 66
1817.34/271.23	c (235,0) c DecisionLevel0_1 : 111
1817.34/271.23	c (235,0) c DecisionLevel0_2 : 98
1817.34/271.23	c (235,0) c DecisionLevel0_3 : 55
1817.34/271.23	c (235,0) c DecisionLevel0_4 : 98
1817.34/271.23	c (235,0) c DecisionLevel0_5 : 120
1817.34/271.23	c (235,0) c DecisionLevel0_6 : 129
1817.34/271.23	c (235,0) c DecisionLevel0_7 : 115
1817.34/271.23	c (235,0) c DecisionLevel0_total : 792
1817.34/271.23	c (235,0) c DecisionLevel0_winner : 115
1817.34/271.23	c (235,0) c Periods_0 : 1128
1817.34/271.23	c (235,0) c Periods_1 : 1128
1817.34/271.23	c (235,0) c Periods_2 : 1128
1817.34/271.23	c (235,0) c Periods_3 : 1128
1817.34/271.23	c (235,0) c Periods_4 : 1128
1817.34/271.23	c (235,0) c Periods_5 : 1128
1817.34/271.23	c (235,0) c Periods_6 : 1128
1817.34/271.23	c (235,0) c Periods_7 : 1128
1817.34/271.23	c (235,0) c Periods_total : 9024
1817.34/271.23	c (235,0) c Periods_winner : 1128
1817.34/271.23	c (235,0) c Margin_0 : 20
1817.34/271.23	c (235,0) c Margin_1 : 20
1817.34/271.23	c (235,0) c Margin_2 : 20
1817.34/271.23	c (235,0) c Margin_3 : 20
1817.34/271.23	c (235,0) c Margin_4 : 20
1817.34/271.23	c (235,0) c Margin_5 : 20
1817.34/271.23	c (235,0) c Margin_6 : 20
1817.34/271.23	c (235,0) c Margin_7 : 20
1817.34/271.23	c (235,0) c Margin_total : 160
1817.34/271.23	c (235,0) c Margin_winner : 20
1817.34/271.23	c (235,0) c Exported_0 : 4186
1817.34/271.23	c (235,0) c Exported_1 : 4483
1817.34/271.23	c (235,0) c Exported_2 : 4470
1817.34/271.23	c (235,0) c Exported_3 : 4180
1817.34/271.23	c (235,0) c Exported_4 : 4719
1817.34/271.23	c (235,0) c Exported_5 : 4446
1817.34/271.23	c (235,0) c Exported_6 : 4359
1817.34/271.23	c (235,0) c Exported_7 : 4386
1817.34/271.23	c (235,0) c Exported_total : 35229
1817.34/271.23	c (235,0) c Exported_winner : 4386
1817.34/271.23	c (235,0) c Imported_0 : 30088
1817.34/271.23	c (235,0) c Imported_1 : 29508
1817.34/271.23	c (235,0) c Imported_2 : 29666
1817.34/271.23	c (235,0) c Imported_3 : 28424
1817.34/271.23	c (235,0) c Imported_4 : 29522
1817.34/271.23	c (235,0) c Imported_5 : 29489
1817.34/271.23	c (235,0) c Imported_6 : 30190
1817.34/271.23	c (235,0) c Imported_7 : 30256
1817.34/271.23	c (235,0) c Imported_total : 237143
1817.34/271.23	c (235,0) c Imported_winner : 30256
1817.34/271.23	c (235,0) c Good_0 : 420
1817.34/271.23	c (235,0) c Good_1 : 433
1817.34/271.23	c (235,0) c Good_2 : 427
1817.34/271.23	c (235,0) c Good_3 : 386
1817.34/271.23	c (235,0) c Good_4 : 421
1817.34/271.23	c (235,0) c Good_5 : 413
1817.34/271.23	c (235,0) c Good_6 : 439
1817.34/271.23	c (235,0) c Good_7 : 431
1817.34/271.23	c (235,0) c Good_total : 3370
1817.34/271.23	c (235,0) c Good_winner : 431
1817.34/271.23	c (235,0) c Purge_0 : 29668
1817.34/271.23	c (235,0) c Purge_1 : 29075
1817.34/271.23	c (235,0) c Purge_2 : 29239
1817.34/271.23	c (235,0) c Purge_3 : 28038
1817.34/271.23	c (235,0) c Purge_4 : 29101
1817.34/271.23	c (235,0) c Purge_5 : 29076
1817.34/271.23	c (235,0) c Purge_6 : 29751
1817.34/271.23	c (235,0) c Purge_7 : 29825
1817.34/271.23	c (235,0) c Purge_total : 233773
1817.34/271.23	c (235,0) c Purge_winner : 29825
1817.34/271.23	c (235,0) c Promoted_0 : 3354
1817.34/271.23	c (235,0) c Promoted_1 : 3576
1817.34/271.23	c (235,0) c Promoted_2 : 3381
1817.34/271.23	c (235,0) c Promoted_3 : 3557
1817.34/271.23	c (235,0) c Promoted_4 : 3381
1817.34/271.23	c (235,0) c Promoted_5 : 3406
1817.34/271.23	c (235,0) c Promoted_6 : 3614
1817.34/271.23	c (235,0) c Promoted_7 : 3436
1817.34/271.23	c (235,0) c Promoted_total : 27705
1817.34/271.23	c (235,0) c Promoted_winner : 3436
1817.34/271.23	c (235,0) c Remove_Imp_0 : 7527
1817.34/271.23	c (235,0) c Remove_Imp_1 : 13308
1817.34/271.23	c (235,0) c Remove_Imp_2 : 13322
1817.34/271.23	c (235,0) c Remove_Imp_3 : 12953
1817.34/271.23	c (235,0) c Remove_Imp_4 : 12179
1817.34/271.23	c (235,0) c Remove_Imp_5 : 13189
1817.34/271.23	c (235,0) c Remove_Imp_6 : 12392
1817.34/271.23	c (235,0) c Remove_Imp_7 : 12987
1817.34/271.23	c (235,0) c Remove_Imp_total : 97857
1817.34/271.23	c (235,0) c Remove_Imp_winner : 12987
1817.34/271.23	c (235,0) c Blocked_Reuse_0 : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_1 : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_2 : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_3 : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_4 : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_5 : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_6 : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_7 : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_total : 0
1817.34/271.23	c (235,0) c Blocked_Reuse_winner : 0
1817.34/271.23	c (235,0) c Unaries_0 : 14
1817.34/271.23	c (235,0) c Unaries_1 : 19
1817.34/271.23	c (235,0) c Unaries_2 : 36
1817.34/271.23	c (235,0) c Unaries_3 : 21
1817.34/271.23	c (235,0) c Unaries_4 : 29
1817.34/271.23	c (235,0) c Unaries_5 : 29
1817.34/271.23	c (235,0) c Unaries_6 : 31
1817.34/271.23	c (235,0) c Unaries_7 : 23
1817.34/271.23	c (235,0) c Unaries_total : 202
1817.34/271.23	c (235,0) c Unaries_winner : 23
1817.34/271.23	c (235,0) c Binaries_0 : 69
1817.34/271.23	c (235,0) c Binaries_1 : 51
1817.34/271.23	c (235,0) c Binaries_2 : 58
1817.34/271.23	c (235,0) c Binaries_3 : 64
1817.34/271.23	c (235,0) c Binaries_4 : 72
1817.34/271.23	c (235,0) c Binaries_5 : 67
1817.34/271.23	c (235,0) c Binaries_6 : 69
1817.34/271.23	c (235,0) c Binaries_7 : 80
1817.34/271.23	c (235,0) c Binaries_total : 530
1817.34/271.23	c (235,0) c Binaries_winner : 80
1817.34/271.23	c (235,0) c Glues_0 : 598
1817.34/271.23	c (235,0) c Glues_1 : 663
1817.34/271.23	c (235,0) c Glues_2 : 558
1817.34/271.23	c (235,0) c Glues_3 : 645
1817.34/271.23	c (235,0) c Glues_4 : 613
1817.34/271.23	c (235,0) c Glues_5 : 714
1817.34/271.23	c (235,0) c Glues_6 : 645
1817.34/271.23	c (235,0) c Glues_7 : 686
1817.34/271.23	c (235,0) c Glues_total : 5122
1817.34/271.23	c (235,0) c Glues_winner : 686
1817.34/271.23	c (235,0) c RunningTime_0 : 228.159398
1817.34/271.23	c (235,0) c RunningTime_1 : 230.524083
1817.34/271.23	c (235,0) c RunningTime_2 : 217.044013
1817.34/271.23	c (235,0) c RunningTime_3 : 215.708530
1817.34/271.23	c (235,0) c RunningTime_4 : 221.947832
1817.34/271.23	c (235,0) c RunningTime_5 : 223.792234
1817.34/271.23	c (235,0) c RunningTime_6 : 219.503253
1817.34/271.23	c (235,0) c RunningTime_7 : 216.560025
1817.34/271.23	c (235,0) c RunningTime_total : 1773.239367
1817.34/271.23	c (235,0) c RunningTime_winner : 216.560025
1817.34/271.23	c (235,0) c WaitingTime_0 : 1.223907
1817.34/271.23	c (235,0) c WaitingTime_1 : 0.001390
1817.34/271.23	c (235,0) c WaitingTime_2 : 12.119280
1817.34/271.23	c (235,0) c WaitingTime_3 : 12.072590
1817.34/271.23	c (235,0) c WaitingTime_4 : 7.229127
1817.34/271.23	c (235,0) c WaitingTime_5 : 3.540421
1817.34/271.23	c (235,0) c WaitingTime_6 : 8.417016
1817.34/271.23	c (235,0) c WaitingTime_7 : 10.679921
1817.34/271.23	c (235,0) c WaitingTime_total : 55.283652
1817.34/271.23	c (235,0) c WaitingTime_winner : 10.679921
1817.34/271.23	c (235,0) c ExchangingTime_0 : 0.028985
1817.34/271.23	c (235,0) c ExchangingTime_1 : 0.031229
1817.34/271.23	c (235,0) c ExchangingTime_2 : 0.032606
1817.34/271.23	c (235,0) c ExchangingTime_3 : 0.029783
1817.34/271.23	c (235,0) c ExchangingTime_4 : 0.032405
1817.34/271.23	c (235,0) c ExchangingTime_5 : 0.032218
1817.34/271.23	c (235,0) c ExchangingTime_6 : 0.033189
1817.34/271.23	c (235,0) c ExchangingTime_7 : 0.030939
1817.34/271.23	c (235,0) c ExchangingTime_total : 0.251354
1817.34/271.23	c (235,0) c ExchangingTime_winner : 0.030939
1817.34/271.23	c (235,0) c PeriodProcTime_0 : 0.012548
1817.34/271.23	c (235,0) c PeriodProcTime_1 : 0.020674
1817.34/271.23	c (235,0) c PeriodProcTime_2 : 0.013343
1817.34/271.23	c (235,0) c PeriodProcTime_3 : 0.012877
1817.34/271.23	c (235,0) c PeriodProcTime_4 : 0.013067
1817.34/271.23	c (235,0) c PeriodProcTime_5 : 0.012854
1817.34/271.23	c (235,0) c PeriodProcTime_6 : 0.013263
1817.34/271.23	c (235,0) c PeriodProcTime_7 : 0.012921
1817.34/271.23	c (235,0) c PeriodProcTime_total : 0.111547
1817.34/271.23	c (235,0) c PeriodProcTime_winner : 0.012921
1817.34/271.23	c (235,0) c SolvingTime_0 : 229.424837
1817.34/271.23	c (235,0) c SolvingTime_1 : 230.577375
1817.34/271.23	c (235,0) c SolvingTime_2 : 229.209242
1817.34/271.23	c (235,0) c SolvingTime_3 : 227.823780
1817.34/271.23	c (235,0) c SolvingTime_4 : 229.222431
1817.34/271.23	c (235,0) c SolvingTime_5 : 227.377727
1817.34/271.23	c (235,0) c SolvingTime_6 : 227.966721
1817.34/271.23	c (235,0) c SolvingTime_7 : 227.283806
1817.34/271.23	c (235,0) c SolvingTime_total : 1828.885919
1817.34/271.23	c (235,0) c SolvingTime_winner : 227.283806
1817.34/271.23	c (235,0) c PropagationTime_0 : 217.471981
1817.34/271.23	c (235,0) c PropagationTime_1 : 218.355237
1817.34/271.23	c (235,0) c PropagationTime_2 : 214.526912
1817.34/271.23	c (235,0) c PropagationTime_3 : 215.238698
1817.34/271.23	c (235,0) c PropagationTime_4 : 214.630836
1817.34/271.23	c (235,0) c PropagationTime_5 : 213.849451
1817.34/271.23	c (235,0) c PropagationTime_6 : 212.425396
1817.34/271.23	c (235,0) c PropagationTime_7 : 212.650739
1817.34/271.23	c (235,0) c PropagationTime_total : 1719.149251
1817.34/271.23	c (235,0) c PropagationTime_winner : 212.650739
1817.34/271.23	c (235,0) c AnalysisTime_0 : 4.102518
1817.34/271.23	c (235,0) c AnalysisTime_1 : 4.002182
1817.34/271.23	c (235,0) c AnalysisTime_2 : 4.528849
1817.34/271.23	c (235,0) c AnalysisTime_3 : 4.435284
1817.34/271.23	c (235,0) c AnalysisTime_4 : 4.342285
1817.34/271.23	c (235,0) c AnalysisTime_5 : 4.321973
1817.34/271.23	c (235,0) c AnalysisTime_6 : 4.432299
1817.34/271.23	c (235,0) c AnalysisTime_7 : 4.342419
1817.34/271.23	c (235,0) c AnalysisTime_total : 34.507809
1817.34/271.23	c (235,0) c AnalysisTime_winner : 4.342419
1817.34/271.23	c (235,0) c ReductionTime_0 : 0.008595
1817.34/271.23	c (235,0) c ReductionTime_1 : 0.015111
1817.34/271.23	c (235,0) c ReductionTime_2 : 0.018822
1817.34/271.23	c (235,0) c ReductionTime_3 : 0.018962
1817.34/271.23	c (235,0) c ReductionTime_4 : 0.018522
1817.34/271.23	c (235,0) c ReductionTime_5 : 0.015356
1817.34/271.23	c (235,0) c ReductionTime_6 : 0.015758
1817.34/271.23	c (235,0) c ReductionTime_7 : 0.015331
1817.34/271.23	c (235,0) c ReductionTime_total : 0.126457
1817.34/271.23	c (235,0) c ReductionTime_winner : 0.015331
1817.34/271.23	c (235,0) c SimplifyTime_0 : 2.932392
1817.34/271.23	c (235,0) c SimplifyTime_1 : 3.251848
1817.34/271.23	c (235,0) c SimplifyTime_2 : 5.076968
1817.34/271.23	c (235,0) c SimplifyTime_3 : 3.088287
1817.34/271.23	c (235,0) c SimplifyTime_4 : 4.891490
1817.34/271.23	c (235,0) c SimplifyTime_5 : 4.006361
1817.34/271.23	c (235,0) c SimplifyTime_6 : 5.883736
1817.34/271.23	c (235,0) c SimplifyTime_7 : 5.211510
1817.34/271.23	c (235,0) c SimplifyTime_total : 34.342592
1817.34/271.23	c (235,0) c SimplifyTime_winner : 5.211510
1817.34/271.23	c (235,0) c UsedRateTime_0 : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_1 : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_2 : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_3 : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_4 : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_5 : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_6 : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_7 : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_total : 0.000000
1817.34/271.23	c (235,0) c UsedRateTime_winner : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_0 : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_1 : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_2 : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_3 : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_4 : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_5 : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_6 : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_7 : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_total : 0.000000
1817.34/271.23	c (235,0) c OverlapRateTime_winner : 0.000000
1817.34/271.23	c (235,0) c
1817.34/271.23	c (235,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1817.34/271.23	c (235,0) c
1817.34/271.23	c (235,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.23	c (235,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1817.34/271.23	c (235,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.23	c (235,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1817.34/271.23	c (235,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1817.34/271.23	c (235,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1817.34/271.23	c (235,0) c | Initial random_seed   | 1124695562 | 1111301663 | 1322778941 | 1358132517 |  996426098 | 1147653975 |  705447395 | 1849108925 |
1817.34/271.25	c (235,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1817.34/271.25	c (235,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1817.34/271.25	c (235,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1817.34/271.25	c (235,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1817.34/271.25	c (235,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1817.34/271.25	c (235,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1817.34/271.25	c (235,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1817.34/271.25	c (235,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8500 |     0.8400 |     0.8400 |     0.8400 |
1817.34/271.25	c (235,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1817.34/271.25	c (235,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1817.34/271.25	c (235,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1817.34/271.25	c (235,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1817.34/271.25	c (235,0) 
1817.34/271.25	c (235,0) s UNSATISFIABLE
45.94/271.48	c (236,0) SatSolver.solve End
45.94/271.48	c (236,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
45.94/271.48	c (236,0) Show results Begin
45.94/271.48	s UNSATISFIABLE
45.94/271.48	c (236,0) Show results End
45.94/271.48	c (236,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
45.94/271.48	c (236,0) 236,236,STOP-AFTER(ALL)
45.94/271.48	c END-Prog: Sat Sep 14 08:24:40 CEST 2019

Verifier Data


Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (14535 MiB free)
  memory of node 1: 16384 MiB (15608 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392421-1568442050/watcher-4392421-1568442050 -o /tmp/evaluation-result-4392421-1568442050/solver-4392421-1568442050 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568439487-2574 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392421-1568442050.xml 

running on 8 cores: 0-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=3016, runsolver pid=3013
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 7.89 8.20 8.27 2/212 3038
/proc/meminfo: memFree=30772352/32770688 swapFree=66961116/67108860
[pid=3016] ppid=3013 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3016/stat : 3016 (scop.sh) S 3013 3016 2547 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420146651 115843072 349 33554432000 4194304 5098028 140729513683056 140729513680312 139951008285308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38576128 140729513689893 140729513690220 140729513690220 140729513693133 0
/proc/3016/statm: 28282 349 296 221 0 87 0
[pid=3019] ppid=3016 vsize=27314120 memory=104404 CPUtime=0.1 cores=0-7
/proc/3019/stat : 3019 (java) S 3016 3016 2547 0 -1 1077944320 6171 0 0 0 8 2 0 0 20 0 20 0 420146652 27969658880 26101 33554432000 4194304 4196468 140730780918336 140730780900880 140336809393911 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
/proc/3019/statm: 6828530 26101 2776 1 0 6790935 0
[pid=3019/tid=3020] ppid=3016 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/3019/task/3020/stat : 3020 (java) R 3016 3016 2547 0 -1 4202560 4305 0 0 0 7 2 0 0 20 0 20 0 420146652 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336781220240 140336261312300 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3021] ppid=3016 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3019/task/3021/stat : 3021 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336813636368 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3022] ppid=3016 vsize=27314120 memory=140529689314944 CPUtime=0 cores=0-7
/proc/3019/task/3022/stat : 3022 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336581651344 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3023] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3023/stat : 3023 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336230468624 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3024] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3024/stat : 3024 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336229416080 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3025] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3025/stat : 3025 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336228362512 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3026] ppid=3016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3019/task/3026/stat : 3026 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336227309968 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3027] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3027/stat : 3027 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336226257424 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3028] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3028/stat : 3028 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336225204880 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3029] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3029/stat : 3029 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146656 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336182385136 140336809405058 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3030] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3030/stat : 3030 (java) S 3016 3016 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420146656 27969658880 26101 33554432000 4194304 4196468 140730780918336 140334566729120 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3031] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3031/stat : 3031 (java) S 3016 3016 2547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420146657 27969658880 26101 33554432000 4194304 4196468 140730780918336 140334432507376 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3032] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3032/stat : 3032 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 26101 33554432000 4194304 4196468 140730780918336 140334058003152 140336809412507 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3033] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3033/stat : 3033 (java) R 3016 3016 2547 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336181331952 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3034] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3034/stat : 3034 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336180279408 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3035] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3035/stat : 3035 (java) R 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336179226864 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3036] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3036/stat : 3036 (java) R 3016 3016 2547 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336064096624 140336809405058 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3037] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3037/stat : 3037 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146660 27969658880 26101 33554432000 4194304 4196468 140730780918336 140333560097504 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3038] ppid=3016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3019/task/3038/stat : 3038 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146660 27969658880 26101 33554432000 4194304 4196468 140730780918336 140336063044528 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105800 KiB

[startup+0.211321 s]*
/proc/loadavg: 7.89 8.20 8.27 2/212 3038
/proc/meminfo: memFree=30754184/32770688 swapFree=66961116/67108860
[pid=3016] ppid=3013 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3016/stat : 3016 (scop.sh) S 3013 3016 2547 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420146651 115843072 349 33554432000 4194304 5098028 140729513683056 140729513680312 139951008285308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38576128 140729513689893 140729513690220 140729513690220 140729513693133 0
/proc/3016/statm: 28282 349 296 221 0 87 0
[pid=3019] ppid=3016 vsize=27314120 memory=123712 CPUtime=0.24 cores=0-7
/proc/3019/stat : 3019 (java) S 3016 3016 2547 0 -1 1077944320 11657 0 0 0 20 4 0 0 20 0 20 0 420146652 27969658880 30928 33554432000 4194304 4196468 140730780918336 140730780900880 140336809393911 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
/proc/3019/statm: 6828530 30928 2924 1 0 6790935 0
[pid=3019/tid=3020] ppid=3016 vsize=27315144 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3019/task/3020/stat : 3020 (java) R 3016 3016 2547 0 -1 4202560 9515 0 0 0 16 3 0 0 20 0 20 0 420146652 27970707456 30946 33554432000 4194304 4196468 140730780918336 140336781193296 140336802111015 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3021] ppid=3016 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/3019/task/3021/stat : 3021 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336813636368 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3022] ppid=3016 vsize=27314120 memory=140529689328126 CPUtime=0 cores=0-7
/proc/3019/task/3022/stat : 3022 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336581651344 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3023] ppid=3016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3019/task/3023/stat : 3023 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336230468624 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3024] ppid=3016 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3024/stat : 3024 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27970707456 30946 33554432000 4194304 4196468 140730780918336 140336229416080 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3025] ppid=3016 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3025/stat : 3025 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27970707456 30946 33554432000 4194304 4196468 140730780918336 140336228362512 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3026] ppid=3016 vsize=27315144 memory=-1 CPUtime=0 cores=0-7
/proc/3019/task/3026/stat : 3026 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27970707456 30946 33554432000 4194304 4196468 140730780918336 140336227309968 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3027] ppid=3016 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3027/stat : 3027 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146654 27970707456 30946 33554432000 4194304 4196468 140730780918336 140336226257424 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3028] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3028/stat : 3028 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336225204880 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3029] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3029/stat : 3029 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146656 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336182385136 140336809405058 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3030] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3030/stat : 3030 (java) S 3016 3016 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420146656 27969658880 30946 33554432000 4194304 4196468 140730780918336 140334566729120 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3031] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3031/stat : 3031 (java) S 3016 3016 2547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420146657 27969658880 30946 33554432000 4194304 4196468 140730780918336 140334432507376 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3032] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3032/stat : 3032 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 30946 33554432000 4194304 4196468 140730780918336 140334058003152 140336809412507 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3033] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3033/stat : 3033 (java) S 3016 3016 2547 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336181331952 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3034] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3034/stat : 3034 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336180279408 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3035] ppid=3016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3019/task/3035/stat : 3035 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336179226864 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3036] ppid=3016 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3019/task/3036/stat : 3036 (java) S 3016 3016 2547 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 420146659 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336064096624 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3037] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3037/stat : 3037 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146660 27969658880 30946 33554432000 4194304 4196468 140730780918336 140333560097504 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3038] ppid=3016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3019/task/3038/stat : 3038 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146660 27969658880 30946 33554432000 4194304 4196468 140730780918336 140336063044528 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125108 KiB

[startup+0.310631 s]*
/proc/loadavg: 7.89 8.20 8.27 3/212 3038
/proc/meminfo: memFree=30749840/32770688 swapFree=66961116/67108860
[pid=3016] ppid=3013 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3016/stat : 3016 (scop.sh) S 3013 3016 2547 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420146651 115843072 349 33554432000 4194304 5098028 140729513683056 140729513680312 139951008285308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38576128 140729513689893 140729513690220 140729513690220 140729513693133 0
/proc/3016/statm: 28282 349 296 221 0 87 0
[pid=3019] ppid=3016 vsize=27314120 memory=127096 CPUtime=0.42 cores=0-7
/proc/3019/stat : 3019 (java) S 3016 3016 2547 0 -1 1077944320 12215 0 0 0 38 4 0 0 20 0 20 0 420146652 27969658880 31774 33554432000 4194304 4196468 140730780918336 140730780900880 140336809393911 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
/proc/3019/statm: 6828530 31774 2980 1 0 6790935 0
[pid=3019/tid=3020] ppid=3016 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3019/task/3020/stat : 3020 (java) R 3016 3016 2547 0 -1 4202560 9761 0 0 0 26 3 0 0 20 0 20 0 420146652 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336781223424 140336793474398 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3021] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3021/stat : 3021 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336813636368 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3022] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3022/stat : 3022 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336581651344 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3023] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3023/stat : 3023 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336230468624 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3024] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3024/stat : 3024 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336229416080 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3025] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3025/stat : 3025 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336228362512 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3026] ppid=3016 vsize=27314120 memory=140529585187503 CPUtime=0 cores=0-7
/proc/3019/task/3026/stat : 3026 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336227309968 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3027] ppid=3016 vsize=27314120 memory=140529585189808 CPUtime=0 cores=0-7
/proc/3019/task/3027/stat : 3027 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336226257424 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3028] ppid=3016 vsize=27314120 memory=140529585192112 CPUtime=0 cores=0-7
/proc/3019/task/3028/stat : 3028 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336225204880 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3029] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3029/stat : 3029 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146656 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336182385136 140336809405058 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3030] ppid=3016 vsize=27314120 memory=281059170398096 CPUtime=0 cores=0-7
/proc/3019/task/3030/stat : 3030 (java) S 3016 3016 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420146656 27969658880 31774 33554432000 4194304 4196468 140730780918336 140334566729120 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3031] ppid=3016 vsize=27314120 memory=281059170395792 CPUtime=0 cores=0-7
/proc/3019/task/3031/stat : 3031 (java) S 3016 3016 2547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420146657 27969658880 31774 33554432000 4194304 4196468 140730780918336 140334432507376 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3032] ppid=3016 vsize=27314120 memory=281059170402704 CPUtime=0 cores=0-7
/proc/3019/task/3032/stat : 3032 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 31774 33554432000 4194304 4196468 140730780918336 140334058003152 140336809412507 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3033] ppid=3016 vsize=27314120 memory=281059170343952 CPUtime=0 cores=0-7
/proc/3019/task/3033/stat : 3033 (java) S 3016 3016 2547 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336181331952 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3034] ppid=3016 vsize=27314120 memory=281059170416528 CPUtime=0.02 cores=0-7
/proc/3019/task/3034/stat : 3034 (java) S 3016 3016 2547 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 20 0 420146659 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336180279408 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3035] ppid=3016 vsize=27314120 memory=281059170423440 CPUtime=0 cores=0-7
/proc/3019/task/3035/stat : 3035 (java) S 3016 3016 2547 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 420146659 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336179226864 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3036] ppid=3016 vsize=27314120 memory=281059170421136 CPUtime=0.07 cores=0-7
/proc/3019/task/3036/stat : 3036 (java) S 3016 3016 2547 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 420146659 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336064096624 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3037] ppid=3016 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3037/stat : 3037 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146660 27969658880 31774 33554432000 4194304 4196468 140730780918336 140333560097504 140336809404117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3038] ppid=3016 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3019/task/3038/stat : 3038 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146660 27969658880 31774 33554432000 4194304 4196468 140730780918336 140336063044528 140336809405058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128492 KiB

[startup+0.701027 s]
/proc/loadavg: 7.89 8.20 8.27 2/212 3038
/proc/meminfo: memFree=30736756/32770688 swapFree=66961116/67108860
[pid=3016] ppid=3013 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3016/stat : 3016 (scop.sh) S 3013 3016 2547 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420146651 115843072 349 33554432000 4194304 5098028 140729513683056 140729513680312 139951008285308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38576128 140729513689893 140729513690220 140729513690220 140729513693133 0
/proc/3016/statm: 28282 349 296 221 0 87 0
[pid=3019] ppid=3016 vsize=27320392 memory=158232 CPUtime=0.91 cores=0-7
/proc/3019/stat : 3019 (java) S 3016 3016 2547 0 -1 1077944320 19157 0 0 0 84 7 0 0 20 0 20 0 420146652 27976081408 39558 33554432000 4194304 4196468 140730780918336 140730780900880 140336809393911 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
/proc/3019/statm: 6830098 39558 3165 1 0 6791447 0
[pid=3019/tid=3020] ppid=3016 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/3019/task/3020/stat : 3020 (java) R 3016 3016 2547 0 -1 4202560 16433 0 0 0 62 5 0 0 20 0 20 0 420146652 27976081408 39558 33554432000 4194304 4196468 140730780918336 140336781215456 140336793474398 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3021] ppid=3016 vsize=27320392 memory=140529585398640 CPUtime=0 cores=0-7
/proc/3019/task/3021/stat : 3021 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420146654 27976081408 39558 33554432000 4194304 4196468 140730780918336 140336813636368 140336809404117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3022] ppid=3016 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3019/task/3022/stat : 3022 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420146654 27976081408 39558 33554432000 4194304 4196468 140730780918336 140336581651344 140336809404117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0
[pid=3019/tid=3023] ppid=3016 vsize=27320392 memory=1564 CPUtime=0 cores=0-7
/proc/3019/task/3023/stat : 3023 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420146654 27976081408 39558 33554432000 4194304 4196468 140730780918336 140336230468624 140336809404117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8691712 140730780926700 140730780927126 140730780927126 140730780929999 0

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

[pid=3042/tid=3045] ppid=3016 vsize=8414124 memory=1088 CPUtime=0 cores=0-7
/proc/3042/task/3045/stat : 3045 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437631642384 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3046] ppid=3016 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/3042/task/3046/stat : 3046 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437630590096 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3047] ppid=3016 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/3042/task/3047/stat : 3047 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437629537296 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3048] ppid=3016 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/3042/task/3048/stat : 3048 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437628483984 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3049] ppid=3016 vsize=8414124 memory=19232 CPUtime=0 cores=0-7
/proc/3042/task/3049/stat : 3049 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437627431184 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3050] ppid=3016 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/3042/task/3050/stat : 3050 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437626378896 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3051] ppid=3016 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/3042/task/3051/stat : 3051 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437625326096 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3052] ppid=3016 vsize=8414124 memory=7686721470267299222 CPUtime=0 cores=0-7
/proc/3042/task/3052/stat : 3052 (java) S 3016 3016 2547 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420150141 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437105916528 140438147000962 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3053] ppid=3016 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/3042/task/3053/stat : 3053 (java) S 3016 3016 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420150141 8616062976 30276 33554432000 4194304 4196468 140729582963888 140436773528864 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3054] ppid=3016 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/3042/task/3054/stat : 3054 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420150141 8616062976 30276 33554432000 4194304 4196468 140729582963888 140436505093744 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3055] ppid=3016 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/3042/task/3055/stat : 3055 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420150144 8616062976 30276 33554432000 4194304 4196468 140729582963888 140436130585168 140438147008411 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3056] ppid=3016 vsize=8414124 memory=1556 CPUtime=0.08 cores=0-7
/proc/3042/task/3056/stat : 3056 (java) S 3016 3016 2547 0 -1 1077944384 636 0 0 0 8 0 0 0 20 0 24 0 420150144 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437104863344 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3057] ppid=3016 vsize=8414124 memory=928 CPUtime=0.14 cores=0-7
/proc/3042/task/3057/stat : 3057 (java) S 3016 3016 2547 0 -1 1077944384 491 0 0 0 14 0 0 0 20 0 24 0 420150144 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437103810544 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3058] ppid=3016 vsize=8414124 memory=1628 CPUtime=0.06 cores=0-7
/proc/3042/task/3058/stat : 3058 (java) S 3016 3016 2547 0 -1 1077944384 327 0 0 0 6 0 0 0 20 0 24 0 420150144 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437102758256 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3059] ppid=3016 vsize=8414124 memory=796 CPUtime=0.24 cores=0-7
/proc/3042/task/3059/stat : 3059 (java) S 3016 3016 2547 0 -1 1077944384 1019 0 0 0 24 0 0 0 20 0 24 0 420150144 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437101705456 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3060] ppid=3016 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/3042/task/3060/stat : 3060 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150144 8616062976 30276 33554432000 4194304 4196468 140729582963888 140435632679776 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3061] ppid=3016 vsize=8414124 memory=1984 CPUtime=0.16 cores=0-7
/proc/3042/task/3061/stat : 3061 (java) S 3016 3016 2547 0 -1 1077944384 17 0 0 0 2 14 0 0 20 0 24 0 420150145 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437100653360 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3063] ppid=3016 vsize=8414124 memory=2424 CPUtime=0 cores=0-7
/proc/3042/task/3063/stat : 3063 (java) S 3016 3016 2547 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420150222 8616062976 30276 33554432000 4194304 4196468 140729582963888 140437444994880 140438147014425 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3065] ppid=3016 vsize=8414124 memory=4100 CPUtime=0.01 cores=0-7
/proc/3042/task/3065/stat : 3065 (java) S 3016 3016 2547 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 420150222 8616062976 30276 33554432000 4194304 4196468 140729582963888 140434961579440 140438147011741 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3066] ppid=3016 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/3042/task/3066/stat : 3066 (java) S 3016 3016 2547 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420150222 8616062976 30276 33554432000 4194304 4196468 140729582963888 140435230014768 140438147011741 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3067] ppid=3016 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/3042/task/3067/stat : 3067 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150224 8616062976 30276 33554432000 4194304 4196468 140729582963888 140434693152048 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
Current children cumulated CPU time: 1817.34 s
Current children cumulated vsize: 12119112 KiB
Current children cumulated memory: 2964508 KiB

[startup+271.401 s]
/proc/loadavg: 7.46 7.53 7.93 2/218 3089
/proc/meminfo: memFree=27762736/32770688 swapFree=66961116/67108860
[pid=3016] ppid=3013 vsize=113128 memory=1476 CPUtime=44.27 cores=0-7
/proc/3016/stat : 3016 (scop.sh) S 3013 3016 2547 0 -1 4202496 583 43644 0 0 0 0 4239 188 20 0 1 0 420146651 115843072 369 33554432000 4194304 5098028 140729513683056 140729513679800 139951008285308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38576128 140729513689893 140729513690220 140729513690220 140729513693133 0
/proc/3016/statm: 28282 369 311 221 0 87 0
[pid=3042] ppid=3016 vsize=8414124 memory=124164 CPUtime=1.67 cores=0-7
/proc/3042/stat : 3042 (java) S 3016 3016 2547 0 -1 1077944320 23467 0 0 0 157 10 0 0 20 0 24 0 420150137 8616062976 31041 33554432000 4194304 4196468 140729582963888 140729582946432 140438146989815 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
/proc/3042/statm: 2103531 31041 3200 1 0 2064875 0
[pid=3042/tid=3043] ppid=3016 vsize=8414124 memory=-7824251494390913387 CPUtime=0.87 cores=0-7
/proc/3042/task/3043/stat : 3043 (java) S 3016 3016 2547 0 -1 1077944384 17840 0 0 0 81 6 0 0 20 0 24 0 420150138 8616062976 31041 33554432000 4194304 4196468 140729582963888 140438118829984 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3044] ppid=3016 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/3042/task/3044/stat : 3044 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 31041 33554432000 4194304 4196468 140729582963888 140438151232400 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3045] ppid=3016 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/3042/task/3045/stat : 3045 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437631642384 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3046] ppid=3016 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/3042/task/3046/stat : 3046 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437630590096 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3047] ppid=3016 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/3042/task/3047/stat : 3047 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437629537296 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3048] ppid=3016 vsize=8414124 memory=4148 CPUtime=0 cores=0-7
/proc/3042/task/3048/stat : 3048 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437628483984 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3049] ppid=3016 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/3042/task/3049/stat : 3049 (java) S 3016 3016 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437627431184 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3050] ppid=3016 vsize=8414124 memory=3600 CPUtime=0 cores=0-7
/proc/3042/task/3050/stat : 3050 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437626378896 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3051] ppid=3016 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/3042/task/3051/stat : 3051 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150139 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437625326096 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3052] ppid=3016 vsize=8414124 memory=121104 CPUtime=0 cores=0-7
/proc/3042/task/3052/stat : 3052 (java) S 3016 3016 2547 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420150141 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437105916528 140438147000962 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3053] ppid=3016 vsize=8414124 memory=2861188 CPUtime=0 cores=0-7
/proc/3042/task/3053/stat : 3053 (java) S 3016 3016 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420150141 8616062976 31041 33554432000 4194304 4196468 140729582963888 140436773528864 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3054] ppid=3016 vsize=8414124 memory=1680 CPUtime=0 cores=0-7
/proc/3042/task/3054/stat : 3054 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420150141 8616062976 31041 33554432000 4194304 4196468 140729582963888 140436505093744 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3055] ppid=3016 vsize=8414124 memory=2841928 CPUtime=0 cores=0-7
/proc/3042/task/3055/stat : 3055 (java) S 3016 3016 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420150144 8616062976 31041 33554432000 4194304 4196468 140729582963888 140436130585168 140438147008411 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3056] ppid=3016 vsize=8414124 memory=2841928 CPUtime=0.08 cores=0-7
/proc/3042/task/3056/stat : 3056 (java) S 3016 3016 2547 0 -1 1077944384 640 0 0 0 8 0 0 0 20 0 24 0 420150144 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437104863344 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3057] ppid=3016 vsize=8414124 memory=2841928 CPUtime=0.16 cores=0-7
/proc/3042/task/3057/stat : 3057 (java) S 3016 3016 2547 0 -1 1077944384 496 0 0 0 16 0 0 0 20 0 24 0 420150144 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437103810544 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3058] ppid=3016 vsize=8414124 memory=121104 CPUtime=0.06 cores=0-7
/proc/3042/task/3058/stat : 3058 (java) S 3016 3016 2547 0 -1 1077944384 337 0 0 0 6 0 0 0 20 0 24 0 420150144 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437102758256 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3059] ppid=3016 vsize=8414124 memory=2841816 CPUtime=0.26 cores=0-7
/proc/3042/task/3059/stat : 3059 (java) S 3016 3016 2547 0 -1 1077944384 1042 0 0 0 26 0 0 0 20 0 24 0 420150144 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437101705456 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3060] ppid=3016 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3042/task/3060/stat : 3060 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150144 8616062976 31041 33554432000 4194304 4196468 140729582963888 140435632679776 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3061] ppid=3016 vsize=8414124 memory=2832 CPUtime=0.16 cores=0-7
/proc/3042/task/3061/stat : 3061 (java) S 3016 3016 2547 0 -1 1077944384 17 0 0 0 2 14 0 0 20 0 24 0 420150145 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437100653360 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3063] ppid=3016 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/3042/task/3063/stat : 3063 (java) S 3016 3016 2547 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420150222 8616062976 31041 33554432000 4194304 4196468 140729582963888 140437444994880 140438147014425 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3065] ppid=3016 vsize=8414124 memory=8560 CPUtime=0.03 cores=0-7
/proc/3042/task/3065/stat : 3065 (java) S 3016 3016 2547 0 -1 4202560 1699 0 0 0 2 1 0 0 20 0 24 0 420150222 8616062976 31041 33554432000 4194304 4196468 140729582963888 140434961579472 140438147011741 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3066] ppid=3016 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/3042/task/3066/stat : 3066 (java) S 3016 3016 2547 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420150222 8616062976 31041 33554432000 4194304 4196468 140729582963888 140435230014768 140438147011741 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3067] ppid=3016 vsize=8414124 memory=19232 CPUtime=0 cores=0-7
/proc/3042/task/3067/stat : 3067 (java) S 3016 3016 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420150224 8616062976 31041 33554432000 4194304 4196468 140729582963888 140434693152048 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
Current children cumulated CPU time: 45.94 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125640 KiB

[startup+271.501 s]
/proc/loadavg: 7.46 7.53 7.93 2/218 3089
/proc/meminfo: memFree=27762736/32770688 swapFree=66961116/67108860
[pid=3016] ppid=3013 vsize=113128 memory=1476 CPUtime=44.27 cores=0-7
/proc/3016/stat : 3016 (scop.sh) S 3013 3016 2547 0 -1 4202496 583 43644 0 0 0 0 4239 188 20 0 1 0 420146651 115843072 369 33554432000 4194304 5098028 140729513683056 140729513679800 139951008285308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38576128 140729513689893 140729513690220 140729513690220 140729513693133 0
/proc/3016/statm: 28282 369 311 221 0 87 0
[pid=3042] ppid=3016 vsize=8283048 memory=126380 CPUtime=1773.44 cores=0-7
/proc/3042/stat : 3042 (java) S 3016 3016 2547 0 -1 1077944320 23493 11856254 0 0 158 12 175335 1839 20 0 22 0 420150137 8481841152 31595 33554432000 4194304 4196468 140729582963888 140729582946432 140438146989815 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
/proc/3042/statm: 2070762 31595 3202 1 0 2032106 0
[pid=3042/tid=3043] ppid=3016 vsize=8283048 memory=1476 CPUtime=1772.63 cores=0-7
/proc/3042/task/3043/stat : 3043 (java) R 3016 3016 2547 0 -1 4202560 17853 11856254 0 0 82 7 175335 1839 20 0 22 0 420150138 8481841152 31595 33554432000 4194304 4196468 140729582963888 140438118829984 140438139675447 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3044] ppid=3016 vsize=8283048 memory=2848452 CPUtime=1771.74 cores=0-7
/proc/3042/task/3044/stat : 3044 (java) S 3016 3016 2547 0 -1 1077944384 2 11856254 0 0 0 0 175335 1839 20 0 22 0 420150139 8481841152 31595 33554432000 4194304 4196468 140729582963888 140438151232400 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3045] ppid=3016 vsize=8283048 memory=124164 CPUtime=1771.74 cores=0-7
/proc/3042/task/3045/stat : 3045 (java) S 3016 3016 2547 0 -1 1077944384 1 11856254 0 0 0 0 175335 1839 20 0 22 0 420150139 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437631642384 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3046] ppid=3016 vsize=8283048 memory=0 CPUtime=1771.74 cores=0-7
/proc/3042/task/3046/stat : 3046 (java) S 3016 3016 2547 0 -1 1077944384 3 11856254 0 0 0 0 175335 1839 20 0 22 0 420150139 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437630590096 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3047] ppid=3016 vsize=8283048 memory=281059171579792 CPUtime=1771.74 cores=0-7
/proc/3042/task/3047/stat : 3047 (java) S 3016 3016 2547 0 -1 1077944384 2 11856254 0 0 0 0 175335 1839 20 0 22 0 420150139 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437629537296 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3048] ppid=3016 vsize=8283048 memory=920 CPUtime=1771.74 cores=0-7
/proc/3042/task/3048/stat : 3048 (java) S 3016 3016 2547 0 -1 1077944384 3 11856254 0 0 0 0 175335 1839 20 0 22 0 420150139 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437628483984 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3049] ppid=3016 vsize=8283048 memory=4148 CPUtime=1771.74 cores=0-7
/proc/3042/task/3049/stat : 3049 (java) S 3016 3016 2547 0 -1 1077944384 2 11856254 0 0 0 0 175335 1839 20 0 22 0 420150139 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437627431184 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3050] ppid=3016 vsize=8283048 memory=0 CPUtime=1771.74 cores=0-7
/proc/3042/task/3050/stat : 3050 (java) S 3016 3016 2547 0 -1 1077944384 1 11856254 0 0 0 0 175335 1839 20 0 22 0 420150139 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437626378896 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3051] ppid=3016 vsize=8283048 memory=0 CPUtime=1771.74 cores=0-7
/proc/3042/task/3051/stat : 3051 (java) S 3016 3016 2547 0 -1 1077944384 3 11856254 0 0 0 0 175335 1839 20 0 22 0 420150139 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437625326096 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3052] ppid=3016 vsize=8283048 memory=0 CPUtime=1771.74 cores=0-7
/proc/3042/task/3052/stat : 3052 (java) S 3016 3016 2547 0 -1 1077944384 10 11856254 0 0 0 0 175335 1839 20 0 22 0 420150141 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437105916528 140438147000962 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3053] ppid=3016 vsize=8283048 memory=0 CPUtime=1771.74 cores=0-7
/proc/3042/task/3053/stat : 3053 (java) S 3016 3016 2547 0 -1 1077944384 13 11856254 0 0 0 0 175335 1839 20 0 22 0 420150141 8481841152 31595 33554432000 4194304 4196468 140729582963888 140436773528864 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3054] ppid=3016 vsize=8283048 memory=2841928 CPUtime=1771.74 cores=0-7
/proc/3042/task/3054/stat : 3054 (java) S 3016 3016 2547 0 -1 1077944384 1 11856254 0 0 0 0 175335 1839 20 0 22 0 420150141 8481841152 31595 33554432000 4194304 4196468 140729582963888 140436505093744 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3055] ppid=3016 vsize=8283048 memory=1476 CPUtime=1771.74 cores=0-7
/proc/3042/task/3055/stat : 3055 (java) S 3016 3016 2547 0 -1 1077944384 1 11856254 0 0 0 0 175335 1839 20 0 22 0 420150144 8481841152 31595 33554432000 4194304 4196468 140729582963888 140436130585168 140438147008411 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3056] ppid=3016 vsize=8283048 memory=800 CPUtime=1771.82 cores=0-7
/proc/3042/task/3056/stat : 3056 (java) S 3016 3016 2547 0 -1 1077944384 640 11856254 0 0 8 0 175335 1839 20 0 22 0 420150144 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437104863344 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3057] ppid=3016 vsize=8283048 memory=1808 CPUtime=1771.9 cores=0-7
/proc/3042/task/3057/stat : 3057 (java) S 3016 3016 2547 0 -1 1077944384 496 11856254 0 0 16 0 175335 1839 20 0 22 0 420150144 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437103810544 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3058] ppid=3016 vsize=8283048 memory=1476 CPUtime=1771.8 cores=0-7
/proc/3042/task/3058/stat : 3058 (java) S 3016 3016 2547 0 -1 1077944384 337 11856254 0 0 6 0 175335 1839 20 0 22 0 420150144 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437102758256 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3059] ppid=3016 vsize=8283048 memory=121104 CPUtime=1772 cores=0-7
/proc/3042/task/3059/stat : 3059 (java) S 3016 3016 2547 0 -1 1077944384 1044 11856254 0 0 26 0 175335 1839 20 0 22 0 420150144 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437101705456 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3060] ppid=3016 vsize=8283048 memory=2857816 CPUtime=1771.74 cores=0-7
/proc/3042/task/3060/stat : 3060 (java) S 3016 3016 2547 0 -1 1077944384 3 11856254 0 0 0 0 175335 1839 20 0 22 0 420150144 8481841152 31595 33554432000 4194304 4196468 140729582963888 140435632679776 140438147000021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3061] ppid=3016 vsize=8283048 memory=1476 CPUtime=1771.9 cores=0-7
/proc/3042/task/3061/stat : 3061 (java) S 3016 3016 2547 0 -1 1077944384 17 11856254 0 0 2 14 175335 1839 20 0 22 0 420150145 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437100653360 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3063] ppid=3016 vsize=8283048 memory=7882240991181301607 CPUtime=1771.74 cores=0-7
/proc/3042/task/3063/stat : 3063 (java) S 3016 3016 2547 0 -1 1077944384 24 11856254 0 0 0 0 175335 1839 20 0 22 0 420150222 8481841152 31595 33554432000 4194304 4196468 140729582963888 140437444994064 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
[pid=3042/tid=3067] ppid=3016 vsize=8283048 memory=39920 CPUtime=1771.74 cores=0-7
/proc/3042/task/3067/stat : 3067 (java) S 3016 3016 2547 0 -1 1077944384 9 11856254 0 0 0 0 175335 1839 20 0 22 0 420150224 8481841152 31595 33554432000 4194304 4196468 140729582963888 140434693153840 140438147000962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140729582969848 140729582970006 140729582970006 140729582972879 0
Current children cumulated CPU time: 1817.71 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127856 KiB

Child status: 0
Real time (s): 271.522
CPU time (s): 1817.77
CPU user time (s): 1797.33
CPU system time (s): 20.4337
CPU usage (%): 669.473
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6052104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.33
system time used= 20.4337
maximum resident set size= 6051248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11924011
page faults= 0
swaps= 0
block input operations= 8
block output operations= 289392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56815
involuntary context switches= 17049


# summary of solver processes directly reported to runsolver:
#   pid: 3016
#   total CPU time (s): 1817.77
#   total CPU user time (s): 1797.33
#   total CPU system time (s): 20.4337

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.55357 second user time and 4.11029 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-14 08:20:09
IDJOB=4392421
IDBENCH=138477
IDSOLVER=2838
FILE ID=node116/4392421-1568442050
RUNJOBID= node116-1568439487-2574
PBS_JOBID= 21702335
Free space on /tmp= 61244 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-08.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392421-1568442050/watcher-4392421-1568442050 -o /tmp/evaluation-result-4392421-1568442050/solver-4392421-1568442050 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568439487-2574 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392421-1568442050.xml

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

MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3
RANDOM SEED=1736366112

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        30867408 kB
MemAvailable:   31858384 kB
Buffers:           88104 kB
Cached:          1188240 kB
SwapCached:        46664 kB
Active:           940100 kB
Inactive:         387668 kB
Active(anon):       3388 kB
Inactive(anon):    88112 kB
Active(file):     936712 kB
Inactive(file):   299556 kB
Unevictable:      109348 kB
Mlocked:          109348 kB
SwapTotal:      67108860 kB
SwapFree:       66961116 kB
Dirty:             20880 kB
Writeback:             0 kB
AnonPages:        122864 kB
Mapped:            43896 kB
Shmem:             32008 kB
Slab:             169064 kB
SReclaimable:     141084 kB
SUnreclaim:        27980 kB
KernelStack:        3728 kB
PageTables:         4844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     497548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61224 MiB
End job on node116 at 2019-09-14 08:24:41