Trace number 4405343

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-09-22)SAT 977.075 130.787

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.02	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-7130-serial-file.bin HOME/instance-4405343-1569238629.xml
0.71/1.24	
0.71/1.24	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.71/1.24	
0.75/1.73	c BEGIN-Prog: Mon Sep 23 13:36:33 CEST 2019
0.75/1.73	c PID: 7133
0.75/1.73	c IP: 172.20.3.123
0.75/1.73	c HOST: node123.alineos.net
0.75/1.79	c (0,0) Parsing Begin
1.62/2.23	c (0,0) Parsing End
1.62/2.23	c (0,0) CSP: 116 int (0 aux), 29 bool (0 aux), 88 ctr, max domain size 60
1.62/2.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.62/2.23	c (0,0) Constraint Name Generate Begin
1.62/2.24	c (0,0) Ctr:HOME/instance-4405343-1569238629.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.62/2.24	c (0,0) Constraint Name Generate End
1.62/2.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.62/2.24	c (0,0) CSP to CSPinCNF Begin
1.82/2.33	c (0,0) translated 9 (10%) constraints
1.82/2.33	c (0,0) translated 18 (20%) constraints
1.82/2.34	c (0,0) translated 27 (30%) constraints
1.82/2.35	c (0,0) translated 36 (40%) constraints
1.82/2.35	c (0,0) translated 44 (50%) constraints
1.82/2.36	c (0,0) translated 53 (60%) constraints
1.99/2.48	c (1,0) translated 62 (70%) constraints
2.21/2.54	c (1,0) translated 71 (80%) constraints
2.21/2.59	c (1,0) translated 80 (90%) constraints
2.50/2.63	c (1,0) translated 88 (100%) constraints
3.24/2.80	c (1,1) ===========================================
3.24/2.80	c (1,1) Order
3.24/2.80	c (1,1) ===========================================
3.24/2.82	c (1,1) translated 88 (10%) constraints
3.24/2.82	c (1,1) translated 175 (20%) constraints
3.24/2.83	c (1,1) translated 262 (30%) constraints
3.24/2.83	c (1,1) translated 349 (40%) constraints
3.24/2.84	c (1,1) translated 436 (50%) constraints
3.24/2.85	c (1,1) translated 523 (60%) constraints
3.24/2.86	c (1,1) translated 610 (70%) constraints
3.24/2.86	c (1,1) translated 697 (80%) constraints
3.24/2.87	c (1,1) translated 784 (90%) constraints
3.24/2.88	c (1,1) translated 871 (100%) constraints
3.24/2.88	c (1,1) CSP to CSPinCNF End
3.24/2.88	c (1,1) CSP: 116 int (0 aux), 137 bool (108 aux), 871 ctr, max domain size 60
3.24/2.88	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.24/2.88	c (1,1) CSPinCNF Propagation Begin
3.66/2.92	c (1,1) 0 values, 27 unsatisfiable literals, and 6 valid clauses are removed
3.66/2.92	c (1,1) CSPinCNF Propagation End
3.66/2.92	c (1,1) CSP: 116 int (0 aux), 137 bool (108 aux), 865 ctr, max domain size 60
3.66/2.92	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.66/2.92	c (1,1) Simplify CSPinCNF Begin
4.14/3.02	c (1,1) Simplify CSPinCNF End
4.14/3.02	c (1,1) CSP: 116 int (0 aux), 1761 bool (1732 aux), 2489 ctr, max domain size 60
4.14/3.02	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.14/3.02	c (1,1) Calculate Precise Domain Begin
4.14/3.03	c (1,1) 0 values are removed by re-calculation
4.14/3.03	c (1,1) Calculate Precise Domain End
4.14/3.03	c (1,1) CSP: 116 int (0 aux), 1761 bool (1732 aux), 2489 ctr, max domain size 60
4.14/3.03	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.14/3.03	c (1,1) CSPinCNF to SatSolver Begin
4.63/3.14	c (1,1) 249 (10 %) CSP clauses are encoded (0 SAT variables, 2518 SAT clauses)
4.63/3.20	c (1,1) 498 (20 %) CSP clauses are encoded (0 SAT variables, 4670 SAT clauses)
5.43/3.33	c (1,1) 747 (30 %) CSP clauses are encoded (0 SAT variables, 18048 SAT clauses)
5.84/3.43	c (2,1) 996 (40 %) CSP clauses are encoded (0 SAT variables, 30682 SAT clauses)
6.25/3.50	c (2,1) 1245 (50 %) CSP clauses are encoded (0 SAT variables, 43418 SAT clauses)
6.52/3.64	c (2,1) 1494 (60 %) CSP clauses are encoded (0 SAT variables, 57515 SAT clauses)
6.75/3.72	c (2,1) 1743 (70 %) CSP clauses are encoded (0 SAT variables, 70320 SAT clauses)
6.75/3.78	c (2,1) 1992 (80 %) CSP clauses are encoded (0 SAT variables, 84391 SAT clauses)
6.94/3.84	c (2,2) 2241 (90 %) CSP clauses are encoded (0 SAT variables, 97631 SAT clauses)
7.13/3.90	c (2,2) 2489 (100 %) CSP clauses are encoded (0 SAT variables, 110404 SAT clauses)
7.13/3.90	c (2,2) CSPinCNF to SatSolver End
7.13/3.90	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.13/3.90	c (2,2) 4143 bool, 110428 clause
7.13/3.90	c (2,2) Export Begin
7.29/4.03	c (2,2) Export to HOME/scop-7130-serial-file.bin
7.29/4.03	c (2,2) Export End
7.29/4.03	c (2,2) Export File Size: 0.03 MB
7.29/4.03	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.29/4.03	c END-Prog: Mon Sep 23 13:36:36 CEST 2019
7.29/4.04	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7130-serial-file.bin
7.36/4.51	c (0,0) Read Serial File Begin
7.36/4.51	c (0,0) HOME/scop-7130-serial-file.bin
7.36/4.75	c (0,0) Read Serial File End
7.36/4.77	
7.36/4.77	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.36/4.77	(Solving Process)
7.36/4.77	
7.36/4.79	c BEGIN-Prog: Mon Sep 23 13:36:37 CEST 2019
7.36/4.79	c PID: 7153
7.36/4.79	c IP: 172.20.3.123
7.36/4.79	c HOST: node123.alineos.net
7.36/4.79	c (0,0) SatSolver.solve Begin
7.36/4.79	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405343-1569238629.xml-scop-7133.cnf
7.36/4.83	c (0,0) c
7.36/4.83	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)
7.36/4.83	c (0,0) c
7.36/4.83	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.36/4.83	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.36/4.83	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.36/4.83	c (0,0) c |                                                                                                       |
7.36/4.87	c (0,0) c |  Number of variables:          4143                                                                   |
7.36/4.87	c (0,0) c |  Number of clauses:          110428                                                                   |
7.36/4.87	c (0,0) c |  Parse time:                   0.03 s                                                                 |
7.36/4.87	c (0,0) c |                                                                                                       |
7.36/4.99	c (0,0) c |  Simplification time:          0.13 s                                                                 |
7.36/4.99	c (0,0) c |                                                                                                       |
7.36/4.99	c (0,0) c |  Generating clones                                                                                    |
8.78/5.03	c (0,0) c |  all clones generated. Memory =    86.73Mb.                                                           |
8.78/5.03	c (0,0) c ========================================================================================================|
8.78/5.03	c (0,0) c
8.78/5.03	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.78/5.03	c (0,0) c
8.78/5.03	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.78/5.03	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.78/5.03	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.78/5.03	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.78/5.03	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.78/5.03	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.78/5.03	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.78/5.03	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.78/5.03	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.78/5.03	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.78/5.03	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.78/5.03	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.78/5.03	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.78/5.03	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.78/5.03	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.78/5.03	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.78/5.03	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.78/5.03	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.78/5.03	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.36/34.70	c (30,0) c
244.36/34.70	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
244.36/34.70	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
244.36/34.70	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
244.36/34.70	c (30,0) c |  0 |   1116 |     840962 |     305073 |    64151 |    37905 |    37542 |   261277 |    13945 |      323 |  20 |  0.000 |
244.36/34.70	c (30,0) c |  1 |   1150 |     851500 |     309585 |    65638 |    42418 |    40404 |   265233 |    14753 |      335 |  20 |  0.000 |
244.36/34.70	c (30,0) c |  2 |   1245 |     832156 |     300704 |    64363 |    69326 |    39618 |   261379 |    13719 |      327 |  20 |  0.000 |
244.36/34.70	c (30,0) c |  3 |   1154 |     841682 |     305169 |    67119 |    37987 |    38861 |   262908 |    13759 |      328 |  20 |  0.000 |
244.36/34.70	c (30,0) c |  4 |   1162 |     855340 |     308999 |    67832 |    41826 |    40145 |   262683 |    14597 |      330 |  20 |  0.000 |
244.36/34.70	c (30,0) c |  5 |   1136 |     822771 |     300225 |    65658 |    68860 |    38209 |   262752 |    13674 |      327 |  20 |  0.000 |
244.36/34.70	c (30,0) c |  6 |   1048 |     807732 |     303000 |    65713 |    35833 |    39674 |   263144 |    14008 |      331 |  20 |  0.000 |
244.36/34.70	c (30,0) c |  7 |   1229 |     863969 |     313657 |    65779 |    46484 |    39031 |   271115 |    14960 |      343 |  20 |  0.000 |
244.36/34.70	c (30,0) c 
244.36/34.70	c (30,0) c synthesis     2446415 conflicts   320764780 propagations    10362 conflicts/sec  1358658 propagations/sec
244.36/34.70	c (30,0) c real: 29.8737 s, cpu: 236.089 s, memory: 663.08 Mb
471.62/63.71	c (59,0) c
471.62/63.71	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
471.62/63.71	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
471.62/63.71	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
471.62/63.71	c (59,0) c |  0 |   1876 |    1397410 |     515559 |    68757 |    79172 |    59134 |   409442 |    26838 |      637 |  20 |  0.000 |
471.62/63.71	c (59,0) c |  1 |   1889 |    1400765 |     513404 |    72930 |    77030 |    60038 |   409042 |    26594 |      637 |  20 |  0.000 |
471.62/63.71	c (59,0) c |  2 |   2101 |    1420962 |     513429 |    70689 |    77055 |    59521 |   409485 |    26202 |      637 |  20 |  0.000 |
471.62/63.71	c (59,0) c |  3 |   1822 |    1374499 |     513238 |    71463 |    76861 |    61399 |   406258 |    25572 |      634 |  20 |  0.000 |
471.62/63.71	c (59,0) c |  4 |   1899 |    1392309 |     512231 |    71988 |    75849 |    59664 |   408955 |    26768 |      637 |  20 |  0.000 |
471.62/63.72	c (59,0) c |  5 |   1850 |    1338588 |     494368 |    71191 |    57987 |    56999 |   400301 |    25378 |      617 |  20 |  0.000 |
471.62/63.72	c (59,0) c |  6 |   1861 |    1353061 |     507418 |    69736 |    71051 |    60791 |   405157 |    26005 |      632 |  20 |  0.000 |
471.62/63.72	c (59,0) c |  7 |   2042 |    1385150 |     507872 |    69490 |    71498 |    58309 |   410183 |    26566 |      636 |  20 |  0.000 |
471.62/63.72	c (59,0) c 
471.62/63.72	c (59,0) c synthesis     4077519 conflicts   542200377 propagations     8805 conflicts/sec  1170795 propagations/sec
471.62/63.72	c (59,0) c real: 58.8737 s, cpu: 463.105 s, memory: 722.59 Mb
690.38/92.70	c (88,0) c
690.38/92.70	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
690.38/92.70	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
690.38/92.70	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
690.38/92.70	c (88,0) c |  0 |   2452 |    1827033 |     678599 |    71195 |    88009 |    74050 |   515555 |    35828 |      915 |  20 |  0.000 |
690.38/92.70	c (88,0) c |  1 |   2441 |    1826330 |     677635 |    75418 |    87065 |    75384 |   513782 |    35587 |      914 |  20 |  0.000 |
690.38/92.70	c (88,0) c |  2 |   2642 |    1831418 |     668104 |    74821 |    77536 |    73713 |   508296 |    34558 |      899 |  20 |  0.000 |
690.38/92.70	c (88,0) c |  3 |   2338 |    1781197 |     671241 |    73238 |    80671 |    75754 |   507427 |    34233 |      900 |  20 |  0.000 |
690.38/92.70	c (88,0) c |  4 |   2501 |    1811231 |     673313 |    73792 |    82743 |    74536 |   514312 |    35739 |      913 |  20 |  0.000 |
690.38/92.70	c (88,0) c |  5 |   2499 |    1774677 |     658205 |    73035 |    67633 |    71659 |   509039 |    34705 |      895 |  20 |  0.000 |
690.38/92.70	c (88,0) c |  6 |   2489 |    1777793 |     670909 |    72271 |    80325 |    75867 |   513373 |    35381 |      914 |  20 |  0.000 |
690.38/92.70	c (88,0) c |  7 |   2568 |    1785943 |     667524 |    72202 |    76960 |    73625 |   516052 |    35481 |      915 |  20 |  0.000 |
690.38/92.70	c (88,0) c 
690.38/92.70	c (88,0) c synthesis     5365531 conflicts   718468336 propagations     7873 conflicts/sec  1054282 propagations/sec
690.38/92.70	c (88,0) c real: 87.8737 s, cpu: 681.476 s, memory: 868.83 Mb
912.88/121.70	c (117,0) c
912.88/121.70	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
912.88/121.70	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
912.88/121.70	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
912.88/121.70	c (117,0) c |  0 |   3085 |    2254217 |     837059 |    73695 |    68878 |    87808 |   612683 |    44146 |     1204 |  20 |  0.000 |
912.88/121.70	c (117,0) c |  1 |   3027 |    2225482 |     831730 |    76779 |    63552 |    88937 |   612162 |    43891 |     1206 |  20 |  0.000 |
912.88/121.70	c (117,0) c |  2 |   3143 |    2237149 |     827358 |    76042 |   120987 |    88132 |   608082 |    42837 |     1192 |  20 |  0.000 |
912.88/121.70	c (117,0) c |  3 |   2892 |    2187661 |     827230 |    74130 |   120868 |    89322 |   605463 |    42555 |     1188 |  20 |  0.000 |
912.88/121.70	c (117,0) c |  4 |   3043 |    2219834 |     830001 |    75523 |   123626 |    88442 |   613486 |    44238 |     1208 |  20 |  0.000 |
912.88/121.70	c (117,0) c |  5 |   3114 |    2210598 |     824880 |    74346 |   118498 |    86684 |   612904 |    43700 |     1203 |  20 |  0.000 |
912.88/121.70	c (117,0) c |  6 |   3060 |    2181304 |     827095 |    73976 |   120716 |    89771 |   611913 |    43421 |     1207 |  20 |  0.000 |
912.88/121.70	c (117,0) c |  7 |   3152 |    2203785 |     827091 |    75074 |   120715 |    87228 |   614042 |    43794 |     1207 |  20 |  0.000 |
912.88/121.70	c (117,0) c 
912.88/121.70	c (117,0) c synthesis     6632445 conflicts   891261804 propagations     7340 conflicts/sec   986300 propagations/sec
912.88/121.70	c (117,0) c real: 116.874 s, cpu: 903.641 s, memory: 923.38 Mb
976.67/130.61	c (126,0) c
976.67/130.61	c (126,0) c real time : 125.788 s
976.67/130.61	c (126,0) c cpu time  : 966.595 s
976.67/130.61	c (126,0) c
976.67/130.61	c (126,0) c
976.67/130.61	c (126,0) c
976.67/130.61	c (126,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
976.67/130.61	c (126,0) c
976.67/130.61	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.61	c (126,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
976.67/130.61	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.61	c (126,0) c | Conflicts     |         6991593 |     882813 |     875840 |     873629 |     873431 |     873489 |     870680 |     869588 |     872123 |
976.67/130.61	c (126,0) c | Decisions     |        18652983 |    2372316 |    2343245 |    2353724 |    2309522 |    2331553 |    2332042 |    2292694 |    2317887 |
976.67/130.61	c (126,0) c | Propagations  |       940032893 |  117782266 |  117280473 |  117437297 |  118414238 |  116895598 |  117006693 |  117355581 |  117860747 |
976.67/130.61	c (126,0) c | ReduceDBs     |             200 |         25 |         25 |         25 |         25 |         25 |         25 |         25 |         25 |
976.67/130.61	c (126,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
976.67/130.61	c (126,0) c | Restarts      |           25771 |       3233 |       3190 |       3275 |       3058 |       3214 |       3301 |       3199 |       3301 |
976.67/130.61	c (126,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
976.67/130.61	c (126,0) c | PropBinClauses|      1004253658 |  125238533 |  125136167 |  125334054 |  126347112 |  124825732 |  125103287 |  125980647 |  126288126 |
976.67/130.61	c (126,0) c | PropPreBlocker|     40378094946 | 5066646077 | 5047044484 | 5010401213 | 5023574438 | 5055162614 | 5045222835 | 5055462596 | 5074580689 |
976.67/130.61	c (126,0) c | PropNotBlocker|      6574989359 |  829297029 |  826457168 |  816170615 |  799210145 |  829611398 |  834355026 |  818673593 |  821214385 |
976.67/130.61	c (126,0) c | LitFullScans  |     61652924567 | 7734411077 | 7724619778 | 7661013394 | 7621783919 | 7731236559 | 7728406910 | 7711061152 | 7740391778 |
976.67/130.61	c (126,0) c | LitScanFracts |         3099427 |     403991 |     379927 |     388364 |     365459 |     400683 |     390564 |     383373 |     387066 |
976.67/130.61	c (126,0) c | DecisionLevel0|           25771 |       3233 |       3190 |       3275 |       3058 |       3214 |       3301 |       3199 |       3301 |
976.67/130.61	c (126,0) c | Periods       |           10273 |       1289 |       1287 |       1276 |       1270 |       1288 |       1288 |       1285 |       1290 |
976.67/130.61	c (126,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
976.67/130.61	c (126,0) c | Avg_Trail     |                 |       1747 |       1757 |       1765 |       1754 |       1752 |       1749 |       1756 |       1750 |
976.67/130.61	c (126,0) c | Avg_DL        |                 |         62 |         61 |         63 |         63 |         61 |         61 |         62 |         62 |
976.67/130.61	c (126,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
976.67/130.61	c (126,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
976.67/130.61	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.61	c (126,0) c | Exported      |          737985 |      91713 |      92771 |      92478 |      93200 |      92328 |      90790 |      93501 |      91204 |
976.67/130.61	c (126,0) c | Imported      |         5112663 |     641380 |     639879 |     635838 |     632952 |     640654 |     641591 |     638104 |     642265 |
976.67/130.61	c (126,0) c | Good          |             147 |         20 |         19 |         18 |         19 |         16 |         14 |         20 |         21 |
976.67/130.61	c (126,0) c | Purge         |         5112516 |     641360 |     639860 |     635820 |     632933 |     640638 |     641577 |     638084 |     642244 |
976.67/130.61	c (126,0) c | Promoted      |          366521 |      46343 |      46196 |      45122 |      44770 |      46483 |      46134 |      45523 |      45950 |
976.67/130.61	c (126,0) c | Remove_Imp    |         3907562 |     485233 |     487407 |     485983 |     483642 |     489785 |     492937 |     490031 |     492544 |
976.67/130.61	c (126,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
976.67/130.61	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.61	c (126,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
976.67/130.61	c (126,0) c | Binaries      |                 |          1 |          2 |          3 |          2 |          5 |          7 |          1 |          0 |
976.67/130.61	c (126,0) c | Glues         |                 |        154 |        143 |        131 |        135 |        125 |        122 |        120 |        114 |
976.67/130.61	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.61	c (126,0) c | Orig_Seen     |            68 % |      73852 |      76941 |      76343 |      75695 |      75663 |      74482 |      74314 |      75342 |
976.67/130.61	c (126,0) c | Diff Orig seen|                 | -     1843 |       1246 |        648 |      X     | -       32 | -     1213 | -     1381 | -      353 |
976.67/130.61	c (126,0) c | Hamming       |            30 % |       1193 |       1351 |       1274 |      X     |       1291 |       1224 |       1219 |       1183 |
976.67/130.61	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.61	c (126,0) c | RunningTime   |                 |  118.6  94%|  119.2  95%|  125.0 100%|  124.2  99%|  119.5  95%|  122.8  98%|  122.8  98%|  116.0  92%|
976.67/130.61	c (126,0) c | WaitingTime   |                 |    6.7   5%|    6.0   5%|    0.3   0%|    1.0   1%|    5.7   5%|    2.5   2%|    2.4   2%|    9.2   7%|
976.67/130.61	c (126,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.2   0%|    0.3   0%|    0.2   0%|    0.3   0%|    0.3   0%|    0.3   0%|
976.67/130.61	c (126,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%|
976.67/130.61	c (126,0) c | SolvingTime   |                 |  125.5     |  125.5     |  125.5     |  125.5     |  125.5     |  125.5     |  125.5     |  125.5     |
976.67/130.61	c (126,0) c | PropagationTim|                 |  107.1  85%|  108.3  86%|   95.8  76%|   96.7  77%|  103.5  82%|  102.0  81%|   99.4  79%|  108.4  86%|
976.67/130.61	c (126,0) c | AnalysisTime  |                 |   13.3  11%|   11.8   9%|   24.6  20%|   23.7  19%|   16.7  13%|   18.3  15%|   21.0  17%|   11.9  10%|
976.67/130.61	c (126,0) c | ReductionTime |                 |    1.7   1%|    1.8   1%|    1.7   1%|    1.7   1%|    1.8   1%|    1.7   1%|    1.7   1%|    1.7   1%|
976.67/130.61	c (126,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%|
976.67/130.61	c (126,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%|
976.67/130.61	c (126,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%|
976.67/130.61	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.61	c (126,0) c
976.67/130.61	c (126,0) c
976.67/130.61	c (126,0) c Threads : 8
976.67/130.61	c (126,0) c Winner : 3
976.67/130.61	c (126,0) c Conflicts_0 : 882813
976.67/130.61	c (126,0) c Conflicts_1 : 875840
976.67/130.61	c (126,0) c Conflicts_2 : 873629
976.67/130.61	c (126,0) c Conflicts_3 : 873431
976.67/130.61	c (126,0) c Conflicts_4 : 873489
976.67/130.61	c (126,0) c Conflicts_5 : 870680
976.67/130.61	c (126,0) c Conflicts_6 : 869588
976.67/130.61	c (126,0) c Conflicts_7 : 872123
976.67/130.61	c (126,0) c Conflicts_total : 6991593
976.67/130.61	c (126,0) c Conflicts_winner : 873431
976.67/130.61	c (126,0) c Decisions_0 : 2372316
976.67/130.61	c (126,0) c Decisions_1 : 2343245
976.67/130.61	c (126,0) c Decisions_2 : 2353724
976.67/130.61	c (126,0) c Decisions_3 : 2309522
976.67/130.61	c (126,0) c Decisions_4 : 2331553
976.67/130.61	c (126,0) c Decisions_5 : 2332042
976.67/130.61	c (126,0) c Decisions_6 : 2292694
976.67/130.61	c (126,0) c Decisions_7 : 2317887
976.67/130.61	c (126,0) c Decisions_total : 18652983
976.67/130.61	c (126,0) c Decisions_winner : 2309522
976.67/130.61	c (126,0) c Propagations_0 : 117782266
976.67/130.61	c (126,0) c Propagations_1 : 117280473
976.67/130.61	c (126,0) c Propagations_2 : 117437297
976.67/130.61	c (126,0) c Propagations_3 : 118414238
976.67/130.61	c (126,0) c Propagations_4 : 116895598
976.67/130.61	c (126,0) c Propagations_5 : 117006693
976.67/130.61	c (126,0) c Propagations_6 : 117355581
976.67/130.61	c (126,0) c Propagations_7 : 117860747
976.67/130.61	c (126,0) c Propagations_total : 940032893
976.67/130.61	c (126,0) c Propagations_winner : 118414238
976.67/130.61	c (126,0) c ReduceDBs_0 : 25
976.67/130.61	c (126,0) c ReduceDBs_1 : 25
976.67/130.61	c (126,0) c ReduceDBs_2 : 25
976.67/130.61	c (126,0) c ReduceDBs_3 : 25
976.67/130.61	c (126,0) c ReduceDBs_4 : 25
976.67/130.61	c (126,0) c ReduceDBs_5 : 25
976.67/130.61	c (126,0) c ReduceDBs_6 : 25
976.67/130.61	c (126,0) c ReduceDBs_7 : 25
976.67/130.61	c (126,0) c ReduceDBs_total : 200
976.67/130.61	c (126,0) c ReduceDBs_winner : 25
976.67/130.61	c (126,0) c SimpDBs_0 : 1
976.67/130.61	c (126,0) c SimpDBs_1 : 1
976.67/130.61	c (126,0) c SimpDBs_2 : 1
976.67/130.61	c (126,0) c SimpDBs_3 : 1
976.67/130.62	c (126,0) c SimpDBs_4 : 1
976.67/130.62	c (126,0) c SimpDBs_5 : 1
976.67/130.62	c (126,0) c SimpDBs_6 : 1
976.67/130.62	c (126,0) c SimpDBs_7 : 1
976.67/130.62	c (126,0) c SimpDBs_total : 8
976.67/130.62	c (126,0) c SimpDBs_winner : 1
976.67/130.62	c (126,0) c Restarts_0 : 3233
976.67/130.62	c (126,0) c Restarts_1 : 3190
976.67/130.62	c (126,0) c Restarts_2 : 3275
976.67/130.62	c (126,0) c Restarts_3 : 3058
976.67/130.62	c (126,0) c Restarts_4 : 3214
976.67/130.62	c (126,0) c Restarts_5 : 3301
976.67/130.62	c (126,0) c Restarts_6 : 3199
976.67/130.62	c (126,0) c Restarts_7 : 3301
976.67/130.62	c (126,0) c Restarts_total : 25771
976.67/130.62	c (126,0) c Restarts_winner : 3058
976.67/130.62	c (126,0) c ForcedImports_0 : 0
976.67/130.62	c (126,0) c ForcedImports_1 : 0
976.67/130.62	c (126,0) c ForcedImports_2 : 0
976.67/130.62	c (126,0) c ForcedImports_3 : 0
976.67/130.62	c (126,0) c ForcedImports_4 : 0
976.67/130.62	c (126,0) c ForcedImports_5 : 0
976.67/130.62	c (126,0) c ForcedImports_6 : 0
976.67/130.62	c (126,0) c ForcedImports_7 : 0
976.67/130.62	c (126,0) c ForcedImports_total : 0
976.67/130.62	c (126,0) c ForcedImports_winner : 0
976.67/130.62	c (126,0) c PropsBinClauses_0 : 125238533
976.67/130.62	c (126,0) c PropsBinClauses_1 : 125136167
976.67/130.62	c (126,0) c PropsBinClauses_2 : 125334054
976.67/130.62	c (126,0) c PropsBinClauses_3 : 126347112
976.67/130.62	c (126,0) c PropsBinClauses_4 : 124825732
976.67/130.62	c (126,0) c PropsBinClauses_5 : 125103287
976.67/130.62	c (126,0) c PropsBinClauses_6 : 125980647
976.67/130.62	c (126,0) c PropsBinClauses_7 : 126288126
976.67/130.62	c (126,0) c PropsBinClauses_total : 1004253658
976.67/130.62	c (126,0) c PropsBinClauses_winner : 126347112
976.67/130.62	c (126,0) c PropsPreBlocker_0 : 5066646077
976.67/130.62	c (126,0) c PropsPreBlocker_1 : 5047044484
976.67/130.62	c (126,0) c PropsPreBlocker_2 : 5010401213
976.67/130.62	c (126,0) c PropsPreBlocker_3 : 5023574438
976.67/130.62	c (126,0) c PropsPreBlocker_4 : 5055162614
976.67/130.62	c (126,0) c PropsPreBlocker_5 : 5045222835
976.67/130.62	c (126,0) c PropsPreBlocker_6 : 5055462596
976.67/130.62	c (126,0) c PropsPreBlocker_7 : 5074580689
976.67/130.62	c (126,0) c PropsPreBlocker_total : 40378094946
976.67/130.62	c (126,0) c PropsPreBlocker_winner : 5023574438
976.67/130.62	c (126,0) c PropsNotBlocker_0 : 829297029
976.67/130.62	c (126,0) c PropsNotBlocker_1 : 826457168
976.67/130.62	c (126,0) c PropsNotBlocker_2 : 816170615
976.67/130.62	c (126,0) c PropsNotBlocker_3 : 799210145
976.67/130.62	c (126,0) c PropsNotBlocker_4 : 829611398
976.67/130.62	c (126,0) c PropsNotBlocker_5 : 834355026
976.67/130.62	c (126,0) c PropsNotBlocker_6 : 818673593
976.67/130.62	c (126,0) c PropsNotBlocker_7 : 821214385
976.67/130.62	c (126,0) c PropsNotBlocker_total : 6574989359
976.67/130.62	c (126,0) c PropsNotBlocker_winner : 799210145
976.67/130.62	c (126,0) c PropsLitFullScans_0 : 7734411077
976.67/130.62	c (126,0) c PropsLitFullScans_1 : 7724619778
976.67/130.62	c (126,0) c PropsLitFullScans_2 : 7661013394
976.67/130.62	c (126,0) c PropsLitFullScans_3 : 7621783919
976.67/130.62	c (126,0) c PropsLitFullScans_4 : 7731236559
976.67/130.62	c (126,0) c PropsLitFullScans_5 : 7728406910
976.67/130.62	c (126,0) c PropsLitFullScans_6 : 7711061152
976.67/130.62	c (126,0) c PropsLitFullScans_7 : 7740391778
976.67/130.62	c (126,0) c PropsLitFullScans_total : 61652924567
976.67/130.62	c (126,0) c PropsLitFullScans_winner : 7621783919
976.67/130.62	c (126,0) c LitScanFractions_0 : 403991
976.67/130.62	c (126,0) c LitScanFractions_1 : 379927
976.67/130.62	c (126,0) c LitScanFractions_2 : 388364
976.67/130.62	c (126,0) c LitScanFractions_3 : 365459
976.67/130.62	c (126,0) c LitScanFractions_4 : 400683
976.67/130.62	c (126,0) c LitScanFractions_5 : 390564
976.67/130.62	c (126,0) c LitScanFractions_6 : 383373
976.67/130.62	c (126,0) c LitScanFractions_7 : 387066
976.67/130.62	c (126,0) c LitScanFractions_total : 3099427
976.67/130.62	c (126,0) c LitScanFractions_winner : 365459
976.67/130.62	c (126,0) c DecisionLevel0_0 : 3233
976.67/130.62	c (126,0) c DecisionLevel0_1 : 3190
976.67/130.62	c (126,0) c DecisionLevel0_2 : 3275
976.67/130.62	c (126,0) c DecisionLevel0_3 : 3058
976.67/130.62	c (126,0) c DecisionLevel0_4 : 3214
976.67/130.62	c (126,0) c DecisionLevel0_5 : 3301
976.67/130.62	c (126,0) c DecisionLevel0_6 : 3199
976.67/130.62	c (126,0) c DecisionLevel0_7 : 3301
976.67/130.62	c (126,0) c DecisionLevel0_total : 25771
976.67/130.62	c (126,0) c DecisionLevel0_winner : 3058
976.67/130.62	c (126,0) c Periods_0 : 1289
976.67/130.62	c (126,0) c Periods_1 : 1287
976.67/130.62	c (126,0) c Periods_2 : 1276
976.67/130.62	c (126,0) c Periods_3 : 1270
976.67/130.62	c (126,0) c Periods_4 : 1288
976.67/130.62	c (126,0) c Periods_5 : 1288
976.67/130.62	c (126,0) c Periods_6 : 1285
976.67/130.62	c (126,0) c Periods_7 : 1290
976.67/130.62	c (126,0) c Periods_total : 10273
976.67/130.62	c (126,0) c Periods_winner : 1270
976.67/130.62	c (126,0) c Margin_0 : 20
976.67/130.62	c (126,0) c Margin_1 : 20
976.67/130.62	c (126,0) c Margin_2 : 20
976.67/130.62	c (126,0) c Margin_3 : 20
976.67/130.62	c (126,0) c Margin_4 : 20
976.67/130.62	c (126,0) c Margin_5 : 20
976.67/130.62	c (126,0) c Margin_6 : 20
976.67/130.62	c (126,0) c Margin_7 : 20
976.67/130.62	c (126,0) c Margin_total : 160
976.67/130.62	c (126,0) c Margin_winner : 20
976.67/130.62	c (126,0) c Exported_0 : 91713
976.67/130.62	c (126,0) c Exported_1 : 92771
976.67/130.62	c (126,0) c Exported_2 : 92478
976.67/130.62	c (126,0) c Exported_3 : 93200
976.67/130.62	c (126,0) c Exported_4 : 92328
976.67/130.62	c (126,0) c Exported_5 : 90790
976.67/130.62	c (126,0) c Exported_6 : 93501
976.67/130.62	c (126,0) c Exported_7 : 91204
976.67/130.62	c (126,0) c Exported_total : 737985
976.67/130.62	c (126,0) c Exported_winner : 93200
976.67/130.62	c (126,0) c Imported_0 : 641380
976.67/130.62	c (126,0) c Imported_1 : 639879
976.67/130.62	c (126,0) c Imported_2 : 635838
976.67/130.62	c (126,0) c Imported_3 : 632952
976.67/130.62	c (126,0) c Imported_4 : 640654
976.67/130.62	c (126,0) c Imported_5 : 641591
976.67/130.62	c (126,0) c Imported_6 : 638104
976.67/130.62	c (126,0) c Imported_7 : 642265
976.67/130.62	c (126,0) c Imported_total : 5112663
976.67/130.62	c (126,0) c Imported_winner : 632952
976.67/130.62	c (126,0) c Good_0 : 20
976.67/130.62	c (126,0) c Good_1 : 19
976.67/130.62	c (126,0) c Good_2 : 18
976.67/130.62	c (126,0) c Good_3 : 19
976.67/130.62	c (126,0) c Good_4 : 16
976.67/130.62	c (126,0) c Good_5 : 14
976.67/130.62	c (126,0) c Good_6 : 20
976.67/130.62	c (126,0) c Good_7 : 21
976.67/130.62	c (126,0) c Good_total : 147
976.67/130.62	c (126,0) c Good_winner : 19
976.67/130.62	c (126,0) c Purge_0 : 641360
976.67/130.62	c (126,0) c Purge_1 : 639860
976.67/130.62	c (126,0) c Purge_2 : 635820
976.67/130.62	c (126,0) c Purge_3 : 632933
976.67/130.62	c (126,0) c Purge_4 : 640638
976.67/130.62	c (126,0) c Purge_5 : 641577
976.67/130.62	c (126,0) c Purge_6 : 638084
976.67/130.62	c (126,0) c Purge_7 : 642244
976.67/130.62	c (126,0) c Purge_total : 5112516
976.67/130.62	c (126,0) c Purge_winner : 632933
976.67/130.62	c (126,0) c Promoted_0 : 46343
976.67/130.62	c (126,0) c Promoted_1 : 46196
976.67/130.62	c (126,0) c Promoted_2 : 45122
976.67/130.62	c (126,0) c Promoted_3 : 44770
976.67/130.62	c (126,0) c Promoted_4 : 46483
976.67/130.62	c (126,0) c Promoted_5 : 46134
976.67/130.62	c (126,0) c Promoted_6 : 45523
976.67/130.62	c (126,0) c Promoted_7 : 45950
976.67/130.62	c (126,0) c Promoted_total : 366521
976.67/130.62	c (126,0) c Promoted_winner : 44770
976.67/130.62	c (126,0) c Remove_Imp_0 : 485233
976.67/130.62	c (126,0) c Remove_Imp_1 : 487407
976.67/130.62	c (126,0) c Remove_Imp_2 : 485983
976.67/130.62	c (126,0) c Remove_Imp_3 : 483642
976.67/130.62	c (126,0) c Remove_Imp_4 : 489785
976.67/130.62	c (126,0) c Remove_Imp_5 : 492937
976.67/130.62	c (126,0) c Remove_Imp_6 : 490031
976.67/130.62	c (126,0) c Remove_Imp_7 : 492544
976.67/130.62	c (126,0) c Remove_Imp_total : 3907562
976.67/130.62	c (126,0) c Remove_Imp_winner : 483642
976.67/130.62	c (126,0) c Blocked_Reuse_0 : 0
976.67/130.62	c (126,0) c Blocked_Reuse_1 : 0
976.67/130.62	c (126,0) c Blocked_Reuse_2 : 0
976.67/130.62	c (126,0) c Blocked_Reuse_3 : 0
976.67/130.62	c (126,0) c Blocked_Reuse_4 : 0
976.67/130.62	c (126,0) c Blocked_Reuse_5 : 0
976.67/130.62	c (126,0) c Blocked_Reuse_6 : 0
976.67/130.62	c (126,0) c Blocked_Reuse_7 : 0
976.67/130.62	c (126,0) c Blocked_Reuse_total : 0
976.67/130.62	c (126,0) c Blocked_Reuse_winner : 0
976.67/130.62	c (126,0) c Unaries_0 : 0
976.67/130.62	c (126,0) c Unaries_1 : 0
976.67/130.62	c (126,0) c Unaries_2 : 0
976.67/130.62	c (126,0) c Unaries_3 : 0
976.67/130.62	c (126,0) c Unaries_4 : 0
976.67/130.62	c (126,0) c Unaries_5 : 0
976.67/130.62	c (126,0) c Unaries_6 : 0
976.67/130.62	c (126,0) c Unaries_7 : 0
976.67/130.62	c (126,0) c Unaries_total : 0
976.67/130.62	c (126,0) c Unaries_winner : 0
976.67/130.62	c (126,0) c Binaries_0 : 1
976.67/130.62	c (126,0) c Binaries_1 : 2
976.67/130.62	c (126,0) c Binaries_2 : 3
976.67/130.62	c (126,0) c Binaries_3 : 2
976.67/130.62	c (126,0) c Binaries_4 : 5
976.67/130.62	c (126,0) c Binaries_5 : 7
976.67/130.62	c (126,0) c Binaries_6 : 1
976.67/130.62	c (126,0) c Binaries_7 : 0
976.67/130.62	c (126,0) c Binaries_total : 21
976.67/130.62	c (126,0) c Binaries_winner : 2
976.67/130.62	c (126,0) c Glues_0 : 154
976.67/130.62	c (126,0) c Glues_1 : 143
976.67/130.62	c (126,0) c Glues_2 : 131
976.67/130.62	c (126,0) c Glues_3 : 135
976.67/130.62	c (126,0) c Glues_4 : 125
976.67/130.62	c (126,0) c Glues_5 : 122
976.67/130.62	c (126,0) c Glues_6 : 120
976.67/130.62	c (126,0) c Glues_7 : 114
976.67/130.62	c (126,0) c Glues_total : 1044
976.67/130.62	c (126,0) c Glues_winner : 135
976.67/130.62	c (126,0) c RunningTime_0 : 118.550315
976.67/130.62	c (126,0) c RunningTime_1 : 119.193504
976.67/130.62	c (126,0) c RunningTime_2 : 124.958868
976.67/130.62	c (126,0) c RunningTime_3 : 124.192744
976.67/130.62	c (126,0) c RunningTime_4 : 119.535031
976.67/130.62	c (126,0) c RunningTime_5 : 122.751122
976.67/130.62	c (126,0) c RunningTime_6 : 122.829449
976.67/130.62	c (126,0) c RunningTime_7 : 116.027431
976.67/130.62	c (126,0) c RunningTime_total : 968.038464
976.67/130.62	c (126,0) c RunningTime_winner : 124.192744
976.67/130.62	c (126,0) c WaitingTime_0 : 6.652108
976.67/130.62	c (126,0) c WaitingTime_1 : 5.984714
976.67/130.62	c (126,0) c WaitingTime_2 : 0.284909
976.67/130.62	c (126,0) c WaitingTime_3 : 1.002532
976.67/130.62	c (126,0) c WaitingTime_4 : 5.672213
976.67/130.62	c (126,0) c WaitingTime_5 : 2.457435
976.67/130.62	c (126,0) c WaitingTime_6 : 2.367584
976.67/130.62	c (126,0) c WaitingTime_7 : 9.168554
976.67/130.62	c (126,0) c WaitingTime_total : 33.590049
976.67/130.62	c (126,0) c WaitingTime_winner : 1.002532
976.67/130.62	c (126,0) c ExchangingTime_0 : 0.252728
976.67/130.62	c (126,0) c ExchangingTime_1 : 0.268835
976.67/130.62	c (126,0) c ExchangingTime_2 : 0.245362
976.67/130.62	c (126,0) c ExchangingTime_3 : 0.251660
976.67/130.62	c (126,0) c ExchangingTime_4 : 0.249619
976.67/130.62	c (126,0) c ExchangingTime_5 : 0.256371
976.67/130.62	c (126,0) c ExchangingTime_6 : 0.253188
976.67/130.62	c (126,0) c ExchangingTime_7 : 0.266594
976.67/130.62	c (126,0) c ExchangingTime_total : 2.044357
976.67/130.62	c (126,0) c ExchangingTime_winner : 0.251660
976.67/130.62	c (126,0) c PeriodProcTime_0 : 0.010255
976.67/130.62	c (126,0) c PeriodProcTime_1 : 0.010782
976.67/130.62	c (126,0) c PeriodProcTime_2 : 0.010948
976.67/130.62	c (126,0) c PeriodProcTime_3 : 0.011020
976.67/130.62	c (126,0) c PeriodProcTime_4 : 0.010497
976.67/130.62	c (126,0) c PeriodProcTime_5 : 0.013217
976.67/130.62	c (126,0) c PeriodProcTime_6 : 0.010138
976.67/130.62	c (126,0) c PeriodProcTime_7 : 0.011086
976.67/130.62	c (126,0) c PeriodProcTime_total : 0.087943
976.67/130.62	c (126,0) c PeriodProcTime_winner : 0.011020
976.67/130.62	c (126,0) c SolvingTime_0 : 125.465406
976.67/130.62	c (126,0) c SolvingTime_1 : 125.457834
976.67/130.62	c (126,0) c SolvingTime_2 : 125.500087
976.67/130.62	c (126,0) c SolvingTime_3 : 125.457956
976.67/130.62	c (126,0) c SolvingTime_4 : 125.467360
976.67/130.62	c (126,0) c SolvingTime_5 : 125.478146
976.67/130.62	c (126,0) c SolvingTime_6 : 125.460360
976.67/130.62	c (126,0) c SolvingTime_7 : 125.473665
976.67/130.62	c (126,0) c SolvingTime_total : 1003.760812
976.67/130.62	c (126,0) c SolvingTime_winner : 125.457956
976.67/130.62	c (126,0) c PropagationTime_0 : 107.054492
976.67/130.62	c (126,0) c PropagationTime_1 : 108.318960
976.67/130.62	c (126,0) c PropagationTime_2 : 95.817415
976.67/130.62	c (126,0) c PropagationTime_3 : 96.708504
976.67/130.62	c (126,0) c PropagationTime_4 : 103.499609
976.67/130.62	c (126,0) c PropagationTime_5 : 101.984622
976.67/130.62	c (126,0) c PropagationTime_6 : 99.367358
976.67/130.62	c (126,0) c PropagationTime_7 : 108.429095
976.67/130.62	c (126,0) c PropagationTime_total : 821.180056
976.67/130.62	c (126,0) c PropagationTime_winner : 96.708504
976.67/130.62	c (126,0) c AnalysisTime_0 : 13.328220
976.67/130.62	c (126,0) c AnalysisTime_1 : 11.804572
976.67/130.62	c (126,0) c AnalysisTime_2 : 24.586688
976.67/130.62	c (126,0) c AnalysisTime_3 : 23.733530
976.67/130.62	c (126,0) c AnalysisTime_4 : 16.732247
976.67/130.62	c (126,0) c AnalysisTime_5 : 18.278344
976.67/130.62	c (126,0) c AnalysisTime_6 : 20.969879
976.67/130.62	c (126,0) c AnalysisTime_7 : 11.927465
976.67/130.62	c (126,0) c AnalysisTime_total : 141.360947
976.67/130.62	c (126,0) c AnalysisTime_winner : 23.733530
976.67/130.62	c (126,0) c ReductionTime_0 : 1.667544
976.67/130.62	c (126,0) c ReductionTime_1 : 1.832548
976.67/130.62	c (126,0) c ReductionTime_2 : 1.715803
976.67/130.62	c (126,0) c ReductionTime_3 : 1.662331
976.67/130.62	c (126,0) c ReductionTime_4 : 1.782089
976.67/130.62	c (126,0) c ReductionTime_5 : 1.738055
976.67/130.62	c (126,0) c ReductionTime_6 : 1.748878
976.67/130.62	c (126,0) c ReductionTime_7 : 1.671233
976.67/130.62	c (126,0) c ReductionTime_total : 13.818480
976.67/130.62	c (126,0) c ReductionTime_winner : 1.662331
976.67/130.62	c (126,0) c SimplifyTime_0 : 0.000320
976.67/130.62	c (126,0) c SimplifyTime_1 : 0.000335
976.67/130.62	c (126,0) c SimplifyTime_2 : 0.000276
976.67/130.62	c (126,0) c SimplifyTime_3 : 0.000276
976.67/130.62	c (126,0) c SimplifyTime_4 : 0.000308
976.67/130.62	c (126,0) c SimplifyTime_5 : 0.000311
976.67/130.62	c (126,0) c SimplifyTime_6 : 0.000256
976.67/130.62	c (126,0) c SimplifyTime_7 : 0.000322
976.67/130.62	c (126,0) c SimplifyTime_total : 0.002405
976.67/130.62	c (126,0) c SimplifyTime_winner : 0.000276
976.67/130.62	c (126,0) c UsedRateTime_0 : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_1 : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_2 : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_3 : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_4 : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_5 : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_6 : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_7 : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_total : 0.000000
976.67/130.62	c (126,0) c UsedRateTime_winner : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_0 : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_1 : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_2 : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_3 : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_4 : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_5 : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_6 : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_7 : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_total : 0.000000
976.67/130.62	c (126,0) c OverlapRateTime_winner : 0.000000
976.67/130.62	c (126,0) c
976.67/130.62	c (126,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
976.67/130.62	c (126,0) c
976.67/130.62	c (126,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.62	c (126,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
976.67/130.62	c (126,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.62	c (126,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
976.67/130.62	c (126,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
976.67/130.62	c (126,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
976.67/130.62	c (126,0) c | Initial random_seed   | 1671391375 |  777174218 |  641503454 |  577043132 |  234478895 | 1531755413 | 1321389329 |   13013172 |
976.67/130.62	c (126,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
976.67/130.62	c (126,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
976.67/130.62	c (126,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
976.67/130.62	c (126,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
976.67/130.62	c (126,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
976.67/130.62	c (126,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
976.67/130.62	c (126,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
976.67/130.62	c (126,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
976.67/130.62	c (126,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
976.67/130.62	c (126,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
976.67/130.62	c (126,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
976.67/130.62	c (126,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
976.67/130.62	c (126,0) 
976.67/130.63	c (126,0) s SATISFIABLE
976.67/130.64	c (126,0) SatSolver.solve End
976.67/130.64	c (126,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
976.67/130.65	c (126,0) Show results Begin
976.90/130.75	c (126,0) h[0] = 6
976.90/130.75	c (126,0) h[1] = 2
976.90/130.75	c (126,0) h[2] = 7
976.90/130.75	c (126,0) h[3] = 4
976.90/130.75	c (126,0) h[4] = 1
976.90/130.75	c (126,0) h[5] = 7
976.90/130.75	c (126,0) h[6] = 11
976.90/130.75	c (126,0) h[7] = 6
976.90/130.75	c (126,0) h[8] = 2
976.90/130.75	c (126,0) h[9] = 6
976.90/130.75	c (126,0) h[10] = 10
976.90/130.75	c (126,0) h[11] = 5
976.90/130.75	c (126,0) h[12] = 2
976.90/130.75	c (126,0) h[13] = 5
976.90/130.75	c (126,0) h[14] = 2
976.90/130.75	c (126,0) h[15] = 12
976.90/130.75	c (126,0) h[16] = 7
976.90/130.75	c (126,0) h[17] = 3
976.90/130.75	c (126,0) h[18] = 6
976.90/130.75	c (126,0) h[19] = 9
976.90/130.75	c (126,0) h[20] = 1
976.90/130.75	c (126,0) h[21] = 10
976.90/130.75	c (126,0) h[22] = 6
976.90/130.75	c (126,0) h[23] = 9
976.90/130.75	c (126,0) h[24] = 1
976.90/130.75	c (126,0) h[25] = 5
976.90/130.77	c (126,0) h[26] = 5
976.90/130.77	c (126,0) h[27] = 25
976.90/130.77	c (126,0) h[28] = 5
976.90/130.77	c (126,0) r[0] = 0
976.90/130.77	c (126,0) r[1] = 0
976.90/130.77	c (126,0) r[2] = 1
976.90/130.77	c (126,0) r[3] = 0
976.90/130.77	c (126,0) r[4] = 1
976.90/130.77	c (126,0) r[5] = 0
976.90/130.77	c (126,0) r[6] = 0
976.90/130.77	c (126,0) r[7] = 0
976.90/130.77	c (126,0) r[8] = 0
976.90/130.77	c (126,0) r[9] = 0
976.90/130.77	c (126,0) r[10] = 0
976.90/130.77	c (126,0) r[11] = 1
976.90/130.77	c (126,0) r[12] = 1
976.90/130.77	c (126,0) r[13] = 1
976.90/130.77	c (126,0) r[14] = 1
976.90/130.77	c (126,0) r[15] = 1
976.90/130.77	c (126,0) r[16] = 0
976.90/130.77	c (126,0) r[17] = 0
976.90/130.77	c (126,0) r[18] = 0
976.90/130.77	c (126,0) r[19] = 0
976.90/130.77	c (126,0) r[20] = 0
976.90/130.77	c (126,0) r[21] = 1
976.90/130.77	c (126,0) r[22] = 0
976.90/130.77	c (126,0) r[23] = 0
976.90/130.77	c (126,0) r[24] = 1
976.90/130.77	c (126,0) r[25] = 1
976.90/130.77	c (126,0) r[26] = 1
976.90/130.77	c (126,0) r[27] = 1
976.90/130.77	c (126,0) r[28] = 0
976.90/130.77	c (126,0) w[0] = 18
976.90/130.77	c (126,0) w[1] = 12
976.90/130.77	c (126,0) w[2] = 10
976.90/130.77	c (126,0) w[3] = 23
976.90/130.77	c (126,0) w[4] = 4
976.90/130.77	c (126,0) w[5] = 7
976.90/130.77	c (126,0) w[6] = 4
976.90/130.77	c (126,0) w[7] = 5
976.90/130.77	c (126,0) w[8] = 7
976.90/130.77	c (126,0) w[9] = 11
976.90/130.77	c (126,0) w[10] = 19
976.90/130.77	c (126,0) w[11] = 11
976.90/130.77	c (126,0) w[12] = 4
976.90/130.77	c (126,0) w[13] = 7
976.90/130.77	c (126,0) w[14] = 4
976.90/130.77	c (126,0) w[15] = 7
976.90/130.77	c (126,0) w[16] = 13
976.90/130.77	c (126,0) w[17] = 6
976.90/130.77	c (126,0) w[18] = 10
976.90/130.77	c (126,0) w[19] = 16
976.90/130.77	c (126,0) w[20] = 4
976.90/130.77	c (126,0) w[21] = 4
976.90/130.77	c (126,0) w[22] = 24
976.90/130.77	c (126,0) w[23] = 9
976.90/130.77	c (126,0) w[24] = 2
976.90/130.77	c (126,0) w[25] = 8
976.90/130.77	c (126,0) w[26] = 3
976.90/130.77	c (126,0) w[27] = 7
976.90/130.77	c (126,0) w[28] = 21
976.90/130.77	c (126,0) x[0] = 7
976.90/130.77	c (126,0) x[1] = 18
976.90/130.77	c (126,0) x[2] = 7
976.90/130.77	c (126,0) x[3] = 30
976.90/130.77	c (126,0) x[4] = 30
976.90/130.77	c (126,0) x[5] = 0
976.90/130.77	c (126,0) x[6] = 0
976.90/130.77	c (126,0) x[7] = 25
976.90/130.77	c (126,0) x[8] = 11
976.90/130.77	c (126,0) x[9] = 38
976.90/130.77	c (126,0) x[10] = 34
976.90/130.77	c (126,0) x[11] = 49
976.90/130.77	c (126,0) x[12] = 34
976.90/130.77	c (126,0) x[13] = 46
976.90/130.77	c (126,0) x[14] = 7
976.90/130.77	c (126,0) x[15] = 0
976.90/130.77	c (126,0) x[16] = 17
976.90/130.77	c (126,0) x[17] = 32
976.90/130.77	c (126,0) x[18] = 4
976.90/130.77	c (126,0) x[19] = 16
976.90/130.77	c (126,0) x[20] = 49
976.90/130.77	c (126,0) x[21] = 30
976.90/130.77	c (126,0) x[22] = 14
976.90/130.77	c (126,0) x[23] = 7
976.90/130.77	c (126,0) x[24] = 32
976.90/130.77	c (126,0) x[25] = 38
976.90/130.77	c (126,0) x[26] = 4
976.90/130.77	c (126,0) x[27] = 53
976.90/130.77	c (126,0) x[28] = 32
976.90/130.77	c (126,0) y[0] = 15
976.90/130.77	c (126,0) y[1] = 21
976.90/130.77	c (126,0) y[2] = 23
976.90/130.77	c (126,0) y[3] = 26
976.90/130.77	c (126,0) y[4] = 15
976.90/130.77	c (126,0) y[5] = 23
976.90/130.77	c (126,0) y[6] = 0
976.90/130.77	c (126,0) y[7] = 15
976.90/130.77	c (126,0) y[8] = 21
976.90/130.77	c (126,0) y[9] = 0
976.90/130.77	c (126,0) y[10] = 16
976.90/130.77	c (126,0) y[11] = 0
976.90/130.77	c (126,0) y[12] = 14
976.90/130.77	c (126,0) y[13] = 11
976.90/130.77	c (126,0) y[14] = 21
976.90/130.77	c (126,0) y[15] = 11
976.90/130.77	c (126,0) y[16] = 23
976.90/130.77	c (126,0) y[17] = 11
976.90/130.77	c (126,0) y[18] = 0
976.90/130.77	c (126,0) y[19] = 6
976.90/130.77	c (126,0) y[20] = 5
976.90/130.77	c (126,0) y[21] = 16
976.90/130.77	c (126,0) y[22] = 0
976.90/130.77	c (126,0) y[23] = 6
976.90/130.77	c (126,0) y[24] = 14
976.90/130.77	c (126,0) y[25] = 11
976.90/130.77	c (126,0) y[26] = 6
976.90/130.77	c (126,0) y[27] = 5
976.90/130.77	c (126,0) y[28] = 6
976.90/130.77	s SATISFIABLE
976.90/130.77	v <instantiation>
976.90/130.77	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>
976.90/130.77	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>
976.90/130.77	v </instantiation>
976.90/130.77	c (126,0) Show results End
976.90/130.77	c (126,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
976.90/130.77	c (126,0) 126,126,STOP-AFTER(ALL)
976.90/130.77	c END-Prog: Mon Sep 23 13:38:43 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 (10921 MiB free)
  memory of node 1: 16384 MiB (14086 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405343-1569238629/watcher-4405343-1569238629 -o /tmp/evaluation-result-4405343-1569238629/solver-4405343-1569238629 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569238589-7113 --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-4405343-1569238629.xml 

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

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


[startup+0.100141 s]*
/proc/loadavg: 0.00 0.01 0.05 1/192 7133
/proc/meminfo: memFree=25608300/32770624 swapFree=66999676/67108860
[pid=7130] ppid=7127 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7130/stat : 7130 (scop.sh) S 7127 7130 7086 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 500127944 115843072 349 33554432000 4194304 5098028 140732179788640 140732179785896 139761772352124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39190528 140732179796773 140732179797100 140732179797100 140732179800013 0
/proc/7130/statm: 28282 349 296 221 0 87 0
[pid=7133] ppid=7130 vsize=10648 memory=692 CPUtime=0 cores=0-7
/proc/7133/stat : 7133 (java) D 7130 7130 7086 0 -1 1077944320 336 0 0 0 0 0 0 0 20 0 1 0 500127947 10903552 173 33554432000 4194304 4196468 140728407765472 140728407746168 140207852791495 0 0 4102 0 18446744072101613092 0 0 17 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
/proc/7133/statm: 2662 173 140 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 123776 KiB
Current children cumulated memory: 2088 KiB

[startup+0.209251 s]*
/proc/loadavg: 0.00 0.01 0.05 1/193 7134
/proc/meminfo: memFree=25607292/32770624 swapFree=66999676/67108860
[pid=7130] ppid=7127 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7130/stat : 7130 (scop.sh) S 7127 7130 7086 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 500127944 115843072 349 33554432000 4194304 5098028 140732179788640 140732179785896 139761772352124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39190528 140732179796773 140732179797100 140732179797100 140732179800013 0
/proc/7130/statm: 28282 349 296 221 0 87 0
[pid=7133] ppid=7130 vsize=239456 memory=5208 CPUtime=0 cores=0-7
/proc/7133/stat : 7133 (java) S 7130 7130 7086 0 -1 1077944320 1612 0 0 0 0 0 0 0 20 0 2 0 500127947 245202944 1302 33554432000 4194304 4196468 140728407765472 140728407748016 140207850516215 0 0 6 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
/proc/7133/statm: 59864 1302 973 1 0 49322 0
[pid=7133/tid=7134] ppid=7130 vsize=239456 memory=8318255677412212789 CPUtime=0 cores=0-7
/proc/7133/task/7134/stat : 7134 (java) S 7130 7130 7086 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 2 0 500127958 245202944 1302 33554432000 4194304 4196468 140728407765472 140207822357904 140207843212797 0 0 6 16784584 18446744071581020693 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 352584 KiB
Current children cumulated memory: 6604 KiB

[startup+0.30931 s]*
/proc/loadavg: 0.00 0.01 0.05 2/193 7134
/proc/meminfo: memFree=25588216/32770624 swapFree=66999676/67108860
[pid=7130] ppid=7127 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7130/stat : 7130 (scop.sh) S 7127 7130 7086 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 500127944 115843072 349 33554432000 4194304 5098028 140732179788640 140732179785896 139761772352124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39190528 140732179796773 140732179797100 140732179797100 140732179800013 0
/proc/7130/statm: 28282 349 296 221 0 87 0
[pid=7133] ppid=7130 vsize=23635016 memory=62740 CPUtime=0.01 cores=0-7
/proc/7133/stat : 7133 (java) S 7130 7130 7086 0 -1 1077944320 3251 0 0 0 0 1 0 0 20 0 2 0 500127947 24202256384 15173 33554432000 4194304 4196468 140728407765472 140728407748016 140207850516215 0 0 6 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
/proc/7133/statm: 5908754 15173 1180 1 0 5897665 0
[pid=7133/tid=7134] ppid=7130 vsize=23635016 memory=1398722017469774279 CPUtime=0.01 cores=0-7
/proc/7133/task/7134/stat : 7134 (java) R 7130 7130 7086 0 -1 4202560 1950 0 0 0 0 1 0 0 20 0 2 0 500127958 24202256384 16709 33554432000 4194304 4196468 140728407765472 140207822358944 140207842805664 0 4 6 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23748144 KiB
Current children cumulated memory: 64136 KiB

[startup+0.700936 s]
/proc/loadavg: 0.00 0.01 0.05 1/204 7145
/proc/meminfo: memFree=25519316/32770624 swapFree=66999676/67108860
[pid=7130] ppid=7127 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7130/stat : 7130 (scop.sh) S 7127 7130 7086 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 500127944 115843072 349 33554432000 4194304 5098028 140732179788640 140732179785896 139761772352124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39190528 140732179796773 140732179797100 140732179797100 140732179800013 0
/proc/7130/statm: 28282 349 296 221 0 87 0
[pid=7133] ppid=7130 vsize=27314120 memory=110272 CPUtime=0.12 cores=0-7
/proc/7133/stat : 7133 (java) S 7130 7130 7086 0 -1 1077944320 6602 0 0 0 10 2 0 0 20 0 20 0 500127947 27969658880 27568 33554432000 4194304 4196468 140728407765472 140728407748016 140207850516215 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
/proc/7133/statm: 6828530 27568 2823 1 0 6790935 0
[pid=7133/tid=7134] ppid=7130 vsize=27314120 memory=409 CPUtime=0.1 cores=0-7
/proc/7133/task/7134/stat : 7134 (java) R 7130 7130 7086 0 -1 4202560 4652 0 0 0 8 2 0 0 20 0 20 0 500127958 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207822330728 140207850528150 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7135] ppid=7130 vsize=27314120 memory=335 CPUtime=0 cores=0-7
/proc/7133/task/7135/stat : 7135 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207854758416 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7136] ppid=7130 vsize=27314120 memory=1177 CPUtime=0 cores=0-7
/proc/7133/task/7136/stat : 7136 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207668914832 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7137] ppid=7130 vsize=27314120 memory=2530 CPUtime=0 cores=0-7
/proc/7133/task/7137/stat : 7137 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500127977 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207667861776 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7138] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7138/stat : 7138 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207666809232 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7139] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7139/stat : 7139 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500127977 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207665757200 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7140] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7140/stat : 7140 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207268199568 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7141] ppid=7130 vsize=27314120 memory=4580 CPUtime=0 cores=0-7
/proc/7133/task/7141/stat : 7141 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207267146512 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7142] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7142/stat : 7142 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27969658880 27568 33554432000 4194304 4196468 140728407765472 140207266093968 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7143] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7143/stat : 7143 (java) S 7130 7130 7086 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500127979 27969658880 27568 33554432000 4194304 4196468 140728407765472 140205902252272 140207850527362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7144] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7144/stat : 7144 (java) S 7130 7130 7086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500127979 27969658880 27568 33554432000 4194304 4196468 140728407765472 140205784818848 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7145] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7145/stat : 7145 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127980 27969658880 27568 33554432000 4194304 4196468 140728407765472 140205516382960 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7146] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7146/stat : 7146 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127996 27969658880 27568 33554432000 4194304 4196468 140728407765472 140205141874640 140207850534811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7147] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7147/stat : 7147 (java) S 7130 7130 7086 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 500127996 27969658880 27568 33554432000 4194304 4196468 140728407765472 140205901200112 140207850527362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7148] ppid=7130 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7148/stat : 7148 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127996 27969658880 27568 33554432000 4194304 4196468 140728407765472 140205900147568 140207850527362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7149] ppid=7130 vsize=27314120 memory=55 CPUtime=0 cores=0-7
/proc/7133/task/7149/stat : 7149 (java) S 7130 7130 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500127996 27969658880 27568 33554432000 4194304 4196468 140728407765472 140205899094512 140207850527362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7150] ppid=7130 vsize=27314120 memory=281185201023056 CPUtime=0.01 cores=0-7
/proc/7133/task/7150/stat : 7150 (java) R 7130 7130 7086 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 20 0 500127996 27969658880 27568 33554432000 4194304 4196468 140728407765472 140205898038776 140207829146673 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7151] ppid=7130 vsize=27314120 memory=7306916055891837009 CPUtime=0 cores=0-7
/proc/7133/task/7151/stat : 7151 (java) S 7130 7130 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500127996 27969658880 27568 33554432000 4194304 4196468 140728407765472 140204643969504 140207850526421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111668 KiB

[startup+1.50089 s]
/proc/loadavg: 0.08 0.03 0.05 2/211 7152
/proc/meminfo: memFree=25489072/32770624 swapFree=66999676/67108860
[pid=7130] ppid=7127 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7130/stat : 7130 (scop.sh) S 7127 7130 7086 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 500127944 115843072 349 33554432000 4194304 5098028 140732179788640 140732179785896 139761772352124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39190528 140732179796773 140732179797100 140732179797100 140732179800013 0
/proc/7130/statm: 28282 349 296 221 0 87 0
[pid=7133] ppid=7130 vsize=27316204 memory=152920 CPUtime=0.74 cores=0-7
/proc/7133/stat : 7133 (java) S 7130 7130 7086 0 -1 1077944320 17823 0 0 0 68 6 0 0 20 0 20 0 500127947 27971792896 38230 33554432000 4194304 4196468 140728407765472 140728407748016 140207850516215 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
/proc/7133/statm: 6829051 38230 3054 1 0 6790935 0
[pid=7133/tid=7134] ppid=7130 vsize=27316204 memory=7019467087923130679 CPUtime=0.54 cores=0-7
/proc/7133/task/7134/stat : 7134 (java) D 7130 7130 7086 0 -1 4202560 15355 0 0 0 49 5 0 0 20 0 20 0 500127958 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207822351232 140207850538141 0 4 2 25189581 18446744071580419588 0 0 -1 1 0 0 28 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7135] ppid=7130 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7135/stat : 7135 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207854758416 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7136] ppid=7130 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7136/stat : 7136 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207668914832 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7137] ppid=7130 vsize=27316204 memory=4629541423496072566 CPUtime=0 cores=0-7
/proc/7133/task/7137/stat : 7137 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500127977 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207667861776 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7138] ppid=7130 vsize=27316204 memory=6576565900033959588 CPUtime=0 cores=0-7
/proc/7133/task/7138/stat : 7138 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207666809232 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7139] ppid=7130 vsize=27316204 memory=6459630814397 CPUtime=0 cores=0-7
/proc/7133/task/7139/stat : 7139 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500127977 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207665757200 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7140] ppid=7130 vsize=27316204 memory=33 CPUtime=0 cores=0-7
/proc/7133/task/7140/stat : 7140 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207268199568 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7141] ppid=7130 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7141/stat : 7141 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207267146512 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7142] ppid=7130 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7142/stat : 7142 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27971792896 38230 33554432000 4194304 4196468 140728407765472 140207266093968 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7143] ppid=7130 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7143/stat : 7143 (java) S 7130 7130 7086 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 500127979 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205902252272 140207850527362 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7144] ppid=7130 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7144/stat : 7144 (java) S 7130 7130 7086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500127979 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205784818848 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7145] ppid=7130 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7145/stat : 7145 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127980 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205516382960 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7146] ppid=7130 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7146/stat : 7146 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127996 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205141874640 140207850534811 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7147] ppid=7130 vsize=27316204 memory=0 CPUtime=0.03 cores=0-7
/proc/7133/task/7147/stat : 7147 (java) S 7130 7130 7086 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 20 0 500127996 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205901200112 140207850527362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7148] ppid=7130 vsize=27316204 memory=7813012440528676944 CPUtime=0.02 cores=0-7
/proc/7133/task/7148/stat : 7148 (java) S 7130 7130 7086 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 20 0 500127996 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205900147568 140207850527362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7149] ppid=7130 vsize=27316204 memory=3580 CPUtime=0.01 cores=0-7
/proc/7133/task/7149/stat : 7149 (java) S 7130 7130 7086 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 500127996 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205899094512 140207850527362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7150] ppid=7130 vsize=27316204 memory=60096 CPUtime=0.11 cores=0-7
/proc/7133/task/7150/stat : 7150 (java) S 7130 7130 7086 0 -1 1077944384 492 0 0 0 11 0 0 0 20 0 20 0 500127996 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205898041968 140207850527362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7151] ppid=7130 vsize=27316204 memory=988 CPUtime=0 cores=0-7
/proc/7133/task/7151/stat : 7151 (java) S 7130 7130 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500127996 27971792896 38230 33554432000 4194304 4196468 140728407765472 140204643969504 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7152] ppid=7130 vsize=27316204 memory=2020 CPUtime=0 cores=0-7
/proc/7133/task/7152/stat : 7152 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500128003 27971792896 38230 33554432000 4194304 4196468 140728407765472 140205896989360 140207850527362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 27429332 KiB
Current children cumulated memory: 154316 KiB

[startup+3.11781 s]
/proc/loadavg: 0.08 0.03 0.05 6/211 7152
/proc/meminfo: memFree=25354760/32770624 swapFree=66999676/67108860
[pid=7130] ppid=7127 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7130/stat : 7130 (scop.sh) S 7127 7130 7086 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 500127944 115843072 349 33554432000 4194304 5098028 140732179788640 140732179785896 139761772352124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39190528 140732179796773 140732179797100 140732179797100 140732179800013 0
/proc/7130/statm: 28282 349 296 221 0 87 0
[pid=7133] ppid=7130 vsize=27328728 memory=281880 CPUtime=4.63 cores=0-7
/proc/7133/stat : 7133 (java) S 7130 7130 7086 0 -1 1077944320 26691 0 0 0 450 13 0 0 20 0 20 0 500127947 27984617472 70470 33554432000 4194304 4196468 140728407765472 140728407748016 140207850516215 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
/proc/7133/statm: 6832182 70470 3262 1 0 6792983 0
[pid=7133/tid=7134] ppid=7130 vsize=27328728 memory=0 CPUtime=1.85 cores=0-7
/proc/7133/task/7134/stat : 7134 (java) R 7130 7130 7086 0 -1 4202560 19001 0 0 0 177 8 0 0 20 0 20 0 500127958 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207822352408 140207354062216 0 4 2 25189581 0 0 0 -1 7 0 0 49 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7135] ppid=7130 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7135/stat : 7135 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207854758416 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7136] ppid=7130 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7136/stat : 7136 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207668914832 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7137] ppid=7130 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7137/stat : 7137 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500127977 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207667861776 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7138] ppid=7130 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7138/stat : 7138 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207666809232 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7139] ppid=7130 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7139/stat : 7139 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500127977 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207665757200 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7140] ppid=7130 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7140/stat : 7140 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207268199568 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7141] ppid=7130 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7141/stat : 7141 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207267146512 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0
[pid=7133/tid=7142] ppid=7130 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/7133/task/7142/stat : 7142 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500127977 27984617472 70470 33554432000 4194304 4196468 140728407765472 140207266093968 140207850526421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728407773932 140728407774358 140728407774358 140728407777231 0

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

