Trace number 4405276

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 2659.71 345.39

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-023.xml
MD5SUMf753def11f9f341c6e9dbf54b2480dee
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 benchmark88.5458
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size186
Maximum domain size186
Distribution of domain sizes[{"size":186,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19661-serial-file.bin HOME/instance-4405276-1569338196.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:15:55 CEST 2019
0.65/0.57	c PID: 19664
0.65/0.57	c IP: 172.20.3.124
0.65/0.57	c HOST: node124.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.38/0.91	c (0,0) Parsing End
1.38/0.91	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 186
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) Constraint Name Generate Begin
1.38/0.92	c (0,0) Ctr:HOME/instance-4405276-1569338196.xml,Le:NoOverlap:Num:Var
1.38/0.92	c (0,0) Constraint Name Generate End
1.38/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.92	c (0,0) CSP to CSPinCNF Begin
1.38/1.00	c (0,0) translated 6 (10%) constraints
1.38/1.00	c (0,0) translated 11 (20%) constraints
1.38/1.01	c (0,0) translated 16 (30%) constraints
1.38/1.01	c (0,0) translated 21 (40%) constraints
1.55/1.01	c (0,0) translated 26 (50%) constraints
1.55/1.01	c (0,0) translated 31 (60%) constraints
1.55/1.02	c (0,0) translated 36 (70%) constraints
1.55/1.02	c (0,0) translated 41 (80%) constraints
1.55/1.02	c (0,0) translated 46 (90%) constraints
2.12/1.27	c (0,0) translated 51 (100%) constraints
2.12/1.27	c (0,0) ===========================================
2.12/1.27	c (0,0) Order
2.12/1.27	c (0,0) ===========================================
2.12/1.28	c (0,0) translated 33 (10%) constraints
2.12/1.29	c (0,0) translated 66 (20%) constraints
2.12/1.29	c (0,0) translated 98 (30%) constraints
2.45/1.30	c (0,0) translated 131 (40%) constraints
2.45/1.30	c (0,0) translated 163 (50%) constraints
2.45/1.31	c (0,0) translated 196 (60%) constraints
2.45/1.31	c (0,0) translated 229 (70%) constraints
2.45/1.31	c (0,0) translated 261 (80%) constraints
2.45/1.32	c (0,0) translated 294 (90%) constraints
2.45/1.32	c (0,0) translated 326 (100%) constraints
2.45/1.33	c (0,0) CSP to CSPinCNF End
2.45/1.33	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 185
2.45/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.45/1.33	c (0,0) CSPinCNF Propagation Begin
2.45/1.36	c (0,0) 0 values, 8 unsatisfiable literals, and 49 valid clauses are removed
2.45/1.36	c (0,0) CSPinCNF Propagation End
2.45/1.36	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 185
2.45/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.36	c (0,0) Simplify CSPinCNF Begin
2.78/1.45	c (0,0) Simplify CSPinCNF End
2.78/1.46	c (0,0) CSP: 48 int (0 aux), 1096 bool (1096 aux), 1373 ctr, max domain size 185
2.78/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.78/1.46	c (0,0) Calculate Precise Domain Begin
2.78/1.46	c (0,0) 0 values are removed by re-calculation
2.78/1.46	c (0,0) Calculate Precise Domain End
2.78/1.46	c (0,0) CSP: 48 int (0 aux), 1096 bool (1096 aux), 1373 ctr, max domain size 185
2.78/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.78/1.46	c (0,0) CSPinCNF to SatSolver Begin
3.76/1.79	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 24593 SAT clauses)
4.16/1.89	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 41515 SAT clauses)
4.57/1.96	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 57513 SAT clauses)
4.96/2.02	c (1,1) 550 (40 %) CSP clauses are encoded (0 SAT variables, 73005 SAT clauses)
4.96/2.09	c (1,1) 687 (50 %) CSP clauses are encoded (0 SAT variables, 88234 SAT clauses)
5.13/2.14	c (1,1) 824 (60 %) CSP clauses are encoded (0 SAT variables, 102559 SAT clauses)
5.13/2.19	c (1,1) 962 (70 %) CSP clauses are encoded (0 SAT variables, 116115 SAT clauses)
5.24/2.24	c (1,1) 1099 (80 %) CSP clauses are encoded (0 SAT variables, 128664 SAT clauses)
5.24/2.29	c (1,1) 1236 (90 %) CSP clauses are encoded (0 SAT variables, 140005 SAT clauses)
5.35/2.32	c (1,1) 1373 (100 %) CSP clauses are encoded (0 SAT variables, 148016 SAT clauses)
5.35/2.32	c (1,1) CSPinCNF to SatSolver End
5.35/2.32	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.35/2.32	c (1,1) 8538 bool, 148061 clause
5.35/2.32	c (1,1) Export Begin
5.53/2.41	c (1,1) Export to HOME/scop-19661-serial-file.bin
5.53/2.41	c (1,1) Export End
5.53/2.41	c (1,1) Export File Size: 0.01 MB
5.53/2.41	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.53/2.41	c END-Prog: Tue Sep 24 17:15:57 CEST 2019
5.53/2.42	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19661-serial-file.bin
5.57/2.89	c (0,0) Read Serial File Begin
5.57/2.89	c (0,0) HOME/scop-19661-serial-file.bin
6.32/3.09	c (0,0) Read Serial File End
6.32/3.11	
6.32/3.11	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.32/3.11	(Solving Process)
6.32/3.11	
6.47/3.13	c BEGIN-Prog: Tue Sep 24 17:15:58 CEST 2019
6.47/3.13	c PID: 19684
6.47/3.13	c IP: 172.20.3.124
6.47/3.13	c HOST: node124.alineos.net
6.47/3.13	c (0,0) SatSolver.solve Begin
6.47/3.13	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405276-1569338196.xml-scop-19664.cnf
6.47/3.16	c (0,0) c
6.47/3.16	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)
6.47/3.16	c (0,0) c
6.47/3.16	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.47/3.16	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.47/3.16	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.47/3.16	c (0,0) c |                                                                                                       |
6.69/3.21	c (0,0) c |  Number of variables:          8538                                                                   |
6.69/3.21	c (0,0) c |  Number of clauses:          148061                                                                   |
6.69/3.21	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.69/3.21	c (0,0) c |                                                                                                       |
6.70/3.34	c (0,0) c |  Simplification time:          0.13 s                                                                 |
6.70/3.34	c (0,0) c |                                                                                                       |
6.70/3.34	c (0,0) c |  Generating clones                                                                                    |
6.70/3.39	c (0,0) c |  all clones generated. Memory =   104.39Mb.                                                           |
6.70/3.39	c (0,0) c ========================================================================================================|
6.70/3.39	c (0,0) c
6.70/3.39	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.70/3.39	c (0,0) c
6.70/3.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.70/3.39	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.70/3.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.70/3.39	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.70/3.39	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.70/3.39	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.70/3.39	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.70/3.39	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.70/3.39	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.70/3.39	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.70/3.39	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.70/3.39	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.70/3.39	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.70/3.39	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.70/3.39	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.70/3.39	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.70/3.39	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.70/3.39	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.70/3.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
240.57/32.70	c (29,0) c
240.57/32.70	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
240.57/32.70	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.57/32.70	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
240.57/32.70	c (29,0) c |  0 |    548 |     257100 |     130028 |    44107 |    38648 |    17968 |   119784 |    13977 |      229 |  20 |  0.738 |
240.57/32.70	c (29,0) c |  1 |    543 |     254692 |     129396 |    42593 |    38015 |    17841 |   120131 |    13736 |      229 |  20 |  0.738 |
240.57/32.70	c (29,0) c |  2 |    618 |     261146 |     129837 |    45599 |    38460 |    18050 |   120635 |    13761 |      230 |  20 |  0.738 |
240.57/32.70	c (29,0) c |  3 |    627 |     275129 |     134812 |    49782 |    43429 |    19128 |   123918 |    14375 |      241 |  20 |  0.738 |
240.57/32.70	c (29,0) c |  4 |    606 |     269045 |     133249 |    45162 |    41867 |    18339 |   123963 |    14460 |      239 |  20 |  0.738 |
240.57/32.70	c (29,0) c |  5 |    612 |     267517 |     135212 |    44027 |    43831 |    18609 |   125674 |    14618 |      243 |  20 |  0.738 |
240.57/32.70	c (29,0) c |  6 |    634 |     273904 |     136077 |    46532 |    44688 |    19706 |   124083 |    14661 |      242 |  20 |  0.738 |
240.57/32.70	c (29,0) c |  7 |    606 |     271484 |     137279 |    43491 |    23091 |    19170 |   125750 |    14496 |      246 |  20 |  0.738 |
240.57/32.70	c (29,0) c 
240.57/32.70	c (29,0) c synthesis     1065890 conflicts   357387713 propagations     4567 conflicts/sec  1531426 propagations/sec
240.57/32.70	c (29,0) c real: 29.5447 s, cpu: 233.369 s, memory: 680.38 Mb
466.98/61.70	c (58,0) c
466.98/61.70	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
466.98/61.70	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
466.98/61.70	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
466.98/61.70	c (58,0) c |  0 |    904 |     408451 |     214523 |    49297 |    46303 |    28353 |   186138 |    22397 |      446 |  20 |  0.972 |
466.98/61.70	c (58,0) c |  1 |    978 |     403393 |     209214 |    48039 |    41422 |    27014 |   184393 |    22205 |      435 |  20 |  0.972 |
466.98/61.70	c (58,0) c |  2 |    975 |     402510 |     208790 |    49585 |    39927 |    27261 |   184671 |    21649 |      439 |  20 |  0.972 |
466.98/61.70	c (58,0) c |  3 |   1014 |     424227 |     218359 |    52476 |    50399 |    27971 |   189268 |    22495 |      453 |  20 |  0.973 |
466.98/61.70	c (58,0) c |  4 |   1016 |     413551 |     212830 |    48817 |    44543 |    27026 |   188342 |    22819 |      447 |  20 |  0.972 |
466.98/61.70	c (58,0) c |  5 |    979 |     407963 |     215012 |    46905 |    46381 |    26733 |   188789 |    22850 |      448 |  20 |  0.972 |
466.98/61.70	c (58,0) c |  6 |   1019 |     418788 |     217373 |    49083 |    49270 |    28014 |   188501 |    22632 |      451 |  20 |  0.972 |
466.98/61.70	c (58,0) c |  7 |    993 |     419757 |     219692 |    46409 |    51789 |    29097 |   188061 |    22495 |      451 |  20 |  0.972 |
466.98/61.70	c (58,0) c 
466.98/61.70	c (58,0) c synthesis     1715794 conflicts   595029766 propagations     3734 conflicts/sec  1294814 propagations/sec
466.98/61.70	c (58,0) c real: 58.5447 s, cpu: 459.549 s, memory: 680.38 Mb
705.77/91.70	c (88,0) c
705.77/91.70	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
705.77/91.70	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
705.77/91.70	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
705.77/91.70	c (88,0) c |  0 |   1189 |     546873 |     295751 |    52095 |    64207 |    37638 |   248930 |    29962 |      679 |  20 |  0.972 |
705.77/91.70	c (88,0) c |  1 |   1255 |     539260 |     289890 |    50490 |    58461 |    35850 |   246877 |    29349 |      666 |  20 |  0.972 |
705.77/91.70	c (88,0) c |  2 |   1317 |     551446 |     296029 |    52077 |    64324 |    36202 |   251497 |    29433 |      682 |  20 |  0.972 |
705.77/91.70	c (88,0) c |  3 |   1342 |     559560 |     295907 |    54247 |    64421 |    36850 |   248693 |    29540 |      677 |  20 |  0.972 |
705.77/91.70	c (88,0) c |  4 |   1336 |     552002 |     291972 |    51099 |    60404 |    35885 |   247516 |    30202 |      679 |  20 |  0.972 |
705.77/91.70	c (88,0) c |  5 |   1326 |     543834 |     293668 |    48850 |    62017 |    35190 |   249785 |    30250 |      674 |  20 |  0.972 |
705.77/91.70	c (88,0) c |  6 |   1421 |     555586 |     295302 |    50996 |    63778 |    35991 |   250286 |    29956 |      678 |  20 |  0.972 |
705.77/91.70	c (88,0) c |  7 |   1373 |     566425 |     302578 |    48512 |    71117 |    38136 |   249863 |    30041 |      686 |  20 |  0.972 |
705.77/91.70	c (88,0) c 
705.77/91.70	c (88,0) c synthesis     2361097 conflicts   827878029 propagations     3384 conflicts/sec  1186454 propagations/sec
705.77/91.70	c (88,0) c real: 88.5447 s, cpu: 697.775 s, memory: 710.02 Mb
931.68/120.70	c (117,0) c
931.68/120.70	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
931.68/120.70	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
931.68/120.70	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
931.68/120.70	c (117,0) c |  0 |   1449 |     661466 |     363964 |    53711 |    58337 |    44938 |   297930 |    35771 |      896 |  20 |  0.972 |
931.68/120.70	c (117,0) c |  1 |   1563 |     664538 |     363319 |    52484 |    57721 |    43215 |   299574 |    35475 |      895 |  20 |  0.972 |
931.68/120.70	c (117,0) c |  2 |   1628 |     666287 |     362736 |    53781 |    57072 |    43059 |   299880 |    35216 |      895 |  20 |  0.972 |
931.68/120.70	c (117,0) c |  3 |   1680 |     676045 |     363070 |    55228 |    57452 |    43372 |   299673 |    35352 |      896 |  20 |  0.972 |
931.68/120.70	c (117,0) c |  4 |   1559 |     663958 |     360125 |    52068 |    54492 |    43059 |   300403 |    35916 |      895 |  20 |  0.972 |
931.68/120.70	c (117,0) c |  5 |   1629 |     665491 |     365192 |    49980 |    59538 |    42281 |   300578 |    36298 |      896 |  20 |  0.972 |
931.68/120.70	c (117,0) c |  6 |   1675 |     662592 |     358306 |    51848 |    52687 |    42202 |   295327 |    35372 |      876 |  20 |  0.972 |
931.68/120.70	c (117,0) c |  7 |   1687 |     680243 |     369283 |    49849 |    63674 |    45137 |   296857 |    35275 |      892 |  20 |  0.972 |
931.68/120.70	c (117,0) c 
931.68/120.70	c (117,0) c synthesis     2905996 conflicts  1026354665 propagations     3147 conflicts/sec  1111315 propagations/sec
931.68/120.70	c (117,0) c real: 117.545 s, cpu: 923.55 s, memory: 710.03 Mb
1158.38/149.71	c (146,0) c
1158.38/149.71	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1158.38/149.71	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1158.38/149.71	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1158.38/149.71	c (146,0) c |  0 |   1676 |     767985 |     428520 |    54660 |    81912 |    51198 |   343524 |    41041 |     1117 |  20 |  0.972 |
1158.38/149.71	c (146,0) c |  1 |   1790 |     763347 |     423607 |    53447 |    77014 |    49196 |   342689 |    40435 |     1103 |  20 |  0.972 |
1158.38/149.71	c (146,0) c |  2 |   1927 |     775050 |     426602 |    54611 |    79973 |    49557 |   345544 |    40762 |     1117 |  20 |  0.972 |
1158.38/149.71	c (146,0) c |  3 |   1898 |     778463 |     426548 |    55668 |    79945 |    49183 |   345801 |    40514 |     1118 |  20 |  0.972 |
1158.38/149.71	c (146,0) c |  4 |   1799 |     768623 |     423529 |    52935 |    76925 |    49005 |   345958 |    41329 |     1117 |  20 |  0.972 |
1158.38/149.71	c (146,0) c |  5 |   1842 |     770913 |     429679 |    50874 |    83060 |    48937 |   345769 |    41638 |     1117 |  20 |  0.972 |
1158.38/149.71	c (146,0) c |  6 |   1851 |     774457 |     428576 |    52584 |    81968 |    49138 |   345111 |    40945 |     1114 |  20 |  0.972 |
1158.38/149.71	c (146,0) c |  7 |   1855 |     778174 |     430230 |    50977 |    83639 |    51339 |   339620 |    39886 |     1098 |  20 |  0.972 |
1158.38/149.71	c (146,0) c 
1158.38/149.71	c (146,0) c synthesis     3417291 conflicts  1210555365 propagations     2972 conflicts/sec  1052754 propagations/sec
1158.38/149.71	c (146,0) c real: 146.545 s, cpu: 1149.89 s, memory: 710.03 Mb
1396.08/179.70	c (176,0) c
1396.08/179.70	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1396.08/179.70	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1396.08/179.70	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1396.08/179.70	c (176,0) c |  0 |   1943 |     874640 |     493641 |    55564 |    57250 |    57560 |   386208 |    46272 |     1353 |  20 |  0.972 |
1396.08/179.70	c (176,0) c |  1 |   1978 |     866892 |     488340 |    54258 |    51948 |    55457 |   384808 |    45355 |     1339 |  20 |  0.972 |
1396.08/179.70	c (176,0) c |  2 |   2152 |     880851 |     491936 |    55169 |    55539 |    55578 |   388115 |    45591 |     1352 |  20 |  0.972 |
1396.08/179.70	c (176,0) c |  3 |   2003 |     874714 |     491357 |    56114 |    54962 |    55480 |   385721 |    45039 |     1353 |  20 |  0.972 |
1396.08/179.70	c (176,0) c |  4 |   2038 |     862346 |     481416 |    53457 |    91219 |    54312 |   384031 |    46114 |     1333 |  20 |  0.972 |
1396.08/179.70	c (176,0) c |  5 |   2001 |     869715 |     492751 |    51530 |    56353 |    55316 |   385608 |    46150 |     1340 |  20 |  0.972 |
1396.08/179.70	c (176,0) c |  6 |   1991 |     871434 |     490676 |    52945 |    54281 |    54579 |   385378 |    45455 |     1338 |  20 |  0.972 |
1396.08/179.70	c (176,0) c |  7 |   2141 |     889781 |     497900 |    53363 |    61512 |    57475 |   383161 |    44813 |     1339 |  20 |  0.972 |
1396.08/179.70	c (176,0) c 
1396.08/179.70	c (176,0) c synthesis     3928018 conflicts  1396948218 propagations     2832 conflicts/sec  1007115 propagations/sec
1396.08/179.70	c (176,0) c real: 176.545 s, cpu: 1387.08 s, memory: 774.03 Mb
1623.67/208.70	c (205,0) c
1623.67/208.70	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1623.67/208.70	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1623.67/208.70	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1623.67/208.70	c (205,0) c |  0 |   2183 |     970622 |     553478 |    56111 |    68289 |    62900 |   423596 |    50880 |     1575 |  20 |  0.972 |
1623.67/208.70	c (205,0) c |  1 |   2162 |     961525 |     547402 |    55082 |    62207 |    61352 |   421190 |    49746 |     1555 |  20 |  0.972 |
1623.67/208.70	c (205,0) c |  2 |   2323 |     973359 |     550364 |    55602 |    65179 |    61009 |   425312 |    50057 |     1575 |  20 |  0.972 |
1623.67/208.70	c (205,0) c |  3 |   2151 |     969900 |     552834 |    56449 |    67644 |    60764 |   424461 |    49281 |     1573 |  20 |  0.972 |
1623.67/208.70	c (205,0) c |  4 |   2269 |     960442 |     541259 |    53965 |    56062 |    59616 |   424200 |    50817 |     1561 |  20 |  0.972 |
1623.67/208.70	c (205,0) c |  5 |   2250 |     963429 |     550268 |    52326 |    65076 |    60386 |   424536 |    50705 |     1568 |  20 |  0.972 |
1623.67/208.70	c (205,0) c |  6 |   2139 |     971953 |     555370 |    53716 |    70179 |    60150 |   425106 |    49938 |     1574 |  20 |  0.972 |
1623.67/208.70	c (205,0) c |  7 |   2289 |     983302 |     559695 |    53703 |    74506 |    62465 |   423049 |    49016 |     1574 |  20 |  0.972 |
1623.67/208.70	c (205,0) c 
1623.67/208.70	c (205,0) c synthesis     4410670 conflicts  1570903831 propagations     2732 conflicts/sec   972954 propagations/sec
1623.67/208.70	c (205,0) c real: 205.545 s, cpu: 1614.57 s, memory: 774.03 Mb
1851.51/238.70	c (235,0) c
1851.51/238.70	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1851.51/238.70	c (235,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1851.51/238.70	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1851.51/238.70	c (235,0) c |  0 |   2423 |    1056064 |     606687 |    56420 |    70040 |    67233 |   456836 |    54985 |     1796 |  20 |  1.008 |
1851.51/238.70	c (235,0) c |  1 |   2391 |    1052027 |     602038 |    55948 |    65417 |    66358 |   454046 |    54035 |     1776 |  20 |  1.007 |
1851.51/238.70	c (235,0) c |  2 |   2484 |    1056919 |     603069 |    56012 |    66433 |    65582 |   458482 |    53890 |     1796 |  20 |  1.007 |
1851.51/238.70	c (235,0) c |  3 |   2278 |    1058316 |     610744 |    56697 |    74094 |    65781 |   457567 |    53408 |     1796 |  20 |  1.007 |
1851.51/238.70	c (235,0) c |  4 |   2464 |    1053613 |     600022 |    54249 |    63371 |    64887 |   459291 |    54951 |     1796 |  20 |  1.007 |
1851.51/238.70	c (235,0) c |  5 |   2460 |    1053611 |     606564 |    53044 |    69908 |    65187 |   458488 |    55048 |     1796 |  20 |  1.007 |
1851.51/238.70	c (235,0) c |  6 |   2291 |    1050737 |     606733 |    53903 |    70097 |    63797 |   457717 |    53680 |     1785 |  20 |  1.007 |
1851.51/238.70	c (235,0) c |  7 |   2428 |    1067339 |     614979 |    54779 |    78341 |    67484 |   455031 |    53105 |     1788 |  20 |  1.007 |
1851.51/238.70	c (235,0) c 
1851.51/238.70	c (235,0) c synthesis     4850836 conflicts  1731367717 propagations     2632 conflicts/sec   939471 propagations/sec
1851.51/238.70	c (235,0) c real: 235.545 s, cpu: 1842.92 s, memory: 838.03 Mb
2076.63/267.70	c (264,0) c
2076.63/267.70	c (264,0) c |------------------------------------------------------------------------------------------------------------------------|
2076.63/267.70	c (264,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2076.63/267.70	c (264,0) c |------------------------------------------------------------------------------------------------------------------------|
2076.63/267.70	c (264,0) c |  0 |   2559 |    1135608 |     659063 |    56849 |    68442 |    72105 |   489700 |    58899 |     2016 |  20 |  1.007 |
2076.63/267.70	c (264,0) c |  1 |   2586 |    1132067 |     653280 |    56361 |    62674 |    70641 |   487544 |    57915 |     1996 |  20 |  1.007 |
2076.63/267.70	c (264,0) c |  2 |   2565 |    1135213 |     656359 |    56282 |    65749 |    69853 |   490625 |    57219 |     2008 |  20 |  1.007 |
2076.63/267.70	c (264,0) c |  3 |   2375 |    1137197 |     663658 |    57013 |    73040 |    70769 |   490793 |    56937 |     2013 |  20 |  1.007 |
2076.63/267.70	c (264,0) c |  4 |   2634 |    1132106 |     651169 |    54500 |    60542 |    69607 |   491903 |    58544 |     2013 |  20 |  1.008 |
2076.63/267.70	c (264,0) c |  5 |   2628 |    1137061 |     660418 |    53402 |    69797 |    69795 |   491370 |    58973 |     2013 |  20 |  1.007 |
2076.63/267.70	c (264,0) c |  6 |   2415 |    1128867 |     657713 |    54147 |    67097 |    68526 |   490570 |    57543 |     2000 |  20 |  1.007 |
2076.63/267.70	c (264,0) c |  7 |   2512 |    1152369 |     672176 |    55938 |    81558 |    72658 |   488462 |    56396 |     2016 |  20 |  1.009 |
2076.63/267.70	c (264,0) c 
2076.63/267.70	c (264,0) c synthesis     5273836 conflicts  1885183412 propagations     2551 conflicts/sec   912034 propagations/sec
2076.63/267.70	c (264,0) c real: 264.545 s, cpu: 2067.01 s, memory: 774.03 Mb
2294.07/297.70	c (294,0) c
2294.07/297.70	c (294,0) c |------------------------------------------------------------------------------------------------------------------------|
2294.07/297.70	c (294,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2294.07/297.70	c (294,0) c |------------------------------------------------------------------------------------------------------------------------|
2294.07/297.70	c (294,0) c |  0 |   2775 |    1212558 |     706901 |    57332 |    59691 |    76273 |   519744 |    63000 |     2222 |  20 |  1.007 |
2294.07/297.70	c (294,0) c |  1 |   2736 |    1206287 |     700969 |    56726 |   110363 |    75104 |   518346 |    61607 |     2203 |  20 |  1.007 |
2294.07/297.70	c (294,0) c |  2 |   2648 |    1209935 |     706996 |    56526 |    59798 |    74352 |   520548 |    60910 |     2222 |  20 |  1.007 |
2294.07/297.70	c (294,0) c |  3 |   2456 |    1210427 |     712916 |    57408 |    65711 |    75227 |   520722 |    60507 |     2223 |  20 |  1.009 |
2294.07/297.70	c (294,0) c |  4 |   2779 |    1203726 |     698145 |    54946 |   107517 |    73551 |   521770 |    62319 |     2222 |  20 |  1.007 |
2294.07/297.70	c (294,0) c |  5 |   2756 |    1207953 |     707650 |    53593 |    60448 |    74193 |   521760 |    62312 |     2223 |  20 |  1.009 |
2294.07/297.70	c (294,0) c |  6 |   2534 |    1208712 |     710242 |    54403 |    63037 |    73034 |   522367 |    61415 |     2223 |  20 |  1.008 |
2294.07/297.70	c (294,0) c |  7 |   2649 |    1226594 |     720724 |    56171 |    73515 |    76983 |   519034 |    59826 |     2223 |  20 |  1.007 |
2294.07/297.70	c (294,0) c 
2294.07/297.70	c (294,0) c synthesis     5664543 conflicts  2027590149 propagations     2480 conflicts/sec   887660 propagations/sec
2294.07/297.70	c (294,0) c real: 294.545 s, cpu: 2284.2 s, memory: 838.03 Mb
2519.17/326.70	c (323,0) c
2519.17/326.70	c (323,0) c |------------------------------------------------------------------------------------------------------------------------|
2519.17/326.70	c (323,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2519.17/326.70	c (323,0) c |------------------------------------------------------------------------------------------------------------------------|
2519.17/326.70	c (323,0) c |  0 |   2927 |    1293221 |     759073 |    57636 |   111863 |    80640 |   548496 |    66614 |     2447 |  20 |  1.007 |
2519.97/326.80	c (323,0) c |  1 |   2918 |    1286796 |     752547 |    57034 |   105350 |    80052 |   548660 |    65429 |     2429 |  20 |  1.007 |
2519.97/326.80	c (323,0) c |  2 |   2782 |    1289725 |     759842 |    56869 |   112644 |    78704 |   551807 |    64504 |     2443 |  20 |  1.007 |
2519.97/326.80	c (323,0) c |  3 |   2603 |    1281624 |     759818 |    57702 |   112613 |    79095 |   550251 |    63956 |     2435 |  20 |  1.007 |
2519.97/326.80	c (323,0) c |  4 |   2942 |    1285911 |     751633 |    55455 |   104427 |    78049 |   553214 |    66240 |     2449 |  20 |  1.007 |
2519.97/326.80	c (323,0) c |  5 |   2956 |    1286865 |     758177 |    53764 |   110974 |    78442 |   553116 |    66068 |     2449 |  20 |  1.007 |
2519.97/326.80	c (323,0) c |  6 |   2600 |    1284464 |     762880 |    54803 |   115674 |    77609 |   548456 |    64781 |     2449 |  20 |  1.007 |
2519.97/326.80	c (323,0) c |  7 |   2758 |    1301499 |     771872 |    56387 |    65479 |    80880 |   547626 |    63368 |     2448 |  20 |  1.007 |
2519.97/326.80	c (323,0) c 
2519.97/326.80	c (323,0) c synthesis     6075842 conflicts  2175425678 propagations     2422 conflicts/sec   867071 propagations/sec
2519.97/326.80	c (323,0) c real: 323.545 s, cpu: 2508.94 s, memory: 774.03 Mb
2659.26/345.22	c (342,0) c
2659.26/345.22	c (342,0) c real time : 342.07 s
2659.26/345.22	c (342,0) c cpu time  : 2648.7 s
2659.26/345.22	c (342,0) c
2659.26/345.22	c (342,0) c
2659.26/345.22	c (342,0) c
2659.26/345.22	c (342,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2659.26/345.22	c (342,0) c
2659.26/345.22	c (342,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.22	c (342,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2659.26/345.22	c (342,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.22	c (342,0) c | Conflicts     |         6313131 |     789692 |     781100 |     791552 |     787920 |     778956 |     789003 |     792880 |     802028 |
2659.26/345.22	c (342,0) c | Decisions     |        10670729 |    1339781 |    1331704 |    1338990 |    1323647 |    1327650 |    1332869 |    1328755 |    1347333 |
2659.26/345.22	c (342,0) c | Propagations  |      2263703120 |  281391572 |  282222804 |  288904485 |  285484904 |  280544992 |  278951175 |  282428825 |  283774363 |
2659.26/345.23	c (342,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
2659.26/345.23	c (342,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
2659.26/345.23	c (342,0) c | Restarts      |           23096 |       3005 |       3018 |       2867 |       2661 |       3037 |       3035 |       2652 |       2821 |
2659.26/345.23	c (342,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2659.26/345.23	c (342,0) c | PropBinClauses|      2587975497 |  321647001 |  321563990 |  329692896 |  326753089 |  321390139 |  319687504 |  323198935 |  324041943 |
2659.26/345.23	c (342,0) c | PropPreBlocker|     68138710403 | 8499753682 | 8448599434 | 8547930142 | 8493272675 | 8499709908 | 8509146484 | 8566641378 | 8573656700 |
2659.26/345.23	c (342,0) c | PropNotBlocker|     18785456470 | 2368378509 | 2360472115 | 2355533786 | 2321043091 | 2374443089 | 2363718216 | 2318341186 | 2323526478 |
2659.26/345.23	c (342,0) c | LitFullScans  |    123468801159 |15463211097 |15361262467 |15464295083 |15343704334 |15464264529 |15463491220 |15439435234 |15469137195 |
2659.26/345.23	c (342,0) c | LitScanFracts |        10394667 |    1189693 |    1196458 |    1656577 |    1107018 |    1209716 |    1483219 |    1418982 |    1133004 |
2659.26/345.23	c (342,0) c | DecisionLevel0|           23098 |       3005 |       3019 |       2868 |       2661 |       3037 |       3035 |       2652 |       2821 |
2659.26/345.23	c (342,0) c | Periods       |           20576 |       2577 |       2560 |       2577 |       2557 |       2577 |       2577 |       2573 |       2578 |
2659.26/345.23	c (342,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2659.26/345.23	c (342,0) c | Avg_Trail     |                 |       3716 |       3773 |       3831 |       3763 |       3723 |       3701 |       3731 |       3757 |
2659.26/345.23	c (342,0) c | Avg_DL        |                 |         23 |         23 |         23 |         23 |         22 |         22 |         23 |         23 |
2659.26/345.23	c (342,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2659.26/345.23	c (342,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2659.26/345.23	c (342,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.23	c (342,0) c | Exported      |          653778 |      83328 |      82681 |      81122 |      81320 |      80294 |      81415 |      79955 |      83663 |
2659.26/345.23	c (342,0) c | Imported      |         4546869 |     567930 |     565784 |     570573 |     565052 |     571601 |     570187 |     570376 |     565366 |
2659.26/345.23	c (342,0) c | Good          |            1221 |        149 |        150 |        147 |        158 |        149 |        148 |        161 |        159 |
2659.26/345.23	c (342,0) c | Purge         |         4545648 |     567781 |     565634 |     570426 |     564894 |     571452 |     570039 |     570215 |     565207 |
2659.26/345.23	c (342,0) c | Promoted      |          536715 |      68659 |      67540 |      66544 |      65845 |      68263 |      68105 |      66464 |      65295 |
2659.26/345.23	c (342,0) c | Remove_Imp    |         3474856 |     433808 |     435859 |     434421 |     432683 |     441571 |     436615 |     433392 |     426507 |
2659.26/345.23	c (342,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2659.26/345.23	c (342,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.23	c (342,0) c | Unaries       |                 |          0 |          1 |          1 |          0 |          0 |          0 |          0 |          0 |
2659.26/345.23	c (342,0) c | Binaries      |                 |         26 |         24 |         28 |         16 |         26 |         27 |         13 |         15 |
2659.26/345.23	c (342,0) c | Glues         |                 |        616 |        636 |        561 |        528 |        649 |        566 |        506 |        502 |
2659.26/345.23	c (342,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.23	c (342,0) c | Orig_Seen     |            38 % |      57768 |      57292 |      57058 |      58557 |      55533 |      53898 |      54873 |      56612 |
2659.26/345.23	c (342,0) c | Diff Orig seen|                 | -      789 | -     1265 | -     1499 |      X     | -     3024 | -     4659 | -     3684 | -     1945 |
2659.26/345.23	c (342,0) c | Hamming       |            28 % |       2270 |       2504 |       2862 |      X     |       2617 |       2672 |       1850 |       2392 |
2659.26/345.23	c (342,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.23	c (342,0) c | RunningTime   |                 |  331.5  97%|  341.2 100%|  330.9  97%|  327.2  96%|  331.6  97%|  330.3  97%|  334.7  98%|  331.6  97%|
2659.26/345.23	c (342,0) c | WaitingTime   |                 |    9.8   3%|    0.1   0%|   10.5   3%|   14.1   4%|    9.7   3%|   11.0   3%|    6.7   2%|    9.7   3%|
2659.26/345.23	c (342,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|
2659.26/345.23	c (342,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%|
2659.26/345.23	c (342,0) c | SolvingTime   |                 |  341.7     |  341.7     |  341.7     |  341.7     |  341.7     |  341.7     |  341.8     |  341.7     |
2659.26/345.23	c (342,0) c | PropagationTim|                 |  305.4  89%|  298.3  87%|  298.2  87%|  300.8  88%|  299.7  88%|  298.6  87%|  298.3  87%|  302.8  89%|
2659.26/345.23	c (342,0) c | AnalysisTime  |                 |   30.1   9%|   37.0  11%|   37.2  11%|   34.5  10%|   35.7  10%|   36.7  11%|   37.0  11%|   32.4   9%|
2659.26/345.23	c (342,0) c | ReductionTime |                 |    1.7   0%|    1.8   1%|    1.7   1%|    1.7   1%|    1.7   0%|    1.8   1%|    1.8   1%|    1.8   1%|
2659.26/345.23	c (342,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|
2659.26/345.23	c (342,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%|
2659.26/345.23	c (342,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%|
2659.26/345.23	c (342,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.23	c (342,0) c
2659.26/345.23	c (342,0) c
2659.26/345.23	c (342,0) c Threads : 8
2659.26/345.23	c (342,0) c Winner : 3
2659.26/345.23	c (342,0) c Conflicts_0 : 789692
2659.26/345.23	c (342,0) c Conflicts_1 : 781100
2659.26/345.23	c (342,0) c Conflicts_2 : 791552
2659.26/345.23	c (342,0) c Conflicts_3 : 787920
2659.26/345.23	c (342,0) c Conflicts_4 : 778956
2659.26/345.23	c (342,0) c Conflicts_5 : 789003
2659.26/345.23	c (342,0) c Conflicts_6 : 792880
2659.26/345.23	c (342,0) c Conflicts_7 : 802028
2659.26/345.23	c (342,0) c Conflicts_total : 6313131
2659.26/345.23	c (342,0) c Conflicts_winner : 787920
2659.26/345.23	c (342,0) c Decisions_0 : 1339781
2659.26/345.23	c (342,0) c Decisions_1 : 1331704
2659.26/345.23	c (342,0) c Decisions_2 : 1338990
2659.26/345.23	c (342,0) c Decisions_3 : 1323647
2659.26/345.23	c (342,0) c Decisions_4 : 1327650
2659.26/345.23	c (342,0) c Decisions_5 : 1332869
2659.26/345.23	c (342,0) c Decisions_6 : 1328755
2659.26/345.23	c (342,0) c Decisions_7 : 1347333
2659.26/345.23	c (342,0) c Decisions_total : 10670729
2659.26/345.23	c (342,0) c Decisions_winner : 1323647
2659.26/345.23	c (342,0) c Propagations_0 : 281391572
2659.26/345.23	c (342,0) c Propagations_1 : 282222804
2659.26/345.23	c (342,0) c Propagations_2 : 288904485
2659.26/345.23	c (342,0) c Propagations_3 : 285484904
2659.26/345.23	c (342,0) c Propagations_4 : 280544992
2659.26/345.23	c (342,0) c Propagations_5 : 278951175
2659.26/345.23	c (342,0) c Propagations_6 : 282428825
2659.26/345.23	c (342,0) c Propagations_7 : 283774363
2659.26/345.23	c (342,0) c Propagations_total : 2263703120
2659.26/345.23	c (342,0) c Propagations_winner : 285484904
2659.26/345.23	c (342,0) c ReduceDBs_0 : 24
2659.26/345.23	c (342,0) c ReduceDBs_1 : 24
2659.26/345.23	c (342,0) c ReduceDBs_2 : 24
2659.26/345.23	c (342,0) c ReduceDBs_3 : 24
2659.26/345.23	c (342,0) c ReduceDBs_4 : 24
2659.26/345.23	c (342,0) c ReduceDBs_5 : 24
2659.26/345.23	c (342,0) c ReduceDBs_6 : 24
2659.26/345.23	c (342,0) c ReduceDBs_7 : 24
2659.26/345.23	c (342,0) c ReduceDBs_total : 192
2659.26/345.23	c (342,0) c ReduceDBs_winner : 24
2659.26/345.23	c (342,0) c SimpDBs_0 : 4
2659.26/345.23	c (342,0) c SimpDBs_1 : 4
2659.26/345.23	c (342,0) c SimpDBs_2 : 4
2659.26/345.23	c (342,0) c SimpDBs_3 : 4
2659.26/345.23	c (342,0) c SimpDBs_4 : 4
2659.26/345.23	c (342,0) c SimpDBs_5 : 4
2659.26/345.23	c (342,0) c SimpDBs_6 : 4
2659.26/345.23	c (342,0) c SimpDBs_7 : 4
2659.26/345.23	c (342,0) c SimpDBs_total : 32
2659.26/345.23	c (342,0) c SimpDBs_winner : 4
2659.26/345.23	c (342,0) c Restarts_0 : 3005
2659.26/345.23	c (342,0) c Restarts_1 : 3018
2659.26/345.23	c (342,0) c Restarts_2 : 2867
2659.26/345.23	c (342,0) c Restarts_3 : 2661
2659.26/345.23	c (342,0) c Restarts_4 : 3037
2659.26/345.23	c (342,0) c Restarts_5 : 3035
2659.26/345.23	c (342,0) c Restarts_6 : 2652
2659.26/345.23	c (342,0) c Restarts_7 : 2821
2659.26/345.23	c (342,0) c Restarts_total : 23096
2659.26/345.23	c (342,0) c Restarts_winner : 2661
2659.26/345.23	c (342,0) c ForcedImports_0 : 0
2659.26/345.23	c (342,0) c ForcedImports_1 : 0
2659.26/345.23	c (342,0) c ForcedImports_2 : 0
2659.26/345.23	c (342,0) c ForcedImports_3 : 0
2659.26/345.23	c (342,0) c ForcedImports_4 : 0
2659.26/345.23	c (342,0) c ForcedImports_5 : 0
2659.26/345.23	c (342,0) c ForcedImports_6 : 0
2659.26/345.23	c (342,0) c ForcedImports_7 : 0
2659.26/345.23	c (342,0) c ForcedImports_total : 0
2659.26/345.23	c (342,0) c ForcedImports_winner : 0
2659.26/345.23	c (342,0) c PropsBinClauses_0 : 321647001
2659.26/345.23	c (342,0) c PropsBinClauses_1 : 321563990
2659.26/345.23	c (342,0) c PropsBinClauses_2 : 329692896
2659.26/345.23	c (342,0) c PropsBinClauses_3 : 326753089
2659.26/345.23	c (342,0) c PropsBinClauses_4 : 321390139
2659.26/345.23	c (342,0) c PropsBinClauses_5 : 319687504
2659.26/345.23	c (342,0) c PropsBinClauses_6 : 323198935
2659.26/345.23	c (342,0) c PropsBinClauses_7 : 324041943
2659.26/345.23	c (342,0) c PropsBinClauses_total : 2587975497
2659.26/345.23	c (342,0) c PropsBinClauses_winner : 326753089
2659.26/345.23	c (342,0) c PropsPreBlocker_0 : 8499753682
2659.26/345.23	c (342,0) c PropsPreBlocker_1 : 8448599434
2659.26/345.23	c (342,0) c PropsPreBlocker_2 : 8547930142
2659.26/345.23	c (342,0) c PropsPreBlocker_3 : 8493272675
2659.26/345.23	c (342,0) c PropsPreBlocker_4 : 8499709908
2659.26/345.23	c (342,0) c PropsPreBlocker_5 : 8509146484
2659.26/345.23	c (342,0) c PropsPreBlocker_6 : 8566641378
2659.26/345.23	c (342,0) c PropsPreBlocker_7 : 8573656700
2659.26/345.23	c (342,0) c PropsPreBlocker_total : 68138710403
2659.26/345.23	c (342,0) c PropsPreBlocker_winner : 8493272675
2659.26/345.23	c (342,0) c PropsNotBlocker_0 : 2368378509
2659.26/345.23	c (342,0) c PropsNotBlocker_1 : 2360472115
2659.26/345.23	c (342,0) c PropsNotBlocker_2 : 2355533786
2659.26/345.23	c (342,0) c PropsNotBlocker_3 : 2321043091
2659.26/345.23	c (342,0) c PropsNotBlocker_4 : 2374443089
2659.26/345.23	c (342,0) c PropsNotBlocker_5 : 2363718216
2659.26/345.23	c (342,0) c PropsNotBlocker_6 : 2318341186
2659.26/345.23	c (342,0) c PropsNotBlocker_7 : 2323526478
2659.26/345.23	c (342,0) c PropsNotBlocker_total : 18785456470
2659.26/345.23	c (342,0) c PropsNotBlocker_winner : 2321043091
2659.26/345.23	c (342,0) c PropsLitFullScans_0 : 15463211097
2659.26/345.23	c (342,0) c PropsLitFullScans_1 : 15361262467
2659.26/345.23	c (342,0) c PropsLitFullScans_2 : 15464295083
2659.26/345.23	c (342,0) c PropsLitFullScans_3 : 15343704334
2659.26/345.23	c (342,0) c PropsLitFullScans_4 : 15464264529
2659.26/345.23	c (342,0) c PropsLitFullScans_5 : 15463491220
2659.26/345.23	c (342,0) c PropsLitFullScans_6 : 15439435234
2659.26/345.23	c (342,0) c PropsLitFullScans_7 : 15469137195
2659.26/345.23	c (342,0) c PropsLitFullScans_total : 123468801159
2659.26/345.23	c (342,0) c PropsLitFullScans_winner : 15343704334
2659.26/345.23	c (342,0) c LitScanFractions_0 : 1189693
2659.26/345.23	c (342,0) c LitScanFractions_1 : 1196458
2659.26/345.23	c (342,0) c LitScanFractions_2 : 1656577
2659.26/345.23	c (342,0) c LitScanFractions_3 : 1107018
2659.26/345.23	c (342,0) c LitScanFractions_4 : 1209716
2659.26/345.23	c (342,0) c LitScanFractions_5 : 1483219
2659.26/345.23	c (342,0) c LitScanFractions_6 : 1418982
2659.26/345.23	c (342,0) c LitScanFractions_7 : 1133004
2659.26/345.23	c (342,0) c LitScanFractions_total : 10394667
2659.26/345.23	c (342,0) c LitScanFractions_winner : 1107018
2659.26/345.23	c (342,0) c DecisionLevel0_0 : 3005
2659.26/345.23	c (342,0) c DecisionLevel0_1 : 3019
2659.26/345.23	c (342,0) c DecisionLevel0_2 : 2868
2659.26/345.23	c (342,0) c DecisionLevel0_3 : 2661
2659.26/345.23	c (342,0) c DecisionLevel0_4 : 3037
2659.26/345.23	c (342,0) c DecisionLevel0_5 : 3035
2659.26/345.23	c (342,0) c DecisionLevel0_6 : 2652
2659.26/345.23	c (342,0) c DecisionLevel0_7 : 2821
2659.26/345.23	c (342,0) c DecisionLevel0_total : 23098
2659.26/345.23	c (342,0) c DecisionLevel0_winner : 2661
2659.26/345.23	c (342,0) c Periods_0 : 2577
2659.26/345.23	c (342,0) c Periods_1 : 2560
2659.26/345.23	c (342,0) c Periods_2 : 2577
2659.26/345.23	c (342,0) c Periods_3 : 2557
2659.26/345.23	c (342,0) c Periods_4 : 2577
2659.26/345.23	c (342,0) c Periods_5 : 2577
2659.26/345.23	c (342,0) c Periods_6 : 2573
2659.26/345.23	c (342,0) c Periods_7 : 2578
2659.26/345.23	c (342,0) c Periods_total : 20576
2659.26/345.23	c (342,0) c Periods_winner : 2557
2659.26/345.23	c (342,0) c Margin_0 : 20
2659.26/345.23	c (342,0) c Margin_1 : 20
2659.26/345.23	c (342,0) c Margin_2 : 20
2659.26/345.23	c (342,0) c Margin_3 : 20
2659.26/345.23	c (342,0) c Margin_4 : 20
2659.26/345.23	c (342,0) c Margin_5 : 20
2659.26/345.23	c (342,0) c Margin_6 : 20
2659.26/345.23	c (342,0) c Margin_7 : 20
2659.26/345.23	c (342,0) c Margin_total : 160
2659.26/345.23	c (342,0) c Margin_winner : 20
2659.26/345.23	c (342,0) c Exported_0 : 83328
2659.26/345.23	c (342,0) c Exported_1 : 82681
2659.26/345.23	c (342,0) c Exported_2 : 81122
2659.26/345.23	c (342,0) c Exported_3 : 81320
2659.26/345.23	c (342,0) c Exported_4 : 80294
2659.26/345.23	c (342,0) c Exported_5 : 81415
2659.26/345.23	c (342,0) c Exported_6 : 79955
2659.26/345.23	c (342,0) c Exported_7 : 83663
2659.26/345.23	c (342,0) c Exported_total : 653778
2659.26/345.23	c (342,0) c Exported_winner : 81320
2659.26/345.23	c (342,0) c Imported_0 : 567930
2659.26/345.23	c (342,0) c Imported_1 : 565784
2659.26/345.23	c (342,0) c Imported_2 : 570573
2659.26/345.23	c (342,0) c Imported_3 : 565052
2659.26/345.23	c (342,0) c Imported_4 : 571601
2659.26/345.23	c (342,0) c Imported_5 : 570187
2659.26/345.23	c (342,0) c Imported_6 : 570376
2659.26/345.23	c (342,0) c Imported_7 : 565366
2659.26/345.23	c (342,0) c Imported_total : 4546869
2659.26/345.23	c (342,0) c Imported_winner : 565052
2659.26/345.23	c (342,0) c Good_0 : 149
2659.26/345.23	c (342,0) c Good_1 : 150
2659.26/345.23	c (342,0) c Good_2 : 147
2659.26/345.23	c (342,0) c Good_3 : 158
2659.26/345.23	c (342,0) c Good_4 : 149
2659.26/345.23	c (342,0) c Good_5 : 148
2659.26/345.23	c (342,0) c Good_6 : 161
2659.26/345.23	c (342,0) c Good_7 : 159
2659.26/345.23	c (342,0) c Good_total : 1221
2659.26/345.23	c (342,0) c Good_winner : 158
2659.26/345.23	c (342,0) c Purge_0 : 567781
2659.26/345.23	c (342,0) c Purge_1 : 565634
2659.26/345.23	c (342,0) c Purge_2 : 570426
2659.26/345.23	c (342,0) c Purge_3 : 564894
2659.26/345.23	c (342,0) c Purge_4 : 571452
2659.26/345.23	c (342,0) c Purge_5 : 570039
2659.26/345.23	c (342,0) c Purge_6 : 570215
2659.26/345.23	c (342,0) c Purge_7 : 565207
2659.26/345.23	c (342,0) c Purge_total : 4545648
2659.26/345.23	c (342,0) c Purge_winner : 564894
2659.26/345.23	c (342,0) c Promoted_0 : 68659
2659.26/345.23	c (342,0) c Promoted_1 : 67540
2659.26/345.23	c (342,0) c Promoted_2 : 66544
2659.26/345.23	c (342,0) c Promoted_3 : 65845
2659.26/345.23	c (342,0) c Promoted_4 : 68263
2659.26/345.23	c (342,0) c Promoted_5 : 68105
2659.26/345.23	c (342,0) c Promoted_6 : 66464
2659.26/345.23	c (342,0) c Promoted_7 : 65295
2659.26/345.23	c (342,0) c Promoted_total : 536715
2659.26/345.23	c (342,0) c Promoted_winner : 65845
2659.26/345.23	c (342,0) c Remove_Imp_0 : 433808
2659.26/345.23	c (342,0) c Remove_Imp_1 : 435859
2659.26/345.23	c (342,0) c Remove_Imp_2 : 434421
2659.26/345.23	c (342,0) c Remove_Imp_3 : 432683
2659.26/345.23	c (342,0) c Remove_Imp_4 : 441571
2659.26/345.23	c (342,0) c Remove_Imp_5 : 436615
2659.26/345.23	c (342,0) c Remove_Imp_6 : 433392
2659.26/345.23	c (342,0) c Remove_Imp_7 : 426507
2659.26/345.23	c (342,0) c Remove_Imp_total : 3474856
2659.26/345.23	c (342,0) c Remove_Imp_winner : 432683
2659.26/345.23	c (342,0) c Blocked_Reuse_0 : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_1 : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_2 : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_3 : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_4 : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_5 : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_6 : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_7 : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_total : 0
2659.26/345.23	c (342,0) c Blocked_Reuse_winner : 0
2659.26/345.23	c (342,0) c Unaries_0 : 0
2659.26/345.23	c (342,0) c Unaries_1 : 1
2659.26/345.23	c (342,0) c Unaries_2 : 1
2659.26/345.23	c (342,0) c Unaries_3 : 0
2659.26/345.23	c (342,0) c Unaries_4 : 0
2659.26/345.23	c (342,0) c Unaries_5 : 0
2659.26/345.23	c (342,0) c Unaries_6 : 0
2659.26/345.23	c (342,0) c Unaries_7 : 0
2659.26/345.23	c (342,0) c Unaries_total : 2
2659.26/345.23	c (342,0) c Unaries_winner : 0
2659.26/345.23	c (342,0) c Binaries_0 : 26
2659.26/345.23	c (342,0) c Binaries_1 : 24
2659.26/345.23	c (342,0) c Binaries_2 : 28
2659.26/345.23	c (342,0) c Binaries_3 : 16
2659.26/345.23	c (342,0) c Binaries_4 : 26
2659.26/345.23	c (342,0) c Binaries_5 : 27
2659.26/345.23	c (342,0) c Binaries_6 : 13
2659.26/345.23	c (342,0) c Binaries_7 : 15
2659.26/345.23	c (342,0) c Binaries_total : 175
2659.26/345.23	c (342,0) c Binaries_winner : 16
2659.26/345.23	c (342,0) c Glues_0 : 616
2659.26/345.23	c (342,0) c Glues_1 : 636
2659.26/345.23	c (342,0) c Glues_2 : 561
2659.26/345.23	c (342,0) c Glues_3 : 528
2659.26/345.23	c (342,0) c Glues_4 : 649
2659.26/345.23	c (342,0) c Glues_5 : 566
2659.26/345.23	c (342,0) c Glues_6 : 506
2659.26/345.23	c (342,0) c Glues_7 : 502
2659.26/345.23	c (342,0) c Glues_total : 4564
2659.26/345.23	c (342,0) c Glues_winner : 528
2659.26/345.23	c (342,0) c RunningTime_0 : 331.531279
2659.26/345.23	c (342,0) c RunningTime_1 : 341.199181
2659.26/345.23	c (342,0) c RunningTime_2 : 330.863849
2659.26/345.23	c (342,0) c RunningTime_3 : 327.217098
2659.26/345.23	c (342,0) c RunningTime_4 : 331.600563
2659.26/345.23	c (342,0) c RunningTime_5 : 330.288896
2659.26/345.23	c (342,0) c RunningTime_6 : 334.687583
2659.26/345.23	c (342,0) c RunningTime_7 : 331.615770
2659.26/345.23	c (342,0) c RunningTime_total : 2659.004218
2659.26/345.23	c (342,0) c RunningTime_winner : 327.217098
2659.26/345.23	c (342,0) c WaitingTime_0 : 9.795785
2659.26/345.23	c (342,0) c WaitingTime_1 : 0.120468
2659.26/345.23	c (342,0) c WaitingTime_2 : 10.464352
2659.26/345.23	c (342,0) c WaitingTime_3 : 14.088312
2659.26/345.23	c (342,0) c WaitingTime_4 : 9.706946
2659.26/345.23	c (342,0) c WaitingTime_5 : 11.049854
2659.26/345.23	c (342,0) c WaitingTime_6 : 6.685128
2659.26/345.23	c (342,0) c WaitingTime_7 : 9.742793
2659.26/345.23	c (342,0) c WaitingTime_total : 71.653638
2659.26/345.23	c (342,0) c WaitingTime_winner : 14.088312
2659.26/345.23	c (342,0) c ExchangingTime_0 : 0.309555
2659.26/345.23	c (342,0) c ExchangingTime_1 : 0.317129
2659.26/345.23	c (342,0) c ExchangingTime_2 : 0.310731
2659.26/345.23	c (342,0) c ExchangingTime_3 : 0.322864
2659.26/345.23	c (342,0) c ExchangingTime_4 : 0.326671
2659.26/345.24	c (342,0) c ExchangingTime_5 : 0.312059
2659.26/345.24	c (342,0) c ExchangingTime_6 : 0.351647
2659.26/345.24	c (342,0) c ExchangingTime_7 : 0.336941
2659.26/345.24	c (342,0) c ExchangingTime_total : 2.587597
2659.26/345.24	c (342,0) c ExchangingTime_winner : 0.322864
2659.26/345.24	c (342,0) c PeriodProcTime_0 : 0.022564
2659.26/345.24	c (342,0) c PeriodProcTime_1 : 0.030348
2659.26/345.24	c (342,0) c PeriodProcTime_2 : 0.023523
2659.26/345.24	c (342,0) c PeriodProcTime_3 : 0.023847
2659.26/345.24	c (342,0) c PeriodProcTime_4 : 0.023842
2659.26/345.24	c (342,0) c PeriodProcTime_5 : 0.022986
2659.26/345.24	c (342,0) c PeriodProcTime_6 : 0.025780
2659.26/345.24	c (342,0) c PeriodProcTime_7 : 0.024719
2659.26/345.24	c (342,0) c PeriodProcTime_total : 0.197608
2659.26/345.24	c (342,0) c PeriodProcTime_winner : 0.023847
2659.26/345.24	c (342,0) c SolvingTime_0 : 341.659182
2659.26/345.24	c (342,0) c SolvingTime_1 : 341.667126
2659.26/345.24	c (342,0) c SolvingTime_2 : 341.662456
2659.26/345.24	c (342,0) c SolvingTime_3 : 341.652120
2659.26/345.24	c (342,0) c SolvingTime_4 : 341.658021
2659.26/345.24	c (342,0) c SolvingTime_5 : 341.673795
2659.26/345.24	c (342,0) c SolvingTime_6 : 341.750138
2659.26/345.24	c (342,0) c SolvingTime_7 : 341.720223
2659.26/345.24	c (342,0) c SolvingTime_total : 2733.443061
2659.26/345.24	c (342,0) c SolvingTime_winner : 341.652120
2659.26/345.24	c (342,0) c PropagationTime_0 : 305.364658
2659.26/345.24	c (342,0) c PropagationTime_1 : 298.265005
2659.26/345.24	c (342,0) c PropagationTime_2 : 298.209278
2659.26/345.24	c (342,0) c PropagationTime_3 : 300.758959
2659.26/345.24	c (342,0) c PropagationTime_4 : 299.661294
2659.26/345.24	c (342,0) c PropagationTime_5 : 298.594385
2659.26/345.24	c (342,0) c PropagationTime_6 : 298.336062
2659.26/345.24	c (342,0) c PropagationTime_7 : 302.832901
2659.26/345.24	c (342,0) c PropagationTime_total : 2402.022542
2659.26/345.24	c (342,0) c PropagationTime_winner : 300.758959
2659.26/345.24	c (342,0) c AnalysisTime_0 : 30.050199
2659.26/345.24	c (342,0) c AnalysisTime_1 : 36.973380
2659.26/345.24	c (342,0) c AnalysisTime_2 : 37.219556
2659.26/345.24	c (342,0) c AnalysisTime_3 : 34.463878
2659.26/345.24	c (342,0) c AnalysisTime_4 : 35.705728
2659.26/345.24	c (342,0) c AnalysisTime_5 : 36.740665
2659.26/345.24	c (342,0) c AnalysisTime_6 : 36.954535
2659.26/345.24	c (342,0) c AnalysisTime_7 : 32.358299
2659.26/345.24	c (342,0) c AnalysisTime_total : 280.466240
2659.26/345.24	c (342,0) c AnalysisTime_winner : 34.463878
2659.26/345.24	c (342,0) c ReductionTime_0 : 1.684539
2659.26/345.24	c (342,0) c ReductionTime_1 : 1.768861
2659.26/345.24	c (342,0) c ReductionTime_2 : 1.735212
2659.26/345.24	c (342,0) c ReductionTime_3 : 1.741477
2659.26/345.24	c (342,0) c ReductionTime_4 : 1.708239
2659.26/345.24	c (342,0) c ReductionTime_5 : 1.773837
2659.26/345.24	c (342,0) c ReductionTime_6 : 1.772928
2659.26/345.24	c (342,0) c ReductionTime_7 : 1.805537
2659.26/345.24	c (342,0) c ReductionTime_total : 13.990629
2659.26/345.24	c (342,0) c ReductionTime_winner : 1.741477
2659.26/345.24	c (342,0) c SimplifyTime_0 : 0.043029
2659.26/345.24	c (342,0) c SimplifyTime_1 : 0.043401
2659.26/345.24	c (342,0) c SimplifyTime_2 : 0.043500
2659.26/345.24	c (342,0) c SimplifyTime_3 : 0.086075
2659.26/345.24	c (342,0) c SimplifyTime_4 : 0.043744
2659.26/345.24	c (342,0) c SimplifyTime_5 : 0.076252
2659.26/345.24	c (342,0) c SimplifyTime_6 : 0.054458
2659.26/345.24	c (342,0) c SimplifyTime_7 : 0.046268
2659.26/345.24	c (342,0) c SimplifyTime_total : 0.436726
2659.26/345.24	c (342,0) c SimplifyTime_winner : 0.086075
2659.26/345.24	c (342,0) c UsedRateTime_0 : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_1 : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_2 : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_3 : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_4 : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_5 : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_6 : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_7 : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_total : 0.000000
2659.26/345.24	c (342,0) c UsedRateTime_winner : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_0 : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_1 : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_2 : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_3 : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_4 : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_5 : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_6 : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_7 : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_total : 0.000000
2659.26/345.24	c (342,0) c OverlapRateTime_winner : 0.000000
2659.26/345.24	c (342,0) c
2659.26/345.24	c (342,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2659.26/345.24	c (342,0) c
2659.26/345.24	c (342,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.24	c (342,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2659.26/345.24	c (342,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.24	c (342,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2659.26/345.24	c (342,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2659.26/345.24	c (342,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2659.26/345.24	c (342,0) c | Initial random_seed   | 1930162527 | 1987244957 | 1807690116 |  126641432 |  530703638 | 1106641321 | 1498949778 | 1181676705 |
2659.26/345.24	c (342,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2659.26/345.24	c (342,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2659.26/345.24	c (342,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2659.26/345.24	c (342,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2659.26/345.24	c (342,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2659.26/345.24	c (342,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2659.26/345.24	c (342,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2659.26/345.24	c (342,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2659.26/345.24	c (342,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2659.26/345.24	c (342,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2659.26/345.24	c (342,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2659.26/345.24	c (342,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2659.26/345.24	c (342,0) 
2659.26/345.24	c (342,0) s SATISFIABLE
2659.26/345.26	c (342,0) SatSolver.solve End
2659.26/345.27	c (342,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2659.26/345.27	c (342,0) Show results Begin
2659.52/345.36	c (342,0) x[0] = 160
2659.52/345.36	c (342,0) x[1] = 65
2659.52/345.36	c (342,0) x[2] = 43
2659.52/345.36	c (342,0) x[3] = 59
2659.52/345.36	c (342,0) x[4] = 132
2659.52/345.36	c (342,0) x[5] = 59
2659.52/345.36	c (342,0) x[6] = 68
2659.52/345.36	c (342,0) x[7] = 65
2659.52/345.36	c (342,0) x[8] = 43
2659.52/345.36	c (342,0) x[9] = 47
2659.52/345.36	c (342,0) x[10] = 140
2659.52/345.36	c (342,0) x[11] = 43
2659.52/345.36	c (342,0) x[12] = 162
2659.52/345.36	c (342,0) x[13] = 160
2659.52/345.36	c (342,0) x[14] = 132
2659.52/345.36	c (342,0) x[15] = 66
2659.52/345.36	c (342,0) x[16] = 47
2659.52/345.36	c (342,0) x[17] = 96
2659.52/345.36	c (342,0) x[18] = 0
2659.52/345.36	c (342,0) x[19] = 140
2659.52/345.36	c (342,0) x[20] = 0
2659.52/345.36	c (342,0) x[21] = 80
2659.52/345.36	c (342,0) x[22] = 96
2659.52/345.36	c (342,0) x[23] = 0
2659.52/345.36	c (342,0) y[0] = 116
2659.52/345.36	c (342,0) y[1] = 135
2659.52/345.36	c (342,0) y[2] = 135
2659.52/345.36	c (342,0) y[3] = 119
2659.52/345.36	c (342,0) y[4] = 118
2659.52/345.36	c (342,0) y[5] = 126
2659.52/345.36	c (342,0) y[6] = 126
2659.52/345.36	c (342,0) y[7] = 138
2659.52/345.36	c (342,0) y[8] = 119
2659.52/345.36	c (342,0) y[9] = 135
2659.52/345.36	c (342,0) y[10] = 118
2659.52/345.36	c (342,0) y[11] = 96
2659.52/345.36	c (342,0) y[12] = 116
2659.52/345.36	c (342,0) y[13] = 90
2659.52/345.36	c (342,0) y[14] = 90
2659.52/345.36	c (342,0) y[15] = 96
2659.52/345.36	c (342,0) y[16] = 153
2659.52/345.36	c (342,0) y[17] = 90
2659.52/345.36	c (342,0) y[18] = 96
2659.52/345.36	c (342,0) y[19] = 140
2659.52/345.36	c (342,0) y[20] = 139
2659.52/345.36	c (342,0) y[21] = 126
2659.52/345.36	c (342,0) y[22] = 0
2659.52/345.36	c (342,0) y[23] = 0
2659.52/345.36	s SATISFIABLE
2659.52/345.36	v <instantiation>
2659.52/345.36	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] 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]</list>
2659.52/345.36	v     <values>160 65 43 59 132 59 68 65 43 47 140 43 162 160 132 66 47 96 0 140 0 80 96 0 116 135 135 119 118 126 126 138 119 135 118 96 116 90 90 96 153 90 96 140 139 126 0 0</values>
2659.52/345.36	v </instantiation>
2659.52/345.36	c (342,0) Show results End
2659.52/345.36	c (342,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2659.52/345.36	c (342,0) 342,342,STOP-AFTER(ALL)
2659.52/345.36	c END-Prog: Tue Sep 24 17:21:40 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 (11255 MiB free)
  memory of node 1: 16384 MiB (12439 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405276-1569338196/watcher-4405276-1569338196 -o /var/tmp/evaluation-result-4405276-1569338196/solver-4405276-1569338196 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --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-4405276-1569338196.xml 

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

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

solver pid=19661, runsolver pid=19658

[startup+0.100063 s]*
/proc/loadavg: 6.78 7.12 5.32 2/212 19683
/proc/meminfo: memFree=24171604/32770624 swapFree=66976772/67108860
[pid=19661] ppid=19658 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19661/stat : 19661 (scop.sh) S 19658 19661 19095 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509759644 115843072 349 33554432000 4194304 5098028 140721741648352 140721741645608 139661356352124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13664256 140721741652733 140721741653080 140721741653080 140721741656009 0
/proc/19661/statm: 28282 349 296 221 0 87 0
[pid=19664] ppid=19661 vsize=27314120 memory=105564 CPUtime=0.1 cores=0-7
/proc/19664/stat : 19664 (java) S 19661 19661 19095 0 -1 1077944320 6507 0 0 0 7 3 0 0 20 0 20 0 509759645 27969658880 26391 33554432000 4194304 4196468 140722086960064 140722086942608 140539280396023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
/proc/19664/statm: 6828530 26391 2764 1 0 6790935 0
[pid=19664/tid=19665] ppid=19661 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) R 19661 19661 19095 0 -1 4202560 4605 0 0 0 6 2 0 0 20 0 20 0 509759645 27969658880 26391 33554432000 4194304 4196468 140722086960064 140539252209264 140539280417949 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19666] ppid=19661 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 26391 33554432000 4194304 4196468 140722086960064 140539284638864 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19667] ppid=19661 vsize=27314120 memory=140484602095232 CPUtime=0 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 26391 33554432000 4194304 4196468 140722086960064 140539115887632 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19668] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538701786000 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19669] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19669/stat : 19669 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538700733200 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19670] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19670/stat : 19670 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538699680400 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19671] ppid=19661 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19671/stat : 19671 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538698627600 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19672] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19672/stat : 19672 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538697574800 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19673] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19673/stat : 19673 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538696522000 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19674] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19674/stat : 19674 (java) S 19661 19661 19095 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509759649 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538204646256 140539280407170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19675] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19675/stat : 19675 (java) S 19661 19661 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509759649 27969658880 26391 33554432000 4194304 4196468 140722086960064 140537235498528 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19676] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19676/stat : 19676 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759650 27969658880 26391 33554432000 4194304 4196468 140722086960064 140536967062896 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19677] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19677/stat : 19677 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759652 27969658880 26391 33554432000 4194304 4196468 140722086960064 140536592554320 140539280414619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19678] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19678/stat : 19678 (java) S 19661 19661 19095 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 509759652 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538203593072 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19679] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19679/stat : 19679 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759652 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538202540272 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19680] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19680/stat : 19680 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538201487472 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19681] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19681/stat : 19681 (java) S 19661 19661 19095 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538200434672 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19682] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19682/stat : 19682 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 26391 33554432000 4194304 4196468 140722086960064 140536094649440 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19683] ppid=19661 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19683/stat : 19683 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 26391 33554432000 4194304 4196468 140722086960064 140538199383088 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106960 KiB

[startup+0.21155 s]*
/proc/loadavg: 6.78 7.12 5.32 5/212 19683
/proc/meminfo: memFree=24147916/32770624 swapFree=66976772/67108860
[pid=19661] ppid=19658 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19661/stat : 19661 (scop.sh) S 19658 19661 19095 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509759644 115843072 349 33554432000 4194304 5098028 140721741648352 140721741645608 139661356352124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13664256 140721741652733 140721741653080 140721741653080 140721741656009 0
/proc/19661/statm: 28282 349 296 221 0 87 0
[pid=19664] ppid=19661 vsize=27314120 memory=125468 CPUtime=0.24 cores=0-7
/proc/19664/stat : 19664 (java) S 19661 19661 19095 0 -1 1077944320 12217 0 0 0 19 5 0 0 20 0 20 0 509759645 27969658880 31367 33554432000 4194304 4196468 140722086960064 140722086942608 140539280396023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
/proc/19664/statm: 6828530 31367 2951 1 0 6790935 0
[pid=19664/tid=19665] ppid=19661 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) R 19661 19661 19095 0 -1 4202560 9871 0 0 0 16 4 0 0 20 0 20 0 509759645 27969658880 31367 33554432000 4194304 4196468 140722086960064 140539252195408 140539260671425 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19666] ppid=19661 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 31367 33554432000 4194304 4196468 140722086960064 140539284638864 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19667] ppid=19661 vsize=27314120 memory=288370860753806976 CPUtime=0 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 31367 33554432000 4194304 4196468 140722086960064 140539115887632 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19668] ppid=19661 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538701786000 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19669] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19669/stat : 19669 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538700733200 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19670] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19670/stat : 19670 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538699680400 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19671] ppid=19661 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19671/stat : 19671 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538698627600 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19672] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19672/stat : 19672 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538697574800 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19673] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19673/stat : 19673 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538696522000 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19674] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19674/stat : 19674 (java) S 19661 19661 19095 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509759649 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538204646256 140539280407170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19675] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19675/stat : 19675 (java) S 19661 19661 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509759649 27969658880 31367 33554432000 4194304 4196468 140722086960064 140537235498528 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19676] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19676/stat : 19676 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759650 27969658880 31367 33554432000 4194304 4196468 140722086960064 140536967062896 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19677] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19677/stat : 19677 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759652 27969658880 31367 33554432000 4194304 4196468 140722086960064 140536592554320 140539280414619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19678] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19678/stat : 19678 (java) S 19661 19661 19095 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 509759652 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538203593072 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19679] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19679/stat : 19679 (java) S 19661 19661 19095 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 509759652 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538202540272 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19680] ppid=19661 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19680/stat : 19680 (java) S 19661 19661 19095 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538201487472 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19681] ppid=19661 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19664/task/19681/stat : 19681 (java) S 19661 19661 19095 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 20 0 509759653 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538200434672 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19682] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19682/stat : 19682 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 31367 33554432000 4194304 4196468 140722086960064 140536094649440 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19683] ppid=19661 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19683/stat : 19683 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 31367 33554432000 4194304 4196468 140722086960064 140538199383088 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126864 KiB

[startup+0.310447 s]*
/proc/loadavg: 6.78 7.12 5.32 3/212 19683
/proc/meminfo: memFree=24147052/32770624 swapFree=66976772/67108860
[pid=19661] ppid=19658 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19661/stat : 19661 (scop.sh) S 19658 19661 19095 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509759644 115843072 349 33554432000 4194304 5098028 140721741648352 140721741645608 139661356352124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13664256 140721741652733 140721741653080 140721741653080 140721741656009 0
/proc/19661/statm: 28282 349 296 221 0 87 0
[pid=19664] ppid=19661 vsize=27314120 memory=128860 CPUtime=0.42 cores=0-7
/proc/19664/stat : 19664 (java) S 19661 19661 19095 0 -1 1077944320 12659 0 0 0 36 6 0 0 20 0 20 0 509759645 27969658880 32215 33554432000 4194304 4196468 140722086960064 140722086942608 140539280396023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
/proc/19664/statm: 6828530 32215 2992 1 0 6790935 0
[pid=19664/tid=19665] ppid=19661 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) R 19661 19661 19095 0 -1 4202560 10061 0 0 0 25 4 0 0 20 0 20 0 509759645 27969658880 32215 33554432000 4194304 4196468 140722086960064 140539252186672 140539272646610 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19666] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 32215 33554432000 4194304 4196468 140722086960064 140539284638864 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19667] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 32215 33554432000 4194304 4196468 140722086960064 140539115887632 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19668] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538701786000 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19669] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19669/stat : 19669 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538700733200 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19670] ppid=19661 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/19664/task/19670/stat : 19670 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759647 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538699680400 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19671] ppid=19661 vsize=27314120 memory=140484488033199 CPUtime=0 cores=0-7
/proc/19664/task/19671/stat : 19671 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538698627600 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19672] ppid=19661 vsize=27314120 memory=140484488035504 CPUtime=0 cores=0-7
/proc/19664/task/19672/stat : 19672 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538697574800 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19673] ppid=19661 vsize=27314120 memory=140484488037808 CPUtime=0 cores=0-7
/proc/19664/task/19673/stat : 19673 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759648 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538696522000 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19674] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19674/stat : 19674 (java) S 19661 19661 19095 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509759649 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538204646256 140539280407170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19675] ppid=19661 vsize=27314120 memory=280968976082576 CPUtime=0 cores=0-7
/proc/19664/task/19675/stat : 19675 (java) S 19661 19661 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509759649 27969658880 32215 33554432000 4194304 4196468 140722086960064 140537235498528 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19676] ppid=19661 vsize=27314120 memory=280968976089488 CPUtime=0 cores=0-7
/proc/19664/task/19676/stat : 19676 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759650 27969658880 32215 33554432000 4194304 4196468 140722086960064 140536967062896 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19677] ppid=19661 vsize=27314120 memory=280968976030768 CPUtime=0 cores=0-7
/proc/19664/task/19677/stat : 19677 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759652 27969658880 32215 33554432000 4194304 4196468 140722086960064 140536592554320 140539280414619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19678] ppid=19661 vsize=27314120 memory=280968976103312 CPUtime=0.01 cores=0-7
/proc/19664/task/19678/stat : 19678 (java) S 19661 19661 19095 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 509759652 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538203593072 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19679] ppid=19661 vsize=27314120 memory=280968976110224 CPUtime=0 cores=0-7
/proc/19664/task/19679/stat : 19679 (java) S 19661 19661 19095 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 509759652 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538202540272 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19680] ppid=19661 vsize=27314120 memory=280968976107920 CPUtime=0.01 cores=0-7
/proc/19664/task/19680/stat : 19680 (java) S 19661 19661 19095 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 20 0 509759653 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538201487472 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19681] ppid=19661 vsize=27314120 memory=280968976124080 CPUtime=0.06 cores=0-7
/proc/19664/task/19681/stat : 19681 (java) S 19661 19661 19095 0 -1 1077944384 588 0 0 0 6 0 0 0 20 0 20 0 509759653 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538200434672 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19682] ppid=19661 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19682/stat : 19682 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 32215 33554432000 4194304 4196468 140722086960064 140536094649440 140539280406229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19683] ppid=19661 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19664/task/19683/stat : 19683 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759653 27969658880 32215 33554432000 4194304 4196468 140722086960064 140538199383088 140539280407170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130256 KiB

