Trace number 4392721

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 1831.32 276.838

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24571-serial-file.bin HOME/instance-4392721-1568442090.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 07:20:13 CEST 2019
0.66/0.56	c PID: 24574
0.66/0.56	c IP: 172.20.3.106
0.66/0.56	c HOST: node106.alineos.net
0.66/0.57	c (0,0) Parsing Begin
6.05/1.92	c (1,1) Parsing End
6.05/1.93	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1221
6.05/1.93	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.05/1.93	c (1,1) Constraint Name Generate Begin
6.05/1.97	c (1,1) Ctr:HOME/instance-4392721-1568442090.xml,Add:Le:Ne:Num:Or:Var
6.05/1.97	c (1,1) Constraint Name Generate End
6.05/1.97	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.05/1.97	c (1,1) CSP to CSPinCNF Begin
6.95/2.23	c (1,1) translated 558 (10%) constraints
6.95/2.29	c (1,1) translated 1116 (20%) constraints
7.34/2.34	c (1,1) translated 1674 (30%) constraints
7.34/2.38	c (1,1) translated 2232 (40%) constraints
7.73/2.42	c (1,1) translated 2790 (50%) constraints
7.73/2.45	c (1,1) translated 3348 (60%) constraints
7.73/2.49	c (1,1) translated 3906 (70%) constraints
8.14/2.52	c (1,1) translated 4464 (80%) constraints
8.14/2.55	c (2,1) translated 5022 (90%) constraints
8.14/2.56	c (2,2) translated 5580 (100%) constraints
8.14/2.56	c (2,2) ===========================================
8.48/2.60	c (2,2) Hybrid: #OE=450, #LE=0
8.48/2.60	c (2,2) Hybrid
8.48/2.60	c (2,2) ===========================================
8.48/2.63	c (2,2) translated 558 (10%) constraints
8.48/2.65	c (2,2) translated 1116 (20%) constraints
8.48/2.67	c (2,2) translated 1674 (30%) constraints
8.48/2.69	c (2,2) translated 2232 (40%) constraints
8.74/2.71	c (2,2) translated 2790 (50%) constraints
8.74/2.72	c (2,2) translated 3348 (60%) constraints
8.74/2.74	c (2,2) translated 3906 (70%) constraints
8.74/2.75	c (2,2) translated 4464 (80%) constraints
8.74/2.77	c (2,2) translated 5022 (90%) constraints
8.74/2.78	c (2,2) translated 5580 (100%) constraints
8.74/2.79	c (2,2) CSP to CSPinCNF End
8.74/2.79	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138
8.74/2.79	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.74/2.79	c (2,2) CSPinCNF Propagation Begin
9.05/2.86	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.05/2.86	c (2,2) CSPinCNF Propagation End
9.05/2.86	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138
9.05/2.86	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.05/2.88	c (2,2) Hybrid: #OE=450, #LE=0
9.05/2.88	c (2,2) Simplify CSPinCNF Begin
10.13/3.15	c (2,2) Simplify CSPinCNF End
10.13/3.16	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138
10.13/3.16	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.13/3.16	c (2,2) Calculate Precise Domain Begin
10.13/3.16	c (2,2) 0 values are removed by re-calculation
10.13/3.16	c (2,2) Calculate Precise Domain End
10.13/3.16	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138
10.13/3.16	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.13/3.16	c (2,2) CSPinCNF to SatSolver Begin
15.18/6.87	c (6,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 849861 SAT clauses)
18.38/9.96	c (9,9) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1448149 SAT clauses)
21.39/12.65	c (12,11) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1994752 SAT clauses)
24.02/15.27	c (14,14) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2558593 SAT clauses)
27.18/18.05	c (17,17) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3148307 SAT clauses)
29.98/20.75	c (20,19) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3731837 SAT clauses)
32.41/23.18	c (22,22) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4256729 SAT clauses)
35.08/25.68	c (25,24) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4789257 SAT clauses)
38.18/28.77	c (28,27) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5460521 SAT clauses)
41.04/31.78	c (31,30) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6332144 SAT clauses)
41.04/31.78	c (31,30) CSPinCNF to SatSolver End
41.04/31.78	c (31,30) Heap : 5666 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
41.04/31.78	c (31,30) 338696 bool, 6332716 clause
41.04/31.78	c (31,30) Export Begin
41.37/31.90	c (31,30) Export to HOME/scop-24571-serial-file.bin
41.37/31.90	c (31,30) Export End
41.37/31.90	c (31,30) Export File Size: 0.07 MB
41.37/31.90	c (31,30) 1,1,2,2,2,2,31,STOP-AFTER(DIMACS)
41.37/31.90	c END-Prog: Sat Sep 14 07:20:45 CEST 2019
41.37/31.97	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24571-serial-file.bin
42.13/32.43	c (0,0) Read Serial File Begin
42.13/32.43	c (0,0) HOME/scop-24571-serial-file.bin
42.40/32.66	c (0,0) Read Serial File End
42.40/32.67	
42.40/32.67	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
42.40/32.67	(Solving Process)
42.40/32.67	
42.40/32.70	c BEGIN-Prog: Sat Sep 14 07:20:46 CEST 2019
42.40/32.70	c PID: 24596
42.40/32.70	c IP: 172.20.3.106
42.40/32.70	c HOST: node106.alineos.net
42.66/32.70	c (0,0) SatSolver.solve Begin
42.66/32.70	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392721-1568442090.xml-scop-24574.cnf
42.66/32.73	c (0,0) c
42.66/32.73	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)
42.66/32.73	c (0,0) c
42.66/32.73	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
42.66/32.73	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
42.66/32.73	c (0,0) c ========================================[ Problem Statistics ]===========================================
42.66/32.73	c (0,0) c |                                                                                                       |
45.21/35.18	c (2,0) c |  Number of variables:        338696                                                                   |
45.21/35.18	c (2,0) c |  Number of clauses:         6210770                                                                   |
45.21/35.18	c (2,0) c |  Parse time:                   2.24 s                                                                 |
45.21/35.18	c (2,0) c |                                                                                                       |
45.60/35.59	c (3,0) c | Too many clauses... No preprocessing                                                                  |
45.60/35.59	c (3,0) c |  Simplification time:          0.37 s                                                                 |
45.60/35.59	c (3,0) c |                                                                                                       |
45.60/35.59	c (3,0) c |  Generating clones                                                                                    |
47.30/37.26	c (4,0) c |  all clones generated. Memory =  3520.77Mb.                                                           |
47.30/37.26	c (4,0) c ========================================================================================================|
47.30/37.26	c (4,0) c
47.30/37.26	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
47.30/37.26	c (4,0) c
47.30/37.26	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
47.30/37.26	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
47.30/37.26	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
47.30/37.26	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
47.30/37.26	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
47.30/37.26	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
47.30/37.26	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
47.30/37.26	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
47.30/37.26	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
47.30/37.26	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
47.30/37.26	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
47.30/37.26	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
47.30/37.26	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
47.30/37.26	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
47.30/37.26	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
47.30/37.26	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
47.30/37.26	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
47.30/37.26	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
47.30/37.26	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
276.74/66.64	c (34,0) c
276.74/66.64	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
276.74/66.64	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
276.74/66.64	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
276.74/66.64	c (34,0) c |  0 |      3 |       4598 |       2705 |    60756 |     1707 |       64 |      247 |       24 |      167 |  20 | 36.681 |
276.74/66.64	c (34,0) c |  1 |     12 |       4722 |       2759 |    68784 |     1757 |      121 |      594 |       44 |      165 |  20 | 36.746 |
276.74/66.64	c (34,0) c |  2 |      3 |       4451 |       2911 |    59388 |     1911 |       83 |      704 |       15 |      177 |  20 | 36.761 |
276.74/66.64	c (34,0) c |  3 |      2 |       5308 |       3151 |    71390 |     2155 |      103 |      181 |       16 |      185 |  20 | 36.665 |
276.74/66.64	c (34,0) c |  4 |     10 |       5234 |       3261 |    76639 |     2256 |       77 |      642 |       45 |      174 |  20 | 36.742 |
276.74/66.64	c (34,0) c |  5 |     14 |       5567 |       3184 |    76887 |     2136 |      164 |      606 |       48 |      173 |  20 | 36.755 |
276.74/66.64	c (34,0) c |  6 |     12 |       5707 |       3268 |    74237 |     2264 |      116 |      642 |       48 |      178 |  20 | 36.755 |
276.74/66.64	c (34,0) c |  7 |     16 |       5550 |       3103 |    75280 |     2103 |      139 |      576 |       40 |      179 |  20 | 36.742 |
276.74/66.64	c (34,0) c 
276.74/66.64	c (34,0) c synthesis       24342 conflicts   344034247 propagations      106 conflicts/sec  1499181 propagations/sec
276.74/66.64	c (34,0) c real: 33.9211 s, cpu: 229.481 s, memory: 3713.93 Mb
500.57/95.64	c (63,0) c
500.57/95.64	c (63,0) c |------------------------------------------------------------------------------------------------------------------------|
500.57/95.64	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
500.57/95.64	c (63,0) c |------------------------------------------------------------------------------------------------------------------------|
500.57/95.64	c (63,0) c |  0 |      4 |       9000 |       5479 |   101096 |     4457 |      355 |     2710 |      105 |      312 |  20 | 37.033 |
500.57/95.64	c (63,0) c |  1 |     16 |       9736 |       5875 |   109845 |     4549 |      501 |     1938 |      157 |      312 |  20 | 37.025 |
500.57/95.64	c (63,0) c |  2 |     13 |       9794 |       6164 |   107905 |     5120 |      632 |     3756 |      163 |      331 |  20 | 37.049 |
500.57/95.64	c (63,0) c |  3 |      4 |       9956 |       6094 |   112419 |     5080 |      563 |     1549 |      118 |      331 |  20 | 37.020 |
500.57/95.64	c (63,0) c |  4 |     16 |      11115 |       6704 |   120676 |     2895 |      748 |     3154 |      187 |      331 |  20 | 37.046 |
500.57/95.64	c (63,0) c |  5 |     26 |      11624 |       6639 |   120359 |     2762 |      822 |     3318 |      189 |      330 |  20 | 37.037 |
500.57/95.64	c (63,0) c |  6 |     24 |      11517 |       6823 |   117530 |     2991 |      854 |     2941 |      196 |      331 |  20 | 37.032 |
500.57/95.64	c (63,0) c |  7 |     27 |      10868 |       6379 |   117996 |     5353 |      682 |     3405 |      178 |      331 |  20 | 37.037 |
500.57/95.64	c (63,0) c 
500.57/95.64	c (63,0) c synthesis       50157 conflicts   730883010 propagations      111 conflicts/sec  1615680 propagations/sec
500.57/95.64	c (63,0) c real: 62.9214 s, cpu: 452.369 s, memory: 3506.58 Mb
725.94/124.64	c (92,0) c
725.94/124.64	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
725.94/124.64	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
725.94/124.64	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
725.94/124.64	c (92,0) c |  0 |      6 |      13625 |       8522 |   138438 |     4198 |     1180 |     8901 |      452 |      459 |  20 | 37.079 |
725.94/124.64	c (92,0) c |  1 |     26 |      15123 |       9254 |   141363 |     5293 |     1346 |     8955 |      639 |      460 |  20 | 37.156 |
725.94/124.64	c (92,0) c |  2 |     19 |      14036 |       8899 |   135373 |     5076 |     1296 |     9276 |      556 |      461 |  20 | 37.154 |
725.94/124.64	c (92,0) c |  3 |      6 |      14738 |       9149 |   144963 |     5342 |     1449 |     8034 |      584 |      474 |  20 | 37.151 |
725.94/124.64	c (92,0) c |  4 |     23 |      15550 |       9495 |   144544 |     5686 |     1464 |     8055 |      563 |      454 |  20 | 37.075 |
725.94/124.64	c (92,0) c |  5 |     37 |      16644 |       9674 |   148674 |     5794 |     1635 |     9078 |      639 |      474 |  20 | 37.162 |
725.94/124.64	c (92,0) c |  6 |     40 |      16795 |       9982 |   146850 |     6143 |     1684 |     9172 |      677 |      474 |  20 | 37.165 |
725.94/124.64	c (92,0) c |  7 |     40 |      15951 |       9480 |   145310 |     5604 |     1543 |     9603 |      586 |      474 |  20 | 37.157 |
725.94/124.64	c (92,0) c 
725.94/124.64	c (92,0) c synthesis       74455 conflicts  1119519373 propagations      110 conflicts/sec  1658150 propagations/sec
725.94/124.64	c (92,0) c real: 91.9215 s, cpu: 675.162 s, memory: 3506.71 Mb
951.73/153.64	c (121,0) c
951.73/153.64	c (121,0) c |------------------------------------------------------------------------------------------------------------------------|
951.73/153.64	c (121,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
951.73/153.64	c (121,0) c |------------------------------------------------------------------------------------------------------------------------|
951.73/153.64	c (121,0) c |  0 |     24 |      18883 |      11659 |   165788 |     7311 |     1844 |    14814 |     1170 |      608 |  20 | 37.204 |
951.73/153.64	c (121,0) c |  1 |     47 |      20362 |      12355 |   166016 |     8300 |     2000 |    14563 |     1262 |      605 |  20 | 37.204 |
951.73/153.64	c (121,0) c |  2 |     28 |      19149 |      12227 |   159645 |     8279 |     2088 |    14736 |     1234 |      613 |  20 | 37.204 |
951.73/153.64	c (121,0) c |  3 |      8 |      19248 |      12147 |   165058 |     8196 |     2109 |    14179 |     1156 |      603 |  20 | 37.204 |
951.73/153.64	c (121,0) c |  4 |     34 |      20945 |      12937 |   170338 |     9046 |     2257 |    14606 |     1237 |      614 |  20 | 37.209 |
951.73/153.64	c (121,0) c |  5 |     47 |      21221 |      12715 |   169992 |     8778 |     2344 |    13772 |     1244 |      610 |  20 | 37.204 |
951.73/153.64	c (121,0) c |  6 |     50 |      21746 |      13246 |   167116 |     9144 |     2510 |    13524 |     1278 |      614 |  20 | 37.199 |
951.73/153.64	c (121,0) c |  7 |     47 |      19999 |      12123 |   165750 |     7858 |     2212 |    13695 |     1095 |      595 |  20 | 37.199 |
951.73/153.64	c (121,0) c 
951.73/153.64	c (121,0) c synthesis       99409 conflicts  1526134868 propagations      111 conflicts/sec  1698652 propagations/sec
951.73/153.64	c (121,0) c real: 120.921 s, cpu: 898.439 s, memory: 3555.88 Mb
1180.06/182.64	c (150,0) c
1180.06/182.64	c (150,0) c |------------------------------------------------------------------------------------------------------------------------|
1180.06/182.64	c (150,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1180.06/182.64	c (150,0) c |------------------------------------------------------------------------------------------------------------------------|
1180.06/182.64	c (150,0) c |  0 |     35 |      23257 |      14467 |   183808 |     5396 |     2369 |    17191 |     1733 |      744 |  20 | 37.217 |
1180.06/182.64	c (150,0) c |  1 |     54 |      25065 |      15455 |   183409 |     6529 |     2591 |    18635 |     1872 |      743 |  20 | 37.220 |
1180.06/182.64	c (150,0) c |  2 |     41 |      24395 |      15528 |   179826 |     6632 |     2758 |    19224 |     1845 |      763 |  20 | 37.223 |
1180.06/182.64	c (150,0) c |  3 |     16 |      23971 |      15316 |   183021 |     6437 |     2770 |    18563 |     1817 |      749 |  20 | 37.220 |
1180.06/182.64	c (150,0) c |  4 |     53 |      26164 |      16230 |   189053 |     7390 |     2921 |    19057 |     1827 |      763 |  20 | 37.223 |
1180.06/182.64	c (150,0) c |  5 |     61 |      26436 |      16057 |   187684 |     7187 |     3056 |    18528 |     1857 |      763 |  20 | 37.223 |
1180.06/182.64	c (150,0) c |  6 |     61 |      26443 |      16384 |   186072 |     7433 |     3034 |    18020 |     1872 |      759 |  20 | 37.220 |
1180.06/182.64	c (150,0) c |  7 |     66 |      25632 |      15669 |   185843 |     6642 |     2877 |    18262 |     1801 |      751 |  20 | 37.220 |
1180.06/182.64	c (150,0) c 
1180.06/182.64	c (150,0) c synthesis      125106 conflicts  1957798926 propagations      111 conflicts/sec  1739076 propagations/sec
1180.06/182.64	c (150,0) c real: 149.921 s, cpu: 1125.77 s, memory: 3556.01 Mb
1398.59/212.64	c (180,0) c
1398.59/212.64	c (180,0) c |------------------------------------------------------------------------------------------------------------------------|
1398.59/212.64	c (180,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1398.59/212.64	c (180,0) c |------------------------------------------------------------------------------------------------------------------------|
1398.59/212.64	c (180,0) c |  0 |     48 |      28179 |      17565 |   199915 |     8191 |     2970 |    23111 |     2288 |      886 |  20 | 39.207 |
1398.59/212.64	c (180,0) c |  1 |     69 |      29340 |      18190 |   197762 |     8879 |     3176 |    21453 |     2373 |      870 |  20 | 38.649 |
1398.59/212.64	c (180,0) c |  2 |     51 |      28870 |      18446 |   191686 |     9347 |     3381 |    22746 |     2324 |      890 |  20 | 39.296 |
1398.59/212.64	c (180,0) c |  3 |     24 |      28472 |      18332 |   198508 |     8801 |     3254 |    22914 |     2407 |      890 |  20 | 39.388 |
1398.59/212.64	c (180,0) c |  4 |     61 |      30590 |      19163 |   201490 |     9924 |     3533 |    21939 |     2351 |      890 |  20 | 38.658 |
1398.59/212.64	c (180,0) c |  5 |     77 |      30778 |      18930 |   200350 |     9745 |     3555 |    22348 |     2346 |      890 |  20 | 39.207 |
1398.59/212.64	c (180,0) c |  6 |     82 |      30988 |      19192 |   199765 |     9489 |     3455 |    22728 |     2469 |      890 |  20 | 39.389 |
1398.59/212.64	c (180,0) c |  7 |     74 |      30391 |      18788 |   201166 |     9199 |     3447 |    22415 |     2312 |      890 |  20 | 38.931 |
1398.59/212.64	c (180,0) c 
1398.59/212.64	c (180,0) c synthesis      148606 conflicts  2342650956 propagations      111 conflicts/sec  1743952 propagations/sec
1398.59/212.64	c (180,0) c real: 179.921 s, cpu: 1343.3 s, memory: 3556.28 Mb
1597.86/242.64	c (210,0) c
1597.86/242.64	c (210,0) c |------------------------------------------------------------------------------------------------------------------------|
1597.86/242.64	c (210,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1597.86/242.64	c (210,0) c |------------------------------------------------------------------------------------------------------------------------|
1597.86/242.64	c (210,0) c |  0 |     49 |      32052 |      20342 |   211761 |    10452 |     3570 |    23863 |     2720 |     1001 |  20 | 39.798 |
1597.86/242.64	c (210,0) c |  1 |     84 |      33224 |      20657 |   207840 |    10478 |     3701 |    24954 |     2884 |      981 |  20 | 39.832 |
1597.86/242.64	c (210,0) c |  2 |     58 |      32622 |      20977 |   202036 |    10559 |     3866 |    26117 |     2781 |     1001 |  20 | 41.747 |
1597.86/242.64	c (210,0) c |  3 |     31 |      32390 |      20870 |   209760 |    10014 |     3636 |    25871 |     2916 |     1001 |  20 | 41.755 |
1597.86/242.64	c (210,0) c |  4 |     65 |      34603 |      21920 |   210291 |    11534 |     4090 |    24789 |     2882 |     1001 |  20 | 41.750 |
1597.86/242.64	c (210,0) c |  5 |     84 |      34494 |      21517 |   211072 |    10888 |     3972 |    25726 |     2844 |     1001 |  20 | 41.654 |
1597.86/242.64	c (210,0) c |  6 |     93 |      35011 |      21789 |   210787 |    11175 |     3863 |    25417 |     3007 |     1001 |  20 | 41.231 |
1597.86/242.64	c (210,0) c |  7 |     87 |      34385 |      21413 |   212765 |    10585 |     3822 |    25886 |     2867 |     1001 |  20 | 41.748 |
1597.86/242.64	c (210,0) c 
1597.86/242.64	c (210,0) c synthesis      169485 conflicts  2676695400 propagations      110 conflicts/sec  1737462 propagations/sec
1597.86/242.64	c (210,0) c real: 209.921 s, cpu: 1540.58 s, memory: 3556.41 Mb
1830.87/276.59	c (244,0) c
1830.87/276.59	c (244,0) c real time : 243.871 s
1830.87/276.59	c (244,0) c cpu time  : 1769.93 s
1830.87/276.59	c (244,0) c
1830.87/276.59	c (244,0) c
1830.87/276.59	c (244,0) c
1830.87/276.59	c (244,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1830.87/276.59	c (244,0) c
1830.87/276.59	c (244,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1830.87/276.59	c (244,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1830.87/276.59	c (244,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1830.87/276.59	c (244,0) c | Conflicts     |          194791 |      23309 |      24271 |      24050 |      24182 |      25087 |      24503 |      24900 |      24489 |
1830.87/276.59	c (244,0) c | Decisions     |          304285 |      36228 |      38313 |      36917 |      37013 |      39100 |      38731 |      39351 |      38632 |
1830.87/276.59	c (244,0) c | Propagations  |      3077958295 |  375639699 |  390486553 |  381567801 |  376086713 |  387739158 |  390864252 |  387548840 |  388025279 |
1830.87/276.59	c (244,0) c | ReduceDBs     |              31 |          3 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
1830.87/276.59	c (244,0) c | SimpDBs       |             203 |         21 |         27 |         26 |         18 |         26 |         28 |         31 |         26 |
1830.87/276.59	c (244,0) c | Restarts      |             590 |         52 |         92 |         62 |         34 |         69 |         91 |         98 |         92 |
1830.87/276.59	c (244,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1830.87/276.59	c (244,0) c | PropBinClauses|     10055774254 | 1238110315 | 1263709661 | 1242387678 | 1230141313 | 1273423757 | 1273479282 | 1263759247 | 1270763001 |
1830.87/276.59	c (244,0) c | PropPreBlocker|     34985804287 | 4445785473 | 4342176472 | 4388660269 | 4490389364 | 4338968763 | 4322744573 | 4309067873 | 4348011500 |
1830.87/276.59	c (244,0) c | PropNotBlocker|      5648510831 |  694143469 |  713909343 |  702144909 |  688030109 |  717486046 |  710116904 |  712164395 |  710515656 |
1830.87/276.59	c (244,0) c | LitFullScans  |     54214990782 | 6773065891 | 6773566307 | 6779960128 | 6779038425 | 6779219239 | 6773179313 | 6779300647 | 6777660832 |
1830.87/276.59	c (244,0) c | LitScanFracts |         7258523 |     701619 |     954853 |    1396965 |     728533 |     756820 |     838600 |     925306 |     955827 |
1830.87/276.59	c (244,0) c | DecisionLevel0|             793 |         66 |        111 |         98 |         55 |         98 |        120 |        130 |        115 |
1830.87/276.59	c (244,0) c | Periods       |            9028 |       1128 |       1128 |       1129 |       1129 |       1129 |       1128 |       1129 |       1128 |
1830.87/276.59	c (244,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1830.87/276.59	c (244,0) c | Avg_Trail     |                 |     229609 |     227959 |     228022 |     229658 |     227312 |     228420 |     227485 |     228745 |
1830.87/276.59	c (244,0) c | Avg_DL        |                 |         17 |         15 |         16 |         17 |         15 |         15 |         15 |         16 |
1830.87/276.59	c (244,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1830.87/276.59	c (244,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1830.87/276.59	c (244,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1830.87/276.59	c (244,0) c | Exported      |           35249 |       4186 |       4483 |       4474 |       4186 |       4721 |       4446 |       4367 |       4386 |
1830.87/276.59	c (244,0) c | Imported      |          237202 |      30088 |      29508 |      29666 |      28424 |      29522 |      29489 |      30249 |      30256 |
1830.87/276.59	c (244,0) c | Good          |            3371 |        420 |        433 |        427 |        386 |        421 |        413 |        440 |        431 |
1830.87/276.59	c (244,0) c | Purge         |          233831 |      29668 |      29075 |      29239 |      28038 |      29101 |      29076 |      29809 |      29825 |
1830.87/276.59	c (244,0) c | Promoted      |           27721 |       3354 |       3576 |       3383 |       3560 |       3388 |       3406 |       3618 |       3436 |
1830.87/276.59	c (244,0) c | Remove_Imp    |           97857 |       7527 |      13308 |      13322 |      12953 |      12179 |      13189 |      12392 |      12987 |
1830.87/276.59	c (244,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1830.87/276.59	c (244,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1830.87/276.59	c (244,0) c | Unaries       |                 |         14 |         19 |         36 |         21 |         29 |         29 |         32 |         23 |
1830.87/276.59	c (244,0) c | Binaries      |                 |         69 |         51 |         58 |         64 |         72 |         67 |         70 |         80 |
1830.87/276.60	c (244,0) c | Glues         |                 |        598 |        663 |        558 |        645 |        613 |        714 |        649 |        686 |
1830.87/276.60	c (244,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1830.87/276.60	c (244,0) c | Orig_Seen     |             7 % |     222149 |     219533 |     212458 |     220512 |     220596 |     221106 |     220973 |     222516 |
1830.87/276.60	c (244,0) c | Diff Orig seen|                 | -      367 | -     2983 | -    10058 | -     2004 | -     1920 | -     1410 | -     1543 |      X     |
1830.87/276.60	c (244,0) c | Hamming       |             7 % |      22022 |      25645 |      23462 |      23619 |      25593 |      24062 |      26209 |      X     |
1830.87/276.60	c (244,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1830.87/276.60	c (244,0) c | RunningTime   |                 |  231.3  98%|  237.6 100%|  214.0  91%|  224.3  95%|  224.0  95%|  222.3  93%|  225.3  96%|  214.5  91%|
1830.87/276.60	c (244,0) c | WaitingTime   |                 |    4.3   2%|    0.0   0%|   21.2   9%|   10.9   5%|   11.2   5%|   17.0   7%|    9.9   4%|   20.6   9%|
1830.87/276.60	c (244,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%|
1830.87/276.60	c (244,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%|
1830.87/276.60	c (244,0) c | SolvingTime   |                 |  235.7     |  237.7     |  235.2     |  235.2     |  235.2     |  239.3     |  235.2     |  235.1     |
1830.87/276.60	c (244,0) c | PropagationTim|                 |  224.1  95%|  224.9  95%|  221.0  94%|  222.4  95%|  220.7  94%|  224.4  94%|  220.0  94%|  219.9  94%|
1830.87/276.60	c (244,0) c | AnalysisTime  |                 |    4.0   2%|    4.3   2%|    4.3   2%|    4.7   2%|    4.3   2%|    4.5   2%|    4.4   2%|    4.3   2%|
1830.87/276.60	c (244,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%|
1830.87/276.60	c (244,0) c | SimplifyTime  |                 |    2.9   1%|    3.4   1%|    5.1   2%|    2.9   1%|    4.9   2%|    5.3   2%|    5.7   2%|    6.1   3%|
1830.87/276.60	c (244,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%|
1830.87/276.60	c (244,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%|
1830.87/276.60	c (244,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1830.87/276.60	c (244,0) c
1830.87/276.60	c (244,0) c
1830.87/276.60	c (244,0) c Threads : 8
1830.87/276.60	c (244,0) c Winner : 7
1830.87/276.60	c (244,0) c Conflicts_0 : 23309
1830.87/276.60	c (244,0) c Conflicts_1 : 24271
1830.87/276.60	c (244,0) c Conflicts_2 : 24050
1830.87/276.60	c (244,0) c Conflicts_3 : 24182
1830.87/276.60	c (244,0) c Conflicts_4 : 25087
1830.87/276.60	c (244,0) c Conflicts_5 : 24503
1830.87/276.60	c (244,0) c Conflicts_6 : 24900
1830.87/276.60	c (244,0) c Conflicts_7 : 24489
1830.87/276.60	c (244,0) c Conflicts_total : 194791
1830.87/276.60	c (244,0) c Conflicts_winner : 24489
1830.87/276.60	c (244,0) c Decisions_0 : 36228
1830.87/276.60	c (244,0) c Decisions_1 : 38313
1830.87/276.60	c (244,0) c Decisions_2 : 36917
1830.87/276.60	c (244,0) c Decisions_3 : 37013
1830.87/276.60	c (244,0) c Decisions_4 : 39100
1830.87/276.60	c (244,0) c Decisions_5 : 38731
1830.87/276.60	c (244,0) c Decisions_6 : 39351
1830.87/276.60	c (244,0) c Decisions_7 : 38632
1830.87/276.60	c (244,0) c Decisions_total : 304285
1830.87/276.60	c (244,0) c Decisions_winner : 38632
1830.87/276.60	c (244,0) c Propagations_0 : 375639699
1830.87/276.60	c (244,0) c Propagations_1 : 390486553
1830.87/276.60	c (244,0) c Propagations_2 : 381567801
1830.87/276.60	c (244,0) c Propagations_3 : 376086713
1830.87/276.60	c (244,0) c Propagations_4 : 387739158
1830.87/276.60	c (244,0) c Propagations_5 : 390864252
1830.87/276.60	c (244,0) c Propagations_6 : 387548840
1830.87/276.60	c (244,0) c Propagations_7 : 388025279
1830.87/276.60	c (244,0) c Propagations_total : 3077958295
1830.87/276.60	c (244,0) c Propagations_winner : 388025279
1830.87/276.60	c (244,0) c ReduceDBs_0 : 3
1830.87/276.60	c (244,0) c ReduceDBs_1 : 4
1830.87/276.60	c (244,0) c ReduceDBs_2 : 4
1830.87/276.60	c (244,0) c ReduceDBs_3 : 4
1830.87/276.60	c (244,0) c ReduceDBs_4 : 4
1830.87/276.60	c (244,0) c ReduceDBs_5 : 4
1830.87/276.60	c (244,0) c ReduceDBs_6 : 4
1830.87/276.60	c (244,0) c ReduceDBs_7 : 4
1830.87/276.60	c (244,0) c ReduceDBs_total : 31
1830.87/276.60	c (244,0) c ReduceDBs_winner : 4
1830.87/276.60	c (244,0) c SimpDBs_0 : 21
1830.87/276.60	c (244,0) c SimpDBs_1 : 27
1830.87/276.60	c (244,0) c SimpDBs_2 : 26
1830.87/276.60	c (244,0) c SimpDBs_3 : 18
1830.87/276.60	c (244,0) c SimpDBs_4 : 26
1830.87/276.60	c (244,0) c SimpDBs_5 : 28
1830.87/276.60	c (244,0) c SimpDBs_6 : 31
1830.87/276.60	c (244,0) c SimpDBs_7 : 26
1830.87/276.60	c (244,0) c SimpDBs_total : 203
1830.87/276.60	c (244,0) c SimpDBs_winner : 26
1830.87/276.60	c (244,0) c Restarts_0 : 52
1830.87/276.60	c (244,0) c Restarts_1 : 92
1830.87/276.60	c (244,0) c Restarts_2 : 62
1830.87/276.60	c (244,0) c Restarts_3 : 34
1830.87/276.60	c (244,0) c Restarts_4 : 69
1830.87/276.60	c (244,0) c Restarts_5 : 91
1830.87/276.60	c (244,0) c Restarts_6 : 98
1830.87/276.60	c (244,0) c Restarts_7 : 92
1830.87/276.60	c (244,0) c Restarts_total : 590
1830.87/276.60	c (244,0) c Restarts_winner : 92
1830.87/276.60	c (244,0) c ForcedImports_0 : 0
1830.87/276.60	c (244,0) c ForcedImports_1 : 0
1830.87/276.60	c (244,0) c ForcedImports_2 : 0
1830.87/276.60	c (244,0) c ForcedImports_3 : 0
1830.87/276.60	c (244,0) c ForcedImports_4 : 0
1830.87/276.60	c (244,0) c ForcedImports_5 : 0
1830.87/276.60	c (244,0) c ForcedImports_6 : 0
1830.87/276.60	c (244,0) c ForcedImports_7 : 0
1830.87/276.60	c (244,0) c ForcedImports_total : 0
1830.87/276.60	c (244,0) c ForcedImports_winner : 0
1830.87/276.60	c (244,0) c PropsBinClauses_0 : 1238110315
1830.87/276.60	c (244,0) c PropsBinClauses_1 : 1263709661
1830.87/276.60	c (244,0) c PropsBinClauses_2 : 1242387678
1830.87/276.60	c (244,0) c PropsBinClauses_3 : 1230141313
1830.87/276.60	c (244,0) c PropsBinClauses_4 : 1273423757
1830.87/276.60	c (244,0) c PropsBinClauses_5 : 1273479282
1830.87/276.60	c (244,0) c PropsBinClauses_6 : 1263759247
1830.87/276.60	c (244,0) c PropsBinClauses_7 : 1270763001
1830.87/276.60	c (244,0) c PropsBinClauses_total : 10055774254
1830.87/276.60	c (244,0) c PropsBinClauses_winner : 1270763001
1830.87/276.60	c (244,0) c PropsPreBlocker_0 : 4445785473
1830.87/276.60	c (244,0) c PropsPreBlocker_1 : 4342176472
1830.87/276.60	c (244,0) c PropsPreBlocker_2 : 4388660269
1830.87/276.60	c (244,0) c PropsPreBlocker_3 : 4490389364
1830.87/276.60	c (244,0) c PropsPreBlocker_4 : 4338968763
1830.87/276.60	c (244,0) c PropsPreBlocker_5 : 4322744573
1830.87/276.60	c (244,0) c PropsPreBlocker_6 : 4309067873
1830.87/276.60	c (244,0) c PropsPreBlocker_7 : 4348011500
1830.87/276.60	c (244,0) c PropsPreBlocker_total : 34985804287
1830.87/276.60	c (244,0) c PropsPreBlocker_winner : 4348011500
1830.87/276.60	c (244,0) c PropsNotBlocker_0 : 694143469
1830.87/276.60	c (244,0) c PropsNotBlocker_1 : 713909343
1830.87/276.60	c (244,0) c PropsNotBlocker_2 : 702144909
1830.87/276.60	c (244,0) c PropsNotBlocker_3 : 688030109
1830.87/276.60	c (244,0) c PropsNotBlocker_4 : 717486046
1830.87/276.60	c (244,0) c PropsNotBlocker_5 : 710116904
1830.87/276.60	c (244,0) c PropsNotBlocker_6 : 712164395
1830.87/276.60	c (244,0) c PropsNotBlocker_7 : 710515656
1830.87/276.60	c (244,0) c PropsNotBlocker_total : 5648510831
1830.87/276.60	c (244,0) c PropsNotBlocker_winner : 710515656
1830.87/276.60	c (244,0) c PropsLitFullScans_0 : 6773065891
1830.87/276.60	c (244,0) c PropsLitFullScans_1 : 6773566307
1830.87/276.60	c (244,0) c PropsLitFullScans_2 : 6779960128
1830.87/276.60	c (244,0) c PropsLitFullScans_3 : 6779038425
1830.87/276.60	c (244,0) c PropsLitFullScans_4 : 6779219239
1830.87/276.60	c (244,0) c PropsLitFullScans_5 : 6773179313
1830.87/276.60	c (244,0) c PropsLitFullScans_6 : 6779300647
1830.87/276.60	c (244,0) c PropsLitFullScans_7 : 6777660832
1830.87/276.60	c (244,0) c PropsLitFullScans_total : 54214990782
1830.87/276.60	c (244,0) c PropsLitFullScans_winner : 6777660832
1830.87/276.60	c (244,0) c LitScanFractions_0 : 701619
1830.87/276.60	c (244,0) c LitScanFractions_1 : 954853
1830.87/276.60	c (244,0) c LitScanFractions_2 : 1396965
1830.87/276.60	c (244,0) c LitScanFractions_3 : 728533
1830.87/276.60	c (244,0) c LitScanFractions_4 : 756820
1830.87/276.60	c (244,0) c LitScanFractions_5 : 838600
1830.87/276.60	c (244,0) c LitScanFractions_6 : 925306
1830.87/276.60	c (244,0) c LitScanFractions_7 : 955827
1830.87/276.60	c (244,0) c LitScanFractions_total : 7258523
1830.87/276.60	c (244,0) c LitScanFractions_winner : 955827
1830.87/276.60	c (244,0) c DecisionLevel0_0 : 66
1830.87/276.60	c (244,0) c DecisionLevel0_1 : 111
1830.87/276.60	c (244,0) c DecisionLevel0_2 : 98
1830.87/276.60	c (244,0) c DecisionLevel0_3 : 55
1830.87/276.60	c (244,0) c DecisionLevel0_4 : 98
1830.87/276.60	c (244,0) c DecisionLevel0_5 : 120
1830.87/276.60	c (244,0) c DecisionLevel0_6 : 130
1830.87/276.60	c (244,0) c DecisionLevel0_7 : 115
1830.87/276.60	c (244,0) c DecisionLevel0_total : 793
1830.87/276.60	c (244,0) c DecisionLevel0_winner : 115
1830.87/276.60	c (244,0) c Periods_0 : 1128
1830.87/276.60	c (244,0) c Periods_1 : 1128
1830.87/276.60	c (244,0) c Periods_2 : 1129
1830.87/276.60	c (244,0) c Periods_3 : 1129
1830.87/276.60	c (244,0) c Periods_4 : 1129
1830.87/276.60	c (244,0) c Periods_5 : 1128
1830.87/276.60	c (244,0) c Periods_6 : 1129
1830.87/276.60	c (244,0) c Periods_7 : 1128
1830.87/276.60	c (244,0) c Periods_total : 9028
1830.87/276.60	c (244,0) c Periods_winner : 1128
1830.87/276.60	c (244,0) c Margin_0 : 20
1830.87/276.60	c (244,0) c Margin_1 : 20
1830.87/276.60	c (244,0) c Margin_2 : 20
1830.87/276.60	c (244,0) c Margin_3 : 20
1830.87/276.60	c (244,0) c Margin_4 : 20
1830.87/276.60	c (244,0) c Margin_5 : 20
1830.87/276.60	c (244,0) c Margin_6 : 20
1830.87/276.60	c (244,0) c Margin_7 : 20
1830.87/276.60	c (244,0) c Margin_total : 160
1830.87/276.60	c (244,0) c Margin_winner : 20
1830.87/276.60	c (244,0) c Exported_0 : 4186
1830.87/276.60	c (244,0) c Exported_1 : 4483
43.05/276.60	c (244,0) c Exported_2 : 4474
43.05/276.60	c (244,0) c Exported_3 : 4186
43.05/276.60	c (244,0) c Exported_4 : 4721
43.05/276.60	c (244,0) c Exported_5 : 4446
43.05/276.60	c (244,0) c Exported_6 : 4367
43.05/276.60	c (244,0) c Exported_7 : 4386
43.05/276.60	c (244,0) c Exported_total : 35249
43.05/276.60	c (244,0) c Exported_winner : 4386
43.05/276.60	c (244,0) c Imported_0 : 30088
43.05/276.60	c (244,0) c Imported_1 : 29508
43.05/276.60	c (244,0) c Imported_2 : 29666
43.05/276.60	c (244,0) c Imported_3 : 28424
43.05/276.60	c (244,0) c Imported_4 : 29522
43.05/276.60	c (244,0) c Imported_5 : 29489
43.05/276.60	c (244,0) c Imported_6 : 30249
43.05/276.60	c (244,0) c Imported_7 : 30256
43.05/276.60	c (244,0) c Imported_total : 237202
43.05/276.60	c (244,0) c Imported_winner : 30256
43.05/276.60	c (244,0) c Good_0 : 420
43.05/276.60	c (244,0) c Good_1 : 433
43.05/276.60	c (244,0) c Good_2 : 427
43.05/276.60	c (244,0) c Good_3 : 386
43.05/276.60	c (244,0) c Good_4 : 421
43.05/276.60	c (244,0) c Good_5 : 413
43.05/276.60	c (244,0) c Good_6 : 440
43.05/276.60	c (244,0) c Good_7 : 431
43.05/276.60	c (244,0) c Good_total : 3371
43.05/276.60	c (244,0) c Good_winner : 431
43.05/276.60	c (244,0) c Purge_0 : 29668
43.05/276.60	c (244,0) c Purge_1 : 29075
43.05/276.60	c (244,0) c Purge_2 : 29239
43.05/276.60	c (244,0) c Purge_3 : 28038
43.05/276.60	c (244,0) c Purge_4 : 29101
43.05/276.60	c (244,0) c Purge_5 : 29076
43.05/276.60	c (244,0) c Purge_6 : 29809
43.05/276.60	c (244,0) c Purge_7 : 29825
43.05/276.60	c (244,0) c Purge_total : 233831
43.05/276.60	c (244,0) c Purge_winner : 29825
43.05/276.60	c (244,0) c Promoted_0 : 3354
43.05/276.60	c (244,0) c Promoted_1 : 3576
43.05/276.60	c (244,0) c Promoted_2 : 3383
43.05/276.60	c (244,0) c Promoted_3 : 3560
43.05/276.60	c (244,0) c Promoted_4 : 3388
43.05/276.60	c (244,0) c Promoted_5 : 3406
43.05/276.60	c (244,0) c Promoted_6 : 3618
43.05/276.60	c (244,0) c Promoted_7 : 3436
43.05/276.60	c (244,0) c Promoted_total : 27721
43.05/276.60	c (244,0) c Promoted_winner : 3436
43.05/276.60	c (244,0) c Remove_Imp_0 : 7527
43.05/276.60	c (244,0) c Remove_Imp_1 : 13308
43.05/276.60	c (244,0) c Remove_Imp_2 : 13322
43.05/276.60	c (244,0) c Remove_Imp_3 : 12953
43.05/276.60	c (244,0) c Remove_Imp_4 : 12179
43.05/276.60	c (244,0) c Remove_Imp_5 : 13189
43.05/276.60	c (244,0) c Remove_Imp_6 : 12392
43.05/276.60	c (244,0) c Remove_Imp_7 : 12987
43.05/276.60	c (244,0) c Remove_Imp_total : 97857
43.05/276.60	c (244,0) c Remove_Imp_winner : 12987
43.05/276.60	c (244,0) c Blocked_Reuse_0 : 0
43.05/276.60	c (244,0) c Blocked_Reuse_1 : 0
43.05/276.60	c (244,0) c Blocked_Reuse_2 : 0
43.05/276.60	c (244,0) c Blocked_Reuse_3 : 0
43.05/276.60	c (244,0) c Blocked_Reuse_4 : 0
43.05/276.60	c (244,0) c Blocked_Reuse_5 : 0
43.05/276.60	c (244,0) c Blocked_Reuse_6 : 0
43.05/276.60	c (244,0) c Blocked_Reuse_7 : 0
43.05/276.60	c (244,0) c Blocked_Reuse_total : 0
43.05/276.60	c (244,0) c Blocked_Reuse_winner : 0
43.05/276.60	c (244,0) c Unaries_0 : 14
43.05/276.60	c (244,0) c Unaries_1 : 19
43.05/276.60	c (244,0) c Unaries_2 : 36
43.05/276.60	c (244,0) c Unaries_3 : 21
43.05/276.60	c (244,0) c Unaries_4 : 29
43.05/276.60	c (244,0) c Unaries_5 : 29
43.05/276.60	c (244,0) c Unaries_6 : 32
43.05/276.60	c (244,0) c Unaries_7 : 23
43.05/276.60	c (244,0) c Unaries_total : 203
43.05/276.60	c (244,0) c Unaries_winner : 23
43.05/276.60	c (244,0) c Binaries_0 : 69
43.05/276.60	c (244,0) c Binaries_1 : 51
43.05/276.60	c (244,0) c Binaries_2 : 58
43.05/276.60	c (244,0) c Binaries_3 : 64
43.05/276.60	c (244,0) c Binaries_4 : 72
43.05/276.60	c (244,0) c Binaries_5 : 67
43.05/276.60	c (244,0) c Binaries_6 : 70
43.05/276.60	c (244,0) c Binaries_7 : 80
43.05/276.60	c (244,0) c Binaries_total : 531
43.05/276.60	c (244,0) c Binaries_winner : 80
43.05/276.60	c (244,0) c Glues_0 : 598
43.05/276.60	c (244,0) c Glues_1 : 663
43.05/276.60	c (244,0) c Glues_2 : 558
43.05/276.60	c (244,0) c Glues_3 : 645
43.05/276.60	c (244,0) c Glues_4 : 613
43.05/276.60	c (244,0) c Glues_5 : 714
43.05/276.60	c (244,0) c Glues_6 : 649
43.05/276.60	c (244,0) c Glues_7 : 686
43.05/276.60	c (244,0) c Glues_total : 5126
43.05/276.60	c (244,0) c Glues_winner : 686
43.05/276.60	c (244,0) c RunningTime_0 : 231.298409
43.05/276.60	c (244,0) c RunningTime_1 : 237.603786
43.05/276.60	c (244,0) c RunningTime_2 : 213.981264
43.05/276.60	c (244,0) c RunningTime_3 : 224.298379
43.05/276.60	c (244,0) c RunningTime_4 : 223.992291
43.05/276.60	c (244,0) c RunningTime_5 : 222.250686
43.05/276.60	c (244,0) c RunningTime_6 : 225.264979
43.05/276.60	c (244,0) c RunningTime_7 : 214.475082
43.05/276.60	c (244,0) c RunningTime_total : 1793.164876
43.05/276.60	c (244,0) c RunningTime_winner : 214.475082
43.05/276.60	c (244,0) c WaitingTime_0 : 4.333060
43.05/276.60	c (244,0) c WaitingTime_1 : 0.001708
43.05/276.60	c (244,0) c WaitingTime_2 : 21.197335
43.05/276.60	c (244,0) c WaitingTime_3 : 10.871248
43.05/276.60	c (244,0) c WaitingTime_4 : 11.181675
43.05/276.60	c (244,0) c WaitingTime_5 : 17.028254
43.05/276.60	c (244,0) c WaitingTime_6 : 9.903584
43.05/276.60	c (244,0) c WaitingTime_7 : 20.623479
43.05/276.60	c (244,0) c WaitingTime_total : 95.140345
43.05/276.60	c (244,0) c WaitingTime_winner : 20.623479
43.05/276.60	c (244,0) c ExchangingTime_0 : 0.028798
43.05/276.60	c (244,0) c ExchangingTime_1 : 0.031709
43.05/276.60	c (244,0) c ExchangingTime_2 : 0.032170
43.05/276.60	c (244,0) c ExchangingTime_3 : 0.032264
43.05/276.60	c (244,0) c ExchangingTime_4 : 0.032591
43.05/276.60	c (244,0) c ExchangingTime_5 : 0.031287
43.05/276.60	c (244,0) c ExchangingTime_6 : 0.033041
43.05/276.60	c (244,0) c ExchangingTime_7 : 0.030175
43.05/276.60	c (244,0) c ExchangingTime_total : 0.252035
43.05/276.60	c (244,0) c ExchangingTime_winner : 0.030175
43.05/276.60	c (244,0) c PeriodProcTime_0 : 0.013168
43.05/276.60	c (244,0) c PeriodProcTime_1 : 0.018350
43.05/276.60	c (244,0) c PeriodProcTime_2 : 0.012743
43.05/276.60	c (244,0) c PeriodProcTime_3 : 0.014250
43.05/276.60	c (244,0) c PeriodProcTime_4 : 0.014017
43.05/276.60	c (244,0) c PeriodProcTime_5 : 0.012266
43.05/276.60	c (244,0) c PeriodProcTime_6 : 0.014891
43.05/276.60	c (244,0) c PeriodProcTime_7 : 0.012363
43.05/276.60	c (244,0) c PeriodProcTime_total : 0.112049
43.05/276.60	c (244,0) c PeriodProcTime_winner : 0.012363
43.05/276.60	c (244,0) c SolvingTime_0 : 235.673435
43.05/276.60	c (244,0) c SolvingTime_1 : 237.655554
43.05/276.60	c (244,0) c SolvingTime_2 : 235.223512
43.05/276.60	c (244,0) c SolvingTime_3 : 235.216141
43.05/276.60	c (244,0) c SolvingTime_4 : 235.220574
43.05/276.60	c (244,0) c SolvingTime_5 : 239.322495
43.05/276.60	c (244,0) c SolvingTime_6 : 235.216496
43.05/276.60	c (244,0) c SolvingTime_7 : 235.141100
43.05/276.60	c (244,0) c SolvingTime_total : 1888.669305
43.05/276.60	c (244,0) c SolvingTime_winner : 235.141100
43.05/276.60	c (244,0) c PropagationTime_0 : 224.099701
43.05/276.60	c (244,0) c PropagationTime_1 : 224.863761
43.05/276.60	c (244,0) c PropagationTime_2 : 220.966293
43.05/276.60	c (244,0) c PropagationTime_3 : 222.446664
43.05/276.60	c (244,0) c PropagationTime_4 : 220.743327
43.05/276.60	c (244,0) c PropagationTime_5 : 224.410406
43.05/276.60	c (244,0) c PropagationTime_6 : 219.975374
43.05/276.60	c (244,0) c PropagationTime_7 : 219.872656
43.05/276.60	c (244,0) c PropagationTime_total : 1777.378183
43.05/276.60	c (244,0) c PropagationTime_winner : 219.872656
43.05/276.60	c (244,0) c AnalysisTime_0 : 4.005764
43.05/276.60	c (244,0) c AnalysisTime_1 : 4.273127
43.05/276.60	c (244,0) c AnalysisTime_2 : 4.315861
43.05/276.60	c (244,0) c AnalysisTime_3 : 4.662988
43.05/276.60	c (244,0) c AnalysisTime_4 : 4.346531
43.05/276.60	c (244,0) c AnalysisTime_5 : 4.525398
43.05/276.60	c (244,0) c AnalysisTime_6 : 4.402505
43.05/276.60	c (244,0) c AnalysisTime_7 : 4.269709
43.05/276.61	c (244,0) c AnalysisTime_total : 34.801883
43.05/276.61	c (244,0) c AnalysisTime_winner : 4.269709
43.05/276.61	c (244,0) c ReductionTime_0 : 0.008705
43.05/276.61	c (244,0) c ReductionTime_1 : 0.014320
43.05/276.61	c (244,0) c ReductionTime_2 : 0.016037
43.05/276.61	c (244,0) c ReductionTime_3 : 0.014600
43.05/276.61	c (244,0) c ReductionTime_4 : 0.015911
43.05/276.61	c (244,0) c ReductionTime_5 : 0.015838
43.05/276.61	c (244,0) c ReductionTime_6 : 0.014183
43.05/276.61	c (244,0) c ReductionTime_7 : 0.016325
43.05/276.61	c (244,0) c ReductionTime_total : 0.115919
43.05/276.61	c (244,0) c ReductionTime_winner : 0.016325
43.05/276.61	c (244,0) c SimplifyTime_0 : 2.870904
43.05/276.61	c (244,0) c SimplifyTime_1 : 3.424984
43.05/276.61	c (244,0) c SimplifyTime_2 : 5.116462
43.05/276.61	c (244,0) c SimplifyTime_3 : 2.945041
43.05/276.61	c (244,0) c SimplifyTime_4 : 4.861932
43.05/276.61	c (244,0) c SimplifyTime_5 : 5.304140
43.05/276.61	c (244,0) c SimplifyTime_6 : 5.738185
43.05/276.61	c (244,0) c SimplifyTime_7 : 6.067223
43.05/276.61	c (244,0) c SimplifyTime_total : 36.328872
43.05/276.61	c (244,0) c SimplifyTime_winner : 6.067223
43.05/276.61	c (244,0) c UsedRateTime_0 : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_1 : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_2 : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_3 : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_4 : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_5 : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_6 : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_7 : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_total : 0.000000
43.05/276.61	c (244,0) c UsedRateTime_winner : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_0 : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_1 : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_2 : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_3 : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_4 : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_5 : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_6 : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_7 : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_total : 0.000000
43.05/276.61	c (244,0) c OverlapRateTime_winner : 0.000000
43.05/276.61	c (244,0) c
43.05/276.61	c (244,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
43.05/276.61	c (244,0) c
43.05/276.61	c (244,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.05/276.61	c (244,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
43.05/276.61	c (244,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.05/276.61	c (244,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
43.05/276.61	c (244,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
43.05/276.61	c (244,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
43.05/276.61	c (244,0) c | Initial random_seed   | 1124695562 | 1111301663 | 1958190065 | 1949782722 |  255167353 | 1147653975 |  929251497 | 1849108925 |
43.05/276.62	c (244,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
43.05/276.62	c (244,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
43.05/276.62	c (244,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
43.05/276.62	c (244,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
43.05/276.62	c (244,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
43.05/276.62	c (244,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
43.05/276.62	c (244,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
43.05/276.62	c (244,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8500 |     0.8400 |     0.8400 |     0.8400 |
43.05/276.62	c (244,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
43.05/276.62	c (244,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
43.05/276.62	c (244,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
43.05/276.62	c (244,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.05/276.62	c (244,0) 
43.05/276.62	c (244,0) s UNSATISFIABLE
43.11/276.80	c (244,0) SatSolver.solve End
43.11/276.80	c (244,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
43.11/276.80	c (244,0) Show results Begin
43.11/276.80	s UNSATISFIABLE
43.11/276.80	c (244,0) Show results End
43.11/276.80	c (244,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
43.11/276.80	c (244,0) 244,244,STOP-AFTER(ALL)
43.11/276.80	c END-Prog: Sat Sep 14 07:24:50 CEST 2019

Verifier Data


Watcher Data 

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

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

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

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

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

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


[startup+0.10506 s]*
/proc/loadavg: 5.43 5.12 6.41 3/211 24593
/proc/meminfo: memFree=30530104/32770624 swapFree=66997808/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420463650 115843072 349 33554432000 4194304 5098028 140736550580448 140736550577704 139954183365244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9048064 140736550585124 140736550585452 140736550585452 140736550588365 0
/proc/24571/statm: 28282 349 296 221 0 87 0
[pid=24574] ppid=24571 vsize=27314120 memory=109964 CPUtime=0.11 cores=0-7
/proc/24574/stat : 24574 (java) S 24571 24571 21430 0 -1 1077944320 6556 0 0 0 8 3 0 0 20 0 20 0 420463650 27969658880 27491 33554432000 4194304 4196468 140735276675440 140735276657984 140088140500727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
/proc/24574/statm: 6828530 27491 2818 1 0 6790935 0
[pid=24574/tid=24575] ppid=24571 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/24574/task/24575/stat : 24575 (java) R 24571 24571 21430 0 -1 4202560 4628 0 0 0 7 2 0 0 20 0 20 0 420463651 27969658880 27556 33554432000 4194304 4196468 140735276675440 140088112323008 140088125872009 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24576] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24576/stat : 24576 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 27556 33554432000 4194304 4196468 140735276675440 140088144742800 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24577] ppid=24571 vsize=27314120 memory=140170913205958 CPUtime=0 cores=0-7
/proc/24574/task/24577/stat : 24577 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 27556 33554432000 4194304 4196468 140735276675440 140087958898960 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24578] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24578/stat : 24578 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 27556 33554432000 4194304 4196468 140735276675440 140087957846672 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24579] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24579/stat : 24579 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 27556 33554432000 4194304 4196468 140735276675440 140087956793872 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24580] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24580/stat : 24580 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 27556 33554432000 4194304 4196468 140735276675440 140087955741584 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24581] ppid=24571 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24574/task/24581/stat : 24581 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 27556 33554432000 4194304 4196468 140735276675440 140087954688784 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24582] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24582/stat : 24582 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 27556 33554432000 4194304 4196468 140735276675440 140087953636496 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24583] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24583/stat : 24583 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 27556 33554432000 4194304 4196468 140735276675440 140087952583696 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24584] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24584/stat : 24584 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463654 27969658880 27556 33554432000 4194304 4196468 140735276675440 140086325778544 140088140511874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24585] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24585/stat : 24585 (java) S 24571 24571 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420463655 27969658880 27556 33554432000 4194304 4196468 140735276675440 140086062605088 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24586] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24586/stat : 24586 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463655 27969658880 27556 33554432000 4194304 4196468 140735276675440 140085794169968 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24587] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24587/stat : 24587 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463657 27969658880 27556 33554432000 4194304 4196468 140735276675440 140085419661392 140088140519323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24588] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24588/stat : 24588 (java) S 24571 24571 21430 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 420463657 27969658880 27556 33554432000 4194304 4196468 140735276675440 140086324726384 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24589] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24589/stat : 24589 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 27556 33554432000 4194304 4196468 140735276675440 140086323673584 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24590] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24590/stat : 24590 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 27556 33554432000 4194304 4196468 140735276675440 140086322621296 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24591] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24591/stat : 24591 (java) R 24571 24571 21430 0 -1 4202560 286 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 27556 33554432000 4194304 4196468 140735276675440 140086321568496 140088140522074 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24592] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24592/stat : 24592 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 27556 33554432000 4194304 4196468 140735276675440 140084921756000 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24593] ppid=24571 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24574/task/24593/stat : 24593 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 27556 33554432000 4194304 4196468 140735276675440 140086320515376 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111360 KiB

[startup+0.210613 s]*
/proc/loadavg: 5.43 5.12 6.41 2/211 24593
/proc/meminfo: memFree=30509616/32770624 swapFree=66997808/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420463650 115843072 349 33554432000 4194304 5098028 140736550580448 140736550577704 139954183365244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9048064 140736550585124 140736550585452 140736550585452 140736550588365 0
/proc/24571/statm: 28282 349 296 221 0 87 0
[pid=24574] ppid=24571 vsize=27314120 memory=126792 CPUtime=0.24 cores=0-7
/proc/24574/stat : 24574 (java) S 24571 24571 21430 0 -1 1077944320 12086 0 0 0 20 4 0 0 20 0 20 0 420463650 27969658880 31698 33554432000 4194304 4196468 140735276675440 140735276657984 140088140500727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
/proc/24574/statm: 6828530 31698 2939 1 0 6790935 0
[pid=24574/tid=24575] ppid=24571 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24574/task/24575/stat : 24575 (java) R 24571 24571 21430 0 -1 4202560 9820 0 0 0 16 3 0 0 20 0 20 0 420463651 27969658880 31698 33554432000 4194304 4196468 140735276675440 140088112300112 140088120776403 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24576] ppid=24571 vsize=27314120 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/24574/task/24576/stat : 24576 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 31698 33554432000 4194304 4196468 140735276675440 140088144742800 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24577] ppid=24571 vsize=27314120 memory=3473317294440175264 CPUtime=0 cores=0-7
/proc/24574/task/24577/stat : 24577 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 31698 33554432000 4194304 4196468 140735276675440 140087958898960 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24578] ppid=24571 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24574/task/24578/stat : 24578 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 31698 33554432000 4194304 4196468 140735276675440 140087957846672 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24579] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24579/stat : 24579 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 31698 33554432000 4194304 4196468 140735276675440 140087956793872 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24580] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24580/stat : 24580 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 31698 33554432000 4194304 4196468 140735276675440 140087955741584 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24581] ppid=24571 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24574/task/24581/stat : 24581 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 31698 33554432000 4194304 4196468 140735276675440 140087954688784 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24582] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24582/stat : 24582 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 31698 33554432000 4194304 4196468 140735276675440 140087953636496 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24583] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24583/stat : 24583 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 31698 33554432000 4194304 4196468 140735276675440 140087952583696 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24584] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24584/stat : 24584 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463654 27969658880 31698 33554432000 4194304 4196468 140735276675440 140086325778544 140088140511874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24585] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24585/stat : 24585 (java) S 24571 24571 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420463655 27969658880 31698 33554432000 4194304 4196468 140735276675440 140086062605088 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24586] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24586/stat : 24586 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463655 27969658880 31698 33554432000 4194304 4196468 140735276675440 140085794169968 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24587] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24587/stat : 24587 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463657 27969658880 31698 33554432000 4194304 4196468 140735276675440 140085419661392 140088140519323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24588] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24588/stat : 24588 (java) S 24571 24571 21430 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 420463657 27969658880 31698 33554432000 4194304 4196468 140735276675440 140086324726384 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24589] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24589/stat : 24589 (java) S 24571 24571 21430 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 31698 33554432000 4194304 4196468 140735276675440 140086323673584 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24590] ppid=24571 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24574/task/24590/stat : 24590 (java) S 24571 24571 21430 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 31698 33554432000 4194304 4196468 140735276675440 140086322621296 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24591] ppid=24571 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/24574/task/24591/stat : 24591 (java) S 24571 24571 21430 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 20 0 420463658 27969658880 31698 33554432000 4194304 4196468 140735276675440 140086321568496 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24592] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24592/stat : 24592 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 31698 33554432000 4194304 4196468 140735276675440 140084921756000 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24593] ppid=24571 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24574/task/24593/stat : 24593 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 31698 33554432000 4194304 4196468 140735276675440 140086320515376 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128188 KiB

[startup+0.31043 s]*
/proc/loadavg: 5.43 5.12 6.41 2/211 24593
/proc/meminfo: memFree=30506948/32770624 swapFree=66997808/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420463650 115843072 349 33554432000 4194304 5098028 140736550580448 140736550577704 139954183365244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9048064 140736550585124 140736550585452 140736550585452 140736550588365 0
/proc/24571/statm: 28282 349 296 221 0 87 0
[pid=24574] ppid=24571 vsize=27314120 memory=130136 CPUtime=0.43 cores=0-7
/proc/24574/stat : 24574 (java) S 24571 24571 21430 0 -1 1077944320 12438 0 0 0 38 5 0 0 20 0 20 0 420463650 27969658880 32534 33554432000 4194304 4196468 140735276675440 140735276657984 140088140500727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
/proc/24574/statm: 6828530 32534 3048 1 0 6790935 0
[pid=24574/tid=24575] ppid=24571 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/24574/task/24575/stat : 24575 (java) R 24571 24571 21430 0 -1 4202560 10007 0 0 0 26 4 0 0 20 0 20 0 420463651 27969658880 32534 33554432000 4194304 4196468 140735276675440 140088112328528 140088120775883 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24576] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24576/stat : 24576 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 32534 33554432000 4194304 4196468 140735276675440 140088144742800 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24577] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24577/stat : 24577 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 32534 33554432000 4194304 4196468 140735276675440 140087958898960 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24578] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24578/stat : 24578 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 32534 33554432000 4194304 4196468 140735276675440 140087957846672 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24579] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24579/stat : 24579 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 32534 33554432000 4194304 4196468 140735276675440 140087956793872 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24580] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24580/stat : 24580 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 32534 33554432000 4194304 4196468 140735276675440 140087955741584 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24581] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24581/stat : 24581 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 32534 33554432000 4194304 4196468 140735276675440 140087954688784 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24582] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24582/stat : 24582 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 32534 33554432000 4194304 4196468 140735276675440 140087953636496 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24583] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24583/stat : 24583 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27969658880 32534 33554432000 4194304 4196468 140735276675440 140087952583696 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24584] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24584/stat : 24584 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463654 27969658880 32534 33554432000 4194304 4196468 140735276675440 140086325778544 140088140511874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24585] ppid=24571 vsize=27314120 memory=280341508201856 CPUtime=0 cores=0-7
/proc/24574/task/24585/stat : 24585 (java) S 24571 24571 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420463655 27969658880 32534 33554432000 4194304 4196468 140735276675440 140086062605088 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24586] ppid=24571 vsize=27314120 memory=280341508206464 CPUtime=0 cores=0-7
/proc/24574/task/24586/stat : 24586 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463655 27969658880 32534 33554432000 4194304 4196468 140735276675440 140085794169968 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24587] ppid=24571 vsize=27314120 memory=280341508211072 CPUtime=0 cores=0-7
/proc/24574/task/24587/stat : 24587 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463657 27969658880 32534 33554432000 4194304 4196468 140735276675440 140085419661392 140088140519323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24588] ppid=24571 vsize=27314120 memory=280341508215680 CPUtime=0 cores=0-7
/proc/24574/task/24588/stat : 24588 (java) S 24571 24571 21430 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 420463657 27969658880 32534 33554432000 4194304 4196468 140735276675440 140086324726384 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24589] ppid=24571 vsize=27314120 memory=280341508220288 CPUtime=0.02 cores=0-7
/proc/24574/task/24589/stat : 24589 (java) R 24571 24571 21430 0 -1 4202560 276 0 0 0 2 0 0 0 20 0 20 0 420463658 27969658880 32534 33554432000 4194304 4196468 140735276675440 140086323673584 140088119757302 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24590] ppid=24571 vsize=27314120 memory=280341508224896 CPUtime=0.01 cores=0-7
/proc/24574/task/24590/stat : 24590 (java) S 24571 24571 21430 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 420463658 27969658880 32534 33554432000 4194304 4196468 140735276675440 140086322621296 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24591] ppid=24571 vsize=27314120 memory=280341508229504 CPUtime=0.07 cores=0-7
/proc/24574/task/24591/stat : 24591 (java) S 24571 24571 21430 0 -1 1077944384 457 0 0 0 7 0 0 0 20 0 20 0 420463658 27969658880 32534 33554432000 4194304 4196468 140735276675440 140086321568496 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24592] ppid=24571 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24592/stat : 24592 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 32534 33554432000 4194304 4196468 140735276675440 140084921756000 140088140510933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24593] ppid=24571 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24574/task/24593/stat : 24593 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463658 27969658880 32534 33554432000 4194304 4196468 140735276675440 140086320515376 140088140511874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131532 KiB