/proc/7153/task/7158/stat : 7158 (java) S 7130 7130 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782672944016 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7159] ppid=7130 vsize=8414124 memory=6088 CPUtime=0 cores=0-7
/proc/7153/task/7159/stat : 7159 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782671890960 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7160] ppid=7130 vsize=8414124 memory=1544 CPUtime=0 cores=0-7
/proc/7153/task/7160/stat : 7160 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782670838416 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7161] ppid=7130 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/7153/task/7161/stat : 7161 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782669785360 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7162] ppid=7130 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/7153/task/7162/stat : 7162 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782668732816 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7163] ppid=7130 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/7153/task/7163/stat : 7163 (java) S 7130 7130 7086 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500128352 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782098381552 139782870649474 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7164] ppid=7130 vsize=8414124 memory=32368 CPUtime=0 cores=0-7
/proc/7153/task/7164/stat : 7164 (java) S 7130 7130 7086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500128353 8616062976 29897 33554432000 4194304 4196468 140729309570768 139781187036832 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7165] ppid=7130 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/7153/task/7165/stat : 7165 (java) S 7130 7130 7086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500128353 8616062976 29897 33554432000 4194304 4196468 140729309570768 139781052814576 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7166] ppid=7130 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/7153/task/7166/stat : 7166 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139780678310352 139782870656923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7167] ppid=7130 vsize=8414124 memory=496 CPUtime=0.04 cores=0-7
/proc/7153/task/7167/stat : 7167 (java) S 7130 7130 7086 0 -1 1077944384 555 0 0 0 4 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782097328368 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7168] ppid=7130 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/7153/task/7168/stat : 7168 (java) S 7130 7130 7086 0 -1 1077944384 320 0 0 0 9 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782096275824 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7169] ppid=7130 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/7153/task/7169/stat : 7169 (java) S 7130 7130 7086 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782095222768 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7170] ppid=7130 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7
/proc/7153/task/7170/stat : 7170 (java) S 7130 7130 7086 0 -1 1077944384 782 0 0 0 23 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782094170224 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7171] ppid=7130 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7153/task/7171/stat : 7171 (java) S 7130 7130 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500128356 8616062976 29897 33554432000 4194304 4196468 140729309570768 139780180405216 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7172] ppid=7130 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/7153/task/7172/stat : 7172 (java) S 7130 7130 7086 0 -1 1077944384 11 0 0 0 0 7 0 0 20 0 24 0 500128356 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782093118640 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7174] ppid=7130 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7153/task/7174/stat : 7174 (java) S 7130 7130 7086 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500128427 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782085084608 139782870662937 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7176] ppid=7130 vsize=8414124 memory=11595 CPUtime=0 cores=0-7
/proc/7153/task/7176/stat : 7176 (java) S 7130 7130 7086 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 500128427 8616062976 29897 33554432000 4194304 4196468 140729309570768 139779509304848 139782870660253 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7177] ppid=7130 vsize=8414124 memory=11630 CPUtime=0 cores=0-7
/proc/7153/task/7177/stat : 7177 (java) S 7130 7130 7086 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500128427 8616062976 29897 33554432000 4194304 4196468 140729309570768 139779777740432 139782870660253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7178] ppid=7130 vsize=8414124 memory=134 CPUtime=0 cores=0-7
/proc/7153/task/7178/stat : 7178 (java) S 7130 7130 7086 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 500128430 8616062976 29897 33554432000 4194304 4196468 140729309570768 139779240876976 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
Current children cumulated CPU time: 975.21 s
Current children cumulated vsize: 9358228 KiB
Current children cumulated memory: 746020 KiB