[startup+0.700973 s]
/proc/loadavg: 6.78 7.12 5.32 2/212 19683
/proc/meminfo: memFree=24121908/32770624 swapFree=66976772/67108860
[pid=19661] ppid=19658 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19661/stat : 19661 (scop.sh) S 19658 19661 19095 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509759644 115843072 349 33554432000 4194304 5098028 140721741648352 140721741645608 139661356352124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13664256 140721741652733 140721741653080 140721741653080 140721741656009 0
/proc/19661/statm: 28282 349 296 221 0 87 0
[pid=19664] ppid=19661 vsize=27322516 memory=165184 CPUtime=0.99 cores=0-7
/proc/19664/stat : 19664 (java) S 19661 19661 19095 0 -1 1077944320 20413 0 0 0 91 8 0 0 20 0 20 0 509759645 27978256384 41296 33554432000 4194304 4196468 140722086960064 140722086942608 140539280396023 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
/proc/19664/statm: 6830629 41296 3184 1 0 6791959 0
[pid=19664/tid=19665] ppid=19661 vsize=27322516 memory=280968976481968 CPUtime=0.67 cores=0-7
/proc/19664/task/19665/stat : 19665 (java) R 19661 19661 19095 0 -1 4202560 17121 0 0 0 62 5 0 0 20 0 20 0 509759645 27978256384 41296 33554432000 4194304 4196468 140722086960064 140539252227760 140539273074037 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19666] ppid=19661 vsize=27322516 memory=140484488242032 CPUtime=0 cores=0-7
/proc/19664/task/19666/stat : 19666 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27978256384 41296 33554432000 4194304 4196468 140722086960064 140539284638864 140539280406229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19667] ppid=19661 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/19664/task/19667/stat : 19667 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759647 27978256384 41296 33554432000 4194304 4196468 140722086960064 140539115887632 140539280406229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0
[pid=19664/tid=19668] ppid=19661 vsize=27322516 memory=1060 CPUtime=0 cores=0-7
/proc/19664/task/19668/stat : 19668 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759647 27978256384 41296 33554432000 4194304 4196468 140722086960064 140538701786000 140539280406229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140722086961863 140722086962310 140722086962310 140722086965199 0

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

