Trace number 4405691

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 2196.64 283.855

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-30-098.xml
MD5SUMfb27cd1d2814d0f1760e6f4b9d041fef
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 benchmark153.956
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints435
Number of domains30
Minimum domain size69
Maximum domain size98
Distribution of domain sizes[{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2},{"size":93,"count":2},{"size":94,"count":2},{"size":95,"count":2},{"size":96,"count":2},{"size":97,"count":2},{"size":98,"count":2}]
Minimum variable degree29
Maximum variable degree29
Distribution of variable degrees[{"degree":29,"count":60}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":435}]
Number of extensional constraints0
Number of intensional constraints435
Distribution of constraint types[{"type":"intension","count":435}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22635-serial-file.bin HOME/instance-4405691-1569365583.xml
0.65/0.55	
0.65/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.57	c BEGIN-Prog: Wed Sep 25 00:52:25 CEST 2019
0.65/0.57	c PID: 22638
0.65/0.57	c IP: 172.20.3.149
0.65/0.57	c HOST: node149.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.59/1.24	c (0,0) Parsing End
2.59/1.24	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98
2.59/1.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.59/1.24	c (0,0) Constraint Name Generate Begin
2.59/1.26	c (0,0) Ctr:HOME/instance-4405691-1569365583.xml,Add:Le:Num:Or:Var
2.59/1.26	c (0,0) Constraint Name Generate End
2.59/1.26	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.59/1.26	c (0,0) CSP to CSPinCNF Begin
3.24/1.40	c (0,0) translated 44 (10%) constraints
3.24/1.43	c (0,0) translated 87 (20%) constraints
3.24/1.46	c (0,0) translated 131 (30%) constraints
3.24/1.47	c (0,0) translated 174 (40%) constraints
3.24/1.49	c (0,0) translated 218 (50%) constraints
3.59/1.50	c (0,0) translated 261 (60%) constraints
3.59/1.51	c (0,0) translated 305 (70%) constraints
3.59/1.52	c (0,0) translated 348 (80%) constraints
3.59/1.53	c (0,0) translated 392 (90%) constraints
3.59/1.54	c (0,0) translated 435 (100%) constraints
3.59/1.54	c (0,0) ===========================================
3.59/1.56	c (1,1) Hybrid: #OE=60, #LE=0
3.59/1.56	c (1,1) Hybrid
3.59/1.56	c (1,1) ===========================================
3.59/1.58	c (1,1) translated 44 (10%) constraints
3.59/1.58	c (1,1) translated 87 (20%) constraints
3.59/1.59	c (1,1) translated 131 (30%) constraints
3.59/1.60	c (1,1) translated 174 (40%) constraints
3.92/1.60	c (1,1) translated 218 (50%) constraints
3.92/1.61	c (1,1) translated 261 (60%) constraints
3.92/1.61	c (1,1) translated 305 (70%) constraints
3.92/1.61	c (1,1) translated 348 (80%) constraints
3.92/1.62	c (1,1) translated 392 (90%) constraints
3.92/1.62	c (1,1) translated 435 (100%) constraints
3.92/1.63	c (1,1) CSP to CSPinCNF End
3.92/1.63	c (1,1) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98
3.92/1.63	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.92/1.63	c (1,1) CSPinCNF Propagation Begin
3.92/1.65	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.92/1.65	c (1,1) CSPinCNF Propagation End
3.92/1.65	c (1,1) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98
3.92/1.65	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.92/1.66	c (1,1) Hybrid: #OE=60, #LE=0
3.92/1.66	c (1,1) Simplify CSPinCNF Begin
4.21/1.78	c (1,1) Simplify CSPinCNF End
4.21/1.78	c (1,1) CSP: 60 int (0 aux), 1740 bool (1740 aux), 2175 ctr, max domain size 98
4.21/1.78	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.21/1.78	c (1,1) Calculate Precise Domain Begin
4.21/1.79	c (1,1) 0 values are removed by re-calculation
4.21/1.79	c (1,1) Calculate Precise Domain End
4.21/1.79	c (1,1) CSP: 60 int (0 aux), 1740 bool (1740 aux), 2175 ctr, max domain size 98
4.21/1.79	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.21/1.79	c (1,1) CSPinCNF to SatSolver Begin
5.62/2.11	c (1,1) 218 (10 %) CSP clauses are encoded (0 SAT variables, 19599 SAT clauses)
5.99/2.20	c (1,1) 435 (20 %) CSP clauses are encoded (0 SAT variables, 33364 SAT clauses)
5.99/2.27	c (1,1) 653 (30 %) CSP clauses are encoded (0 SAT variables, 47010 SAT clauses)
6.17/2.34	c (1,1) 870 (40 %) CSP clauses are encoded (0 SAT variables, 60181 SAT clauses)
6.33/2.40	c (1,1) 1088 (50 %) CSP clauses are encoded (0 SAT variables, 72772 SAT clauses)
6.33/2.46	c (1,1) 1305 (60 %) CSP clauses are encoded (0 SAT variables, 84757 SAT clauses)
6.44/2.51	c (1,1) 1523 (70 %) CSP clauses are encoded (0 SAT variables, 96237 SAT clauses)
6.44/2.56	c (2,2) 1740 (80 %) CSP clauses are encoded (0 SAT variables, 106960 SAT clauses)
6.59/2.61	c (2,2) 1958 (90 %) CSP clauses are encoded (0 SAT variables, 116806 SAT clauses)
6.59/2.65	c (2,2) 2175 (100 %) CSP clauses are encoded (0 SAT variables, 125344 SAT clauses)
6.59/2.65	c (2,2) CSPinCNF to SatSolver End
6.59/2.65	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.59/2.65	c (2,2) 6690 bool, 125385 clause
6.59/2.65	c (2,2) Export Begin
6.77/2.73	c (2,2) Export to HOME/scop-22635-serial-file.bin
6.77/2.73	c (2,2) Export End
6.77/2.73	c (2,2) Export File Size: 0.01 MB
6.77/2.73	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
6.77/2.73	c END-Prog: Wed Sep 25 00:52:27 CEST 2019
6.77/2.76	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22635-serial-file.bin
7.43/3.22	c (0,0) Read Serial File Begin
7.43/3.22	c (0,0) HOME/scop-22635-serial-file.bin
7.71/3.42	c (0,0) Read Serial File End
7.71/3.43	
7.71/3.43	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.71/3.43	(Solving Process)
7.71/3.43	
7.71/3.45	c BEGIN-Prog: Wed Sep 25 00:52:28 CEST 2019
7.71/3.45	c PID: 22660
7.71/3.45	c IP: 172.20.3.149
7.71/3.45	c HOST: node149.alineos.net
7.71/3.45	c (0,0) SatSolver.solve Begin
7.71/3.45	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405691-1569365583.xml-scop-22638.cnf
7.71/3.48	c (0,0) c
7.71/3.48	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
7.71/3.48	c (0,0) c
7.71/3.48	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.71/3.48	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.71/3.48	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.71/3.48	c (0,0) c |                                                                                                       |
7.93/3.52	c (0,0) c |  Number of variables:          6690                                                                   |
7.93/3.52	c (0,0) c |  Number of clauses:          125385                                                                   |
7.93/3.52	c (0,0) c |  Parse time:                   0.04 s                                                                 |
7.93/3.52	c (0,0) c |                                                                                                       |
7.98/3.64	c (0,0) c |  Simplification time:          0.12 s                                                                 |
7.98/3.64	c (0,0) c |                                                                                                       |
7.98/3.64	c (0,0) c |  Generating clones                                                                                    |
7.98/3.68	c (0,0) c |  all clones generated. Memory =    93.51Mb.                                                           |
7.98/3.68	c (0,0) c ========================================================================================================|
7.98/3.68	c (0,0) c
7.98/3.68	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.98/3.68	c (0,0) c
7.98/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.98/3.68	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.98/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.98/3.68	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.98/3.68	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.98/3.68	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.98/3.68	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.98/3.68	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.98/3.68	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.98/3.68	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.98/3.68	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.98/3.68	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.98/3.68	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.98/3.68	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.98/3.68	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.98/3.68	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.98/3.68	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.98/3.68	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.98/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
240.32/32.87	c (29,0) c
240.32/32.87	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
240.32/32.87	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.32/32.87	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
240.32/32.87	c (29,0) c |  0 |   1004 |     735290 |     232246 |    59874 |    34079 |    33668 |   223256 |    16413 |      267 |  20 |  0.000 |
240.32/32.87	c (29,0) c |  1 |    945 |     710018 |     229422 |    59449 |    31258 |    33222 |   221145 |    16050 |      263 |  20 |  0.000 |
240.32/32.87	c (29,0) c |  2 |   1097 |     759352 |     240016 |    59202 |    41827 |    34229 |   227591 |    17201 |      275 |  20 |  0.000 |
240.32/32.87	c (29,0) c |  3 |   1127 |     766780 |     240788 |    58711 |    42612 |    34501 |   230602 |    17308 |      280 |  20 |  0.000 |
240.32/32.87	c (29,0) c |  4 |   1011 |     754480 |     242543 |    59754 |    44366 |    34987 |   230278 |    16992 |      280 |  20 |  0.000 |
240.32/32.87	c (29,0) c |  5 |    948 |     738781 |     242419 |    57554 |    44237 |    35158 |   229327 |    17136 |      279 |  20 |  0.000 |
240.32/32.87	c (29,0) c |  6 |   1104 |     748142 |     234072 |    58828 |    35902 |    33503 |   224148 |    16631 |      268 |  20 |  0.000 |
240.32/32.87	c (29,0) c |  7 |   1030 |     757251 |     241525 |    60565 |    43338 |    34708 |   230448 |    17119 |      280 |  20 |  0.000 |
240.32/32.87	c (29,0) c 
240.32/32.87	c (29,0) c synthesis     1903035 conflicts   355289069 propagations     8190 conflicts/sec  1529109 propagations/sec
240.32/32.87	c (29,0) c real: 29.3967 s, cpu: 232.35 s, memory: 669.34 Mb
475.71/62.87	c (59,0) c
475.71/62.87	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
475.71/62.87	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
475.71/62.87	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
475.71/62.87	c (59,0) c |  0 |   1748 |    1224747 |     394376 |    63781 |    47794 |    52540 |   357704 |    28828 |      531 |  20 |  0.000 |
475.71/62.87	c (59,0) c |  1 |   1685 |    1184299 |     387026 |    61461 |    81463 |    51046 |   354545 |    28398 |      521 |  20 |  0.000 |
475.71/62.87	c (59,0) c |  2 |   1799 |    1243927 |     404013 |    62905 |    57432 |    53369 |   361684 |    29129 |      541 |  20 |  0.000 |
475.71/62.87	c (59,0) c |  3 |   1854 |    1248261 |     401544 |    63960 |    54968 |    52841 |   362255 |    29272 |      541 |  20 |  0.000 |
475.71/62.87	c (59,0) c |  4 |   1766 |    1236282 |     400212 |    63194 |    53640 |    53289 |   361374 |    29277 |      540 |  20 |  0.000 |
475.71/62.87	c (59,0) c |  5 |   1700 |    1227567 |     401603 |    65376 |    55015 |    53706 |   361603 |    29147 |      541 |  20 |  0.000 |
475.71/62.87	c (59,0) c |  6 |   1876 |    1229387 |     392786 |    62218 |    46204 |    51794 |   356144 |    28809 |      526 |  20 |  0.000 |
475.71/62.87	c (59,0) c |  7 |   1763 |    1243159 |     402203 |    63245 |    55637 |    53054 |   362010 |    29271 |      541 |  20 |  0.000 |
475.71/62.87	c (59,0) c 
475.71/62.87	c (59,0) c synthesis     3183764 conflicts   607744097 propagations     6809 conflicts/sec  1299832 propagations/sec
475.71/62.87	c (59,0) c real: 59.3967 s, cpu: 467.556 s, memory: 819.34 Mb
702.57/91.87	c (88,0) c
702.57/91.87	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
702.57/91.87	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
702.57/91.87	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
702.57/91.87	c (88,0) c |  0 |   2343 |    1621728 |     530577 |    65678 |    94193 |    67140 |   461037 |    37898 |      786 |  20 |  0.000 |
702.57/91.87	c (88,0) c |  1 |   2253 |    1575070 |     520634 |    63565 |    84253 |    65654 |   454712 |    37136 |      766 |  20 |  0.000 |
702.57/91.87	c (88,0) c |  2 |   2466 |    1633849 |     534005 |    64293 |    48828 |    66983 |   460817 |    37949 |      785 |  20 |  0.000 |
702.57/91.87	c (88,0) c |  3 |   2497 |    1635488 |     530371 |    66096 |    93996 |    66434 |   461707 |    37667 |      786 |  20 |  0.000 |
702.57/91.87	c (88,0) c |  4 |   2380 |    1626518 |     529829 |    65508 |    93460 |    67332 |   461360 |    37886 |      786 |  20 |  0.000 |
702.57/91.87	c (88,0) c |  5 |   2231 |    1603667 |     531537 |    67483 |    95151 |    68128 |   460443 |    37697 |      786 |  20 |  0.000 |
702.57/91.87	c (88,0) c |  6 |   2580 |    1648270 |     531479 |    63873 |    95091 |    66587 |   462116 |    38070 |      786 |  20 |  0.000 |
702.57/91.87	c (88,0) c |  7 |   2451 |    1633739 |     531791 |    65605 |    95416 |    66185 |   462473 |    38144 |      786 |  20 |  0.000 |
702.57/91.87	c (88,0) c 
702.57/91.87	c (88,0) c synthesis     4240224 conflicts   817849106 propagations     6111 conflicts/sec  1178606 propagations/sec
702.57/91.87	c (88,0) c real: 88.3967 s, cpu: 693.912 s, memory: 937.94 Mb
932.21/120.88	c (117,0) c
932.21/120.88	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
932.21/120.88	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
932.21/120.88	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
932.21/120.88	c (117,0) c |  0 |   2872 |    1965305 |     647368 |    66349 |    56781 |    79053 |   545212 |    45097 |     1028 |  20 |  0.000 |
932.21/120.88	c (117,0) c |  1 |   2798 |    1937464 |     645077 |    66579 |    54494 |    78637 |   543986 |    44673 |     1023 |  20 |  0.000 |
932.21/120.88	c (117,0) c |  2 |   3120 |    1994856 |     652750 |    66071 |    62188 |    78706 |   546586 |    45261 |     1031 |  20 |  0.000 |
932.21/120.88	c (117,0) c |  3 |   3102 |    1998581 |     654432 |    67494 |    63855 |    79091 |   550065 |    45098 |     1042 |  20 |  0.000 |
932.21/120.88	c (117,0) c |  4 |   2939 |    1978084 |     647358 |    66458 |    56781 |    79504 |   545520 |    45125 |     1031 |  20 |  0.000 |
932.21/120.88	c (117,0) c |  5 |   2750 |    1935721 |     645932 |    68311 |    55365 |    79831 |   542771 |    44600 |     1023 |  20 |  0.000 |
932.21/120.88	c (117,0) c |  6 |   3239 |    2006169 |     650966 |    64640 |    60371 |    78390 |   547342 |    45519 |     1032 |  20 |  0.000 |
932.21/120.88	c (117,0) c |  7 |   3064 |    1988842 |     651120 |    66410 |    60548 |    78425 |   547322 |    45422 |     1032 |  20 |  0.000 |
932.21/120.88	c (117,0) c 
932.21/120.88	c (117,0) c synthesis     5195003 conflicts  1010243453 propagations     5626 conflicts/sec  1094048 propagations/sec
932.21/120.88	c (117,0) c real: 117.397 s, cpu: 923.4 s, memory: 819.39 Mb
1152.82/149.87	c (146,0) c
1152.82/149.87	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1152.82/149.87	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1152.82/149.87	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1152.82/149.87	c (146,0) c |  0 |   3388 |    2284704 |     755575 |    68698 |   108392 |    89933 |   619949 |    51334 |     1267 |  20 |  0.000 |
1152.82/149.87	c (146,0) c |  1 |   3325 |    2237751 |     747448 |    66994 |   100276 |    88566 |   615508 |    50604 |     1248 |  20 |  0.000 |
1152.82/149.87	c (146,0) c |  2 |   3674 |    2314027 |     759241 |    66404 |   112066 |    89088 |   621418 |    51478 |     1268 |  20 |  0.000 |
1152.82/149.87	c (146,0) c |  3 |   3640 |    2310036 |     756974 |    69762 |   109798 |    89314 |   620803 |    51026 |     1268 |  20 |  0.000 |
1152.82/149.87	c (146,0) c |  4 |   3437 |    2283413 |     753504 |    66781 |   106324 |    89817 |   620450 |    51287 |     1267 |  20 |  0.000 |
1152.82/149.87	c (146,0) c |  5 |   3295 |    2256948 |     756331 |    68645 |   109165 |    90436 |   619733 |    51069 |     1267 |  20 |  0.000 |
1152.82/149.87	c (146,0) c |  6 |   3795 |    2325564 |     756953 |    65741 |   109762 |    88948 |   621509 |    51728 |     1268 |  20 |  0.000 |
1152.82/149.87	c (146,0) c |  7 |   3580 |    2299258 |     758202 |    67635 |   111031 |    88932 |   621553 |    51378 |     1268 |  20 |  0.000 |
1152.82/149.87	c (146,0) c 
1152.82/149.87	c (146,0) c synthesis     6044228 conflicts  1182218188 propagations     5286 conflicts/sec  1033841 propagations/sec
1152.82/149.87	c (146,0) c real: 146.397 s, cpu: 1143.52 s, memory: 937.94 Mb
1379.24/178.87	c (175,0) c
1379.24/178.87	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1379.24/178.87	c (175,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1379.24/178.87	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1379.24/178.87	c (175,0) c |  0 |   3848 |    2570654 |     854105 |    69115 |    85933 |    99667 |   686453 |    56725 |     1497 |  20 |  0.000 |
1379.24/178.87	c (175,0) c |  1 |   3855 |    2549821 |     853800 |    67397 |    85615 |    98539 |   687287 |    56562 |     1496 |  20 |  0.000 |
1379.24/178.87	c (175,0) c |  2 |   4152 |    2615160 |     865507 |    66930 |    97318 |    99298 |   691560 |    57109 |     1512 |  20 |  0.000 |
1379.24/178.87	c (175,0) c |  3 |   4086 |    2613367 |     865673 |    70081 |    97485 |    99985 |   690786 |    56708 |     1512 |  20 |  0.000 |
1379.24/178.87	c (175,0) c |  4 |   3934 |    2594377 |     860920 |    67241 |    92736 |    99823 |   692047 |    57261 |     1516 |  20 |  0.000 |
1379.24/178.87	c (175,0) c |  5 |   3823 |    2562092 |     860924 |    68946 |    92750 |   100494 |   690522 |    56884 |     1513 |  20 |  0.000 |
1379.24/178.87	c (175,0) c |  6 |   4307 |    2622957 |     859711 |    66916 |    91527 |    98554 |   691091 |    57260 |     1509 |  20 |  0.000 |
1379.24/178.87	c (175,0) c |  7 |   4044 |    2601842 |     864729 |    70346 |    96548 |    99180 |   691790 |    57183 |     1512 |  20 |  0.000 |
1379.24/178.87	c (175,0) c 
1379.24/178.87	c (175,0) c synthesis     6885369 conflicts  1353355836 propagations     5027 conflicts/sec   988111 propagations/sec
1379.24/178.87	c (175,0) c real: 175.397 s, cpu: 1369.64 s, memory: 937.94 Mb
1615.24/208.88	c (205,0) c
1615.24/208.88	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1615.24/208.88	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1615.24/208.88	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1615.24/208.88	c (205,0) c |  0 |   4383 |    2880859 |     959369 |    69548 |   126790 |   109611 |   757225 |    62353 |     1762 |  20 |  0.000 |
1615.24/208.88	c (205,0) c |  1 |   4373 |    2851804 |     956354 |    67548 |   123765 |   108380 |   755301 |    62091 |     1752 |  20 |  0.000 |
1615.24/208.88	c (205,0) c |  2 |   4584 |    2897552 |     966424 |    68210 |   133842 |   108951 |   758381 |    62414 |     1764 |  20 |  0.000 |
1615.24/208.88	c (205,0) c |  3 |   4553 |    2888974 |     960926 |    71441 |   128341 |   108802 |   753874 |    61823 |     1748 |  20 |  0.000 |
1615.24/208.88	c (205,0) c |  4 |   4408 |    2863781 |     952138 |    68023 |   119551 |   108343 |   753487 |    62170 |     1745 |  20 |  0.000 |
1615.24/208.88	c (205,0) c |  5 |   4288 |    2856581 |     961937 |    70180 |   129361 |   110130 |   757276 |    62330 |     1764 |  20 |  0.000 |
1615.24/208.88	c (205,0) c |  6 |   4777 |    2909564 |     960555 |    67457 |   127973 |   107810 |   758616 |    62525 |     1761 |  20 |  0.000 |
1615.24/208.88	c (205,0) c |  7 |   4488 |    2889575 |     965345 |    70704 |   132771 |   108326 |   759057 |    62477 |     1764 |  20 |  0.000 |
1615.24/208.88	c (205,0) c 
1615.24/208.88	c (205,0) c synthesis     7683048 conflicts  1515962896 propagations     4786 conflicts/sec   944283 propagations/sec
1615.24/208.88	c (205,0) c real: 205.403 s, cpu: 1605.41 s, memory: 1063.90 Mb
1854.15/238.88	c (235,0) c
1854.15/238.88	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1854.15/238.88	c (235,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1854.15/238.88	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1854.15/238.88	c (235,0) c |  0 |   4911 |    3165176 |    1058152 |    70029 |    88980 |   118438 |   821285 |    67378 |     2020 |  20 |  0.000 |
1854.15/238.88	c (235,0) c |  1 |   4840 |    3132948 |    1055236 |    67655 |    86057 |   117843 |   817233 |    66973 |     2004 |  20 |  0.000 |
1854.15/238.88	c (235,0) c |  2 |   5048 |    3167354 |    1060270 |    68586 |    91095 |   117444 |   816631 |    67137 |     2000 |  20 |  0.000 |
1854.15/238.88	c (235,0) c |  3 |   5052 |    3190343 |    1068229 |    72357 |    99045 |   118468 |   820152 |    67110 |     2016 |  20 |  0.000 |
1854.15/238.88	c (235,0) c |  4 |   4903 |    3166740 |    1057615 |    69027 |    88424 |   117983 |   821081 |    67641 |     2018 |  20 |  0.000 |
1854.15/238.88	c (235,0) c |  5 |   4782 |    3136598 |    1059534 |    70329 |    90354 |   118797 |   819667 |    67368 |     2016 |  20 |  0.000 |
1854.15/238.88	c (235,0) c |  6 |   5236 |    3201170 |    1062209 |    69589 |    93018 |   117021 |   821116 |    67421 |     2014 |  20 |  0.000 |
1854.15/238.88	c (235,0) c |  7 |   4972 |    3159139 |    1058707 |    70984 |    89533 |   116422 |   818127 |    67143 |     2002 |  20 |  0.000 |
1854.15/238.88	c (235,0) c 
1854.15/238.88	c (235,0) c synthesis     8479953 conflicts  1679328194 propagations     4599 conflicts/sec   910729 propagations/sec
1854.15/238.88	c (235,0) c real: 235.406 s, cpu: 1843.94 s, memory: 997.48 Mb
2085.91/268.87	c (265,0) c
2085.91/268.87	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2085.91/268.87	c (265,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2085.91/268.87	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2085.91/268.87	c (265,0) c |  0 |   5348 |    3419746 |    1147663 |    70236 |   106279 |   126246 |   880573 |    71770 |     2265 |  20 |  0.000 |
2085.91/268.87	c (265,0) c |  1 |   5238 |    3402798 |    1152959 |    68291 |   111586 |   127170 |   878810 |    71518 |     2263 |  20 |  0.000 |
2085.91/268.87	c (265,0) c |  2 |   5494 |    3437181 |    1155510 |    69282 |   114160 |   126166 |   876263 |    71626 |     2249 |  20 |  0.000 |
2085.91/268.87	c (265,0) c |  3 |   5493 |    3456519 |    1162376 |    72561 |   121004 |   127148 |   880868 |    71595 |     2269 |  20 |  0.000 |
2085.91/268.87	c (265,0) c |  4 |   5380 |    3435168 |    1151180 |    69187 |   109793 |   126479 |   881447 |    72118 |     2269 |  20 |  0.000 |
2085.91/268.87	c (265,0) c |  5 |   5218 |    3402783 |    1153646 |    71586 |   112283 |   127488 |   880018 |    71849 |     2268 |  20 |  0.000 |
2085.91/268.87	c (265,0) c |  6 |   5698 |    3473159 |    1158074 |    70181 |   116683 |   125876 |   881786 |    71974 |     2268 |  20 |  0.000 |
2085.91/268.87	c (265,0) c |  7 |   5446 |    3427321 |    1152703 |    72042 |   111336 |   124658 |   878680 |    71915 |     2252 |  20 |  0.000 |
2085.91/268.87	c (265,0) c 
2085.91/268.87	c (265,0) c synthesis     9234111 conflicts  1835270584 propagations     4450 conflicts/sec   884371 propagations/sec
2085.91/268.87	c (265,0) c real: 265.397 s, cpu: 2075.23 s, memory: 997.48 Mb
2196.11/283.67	c (280,0) c
2196.11/283.67	c (280,0) c real time : 280.193 s
2196.11/283.67	c (280,0) c cpu time  : 2184.83 s
2196.11/283.67	c (280,0) c
2196.11/283.67	c (280,0) c
2196.11/283.67	c (280,0) c
2196.11/283.67	c (280,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2196.11/283.67	c (280,0) c
2196.11/283.67	c (280,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.67	c (280,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2196.11/283.67	c (280,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.67	c (280,0) c | Conflicts     |         9572923 |    1188579 |    1195671 |    1202679 |    1205234 |    1189303 |    1193930 |    1198481 |    1199046 |
2196.11/283.67	c (280,0) c | Decisions     |        28419864 |    3535116 |    3517435 |    3573090 |    3580787 |    3546073 |    3515500 |    3590519 |    3561344 |
2196.11/283.67	c (280,0) c | Propagations  |      1905599724 |  235833986 |  236139030 |  240213188 |  241125869 |  235877482 |  236332911 |  239829631 |  240247627 |
2196.11/283.67	c (280,0) c | ReduceDBs     |             238 |         29 |         30 |         30 |         30 |         29 |         30 |         30 |         30 |
2196.11/283.67	c (280,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2196.11/283.67	c (280,0) c | Restarts      |           44943 |       5529 |       5411 |       5752 |       5690 |       5574 |       5379 |       5913 |       5695 |
2196.11/283.67	c (280,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2196.11/283.67	c (280,0) c | PropBinClauses|      2147585616 |  265811501 |  266132596 |  270859435 |  271741928 |  265562136 |  266368653 |  270186720 |  270922647 |
2196.11/283.67	c (280,0) c | PropPreBlocker|     67931786805 | 8460037561 | 8468070015 | 8527179537 | 8532732738 | 8446098654 | 8454771854 | 8520010542 | 8522885904 |
2196.11/283.67	c (280,0) c | PropNotBlocker|     16605673423 | 2091443536 | 2080269252 | 2061846342 | 2053376021 | 2100968245 | 2086299551 | 2067277184 | 2064193292 |
2196.11/283.67	c (280,0) c | LitFullScans  |    114487666339 |14310862428 |14310815106 |14310811163 |14311868511 |14310856229 |14310833863 |14310805896 |14310813143 |
2196.11/283.67	c (280,0) c | LitScanFracts |         6564094 |     853738 |     809219 |     806255 |     816323 |     841314 |     830094 |     796162 |     810989 |
2196.11/283.67	c (280,0) c | DecisionLevel0|           44943 |       5529 |       5411 |       5752 |       5690 |       5574 |       5379 |       5913 |       5695 |
2196.11/283.67	c (280,0) c | Periods       |           19080 |       2385 |       2385 |       2385 |       2385 |       2385 |       2385 |       2385 |       2385 |
2196.11/283.67	c (280,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2196.11/283.67	c (280,0) c | Avg_Trail     |                 |       2862 |       2861 |       2878 |       2890 |       2864 |       2865 |       2880 |       2881 |
2196.11/283.67	c (280,0) c | Avg_DL        |                 |         60 |         59 |         62 |         61 |         60 |         59 |         62 |         62 |
2196.11/283.67	c (280,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2196.11/283.67	c (280,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2196.11/283.67	c (280,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.67	c (280,0) c | Exported      |         1041243 |     130055 |     130810 |     130269 |     131211 |     129774 |     131111 |     129346 |     128667 |
2196.11/283.67	c (280,0) c | Imported      |         7253253 |     906630 |     905982 |     906525 |     905772 |     906890 |     905687 |     907540 |     908227 |
2196.11/283.67	c (280,0) c | Good          |             672 |         77 |         81 |         89 |         89 |         81 |         80 |         83 |         92 |
2196.11/283.67	c (280,0) c | Purge         |         7252581 |     906553 |     905901 |     906436 |     905683 |     906809 |     905607 |     907457 |     908135 |
2196.11/283.67	c (280,0) c | Promoted      |          591212 |      73845 |      73716 |      73987 |      73538 |      74106 |      73831 |      73983 |      74206 |
2196.11/283.67	c (280,0) c | Remove_Imp    |         5942448 |     714418 |     753623 |     750471 |     748817 |     713057 |     754090 |     753787 |     754185 |
2196.11/283.67	c (280,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2196.11/283.67	c (280,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.67	c (280,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2196.11/283.67	c (280,0) c | Binaries      |                 |         20 |         15 |          7 |          7 |         15 |         16 |         13 |          4 |
2196.11/283.67	c (280,0) c | Glues         |                 |        477 |        500 |        434 |        443 |        439 |        481 |        441 |        460 |
2196.11/283.67	c (280,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.67	c (280,0) c | Orig_Seen     |            56 % |      70339 |      68315 |      69638 |      74291 |      69528 |      71709 |      70696 |      72563 |
2196.11/283.67	c (280,0) c | Diff Orig seen|                 | -     3952 | -     5976 | -     4653 |      X     | -     4763 | -     2582 | -     3595 | -     1728 |
2196.11/283.67	c (280,0) c | Hamming       |            30 % |       2009 |       2239 |       1900 |      X     |       1842 |       2058 |       1997 |       2014 |
2196.11/283.67	c (280,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.67	c (280,0) c | RunningTime   |                 |  274.8  99%|  279.1 100%|  274.3  98%|  272.0  98%|  272.1  98%|  270.9  97%|  273.6  98%|  274.7  98%|
2196.11/283.67	c (280,0) c | WaitingTime   |                 |    3.7   1%|    0.0   0%|    5.1   2%|    5.8   2%|    5.7   2%|    7.1   3%|    4.5   2%|    4.4   2%|
2196.11/283.67	c (280,0) c | ExchangingTime|                 |    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.5   0%|    0.4   0%|    0.4   0%|    0.4   0%|
2196.11/283.67	c (280,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%|
2196.11/283.67	c (280,0) c | SolvingTime   |                 |  278.9     |  279.6     |  279.9     |  278.3     |  278.3     |  278.4     |  278.5     |  279.6     |
2196.11/283.67	c (280,0) c | PropagationTim|                 |  249.7  90%|  250.4  90%|  249.1  89%|  247.4  89%|  248.8  89%|  248.3  89%|  248.1  89%|  249.2  89%|
2196.11/283.67	c (280,0) c | AnalysisTime  |                 |   20.2   7%|   20.0   7%|   21.3   8%|   21.4   8%|   20.3   7%|   20.9   8%|   21.0   8%|   20.9   7%|
2196.11/283.67	c (280,0) c | ReductionTime |                 |    2.4   1%|    2.6   1%|    2.7   1%|    2.6   1%|    2.5   1%|    2.7   1%|    2.7   1%|    2.8   1%|
2196.11/283.67	c (280,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2196.11/283.67	c (280,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%|
2196.11/283.67	c (280,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%|
2196.11/283.67	c (280,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.67	c (280,0) c
2196.11/283.67	c (280,0) c
2196.11/283.67	c (280,0) c Threads : 8
2196.11/283.67	c (280,0) c Winner : 3
2196.11/283.67	c (280,0) c Conflicts_0 : 1188579
2196.11/283.67	c (280,0) c Conflicts_1 : 1195671
2196.11/283.67	c (280,0) c Conflicts_2 : 1202679
2196.11/283.67	c (280,0) c Conflicts_3 : 1205234
2196.11/283.67	c (280,0) c Conflicts_4 : 1189303
2196.11/283.67	c (280,0) c Conflicts_5 : 1193930
2196.11/283.67	c (280,0) c Conflicts_6 : 1198481
2196.11/283.67	c (280,0) c Conflicts_7 : 1199046
2196.11/283.67	c (280,0) c Conflicts_total : 9572923
2196.11/283.67	c (280,0) c Conflicts_winner : 1205234
2196.11/283.67	c (280,0) c Decisions_0 : 3535116
2196.11/283.67	c (280,0) c Decisions_1 : 3517435
2196.11/283.67	c (280,0) c Decisions_2 : 3573090
2196.11/283.67	c (280,0) c Decisions_3 : 3580787
2196.11/283.67	c (280,0) c Decisions_4 : 3546073
2196.11/283.67	c (280,0) c Decisions_5 : 3515500
2196.11/283.67	c (280,0) c Decisions_6 : 3590519
2196.11/283.67	c (280,0) c Decisions_7 : 3561344
2196.11/283.67	c (280,0) c Decisions_total : 28419864
2196.11/283.67	c (280,0) c Decisions_winner : 3580787
2196.11/283.67	c (280,0) c Propagations_0 : 235833986
2196.11/283.67	c (280,0) c Propagations_1 : 236139030
2196.11/283.67	c (280,0) c Propagations_2 : 240213188
2196.11/283.67	c (280,0) c Propagations_3 : 241125869
2196.11/283.67	c (280,0) c Propagations_4 : 235877482
2196.11/283.67	c (280,0) c Propagations_5 : 236332911
2196.11/283.67	c (280,0) c Propagations_6 : 239829631
2196.11/283.67	c (280,0) c Propagations_7 : 240247627
2196.11/283.67	c (280,0) c Propagations_total : 1905599724
2196.11/283.67	c (280,0) c Propagations_winner : 241125869
2196.11/283.67	c (280,0) c ReduceDBs_0 : 29
2196.11/283.67	c (280,0) c ReduceDBs_1 : 30
2196.11/283.67	c (280,0) c ReduceDBs_2 : 30
2196.11/283.67	c (280,0) c ReduceDBs_3 : 30
2196.11/283.67	c (280,0) c ReduceDBs_4 : 29
2196.11/283.67	c (280,0) c ReduceDBs_5 : 30
2196.11/283.67	c (280,0) c ReduceDBs_6 : 30
2196.11/283.67	c (280,0) c ReduceDBs_7 : 30
2196.11/283.67	c (280,0) c ReduceDBs_total : 238
2196.11/283.67	c (280,0) c ReduceDBs_winner : 30
2196.11/283.67	c (280,0) c SimpDBs_0 : 1
2196.11/283.67	c (280,0) c SimpDBs_1 : 1
2196.11/283.67	c (280,0) c SimpDBs_2 : 1
2196.11/283.67	c (280,0) c SimpDBs_3 : 1
2196.11/283.67	c (280,0) c SimpDBs_4 : 1
2196.11/283.67	c (280,0) c SimpDBs_5 : 1
2196.11/283.67	c (280,0) c SimpDBs_6 : 1
2196.11/283.67	c (280,0) c SimpDBs_7 : 1
2196.11/283.67	c (280,0) c SimpDBs_total : 8
2196.11/283.67	c (280,0) c SimpDBs_winner : 1
2196.11/283.67	c (280,0) c Restarts_0 : 5529
2196.11/283.67	c (280,0) c Restarts_1 : 5411
2196.11/283.67	c (280,0) c Restarts_2 : 5752
2196.11/283.67	c (280,0) c Restarts_3 : 5690
2196.11/283.67	c (280,0) c Restarts_4 : 5574
2196.11/283.67	c (280,0) c Restarts_5 : 5379
2196.11/283.67	c (280,0) c Restarts_6 : 5913
2196.11/283.67	c (280,0) c Restarts_7 : 5695
2196.11/283.67	c (280,0) c Restarts_total : 44943
2196.11/283.67	c (280,0) c Restarts_winner : 5690
2196.11/283.67	c (280,0) c ForcedImports_0 : 0
2196.11/283.67	c (280,0) c ForcedImports_1 : 0
2196.11/283.67	c (280,0) c ForcedImports_2 : 0
2196.11/283.67	c (280,0) c ForcedImports_3 : 0
2196.11/283.67	c (280,0) c ForcedImports_4 : 0
2196.11/283.67	c (280,0) c ForcedImports_5 : 0
2196.11/283.67	c (280,0) c ForcedImports_6 : 0
2196.11/283.67	c (280,0) c ForcedImports_7 : 0
2196.11/283.67	c (280,0) c ForcedImports_total : 0
2196.11/283.67	c (280,0) c ForcedImports_winner : 0
2196.11/283.67	c (280,0) c PropsBinClauses_0 : 265811501
2196.11/283.67	c (280,0) c PropsBinClauses_1 : 266132596
2196.11/283.68	c (280,0) c PropsBinClauses_2 : 270859435
2196.11/283.68	c (280,0) c PropsBinClauses_3 : 271741928
2196.11/283.68	c (280,0) c PropsBinClauses_4 : 265562136
2196.11/283.68	c (280,0) c PropsBinClauses_5 : 266368653
2196.11/283.68	c (280,0) c PropsBinClauses_6 : 270186720
2196.11/283.68	c (280,0) c PropsBinClauses_7 : 270922647
2196.11/283.68	c (280,0) c PropsBinClauses_total : 2147585616
2196.11/283.68	c (280,0) c PropsBinClauses_winner : 271741928
2196.11/283.68	c (280,0) c PropsPreBlocker_0 : 8460037561
2196.11/283.68	c (280,0) c PropsPreBlocker_1 : 8468070015
2196.11/283.68	c (280,0) c PropsPreBlocker_2 : 8527179537
2196.11/283.68	c (280,0) c PropsPreBlocker_3 : 8532732738
2196.11/283.68	c (280,0) c PropsPreBlocker_4 : 8446098654
2196.11/283.68	c (280,0) c PropsPreBlocker_5 : 8454771854
2196.11/283.68	c (280,0) c PropsPreBlocker_6 : 8520010542
2196.11/283.68	c (280,0) c PropsPreBlocker_7 : 8522885904
2196.11/283.68	c (280,0) c PropsPreBlocker_total : 67931786805
2196.11/283.68	c (280,0) c PropsPreBlocker_winner : 8532732738
2196.11/283.68	c (280,0) c PropsNotBlocker_0 : 2091443536
2196.11/283.68	c (280,0) c PropsNotBlocker_1 : 2080269252
2196.11/283.68	c (280,0) c PropsNotBlocker_2 : 2061846342
2196.11/283.68	c (280,0) c PropsNotBlocker_3 : 2053376021
2196.11/283.68	c (280,0) c PropsNotBlocker_4 : 2100968245
2196.11/283.68	c (280,0) c PropsNotBlocker_5 : 2086299551
2196.11/283.68	c (280,0) c PropsNotBlocker_6 : 2067277184
2196.11/283.68	c (280,0) c PropsNotBlocker_7 : 2064193292
2196.11/283.68	c (280,0) c PropsNotBlocker_total : 16605673423
2196.11/283.68	c (280,0) c PropsNotBlocker_winner : 2053376021
2196.11/283.68	c (280,0) c PropsLitFullScans_0 : 14310862428
2196.11/283.68	c (280,0) c PropsLitFullScans_1 : 14310815106
2196.11/283.68	c (280,0) c PropsLitFullScans_2 : 14310811163
2196.11/283.68	c (280,0) c PropsLitFullScans_3 : 14311868511
2196.11/283.68	c (280,0) c PropsLitFullScans_4 : 14310856229
2196.11/283.68	c (280,0) c PropsLitFullScans_5 : 14310833863
2196.11/283.68	c (280,0) c PropsLitFullScans_6 : 14310805896
2196.11/283.68	c (280,0) c PropsLitFullScans_7 : 14310813143
2196.11/283.68	c (280,0) c PropsLitFullScans_total : 114487666339
2196.11/283.68	c (280,0) c PropsLitFullScans_winner : 14311868511
2196.11/283.68	c (280,0) c LitScanFractions_0 : 853738
2196.11/283.68	c (280,0) c LitScanFractions_1 : 809219
2196.11/283.68	c (280,0) c LitScanFractions_2 : 806255
2196.11/283.68	c (280,0) c LitScanFractions_3 : 816323
2196.11/283.68	c (280,0) c LitScanFractions_4 : 841314
2196.11/283.68	c (280,0) c LitScanFractions_5 : 830094
2196.11/283.68	c (280,0) c LitScanFractions_6 : 796162
2196.11/283.68	c (280,0) c LitScanFractions_7 : 810989
2196.11/283.68	c (280,0) c LitScanFractions_total : 6564094
2196.11/283.68	c (280,0) c LitScanFractions_winner : 816323
2196.11/283.68	c (280,0) c DecisionLevel0_0 : 5529
2196.11/283.68	c (280,0) c DecisionLevel0_1 : 5411
2196.11/283.68	c (280,0) c DecisionLevel0_2 : 5752
2196.11/283.68	c (280,0) c DecisionLevel0_3 : 5690
2196.11/283.68	c (280,0) c DecisionLevel0_4 : 5574
2196.11/283.68	c (280,0) c DecisionLevel0_5 : 5379
2196.11/283.68	c (280,0) c DecisionLevel0_6 : 5913
2196.11/283.68	c (280,0) c DecisionLevel0_7 : 5695
2196.11/283.68	c (280,0) c DecisionLevel0_total : 44943
2196.11/283.68	c (280,0) c DecisionLevel0_winner : 5690
2196.11/283.68	c (280,0) c Periods_0 : 2385
2196.11/283.68	c (280,0) c Periods_1 : 2385
2196.11/283.68	c (280,0) c Periods_2 : 2385
2196.11/283.68	c (280,0) c Periods_3 : 2385
2196.11/283.68	c (280,0) c Periods_4 : 2385
2196.11/283.68	c (280,0) c Periods_5 : 2385
2196.11/283.68	c (280,0) c Periods_6 : 2385
2196.11/283.68	c (280,0) c Periods_7 : 2385
2196.11/283.68	c (280,0) c Periods_total : 19080
2196.11/283.68	c (280,0) c Periods_winner : 2385
2196.11/283.68	c (280,0) c Margin_0 : 20
2196.11/283.68	c (280,0) c Margin_1 : 20
2196.11/283.68	c (280,0) c Margin_2 : 20
2196.11/283.68	c (280,0) c Margin_3 : 20
2196.11/283.68	c (280,0) c Margin_4 : 20
2196.11/283.68	c (280,0) c Margin_5 : 20
2196.11/283.68	c (280,0) c Margin_6 : 20
2196.11/283.68	c (280,0) c Margin_7 : 20
2196.11/283.68	c (280,0) c Margin_total : 160
2196.11/283.68	c (280,0) c Margin_winner : 20
2196.11/283.68	c (280,0) c Exported_0 : 130055
2196.11/283.68	c (280,0) c Exported_1 : 130810
2196.11/283.68	c (280,0) c Exported_2 : 130269
2196.11/283.68	c (280,0) c Exported_3 : 131211
2196.11/283.68	c (280,0) c Exported_4 : 129774
2196.11/283.68	c (280,0) c Exported_5 : 131111
2196.11/283.68	c (280,0) c Exported_6 : 129346
2196.11/283.68	c (280,0) c Exported_7 : 128667
2196.11/283.68	c (280,0) c Exported_total : 1041243
2196.11/283.68	c (280,0) c Exported_winner : 131211
2196.11/283.68	c (280,0) c Imported_0 : 906630
2196.11/283.68	c (280,0) c Imported_1 : 905982
2196.11/283.68	c (280,0) c Imported_2 : 906525
2196.11/283.68	c (280,0) c Imported_3 : 905772
2196.11/283.68	c (280,0) c Imported_4 : 906890
2196.11/283.68	c (280,0) c Imported_5 : 905687
2196.11/283.68	c (280,0) c Imported_6 : 907540
2196.11/283.68	c (280,0) c Imported_7 : 908227
2196.11/283.68	c (280,0) c Imported_total : 7253253
2196.11/283.68	c (280,0) c Imported_winner : 905772
2196.11/283.68	c (280,0) c Good_0 : 77
2196.11/283.68	c (280,0) c Good_1 : 81
2196.11/283.68	c (280,0) c Good_2 : 89
2196.11/283.68	c (280,0) c Good_3 : 89
2196.11/283.68	c (280,0) c Good_4 : 81
2196.11/283.68	c (280,0) c Good_5 : 80
2196.11/283.68	c (280,0) c Good_6 : 83
2196.11/283.68	c (280,0) c Good_7 : 92
2196.11/283.68	c (280,0) c Good_total : 672
2196.11/283.68	c (280,0) c Good_winner : 89
2196.11/283.68	c (280,0) c Purge_0 : 906553
2196.11/283.68	c (280,0) c Purge_1 : 905901
2196.11/283.68	c (280,0) c Purge_2 : 906436
2196.11/283.68	c (280,0) c Purge_3 : 905683
2196.11/283.68	c (280,0) c Purge_4 : 906809
2196.11/283.68	c (280,0) c Purge_5 : 905607
2196.11/283.68	c (280,0) c Purge_6 : 907457
2196.11/283.68	c (280,0) c Purge_7 : 908135
2196.11/283.68	c (280,0) c Purge_total : 7252581
2196.11/283.68	c (280,0) c Purge_winner : 905683
2196.11/283.68	c (280,0) c Promoted_0 : 73845
2196.11/283.68	c (280,0) c Promoted_1 : 73716
2196.11/283.68	c (280,0) c Promoted_2 : 73987
2196.11/283.68	c (280,0) c Promoted_3 : 73538
2196.11/283.68	c (280,0) c Promoted_4 : 74106
2196.11/283.68	c (280,0) c Promoted_5 : 73831
2196.11/283.68	c (280,0) c Promoted_6 : 73983
2196.11/283.68	c (280,0) c Promoted_7 : 74206
2196.11/283.68	c (280,0) c Promoted_total : 591212
2196.11/283.68	c (280,0) c Promoted_winner : 73538
2196.11/283.68	c (280,0) c Remove_Imp_0 : 714418
2196.11/283.68	c (280,0) c Remove_Imp_1 : 753623
2196.11/283.68	c (280,0) c Remove_Imp_2 : 750471
2196.11/283.68	c (280,0) c Remove_Imp_3 : 748817
2196.11/283.68	c (280,0) c Remove_Imp_4 : 713057
2196.11/283.68	c (280,0) c Remove_Imp_5 : 754090
2196.11/283.68	c (280,0) c Remove_Imp_6 : 753787
2196.11/283.68	c (280,0) c Remove_Imp_7 : 754185
2196.11/283.68	c (280,0) c Remove_Imp_total : 5942448
2196.11/283.68	c (280,0) c Remove_Imp_winner : 748817
2196.11/283.68	c (280,0) c Blocked_Reuse_0 : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_1 : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_2 : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_3 : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_4 : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_5 : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_6 : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_7 : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_total : 0
2196.11/283.68	c (280,0) c Blocked_Reuse_winner : 0
2196.11/283.68	c (280,0) c Unaries_0 : 0
2196.11/283.68	c (280,0) c Unaries_1 : 0
2196.11/283.68	c (280,0) c Unaries_2 : 0
2196.11/283.68	c (280,0) c Unaries_3 : 0
2196.11/283.68	c (280,0) c Unaries_4 : 0
2196.11/283.68	c (280,0) c Unaries_5 : 0
2196.11/283.68	c (280,0) c Unaries_6 : 0
2196.11/283.68	c (280,0) c Unaries_7 : 0
2196.11/283.68	c (280,0) c Unaries_total : 0
2196.11/283.68	c (280,0) c Unaries_winner : 0
2196.11/283.68	c (280,0) c Binaries_0 : 20
2196.11/283.68	c (280,0) c Binaries_1 : 15
2196.11/283.68	c (280,0) c Binaries_2 : 7
2196.11/283.68	c (280,0) c Binaries_3 : 7
2196.11/283.68	c (280,0) c Binaries_4 : 15
2196.11/283.68	c (280,0) c Binaries_5 : 16
2196.11/283.68	c (280,0) c Binaries_6 : 13
2196.11/283.68	c (280,0) c Binaries_7 : 4
2196.11/283.68	c (280,0) c Binaries_total : 97
2196.11/283.68	c (280,0) c Binaries_winner : 7
2196.11/283.68	c (280,0) c Glues_0 : 477
2196.11/283.68	c (280,0) c Glues_1 : 500
2196.11/283.68	c (280,0) c Glues_2 : 434
2196.11/283.68	c (280,0) c Glues_3 : 443
2196.11/283.68	c (280,0) c Glues_4 : 439
2196.11/283.68	c (280,0) c Glues_5 : 481
2196.11/283.68	c (280,0) c Glues_6 : 441
2196.11/283.68	c (280,0) c Glues_7 : 460
2196.11/283.68	c (280,0) c Glues_total : 3675
2196.11/283.68	c (280,0) c Glues_winner : 443
2196.11/283.68	c (280,0) c RunningTime_0 : 274.775091
2196.11/283.68	c (280,0) c RunningTime_1 : 279.146814
2196.11/283.68	c (280,0) c RunningTime_2 : 274.284811
2196.11/283.68	c (280,0) c RunningTime_3 : 271.987476
2196.11/283.68	c (280,0) c RunningTime_4 : 272.142296
2196.11/283.68	c (280,0) c RunningTime_5 : 270.887437
2196.11/283.68	c (280,0) c RunningTime_6 : 273.589990
2196.11/283.68	c (280,0) c RunningTime_7 : 274.730123
2196.11/283.68	c (280,0) c RunningTime_total : 2191.544037
2196.11/283.68	c (280,0) c RunningTime_winner : 271.987476
2196.11/283.68	c (280,0) c WaitingTime_0 : 3.695721
2196.11/283.68	c (280,0) c WaitingTime_1 : 0.002858
2196.11/283.68	c (280,0) c WaitingTime_2 : 5.136697
2196.11/283.68	c (280,0) c WaitingTime_3 : 5.840897
2196.11/283.68	c (280,0) c WaitingTime_4 : 5.678376
2196.11/283.68	c (280,0) c WaitingTime_5 : 7.146549
2196.11/283.68	c (280,0) c WaitingTime_6 : 4.489143
2196.11/283.68	c (280,0) c WaitingTime_7 : 4.427831
2196.11/283.68	c (280,0) c WaitingTime_total : 36.418072
2196.11/283.68	c (280,0) c WaitingTime_winner : 5.840897
2196.11/283.68	c (280,0) c ExchangingTime_0 : 0.425562
2196.11/283.68	c (280,0) c ExchangingTime_1 : 0.392287
2196.11/283.68	c (280,0) c ExchangingTime_2 : 0.425678
2196.11/283.68	c (280,0) c ExchangingTime_3 : 0.411307
2196.11/283.68	c (280,0) c ExchangingTime_4 : 0.465385
2196.11/283.68	c (280,0) c ExchangingTime_5 : 0.388390
2196.11/283.68	c (280,0) c ExchangingTime_6 : 0.397933
2196.11/283.68	c (280,0) c ExchangingTime_7 : 0.412905
2196.11/283.68	c (280,0) c ExchangingTime_total : 3.319447
2196.11/283.68	c (280,0) c ExchangingTime_winner : 0.411307
2196.11/283.68	c (280,0) c PeriodProcTime_0 : 0.017013
2196.11/283.68	c (280,0) c PeriodProcTime_1 : 0.025496
2196.11/283.68	c (280,0) c PeriodProcTime_2 : 0.022259
2196.11/283.68	c (280,0) c PeriodProcTime_3 : 0.020565
2196.11/283.68	c (280,0) c PeriodProcTime_4 : 0.022428
2196.11/283.68	c (280,0) c PeriodProcTime_5 : 0.018022
2196.11/283.68	c (280,0) c PeriodProcTime_6 : 0.023011
2196.11/283.68	c (280,0) c PeriodProcTime_7 : 0.021379
2196.11/283.68	c (280,0) c PeriodProcTime_total : 0.170173
2196.11/283.68	c (280,0) c PeriodProcTime_winner : 0.020565
2196.11/283.68	c (280,0) c SolvingTime_0 : 278.913387
2196.11/283.68	c (280,0) c SolvingTime_1 : 279.567455
2196.11/283.68	c (280,0) c SolvingTime_2 : 279.869444
2196.11/283.68	c (280,0) c SolvingTime_3 : 278.260245
2196.11/283.68	c (280,0) c SolvingTime_4 : 278.308485
2196.11/283.68	c (280,0) c SolvingTime_5 : 278.440397
2196.11/283.68	c (280,0) c SolvingTime_6 : 278.500077
2196.11/283.68	c (280,0) c SolvingTime_7 : 279.592238
2196.11/283.68	c (280,0) c SolvingTime_total : 2231.451729
2196.11/283.68	c (280,0) c SolvingTime_winner : 278.260245
2196.11/283.68	c (280,0) c PropagationTime_0 : 249.686022
2196.11/283.68	c (280,0) c PropagationTime_1 : 250.425969
2196.11/283.68	c (280,0) c PropagationTime_2 : 249.104483
2196.11/283.68	c (280,0) c PropagationTime_3 : 247.397230
2196.11/283.68	c (280,0) c PropagationTime_4 : 248.758123
2196.11/283.68	c (280,0) c PropagationTime_5 : 248.333493
2196.11/283.68	c (280,0) c PropagationTime_6 : 248.125108
2196.11/283.68	c (280,0) c PropagationTime_7 : 249.229631
2196.11/283.68	c (280,0) c PropagationTime_total : 1991.060060
2196.11/283.68	c (280,0) c PropagationTime_winner : 247.397230
2196.11/283.68	c (280,0) c AnalysisTime_0 : 20.194482
2196.11/283.68	c (280,0) c AnalysisTime_1 : 19.999843
2196.11/283.68	c (280,0) c AnalysisTime_2 : 21.305877
2196.11/283.68	c (280,0) c AnalysisTime_3 : 21.448684
2196.11/283.68	c (280,0) c AnalysisTime_4 : 20.276673
2196.11/283.68	c (280,0) c AnalysisTime_5 : 20.947325
2196.11/283.68	c (280,0) c AnalysisTime_6 : 20.960927
2196.11/283.68	c (280,0) c AnalysisTime_7 : 20.914392
2196.11/283.68	c (280,0) c AnalysisTime_total : 166.048202
2196.11/283.68	c (280,0) c AnalysisTime_winner : 21.448684
2196.11/283.68	c (280,0) c ReductionTime_0 : 2.448107
2196.11/283.68	c (280,0) c ReductionTime_1 : 2.571591
2196.11/283.68	c (280,0) c ReductionTime_2 : 2.744504
2196.11/283.68	c (280,0) c ReductionTime_3 : 2.597228
2196.11/283.68	c (280,0) c ReductionTime_4 : 2.520662
2196.11/283.68	c (280,0) c ReductionTime_5 : 2.659019
2196.11/283.68	c (280,0) c ReductionTime_6 : 2.731809
2196.11/283.68	c (280,0) c ReductionTime_7 : 2.752745
2196.11/283.68	c (280,0) c ReductionTime_total : 21.025666
2196.11/283.68	c (280,0) c ReductionTime_winner : 2.597228
2196.11/283.68	c (280,0) c SimplifyTime_0 : 0.000506
2196.11/283.68	c (280,0) c SimplifyTime_1 : 0.000510
2196.11/283.68	c (280,0) c SimplifyTime_2 : 0.000572
2196.11/283.68	c (280,0) c SimplifyTime_3 : 0.000570
2196.11/283.68	c (280,0) c SimplifyTime_4 : 0.001973
2196.11/283.68	c (280,0) c SimplifyTime_5 : 0.000459
2196.11/283.68	c (280,0) c SimplifyTime_6 : 0.000642
2196.11/283.68	c (280,0) c SimplifyTime_7 : 0.000522
2196.11/283.68	c (280,0) c SimplifyTime_total : 0.005754
2196.11/283.68	c (280,0) c SimplifyTime_winner : 0.000570
2196.11/283.68	c (280,0) c UsedRateTime_0 : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_1 : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_2 : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_3 : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_4 : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_5 : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_6 : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_7 : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_total : 0.000000
2196.11/283.69	c (280,0) c UsedRateTime_winner : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_0 : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_1 : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_2 : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_3 : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_4 : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_5 : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_6 : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_7 : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_total : 0.000000
2196.11/283.69	c (280,0) c OverlapRateTime_winner : 0.000000
2196.11/283.69	c (280,0) c
2196.11/283.69	c (280,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2196.11/283.69	c (280,0) c
2196.11/283.69	c (280,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.69	c (280,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2196.11/283.69	c (280,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.69	c (280,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2196.11/283.69	c (280,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2196.11/283.69	c (280,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2196.11/283.69	c (280,0) c | Initial random_seed   |  231756954 | 1437469158 |  333298242 | 2001581776 |   86325787 |  209740589 | 1723921765 |   90050529 |
2196.11/283.69	c (280,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2196.11/283.69	c (280,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2196.11/283.69	c (280,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2196.11/283.69	c (280,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2196.11/283.69	c (280,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2196.11/283.69	c (280,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2196.11/283.69	c (280,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2196.11/283.69	c (280,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2196.11/283.69	c (280,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2196.11/283.69	c (280,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2196.11/283.69	c (280,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2196.11/283.69	c (280,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2196.11/283.69	c (280,0) 
2196.11/283.69	c (280,0) s SATISFIABLE
2196.27/283.73	c (280,0) SatSolver.solve End
2196.27/283.73	c (280,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2196.27/283.73	c (280,0) Show results Begin
2196.51/283.82	c (280,0) x[0] = 51
2196.51/283.82	c (280,0) x[1] = 28
2196.51/283.82	c (280,0) x[2] = 60
2196.51/283.82	c (280,0) x[3] = 65
2196.51/283.82	c (280,0) x[4] = 77
2196.51/283.82	c (280,0) x[5] = 77
2196.51/283.82	c (280,0) x[6] = 65
2196.51/283.82	c (280,0) x[7] = 90
2196.51/283.82	c (280,0) x[8] = 81
2196.51/283.82	c (280,0) x[9] = 30
2196.51/283.82	c (280,0) x[10] = 52
2196.51/283.82	c (280,0) x[11] = 40
2196.51/283.82	c (280,0) x[12] = 52
2196.51/283.82	c (280,0) x[13] = 63
2196.51/283.82	c (280,0) x[14] = 83
2196.51/283.82	c (280,0) x[15] = 36
2196.51/283.82	c (280,0) x[16] = 19
2196.51/283.82	c (280,0) x[17] = 80
2196.51/283.82	c (280,0) x[18] = 0
2196.51/283.82	c (280,0) x[19] = 52
2196.51/283.82	c (280,0) x[20] = 30
2196.51/283.82	c (280,0) x[21] = 0
2196.51/283.82	c (280,0) x[22] = 46
2196.51/283.82	c (280,0) x[23] = 22
2196.51/283.82	c (280,0) x[24] = 27
2196.51/283.82	c (280,0) x[25] = 72
2196.51/283.82	c (280,0) x[26] = 0
2196.51/283.82	c (280,0) x[27] = 52
2196.51/283.82	c (280,0) x[28] = 69
2196.51/283.82	c (280,0) x[29] = 0
2196.51/283.82	c (280,0) y[0] = 62
2196.51/283.82	c (280,0) y[1] = 71
2196.51/283.82	c (280,0) y[2] = 84
2196.51/283.82	c (280,0) y[3] = 24
2196.51/283.82	c (280,0) y[4] = 86
2196.51/283.82	c (280,0) y[5] = 91
2196.51/283.82	c (280,0) y[6] = 29
2196.51/283.83	c (280,0) y[7] = 75
2196.51/283.83	c (280,0) y[8] = 74
2196.51/283.83	c (280,0) y[9] = 41
2196.51/283.83	c (280,0) y[10] = 87
2196.51/283.83	c (280,0) y[11] = 40
2196.51/283.83	c (280,0) y[12] = 23
2196.51/283.83	c (280,0) y[13] = 84
2196.51/283.83	c (280,0) y[14] = 83
2196.51/283.83	c (280,0) y[15] = 24
2196.51/283.83	c (280,0) y[16] = 24
2196.51/283.83	c (280,0) y[17] = 56
2196.51/283.83	c (280,0) y[18] = 22
2196.51/283.83	c (280,0) y[19] = 36
2196.51/283.83	c (280,0) y[20] = 52
2196.51/283.83	c (280,0) y[21] = 0
2196.51/283.83	c (280,0) y[22] = 0
2196.51/283.83	c (280,0) y[23] = 0
2196.51/283.83	c (280,0) y[24] = 73
2196.51/283.83	c (280,0) y[25] = 30
2196.51/283.83	c (280,0) y[26] = 71
2196.51/283.83	c (280,0) y[27] = 56
2196.51/283.83	c (280,0) y[28] = 0
2196.51/283.83	c (280,0) y[29] = 41
2196.51/283.83	s SATISFIABLE
2196.51/283.83	v <instantiation>
2196.51/283.83	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29]</list>
2196.51/283.83	v     <values>51 28 60 65 77 77 65 90 81 30 52 40 52 63 83 36 19 80 0 52 30 0 46 22 27 72 0 52 69 0 62 71 84 24 86 91 29 75 74 41 87 40 23 84 83 24 24 56 22 36 52 0 0 0 73 30 71 56 0 41</values>
2196.51/283.83	v </instantiation>
2196.51/283.83	c (280,0) Show results End
2196.51/283.83	c (280,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2196.51/283.83	c (280,0) 280,280,STOP-AFTER(ALL)
2196.51/283.83	c END-Prog: Wed Sep 25 00:57:08 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 (12728 MiB free)
  memory of node 1: 16384 MiB (14302 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.105658 s]*
/proc/loadavg: 5.43 5.84 6.25 3/213 22657
/proc/meminfo: memFree=27586368/32770624 swapFree=66957796/67108860
[pid=22635] ppid=22632 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/22635/stat : 22635 (scop.sh) S 22632 22635 20609 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512796927 115843072 348 33554432000 4194304 5098028 140723052567968 140723052565224 140680626233980 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24244224 140723052569340 140723052569688 140723052569688 140723052572617 0
/proc/22635/statm: 28282 348 296 221 0 87 0
[pid=22638] ppid=22635 vsize=27314120 memory=106656 CPUtime=0.11 cores=0-7
/proc/22638/stat : 22638 (java) S 22635 22635 20609 0 -1 1077944320 6781 0 0 0 8 3 0 0 20 0 20 0 512796927 27969658880 26664 33554432000 4194304 4196468 140733140882800 140733140865344 140220040576759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
/proc/22638/statm: 6828530 26664 2816 1 0 6790935 0
[pid=22638/tid=22639] ppid=22635 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/22638/task/22639/stat : 22639 (java) R 22635 22635 20609 0 -1 4202560 4819 0 0 0 7 2 0 0 20 0 20 0 512796928 27969658880 26664 33554432000 4194304 4196468 140733140882800 140220012390000 140219543747463 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22640] ppid=22635 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22638/task/22640/stat : 22640 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 26664 33554432000 4194304 4196468 140733140882800 140220044818832 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22641] ppid=22635 vsize=27314120 memory=140116158404224 CPUtime=0 cores=0-7
/proc/22638/task/22641/stat : 22641 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 26664 33554432000 4194304 4196468 140733140882800 140219462789392 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22642] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22642/stat : 22642 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 26664 33554432000 4194304 4196468 140733140882800 140219461737104 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22643] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22643/stat : 22643 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 26664 33554432000 4194304 4196468 140733140882800 140219460684304 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22644] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22644/stat : 22644 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 26664 33554432000 4194304 4196468 140733140882800 140219459632016 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22645] ppid=22635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22638/task/22645/stat : 22645 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 26664 33554432000 4194304 4196468 140733140882800 140219458579216 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22646] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22646/stat : 22646 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 26664 33554432000 4194304 4196468 140733140882800 140219457526928 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22647] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22647/stat : 22647 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 26664 33554432000 4194304 4196468 140733140882800 140219456474128 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22648] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22648/stat : 22648 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 26730 33554432000 4194304 4196468 140733140882800 140219413653616 140220040587906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22649] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22649/stat : 22649 (java) S 22635 22635 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 26730 33554432000 4194304 4196468 140733140882800 140217931522848 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22650] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22650/stat : 22650 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 26730 33554432000 4194304 4196468 140733140882800 140217663087728 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22651] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22651/stat : 22651 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 26730 33554432000 4194304 4196468 140733140882800 140217288579152 140220040595355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22652] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22652/stat : 22652 (java) S 22635 22635 20609 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 26730 33554432000 4194304 4196468 140733140882800 140219412601456 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22653] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22653/stat : 22653 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 26730 33554432000 4194304 4196468 140733140882800 140219411548656 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22654] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22654/stat : 22654 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 26730 33554432000 4194304 4196468 140733140882800 140219410496368 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22655] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22655/stat : 22655 (java) R 22635 22635 20609 0 -1 4202560 345 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 26795 33554432000 4194304 4196468 140733140882800 140219409443568 140220019207146 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22656] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22656/stat : 22656 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 26795 33554432000 4194304 4196468 140733140882800 140216790673760 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22657] ppid=22635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22638/task/22657/stat : 22657 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796936 27969658880 26795 33554432000 4194304 4196468 140733140882800 140219026237744 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108048 KiB

[startup+0.210524 s]*
/proc/loadavg: 5.43 5.84 6.25 5/213 22657
/proc/meminfo: memFree=27564680/32770624 swapFree=66957796/67108860
[pid=22635] ppid=22632 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/22635/stat : 22635 (scop.sh) S 22632 22635 20609 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512796927 115843072 348 33554432000 4194304 5098028 140723052567968 140723052565224 140680626233980 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24244224 140723052569340 140723052569688 140723052569688 140723052572617 0
/proc/22635/statm: 28282 348 296 221 0 87 0
[pid=22638] ppid=22635 vsize=27314120 memory=124208 CPUtime=0.25 cores=0-7
/proc/22638/stat : 22638 (java) S 22635 22635 20609 0 -1 1077944320 12367 0 0 0 20 5 0 0 20 0 20 0 512796927 27969658880 31052 33554432000 4194304 4196468 140733140882800 140733140865344 140220040576759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
/proc/22638/statm: 6828530 31052 2971 1 0 6790935 0
[pid=22638/tid=22639] ppid=22635 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/22638/task/22639/stat : 22639 (java) R 22635 22635 20609 0 -1 4202560 10001 0 0 0 16 4 0 0 20 0 20 0 512796928 27969658880 31052 33554432000 4194304 4196468 140733140882800 140220012400720 140220025742323 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22640] ppid=22635 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/22638/task/22640/stat : 22640 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 31052 33554432000 4194304 4196468 140733140882800 140220044818832 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22641] ppid=22635 vsize=27314120 memory=3833888883877959328 CPUtime=0 cores=0-7
/proc/22638/task/22641/stat : 22641 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219462789392 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22642] ppid=22635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22638/task/22642/stat : 22642 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219461737104 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22643] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22643/stat : 22643 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219460684304 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22644] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22644/stat : 22644 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219459632016 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22645] ppid=22635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22638/task/22645/stat : 22645 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219458579216 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22646] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22646/stat : 22646 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219457526928 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22647] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22647/stat : 22647 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219456474128 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22648] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22648/stat : 22648 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219413653616 140220040587906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22649] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22649/stat : 22649 (java) S 22635 22635 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 31052 33554432000 4194304 4196468 140733140882800 140217931522848 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22650] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22650/stat : 22650 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 31052 33554432000 4194304 4196468 140733140882800 140217663087728 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22651] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22651/stat : 22651 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 31052 33554432000 4194304 4196468 140733140882800 140217288579152 140220040595355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22652] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22652/stat : 22652 (java) S 22635 22635 20609 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219412601456 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22653] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22653/stat : 22653 (java) S 22635 22635 20609 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219411548656 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22654] ppid=22635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22638/task/22654/stat : 22654 (java) S 22635 22635 20609 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219410496368 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22655] ppid=22635 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/22638/task/22655/stat : 22655 (java) S 22635 22635 20609 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 20 0 512796935 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219409443568 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22656] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22656/stat : 22656 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 31052 33554432000 4194304 4196468 140733140882800 140216790673760 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22657] ppid=22635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22638/task/22657/stat : 22657 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796936 27969658880 31052 33554432000 4194304 4196468 140733140882800 140219026237744 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125600 KiB

[startup+0.313302 s]*
/proc/loadavg: 5.43 5.84 6.25 2/213 22657
/proc/meminfo: memFree=27561880/32770624 swapFree=66957796/67108860
[pid=22635] ppid=22632 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/22635/stat : 22635 (scop.sh) S 22632 22635 20609 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512796927 115843072 348 33554432000 4194304 5098028 140723052567968 140723052565224 140680626233980 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24244224 140723052569340 140723052569688 140723052569688 140723052572617 0
/proc/22635/statm: 28282 348 296 221 0 87 0
[pid=22638] ppid=22635 vsize=27314120 memory=128492 CPUtime=0.42 cores=0-7
/proc/22638/stat : 22638 (java) S 22635 22635 20609 0 -1 1077944320 13507 0 0 0 37 5 0 0 20 0 20 0 512796927 27969658880 32123 33554432000 4194304 4196468 140733140882800 140733140865344 140220040576759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
/proc/22638/statm: 6828530 32123 3018 1 0 6790935 0
[pid=22638/tid=22639] ppid=22635 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22638/task/22639/stat : 22639 (java) R 22635 22635 20609 0 -1 4202560 10846 0 0 0 25 4 0 0 20 0 20 0 512796928 27969658880 32123 33554432000 4194304 4196468 140733140882800 140220012384064 140220040590663 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22640] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22640/stat : 22640 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 32123 33554432000 4194304 4196468 140733140882800 140220044818832 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22641] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22641/stat : 22641 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219462789392 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22642] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22642/stat : 22642 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219461737104 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22643] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22643/stat : 22643 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219460684304 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22644] ppid=22635 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/22638/task/22644/stat : 22644 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219459632016 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22645] ppid=22635 vsize=27314120 memory=140116060369839 CPUtime=0 cores=0-7
/proc/22638/task/22645/stat : 22645 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219458579216 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22646] ppid=22635 vsize=27314120 memory=140116060372144 CPUtime=0 cores=0-7
/proc/22638/task/22646/stat : 22646 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219457526928 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22647] ppid=22635 vsize=27314120 memory=140116060374448 CPUtime=0 cores=0-7
/proc/22638/task/22647/stat : 22647 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219456474128 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22648] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22648/stat : 22648 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219413653616 140220040587906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22649] ppid=22635 vsize=27314120 memory=280232120755856 CPUtime=0 cores=0-7
/proc/22638/task/22649/stat : 22649 (java) S 22635 22635 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 32123 33554432000 4194304 4196468 140733140882800 140217931522848 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22650] ppid=22635 vsize=27314120 memory=280232120762768 CPUtime=0 cores=0-7
/proc/22638/task/22650/stat : 22650 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796932 27969658880 32123 33554432000 4194304 4196468 140733140882800 140217663087728 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22651] ppid=22635 vsize=27314120 memory=280232120703920 CPUtime=0 cores=0-7
/proc/22638/task/22651/stat : 22651 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 32123 33554432000 4194304 4196468 140733140882800 140217288579152 140220040595355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22652] ppid=22635 vsize=27314120 memory=280232120776592 CPUtime=0.01 cores=0-7
/proc/22638/task/22652/stat : 22652 (java) S 22635 22635 20609 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 512796935 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219412601456 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22653] ppid=22635 vsize=27314120 memory=280232120783504 CPUtime=0.01 cores=0-7
/proc/22638/task/22653/stat : 22653 (java) S 22635 22635 20609 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 512796935 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219411548656 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22654] ppid=22635 vsize=27314120 memory=280232120781200 CPUtime=0 cores=0-7
/proc/22638/task/22654/stat : 22654 (java) S 22635 22635 20609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219410496368 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22655] ppid=22635 vsize=27314120 memory=280232120797360 CPUtime=0.07 cores=0-7
/proc/22638/task/22655/stat : 22655 (java) S 22635 22635 20609 0 -1 1077944384 668 0 0 0 7 0 0 0 20 0 20 0 512796935 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219409443568 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22656] ppid=22635 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22656/stat : 22656 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512796935 27969658880 32123 33554432000 4194304 4196468 140733140882800 140216790673760 140220040586965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22657] ppid=22635 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22638/task/22657/stat : 22657 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796936 27969658880 32123 33554432000 4194304 4196468 140733140882800 140219026237744 140220040587906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129884 KiB