[startup+0.706022 s]
/proc/loadavg: 5.43 5.12 6.41 2/211 24593
/proc/meminfo: memFree=30485740/32770624 swapFree=66997808/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420463650 115843072 349 33554432000 4194304 5098028 140736550580448 140736550577704 139954183365244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9048064 140736550585124 140736550585452 140736550585452 140736550588365 0
/proc/24571/statm: 28282 349 296 221 0 87 0
[pid=24574] ppid=24571 vsize=27320392 memory=165292 CPUtime=1.02 cores=0-7
/proc/24574/stat : 24574 (java) S 24571 24571 21430 0 -1 1077944320 19941 0 0 0 95 7 0 0 20 0 20 0 420463650 27976081408 41323 33554432000 4194304 4196468 140735276675440 140735276657984 140088140500727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
/proc/24574/statm: 6830098 41323 3162 1 0 6791447 0
[pid=24574/tid=24575] ppid=24571 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/24574/task/24575/stat : 24575 (java) R 24571 24571 21430 0 -1 4202560 16922 0 0 0 62 6 0 0 20 0 20 0 420463651 27976081408 41323 33554432000 4194304 4196468 140735276675440 140088112338544 140087623028737 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24576] ppid=24571 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24576/stat : 24576 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420463653 27976081408 41323 33554432000 4194304 4196468 140735276675440 140088144742800 140088140510933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24577] ppid=24571 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24574/task/24577/stat : 24577 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420463653 27976081408 41323 33554432000 4194304 4196468 140735276675440 140087958898960 140088140510933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0
[pid=24574/tid=24578] ppid=24571 vsize=27320392 memory=4008 CPUtime=0 cores=0-7
/proc/24574/task/24578/stat : 24578 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420463653 27976081408 41323 33554432000 4194304 4196468 140735276675440 140087957846672 140088140510933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32956416 140735276679914 140735276680342 140735276680342 140735276683215 0

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