/proc/19684/task/19689/stat : 19689 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626914941200 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19690] ppid=19661 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/19684/task/19690/stat : 19690 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626913889424 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19691] ppid=19661 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/19684/task/19691/stat : 19691 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626912836624 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19692] ppid=19661 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/19684/task/19692/stat : 19692 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626911783824 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19693] ppid=19661 vsize=8414124 memory=10604 CPUtime=0 cores=0-7
/proc/19684/task/19693/stat : 19693 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626910731024 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19694] ppid=19661 vsize=8414124 memory=3636 CPUtime=0.01 cores=0-7
/proc/19684/task/19694/stat : 19694 (java) S 19661 19661 19095 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 24 0 509759890 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626659850608 139627432209026 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19695] ppid=19661 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/19684/task/19695/stat : 19695 (java) S 19661 19661 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509759891 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626031342624 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19696] ppid=19661 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/19684/task/19696/stat : 19696 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509759891 8616062976 30818 33554432000 4194304 4196468 140729038724640 139625762906992 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19697] ppid=19661 vsize=8414124 memory=6116 CPUtime=0 cores=0-7
/proc/19684/task/19697/stat : 19697 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509759893 8616062976 30818 33554432000 4194304 4196468 140729038724640 139625388398416 139627432216475 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19698] ppid=19661 vsize=8414124 memory=1060 CPUtime=0.04 cores=0-7
/proc/19684/task/19698/stat : 19698 (java) S 19661 19661 19095 0 -1 1077944384 455 0 0 0 4 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626658798448 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19699] ppid=19661 vsize=8414124 memory=320318721837236250 CPUtime=0.08 cores=0-7
/proc/19684/task/19699/stat : 19699 (java) S 19661 19661 19095 0 -1 1077944384 447 0 0 0 8 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626657745648 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19700] ppid=19661 vsize=8414124 memory=304556131815260474 CPUtime=0.05 cores=0-7
/proc/19684/task/19700/stat : 19700 (java) S 19661 19661 19095 0 -1 1077944384 258 0 0 0 5 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626656692848 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19701] ppid=19661 vsize=8414124 memory=14981057220971048 CPUtime=0.2 cores=0-7
/proc/19684/task/19701/stat : 19701 (java) S 19661 19661 19095 0 -1 1077944384 706 0 0 0 20 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626655640048 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19702] ppid=19661 vsize=8414124 memory=632304 CPUtime=0 cores=0-7
/proc/19684/task/19702/stat : 19702 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139624890493536 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19703] ppid=19661 vsize=8414124 memory=7883944108235712103 CPUtime=0.2 cores=0-7
/proc/19684/task/19703/stat : 19703 (java) S 19661 19661 19095 0 -1 1077944384 25 0 0 0 0 20 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626654587440 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19705] ppid=19661 vsize=8414124 memory=641 CPUtime=0 cores=0-7
/proc/19684/task/19705/stat : 19705 (java) S 19661 19661 19095 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509759960 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626646553664 139627432222489 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19707] ppid=19661 vsize=8414124 memory=-2827449378222515572 CPUtime=0.02 cores=0-7
/proc/19684/task/19707/stat : 19707 (java) S 19661 19661 19095 0 -1 4202560 1683 0 0 0 1 1 0 0 20 0 24 0 509759961 8616062976 30818 33554432000 4194304 4196468 140729038724640 139624219394192 139627432219805 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19708] ppid=19661 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/19684/task/19708/stat : 19708 (java) S 19661 19661 19095 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 509759961 8616062976 30818 33554432000 4194304 4196468 140729038724640 139624487829520 139627432219805 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19709] ppid=19661 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/19684/task/19709/stat : 19709 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509759963 8616062976 30818 33554432000 4194304 4196468 140729038724640 139623950966320 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
Current children cumulated CPU time: 2656.71 s
Current children cumulated vsize: 9319852 KiB
Current children cumulated memory: 732864 KiB

