Trace number 4392483

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 966.937 128.722

General information on the benchmark

NameStripPacking/StripPacking-m1-series1/
StripPacking-C3P2.xml
MD5SUMec554133dcdc77f0ded322158f487a65
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark226.379
Satisfiable
(Un)Satisfiability was proved
Number of variables145
Number of constraints88
Number of domains30
Minimum domain size1
Maximum domain size60
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":83},{"size":30,"count":29},{"size":60,"count":29}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":29},{"degree":2,"count":58},{"degree":3,"count":58}]
Minimum constraint arity2
Maximum constraint arity116
Distribution of constraint arities[{"arity":2,"count":58},{"arity":3,"count":29},{"arity":116,"count":1}]
Number of extensional constraints29
Number of intensional constraints58
Distribution of constraint types[{"type":"extension","count":29},{"type":"intension","count":58},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7796-serial-file.bin HOME/instance-4392483-1568416780.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 01:18:56 CEST 2019
0.65/0.56	c PID: 7799
0.65/0.56	c IP: 172.20.3.102
0.65/0.56	c HOST: node102.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.42/1.00	c (0,0) Parsing End
1.42/1.00	c (0,0) CSP: 116 int (0 aux), 29 bool (0 aux), 88 ctr, max domain size 60
1.42/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/1.00	c (0,0) Constraint Name Generate Begin
1.70/1.01	c (0,0) Ctr:HOME/instance-4392483-1568416780.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.70/1.01	c (0,0) Constraint Name Generate End
1.70/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.70/1.01	c (0,0) CSP to CSPinCNF Begin
1.70/1.09	c (0,0) translated 9 (10%) constraints
1.70/1.10	c (0,0) translated 18 (20%) constraints
1.85/1.11	c (0,0) translated 27 (30%) constraints
1.85/1.12	c (0,0) translated 36 (40%) constraints
1.85/1.12	c (0,0) translated 44 (50%) constraints
1.85/1.13	c (0,0) translated 53 (60%) constraints
2.00/1.25	c (0,0) translated 62 (70%) constraints
2.24/1.31	c (0,0) translated 71 (80%) constraints
2.24/1.37	c (0,0) translated 80 (90%) constraints
2.52/1.41	c (0,0) translated 88 (100%) constraints
2.87/1.58	c (1,1) ===========================================
2.87/1.58	c (1,1) Order
2.87/1.58	c (1,1) ===========================================
3.28/1.60	c (1,1) translated 88 (10%) constraints
3.28/1.60	c (1,1) translated 175 (20%) constraints
3.28/1.61	c (1,1) translated 262 (30%) constraints
3.28/1.62	c (1,1) translated 349 (40%) constraints
3.28/1.62	c (1,1) translated 436 (50%) constraints
3.28/1.63	c (1,1) translated 523 (60%) constraints
3.28/1.64	c (1,1) translated 610 (70%) constraints
3.28/1.64	c (1,1) translated 697 (80%) constraints
3.28/1.65	c (1,1) translated 784 (90%) constraints
3.28/1.66	c (1,1) translated 871 (100%) constraints
3.28/1.66	c (1,1) CSP to CSPinCNF End
3.28/1.66	c (1,1) CSP: 116 int (0 aux), 137 bool (108 aux), 871 ctr, max domain size 60
3.28/1.66	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.28/1.66	c (1,1) CSPinCNF Propagation Begin
3.71/1.70	c (1,1) 0 values, 27 unsatisfiable literals, and 6 valid clauses are removed
3.71/1.70	c (1,1) CSPinCNF Propagation End
3.71/1.70	c (1,1) CSP: 116 int (0 aux), 137 bool (108 aux), 865 ctr, max domain size 60
3.71/1.70	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.71/1.70	c (1,1) Simplify CSPinCNF Begin
4.15/1.81	c (1,1) Simplify CSPinCNF End
4.15/1.81	c (1,1) CSP: 116 int (0 aux), 1761 bool (1732 aux), 2489 ctr, max domain size 60
4.15/1.81	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.15/1.81	c (1,1) Calculate Precise Domain Begin
4.15/1.81	c (1,1) 0 values are removed by re-calculation
4.15/1.81	c (1,1) Calculate Precise Domain End
4.15/1.81	c (1,1) CSP: 116 int (0 aux), 1761 bool (1732 aux), 2489 ctr, max domain size 60
4.15/1.81	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.15/1.81	c (1,1) CSPinCNF to SatSolver Begin
4.56/1.92	c (1,1) 249 (10 %) CSP clauses are encoded (0 SAT variables, 2518 SAT clauses)
4.56/1.97	c (1,1) 498 (20 %) CSP clauses are encoded (0 SAT variables, 4670 SAT clauses)
5.37/2.11	c (1,1) 747 (30 %) CSP clauses are encoded (0 SAT variables, 18048 SAT clauses)
5.74/2.21	c (1,1) 996 (40 %) CSP clauses are encoded (0 SAT variables, 30682 SAT clauses)
6.06/2.34	c (1,1) 1245 (50 %) CSP clauses are encoded (0 SAT variables, 43418 SAT clauses)
6.34/2.47	c (1,1) 1494 (60 %) CSP clauses are encoded (0 SAT variables, 57515 SAT clauses)
6.55/2.53	c (1,1) 1743 (70 %) CSP clauses are encoded (0 SAT variables, 70320 SAT clauses)
6.72/2.60	c (2,2) 1992 (80 %) CSP clauses are encoded (0 SAT variables, 84391 SAT clauses)
6.72/2.67	c (2,2) 2241 (90 %) CSP clauses are encoded (0 SAT variables, 97631 SAT clauses)
6.88/2.73	c (2,2) 2489 (100 %) CSP clauses are encoded (0 SAT variables, 110404 SAT clauses)
6.88/2.73	c (2,2) CSPinCNF to SatSolver End
6.88/2.73	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.88/2.73	c (2,2) 4143 bool, 110428 clause
6.88/2.73	c (2,2) Export Begin
7.01/2.84	c (2,2) Export to HOME/scop-7796-serial-file.bin
7.01/2.84	c (2,2) Export End
7.01/2.84	c (2,2) Export File Size: 0.03 MB
7.01/2.84	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.01/2.84	c END-Prog: Sat Sep 14 01:18:58 CEST 2019
7.01/2.85	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7796-serial-file.bin
7.48/3.31	c (0,0) Read Serial File Begin
7.48/3.34	c (0,0) HOME/scop-7796-serial-file.bin
7.95/3.59	c (0,0) Read Serial File End
8.14/3.60	
8.14/3.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
8.14/3.60	(Solving Process)
8.14/3.60	
8.14/3.62	c BEGIN-Prog: Sat Sep 14 01:18:59 CEST 2019
8.14/3.62	c PID: 7819
8.14/3.62	c IP: 172.20.3.102
8.14/3.62	c HOST: node102.alineos.net
8.14/3.63	c (0,0) SatSolver.solve Begin
8.14/3.63	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392483-1568416780.xml-scop-7799.cnf
8.14/3.66	c (0,0) c
8.14/3.66	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)
8.14/3.66	c (0,0) c
8.14/3.66	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.14/3.66	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
8.14/3.66	c (0,0) c ========================================[ Problem Statistics ]===========================================
8.14/3.66	c (0,0) c |                                                                                                       |
8.14/3.69	c (0,0) c |  Number of variables:          4143                                                                   |
8.14/3.69	c (0,0) c |  Number of clauses:          110428                                                                   |
8.14/3.69	c (0,0) c |  Parse time:                   0.04 s                                                                 |
8.14/3.69	c (0,0) c |                                                                                                       |
8.39/3.82	c (0,0) c |  Simplification time:          0.13 s                                                                 |
8.39/3.82	c (0,0) c |                                                                                                       |
8.39/3.82	c (0,0) c |  Generating clones                                                                                    |
8.39/3.85	c (0,0) c |  all clones generated. Memory =    86.73Mb.                                                           |
8.39/3.85	c (0,0) c ========================================================================================================|
8.39/3.85	c (0,0) c
8.39/3.85	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.39/3.85	c (0,0) c
8.39/3.85	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.39/3.85	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.39/3.85	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.39/3.85	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.39/3.85	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.39/3.85	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.39/3.85	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.39/3.85	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.39/3.85	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.39/3.85	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.39/3.85	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.39/3.85	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.39/3.85	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.39/3.85	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.39/3.85	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.39/3.85	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.39/3.85	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.39/3.85	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.39/3.85	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
240.34/33.38	c (30,0) c
240.34/33.38	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.34/33.38	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.34/33.38	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.34/33.38	c (30,0) c |  0 |   1123 |     847912 |     308095 |    64184 |    40927 |    37924 |   263432 |    14147 |      328 |  20 |  0.000 |
240.34/33.38	c (30,0) c |  1 |   1143 |     842426 |     305805 |    65624 |    38638 |    40036 |   262265 |    14547 |      330 |  20 |  0.000 |
240.34/33.38	c (30,0) c |  2 |   1199 |     805055 |     290846 |    63766 |    59469 |    38621 |   253182 |    13061 |      312 |  20 |  0.000 |
240.34/33.38	c (30,0) c |  3 |   1135 |     829837 |     300975 |    66950 |    69603 |    38419 |   260176 |    13481 |      323 |  20 |  0.000 |
240.34/33.38	c (30,0) c |  4 |   1157 |     852632 |     308222 |    67822 |    41049 |    40087 |   261635 |    14556 |      329 |  20 |  0.000 |
240.34/33.38	c (30,0) c |  5 |   1143 |     828361 |     302118 |    65676 |    70753 |    38400 |   264392 |    13774 |      330 |  20 |  0.000 |
240.34/33.38	c (30,0) c |  6 |   1028 |     792631 |     297462 |    65623 |    66095 |    39142 |   258903 |    13589 |      322 |  20 |  0.000 |
240.34/33.38	c (30,0) c |  7 |   1184 |     831882 |     302688 |    65517 |    71311 |    37716 |   265044 |    14310 |      330 |  20 |  0.000 |
240.34/33.38	c (30,0) c 
240.34/33.38	c (30,0) c synthesis     2416213 conflicts   316660788 propagations    10411 conflicts/sec  1364425 propagations/sec
240.34/33.38	c (30,0) c real: 29.7288 s, cpu: 232.084 s, memory: 663.10 Mb
469.46/62.38	c (59,0) c
469.46/62.38	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
469.46/62.38	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
469.46/62.38	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
469.46/62.38	c (59,0) c |  0 |   1882 |    1402926 |     517987 |    68847 |    81601 |    59401 |   411565 |    26962 |      641 |  20 |  0.000 |
469.46/62.38	c (59,0) c |  1 |   1903 |    1407999 |     516076 |    72941 |    79702 |    60269 |   411166 |    26794 |      642 |  20 |  0.000 |
469.46/62.38	c (59,0) c |  2 |   2073 |    1397548 |     504349 |    70621 |    67975 |    58711 |   402941 |    25697 |      623 |  20 |  0.000 |
469.46/62.38	c (59,0) c |  3 |   1830 |    1379621 |     515329 |    71469 |    78951 |    61621 |   407977 |    25693 |      638 |  20 |  0.000 |
469.46/62.38	c (59,0) c |  4 |   1910 |    1400993 |     515207 |    72348 |    78826 |    59987 |   411113 |    26921 |      642 |  20 |  0.000 |
469.46/62.38	c (59,0) c |  5 |   1879 |    1353585 |     500014 |    71245 |    63633 |    57524 |   405865 |    25729 |      627 |  20 |  0.000 |
469.46/62.38	c (59,0) c |  6 |   1849 |    1342992 |     503315 |    69726 |    66948 |    60386 |   402368 |    25784 |      626 |  20 |  0.000 |
469.46/62.38	c (59,0) c |  7 |   2063 |    1396151 |     511687 |    69492 |    75312 |    58593 |   412810 |    26797 |      643 |  20 |  0.000 |
469.46/62.38	c (59,0) c 
469.46/62.38	c (59,0) c synthesis     4083965 conflicts   543229727 propagations     8861 conflicts/sec  1178645 propagations/sec
469.46/62.38	c (59,0) c real: 58.7288 s, cpu: 460.893 s, memory: 722.82 Mb
683.32/91.38	c (88,0) c
683.32/91.38	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
683.32/91.38	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
683.32/91.38	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
683.32/91.38	c (88,0) c |  0 |   2451 |    1826648 |     678499 |    71195 |    87909 |    74045 |   515214 |    35824 |      914 |  20 |  0.000 |
683.32/91.38	c (88,0) c |  1 |   2441 |    1826311 |     677614 |    75418 |    87044 |    75384 |   513782 |    35584 |      914 |  20 |  0.000 |
683.32/91.38	c (88,0) c |  2 |   2628 |    1823844 |     665667 |    74772 |    75099 |    73535 |   506726 |    34427 |      894 |  20 |  0.000 |
683.32/91.38	c (88,0) c |  3 |   2370 |    1804746 |     679435 |    73333 |    88865 |    76462 |   512820 |    34653 |      914 |  20 |  0.000 |
683.32/91.38	c (88,0) c |  4 |   2501 |    1811718 |     673555 |    73792 |    82985 |    74563 |   514312 |    35748 |      914 |  20 |  0.000 |
683.32/91.38	c (88,0) c |  5 |   2539 |    1801495 |     667728 |    73133 |    77156 |    72483 |   515381 |    35231 |      911 |  20 |  0.000 |
683.32/91.38	c (88,0) c |  6 |   2490 |    1778283 |     671085 |    72272 |    80501 |    75878 |   513373 |    35389 |      914 |  20 |  0.000 |
683.32/91.38	c (88,0) c |  7 |   2567 |    1784947 |     667166 |    72198 |    76602 |    73597 |   515733 |    35469 |      914 |  20 |  0.000 |
683.32/91.38	c (88,0) c 
683.32/91.38	c (88,0) c synthesis     5380750 conflicts   720613206 propagations     7978 conflicts/sec  1068444 propagations/sec
683.32/91.38	c (88,0) c real: 87.7286 s, cpu: 674.451 s, memory: 898.71 Mb
907.58/120.38	c (117,0) c
907.58/120.38	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
907.58/120.38	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
907.58/120.38	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
907.58/120.38	c (117,0) c |  0 |   3091 |    2260037 |     839241 |    73698 |    71060 |    88001 |   613715 |    44223 |     1207 |  20 |  0.000 |
907.58/120.38	c (117,0) c |  1 |   3042 |    2235643 |     835490 |    76832 |    67312 |    89353 |   614088 |    44082 |     1212 |  20 |  0.000 |
907.58/120.38	c (117,0) c |  2 |   3143 |    2237215 |     827383 |    76042 |   121012 |    88133 |   608082 |    42838 |     1192 |  20 |  0.000 |
907.58/120.38	c (117,0) c |  3 |   2895 |    2191940 |     829256 |    74130 |   122894 |    89518 |   606117 |    42686 |     1193 |  20 |  0.000 |
907.58/120.38	c (117,0) c |  4 |   3050 |    2226096 |     832709 |    75529 |    64534 |    88689 |   614920 |    44362 |     1212 |  20 |  0.000 |
907.58/120.38	c (117,0) c |  5 |   3107 |    2204805 |     822372 |    74345 |   115990 |    86427 |   611694 |    43535 |     1198 |  20 |  0.000 |
907.58/120.38	c (117,0) c |  6 |   3056 |    2179194 |     826280 |    73976 |   119901 |    89705 |   611240 |    43383 |     1206 |  20 |  0.000 |
907.58/120.38	c (117,0) c |  7 |   3161 |    2210744 |     829490 |    75077 |   123115 |    87459 |   615905 |    43931 |     1212 |  20 |  0.000 |
907.58/120.38	c (117,0) c 
907.58/120.38	c (117,0) c synthesis     6642222 conflicts   892597059 propagations     7395 conflicts/sec   993724 propagations/sec
907.58/120.38	c (117,0) c real: 116.729 s, cpu: 898.234 s, memory: 987.63 Mb
966.48/128.54	c (125,0) c
966.48/128.54	c (125,0) c real time : 124.889 s
966.48/128.54	c (125,0) c cpu time  : 956.595 s
966.48/128.54	c (125,0) c
966.48/128.54	c (125,0) c
966.48/128.54	c (125,0) c
966.48/128.54	c (125,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
966.48/128.54	c (125,0) c
966.48/128.54	c (125,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.54	c (125,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
966.48/128.54	c (125,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.54	c (125,0) c | Conflicts     |         6981666 |     881440 |     876360 |     870345 |     873431 |     873177 |     866330 |     869588 |     870995 |
966.48/128.54	c (125,0) c | Decisions     |        18629164 |    2369452 |    2344762 |    2346620 |    2309522 |    2330556 |    2320733 |    2292694 |    2314825 |
966.48/128.54	c (125,0) c | Propagations  |       938655449 |  117586700 |  117330945 |  116997350 |  118414238 |  116852605 |  116400388 |  117355581 |  117717642 |
966.48/128.54	c (125,0) c | ReduceDBs     |             200 |         25 |         25 |         25 |         25 |         25 |         25 |         25 |         25 |
966.48/128.54	c (125,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
966.48/128.54	c (125,0) c | Restarts      |           25743 |       3232 |       3191 |       3271 |       3058 |       3212 |       3281 |       3199 |       3299 |
966.48/128.54	c (125,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
966.48/128.54	c (125,0) c | PropBinClauses|      1002776631 |  125030827 |  125185255 |  124848415 |  126347112 |  124782672 |  124459111 |  125980647 |  126142592 |
966.48/128.54	c (125,0) c | PropPreBlocker|     40293783181 | 5054290747 | 5049125614 | 4983291833 | 5023574438 | 5052579210 | 5009077772 | 5055462596 | 5066380971 |
966.48/128.54	c (125,0) c | PropNotBlocker|      6561840853 |  827581938 |  826793853 |  811887663 |  799210145 |  829240203 |  828417283 |  818673593 |  820036175 |
966.48/128.54	c (125,0) c | LitFullScans  |     61527732177 | 7716405083 | 7727808503 | 7620393660 | 7621783919 | 7727489499 | 7674395183 | 7711061152 | 7728395178 |
966.48/128.54	c (125,0) c | LitScanFracts |         3092561 |     401870 |     379927 |     386628 |     365459 |     400313 |     388290 |     383373 |     386701 |
966.48/128.54	c (125,0) c | DecisionLevel0|           25743 |       3232 |       3191 |       3271 |       3058 |       3212 |       3281 |       3199 |       3299 |
966.48/128.54	c (125,0) c | Periods       |           10252 |       1286 |       1287 |       1270 |       1270 |       1287 |       1279 |       1285 |       1288 |
966.48/128.54	c (125,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
966.48/128.54	c (125,0) c | Avg_Trail     |                 |       1747 |       1757 |       1765 |       1754 |       1752 |       1749 |       1756 |       1750 |
966.48/128.54	c (125,0) c | Avg_DL        |                 |         62 |         61 |         63 |         63 |         61 |         61 |         62 |         62 |
966.48/128.54	c (125,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
966.48/128.54	c (125,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
966.48/128.54	c (125,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.54	c (125,0) c | Exported      |          737028 |      91575 |      92828 |      92127 |      93200 |      92300 |      90392 |      93501 |      91105 |
966.48/128.54	c (125,0) c | Imported      |         5105889 |     640102 |     639879 |     633970 |     632952 |     640319 |     638943 |     638104 |     641620 |
966.48/128.54	c (125,0) c | Good          |             147 |         20 |         19 |         18 |         19 |         16 |         14 |         20 |         21 |
966.48/128.54	c (125,0) c | Purge         |         5105742 |     640082 |     639860 |     633952 |     632933 |     640303 |     638929 |     638084 |     641599 |
966.48/128.54	c (125,0) c | Promoted      |          365945 |      46263 |      46204 |      44937 |      44770 |      46461 |      45895 |      45523 |      45892 |
966.48/128.54	c (125,0) c | Remove_Imp    |         3907562 |     485233 |     487407 |     485983 |     483642 |     489785 |     492937 |     490031 |     492544 |
966.48/128.54	c (125,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
966.48/128.54	c (125,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.54	c (125,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
966.48/128.54	c (125,0) c | Binaries      |                 |          1 |          2 |          3 |          2 |          5 |          7 |          1 |          0 |
966.48/128.54	c (125,0) c | Glues         |                 |        154 |        143 |        130 |        135 |        125 |        121 |        120 |        114 |
966.48/128.54	c (125,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.54	c (125,0) c | Orig_Seen     |            68 % |      73851 |      77400 |      76335 |      75695 |      75663 |      74480 |      74314 |      75319 |
966.48/128.54	c (125,0) c | Diff Orig seen|                 | -     1844 |       1705 |        640 |      X     | -       32 | -     1215 | -     1381 | -      376 |
966.48/128.54	c (125,0) c | Hamming       |            29 % |       1201 |       1480 |       1266 |      X     |       1116 |       1188 |       1219 |       1230 |
966.48/128.54	c (125,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.54	c (125,0) c | RunningTime   |                 |  118.6  95%|  116.4  94%|  124.2 100%|  122.2  98%|  117.1  94%|  122.5  99%|  120.9  97%|  116.7  94%|
966.48/128.54	c (125,0) c | WaitingTime   |                 |    5.5   4%|    7.6   6%|    0.1   0%|    1.8   1%|    7.0   6%|    1.6   1%|    3.1   3%|    7.5   6%|
966.48/128.54	c (125,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.2   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
966.48/128.54	c (125,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%|
966.48/128.54	c (125,0) c | SolvingTime   |                 |  124.4     |  124.3     |  124.6     |  124.3     |  124.3     |  124.3     |  124.3     |  124.4     |
966.48/128.54	c (125,0) c | PropagationTim|                 |  106.0  85%|  107.2  86%|   95.4  77%|   95.5  77%|  103.0  83%|  100.5  81%|   99.2  80%|  107.2  86%|
966.48/128.54	c (125,0) c | AnalysisTime  |                 |   13.3  11%|   12.0  10%|   24.1  19%|   23.7  19%|   16.3  13%|   18.6  15%|   20.1  16%|   12.0  10%|
966.48/128.54	c (125,0) c | ReductionTime |                 |    1.7   1%|    1.7   1%|    1.7   1%|    1.7   1%|    1.7   1%|    1.7   1%|    1.7   1%|    1.8   1%|
966.48/128.54	c (125,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
966.48/128.54	c (125,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%|
966.48/128.54	c (125,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%|
966.48/128.54	c (125,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.54	c (125,0) c
966.48/128.54	c (125,0) c
966.48/128.54	c (125,0) c Threads : 8
966.48/128.54	c (125,0) c Winner : 3
966.48/128.54	c (125,0) c Conflicts_0 : 881440
966.48/128.54	c (125,0) c Conflicts_1 : 876360
966.48/128.54	c (125,0) c Conflicts_2 : 870345
966.48/128.54	c (125,0) c Conflicts_3 : 873431
966.48/128.54	c (125,0) c Conflicts_4 : 873177
966.48/128.54	c (125,0) c Conflicts_5 : 866330
966.48/128.54	c (125,0) c Conflicts_6 : 869588
966.48/128.54	c (125,0) c Conflicts_7 : 870995
966.48/128.54	c (125,0) c Conflicts_total : 6981666
966.48/128.54	c (125,0) c Conflicts_winner : 873431
966.48/128.54	c (125,0) c Decisions_0 : 2369452
966.48/128.54	c (125,0) c Decisions_1 : 2344762
966.48/128.54	c (125,0) c Decisions_2 : 2346620
966.48/128.54	c (125,0) c Decisions_3 : 2309522
966.48/128.54	c (125,0) c Decisions_4 : 2330556
966.48/128.54	c (125,0) c Decisions_5 : 2320733
966.48/128.54	c (125,0) c Decisions_6 : 2292694
966.48/128.54	c (125,0) c Decisions_7 : 2314825
966.48/128.54	c (125,0) c Decisions_total : 18629164
966.48/128.54	c (125,0) c Decisions_winner : 2309522
966.48/128.54	c (125,0) c Propagations_0 : 117586700
966.48/128.54	c (125,0) c Propagations_1 : 117330945
966.48/128.54	c (125,0) c Propagations_2 : 116997350
966.48/128.54	c (125,0) c Propagations_3 : 118414238
966.48/128.54	c (125,0) c Propagations_4 : 116852605
966.48/128.54	c (125,0) c Propagations_5 : 116400388
966.48/128.54	c (125,0) c Propagations_6 : 117355581
966.48/128.54	c (125,0) c Propagations_7 : 117717642
966.48/128.54	c (125,0) c Propagations_total : 938655449
966.48/128.54	c (125,0) c Propagations_winner : 118414238
966.48/128.54	c (125,0) c ReduceDBs_0 : 25
966.48/128.54	c (125,0) c ReduceDBs_1 : 25
966.48/128.56	c (125,0) c ReduceDBs_2 : 25
966.48/128.56	c (125,0) c ReduceDBs_3 : 25
966.48/128.56	c (125,0) c ReduceDBs_4 : 25
966.48/128.56	c (125,0) c ReduceDBs_5 : 25
966.48/128.56	c (125,0) c ReduceDBs_6 : 25
966.48/128.56	c (125,0) c ReduceDBs_7 : 25
966.48/128.56	c (125,0) c ReduceDBs_total : 200
966.48/128.56	c (125,0) c ReduceDBs_winner : 25
966.48/128.56	c (125,0) c SimpDBs_0 : 1
966.48/128.56	c (125,0) c SimpDBs_1 : 1
966.48/128.56	c (125,0) c SimpDBs_2 : 1
966.48/128.56	c (125,0) c SimpDBs_3 : 1
966.48/128.56	c (125,0) c SimpDBs_4 : 1
966.48/128.56	c (125,0) c SimpDBs_5 : 1
966.48/128.56	c (125,0) c SimpDBs_6 : 1
966.48/128.56	c (125,0) c SimpDBs_7 : 1
966.48/128.56	c (125,0) c SimpDBs_total : 8
966.48/128.56	c (125,0) c SimpDBs_winner : 1
966.48/128.56	c (125,0) c Restarts_0 : 3232
966.48/128.56	c (125,0) c Restarts_1 : 3191
966.48/128.56	c (125,0) c Restarts_2 : 3271
966.48/128.56	c (125,0) c Restarts_3 : 3058
966.48/128.56	c (125,0) c Restarts_4 : 3212
966.48/128.56	c (125,0) c Restarts_5 : 3281
966.48/128.56	c (125,0) c Restarts_6 : 3199
966.48/128.56	c (125,0) c Restarts_7 : 3299
966.48/128.56	c (125,0) c Restarts_total : 25743
966.48/128.56	c (125,0) c Restarts_winner : 3058
966.48/128.56	c (125,0) c ForcedImports_0 : 0
966.48/128.56	c (125,0) c ForcedImports_1 : 0
966.48/128.56	c (125,0) c ForcedImports_2 : 0
966.48/128.56	c (125,0) c ForcedImports_3 : 0
966.48/128.56	c (125,0) c ForcedImports_4 : 0
966.48/128.56	c (125,0) c ForcedImports_5 : 0
966.48/128.56	c (125,0) c ForcedImports_6 : 0
966.48/128.56	c (125,0) c ForcedImports_7 : 0
966.48/128.56	c (125,0) c ForcedImports_total : 0
966.48/128.56	c (125,0) c ForcedImports_winner : 0
966.48/128.56	c (125,0) c PropsBinClauses_0 : 125030827
966.48/128.56	c (125,0) c PropsBinClauses_1 : 125185255
966.48/128.56	c (125,0) c PropsBinClauses_2 : 124848415
966.48/128.56	c (125,0) c PropsBinClauses_3 : 126347112
966.48/128.56	c (125,0) c PropsBinClauses_4 : 124782672
966.48/128.56	c (125,0) c PropsBinClauses_5 : 124459111
966.48/128.56	c (125,0) c PropsBinClauses_6 : 125980647
966.48/128.56	c (125,0) c PropsBinClauses_7 : 126142592
966.48/128.56	c (125,0) c PropsBinClauses_total : 1002776631
966.48/128.56	c (125,0) c PropsBinClauses_winner : 126347112
966.48/128.56	c (125,0) c PropsPreBlocker_0 : 5054290747
966.48/128.56	c (125,0) c PropsPreBlocker_1 : 5049125614
966.48/128.56	c (125,0) c PropsPreBlocker_2 : 4983291833
966.48/128.56	c (125,0) c PropsPreBlocker_3 : 5023574438
966.48/128.56	c (125,0) c PropsPreBlocker_4 : 5052579210
966.48/128.56	c (125,0) c PropsPreBlocker_5 : 5009077772
966.48/128.56	c (125,0) c PropsPreBlocker_6 : 5055462596
966.48/128.56	c (125,0) c PropsPreBlocker_7 : 5066380971
966.48/128.56	c (125,0) c PropsPreBlocker_total : 40293783181
966.48/128.56	c (125,0) c PropsPreBlocker_winner : 5023574438
966.48/128.56	c (125,0) c PropsNotBlocker_0 : 827581938
966.48/128.56	c (125,0) c PropsNotBlocker_1 : 826793853
966.48/128.56	c (125,0) c PropsNotBlocker_2 : 811887663
966.48/128.56	c (125,0) c PropsNotBlocker_3 : 799210145
966.48/128.56	c (125,0) c PropsNotBlocker_4 : 829240203
966.48/128.56	c (125,0) c PropsNotBlocker_5 : 828417283
966.48/128.56	c (125,0) c PropsNotBlocker_6 : 818673593
966.48/128.56	c (125,0) c PropsNotBlocker_7 : 820036175
966.48/128.56	c (125,0) c PropsNotBlocker_total : 6561840853
966.48/128.56	c (125,0) c PropsNotBlocker_winner : 799210145
966.48/128.56	c (125,0) c PropsLitFullScans_0 : 7716405083
966.48/128.56	c (125,0) c PropsLitFullScans_1 : 7727808503
966.48/128.56	c (125,0) c PropsLitFullScans_2 : 7620393660
966.48/128.56	c (125,0) c PropsLitFullScans_3 : 7621783919
966.48/128.56	c (125,0) c PropsLitFullScans_4 : 7727489499
966.48/128.56	c (125,0) c PropsLitFullScans_5 : 7674395183
966.48/128.56	c (125,0) c PropsLitFullScans_6 : 7711061152
966.48/128.56	c (125,0) c PropsLitFullScans_7 : 7728395178
966.48/128.56	c (125,0) c PropsLitFullScans_total : 61527732177
966.48/128.56	c (125,0) c PropsLitFullScans_winner : 7621783919
966.48/128.56	c (125,0) c LitScanFractions_0 : 401870
966.48/128.56	c (125,0) c LitScanFractions_1 : 379927
966.48/128.56	c (125,0) c LitScanFractions_2 : 386628
966.48/128.56	c (125,0) c LitScanFractions_3 : 365459
966.48/128.56	c (125,0) c LitScanFractions_4 : 400313
966.48/128.56	c (125,0) c LitScanFractions_5 : 388290
966.48/128.56	c (125,0) c LitScanFractions_6 : 383373
966.48/128.56	c (125,0) c LitScanFractions_7 : 386701
966.48/128.56	c (125,0) c LitScanFractions_total : 3092561
966.48/128.56	c (125,0) c LitScanFractions_winner : 365459
966.48/128.56	c (125,0) c DecisionLevel0_0 : 3232
966.48/128.56	c (125,0) c DecisionLevel0_1 : 3191
966.48/128.56	c (125,0) c DecisionLevel0_2 : 3271
966.48/128.56	c (125,0) c DecisionLevel0_3 : 3058
966.48/128.56	c (125,0) c DecisionLevel0_4 : 3212
966.48/128.56	c (125,0) c DecisionLevel0_5 : 3281
966.48/128.56	c (125,0) c DecisionLevel0_6 : 3199
966.48/128.56	c (125,0) c DecisionLevel0_7 : 3299
966.48/128.56	c (125,0) c DecisionLevel0_total : 25743
966.48/128.56	c (125,0) c DecisionLevel0_winner : 3058
966.48/128.56	c (125,0) c Periods_0 : 1286
966.48/128.56	c (125,0) c Periods_1 : 1287
966.48/128.56	c (125,0) c Periods_2 : 1270
966.48/128.56	c (125,0) c Periods_3 : 1270
966.48/128.56	c (125,0) c Periods_4 : 1287
966.48/128.56	c (125,0) c Periods_5 : 1279
966.48/128.56	c (125,0) c Periods_6 : 1285
966.48/128.56	c (125,0) c Periods_7 : 1288
966.48/128.56	c (125,0) c Periods_total : 10252
966.48/128.56	c (125,0) c Periods_winner : 1270
966.48/128.56	c (125,0) c Margin_0 : 20
966.48/128.56	c (125,0) c Margin_1 : 20
966.48/128.56	c (125,0) c Margin_2 : 20
966.48/128.56	c (125,0) c Margin_3 : 20
966.48/128.56	c (125,0) c Margin_4 : 20
966.48/128.56	c (125,0) c Margin_5 : 20
966.48/128.56	c (125,0) c Margin_6 : 20
966.48/128.56	c (125,0) c Margin_7 : 20
966.48/128.56	c (125,0) c Margin_total : 160
966.48/128.56	c (125,0) c Margin_winner : 20
966.48/128.56	c (125,0) c Exported_0 : 91575
966.48/128.56	c (125,0) c Exported_1 : 92828
966.48/128.56	c (125,0) c Exported_2 : 92127
966.48/128.56	c (125,0) c Exported_3 : 93200
966.48/128.56	c (125,0) c Exported_4 : 92300
966.48/128.56	c (125,0) c Exported_5 : 90392
966.48/128.56	c (125,0) c Exported_6 : 93501
966.48/128.56	c (125,0) c Exported_7 : 91105
966.48/128.56	c (125,0) c Exported_total : 737028
966.48/128.56	c (125,0) c Exported_winner : 93200
966.48/128.56	c (125,0) c Imported_0 : 640102
966.48/128.56	c (125,0) c Imported_1 : 639879
966.48/128.56	c (125,0) c Imported_2 : 633970
966.48/128.56	c (125,0) c Imported_3 : 632952
966.48/128.56	c (125,0) c Imported_4 : 640319
966.48/128.56	c (125,0) c Imported_5 : 638943
966.48/128.56	c (125,0) c Imported_6 : 638104
966.48/128.56	c (125,0) c Imported_7 : 641620
966.48/128.56	c (125,0) c Imported_total : 5105889
966.48/128.56	c (125,0) c Imported_winner : 632952
966.48/128.56	c (125,0) c Good_0 : 20
966.48/128.56	c (125,0) c Good_1 : 19
966.48/128.56	c (125,0) c Good_2 : 18
966.48/128.56	c (125,0) c Good_3 : 19
966.48/128.56	c (125,0) c Good_4 : 16
966.48/128.56	c (125,0) c Good_5 : 14
966.48/128.56	c (125,0) c Good_6 : 20
966.48/128.56	c (125,0) c Good_7 : 21
966.48/128.56	c (125,0) c Good_total : 147
966.48/128.56	c (125,0) c Good_winner : 19
966.48/128.56	c (125,0) c Purge_0 : 640082
966.48/128.56	c (125,0) c Purge_1 : 639860
966.48/128.56	c (125,0) c Purge_2 : 633952
966.48/128.56	c (125,0) c Purge_3 : 632933
966.48/128.56	c (125,0) c Purge_4 : 640303
966.48/128.56	c (125,0) c Purge_5 : 638929
966.48/128.56	c (125,0) c Purge_6 : 638084
966.48/128.56	c (125,0) c Purge_7 : 641599
966.48/128.56	c (125,0) c Purge_total : 5105742
966.48/128.56	c (125,0) c Purge_winner : 632933
966.48/128.56	c (125,0) c Promoted_0 : 46263
966.48/128.56	c (125,0) c Promoted_1 : 46204
966.48/128.56	c (125,0) c Promoted_2 : 44937
966.48/128.56	c (125,0) c Promoted_3 : 44770
966.48/128.56	c (125,0) c Promoted_4 : 46461
966.48/128.56	c (125,0) c Promoted_5 : 45895
966.48/128.56	c (125,0) c Promoted_6 : 45523
966.48/128.56	c (125,0) c Promoted_7 : 45892
966.48/128.56	c (125,0) c Promoted_total : 365945
966.48/128.56	c (125,0) c Promoted_winner : 44770
966.48/128.56	c (125,0) c Remove_Imp_0 : 485233
966.48/128.56	c (125,0) c Remove_Imp_1 : 487407
966.48/128.56	c (125,0) c Remove_Imp_2 : 485983
966.48/128.56	c (125,0) c Remove_Imp_3 : 483642
966.48/128.56	c (125,0) c Remove_Imp_4 : 489785
966.48/128.56	c (125,0) c Remove_Imp_5 : 492937
966.48/128.56	c (125,0) c Remove_Imp_6 : 490031
966.48/128.56	c (125,0) c Remove_Imp_7 : 492544
966.48/128.56	c (125,0) c Remove_Imp_total : 3907562
966.48/128.56	c (125,0) c Remove_Imp_winner : 483642
966.48/128.56	c (125,0) c Blocked_Reuse_0 : 0
966.48/128.56	c (125,0) c Blocked_Reuse_1 : 0
966.48/128.56	c (125,0) c Blocked_Reuse_2 : 0
966.48/128.56	c (125,0) c Blocked_Reuse_3 : 0
966.48/128.56	c (125,0) c Blocked_Reuse_4 : 0
966.48/128.56	c (125,0) c Blocked_Reuse_5 : 0
966.48/128.56	c (125,0) c Blocked_Reuse_6 : 0
966.48/128.56	c (125,0) c Blocked_Reuse_7 : 0
966.48/128.56	c (125,0) c Blocked_Reuse_total : 0
966.48/128.56	c (125,0) c Blocked_Reuse_winner : 0
966.48/128.56	c (125,0) c Unaries_0 : 0
966.48/128.56	c (125,0) c Unaries_1 : 0
966.48/128.56	c (125,0) c Unaries_2 : 0
966.48/128.56	c (125,0) c Unaries_3 : 0
966.48/128.56	c (125,0) c Unaries_4 : 0
966.48/128.56	c (125,0) c Unaries_5 : 0
966.48/128.56	c (125,0) c Unaries_6 : 0
966.48/128.56	c (125,0) c Unaries_7 : 0
966.48/128.56	c (125,0) c Unaries_total : 0
966.48/128.56	c (125,0) c Unaries_winner : 0
966.48/128.56	c (125,0) c Binaries_0 : 1
966.48/128.56	c (125,0) c Binaries_1 : 2
966.48/128.56	c (125,0) c Binaries_2 : 3
966.48/128.56	c (125,0) c Binaries_3 : 2
966.48/128.56	c (125,0) c Binaries_4 : 5
966.48/128.56	c (125,0) c Binaries_5 : 7
966.48/128.57	c (125,0) c Binaries_6 : 1
966.48/128.57	c (125,0) c Binaries_7 : 0
966.48/128.57	c (125,0) c Binaries_total : 21
966.48/128.57	c (125,0) c Binaries_winner : 2
966.48/128.57	c (125,0) c Glues_0 : 154
966.48/128.57	c (125,0) c Glues_1 : 143
966.48/128.57	c (125,0) c Glues_2 : 130
966.48/128.57	c (125,0) c Glues_3 : 135
966.48/128.57	c (125,0) c Glues_4 : 125
966.48/128.57	c (125,0) c Glues_5 : 121
966.48/128.57	c (125,0) c Glues_6 : 120
966.48/128.57	c (125,0) c Glues_7 : 114
966.48/128.57	c (125,0) c Glues_total : 1042
966.48/128.57	c (125,0) c Glues_winner : 135
966.48/128.57	c (125,0) c RunningTime_0 : 118.646553
966.48/128.57	c (125,0) c RunningTime_1 : 116.448606
966.48/128.57	c (125,0) c RunningTime_2 : 124.240740
966.48/128.57	c (125,0) c RunningTime_3 : 122.222331
966.48/128.57	c (125,0) c RunningTime_4 : 117.102444
966.48/128.57	c (125,0) c RunningTime_5 : 122.511159
966.48/128.57	c (125,0) c RunningTime_6 : 120.932452
966.48/128.57	c (125,0) c RunningTime_7 : 116.658888
966.48/128.57	c (125,0) c RunningTime_total : 958.763173
966.48/128.57	c (125,0) c RunningTime_winner : 122.222331
966.48/128.57	c (125,0) c WaitingTime_0 : 5.451813
966.48/128.57	c (125,0) c WaitingTime_1 : 7.610384
966.48/128.57	c (125,0) c WaitingTime_2 : 0.103690
966.48/128.57	c (125,0) c WaitingTime_3 : 1.818823
966.48/128.57	c (125,0) c WaitingTime_4 : 6.962046
966.48/128.57	c (125,0) c WaitingTime_5 : 1.551372
966.48/128.57	c (125,0) c WaitingTime_6 : 3.129020
966.48/128.57	c (125,0) c WaitingTime_7 : 7.479316
966.48/128.57	c (125,0) c WaitingTime_total : 34.106465
966.48/128.57	c (125,0) c WaitingTime_winner : 1.818823
966.48/128.57	c (125,0) c ExchangingTime_0 : 0.264804
966.48/128.57	c (125,0) c ExchangingTime_1 : 0.269948
966.48/128.57	c (125,0) c ExchangingTime_2 : 0.248745
966.48/128.57	c (125,0) c ExchangingTime_3 : 0.277974
966.48/128.57	c (125,0) c ExchangingTime_4 : 0.263518
966.48/128.57	c (125,0) c ExchangingTime_5 : 0.257784
966.48/128.57	c (125,0) c ExchangingTime_6 : 0.259026
966.48/128.57	c (125,0) c ExchangingTime_7 : 0.260606
966.48/128.57	c (125,0) c ExchangingTime_total : 2.102404
966.48/128.57	c (125,0) c ExchangingTime_winner : 0.277974
966.48/128.57	c (125,0) c PeriodProcTime_0 : 0.010114
966.48/128.57	c (125,0) c PeriodProcTime_1 : 0.010202
966.48/128.57	c (125,0) c PeriodProcTime_2 : 0.012974
966.48/128.57	c (125,0) c PeriodProcTime_3 : 0.010915
966.48/128.57	c (125,0) c PeriodProcTime_4 : 0.009728
966.48/128.57	c (125,0) c PeriodProcTime_5 : 0.010446
966.48/128.57	c (125,0) c PeriodProcTime_6 : 0.009910
966.48/128.57	c (125,0) c PeriodProcTime_7 : 0.010510
966.48/128.57	c (125,0) c PeriodProcTime_total : 0.084799
966.48/128.57	c (125,0) c PeriodProcTime_winner : 0.010915
966.48/128.57	c (125,0) c SolvingTime_0 : 124.373284
966.48/128.57	c (125,0) c SolvingTime_1 : 124.339139
966.48/128.57	c (125,0) c SolvingTime_2 : 124.606148
966.48/128.57	c (125,0) c SolvingTime_3 : 124.330043
966.48/128.57	c (125,0) c SolvingTime_4 : 124.337737
966.48/128.57	c (125,0) c SolvingTime_5 : 124.330761
966.48/128.57	c (125,0) c SolvingTime_6 : 124.330409
966.48/128.57	c (125,0) c SolvingTime_7 : 124.409320
966.48/128.57	c (125,0) c SolvingTime_total : 995.056840
966.48/128.57	c (125,0) c SolvingTime_winner : 124.330043
966.48/128.57	c (125,0) c PropagationTime_0 : 105.994888
966.48/128.57	c (125,0) c PropagationTime_1 : 107.195926
966.48/128.57	c (125,0) c PropagationTime_2 : 95.443185
966.48/128.57	c (125,0) c PropagationTime_3 : 95.490627
966.48/128.57	c (125,0) c PropagationTime_4 : 102.979152
966.48/128.57	c (125,0) c PropagationTime_5 : 100.518272
966.48/128.57	c (125,0) c PropagationTime_6 : 99.152256
966.48/128.57	c (125,0) c PropagationTime_7 : 107.193690
966.48/128.57	c (125,0) c PropagationTime_total : 813.967996
966.48/128.57	c (125,0) c PropagationTime_winner : 95.490627
966.48/128.57	c (125,0) c AnalysisTime_0 : 13.260167
966.48/128.57	c (125,0) c AnalysisTime_1 : 11.964465
966.48/128.57	c (125,0) c AnalysisTime_2 : 24.100517
966.48/128.57	c (125,0) c AnalysisTime_3 : 23.734728
966.48/128.57	c (125,0) c AnalysisTime_4 : 16.256915
966.48/128.57	c (125,0) c AnalysisTime_5 : 18.635185
966.48/128.57	c (125,0) c AnalysisTime_6 : 20.134545
966.48/128.57	c (125,0) c AnalysisTime_7 : 11.989813
966.48/128.57	c (125,0) c AnalysisTime_total : 140.076334
966.48/128.57	c (125,0) c AnalysisTime_winner : 23.734728
966.48/128.57	c (125,0) c ReductionTime_0 : 1.673381
966.48/128.57	c (125,0) c ReductionTime_1 : 1.694002
966.48/128.57	c (125,0) c ReductionTime_2 : 1.702538
966.48/128.57	c (125,0) c ReductionTime_3 : 1.696611
966.48/128.57	c (125,0) c ReductionTime_4 : 1.656153
966.48/128.57	c (125,0) c ReductionTime_5 : 1.695729
966.48/128.57	c (125,0) c ReductionTime_6 : 1.697853
966.48/128.57	c (125,0) c ReductionTime_7 : 1.783046
966.48/128.57	c (125,0) c ReductionTime_total : 13.599314
966.48/128.57	c (125,0) c ReductionTime_winner : 1.696611
966.48/128.57	c (125,0) c SimplifyTime_0 : 0.000322
966.48/128.57	c (125,0) c SimplifyTime_1 : 0.000365
966.48/128.57	c (125,0) c SimplifyTime_2 : 0.000308
966.48/128.57	c (125,0) c SimplifyTime_3 : 0.000321
966.48/128.57	c (125,0) c SimplifyTime_4 : 0.000342
966.48/128.57	c (125,0) c SimplifyTime_5 : 0.000324
966.48/128.57	c (125,0) c SimplifyTime_6 : 0.000380
966.48/128.57	c (125,0) c SimplifyTime_7 : 0.000352
966.48/128.57	c (125,0) c SimplifyTime_total : 0.002715
966.48/128.57	c (125,0) c SimplifyTime_winner : 0.000321
966.48/128.57	c (125,0) c UsedRateTime_0 : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_1 : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_2 : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_3 : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_4 : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_5 : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_6 : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_7 : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_total : 0.000000
966.48/128.57	c (125,0) c UsedRateTime_winner : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_0 : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_1 : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_2 : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_3 : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_4 : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_5 : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_6 : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_7 : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_total : 0.000000
966.48/128.57	c (125,0) c OverlapRateTime_winner : 0.000000
966.48/128.57	c (125,0) c
966.48/128.57	c (125,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
966.48/128.57	c (125,0) c
966.48/128.57	c (125,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.57	c (125,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
966.48/128.57	c (125,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.57	c (125,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
966.48/128.57	c (125,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
966.48/128.57	c (125,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
966.48/128.57	c (125,0) c | Initial random_seed   | 1967713697 | 1951220140 |   42463949 |  577043132 |  893400002 |  997145226 | 1321389329 | 1806361269 |
966.48/128.57	c (125,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
966.48/128.57	c (125,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
966.48/128.57	c (125,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
966.48/128.57	c (125,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
966.48/128.57	c (125,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
966.48/128.57	c (125,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
966.48/128.57	c (125,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
966.48/128.57	c (125,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
966.48/128.57	c (125,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
966.48/128.57	c (125,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
966.48/128.57	c (125,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
966.48/128.57	c (125,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
966.48/128.57	c (125,0) 
966.48/128.57	c (125,0) s SATISFIABLE
966.48/128.59	c (125,0) SatSolver.solve End
966.48/128.59	c (125,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
966.48/128.59	c (125,0) Show results Begin
966.86/128.70	c (125,0) h[0] = 6
966.86/128.70	c (125,0) h[1] = 2
966.86/128.70	c (125,0) h[2] = 7
966.86/128.70	c (125,0) h[3] = 4
966.86/128.70	c (125,0) h[4] = 1
966.86/128.70	c (125,0) h[5] = 7
966.86/128.70	c (125,0) h[6] = 11
966.86/128.70	c (125,0) h[7] = 6
966.86/128.70	c (125,0) h[8] = 2
966.86/128.70	c (125,0) h[9] = 6
966.86/128.70	c (125,0) h[10] = 10
966.86/128.70	c (125,0) h[11] = 5
966.86/128.70	c (125,0) h[12] = 2
966.86/128.70	c (125,0) h[13] = 5
966.86/128.70	c (125,0) h[14] = 2
966.86/128.70	c (125,0) h[15] = 12
966.86/128.70	c (125,0) h[16] = 7
966.86/128.70	c (125,0) h[17] = 3
966.86/128.70	c (125,0) h[18] = 6
966.86/128.70	c (125,0) h[19] = 9
966.86/128.70	c (125,0) h[20] = 1
966.86/128.70	c (125,0) h[21] = 10
966.86/128.70	c (125,0) h[22] = 6
966.86/128.70	c (125,0) h[23] = 9
966.86/128.70	c (125,0) h[24] = 1
966.86/128.70	c (125,0) h[25] = 5
966.86/128.70	c (125,0) h[26] = 5
966.86/128.70	c (125,0) h[27] = 25
966.86/128.70	c (125,0) h[28] = 5
966.86/128.70	c (125,0) r[0] = 0
966.86/128.70	c (125,0) r[1] = 0
966.86/128.70	c (125,0) r[2] = 1
966.86/128.70	c (125,0) r[3] = 0
966.86/128.70	c (125,0) r[4] = 1
966.86/128.70	c (125,0) r[5] = 0
966.86/128.70	c (125,0) r[6] = 0
966.86/128.70	c (125,0) r[7] = 0
966.86/128.70	c (125,0) r[8] = 0
966.86/128.70	c (125,0) r[9] = 0
966.86/128.70	c (125,0) r[10] = 0
966.86/128.70	c (125,0) r[11] = 1
966.86/128.70	c (125,0) r[12] = 1
966.86/128.70	c (125,0) r[13] = 1
966.86/128.70	c (125,0) r[14] = 1
966.86/128.70	c (125,0) r[15] = 1
966.86/128.70	c (125,0) r[16] = 0
966.86/128.70	c (125,0) r[17] = 0
966.86/128.70	c (125,0) r[18] = 0
966.86/128.70	c (125,0) r[19] = 0
966.86/128.70	c (125,0) r[20] = 0
966.86/128.70	c (125,0) r[21] = 1
966.86/128.70	c (125,0) r[22] = 0
966.86/128.70	c (125,0) r[23] = 0
966.86/128.70	c (125,0) r[24] = 1
966.86/128.70	c (125,0) r[25] = 1
966.86/128.70	c (125,0) r[26] = 1
966.86/128.70	c (125,0) r[27] = 1
966.86/128.70	c (125,0) r[28] = 0
966.86/128.70	c (125,0) w[0] = 18
966.86/128.70	c (125,0) w[1] = 12
966.86/128.70	c (125,0) w[2] = 10
966.86/128.70	c (125,0) w[3] = 23
966.86/128.70	c (125,0) w[4] = 4
966.86/128.70	c (125,0) w[5] = 7
966.86/128.70	c (125,0) w[6] = 4
966.86/128.70	c (125,0) w[7] = 5
966.86/128.70	c (125,0) w[8] = 7
966.86/128.70	c (125,0) w[9] = 11
966.86/128.70	c (125,0) w[10] = 19
966.86/128.70	c (125,0) w[11] = 11
966.86/128.70	c (125,0) w[12] = 4
966.86/128.70	c (125,0) w[13] = 7
966.86/128.70	c (125,0) w[14] = 4
966.86/128.70	c (125,0) w[15] = 7
966.86/128.70	c (125,0) w[16] = 13
966.86/128.70	c (125,0) w[17] = 6
966.86/128.70	c (125,0) w[18] = 10
966.86/128.70	c (125,0) w[19] = 16
966.86/128.70	c (125,0) w[20] = 4
966.86/128.70	c (125,0) w[21] = 4
966.86/128.70	c (125,0) w[22] = 24
966.86/128.70	c (125,0) w[23] = 9
966.86/128.70	c (125,0) w[24] = 2
966.86/128.70	c (125,0) w[25] = 8
966.86/128.70	c (125,0) w[26] = 3
966.86/128.70	c (125,0) w[27] = 7
966.86/128.70	c (125,0) w[28] = 21
966.86/128.70	c (125,0) x[0] = 7
966.86/128.70	c (125,0) x[1] = 18
966.86/128.70	c (125,0) x[2] = 7
966.86/128.70	c (125,0) x[3] = 30
966.86/128.70	c (125,0) x[4] = 30
966.86/128.70	c (125,0) x[5] = 0
966.86/128.70	c (125,0) x[6] = 0
966.86/128.70	c (125,0) x[7] = 25
966.86/128.70	c (125,0) x[8] = 11
966.86/128.70	c (125,0) x[9] = 38
966.86/128.70	c (125,0) x[10] = 34
966.86/128.70	c (125,0) x[11] = 49
966.86/128.70	c (125,0) x[12] = 34
966.86/128.70	c (125,0) x[13] = 46
966.86/128.70	c (125,0) x[14] = 7
966.86/128.70	c (125,0) x[15] = 0
966.86/128.70	c (125,0) x[16] = 17
966.86/128.70	c (125,0) x[17] = 32
966.86/128.70	c (125,0) x[18] = 4
966.86/128.70	c (125,0) x[19] = 16
966.86/128.70	c (125,0) x[20] = 49
966.86/128.70	c (125,0) x[21] = 30
966.86/128.70	c (125,0) x[22] = 14
966.86/128.70	c (125,0) x[23] = 7
966.86/128.70	c (125,0) x[24] = 32
966.86/128.70	c (125,0) x[25] = 38
966.86/128.70	c (125,0) x[26] = 4
966.86/128.70	c (125,0) x[27] = 53
966.86/128.70	c (125,0) x[28] = 32
966.86/128.70	c (125,0) y[0] = 15
966.86/128.70	c (125,0) y[1] = 21
966.86/128.70	c (125,0) y[2] = 23
966.86/128.70	c (125,0) y[3] = 26
966.86/128.70	c (125,0) y[4] = 15
966.86/128.70	c (125,0) y[5] = 23
966.86/128.70	c (125,0) y[6] = 0
966.86/128.70	c (125,0) y[7] = 15
966.86/128.70	c (125,0) y[8] = 21
966.86/128.70	c (125,0) y[9] = 0
966.86/128.70	c (125,0) y[10] = 16
966.86/128.70	c (125,0) y[11] = 0
966.86/128.70	c (125,0) y[12] = 14
966.86/128.70	c (125,0) y[13] = 11
966.86/128.70	c (125,0) y[14] = 21
966.86/128.70	c (125,0) y[15] = 11
966.86/128.70	c (125,0) y[16] = 23
966.86/128.70	c (125,0) y[17] = 11
966.86/128.70	c (125,0) y[18] = 0
966.86/128.70	c (125,0) y[19] = 6
966.86/128.70	c (125,0) y[20] = 5
966.86/128.70	c (125,0) y[21] = 16
966.86/128.70	c (125,0) y[22] = 0
966.86/128.70	c (125,0) y[23] = 6
966.86/128.70	c (125,0) y[24] = 14
966.86/128.70	c (125,0) y[25] = 11
966.86/128.70	c (125,0) y[26] = 6
966.86/128.70	c (125,0) y[27] = 5
966.86/128.70	c (125,0) y[28] = 6
966.86/128.70	s SATISFIABLE
966.86/128.71	v <instantiation>
966.86/128.71	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] w[17] w[18] w[19] w[20] w[21] w[22] w[23] w[24] w[25] w[26] w[27] w[28] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] h[17] h[18] h[19] h[20] h[21] h[22] h[23] h[24] h[25] h[26] h[27] h[28] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16] r[17] r[18] r[19] r[20] r[21] r[22] r[23] r[24] r[25] r[26] r[27] r[28]</list>
966.86/128.71	v     <values>7 18 7 30 30 0 0 25 11 38 34 49 34 46 7 0 17 32 4 16 49 30 14 7 32 38 4 53 32 15 21 23 26 15 23 0 15 21 0 16 0 14 11 21 11 23 11 0 6 5 16 0 6 14 11 6 5 6 18 12 10 23 4 7 4 5 7 11 19 11 4 7 4 7 13 6 10 16 4 4 24 9 2 8 3 7 21 6 2 7 4 1 7 11 6 2 6 10 5 2 5 2 12 7 3 6 9 1 10 6 9 1 5 5 25 5 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0</values>
966.86/128.71	v </instantiation>
966.86/128.71	c (125,0) Show results End
966.86/128.71	c (125,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
966.86/128.71	c (125,0) 125,125,STOP-AFTER(ALL)
966.86/128.71	c END-Prog: Sat Sep 14 01:21:04 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

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

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

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

solver pid=7796, runsolver pid=7793

[startup+0.100243 s]*
/proc/loadavg: 0.16 0.15 0.46 3/211 7818
/proc/meminfo: memFree=31458944/32770624 swapFree=66995488/67108860
[pid=7796] ppid=7793 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7796/stat : 7796 (scop.sh) S 7793 7796 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417929477 115843072 349 33554432000 4194304 5098028 140731123467552 140731123464808 140325892612732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37269504 140731123475237 140731123475564 140731123475564 140731123478477 0
/proc/7796/statm: 28282 349 296 221 0 87 0
[pid=7799] ppid=7796 vsize=27314120 memory=107328 CPUtime=0.1 cores=0-7
/proc/7799/stat : 7799 (java) S 7796 7796 7170 0 -1 1077944320 6919 0 0 0 8 2 0 0 20 0 20 0 417929477 27969658880 26832 33554432000 4194304 4196468 140732438612848 140732438595392 140070028017399 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
/proc/7799/statm: 6828530 26832 2797 1 0 6790935 0
[pid=7799/tid=7800] ppid=7796 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/7799/task/7800/stat : 7800 (java) R 7796 7796 7170 0 -1 4202560 5016 0 0 0 7 1 0 0 20 0 20 0 417929477 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069999849736 140070013385551 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7801] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7801/stat : 7801 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 26832 33554432000 4194304 4196468 140732438612848 140070032259344 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7802] ppid=7796 vsize=27314120 memory=14276883545532056 CPUtime=0 cores=0-7
/proc/7799/task/7802/stat : 7802 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069846415760 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7803] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7803/stat : 7803 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069845363216 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7804] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7804/stat : 7804 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069844310672 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7805] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7805/stat : 7805 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069843258128 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7806] ppid=7796 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7799/task/7806/stat : 7806 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069842205584 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7807] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7807/stat : 7807 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069841153040 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7808] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7808/stat : 7808 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069840100496 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7809] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7809/stat : 7809 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929481 27969658880 26832 33554432000 4194304 4196468 140732438612848 140069018978288 140070028028546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7810] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7810/stat : 7810 (java) S 7796 7796 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417929482 27969658880 26832 33554432000 4194304 4196468 140732438612848 140068010320800 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7811] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7811/stat : 7811 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929482 27969658880 26832 33554432000 4194304 4196468 140732438612848 140067741885424 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7812] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7812/stat : 7812 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 26832 33554432000 4194304 4196468 140732438612848 140067367377104 140070028035995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7813] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7813/stat : 7813 (java) S 7796 7796 7170 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 26832 33554432000 4194304 4196468 140732438612848 140067876100592 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7814] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7814/stat : 7814 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 26832 33554432000 4194304 4196468 140732438612848 140067875048048 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7815] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7815/stat : 7815 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 26832 33554432000 4194304 4196468 140732438612848 140067873995504 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7816] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7816/stat : 7816 (java) S 7796 7796 7170 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 26832 33554432000 4194304 4196468 140732438612848 140067872942960 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7817] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7817/stat : 7817 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929485 27969658880 26832 33554432000 4194304 4196468 140732438612848 140066869471456 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7818] ppid=7796 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7799/task/7818/stat : 7818 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929485 27969658880 26832 33554432000 4194304 4196468 140732438612848 140067871889840 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108724 KiB

[startup+0.210263 s]*
/proc/loadavg: 0.16 0.15 0.46 2/211 7818
/proc/meminfo: memFree=31437972/32770624 swapFree=66995488/67108860
[pid=7796] ppid=7793 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7796/stat : 7796 (scop.sh) S 7793 7796 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417929477 115843072 349 33554432000 4194304 5098028 140731123467552 140731123464808 140325892612732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37269504 140731123475237 140731123475564 140731123475564 140731123478477 0
/proc/7796/statm: 28282 349 296 221 0 87 0
[pid=7799] ppid=7796 vsize=27314120 memory=126352 CPUtime=0.24 cores=0-7
/proc/7799/stat : 7799 (java) S 7796 7796 7170 0 -1 1077944320 12524 0 0 0 20 4 0 0 20 0 20 0 417929477 27969658880 31588 33554432000 4194304 4196468 140732438612848 140732438595392 140070028017399 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
/proc/7799/statm: 6828530 31588 2933 1 0 6790935 0
[pid=7799/tid=7800] ppid=7796 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7799/task/7800/stat : 7800 (java) R 7796 7796 7170 0 -1 4202560 10220 0 0 0 16 3 0 0 20 0 20 0 417929477 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069999833808 140070008292786 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7801] ppid=7796 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/7799/task/7801/stat : 7801 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 31588 33554432000 4194304 4196468 140732438612848 140070032259344 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7802] ppid=7796 vsize=27314120 memory=15402783452374680 CPUtime=0 cores=0-7
/proc/7799/task/7802/stat : 7802 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069846415760 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7803] ppid=7796 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7799/task/7803/stat : 7803 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069845363216 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7804] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7804/stat : 7804 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069844310672 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7805] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7805/stat : 7805 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069843258128 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7806] ppid=7796 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7799/task/7806/stat : 7806 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069842205584 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7807] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7807/stat : 7807 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069841153040 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7808] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7808/stat : 7808 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069840100496 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7809] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7809/stat : 7809 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929481 27969658880 31588 33554432000 4194304 4196468 140732438612848 140069018978288 140070028028546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7810] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7810/stat : 7810 (java) S 7796 7796 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417929482 27969658880 31588 33554432000 4194304 4196468 140732438612848 140068010320800 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7811] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7811/stat : 7811 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929482 27969658880 31588 33554432000 4194304 4196468 140732438612848 140067741885424 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7812] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7812/stat : 7812 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 31588 33554432000 4194304 4196468 140732438612848 140067367377104 140070028035995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7813] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7813/stat : 7813 (java) S 7796 7796 7170 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 31588 33554432000 4194304 4196468 140732438612848 140067876100592 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7814] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7814/stat : 7814 (java) S 7796 7796 7170 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 31588 33554432000 4194304 4196468 140732438612848 140067875048048 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7815] ppid=7796 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7799/task/7815/stat : 7815 (java) S 7796 7796 7170 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 31588 33554432000 4194304 4196468 140732438612848 140067873995504 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7816] ppid=7796 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/7799/task/7816/stat : 7816 (java) S 7796 7796 7170 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 417929484 27969658880 31588 33554432000 4194304 4196468 140732438612848 140067872942960 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7817] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7817/stat : 7817 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929485 27969658880 31588 33554432000 4194304 4196468 140732438612848 140066869471456 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7818] ppid=7796 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7799/task/7818/stat : 7818 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929485 27969658880 31588 33554432000 4194304 4196468 140732438612848 140067871889840 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127748 KiB

[startup+0.309683 s]*
/proc/loadavg: 0.16 0.15 0.46 2/211 7818
/proc/meminfo: memFree=31434808/32770624 swapFree=66995488/67108860
[pid=7796] ppid=7793 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7796/stat : 7796 (scop.sh) S 7793 7796 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417929477 115843072 349 33554432000 4194304 5098028 140731123467552 140731123464808 140325892612732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37269504 140731123475237 140731123475564 140731123475564 140731123478477 0
/proc/7796/statm: 28282 349 296 221 0 87 0
[pid=7799] ppid=7796 vsize=27314120 memory=130220 CPUtime=0.42 cores=0-7
/proc/7799/stat : 7799 (java) S 7796 7796 7170 0 -1 1077944320 12895 0 0 0 38 4 0 0 20 0 20 0 417929477 27969658880 32555 33554432000 4194304 4196468 140732438612848 140732438595392 140070028017399 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
/proc/7799/statm: 6828530 32555 3046 1 0 6790935 0
[pid=7799/tid=7800] ppid=7796 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/7799/task/7800/stat : 7800 (java) R 7796 7796 7170 0 -1 4202560 10407 0 0 0 26 3 0 0 20 0 20 0 417929477 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069999843776 140070008292729 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7801] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7801/stat : 7801 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 32555 33554432000 4194304 4196468 140732438612848 140070032259344 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7802] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7802/stat : 7802 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069846415760 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7803] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7803/stat : 7803 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069845363216 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7804] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7804/stat : 7804 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069844310672 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7805] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7805/stat : 7805 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069843258128 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7806] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7806/stat : 7806 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069842205584 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7807] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7807/stat : 7807 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069841153040 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7808] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7808/stat : 7808 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069840100496 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7809] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7809/stat : 7809 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929481 27969658880 32555 33554432000 4194304 4196468 140732438612848 140069018978288 140070028028546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7810] ppid=7796 vsize=27314120 memory=280450492996992 CPUtime=0 cores=0-7
/proc/7799/task/7810/stat : 7810 (java) S 7796 7796 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417929482 27969658880 32555 33554432000 4194304 4196468 140732438612848 140068010320800 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7811] ppid=7796 vsize=27314120 memory=280450493001600 CPUtime=0 cores=0-7
/proc/7799/task/7811/stat : 7811 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929482 27969658880 32555 33554432000 4194304 4196468 140732438612848 140067741885424 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7812] ppid=7796 vsize=27314120 memory=280450493006208 CPUtime=0 cores=0-7
/proc/7799/task/7812/stat : 7812 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929484 27969658880 32555 33554432000 4194304 4196468 140732438612848 140067367377104 140070028035995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7813] ppid=7796 vsize=27314120 memory=280450493010816 CPUtime=0.02 cores=0-7
/proc/7799/task/7813/stat : 7813 (java) R 7796 7796 7170 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 20 0 417929484 27969658880 32555 33554432000 4194304 4196468 140732438612848 140067876100592 140070009540697 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7814] ppid=7796 vsize=27314120 memory=280450493015424 CPUtime=0.01 cores=0-7
/proc/7799/task/7814/stat : 7814 (java) S 7796 7796 7170 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 417929484 27969658880 32555 33554432000 4194304 4196468 140732438612848 140067875048048 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7815] ppid=7796 vsize=27314120 memory=280450493020032 CPUtime=0.01 cores=0-7
/proc/7799/task/7815/stat : 7815 (java) S 7796 7796 7170 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 417929484 27969658880 32555 33554432000 4194304 4196468 140732438612848 140067873995504 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7816] ppid=7796 vsize=27314120 memory=280450493024640 CPUtime=0.07 cores=0-7
/proc/7799/task/7816/stat : 7816 (java) S 7796 7796 7170 0 -1 1077944384 480 0 0 0 7 0 0 0 20 0 20 0 417929484 27969658880 32555 33554432000 4194304 4196468 140732438612848 140067872942960 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7817] ppid=7796 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7817/stat : 7817 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929485 27969658880 32555 33554432000 4194304 4196468 140732438612848 140066869471456 140070028027605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7818] ppid=7796 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7799/task/7818/stat : 7818 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417929485 27969658880 32555 33554432000 4194304 4196468 140732438612848 140067871889840 140070028028546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131616 KiB