[startup+130.601 s]
/proc/loadavg: 6.66 2.65 1.02 9/224 7194
/proc/meminfo: memFree=24868232/32770624 swapFree=66999676/67108860
[pid=7130] ppid=7127 vsize=113128 memory=1476 CPUtime=7.36 cores=0-7
/proc/7130/stat : 7130 (scop.sh) S 7127 7130 7086 0 -1 4202496 583 29800 0 1 0 0 714 22 20 0 1 0 500127944 115843072 369 33554432000 4194304 5098028 140732179788640 140732179785384 139761772352124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39190528 140732179796773 140732179797100 140732179797100 140732179800013 0
/proc/7130/statm: 28282 369 311 221 0 87 0
[pid=7153] ppid=7130 vsize=8414124 memory=119588 CPUtime=1.34 cores=0-7
/proc/7153/stat : 7153 (java) S 7130 7130 7086 0 -1 1077944320 20407 0 0 0 125 9 0 0 20 0 24 0 500128349 8616062976 29897 33554432000 4194304 4196468 140729309570768 140729309553312 139782870638327 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
/proc/7153/statm: 2103531 29897 3199 1 0 2064875 0
[pid=7173] ppid=7153 vsize=830976 memory=623108 CPUtime=967.97 cores=0-7
/proc/7173/stat : 7173 (manyglucose-4.1) S 7153 7130 7086 0 -1 1077944320 484513 0 1 0 96658 139 0 0 20 0 2 0 500128427 850919424 155777 33554432000 4194304 4454172 140731920775504 140731920773888 140240229633783 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 14499840 140731920778090 140731920778288 140731920778288 140731920781242 0
/proc/7173/statm: 207744 155777 424 64 0 203412 0
[pid=7173/tid=7181] ppid=7153 vsize=830976 memory=288230574492221466 CPUtime=125.21 cores=0-7
/proc/7173/task/7181/stat : 7181 (manyglucose-4.1) R 7153 7130 7086 0 -1 4202560 55130 0 0 0 12511 10 0 0 20 0 2 0 500128447 850919424 155777 33554432000 4194304 4454172 140731920775504 140240187968680 4351198 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 14499840 140731920778090 140731920778288 140731920778288 140731920781242 0
[pid=7153/tid=7154] ppid=7130 vsize=8414124 memory=800 CPUtime=0.78 cores=0-7
/proc/7153/task/7154/stat : 7154 (java) S 7130 7130 7086 0 -1 1077944384 17013 0 0 0 72 6 0 0 20 0 24 0 500128350 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782842478496 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7155] ppid=7130 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/7153/task/7155/stat : 7155 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782874881040 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7156] ppid=7130 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/7153/task/7156/stat : 7156 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782675049616 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7157] ppid=7130 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/7153/task/7157/stat : 7157 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782673996560 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7158] ppid=7130 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/7153/task/7158/stat : 7158 (java) S 7130 7130 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782672944016 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7159] ppid=7130 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/7153/task/7159/stat : 7159 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782671890960 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7160] ppid=7130 vsize=8414124 memory=3684 CPUtime=0 cores=0-7
/proc/7153/task/7160/stat : 7160 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782670838416 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7161] ppid=7130 vsize=8414124 memory=620860 CPUtime=0 cores=0-7
/proc/7153/task/7161/stat : 7161 (java) S 7130 7130 7086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782669785360 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7162] ppid=7130 vsize=8414124 memory=618812 CPUtime=0 cores=0-7
/proc/7153/task/7162/stat : 7162 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128351 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782668732816 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7163] ppid=7130 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/7153/task/7163/stat : 7163 (java) S 7130 7130 7086 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500128352 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782098381552 139782870649474 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7164] ppid=7130 vsize=8414124 memory=15534107291553429 CPUtime=0 cores=0-7
/proc/7153/task/7164/stat : 7164 (java) S 7130 7130 7086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500128353 8616062976 29897 33554432000 4194304 4196468 140729309570768 139781187036832 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7165] ppid=7130 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/7153/task/7165/stat : 7165 (java) S 7130 7130 7086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500128353 8616062976 29897 33554432000 4194304 4196468 140729309570768 139781052814576 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7166] ppid=7130 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/7153/task/7166/stat : 7166 (java) S 7130 7130 7086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139780678310352 139782870656923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7167] ppid=7130 vsize=8414124 memory=4872558044660077418 CPUtime=0.04 cores=0-7
/proc/7153/task/7167/stat : 7167 (java) S 7130 7130 7086 0 -1 1077944384 555 0 0 0 4 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782097328368 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7168] ppid=7130 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/7153/task/7168/stat : 7168 (java) S 7130 7130 7086 0 -1 1077944384 320 0 0 0 9 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782096275824 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7169] ppid=7130 vsize=8414124 memory=119588 CPUtime=0.06 cores=0-7
/proc/7153/task/7169/stat : 7169 (java) S 7130 7130 7086 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782095222768 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7170] ppid=7130 vsize=8414124 memory=614480 CPUtime=0.23 cores=0-7
/proc/7153/task/7170/stat : 7170 (java) S 7130 7130 7086 0 -1 1077944384 782 0 0 0 23 0 0 0 20 0 24 0 500128355 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782094170224 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7171] ppid=7130 vsize=8414124 memory=8243114992657236055 CPUtime=0 cores=0-7
/proc/7153/task/7171/stat : 7171 (java) S 7130 7130 7086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500128356 8616062976 29897 33554432000 4194304 4196468 140729309570768 139780180405216 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7172] ppid=7130 vsize=8414124 memory=288283381249362327 CPUtime=0.07 cores=0-7
/proc/7153/task/7172/stat : 7172 (java) S 7130 7130 7086 0 -1 1077944384 11 0 0 0 0 7 0 0 20 0 24 0 500128356 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782093118640 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7174] ppid=7130 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7153/task/7174/stat : 7174 (java) S 7130 7130 7086 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500128427 8616062976 29897 33554432000 4194304 4196468 140729309570768 139782085084608 139782870662937 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7176] ppid=7130 vsize=8414124 memory=119588 CPUtime=0 cores=0-7
/proc/7153/task/7176/stat : 7176 (java) S 7130 7130 7086 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 500128427 8616062976 29897 33554432000 4194304 4196468 140729309570768 139779509304848 139782870660253 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7177] ppid=7130 vsize=8414124 memory=616764 CPUtime=0 cores=0-7
/proc/7153/task/7177/stat : 7177 (java) S 7130 7130 7086 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500128427 8616062976 29897 33554432000 4194304 4196468 140729309570768 139779777740432 139782870660253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7178] ppid=7130 vsize=8414124 memory=119588 CPUtime=0 cores=0-7
/proc/7153/task/7178/stat : 7178 (java) S 7130 7130 7086 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 500128430 8616062976 29897 33554432000 4194304 4196468 140729309570768 139779240876976 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
Current children cumulated CPU time: 976.67 s
Current children cumulated vsize: 9358228 KiB
Current children cumulated memory: 744172 KiB