[startup+0.701757 s]
/proc/loadavg: 5.43 5.84 6.25 3/213 22657
/proc/meminfo: memFree=27540316/32770624 swapFree=66957796/67108860
[pid=22635] ppid=22632 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/22635/stat : 22635 (scop.sh) S 22632 22635 20609 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512796927 115843072 348 33554432000 4194304 5098028 140723052567968 140723052565224 140680626233980 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24244224 140723052569340 140723052569688 140723052569688 140723052572617 0
/proc/22635/statm: 28282 348 296 221 0 87 0
[pid=22638] ppid=22635 vsize=27320392 memory=164508 CPUtime=0.99 cores=0-7
/proc/22638/stat : 22638 (java) S 22635 22635 20609 0 -1 1077944320 20799 0 0 0 91 8 0 0 20 0 20 0 512796927 27976081408 41127 33554432000 4194304 4196468 140733140882800 140733140865344 140220040576759 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
/proc/22638/statm: 6830098 41127 3186 1 0 6791447 0
[pid=22638/tid=22639] ppid=22635 vsize=27320392 memory=280232121155248 CPUtime=0.67 cores=0-7
/proc/22638/task/22639/stat : 22639 (java) R 22635 22635 20609 0 -1 4202560 17419 0 0 0 61 6 0 0 20 0 20 0 512796928 27976081408 41127 33554432000 4194304 4196468 140733140882800 140220012415328 140220040588694 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22640] ppid=22635 vsize=27320392 memory=140116060578672 CPUtime=0 cores=0-7
/proc/22638/task/22640/stat : 22640 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27976081408 41127 33554432000 4194304 4196468 140733140882800 140220044818832 140220040586965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22641] ppid=22635 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/22638/task/22641/stat : 22641 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512796930 27976081408 41127 33554432000 4194304 4196468 140733140882800 140219462789392 140220040586965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0
[pid=22638/tid=22642] ppid=22635 vsize=27320392 memory=6160 CPUtime=0 cores=0-7
/proc/22638/task/22642/stat : 22642 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512796930 27976081408 41127 33554432000 4194304 4196468 140733140882800 140219461737104 140220040586965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140733140890310 140733140890758 140733140890758 140733140893647 0

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