[startup+345.202 s]
/proc/loadavg: 8.14 7.70 6.13 9/225 19747
/proc/meminfo: memFree=23539348/32770624 swapFree=66976772/67108860
[pid=19661] ppid=19658 vsize=113128 memory=1476 CPUtime=5.57 cores=0-7
/proc/19661/stat : 19661 (scop.sh) S 19658 19661 19095 0 -1 4202496 582 27646 0 0 0 0 533 24 20 0 1 0 509759644 115843072 369 33554432000 4194304 5098028 140721741648352 140721741645096 139661356352124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13664256 140721741652733 140721741653080 140721741653080 140721741656009 0
/proc/19661/statm: 28282 369 311 221 0 87 0
[pid=19684] ppid=19661 vsize=8414124 memory=123272 CPUtime=1.4 cores=0-7
/proc/19684/stat : 19684 (java) S 19661 19661 19095 0 -1 1077944320 21740 0 0 0 129 11 0 0 20 0 24 0 509759887 8616062976 30818 33554432000 4194304 4196468 140729038724640 140729038707184 139627432197879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
/proc/19684/statm: 2103531 30818 3201 1 0 2064875 0
[pid=19704] ppid=19684 vsize=776208 memory=608152 CPUtime=2652.29 cores=0-7
/proc/19704/stat : 19704 (manyglucose-4.1) S 19684 19661 19095 0 -1 1077944320 1749738 0 0 0 264867 362 0 0 20 0 2 0 509759960 794836992 152038 33554432000 4194304 4454172 140734212682832 140734212681216 140364372090615 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 22630400 140734212686669 140734212686876 140734212686876 140734212689846 0
/proc/19704/statm: 194052 152038 423 64 0 189720 0
[pid=19704/tid=19716] ppid=19684 vsize=776208 memory=4872558044660077418 CPUtime=333.46 cores=0-7
/proc/19704/task/19716/stat : 19716 (manyglucose-4.1) R 19684 19661 19095 0 -1 4202560 220208 0 0 0 33301 45 0 0 20 0 2 0 509759984 794836992 152038 33554432000 4194304 4454172 140734212682832 140364287900704 4351205 0 4 0 8388610 0 0 0 -1 1 0 0 1 0 0 6552832 6554400 22630400 140734212686669 140734212686876 140734212686876 140734212689846 0
[pid=19684/tid=19685] ppid=19661 vsize=8414124 memory=7884227765709721944 CPUtime=0.74 cores=0-7
/proc/19684/task/19685/stat : 19685 (java) S 19661 19661 19095 0 -1 1077944384 16776 0 0 0 68 6 0 0 20 0 24 0 509759888 8616062976 30818 33554432000 4194304 4196468 140729038724640 139627404038048 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19686] ppid=19661 vsize=8414124 memory=7884227765709721944 CPUtime=0 cores=0-7
/proc/19684/task/19686/stat : 19686 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139627436440208 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19687] ppid=19661 vsize=8414124 memory=169170171894234 CPUtime=0 cores=0-7
/proc/19684/task/19687/stat : 19687 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139627242203664 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19688] ppid=19661 vsize=8414124 memory=1966804 CPUtime=0 cores=0-7
/proc/19684/task/19688/stat : 19688 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139627241150864 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19689] ppid=19661 vsize=8414124 memory=3617579279862495744 CPUtime=0 cores=0-7
/proc/19684/task/19689/stat : 19689 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626914941200 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19690] ppid=19661 vsize=8414124 memory=576461256399351847 CPUtime=0 cores=0-7
/proc/19684/task/19690/stat : 19690 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626913889424 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19691] ppid=19661 vsize=8414124 memory=1966804 CPUtime=0 cores=0-7
/proc/19684/task/19691/stat : 19691 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626912836624 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19692] ppid=19661 vsize=8414124 memory=3617579279862495744 CPUtime=0 cores=0-7
/proc/19684/task/19692/stat : 19692 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626911783824 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19693] ppid=19661 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19684/task/19693/stat : 19693 (java) S 19661 19661 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509759889 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626910731024 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19694] ppid=19661 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/19684/task/19694/stat : 19694 (java) S 19661 19661 19095 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 24 0 509759890 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626659850608 139627432209026 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19695] ppid=19661 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19684/task/19695/stat : 19695 (java) S 19661 19661 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509759891 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626031342624 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19696] ppid=19661 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19684/task/19696/stat : 19696 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509759891 8616062976 30818 33554432000 4194304 4196468 140729038724640 139625762906992 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19697] ppid=19661 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19684/task/19697/stat : 19697 (java) S 19661 19661 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509759893 8616062976 30818 33554432000 4194304 4196468 140729038724640 139625388398416 139627432216475 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19698] ppid=19661 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/19684/task/19698/stat : 19698 (java) S 19661 19661 19095 0 -1 1077944384 455 0 0 0 4 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626658798448 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19699] ppid=19661 vsize=8414124 memory=576461256399351847 CPUtime=0.08 cores=0-7
/proc/19684/task/19699/stat : 19699 (java) S 19661 19661 19095 0 -1 1077944384 447 0 0 0 8 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626657745648 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19700] ppid=19661 vsize=8414124 memory=1966804 CPUtime=0.05 cores=0-7
/proc/19684/task/19700/stat : 19700 (java) S 19661 19661 19095 0 -1 1077944384 258 0 0 0 5 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626656692848 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19701] ppid=19661 vsize=8414124 memory=3617579279862495744 CPUtime=0.2 cores=0-7
/proc/19684/task/19701/stat : 19701 (java) S 19661 19661 19095 0 -1 1077944384 706 0 0 0 20 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626655640048 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19702] ppid=19661 vsize=8414124 memory=576461256399351847 CPUtime=0 cores=0-7
/proc/19684/task/19702/stat : 19702 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139624890493536 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19703] ppid=19661 vsize=8414124 memory=1966804 CPUtime=0.2 cores=0-7
/proc/19684/task/19703/stat : 19703 (java) S 19661 19661 19095 0 -1 1077944384 25 0 0 0 0 20 0 0 20 0 24 0 509759895 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626654587440 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19705] ppid=19661 vsize=8414124 memory=576461256399351847 CPUtime=0 cores=0-7
/proc/19684/task/19705/stat : 19705 (java) S 19661 19661 19095 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509759960 8616062976 30818 33554432000 4194304 4196468 140729038724640 139626646553664 139627432222489 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19707] ppid=19661 vsize=8414124 memory=1966804 CPUtime=0.02 cores=0-7
/proc/19684/task/19707/stat : 19707 (java) S 19661 19661 19095 0 -1 4202560 1683 0 0 0 1 1 0 0 20 0 24 0 509759961 8616062976 30818 33554432000 4194304 4196468 140729038724640 139624219394192 139627432219805 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19708] ppid=19661 vsize=8414124 memory=576461256399351847 CPUtime=0 cores=0-7
/proc/19684/task/19708/stat : 19708 (java) S 19661 19661 19095 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 509759961 8616062976 30818 33554432000 4194304 4196468 140729038724640 139624487829520 139627432219805 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19709] ppid=19661 vsize=8414124 memory=576461256399351847 CPUtime=0 cores=0-7
/proc/19684/task/19709/stat : 19709 (java) S 19661 19661 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509759963 8616062976 30818 33554432000 4194304 4196468 140729038724640 139623950966320 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
Current children cumulated CPU time: 2659.26 s
Current children cumulated vsize: 9303460 KiB
Current children cumulated memory: 732900 KiB