[startup+130.706 s]
/proc/loadavg: 6.66 2.65 1.02 9/224 7194
/proc/meminfo: memFree=24868232/32770624 swapFree=66999676/67108860
[pid=7130] ppid=7127 vsize=113128 memory=1476 CPUtime=7.36 cores=0-7
/proc/7130/stat : 7130 (scop.sh) S 7127 7130 7086 0 -1 4202496 583 29800 0 1 0 0 714 22 20 0 1 0 500127944 115843072 369 33554432000 4194304 5098028 140732179788640 140732179785384 139761772352124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39190528 140732179796773 140732179797100 140732179797100 140732179800013 0
/proc/7130/statm: 28282 369 311 221 0 87 0
[pid=7153] ppid=7130 vsize=8283048 memory=125852 CPUtime=969.54 cores=0-7
/proc/7153/stat : 7153 (java) S 7130 7130 7086 0 -1 1077944320 20984 484524 0 1 145 10 96659 140 20 0 22 0 500128349 8481841152 31463 33554432000 4194304 4196468 140729309570768 140729309553312 139782870638327 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
/proc/7153/statm: 2070762 31463 3222 1 0 2032106 0
[pid=7153/tid=7154] ppid=7130 vsize=8283048 memory=614480 CPUtime=968.83 cores=0-7
/proc/7153/task/7154/stat : 7154 (java) R 7130 7130 7086 0 -1 4202560 17183 484524 0 1 78 6 96659 140 20 0 22 0 500128350 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782842467280 139782346304695 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7155] ppid=7130 vsize=8283048 memory=1440 CPUtime=967.99 cores=0-7
/proc/7153/task/7155/stat : 7155 (java) S 7130 7130 7086 0 -1 1077944384 1 484524 0 1 0 0 96659 140 20 0 22 0 500128351 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782874881040 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7156] ppid=7130 vsize=8283048 memory=1760 CPUtime=967.99 cores=0-7
/proc/7153/task/7156/stat : 7156 (java) S 7130 7130 7086 0 -1 1077944384 2 484524 0 1 0 0 96659 140 20 0 22 0 500128351 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782675049616 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7157] ppid=7130 vsize=8283048 memory=622908 CPUtime=967.99 cores=0-7
/proc/7153/task/7157/stat : 7157 (java) S 7130 7130 7086 0 -1 1077944384 1 484524 0 1 0 0 96659 140 20 0 22 0 500128351 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782673996560 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7158] ppid=7130 vsize=8283048 memory=614480 CPUtime=967.99 cores=0-7
/proc/7153/task/7158/stat : 7158 (java) S 7130 7130 7086 0 -1 1077944384 3 484524 0 1 0 0 96659 140 20 0 22 0 500128351 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782672944016 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7159] ppid=7130 vsize=8283048 memory=624956 CPUtime=967.99 cores=0-7
/proc/7153/task/7159/stat : 7159 (java) S 7130 7130 7086 0 -1 1077944384 1 484524 0 1 0 0 96659 140 20 0 22 0 500128351 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782671890960 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7160] ppid=7130 vsize=8283048 memory=614480 CPUtime=967.99 cores=0-7
/proc/7153/task/7160/stat : 7160 (java) S 7130 7130 7086 0 -1 1077944384 1 484524 0 1 0 0 96659 140 20 0 22 0 500128351 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782670838416 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7161] ppid=7130 vsize=8283048 memory=610384 CPUtime=967.99 cores=0-7
/proc/7153/task/7161/stat : 7161 (java) S 7130 7130 7086 0 -1 1077944384 2 484524 0 1 0 0 96659 140 20 0 22 0 500128351 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782669785360 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7162] ppid=7130 vsize=8283048 memory=0 CPUtime=967.99 cores=0-7
/proc/7153/task/7162/stat : 7162 (java) S 7130 7130 7086 0 -1 1077944384 1 484524 0 1 0 0 96659 140 20 0 22 0 500128351 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782668732816 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7163] ppid=7130 vsize=8283048 memory=513 CPUtime=967.99 cores=0-7
/proc/7153/task/7163/stat : 7163 (java) S 7130 7130 7086 0 -1 1077944384 8 484524 0 1 0 0 96659 140 20 0 22 0 500128352 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782098381552 139782870649474 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7164] ppid=7130 vsize=8283048 memory=7598824234097836114 CPUtime=967.99 cores=0-7
/proc/7153/task/7164/stat : 7164 (java) S 7130 7130 7086 0 -1 1077944384 13 484524 0 1 0 0 96659 140 20 0 22 0 500128353 8481841152 31463 33554432000 4194304 4196468 140729309570768 139781187036832 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7165] ppid=7130 vsize=8283048 memory=19566 CPUtime=967.99 cores=0-7
/proc/7153/task/7165/stat : 7165 (java) S 7130 7130 7086 0 -1 1077944384 21 484524 0 1 0 0 96659 140 20 0 22 0 500128353 8481841152 31463 33554432000 4194304 4196468 140729309570768 139781052814576 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7166] ppid=7130 vsize=8283048 memory=111632 CPUtime=967.99 cores=0-7
/proc/7153/task/7166/stat : 7166 (java) S 7130 7130 7086 0 -1 1077944384 1 484524 0 1 0 0 96659 140 20 0 22 0 500128355 8481841152 31463 33554432000 4194304 4196468 140729309570768 139780678310352 139782870656923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7167] ppid=7130 vsize=8283048 memory=800 CPUtime=968.05 cores=0-7
/proc/7153/task/7167/stat : 7167 (java) S 7130 7130 7086 0 -1 1077944384 621 484524 0 1 6 0 96659 140 20 0 22 0 500128355 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782097328368 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7168] ppid=7130 vsize=8283048 memory=4104 CPUtime=968.1 cores=0-7
/proc/7153/task/7168/stat : 7168 (java) S 7130 7130 7086 0 -1 1077944384 333 484524 0 1 11 0 96659 140 20 0 22 0 500128355 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782096275824 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7169] ppid=7130 vsize=8283048 memory=119588 CPUtime=968.09 cores=0-7
/proc/7153/task/7169/stat : 7169 (java) S 7130 7130 7086 0 -1 1077944384 458 484524 0 1 10 0 96659 140 20 0 22 0 500128355 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782095222768 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7170] ppid=7130 vsize=8283048 memory=1476 CPUtime=968.27 cores=0-7
/proc/7153/task/7170/stat : 7170 (java) R 7130 7130 7086 0 -1 4202560 889 484524 0 1 28 0 96659 140 20 0 22 0 500128355 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782094170224 139782854718814 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7171] ppid=7130 vsize=8283048 memory=119588 CPUtime=967.99 cores=0-7
/proc/7153/task/7171/stat : 7171 (java) S 7130 7130 7086 0 -1 1077944384 3 484524 0 1 0 0 96659 140 20 0 22 0 500128356 8481841152 31463 33554432000 4194304 4196468 140729309570768 139780180405216 139782870648533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7172] ppid=7130 vsize=8283048 memory=608336 CPUtime=968.06 cores=0-7
/proc/7153/task/7172/stat : 7172 (java) S 7130 7130 7086 0 -1 1077944384 11 484524 0 1 0 7 96659 140 20 0 22 0 500128356 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782093118640 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7174] ppid=7130 vsize=8283048 memory=281185200636144 CPUtime=967.99 cores=0-7
/proc/7153/task/7174/stat : 7174 (java) S 7130 7130 7086 0 -1 1077944384 27 484524 0 1 0 0 96659 140 20 0 22 0 500128427 8481841152 31463 33554432000 4194304 4196468 140729309570768 139782085083792 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
[pid=7153/tid=7178] ppid=7130 vsize=8283048 memory=119588 CPUtime=967.99 cores=0-7
/proc/7153/task/7178/stat : 7178 (java) S 7130 7130 7086 0 -1 1077944384 13 484524 0 1 0 0 96659 140 20 0 22 0 500128430 8481841152 31463 33554432000 4194304 4196468 140729309570768 139779240878768 139782870649474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26218496 140729309578232 140729309578390 140729309578390 140729309581263 0
Current children cumulated CPU time: 976.9 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127328 KiB