[startup+0.700986 s]
/proc/loadavg: 0.16 0.15 0.46 3/211 7818
/proc/meminfo: memFree=31412712/32770624 swapFree=66995488/67108860
[pid=7796] ppid=7793 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7796/stat : 7796 (scop.sh) S 7793 7796 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417929477 115843072 349 33554432000 4194304 5098028 140731123467552 140731123464808 140325892612732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37269504 140731123475237 140731123475564 140731123475564 140731123478477 0
/proc/7796/statm: 28282 349 296 221 0 87 0
[pid=7799] ppid=7796 vsize=27322516 memory=167784 CPUtime=1.01 cores=0-7
/proc/7799/stat : 7799 (java) S 7796 7796 7170 0 -1 1077944320 20580 0 0 0 94 7 0 0 20 0 20 0 417929477 27978256384 41946 33554432000 4194304 4196468 140732438612848 140732438595392 140070028017399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
/proc/7799/statm: 6830629 41946 3201 1 0 6791959 0
[pid=7799/tid=7800] ppid=7796 vsize=27322516 memory=4580 CPUtime=0.67 cores=0-7
/proc/7799/task/7800/stat : 7800 (java) R 7796 7796 7170 0 -1 4202560 17473 0 0 0 62 5 0 0 20 0 20 0 417929477 27978256384 41946 33554432000 4194304 4196468 140732438612848 140069999849136 140070028029334 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7801] ppid=7796 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7801/stat : 7801 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27978256384 41946 33554432000 4194304 4196468 140732438612848 140070032259344 140070028027605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7802] ppid=7796 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/7799/task/7802/stat : 7802 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417929480 27978256384 41946 33554432000 4194304 4196468 140732438612848 140069846415760 140070028027605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0
[pid=7799/tid=7803] ppid=7796 vsize=27322516 memory=8556 CPUtime=0 cores=0-7
/proc/7799/task/7803/stat : 7803 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417929480 27978256384 41946 33554432000 4194304 4196468 140732438612848 140069845363216 140070028027605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140732438614764 140732438615190 140732438615190 140732438618063 0

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