/proc/24596/task/24603/stat : 24603 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775830895632 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24604] ppid=24571 vsize=8414124 memory=120192 CPUtime=0 cores=0-7
/proc/24596/task/24604/stat : 24604 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775829842832 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24605] ppid=24571 vsize=8414124 memory=2837932 CPUtime=0 cores=0-7
/proc/24596/task/24605/stat : 24605 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775828790032 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24606] ppid=24571 vsize=8414124 memory=7234019401777832093 CPUtime=0 cores=0-7
/proc/24596/task/24606/stat : 24606 (java) S 24571 24571 21430 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420466850 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775375980912 139776349665922 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24607] ppid=24571 vsize=8414124 memory=-6876588628787748224 CPUtime=0 cores=0-7
/proc/24596/task/24607/stat : 24607 (java) S 24571 24571 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420466851 8616062976 30048 33554432000 4194304 4196468 140736595009648 139774878802976 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24608] ppid=24571 vsize=8414124 memory=-6876588628787748224 CPUtime=0 cores=0-7
/proc/24596/task/24608/stat : 24608 (java) S 24571 24571 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420466851 8616062976 30048 33554432000 4194304 4196468 140736595009648 139774744580976 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24609] ppid=24571 vsize=8414124 memory=1414353297708861353 CPUtime=0 cores=0-7
/proc/24596/task/24609/stat : 24609 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139774370076496 139776349673371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24610] ppid=24571 vsize=8414124 memory=1164 CPUtime=0.12 cores=0-7
/proc/24596/task/24610/stat : 24610 (java) S 24571 24571 21430 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775374928752 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24611] ppid=24571 vsize=8414124 memory=8317482817917895235 CPUtime=0.04 cores=0-7
/proc/24596/task/24611/stat : 24611 (java) S 24571 24571 21430 0 -1 1077944384 153 0 0 0 4 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775373875952 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24612] ppid=24571 vsize=8414124 memory=1448 CPUtime=0.09 cores=0-7
/proc/24596/task/24612/stat : 24612 (java) S 24571 24571 21430 0 -1 1077944384 424 0 0 0 9 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775372823152 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24613] ppid=24571 vsize=8414124 memory=876 CPUtime=0.23 cores=0-7
/proc/24596/task/24613/stat : 24613 (java) S 24571 24571 21430 0 -1 1077944384 802 0 0 0 23 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775371770352 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24614] ppid=24571 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/24596/task/24614/stat : 24614 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420466854 8616062976 30048 33554432000 4194304 4196468 140736595009648 139773872171616 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24615] ppid=24571 vsize=8414124 memory=2552 CPUtime=0.16 cores=0-7
/proc/24596/task/24615/stat : 24615 (java) S 24571 24571 21430 0 -1 1077944384 17 0 0 0 11 5 0 0 20 0 24 0 420466854 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775370717744 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24617] ppid=24571 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/24596/task/24617/stat : 24617 (java) S 24571 24571 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420466923 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775362683968 139776349679385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24619] ppid=24571 vsize=8414124 memory=111632 CPUtime=0.01 cores=0-7
/proc/24596/task/24619/stat : 24619 (java) S 24571 24571 21430 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 420466923 8616062976 30048 33554432000 4194304 4196468 140736595009648 139773201072304 139776349676701 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24620] ppid=24571 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/24596/task/24620/stat : 24620 (java) S 24571 24571 21430 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420466923 8616062976 30048 33554432000 4194304 4196468 140736595009648 139773469507632 139776349676701 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24621] ppid=24571 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/24596/task/24621/stat : 24621 (java) S 24571 24571 21430 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420466925 8616062976 30048 33554432000 4194304 4196468 140736595009648 139772932644400 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
Current children cumulated CPU time: 1830.38 s
Current children cumulated vsize: 12110864 KiB
Current children cumulated memory: 2959592 KiB