/proc/22660/task/22665/stat : 22665 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357054478608 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22666] ppid=22635 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/22660/task/22666/stat : 22666 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357053426832 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22667] ppid=22635 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/22660/task/22667/stat : 22667 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357052374032 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22668] ppid=22635 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/22660/task/22668/stat : 22668 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357051321232 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22669] ppid=22635 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/22660/task/22669/stat : 22669 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357050268432 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22670] ppid=22635 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/22660/task/22670/stat : 22670 (java) S 22635 22635 20609 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512797207 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356664572272 140357571115650 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22671] ppid=22635 vsize=8414124 memory=11632 CPUtime=0 cores=0-7
/proc/22660/task/22671/stat : 22671 (java) S 22635 22635 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512797207 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356041565216 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22672] ppid=22635 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/22660/task/22672/stat : 22672 (java) S 22635 22635 20609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512797207 8616062976 30133 33554432000 4194304 4196468 140723714924576 140355907343216 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22673] ppid=22635 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/22660/task/22673/stat : 22673 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140355571803984 140357571123099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22674] ppid=22635 vsize=8414124 memory=988 CPUtime=0.07 cores=0-7
/proc/22660/task/22674/stat : 22674 (java) S 22635 22635 20609 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356663520112 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22675] ppid=22635 vsize=8414124 memory=780 CPUtime=0.05 cores=0-7
/proc/22660/task/22675/stat : 22675 (java) S 22635 22635 20609 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356662467312 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22676] ppid=22635 vsize=8414124 memory=6160 CPUtime=0.04 cores=0-7
/proc/22660/task/22676/stat : 22676 (java) S 22635 22635 20609 0 -1 1077944384 229 0 0 0 4 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356661414512 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22677] ppid=22635 vsize=8414124 memory=624 CPUtime=0.2 cores=0-7
/proc/22660/task/22677/stat : 22677 (java) S 22635 22635 20609 0 -1 1077944384 713 0 0 0 20 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356660361712 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22678] ppid=22635 vsize=8414124 memory=3636 CPUtime=0 cores=0-7
/proc/22660/task/22678/stat : 22678 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140355034933856 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22679] ppid=22635 vsize=8414124 memory=2832 CPUtime=0.15 cores=0-7
/proc/22660/task/22679/stat : 22679 (java) S 22635 22635 20609 0 -1 1077944384 21 0 0 0 0 15 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356659309104 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22681] ppid=22635 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/22660/task/22681/stat : 22681 (java) S 22635 22635 20609 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512797275 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356651275328 140357571129113 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22683] ppid=22635 vsize=8414124 memory=2112 CPUtime=0.01 cores=0-7
/proc/22660/task/22683/stat : 22683 (java) S 22635 22635 20609 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 512797276 8616062976 30133 33554432000 4194304 4196468 140723714924576 140354363834512 140357571126429 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22684] ppid=22635 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/22660/task/22684/stat : 22684 (java) S 22635 22635 20609 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512797276 8616062976 30133 33554432000 4194304 4196468 140723714924576 140354632269840 140357571126429 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22685] ppid=22635 vsize=8414124 memory=37540 CPUtime=0 cores=0-7
/proc/22660/task/22685/stat : 22685 (java) S 22635 22635 20609 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512797278 8616062976 30133 33554432000 4194304 4196468 140723714924576 140354095406640 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
Current children cumulated CPU time: 2195.36 s
Current children cumulated vsize: 9586608 KiB
Current children cumulated memory: 908108 KiB