[pid=7819/tid=7820] ppid=7796 vsize=8414124 memory=541540 CPUtime=0.81 cores=0-7
/proc/7819/task/7820/stat : 7820 (java) S 7796 7796 7170 0 -1 1077944384 18058 0 0 0 75 6 0 0 20 0 24 0 417929763 8616062976 29745 33554432000 4194304 4196468 140737201814800 139792260951968 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7821] ppid=7796 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/7819/task/7821/stat : 7821 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417929764 8616062976 29745 33554432000 4194304 4196468 140737201814800 139792293354256 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7822] ppid=7796 vsize=8414124 memory=625180 CPUtime=0 cores=0-7
/proc/7819/task/7822/stat : 7822 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417929764 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791773805456 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7823] ppid=7796 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/7819/task/7823/stat : 7823 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417929764 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791772752912 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7824] ppid=7796 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/7819/task/7824/stat : 7824 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417929764 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791771700368 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7825] ppid=7796 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/7819/task/7825/stat : 7825 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417929764 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791770646800 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7826] ppid=7796 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/7819/task/7826/stat : 7826 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417929764 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791769594256 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7827] ppid=7796 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/7819/task/7827/stat : 7827 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417929764 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791768541712 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7828] ppid=7796 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/7819/task/7828/stat : 7828 (java) S 7796 7796 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417929764 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791767489168 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7829] ppid=7796 vsize=8414124 memory=4132 CPUtime=0 cores=0-7
/proc/7819/task/7829/stat : 7829 (java) S 7796 7796 7170 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417929765 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791382321648 139792289122946 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7830] ppid=7796 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/7819/task/7830/stat : 7830 (java) S 7796 7796 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417929766 8616062976 29745 33554432000 4194304 4196468 140737201814800 139790716495264 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7831] ppid=7796 vsize=8414124 memory=3480 CPUtime=0 cores=0-7
/proc/7819/task/7831/stat : 7831 (java) S 7796 7796 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417929766 8616062976 29745 33554432000 4194304 4196468 140737201814800 139790582273520 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7832] ppid=7796 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7819/task/7832/stat : 7832 (java) S 7796 7796 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417929768 8616062976 29745 33554432000 4194304 4196468 140737201814800 139790207769296 139792289130395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7833] ppid=7796 vsize=8414124 memory=118980 CPUtime=0.06 cores=0-7
/proc/7819/task/7833/stat : 7833 (java) S 7796 7796 7170 0 -1 1077944384 484 0 0 0 6 0 0 0 20 0 24 0 417929768 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791381268464 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7834] ppid=7796 vsize=8414124 memory=550472 CPUtime=0.08 cores=0-7
/proc/7819/task/7834/stat : 7834 (java) S 7796 7796 7170 0 -1 1077944384 348 0 0 0 8 0 0 0 20 0 24 0 417929768 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791380215920 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7835] ppid=7796 vsize=8414124 memory=1440 CPUtime=0.06 cores=0-7
/proc/7819/task/7835/stat : 7835 (java) S 7796 7796 7170 0 -1 1077944384 422 0 0 0 6 0 0 0 20 0 24 0 417929768 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791379163376 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7836] ppid=7796 vsize=8414124 memory=820 CPUtime=0.23 cores=0-7
/proc/7819/task/7836/stat : 7836 (java) S 7796 7796 7170 0 -1 1077944384 1034 0 0 0 23 0 0 0 20 0 24 0 417929768 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791378110832 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7837] ppid=7796 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/7819/task/7837/stat : 7837 (java) S 7796 7796 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417929769 8616062976 29745 33554432000 4194304 4196468 140737201814800 139789709863648 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7838] ppid=7796 vsize=8414124 memory=111632 CPUtime=0.07 cores=0-7
/proc/7819/task/7838/stat : 7838 (java) S 7796 7796 7170 0 -1 1077944384 10 0 0 0 0 7 0 0 20 0 24 0 417929769 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791377058736 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7840] ppid=7796 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/7819/task/7840/stat : 7840 (java) S 7796 7796 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417929842 8616062976 29745 33554432000 4194304 4196468 140737201814800 139791589263040 139792289136409 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7842] ppid=7796 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/7819/task/7842/stat : 7842 (java) S 7796 7796 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417929842 8616062976 29745 33554432000 4194304 4196468 140737201814800 139789307198736 139792289133725 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7843] ppid=7796 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/7819/task/7843/stat : 7843 (java) S 7796 7796 7170 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 417929843 8616062976 29745 33554432000 4194304 4196468 140737201814800 139789038763408 139792289133725 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7844] ppid=7796 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/7819/task/7844/stat : 7844 (java) S 7796 7796 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417929845 8616062976 29745 33554432000 4194304 4196468 140737201814800 139788770335920 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
Current children cumulated CPU time: 965.76 s
Current children cumulated vsize: 9424020 KiB
Current children cumulated memory: 755924 KiB