[startup+276.401 s]
/proc/loadavg: 7.03 6.22 6.52 2/217 24643
/proc/meminfo: memFree=27527844/32770624 swapFree=66997808/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1476 CPUtime=41.57 cores=0-7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 21430 0 -1 4202496 582 39854 0 0 0 0 3996 161 20 0 1 0 420463650 115843072 369 33554432000 4194304 5098028 140736550580448 140736550577192 139954183365244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9048064 140736550585124 140736550585452 140736550585452 140736550588365 0
/proc/24571/statm: 28282 369 311 221 0 87 0
[pid=24596] ppid=24571 vsize=8414124 memory=120192 CPUtime=1.46 cores=0-7
/proc/24596/stat : 24596 (java) S 24571 24571 21430 0 -1 1077944320 20943 0 0 0 138 8 0 0 20 0 24 0 420466847 8616062976 30048 33554432000 4194304 4196468 140736595009648 140736594992192 139776349654775 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
/proc/24596/statm: 2103531 30048 3193 1 0 2064875 0
[pid=24616] ppid=24596 vsize=3583612 memory=2837924 CPUtime=1787.75 cores=0-7
/proc/24616/stat : 24616 (manyglucose-4.1) S 24596 24571 21430 0 -1 1077944320 13002652 0 0 0 176976 1799 0 0 20 0 2 0 420466922 3669618688 709481 33554432000 4194304 4454172 140733842193232 140733842191616 139633384660727 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 37195776 140733842195305 140733842195504 140733842195504 140733842198458 0
/proc/24616/statm: 895903 709481 419 64 0 891571 0
[pid=24616/tid=24627] ppid=24596 vsize=3583612 memory=27284 CPUtime=220.79 cores=0-7
/proc/24616/task/24627/stat : 24627 (manyglucose-4.1) R 24596 24571 21430 0 -1 4202560 1585478 0 0 0 21853 226 0 0 20 0 2 0 420467376 3669618688 709481 33554432000 4194304 4454172 140733842193232 139631477398664 4351797 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 37195776 140733842195305 140733842195504 140733842195504 140733842198458 0
[pid=24596/tid=24597] ppid=24571 vsize=8414124 memory=984 CPUtime=0.77 cores=0-7
/proc/24596/task/24597/stat : 24597 (java) S 24571 24571 21430 0 -1 1077944384 17276 0 0 0 72 5 0 0 20 0 24 0 420466848 8616062976 30048 33554432000 4194304 4196468 140736595009648 139776321494944 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24598] ppid=24571 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/24596/task/24598/stat : 24598 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139776353897104 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24599] ppid=24571 vsize=8414124 memory=1380 CPUtime=0 cores=0-7
/proc/24596/task/24599/stat : 24599 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775835105808 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24600] ppid=24571 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/24596/task/24600/stat : 24600 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775834053008 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24601] ppid=24571 vsize=8414124 memory=-8742724275804598674 CPUtime=0 cores=0-7
/proc/24596/task/24601/stat : 24601 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775833000208 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24602] ppid=24571 vsize=8414124 memory=2855696 CPUtime=0 cores=0-7
/proc/24596/task/24602/stat : 24602 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775831948432 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24603] ppid=24571 vsize=8414124 memory=2853120 CPUtime=0 cores=0-7
/proc/24596/task/24603/stat : 24603 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775830895632 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24604] ppid=24571 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/24596/task/24604/stat : 24604 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775829842832 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24605] ppid=24571 vsize=8414124 memory=4008 CPUtime=0 cores=0-7
/proc/24596/task/24605/stat : 24605 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775828790032 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24606] ppid=24571 vsize=8414124 memory=948 CPUtime=0 cores=0-7
/proc/24596/task/24606/stat : 24606 (java) S 24571 24571 21430 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420466850 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775375980912 139776349665922 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24607] ppid=24571 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/24596/task/24607/stat : 24607 (java) S 24571 24571 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420466851 8616062976 30048 33554432000 4194304 4196468 140736595009648 139774878802976 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24608] ppid=24571 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24596/task/24608/stat : 24608 (java) S 24571 24571 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420466851 8616062976 30048 33554432000 4194304 4196468 140736595009648 139774744580976 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24609] ppid=24571 vsize=8414124 memory=2837924 CPUtime=0 cores=0-7
/proc/24596/task/24609/stat : 24609 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139774370076496 139776349673371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24610] ppid=24571 vsize=8414124 memory=2116 CPUtime=0.12 cores=0-7
/proc/24596/task/24610/stat : 24610 (java) S 24571 24571 21430 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775374928752 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24611] ppid=24571 vsize=8414124 memory=10728 CPUtime=0.04 cores=0-7
/proc/24596/task/24611/stat : 24611 (java) S 24571 24571 21430 0 -1 1077944384 153 0 0 0 4 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775373875952 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24612] ppid=24571 vsize=8414124 memory=12024 CPUtime=0.09 cores=0-7
/proc/24596/task/24612/stat : 24612 (java) S 24571 24571 21430 0 -1 1077944384 424 0 0 0 9 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775372823152 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24613] ppid=24571 vsize=8414124 memory=1556 CPUtime=0.23 cores=0-7
/proc/24596/task/24613/stat : 24613 (java) S 24571 24571 21430 0 -1 1077944384 802 0 0 0 23 0 0 0 20 0 24 0 420466853 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775371770352 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24614] ppid=24571 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/24596/task/24614/stat : 24614 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420466854 8616062976 30048 33554432000 4194304 4196468 140736595009648 139773872171616 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24615] ppid=24571 vsize=8414124 memory=928 CPUtime=0.16 cores=0-7
/proc/24596/task/24615/stat : 24615 (java) S 24571 24571 21430 0 -1 1077944384 17 0 0 0 11 5 0 0 20 0 24 0 420466854 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775370717744 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24617] ppid=24571 vsize=8414124 memory=1528 CPUtime=0 cores=0-7
/proc/24596/task/24617/stat : 24617 (java) S 24571 24571 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420466923 8616062976 30048 33554432000 4194304 4196468 140736595009648 139775362683968 139776349679385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24619] ppid=24571 vsize=8414124 memory=1448 CPUtime=0.01 cores=0-7
/proc/24596/task/24619/stat : 24619 (java) S 24571 24571 21430 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 420466923 8616062976 30048 33554432000 4194304 4196468 140736595009648 139773201072304 139776349676701 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24620] ppid=24571 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/24596/task/24620/stat : 24620 (java) S 24571 24571 21430 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420466923 8616062976 30048 33554432000 4194304 4196468 140736595009648 139773469507632 139776349676701 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24621] ppid=24571 vsize=8414124 memory=9404 CPUtime=0 cores=0-7
/proc/24596/task/24621/stat : 24621 (java) S 24571 24571 21430 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420466925 8616062976 30048 33554432000 4194304 4196468 140736595009648 139772932644400 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
Current children cumulated CPU time: 1830.78 s
Current children cumulated vsize: 12110864 KiB
Current children cumulated memory: 2959592 KiB