[startup+283.601 s]
/proc/loadavg: 7.97 7.32 6.79 4/218 22710
/proc/meminfo: memFree=26781304/32770624 swapFree=66957796/67108860
[pid=22635] ppid=22632 vsize=113128 memory=1472 CPUtime=6.86 cores=0-7
/proc/22635/stat : 22635 (scop.sh) S 22632 22635 20609 0 -1 4202496 582 28962 0 0 0 0 663 23 20 0 1 0 512796927 115843072 368 33554432000 4194304 5098028 140723052567968 140723052564712 140680626233980 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24244224 140723052569340 140723052569688 140723052569688 140723052572617 0
/proc/22635/statm: 28282 368 311 221 0 87 0
[pid=22660] ppid=22635 vsize=8414124 memory=120532 CPUtime=1.31 cores=0-7
/proc/22660/stat : 22660 (java) S 22635 22635 20609 0 -1 1077944320 20148 0 0 0 124 7 0 0 20 0 24 0 512797204 8616062976 30133 33554432000 4194304 4196468 140723714924576 140723714907120 140357571104503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
/proc/22660/statm: 2103531 30133 3199 1 0 2064875 0
[pid=22680] ppid=22660 vsize=1059356 memory=784080 CPUtime=2187.94 cores=0-7
/proc/22680/stat : 22680 (manyglucose-4.1) S 22660 22635 20609 0 -1 1077944320 1290895 0 0 0 218475 319 0 0 20 0 2 0 512797275 1084780544 196020 33554432000 4194304 4454172 140725194497216 140725194495600 139766635159287 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 21688320 140725194498893 140725194499100 140725194499100 140725194502070 0
/proc/22680/statm: 264839 196020 424 64 0 260507 0
[pid=22680/tid=22688] ppid=22660 vsize=1059356 memory=1472 CPUtime=273.18 cores=0-7
/proc/22680/task/22688/stat : 22688 (manyglucose-4.1) R 22660 22635 20609 0 -1 4202560 154915 0 0 0 27282 36 0 0 20 0 2 0 512797295 1084780544 196020 33554432000 4194304 4454172 140725194497216 139766597024632 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 1 0 0 6552832 6554400 21688320 140725194498893 140725194499100 140725194499100 140725194502070 0
[pid=22660/tid=22661] ppid=22635 vsize=8414124 memory=-9175913174040605074 CPUtime=0.74 cores=0-7
/proc/22660/task/22661/stat : 22661 (java) S 22635 22635 20609 0 -1 1077944384 16896 0 0 0 69 5 0 0 20 0 24 0 512797204 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357542944672 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22662] ppid=22635 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/22660/task/22662/stat : 22662 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357575346832 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22663] ppid=22635 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/22660/task/22663/stat : 22663 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357056584208 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22664] ppid=22635 vsize=8414124 memory=37540 CPUtime=0 cores=0-7
/proc/22660/task/22664/stat : 22664 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357055531408 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22665] ppid=22635 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/22660/task/22665/stat : 22665 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357054478608 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22666] ppid=22635 vsize=8414124 memory=120532 CPUtime=0 cores=0-7
/proc/22660/task/22666/stat : 22666 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357053426832 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22667] ppid=22635 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/22660/task/22667/stat : 22667 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357052374032 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22668] ppid=22635 vsize=8414124 memory=120532 CPUtime=0 cores=0-7
/proc/22660/task/22668/stat : 22668 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357051321232 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22669] ppid=22635 vsize=8414124 memory=773168 CPUtime=0 cores=0-7
/proc/22660/task/22669/stat : 22669 (java) S 22635 22635 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512797205 8616062976 30133 33554432000 4194304 4196468 140723714924576 140357050268432 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22670] ppid=22635 vsize=8414124 memory=-9175913174040605074 CPUtime=0 cores=0-7
/proc/22660/task/22670/stat : 22670 (java) S 22635 22635 20609 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512797207 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356664572272 140357571115650 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22671] ppid=22635 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22660/task/22671/stat : 22671 (java) S 22635 22635 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512797207 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356041565216 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22672] ppid=22635 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/22660/task/22672/stat : 22672 (java) S 22635 22635 20609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512797207 8616062976 30133 33554432000 4194304 4196468 140723714924576 140355907343216 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22673] ppid=22635 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/22660/task/22673/stat : 22673 (java) S 22635 22635 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140355571803984 140357571123099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22674] ppid=22635 vsize=8414124 memory=928 CPUtime=0.07 cores=0-7
/proc/22660/task/22674/stat : 22674 (java) S 22635 22635 20609 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356663520112 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22675] ppid=22635 vsize=8414124 memory=904724 CPUtime=0.05 cores=0-7
/proc/22660/task/22675/stat : 22675 (java) S 22635 22635 20609 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356662467312 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22676] ppid=22635 vsize=8414124 memory=1056 CPUtime=0.04 cores=0-7
/proc/22660/task/22676/stat : 22676 (java) S 22635 22635 20609 0 -1 1077944384 229 0 0 0 4 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356661414512 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22677] ppid=22635 vsize=8414124 memory=1556 CPUtime=0.2 cores=0-7
/proc/22660/task/22677/stat : 22677 (java) S 22635 22635 20609 0 -1 1077944384 713 0 0 0 20 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356660361712 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22678] ppid=22635 vsize=8414124 memory=11632 CPUtime=0 cores=0-7
/proc/22660/task/22678/stat : 22678 (java) S 22635 22635 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140355034933856 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22679] ppid=22635 vsize=8414124 memory=1732 CPUtime=0.15 cores=0-7
/proc/22660/task/22679/stat : 22679 (java) S 22635 22635 20609 0 -1 1077944384 21 0 0 0 0 15 0 0 20 0 24 0 512797210 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356659309104 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22681] ppid=22635 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/22660/task/22681/stat : 22681 (java) S 22635 22635 20609 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512797275 8616062976 30133 33554432000 4194304 4196468 140723714924576 140356651275328 140357571129113 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22683] ppid=22635 vsize=8414124 memory=988 CPUtime=0.01 cores=0-7
/proc/22660/task/22683/stat : 22683 (java) S 22635 22635 20609 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 512797276 8616062976 30133 33554432000 4194304 4196468 140723714924576 140354363834512 140357571126429 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22684] ppid=22635 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/22660/task/22684/stat : 22684 (java) S 22635 22635 20609 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512797276 8616062976 30133 33554432000 4194304 4196468 140723714924576 140354632269840 140357571126429 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22685] ppid=22635 vsize=8414124 memory=6160 CPUtime=0 cores=0-7
/proc/22660/task/22685/stat : 22685 (java) S 22635 22635 20609 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512797278 8616062976 30133 33554432000 4194304 4196468 140723714924576 140354095406640 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
Current children cumulated CPU time: 2196.11 s
Current children cumulated vsize: 9586608 KiB
Current children cumulated memory: 906084 KiB