[startup+128.601 s]
/proc/loadavg: 6.97 2.92 1.45 9/225 7868
/proc/meminfo: memFree=30810792/32770624 swapFree=66995492/67108860
[pid=7796] ppid=7793 vsize=113128 memory=1476 CPUtime=7.13 cores=0-7
/proc/7796/stat : 7796 (scop.sh) S 7793 7796 7170 0 -1 4202496 583 29068 0 0 0 0 693 20 20 0 1 0 417929477 115843072 369 33554432000 4194304 5098028 140731123467552 140731123464296 140325892612732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37269504 140731123475237 140731123475564 140731123475564 140731123478477 0
/proc/7796/statm: 28282 369 311 221 0 87 0
[pid=7819] ppid=7796 vsize=8283048 memory=122644 CPUtime=959.56 cores=0-7
/proc/7819/stat : 7819 (java) S 7796 7796 7170 0 -1 1077944320 23790 661491 0 0 140 10 95659 147 20 0 22 0 417929762 8481841152 30661 33554432000 4194304 4196468 140737201814800 140737201797344 139792289111799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
/proc/7819/statm: 2070762 30661 3222 1 0 2032106 0
[pid=7819/tid=7820] ppid=7796 vsize=8283048 memory=1808 CPUtime=958.87 cores=0-7
/proc/7819/task/7820/stat : 7820 (java) R 7796 7796 7170 0 -1 4202560 18089 661491 0 0 75 6 95659 147 20 0 22 0 417929763 8481841152 30661 33554432000 4194304 4196468 140737201814800 139792260950256 139792289133725 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7821] ppid=7796 vsize=8283048 memory=920 CPUtime=958.06 cores=0-7
/proc/7819/task/7821/stat : 7821 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 30661 33554432000 4194304 4196468 140737201814800 139792293354256 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7822] ppid=7796 vsize=8283048 memory=118980 CPUtime=958.06 cores=0-7
/proc/7819/task/7822/stat : 7822 (java) S 7796 7796 7170 0 -1 1077944384 3 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791773805456 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7823] ppid=7796 vsize=8283048 memory=1564 CPUtime=958.06 cores=0-7
/proc/7819/task/7823/stat : 7823 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791772752912 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7824] ppid=7796 vsize=8283048 memory=8556 CPUtime=958.06 cores=0-7
/proc/7819/task/7824/stat : 7824 (java) S 7796 7796 7170 0 -1 1077944384 1 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791771700368 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7825] ppid=7796 vsize=8283048 memory=1052 CPUtime=958.06 cores=0-7
/proc/7819/task/7825/stat : 7825 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791770646800 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7826] ppid=7796 vsize=8283048 memory=1708 CPUtime=958.06 cores=0-7
/proc/7819/task/7826/stat : 7826 (java) S 7796 7796 7170 0 -1 1077944384 1 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791769594256 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7827] ppid=7796 vsize=8283048 memory=3440 CPUtime=958.06 cores=0-7
/proc/7819/task/7827/stat : 7827 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791768541712 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7828] ppid=7796 vsize=8283048 memory=2832 CPUtime=958.06 cores=0-7
/proc/7819/task/7828/stat : 7828 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791767489168 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7829] ppid=7796 vsize=8283048 memory=631372 CPUtime=958.06 cores=0-7
/proc/7819/task/7829/stat : 7829 (java) S 7796 7796 7170 0 -1 1077944384 7 661491 0 0 0 0 95659 147 20 0 22 0 417929765 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791382321648 139792289122946 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7830] ppid=7796 vsize=8283048 memory=8317482817917895235 CPUtime=958.06 cores=0-7
/proc/7819/task/7830/stat : 7830 (java) S 7796 7796 7170 0 -1 1077944384 13 661491 0 0 0 0 95659 147 20 0 22 0 417929766 8481841152 30661 33554432000 4194304 4196468 140737201814800 139790716495264 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7831] ppid=7796 vsize=8283048 memory=1052 CPUtime=958.06 cores=0-7
/proc/7819/task/7831/stat : 7831 (java) S 7796 7796 7170 0 -1 1077944384 21 661491 0 0 0 0 95659 147 20 0 22 0 417929766 8481841152 30661 33554432000 4194304 4196468 140737201814800 139790582273520 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7832] ppid=7796 vsize=8283048 memory=1708 CPUtime=958.06 cores=0-7
/proc/7819/task/7832/stat : 7832 (java) S 7796 7796 7170 0 -1 1077944384 1 661491 0 0 0 0 95659 147 20 0 22 0 417929768 8481841152 30661 33554432000 4194304 4196468 140737201814800 139790207769296 139792289130395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7833] ppid=7796 vsize=8283048 memory=3440 CPUtime=958.15 cores=0-7
/proc/7819/task/7833/stat : 7833 (java) S 7796 7796 7170 0 -1 1077944384 679 661491 0 0 9 0 95659 147 20 0 22 0 417929768 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791381268464 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7834] ppid=7796 vsize=8283048 memory=2832 CPUtime=958.16 cores=0-7
/proc/7819/task/7834/stat : 7834 (java) S 7796 7796 7170 0 -1 1077944384 357 661491 0 0 10 0 95659 147 20 0 22 0 417929768 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791380215920 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7835] ppid=7796 vsize=8283048 memory=5904 CPUtime=958.13 cores=0-7
/proc/7819/task/7835/stat : 7835 (java) S 7796 7796 7170 0 -1 1077944384 427 661491 0 0 7 0 95659 147 20 0 22 0 417929768 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791379163376 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7836] ppid=7796 vsize=8283048 memory=664 CPUtime=958.31 cores=0-7
/proc/7819/task/7836/stat : 7836 (java) S 7796 7796 7170 0 -1 1077944384 1088 661491 0 0 25 0 95659 147 20 0 22 0 417929768 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791378110832 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7837] ppid=7796 vsize=8283048 memory=1156 CPUtime=958.06 cores=0-7
/proc/7819/task/7837/stat : 7837 (java) S 7796 7796 7170 0 -1 1077944384 3 661491 0 0 0 0 95659 147 20 0 22 0 417929769 8481841152 30661 33554432000 4194304 4196468 140737201814800 139789709863648 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7838] ppid=7796 vsize=8283048 memory=1000 CPUtime=958.13 cores=0-7
/proc/7819/task/7838/stat : 7838 (java) S 7796 7796 7170 0 -1 1077944384 10 661491 0 0 0 7 95659 147 20 0 22 0 417929769 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791377058736 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7840] ppid=7796 vsize=8283048 memory=14008 CPUtime=958.06 cores=0-7
/proc/7819/task/7840/stat : 7840 (java) S 7796 7796 7170 0 -1 1077944384 30 661491 0 0 0 0 95659 147 20 0 22 0 417929842 8481841152 30661 33554432000 4194304 4196468 140737201814800 139791589262224 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7844] ppid=7796 vsize=8283048 memory=2124 CPUtime=958.06 cores=0-7
/proc/7819/task/7844/stat : 7844 (java) S 7796 7796 7170 0 -1 1077944384 10 661491 0 0 0 0 95659 147 20 0 22 0 417929845 8481841152 30661 33554432000 4194304 4196468 140737201814800 139788770337712 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
Current children cumulated CPU time: 966.69 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 124120 KiB