Child status: 0
Real time (s): 130.787
CPU time (s): 977.075
CPU user time (s): 975.319
CPU system time (s): 1.75693
CPU usage (%): 747.076
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 840936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 975.319
system time used= 1.75693
maximum resident set size= 721920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537131
page faults= 2
swaps= 0
block input operations= 16936
block output operations= 4864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18962
involuntary context switches= 10007


# summary of solver processes directly reported to runsolver:
#   pid: 7130
#   total CPU time (s): 977.075
#   total CPU user time (s): 975.319
#   total CPU system time (s): 1.75693

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2741 second user time and 1.80123 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-23 13:36:29
IDJOB=4405343
IDBENCH=120505
IDSOLVER=2867
FILE ID=node123/4405343-1569238629
RUNJOBID= node123-1569238589-7113
PBS_JOBID= 21704907
Free space on /tmp= 25920 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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-4405343-1569238629/watcher-4405343-1569238629 -o /tmp/evaluation-result-4405343-1569238629/solver-4405343-1569238629 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569238589-7113 --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-4405343-1569238629.xml

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

MD5SUM BENCH= ec554133dcdc77f0ded322158f487a65
RANDOM SEED=464465713

node123.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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25609480 kB
MemAvailable:   31841180 kB
Buffers:           75932 kB
Cached:          6309180 kB
SwapCached:         6732 kB
Active:          3155248 kB
Inactive:        3240612 kB
Active(anon):       3036 kB
Inactive(anon):    64180 kB
Active(file):    3152212 kB
Inactive(file):  3176432 kB
Unevictable:      107276 kB
Mlocked:          107276 kB
SwapTotal:      67108860 kB
SwapFree:       66999676 kB
Dirty:             20296 kB
Writeback:             0 kB
AnonPages:        112248 kB
Mapped:            55208 kB
Shmem:             47812 kB
Slab:             361000 kB
SReclaimable:     331516 kB
SUnreclaim:        29484 kB
KernelStack:        3344 kB
PageTables:         5176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 25900 MiB
End job on node123 at 2019-09-23 13:38:43