[startup+345.301 s]
/proc/loadavg: 8.14 7.70 6.13 9/225 19747
/proc/meminfo: memFree=23539348/32770624 swapFree=66976772/67108860
[pid=19661] ppid=19658 vsize=113128 memory=1476 CPUtime=5.57 cores=0-7
/proc/19661/stat : 19661 (scop.sh) S 19658 19661 19095 0 -1 4202496 582 27646 0 0 0 0 533 24 20 0 1 0 509759644 115843072 369 33554432000 4194304 5098028 140721741648352 140721741645096 139661356352124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13664256 140721741652733 140721741653080 140721741653080 140721741656009 0
/proc/19661/statm: 28282 369 311 221 0 87 0
[pid=19684] ppid=19661 vsize=8283048 memory=128164 CPUtime=2653.95 cores=0-7
/proc/19684/stat : 19684 (java) S 19661 19661 19095 0 -1 1077944320 22557 1749930 0 0 149 12 264870 364 20 0 22 0 509759887 8481841152 32041 33554432000 4194304 4196468 140729038724640 140729038707184 139627432197879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
/proc/19684/statm: 2070762 32041 3224 1 0 2032106 0
[pid=19684/tid=19685] ppid=19661 vsize=8283048 memory=1476 CPUtime=2653.11 cores=0-7
/proc/19684/task/19685/stat : 19685 (java) R 19661 19661 19095 0 -1 4202560 16927 1749930 0 0 71 6 264870 364 20 0 22 0 509759888 8481841152 32041 33554432000 4194304 4196468 140729038724640 139627404027616 139627432209814 0 4 2 25189581 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19686] ppid=19661 vsize=8283048 memory=-2025810976467231676 CPUtime=2652.34 cores=0-7
/proc/19684/task/19686/stat : 19686 (java) S 19661 19661 19095 0 -1 1077944384 2 1749930 0 0 0 0 264870 364 20 0 22 0 509759889 8481841152 32041 33554432000 4194304 4196468 140729038724640 139627436440208 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19687] ppid=19661 vsize=8283048 memory=-6873162000112450758 CPUtime=2652.34 cores=0-7
/proc/19684/task/19687/stat : 19687 (java) S 19661 19661 19095 0 -1 1077944384 2 1749930 0 0 0 0 264870 364 20 0 22 0 509759889 8481841152 32041 33554432000 4194304 4196468 140729038724640 139627242203664 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19688] ppid=19661 vsize=8283048 memory=1216 CPUtime=2652.34 cores=0-7
/proc/19684/task/19688/stat : 19688 (java) S 19661 19661 19095 0 -1 1077944384 1 1749930 0 0 0 0 264870 364 20 0 22 0 509759889 8481841152 32041 33554432000 4194304 4196468 140729038724640 139627241150864 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19689] ppid=19661 vsize=8283048 memory=984 CPUtime=2652.34 cores=0-7
/proc/19684/task/19689/stat : 19689 (java) S 19661 19661 19095 0 -1 1077944384 3 1749930 0 0 0 0 264870 364 20 0 22 0 509759889 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626914941200 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19690] ppid=19661 vsize=8283048 memory=607860 CPUtime=2652.34 cores=0-7
/proc/19684/task/19690/stat : 19690 (java) S 19661 19661 19095 0 -1 1077944384 2 1749930 0 0 0 0 264870 364 20 0 22 0 509759889 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626913889424 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19691] ppid=19661 vsize=8283048 memory=288230583166042426 CPUtime=2652.34 cores=0-7
/proc/19684/task/19691/stat : 19691 (java) S 19661 19661 19095 0 -1 1077944384 2 1749930 0 0 0 0 264870 364 20 0 22 0 509759889 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626912836624 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19692] ppid=19661 vsize=8283048 memory=7649399358428231985 CPUtime=2652.34 cores=0-7
/proc/19684/task/19692/stat : 19692 (java) S 19661 19661 19095 0 -1 1077944384 1 1749930 0 0 0 0 264870 364 20 0 22 0 509759889 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626911783824 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19693] ppid=19661 vsize=8283048 memory=7649399362723199281 CPUtime=2652.34 cores=0-7
/proc/19684/task/19693/stat : 19693 (java) S 19661 19661 19095 0 -1 1077944384 2 1749930 0 0 0 0 264870 364 20 0 22 0 509759889 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626910731024 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19694] ppid=19661 vsize=8283048 memory=-8887119817887478162 CPUtime=2652.35 cores=0-7
/proc/19684/task/19694/stat : 19694 (java) S 19661 19661 19095 0 -1 1077944384 8 1749930 0 0 1 0 264870 364 20 0 22 0 509759890 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626659850608 139627432209026 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19695] ppid=19661 vsize=8283048 memory=776 CPUtime=2652.34 cores=0-7
/proc/19684/task/19695/stat : 19695 (java) S 19661 19661 19095 0 -1 1077944384 13 1749930 0 0 0 0 264870 364 20 0 22 0 509759891 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626031342624 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19696] ppid=19661 vsize=8283048 memory=1476 CPUtime=2652.34 cores=0-7
/proc/19684/task/19696/stat : 19696 (java) S 19661 19661 19095 0 -1 1077944384 1 1749930 0 0 0 0 264870 364 20 0 22 0 509759891 8481841152 32041 33554432000 4194304 4196468 140729038724640 139625762906992 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19697] ppid=19661 vsize=8283048 memory=120644 CPUtime=2652.34 cores=0-7
/proc/19684/task/19697/stat : 19697 (java) S 19661 19661 19095 0 -1 1077944384 1 1749930 0 0 0 0 264870 364 20 0 22 0 509759893 8481841152 32041 33554432000 4194304 4196468 140729038724640 139625388398416 139627432216475 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19698] ppid=19661 vsize=8283048 memory=-8887119817887478162 CPUtime=2652.41 cores=0-7
/proc/19684/task/19698/stat : 19698 (java) R 19661 19661 19095 0 -1 4202560 661 1749930 0 0 7 0 264870 364 20 0 22 0 509759895 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626658798448 139627432209026 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19699] ppid=19661 vsize=8283048 memory=4872558044660077418 CPUtime=2652.45 cores=0-7
/proc/19684/task/19699/stat : 19699 (java) S 19661 19661 19095 0 -1 1077944384 578 1749930 0 0 11 0 264870 364 20 0 22 0 509759895 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626657745648 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19700] ppid=19661 vsize=8283048 memory=123272 CPUtime=2652.42 cores=0-7
/proc/19684/task/19700/stat : 19700 (java) S 19661 19661 19095 0 -1 1077944384 289 1749930 0 0 8 0 264870 364 20 0 22 0 509759895 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626656692848 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19701] ppid=19661 vsize=8283048 memory=621340 CPUtime=2652.58 cores=0-7
/proc/19684/task/19701/stat : 19701 (java) R 19661 19661 19095 0 -1 4202560 837 1749930 0 0 24 0 264870 364 20 0 22 0 509759895 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626655640048 139627432209814 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19702] ppid=19661 vsize=8283048 memory=1476 CPUtime=2652.34 cores=0-7
/proc/19684/task/19702/stat : 19702 (java) S 19661 19661 19095 0 -1 1077944384 3 1749930 0 0 0 0 264870 364 20 0 22 0 509759895 8481841152 32041 33554432000 4194304 4196468 140729038724640 139624890493536 139627432208085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19703] ppid=19661 vsize=8283048 memory=1436 CPUtime=2652.54 cores=0-7
/proc/19684/task/19703/stat : 19703 (java) S 19661 19661 19095 0 -1 1077944384 25 1749930 0 0 0 20 264870 364 20 0 22 0 509759895 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626654587440 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19705] ppid=19661 vsize=8283048 memory=580 CPUtime=2652.34 cores=0-7
/proc/19684/task/19705/stat : 19705 (java) S 19661 19661 19095 0 -1 1077944384 24 1749930 0 0 0 0 264870 364 20 0 22 0 509759960 8481841152 32041 33554432000 4194304 4196468 140729038724640 139626646552848 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
[pid=19684/tid=19709] ppid=19661 vsize=8283048 memory=7156619387647912042 CPUtime=2652.34 cores=0-7
/proc/19684/task/19709/stat : 19709 (java) S 19661 19661 19095 0 -1 1077944384 7 1749930 0 0 0 0 264870 364 20 0 22 0 509759963 8481841152 32041 33554432000 4194304 4196468 140729038724640 139623950968112 139627432209026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140729038726111 140729038726278 140729038726278 140729038729167 0
Current children cumulated CPU time: 2659.52 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129640 KiB