[startup+128.701 s]
/proc/loadavg: 6.97 2.92 1.45 9/225 7868
/proc/meminfo: memFree=30810792/32770624 swapFree=66995492/67108860
[pid=7796] ppid=7793 vsize=113128 memory=1476 CPUtime=7.13 cores=0-7
/proc/7796/stat : 7796 (scop.sh) S 7793 7796 7170 0 -1 4202496 583 29068 0 0 0 0 693 20 20 0 1 0 417929477 115843072 369 33554432000 4194304 5098028 140731123467552 140731123464296 140325892612732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37269504 140731123475237 140731123475564 140731123475564 140731123478477 0
/proc/7796/statm: 28282 369 311 221 0 87 0
[pid=7819] ppid=7796 vsize=8283048 memory=128396 CPUtime=959.73 cores=0-7
/proc/7819/stat : 7819 (java) S 7796 7796 7170 0 -1 1077944320 24115 661491 0 0 157 10 95659 147 20 0 22 0 417929762 8481841152 32099 33554432000 4194304 4196468 140737201814800 140737201797344 139792289111799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
/proc/7819/statm: 2070762 32099 3222 1 0 2032106 0
[pid=7819/tid=7820] ppid=7796 vsize=8283048 memory=118980 CPUtime=958.97 cores=0-7
/proc/7819/task/7820/stat : 7820 (java) R 7796 7796 7170 0 -1 4202560 18285 661491 0 0 85 6 95659 147 20 0 22 0 417929763 8481841152 32099 33554432000 4194304 4196468 140737201814800 139792260949616 139791791807616 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7821] ppid=7796 vsize=8283048 memory=1476 CPUtime=958.06 cores=0-7
/proc/7819/task/7821/stat : 7821 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 32099 33554432000 4194304 4196468 140737201814800 139792293354256 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7822] ppid=7796 vsize=8283048 memory=1556 CPUtime=958.06 cores=0-7
/proc/7819/task/7822/stat : 7822 (java) S 7796 7796 7170 0 -1 1077944384 3 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791773805456 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7823] ppid=7796 vsize=8283048 memory=635520 CPUtime=958.06 cores=0-7
/proc/7819/task/7823/stat : 7823 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791772752912 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7824] ppid=7796 vsize=8283048 memory=1476 CPUtime=958.06 cores=0-7
/proc/7819/task/7824/stat : 7824 (java) S 7796 7796 7170 0 -1 1077944384 1 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791771700368 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7825] ppid=7796 vsize=8283048 memory=118980 CPUtime=958.06 cores=0-7
/proc/7819/task/7825/stat : 7825 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791770646800 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7826] ppid=7796 vsize=8283048 memory=193 CPUtime=958.06 cores=0-7
/proc/7819/task/7826/stat : 7826 (java) S 7796 7796 7170 0 -1 1077944384 1 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791769594256 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7827] ppid=7796 vsize=8283048 memory=6944656575208382560 CPUtime=958.06 cores=0-7
/proc/7819/task/7827/stat : 7827 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791768541712 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7828] ppid=7796 vsize=8283048 memory=164 CPUtime=958.06 cores=0-7
/proc/7819/task/7828/stat : 7828 (java) S 7796 7796 7170 0 -1 1077944384 2 661491 0 0 0 0 95659 147 20 0 22 0 417929764 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791767489168 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7829] ppid=7796 vsize=8283048 memory=1348 CPUtime=958.06 cores=0-7
/proc/7819/task/7829/stat : 7829 (java) S 7796 7796 7170 0 -1 1077944384 7 661491 0 0 0 0 95659 147 20 0 22 0 417929765 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791382321648 139792289122946 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7830] ppid=7796 vsize=8283048 memory=656976 CPUtime=958.06 cores=0-7
/proc/7819/task/7830/stat : 7830 (java) S 7796 7796 7170 0 -1 1077944384 13 661491 0 0 0 0 95659 147 20 0 22 0 417929766 8481841152 32099 33554432000 4194304 4196468 140737201814800 139790716495264 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7831] ppid=7796 vsize=8283048 memory=6298098718429703513 CPUtime=958.06 cores=0-7
/proc/7819/task/7831/stat : 7831 (java) S 7796 7796 7170 0 -1 1077944384 21 661491 0 0 0 0 95659 147 20 0 22 0 417929766 8481841152 32099 33554432000 4194304 4196468 140737201814800 139790582273520 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7832] ppid=7796 vsize=8283048 memory=0 CPUtime=958.06 cores=0-7
/proc/7819/task/7832/stat : 7832 (java) S 7796 7796 7170 0 -1 1077944384 1 661491 0 0 0 0 95659 147 20 0 22 0 417929768 8481841152 32099 33554432000 4194304 4196468 140737201814800 139790207769296 139792289130395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7833] ppid=7796 vsize=8283048 memory=0 CPUtime=958.16 cores=0-7
/proc/7819/task/7833/stat : 7833 (java) S 7796 7796 7170 0 -1 1077944384 687 661491 0 0 10 0 95659 147 20 0 22 0 417929768 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791381268464 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7834] ppid=7796 vsize=8283048 memory=0 CPUtime=958.16 cores=0-7
/proc/7819/task/7834/stat : 7834 (java) S 7796 7796 7170 0 -1 1077944384 365 661491 0 0 10 0 95659 147 20 0 22 0 417929768 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791380215920 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7835] ppid=7796 vsize=8283048 memory=118980 CPUtime=958.14 cores=0-7
/proc/7819/task/7835/stat : 7835 (java) S 7796 7796 7170 0 -1 1077944384 432 661491 0 0 8 0 95659 147 20 0 22 0 417929768 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791379163376 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7836] ppid=7796 vsize=8283048 memory=691792 CPUtime=958.37 cores=0-7
/proc/7819/task/7836/stat : 7836 (java) S 7796 7796 7170 0 -1 1077944384 1191 661491 0 0 31 0 95659 147 20 0 22 0 417929768 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791378110832 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7837] ppid=7796 vsize=8283048 memory=0 CPUtime=958.06 cores=0-7
/proc/7819/task/7837/stat : 7837 (java) S 7796 7796 7170 0 -1 1077944384 3 661491 0 0 0 0 95659 147 20 0 22 0 417929769 8481841152 32099 33554432000 4194304 4196468 140737201814800 139789709863648 139792289122005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7838] ppid=7796 vsize=8283048 memory=135 CPUtime=958.13 cores=0-7
/proc/7819/task/7838/stat : 7838 (java) S 7796 7796 7170 0 -1 1077944384 10 661491 0 0 0 7 95659 147 20 0 22 0 417929769 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791377058736 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7840] ppid=7796 vsize=8283048 memory=91956 CPUtime=958.06 cores=0-7
/proc/7819/task/7840/stat : 7840 (java) S 7796 7796 7170 0 -1 1077944384 30 661491 0 0 0 0 95659 147 20 0 22 0 417929842 8481841152 32099 33554432000 4194304 4196468 140737201814800 139791589262224 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
[pid=7819/tid=7844] ppid=7796 vsize=8283048 memory=11396 CPUtime=958.06 cores=0-7
/proc/7819/task/7844/stat : 7844 (java) S 7796 7796 7170 0 -1 1077944384 10 661491 0 0 0 0 95659 147 20 0 22 0 417929845 8481841152 32099 33554432000 4194304 4196468 140737201814800 139788770337712 139792289122946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19804160 140737201820664 140737201820822 140737201820822 140737201823695 0
Current children cumulated CPU time: 966.86 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129872 KiB