[startup+283.801 s]
/proc/loadavg: 7.97 7.32 6.79 4/218 22710
/proc/meminfo: memFree=26781304/32770624 swapFree=66957796/67108860
[pid=22635] ppid=22632 vsize=113128 memory=1472 CPUtime=6.86 cores=0-7
/proc/22635/stat : 22635 (scop.sh) S 22632 22635 20609 0 -1 4202496 582 28962 0 0 0 0 663 23 20 0 1 0 512796927 115843072 368 33554432000 4194304 5098028 140723052567968 140723052564712 140680626233980 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24244224 140723052569340 140723052569688 140723052569688 140723052572617 0
/proc/22635/statm: 28282 368 311 221 0 87 0
[pid=22660] ppid=22635 vsize=8283048 memory=134204 CPUtime=2189.65 cores=0-7
/proc/22660/stat : 22660 (java) S 22635 22635 20609 0 -1 1077944320 23569 1290906 0 0 151 10 218483 321 20 0 22 0 512797204 8481841152 33551 33554432000 4194304 4196468 140723714924576 140723714907120 140357571104503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
/proc/22660/statm: 2070762 33551 3224 1 0 2032106 0
[pid=22660/tid=22661] ppid=22635 vsize=8283048 memory=14012 CPUtime=2188.85 cores=0-7
/proc/22660/task/22661/stat : 22661 (java) R 22635 22635 20609 0 -1 4202560 17149 1290906 0 0 76 5 218483 321 20 0 22 0 512797204 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357542944080 140357555184990 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22662] ppid=22635 vsize=8283048 memory=2112 CPUtime=2188.04 cores=0-7
/proc/22660/task/22662/stat : 22662 (java) S 22635 22635 20609 0 -1 1077944384 2 1290906 0 0 0 0 218483 321 20 0 22 0 512797205 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357575346832 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22663] ppid=22635 vsize=8283048 memory=12040 CPUtime=2188.04 cores=0-7
/proc/22660/task/22663/stat : 22663 (java) S 22635 22635 20609 0 -1 1077944384 3 1290906 0 0 0 0 218483 321 20 0 22 0 512797205 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357056584208 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22664] ppid=22635 vsize=8283048 memory=37540 CPUtime=2188.04 cores=0-7
/proc/22660/task/22664/stat : 22664 (java) S 22635 22635 20609 0 -1 1077944384 2 1290906 0 0 0 0 218483 321 20 0 22 0 512797205 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357055531408 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22665] ppid=22635 vsize=8283048 memory=1556 CPUtime=2188.04 cores=0-7
/proc/22660/task/22665/stat : 22665 (java) S 22635 22635 20609 0 -1 1077944384 1 1290906 0 0 0 0 218483 321 20 0 22 0 512797205 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357054478608 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22666] ppid=22635 vsize=8283048 memory=532 CPUtime=2188.04 cores=0-7
/proc/22660/task/22666/stat : 22666 (java) S 22635 22635 20609 0 -1 1077944384 2 1290906 0 0 0 0 218483 321 20 0 22 0 512797205 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357053426832 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22667] ppid=22635 vsize=8283048 memory=928 CPUtime=2188.04 cores=0-7
/proc/22660/task/22667/stat : 22667 (java) S 22635 22635 20609 0 -1 1077944384 1 1290906 0 0 0 0 218483 321 20 0 22 0 512797205 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357052374032 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22668] ppid=22635 vsize=8283048 memory=1720 CPUtime=2188.04 cores=0-7
/proc/22660/task/22668/stat : 22668 (java) S 22635 22635 20609 0 -1 1077944384 2 1290906 0 0 0 0 218483 321 20 0 22 0 512797205 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357051321232 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22669] ppid=22635 vsize=8283048 memory=1472 CPUtime=2188.04 cores=0-7
/proc/22660/task/22669/stat : 22669 (java) S 22635 22635 20609 0 -1 1077944384 2 1290906 0 0 0 0 218483 321 20 0 22 0 512797205 8481841152 33551 33554432000 4194304 4196468 140723714924576 140357050268432 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22670] ppid=22635 vsize=8283048 memory=120532 CPUtime=2188.04 cores=0-7
/proc/22660/task/22670/stat : 22670 (java) S 22635 22635 20609 0 -1 1077944384 9 1290906 0 0 0 0 218483 321 20 0 22 0 512797207 8481841152 33551 33554432000 4194304 4196468 140723714924576 140356664572272 140357571115650 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22671] ppid=22635 vsize=8283048 memory=120532 CPUtime=2188.04 cores=0-7
/proc/22660/task/22671/stat : 22671 (java) S 22635 22635 20609 0 -1 1077944384 13 1290906 0 0 0 0 218483 321 20 0 22 0 512797207 8481841152 33551 33554432000 4194304 4196468 140723714924576 140356041565216 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22672] ppid=22635 vsize=8283048 memory=786104 CPUtime=2188.04 cores=0-7
/proc/22660/task/22672/stat : 22672 (java) S 22635 22635 20609 0 -1 1077944384 21 1290906 0 0 0 0 218483 321 20 0 22 0 512797207 8481841152 33551 33554432000 4194304 4196468 140723714924576 140355907343216 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22673] ppid=22635 vsize=8283048 memory=1472 CPUtime=2188.04 cores=0-7
/proc/22660/task/22673/stat : 22673 (java) S 22635 22635 20609 0 -1 1077944384 1 1290906 0 0 0 0 218483 321 20 0 22 0 512797210 8481841152 33551 33554432000 4194304 4196468 140723714924576 140355571803984 140357571123099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22674] ppid=22635 vsize=8283048 memory=120468 CPUtime=2188.14 cores=0-7
/proc/22660/task/22674/stat : 22674 (java) S 22635 22635 20609 0 -1 1077944384 701 1290906 0 0 10 0 218483 321 20 0 22 0 512797210 8481841152 33551 33554432000 4194304 4196468 140723714924576 140356663520112 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22675] ppid=22635 vsize=8283048 memory=764976 CPUtime=2188.13 cores=0-7
/proc/22660/task/22675/stat : 22675 (java) S 22635 22635 20609 0 -1 1077944384 464 1290906 0 0 9 0 218483 321 20 0 22 0 512797210 8481841152 33551 33554432000 4194304 4196468 140723714924576 140356662467312 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22676] ppid=22635 vsize=8283048 memory=-9175913174040605074 CPUtime=2188.11 cores=0-7
/proc/22660/task/22676/stat : 22676 (java) R 22635 22635 20609 0 -1 4202560 528 1290906 0 0 7 0 218483 321 20 0 22 0 512797210 8481841152 33551 33554432000 4194304 4196468 140723714924576 140356661399712 140357550948113 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22677] ppid=22635 vsize=8283048 memory=4872558044660077418 CPUtime=2188.3 cores=0-7
/proc/22660/task/22677/stat : 22677 (java) S 22635 22635 20609 0 -1 1077944384 1061 1290906 0 0 26 0 218483 321 20 0 22 0 512797210 8481841152 33551 33554432000 4194304 4196468 140723714924576 140356660361712 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22678] ppid=22635 vsize=8283048 memory=288230583166042426 CPUtime=2188.04 cores=0-7
/proc/22660/task/22678/stat : 22678 (java) S 22635 22635 20609 0 -1 1077944384 3 1290906 0 0 0 0 218483 321 20 0 22 0 512797210 8481841152 33551 33554432000 4194304 4196468 140723714924576 140355034933856 140357571114709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22679] ppid=22635 vsize=8283048 memory=0 CPUtime=2188.19 cores=0-7
/proc/22660/task/22679/stat : 22679 (java) S 22635 22635 20609 0 -1 1077944384 21 1290906 0 0 0 15 218483 321 20 0 22 0 512797210 8481841152 33551 33554432000 4194304 4196468 140723714924576 140356659309104 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22681] ppid=22635 vsize=8283048 memory=12040 CPUtime=2188.04 cores=0-7
/proc/22660/task/22681/stat : 22681 (java) S 22635 22635 20609 0 -1 1077944384 30 1290906 0 0 0 0 218483 321 20 0 22 0 512797275 8481841152 33551 33554432000 4194304 4196468 140723714924576 140356651274512 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
[pid=22660/tid=22685] ppid=22635 vsize=8283048 memory=3636 CPUtime=2188.04 cores=0-7
/proc/22660/task/22685/stat : 22685 (java) S 22635 22635 20609 0 -1 1077944384 10 1290906 0 0 0 0 218483 321 20 0 22 0 512797278 8481841152 33551 33554432000 4194304 4196468 140723714924576 140354095408432 140357571115650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29663232 140723714929631 140723714929798 140723714929798 140723714932687 0
Current children cumulated CPU time: 2196.51 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135676 KiB