Child status: 0
Real time (s): 345.39
CPU time (s): 2659.71
CPU user time (s): 2655.68
CPU system time (s): 4.02607
CPU usage (%): 770.06
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 757696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2655.68
system time used= 4.02607
maximum resident set size= 748848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1800989
page faults= 0
swaps= 0
block input operations= 16
block output operations= 5824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23700
involuntary context switches= 28707


# summary of solver processes directly reported to runsolver:
#   pid: 19661
#   total CPU time (s): 2659.71
#   total CPU user time (s): 2655.68
#   total CPU system time (s): 4.02607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.29355 second user time and 4.85145 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-24 17:15:55
IDJOB=4405276
IDBENCH=127917
IDSOLVER=2867
FILE ID=node124/4405276-1569338196
RUNJOBID= node124-1569335938-19122
PBS_JOBID= 21705061
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-023.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 /var/tmp/evaluation-result-4405276-1569338196/watcher-4405276-1569338196 -o /var/tmp/evaluation-result-4405276-1569338196/solver-4405276-1569338196 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --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-4405276-1569338196.xml

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

MD5SUM BENCH= f753def11f9f341c6e9dbf54b2480dee
RANDOM SEED=693132921

node124.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.47
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.47
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.47
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.47
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:        24265256 kB
MemAvailable:   31813932 kB
Buffers:          133276 kB
Cached:          7500108 kB
SwapCached:        29076 kB
Active:          3792900 kB
Inactive:        3876064 kB
Active(anon):       2328 kB
Inactive(anon):    90604 kB
Active(file):    3790572 kB
Inactive(file):  3785460 kB
Unevictable:      108336 kB
Mlocked:          108336 kB
SwapTotal:      67108860 kB
SwapFree:       66976772 kB
Dirty:             20240 kB
Writeback:             4 kB
AnonPages:        114980 kB
Mapped:            57100 kB
Shmem:             49092 kB
Slab:             429700 kB
SReclaimable:     401104 kB
SUnreclaim:        28596 kB
KernelStack:        3376 kB
PageTables:         6116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node124 at 2019-09-24 17:21:40