Child status: 0
Real time (s): 128.722
CPU time (s): 966.937
CPU user time (s): 965.138
CPU system time (s): 1.79925
CPU usage (%): 751.183
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 841068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 965.138
system time used= 1.79925
maximum resident set size= 720612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 715302
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19424
involuntary context switches= 10474


# summary of solver processes directly reported to runsolver:
#   pid: 7796
#   total CPU time (s): 966.937
#   total CPU user time (s): 965.138
#   total CPU system time (s): 1.79925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25689 second user time and 1.783 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 01:18:55
IDJOB=4392483
IDBENCH=120505
IDSOLVER=2838
FILE ID=node102/4392483-1568416780
RUNJOBID= node102-1568416723-7197
PBS_JOBID= 21702264
Free space on /tmp= 59328 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-series1/StripPacking-C3P2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392483-1568416780/watcher-4392483-1568416780 -o /tmp/evaluation-result-4392483-1568416780/solver-4392483-1568416780 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392483-1568416780.xml

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

MD5SUM BENCH= ec554133dcdc77f0ded322158f487a65
RANDOM SEED=1329705844

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31555144 kB
MemAvailable:   31919964 kB
Buffers:          164936 kB
Cached:           493248 kB
SwapCached:         9704 kB
Active:           330968 kB
Inactive:         337356 kB
Active(anon):       7524 kB
Inactive(anon):    33848 kB
Active(file):     323444 kB
Inactive(file):   303508 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995488 kB
Dirty:             20848 kB
Writeback:             0 kB
AnonPages:        109404 kB
Mapped:            34828 kB
Shmem:             22504 kB
Slab:             135920 kB
SReclaimable:     107404 kB
SUnreclaim:        28516 kB
KernelStack:        3440 kB
PageTables:         5124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59308 MiB
End job on node102 at 2019-09-14 01:21:04