Child status: 0
Real time (s): 283.855
CPU time (s): 2196.64
CPU user time (s): 2193.07
CPU system time (s): 3.57028
CPU usage (%): 773.859
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1069500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2193.07
system time used= 3.57028
maximum resident set size= 978476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1344147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23107
involuntary context switches= 23650


# summary of solver processes directly reported to runsolver:
#   pid: 22635
#   total CPU time (s): 2196.64
#   total CPU user time (s): 2193.07
#   total CPU system time (s): 3.57028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.75237 second user time and 3.866 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-25 00:52:25
IDJOB=4405691
IDBENCH=141718
IDSOLVER=2868
FILE ID=node149/4405691-1569365583
RUNJOBID= node149-1569356151-20636
PBS_JOBID= 21705101
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-30-098.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405691-1569365583/watcher-4405691-1569365583 -o /var/tmp/evaluation-result-4405691-1569365583/solver-4405691-1569365583 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569356151-20636 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405691-1569365583.xml

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

MD5SUM BENCH= fb27cd1d2814d0f1760e6f4b9d041fef
RANDOM SEED=1985272364

node149.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.81
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.81
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.81
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.81
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:        27679068 kB
MemAvailable:   31806304 kB
Buffers:          125908 kB
Cached:          4086912 kB
SwapCached:        42368 kB
Active:          2928724 kB
Inactive:        1328996 kB
Active(anon):       3904 kB
Inactive(anon):    94788 kB
Active(file):    2924820 kB
Inactive(file):  1234208 kB
Unevictable:      109108 kB
Mlocked:          109108 kB
SwapTotal:      67108860 kB
SwapFree:       66957796 kB
Dirty:             20796 kB
Writeback:             0 kB
AnonPages:        121312 kB
Mapped:            57548 kB
Shmem:             44948 kB
Slab:             425516 kB
SReclaimable:     396668 kB
SUnreclaim:        28848 kB
KernelStack:        3760 kB
PageTables:         5764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node149 at 2019-09-25 00:57:09