[startup+276.801 s]
/proc/loadavg: 7.03 6.22 6.52 2/217 24643
/proc/meminfo: memFree=27527844/32770624 swapFree=66997808/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1476 CPUtime=41.57 cores=0-7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 21430 0 -1 4202496 582 39854 0 0 0 0 3996 161 20 0 1 0 420463650 115843072 369 33554432000 4194304 5098028 140736550580448 140736550577192 139954183365244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9048064 140736550585124 140736550585452 140736550585452 140736550588365 0
/proc/24571/statm: 28282 369 311 221 0 87 0
[pid=24596] ppid=24571 vsize=8414124 memory=123224 CPUtime=1.54 cores=0-7
/proc/24596/stat : 24596 (java) S 24571 24571 21430 0 -1 1077944320 22758 0 0 0 144 10 0 0 20 0 24 0 420466847 8616062976 30806 33554432000 4194304 4196468 140736595009648 140736594992192 139776349654775 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
/proc/24596/statm: 2103531 30806 3194 1 0 2064875 0
[pid=24596/tid=24597] ppid=24571 vsize=8414124 memory=120192 CPUtime=0.77 cores=0-7
/proc/24596/task/24597/stat : 24597 (java) S 24571 24571 21430 0 -1 1077944384 17276 0 0 0 72 5 0 0 20 0 24 0 420466848 8616062976 30806 33554432000 4194304 4196468 140736595009648 139776321494944 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24598] ppid=24571 vsize=8414124 memory=2837932 CPUtime=0 cores=0-7
/proc/24596/task/24598/stat : 24598 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30806 33554432000 4194304 4196468 140736595009648 139776353897104 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24599] ppid=24571 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/24596/task/24599/stat : 24599 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775835105808 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24600] ppid=24571 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/24596/task/24600/stat : 24600 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775834053008 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24601] ppid=24571 vsize=8414124 memory=5928 CPUtime=0 cores=0-7
/proc/24596/task/24601/stat : 24601 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775833000208 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24602] ppid=24571 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24596/task/24602/stat : 24602 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775831948432 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24603] ppid=24571 vsize=8414124 memory=1380 CPUtime=0 cores=0-7
/proc/24596/task/24603/stat : 24603 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775830895632 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24604] ppid=24571 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/24596/task/24604/stat : 24604 (java) S 24571 24571 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775829842832 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24605] ppid=24571 vsize=8414124 memory=120192 CPUtime=0 cores=0-7
/proc/24596/task/24605/stat : 24605 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466849 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775828790032 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24606] ppid=24571 vsize=8414124 memory=120192 CPUtime=0 cores=0-7
/proc/24596/task/24606/stat : 24606 (java) S 24571 24571 21430 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420466850 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775375980912 139776349665922 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24607] ppid=24571 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24596/task/24607/stat : 24607 (java) S 24571 24571 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420466851 8616062976 30806 33554432000 4194304 4196468 140736595009648 139774878802976 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24608] ppid=24571 vsize=8414124 memory=120192 CPUtime=0 cores=0-7
/proc/24596/task/24608/stat : 24608 (java) S 24571 24571 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420466851 8616062976 30806 33554432000 4194304 4196468 140736595009648 139774744580976 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24609] ppid=24571 vsize=8414124 memory=2837924 CPUtime=0 cores=0-7
/proc/24596/task/24609/stat : 24609 (java) S 24571 24571 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420466853 8616062976 30806 33554432000 4194304 4196468 140736595009648 139774370076496 139776349673371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24610] ppid=24571 vsize=8414124 memory=-8097686082794380137 CPUtime=0.13 cores=0-7
/proc/24596/task/24610/stat : 24610 (java) S 24571 24571 21430 0 -1 1077944384 852 0 0 0 13 0 0 0 20 0 24 0 420466853 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775374928752 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24611] ppid=24571 vsize=8414124 memory=-6874839871682730596 CPUtime=0.06 cores=0-7
/proc/24596/task/24611/stat : 24611 (java) S 24571 24571 21430 0 -1 1077944384 236 0 0 0 6 0 0 0 20 0 24 0 420466853 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775373875952 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24612] ppid=24571 vsize=8414124 memory=-6078010579368962667 CPUtime=0.09 cores=0-7
/proc/24596/task/24612/stat : 24612 (java) S 24571 24571 21430 0 -1 1077944384 432 0 0 0 9 0 0 0 20 0 24 0 420466853 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775372823152 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24613] ppid=24571 vsize=8414124 memory=-8742724275804598674 CPUtime=0.24 cores=0-7
/proc/24596/task/24613/stat : 24613 (java) S 24571 24571 21430 0 -1 1077944384 832 0 0 0 24 0 0 0 20 0 24 0 420466853 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775371770352 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24614] ppid=24571 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/24596/task/24614/stat : 24614 (java) S 24571 24571 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420466854 8616062976 30806 33554432000 4194304 4196468 140736595009648 139773872171616 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24615] ppid=24571 vsize=8414124 memory=4008 CPUtime=0.16 cores=0-7
/proc/24596/task/24615/stat : 24615 (java) S 24571 24571 21430 0 -1 1077944384 19 0 0 0 11 5 0 0 20 0 24 0 420466854 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775370717744 139776349665922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24617] ppid=24571 vsize=8414124 memory=948 CPUtime=0 cores=0-7
/proc/24596/task/24617/stat : 24617 (java) S 24571 24571 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420466923 8616062976 30806 33554432000 4194304 4196468 140736595009648 139775362683968 139776349679385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24619] ppid=24571 vsize=8414124 memory=2832 CPUtime=0.03 cores=0-7
/proc/24596/task/24619/stat : 24619 (java) S 24571 24571 21430 0 -1 4202560 1699 0 0 0 2 1 0 0 20 0 24 0 420466923 8616062976 30806 33554432000 4194304 4196468 140736595009648 139773201072336 139776349676701 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24620] ppid=24571 vsize=8414124 memory=9404 CPUtime=0 cores=0-7
/proc/24596/task/24620/stat : 24620 (java) S 24571 24571 21430 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420466923 8616062976 30806 33554432000 4194304 4196468 140736595009648 139773469507632 139776349676701 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
[pid=24596/tid=24621] ppid=24571 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/24596/task/24621/stat : 24621 (java) S 24571 24571 21430 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420466925 8616062976 30806 33554432000 4194304 4196468 140736595009648 139772932644400 139776349664981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21905408 140736595014647 140736595014806 140736595014806 140736595017679 0
Current children cumulated CPU time: 43.11 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 124700 KiB

Child status: 0
Real time (s): 276.838
CPU time (s): 1831.32
CPU user time (s): 1811.35
CPU system time (s): 19.9672
CPU usage (%): 661.511
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6055744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1811.35
system time used= 19.9672
maximum resident set size= 6054772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13072835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 289416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58310
involuntary context switches= 16578


# summary of solver processes directly reported to runsolver:
#   pid: 24571
#   total CPU time (s): 1831.32
#   total CPU user time (s): 1811.35
#   total CPU system time (s): 19.9672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.52084 second user time and 3.85204 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 07:20:13
IDJOB=4392721
IDBENCH=138477
IDSOLVER=2839
FILE ID=node106/4392721-1568442090
RUNJOBID= node106-1568429735-21457
PBS_JOBID= 21702316
Free space on /tmp= 59112 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392721-1568442090/watcher-4392721-1568442090 -o /tmp/evaluation-result-4392721-1568442090/solver-4392721-1568442090 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392721-1568442090.xml

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

MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3
RANDOM SEED=1263591590

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30625712 kB
MemAvailable:   31901508 kB
Buffers:          189384 kB
Cached:          1367520 kB
SwapCached:         9288 kB
Active:           485868 kB
Inactive:        1086384 kB
Active(anon):      14520 kB
Inactive(anon):    34988 kB
Active(file):     471348 kB
Inactive(file):  1051396 kB
Unevictable:      106756 kB
Mlocked:          106756 kB
SwapTotal:      67108860 kB
SwapFree:       66997808 kB
Dirty:             21200 kB
Writeback:             0 kB
AnonPages:        114844 kB
Mapped:            38088 kB
Shmem:             25424 kB
Slab:             166932 kB
SReclaimable:     137776 kB
SUnreclaim:        29156 kB
KernelStack:        3712 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59092 MiB
End job on node106 at 2019-09-14 07:24:50