Trace number 4405537

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 185.402 117.796

General information on the benchmark

NameQueens/
Queens-m1-s1/Queens-0200-m1.xml
MD5SUMaa794b13577ab4fe7ac8dae6d6ffdfc7
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 benchmark18.6139
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints19901
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":200}]
Minimum variable degree200
Maximum variable degree200
Distribution of variable degrees[{"degree":200,"count":200}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":19900},{"arity":200,"count":1}]
Number of extensional constraints0
Number of intensional constraints19900
Distribution of constraint types[{"type":"intension","count":19900},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-21296-serial-file.bin HOME/instance-4405537-1569358979.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 23:05:14 CEST 2019
0.65/0.57	c PID: 21299
0.65/0.57	c IP: 172.20.3.139
0.65/0.57	c HOST: node139.alineos.net
0.65/0.57	c (0,0) Parsing Begin
6.93/2.40	c (1,1) Parsing End
6.93/2.41	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 19901 ctr, max domain size 200
6.93/2.41	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.93/2.41	c (1,1) Constraint Name Generate Begin
6.93/2.49	c (1,1) Ctr:HOME/instance-4405537-1569358979.xml,AllDifferent:Dist:Ne:Num:Var
6.93/2.49	c (1,1) Constraint Name Generate End
6.93/2.49	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.93/2.49	c (1,1) CSP to CSPinCNF Begin
12.05/4.28	c (3,3) translated 1991 (10%) constraints
12.76/4.63	c (4,4) translated 3981 (20%) constraints
13.29/4.96	c (4,4) translated 5971 (30%) constraints
13.71/5.27	c (4,4) translated 7961 (40%) constraints
14.01/5.57	c (5,5) translated 9951 (50%) constraints
14.33/5.88	c (5,5) translated 11941 (60%) constraints
14.74/6.20	c (5,5) translated 13931 (70%) constraints
15.04/6.50	c (5,5) translated 15921 (80%) constraints
15.34/6.80	c (6,6) translated 17911 (90%) constraints
15.55/7.10	c (6,6) translated 19901 (100%) constraints
15.55/7.10	c (6,6) ===========================================
15.99/7.26	c (6,6) Hybrid: #OE=20100, #LE=0
15.99/7.26	c (6,6) Hybrid
15.99/7.26	c (6,6) ===========================================
16.89/7.55	c (7,6) translated 7981 (10%) constraints
17.25/7.75	c (7,7) translated 15961 (20%) constraints
19.91/9.68	c (9,9) translated 23941 (30%) constraints
20.19/9.86	c (9,9) translated 31921 (40%) constraints
20.39/10.04	c (9,9) translated 39901 (50%) constraints
20.59/10.21	c (9,9) translated 47882 (60%) constraints
20.69/10.39	c (9,9) translated 55862 (70%) constraints
20.89/10.57	c (10,10) translated 63842 (80%) constraints
21.09/10.75	c (10,10) translated 71822 (90%) constraints
21.29/10.92	c (10,10) translated 79802 (100%) constraints
21.29/10.93	c (10,10) CSP to CSPinCNF End
21.29/10.95	c (10,10) CSP: 200 int (0 aux), 59900 bool (59900 aux), 159802 ctr, max domain size 200
21.29/10.95	c (10,10) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
21.29/10.95	c (10,10) CSPinCNF Propagation Begin
23.48/12.60	c (12,12) 1 values, 4 unsatisfiable literals, and 401 valid clauses are removed
23.48/12.60	c (12,12) CSPinCNF Propagation End
23.60/12.61	c (12,12) CSP: 200 int (0 aux), 59900 bool (59900 aux), 159401 ctr, max domain size 200
23.60/12.61	c (12,12) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
23.80/12.76	c (12,12) Hybrid: #OE=60100, #LE=0
23.80/12.76	c (12,12) Simplify CSPinCNF Begin
26.15/14.17	c (13,13) Simplify CSPinCNF End
26.24/14.21	c (13,13) CSP: 200 int (0 aux), 139498 bool (139498 aux), 238999 ctr, max domain size 200
26.24/14.21	c (13,13) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
26.24/14.21	c (13,13) Calculate Precise Domain Begin
26.24/14.21	c (13,13) 0 values are removed by re-calculation
26.24/14.21	c (13,13) Calculate Precise Domain End
26.24/14.24	c (13,13) CSP: 200 int (0 aux), 139498 bool (139498 aux), 238999 ctr, max domain size 200
26.24/14.24	c (13,13) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
26.24/14.24	c (13,13) CSPinCNF to SatSolver Begin
46.88/29.37	c (28,27) 23900 (10 %) CSP clauses are encoded (0 SAT variables, 3233967 SAT clauses)
61.09/42.68	c (42,40) 47800 (20 %) CSP clauses are encoded (0 SAT variables, 6428733 SAT clauses)
68.39/49.28	c (48,47) 71700 (30 %) CSP clauses are encoded (0 SAT variables, 8031499 SAT clauses)
70.35/49.71	c (49,47) 95600 (40 %) CSP clauses are encoded (0 SAT variables, 8055399 SAT clauses)
70.56/49.93	c (49,47) 119500 (50 %) CSP clauses are encoded (0 SAT variables, 8079299 SAT clauses)
72.17/51.81	c (51,49) 143400 (60 %) CSP clauses are encoded (0 SAT variables, 8418099 SAT clauses)
83.42/60.79	c (60,57) 167300 (70 %) CSP clauses are encoded (0 SAT variables, 10493579 SAT clauses)
93.24/70.37	c (69,67) 191200 (80 %) CSP clauses are encoded (0 SAT variables, 12836775 SAT clauses)
104.36/82.04	c (81,78) 215100 (90 %) CSP clauses are encoded (0 SAT variables, 15513795 SAT clauses)
117.57/95.15	c (94,91) 238999 (100 %) CSP clauses are encoded (0 SAT variables, 18705800 SAT clauses)
117.57/95.15	c (94,91) CSPinCNF to SatSolver End
117.57/95.15	c (94,91) Heap : 3782 MiB used (max 21758 MiB), NonHeap : 30 MiB used (max 0 MiB)
117.57/95.15	c (94,91) 179297 bool, 18705999 clause
117.57/95.15	c (94,91) Export Begin
117.69/95.26	c (94,91) Export to HOME/scop-21296-serial-file.bin
117.69/95.26	c (94,91) Export End
117.69/95.26	c (94,91) Export File Size: 0.03 MB
117.69/95.26	c (94,91) 1,1,10,12,13,13,94,STOP-AFTER(DIMACS)
117.69/95.26	c END-Prog: Tue Sep 24 23:06:49 CEST 2019
0.00/95.31	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21296-serial-file.bin
117.88/95.78	c (0,0) Read Serial File Begin
117.88/95.78	c (0,0) HOME/scop-21296-serial-file.bin
117.88/95.99	c (0,0) Read Serial File End
118.83/96.05	
118.83/96.05	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
118.83/96.05	(Solving Process)
118.83/96.05	
118.83/96.05	c BEGIN-Prog: Tue Sep 24 23:06:49 CEST 2019
118.83/96.05	c PID: 21327
118.83/96.05	c IP: 172.20.3.139
118.83/96.05	c HOST: node139.alineos.net
118.83/96.05	c (0,0) SatSolver.solve Begin
118.83/96.05	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405537-1569358979.xml-scop-21299.cnf
118.83/96.06	c (0,0) c
118.83/96.06	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)
118.83/96.06	c (0,0) c
118.83/96.06	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
118.83/96.06	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
118.83/96.06	c (0,0) c ========================================[ Problem Statistics ]===========================================
118.83/96.06	c (0,0) c |                                                                                                       |
125.09/102.17	c (6,0) c |  Number of variables:        179297                                                                   |
125.09/102.17	c (6,0) c |  Number of clauses:        18705999                                                                   |
125.09/102.17	c (6,0) c |  Parse time:                   5.53 s                                                                 |
125.09/102.17	c (6,0) c |                                                                                                       |
126.18/103.23	c (7,0) c | Too many clauses... No preprocessing                                                                  |
126.18/103.23	c (7,0) c |  Simplification time:          0.93 s                                                                 |
126.18/103.23	c (7,0) c |                                                                                                       |
126.18/103.23	c (7,0) c |  One Solver is taking   1375.52Mb... Let's take   5 solvers for this run (max 40% of the maxmemory).  |
126.18/103.23	c (7,0) c |  Generating clones                                                                                    |
127.68/104.79	c (9,0) c |  all clones generated. Memory =  5179.80Mb.                                                           |
127.68/104.79	c (9,0) c ========================================================================================================|
127.68/104.79	c (9,0) c
127.68/104.79	c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
127.68/104.79	c (9,0) c
127.68/104.79	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|
127.68/104.79	c (9,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |
127.68/104.79	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|
127.68/104.79	c (9,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |
127.68/104.79	c (9,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |
127.68/104.79	c (9,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |
127.68/104.79	c (9,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |
127.68/104.79	c (9,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |
127.68/104.79	c (9,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |
127.68/104.79	c (9,0) c | glureduce             |       True |       True |       True |       True |       True |
127.68/104.79	c (9,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |
127.68/104.79	c (9,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |
127.68/104.79	c (9,0) c | luby_restart          |      False |      False |      False |      False |      False |
127.68/104.79	c (9,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |
127.68/104.79	c (9,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
127.68/104.79	c (9,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
127.68/104.79	c (9,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |
127.68/104.79	c (9,0) c | remove_satisfied      |       True |       True |       True |       True |       True |
127.68/104.79	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|
184.17/117.25	c (21,0) c
184.17/117.25	c (21,0) c real time : 21.191 s
184.17/117.25	c (21,0) c cpu time  : 59.2735 s
184.17/117.25	c (21,0) c
184.17/117.25	c (21,0) c
184.17/117.25	c (21,0) c
184.17/117.25	c (21,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
184.17/117.25	c (21,0) c
184.17/117.25	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
184.17/117.25	c (21,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |
184.17/117.25	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
184.17/117.25	c (21,0) c | Conflicts     |            5009 |        652 |       1061 |       1639 |        784 |        873 |
184.17/117.25	c (21,0) c | Decisions     |          222785 |     125183 |      21827 |      20663 |      26741 |      28371 |
184.17/117.25	c (21,0) c | Propagations  |        45161881 |    8495406 |    8190794 |    8947267 |    9318312 |   10210102 |
184.17/117.25	c (21,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |
184.17/117.25	c (21,0) c | SimpDBs       |               5 |          1 |          1 |          1 |          1 |          1 |
184.17/117.25	c (21,0) c | Restarts      |              84 |          8 |         20 |         27 |         14 |         15 |
184.17/117.25	c (21,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |
184.17/117.25	c (21,0) c | PropBinClauses|        49628833 |    9067731 |    9203392 |   10212428 |   10070965 |   11074317 |
184.17/117.25	c (21,0) c | PropPreBlocker|      3253588893 |  596457240 |  615606206 |  695069340 |  643392680 |  703063427 |
184.17/117.25	c (21,0) c | PropNotBlocker|       305077274 |   59081883 |   63364395 |   65605897 |   62091406 |   54933693 |
184.17/117.25	c (21,0) c | LitFullScans  |      3654592882 |  673409006 |  696418786 |  780129285 |  724539146 |  780096659 |
184.17/117.25	c (21,0) c | LitScanFracts |          491370 |      88737 |      98810 |     112972 |      97329 |      93522 |
184.17/117.25	c (21,0) c | DecisionLevel0|              86 |          8 |         21 |         27 |         14 |         16 |
184.17/117.25	c (21,0) c | Periods       |             608 |        112 |        116 |        130 |        120 |        130 |
184.17/117.25	c (21,0) c | Margin        |             100 |         20 |         20 |         20 |         20 |         20 |
184.17/117.25	c (21,0) c | Avg_Trail     |                 |     132363 |     142990 |     130553 |     128462 |     127950 |
184.17/117.25	c (21,0) c | Avg_DL        |                 |       1630 |        400 |        356 |        404 |        349 |
184.17/117.25	c (21,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |
184.17/117.25	c (21,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |
184.17/117.25	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
184.17/117.25	c (21,0) c | Exported      |              74 |         20 |         16 |         14 |         12 |         12 |
184.17/117.25	c (21,0) c | Imported      |             278 |         50 |         53 |         59 |         57 |         59 |
184.17/117.25	c (21,0) c | Good          |              20 |          4 |          3 |          5 |          5 |          3 |
184.17/117.25	c (21,0) c | Purge         |             258 |         46 |         50 |         54 |         52 |         56 |
184.17/117.25	c (21,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |
184.17/117.25	c (21,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |
184.17/117.25	c (21,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |
184.17/117.25	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
184.17/117.25	c (21,0) c | Unaries       |                 |          0 |          1 |          0 |          0 |          1 |
184.17/117.25	c (21,0) c | Binaries      |                 |          1 |          2 |          0 |          0 |          2 |
184.17/117.25	c (21,0) c | Glues         |                 |         20 |         16 |         14 |         12 |         12 |
184.17/117.25	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
184.17/117.25	c (21,0) c | Orig_Seen     |             0 % |      34487 |      71078 |      82239 |      59912 |      54217 |
184.17/117.25	c (21,0) c | Diff Orig seen|                 |      X     |      36591 |      47752 |      25425 |      19730 |
184.17/117.25	c (21,0) c | Hamming       |            28 % |      X     |      49598 |      50600 |      51424 |      49815 |
184.17/117.25	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
184.17/117.25	c (21,0) c | RunningTime   |                 |   12.4 100%|   12.4 100%|   11.0  89%|   12.2 100%|   10.3  83%|
184.17/117.25	c (21,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    1.3  10%|    0.0   0%|    2.0  16%|
184.17/117.25	c (21,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
184.17/117.25	c (21,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
184.17/117.25	c (21,0) c | SolvingTime   |                 |   12.4     |   12.4     |   12.3     |   12.2     |   12.3     |
184.17/117.25	c (21,0) c | PropagationTim|                 |   12.2  98%|   12.1  97%|   11.8  96%|   11.9  97%|   11.9  97%|
184.17/117.25	c (21,0) c | AnalysisTime  |                 |    0.1   0%|    0.1   1%|    0.2   2%|    0.1   1%|    0.1   1%|
184.17/117.25	c (21,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
184.17/117.25	c (21,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
184.17/117.25	c (21,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
184.17/117.25	c (21,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
184.17/117.25	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
184.17/117.25	c (21,0) c
184.17/117.25	c (21,0) c
184.17/117.25	c (21,0) c Threads : 5
184.17/117.25	c (21,0) c Winner : 0
184.17/117.25	c (21,0) c Conflicts_0 : 652
184.17/117.25	c (21,0) c Conflicts_1 : 1061
184.17/117.25	c (21,0) c Conflicts_2 : 1639
184.17/117.25	c (21,0) c Conflicts_3 : 784
184.17/117.25	c (21,0) c Conflicts_4 : 873
184.17/117.25	c (21,0) c Conflicts_total : 5009
184.17/117.25	c (21,0) c Conflicts_winner : 652
184.17/117.25	c (21,0) c Decisions_0 : 125183
184.17/117.25	c (21,0) c Decisions_1 : 21827
184.17/117.25	c (21,0) c Decisions_2 : 20663
184.17/117.25	c (21,0) c Decisions_3 : 26741
184.17/117.25	c (21,0) c Decisions_4 : 28371
184.17/117.25	c (21,0) c Decisions_total : 222785
184.17/117.25	c (21,0) c Decisions_winner : 125183
184.17/117.25	c (21,0) c Propagations_0 : 8495406
184.17/117.25	c (21,0) c Propagations_1 : 8190794
184.17/117.25	c (21,0) c Propagations_2 : 8947267
184.17/117.25	c (21,0) c Propagations_3 : 9318312
184.17/117.25	c (21,0) c Propagations_4 : 10210102
184.17/117.25	c (21,0) c Propagations_total : 45161881
184.17/117.25	c (21,0) c Propagations_winner : 8495406
184.17/117.25	c (21,0) c ReduceDBs_0 : 0
184.17/117.25	c (21,0) c ReduceDBs_1 : 0
184.17/117.25	c (21,0) c ReduceDBs_2 : 0
184.17/117.25	c (21,0) c ReduceDBs_3 : 0
184.17/117.25	c (21,0) c ReduceDBs_4 : 0
184.17/117.25	c (21,0) c ReduceDBs_total : 0
184.17/117.25	c (21,0) c ReduceDBs_winner : 0
184.17/117.25	c (21,0) c SimpDBs_0 : 1
184.17/117.25	c (21,0) c SimpDBs_1 : 1
184.17/117.25	c (21,0) c SimpDBs_2 : 1
184.17/117.25	c (21,0) c SimpDBs_3 : 1
184.17/117.25	c (21,0) c SimpDBs_4 : 1
184.17/117.25	c (21,0) c SimpDBs_total : 5
184.17/117.25	c (21,0) c SimpDBs_winner : 1
184.17/117.25	c (21,0) c Restarts_0 : 8
184.17/117.25	c (21,0) c Restarts_1 : 20
184.17/117.25	c (21,0) c Restarts_2 : 27
184.17/117.25	c (21,0) c Restarts_3 : 14
184.17/117.25	c (21,0) c Restarts_4 : 15
184.17/117.25	c (21,0) c Restarts_total : 84
184.17/117.25	c (21,0) c Restarts_winner : 8
184.17/117.25	c (21,0) c ForcedImports_0 : 0
184.17/117.25	c (21,0) c ForcedImports_1 : 0
184.17/117.25	c (21,0) c ForcedImports_2 : 0
184.17/117.25	c (21,0) c ForcedImports_3 : 0
184.17/117.25	c (21,0) c ForcedImports_4 : 0
184.17/117.25	c (21,0) c ForcedImports_total : 0
184.17/117.25	c (21,0) c ForcedImports_winner : 0
184.17/117.25	c (21,0) c PropsBinClauses_0 : 9067731
184.17/117.25	c (21,0) c PropsBinClauses_1 : 9203392
184.17/117.25	c (21,0) c PropsBinClauses_2 : 10212428
184.17/117.25	c (21,0) c PropsBinClauses_3 : 10070965
184.17/117.25	c (21,0) c PropsBinClauses_4 : 11074317
184.17/117.25	c (21,0) c PropsBinClauses_total : 49628833
184.17/117.25	c (21,0) c PropsBinClauses_winner : 9067731
184.17/117.25	c (21,0) c PropsPreBlocker_0 : 596457240
184.17/117.25	c (21,0) c PropsPreBlocker_1 : 615606206
184.17/117.25	c (21,0) c PropsPreBlocker_2 : 695069340
184.17/117.25	c (21,0) c PropsPreBlocker_3 : 643392680
184.17/117.25	c (21,0) c PropsPreBlocker_4 : 703063427
184.17/117.25	c (21,0) c PropsPreBlocker_total : 3253588893
184.17/117.25	c (21,0) c PropsPreBlocker_winner : 596457240
184.17/117.25	c (21,0) c PropsNotBlocker_0 : 59081883
184.17/117.25	c (21,0) c PropsNotBlocker_1 : 63364395
184.17/117.25	c (21,0) c PropsNotBlocker_2 : 65605897
184.17/117.25	c (21,0) c PropsNotBlocker_3 : 62091406
184.17/117.25	c (21,0) c PropsNotBlocker_4 : 54933693
184.17/117.25	c (21,0) c PropsNotBlocker_total : 305077274
184.17/117.25	c (21,0) c PropsNotBlocker_winner : 59081883
184.17/117.25	c (21,0) c PropsLitFullScans_0 : 673409006
184.17/117.25	c (21,0) c PropsLitFullScans_1 : 696418786
184.17/117.26	c (21,0) c PropsLitFullScans_2 : 780129285
184.17/117.26	c (21,0) c PropsLitFullScans_3 : 724539146
184.17/117.26	c (21,0) c PropsLitFullScans_4 : 780096659
184.17/117.26	c (21,0) c PropsLitFullScans_total : 3654592882
184.17/117.26	c (21,0) c PropsLitFullScans_winner : 673409006
184.17/117.26	c (21,0) c LitScanFractions_0 : 88737
184.17/117.26	c (21,0) c LitScanFractions_1 : 98810
184.17/117.26	c (21,0) c LitScanFractions_2 : 112972
184.17/117.26	c (21,0) c LitScanFractions_3 : 97329
184.17/117.26	c (21,0) c LitScanFractions_4 : 93522
184.17/117.26	c (21,0) c LitScanFractions_total : 491370
184.17/117.26	c (21,0) c LitScanFractions_winner : 88737
184.17/117.26	c (21,0) c DecisionLevel0_0 : 8
184.17/117.26	c (21,0) c DecisionLevel0_1 : 21
184.17/117.26	c (21,0) c DecisionLevel0_2 : 27
184.17/117.26	c (21,0) c DecisionLevel0_3 : 14
184.17/117.26	c (21,0) c DecisionLevel0_4 : 16
184.17/117.26	c (21,0) c DecisionLevel0_total : 86
184.17/117.26	c (21,0) c DecisionLevel0_winner : 8
184.17/117.26	c (21,0) c Periods_0 : 112
184.17/117.26	c (21,0) c Periods_1 : 116
184.17/117.26	c (21,0) c Periods_2 : 130
184.17/117.26	c (21,0) c Periods_3 : 120
184.17/117.26	c (21,0) c Periods_4 : 130
184.17/117.26	c (21,0) c Periods_total : 608
184.17/117.26	c (21,0) c Periods_winner : 112
184.17/117.26	c (21,0) c Margin_0 : 20
184.17/117.26	c (21,0) c Margin_1 : 20
184.17/117.26	c (21,0) c Margin_2 : 20
184.17/117.26	c (21,0) c Margin_3 : 20
184.17/117.26	c (21,0) c Margin_4 : 20
184.17/117.26	c (21,0) c Margin_total : 100
184.17/117.26	c (21,0) c Margin_winner : 20
184.17/117.26	c (21,0) c Exported_0 : 20
184.17/117.26	c (21,0) c Exported_1 : 16
184.17/117.26	c (21,0) c Exported_2 : 14
184.17/117.26	c (21,0) c Exported_3 : 12
184.17/117.26	c (21,0) c Exported_4 : 12
184.17/117.26	c (21,0) c Exported_total : 74
184.17/117.26	c (21,0) c Exported_winner : 20
184.17/117.26	c (21,0) c Imported_0 : 50
184.17/117.26	c (21,0) c Imported_1 : 53
184.17/117.26	c (21,0) c Imported_2 : 59
184.17/117.26	c (21,0) c Imported_3 : 57
184.17/117.26	c (21,0) c Imported_4 : 59
184.17/117.26	c (21,0) c Imported_total : 278
184.17/117.26	c (21,0) c Imported_winner : 50
184.17/117.26	c (21,0) c Good_0 : 4
184.17/117.26	c (21,0) c Good_1 : 3
184.17/117.26	c (21,0) c Good_2 : 5
184.17/117.26	c (21,0) c Good_3 : 5
184.17/117.26	c (21,0) c Good_4 : 3
184.17/117.26	c (21,0) c Good_total : 20
184.17/117.26	c (21,0) c Good_winner : 4
184.17/117.26	c (21,0) c Purge_0 : 46
184.17/117.26	c (21,0) c Purge_1 : 50
184.17/117.26	c (21,0) c Purge_2 : 54
184.17/117.26	c (21,0) c Purge_3 : 52
184.17/117.26	c (21,0) c Purge_4 : 56
184.17/117.26	c (21,0) c Purge_total : 258
184.17/117.26	c (21,0) c Purge_winner : 46
184.17/117.26	c (21,0) c Promoted_0 : 0
184.17/117.26	c (21,0) c Promoted_1 : 0
184.17/117.26	c (21,0) c Promoted_2 : 0
184.17/117.26	c (21,0) c Promoted_3 : 0
184.17/117.26	c (21,0) c Promoted_4 : 0
184.17/117.26	c (21,0) c Promoted_total : 0
184.17/117.26	c (21,0) c Promoted_winner : 0
184.17/117.26	c (21,0) c Remove_Imp_0 : 0
184.17/117.26	c (21,0) c Remove_Imp_1 : 0
184.17/117.26	c (21,0) c Remove_Imp_2 : 0
184.17/117.26	c (21,0) c Remove_Imp_3 : 0
184.17/117.26	c (21,0) c Remove_Imp_4 : 0
184.17/117.26	c (21,0) c Remove_Imp_total : 0
184.17/117.26	c (21,0) c Remove_Imp_winner : 0
184.17/117.26	c (21,0) c Blocked_Reuse_0 : 0
184.17/117.26	c (21,0) c Blocked_Reuse_1 : 0
184.17/117.26	c (21,0) c Blocked_Reuse_2 : 0
184.17/117.26	c (21,0) c Blocked_Reuse_3 : 0
184.17/117.26	c (21,0) c Blocked_Reuse_4 : 0
184.17/117.26	c (21,0) c Blocked_Reuse_total : 0
184.17/117.26	c (21,0) c Blocked_Reuse_winner : 0
184.17/117.26	c (21,0) c Unaries_0 : 0
184.17/117.26	c (21,0) c Unaries_1 : 1
184.17/117.26	c (21,0) c Unaries_2 : 0
184.17/117.26	c (21,0) c Unaries_3 : 0
184.17/117.26	c (21,0) c Unaries_4 : 1
184.17/117.26	c (21,0) c Unaries_total : 2
184.17/117.26	c (21,0) c Unaries_winner : 0
184.17/117.26	c (21,0) c Binaries_0 : 1
184.17/117.26	c (21,0) c Binaries_1 : 2
184.17/117.26	c (21,0) c Binaries_2 : 0
184.17/117.26	c (21,0) c Binaries_3 : 0
184.17/117.26	c (21,0) c Binaries_4 : 2
184.17/117.26	c (21,0) c Binaries_total : 5
184.17/117.26	c (21,0) c Binaries_winner : 1
184.17/117.26	c (21,0) c Glues_0 : 20
184.17/117.26	c (21,0) c Glues_1 : 16
184.17/117.26	c (21,0) c Glues_2 : 14
184.17/117.26	c (21,0) c Glues_3 : 12
184.17/117.26	c (21,0) c Glues_4 : 12
184.17/117.26	c (21,0) c Glues_total : 74
184.17/117.26	c (21,0) c Glues_winner : 20
184.17/117.26	c (21,0) c RunningTime_0 : 12.432537
184.17/117.26	c (21,0) c RunningTime_1 : 12.439835
184.17/117.26	c (21,0) c RunningTime_2 : 11.031066
184.17/117.26	c (21,0) c RunningTime_3 : 12.238831
184.17/117.26	c (21,0) c RunningTime_4 : 10.263277
184.17/117.26	c (21,0) c RunningTime_total : 58.405547
184.17/117.26	c (21,0) c RunningTime_winner : 12.432537
184.17/117.26	c (21,0) c WaitingTime_0 : 0.000087
184.17/117.26	c (21,0) c WaitingTime_1 : 0.000108
184.17/117.26	c (21,0) c WaitingTime_2 : 1.293517
184.17/117.26	c (21,0) c WaitingTime_3 : 0.000110
184.17/117.26	c (21,0) c WaitingTime_4 : 2.027433
184.17/117.26	c (21,0) c WaitingTime_total : 3.321254
184.17/117.26	c (21,0) c WaitingTime_winner : 0.000087
184.17/117.26	c (21,0) c ExchangingTime_0 : 0.000782
184.17/117.26	c (21,0) c ExchangingTime_1 : 0.000850
184.17/117.26	c (21,0) c ExchangingTime_2 : 0.001078
184.17/117.26	c (21,0) c ExchangingTime_3 : 0.000688
184.17/117.26	c (21,0) c ExchangingTime_4 : 0.000934
184.17/117.26	c (21,0) c ExchangingTime_total : 0.004332
184.17/117.26	c (21,0) c ExchangingTime_winner : 0.000782
184.17/117.26	c (21,0) c PeriodProcTime_0 : 0.001184
184.17/117.26	c (21,0) c PeriodProcTime_1 : 0.001206
184.17/117.26	c (21,0) c PeriodProcTime_2 : 0.001307
184.17/117.26	c (21,0) c PeriodProcTime_3 : 0.001141
184.17/117.26	c (21,0) c PeriodProcTime_4 : 0.001285
184.17/117.26	c (21,0) c PeriodProcTime_total : 0.006123
184.17/117.26	c (21,0) c PeriodProcTime_winner : 0.001184
184.17/117.26	c (21,0) c SolvingTime_0 : 12.434590
184.17/117.26	c (21,0) c SolvingTime_1 : 12.441999
184.17/117.26	c (21,0) c SolvingTime_2 : 12.326968
184.17/117.26	c (21,0) c SolvingTime_3 : 12.240770
184.17/117.26	c (21,0) c SolvingTime_4 : 12.292929
184.17/117.26	c (21,0) c SolvingTime_total : 61.737256
184.17/117.26	c (21,0) c SolvingTime_winner : 12.434590
184.17/117.26	c (21,0) c PropagationTime_0 : 12.165803
184.17/117.26	c (21,0) c PropagationTime_1 : 12.064109
184.17/117.26	c (21,0) c PropagationTime_2 : 11.813158
184.17/117.26	c (21,0) c PropagationTime_3 : 11.890015
184.17/117.26	c (21,0) c PropagationTime_4 : 11.919634
184.17/117.26	c (21,0) c PropagationTime_total : 59.852719
184.17/117.26	c (21,0) c PropagationTime_winner : 12.165803
184.17/117.26	c (21,0) c AnalysisTime_0 : 0.057641
184.17/117.26	c (21,0) c AnalysisTime_1 : 0.135221
184.17/117.26	c (21,0) c AnalysisTime_2 : 0.193255
184.17/117.26	c (21,0) c AnalysisTime_3 : 0.091114
184.17/117.26	c (21,0) c AnalysisTime_4 : 0.068369
184.17/117.26	c (21,0) c AnalysisTime_total : 0.545600
184.17/117.26	c (21,0) c AnalysisTime_winner : 0.057641
184.17/117.26	c (21,0) c ReductionTime_0 : 0.000000
184.17/117.26	c (21,0) c ReductionTime_1 : 0.000000
184.17/117.26	c (21,0) c ReductionTime_2 : 0.000000
184.17/117.26	c (21,0) c ReductionTime_3 : 0.000000
184.17/117.26	c (21,0) c ReductionTime_4 : 0.000000
184.17/117.26	c (21,0) c ReductionTime_total : 0.000000
184.17/117.26	c (21,0) c ReductionTime_winner : 0.000000
184.17/117.26	c (21,0) c SimplifyTime_0 : 0.000002
184.17/117.26	c (21,0) c SimplifyTime_1 : 0.000000
184.17/117.26	c (21,0) c SimplifyTime_2 : 0.000001
184.17/117.26	c (21,0) c SimplifyTime_3 : 0.000001
184.17/117.26	c (21,0) c SimplifyTime_4 : 0.000002
184.17/117.26	c (21,0) c SimplifyTime_total : 0.000006
184.17/117.26	c (21,0) c SimplifyTime_winner : 0.000002
184.17/117.26	c (21,0) c UsedRateTime_0 : 0.000000
184.17/117.26	c (21,0) c UsedRateTime_1 : 0.000000
184.17/117.26	c (21,0) c UsedRateTime_2 : 0.000000
184.17/117.26	c (21,0) c UsedRateTime_3 : 0.000000
184.17/117.26	c (21,0) c UsedRateTime_4 : 0.000000
184.17/117.26	c (21,0) c UsedRateTime_total : 0.000000
184.17/117.26	c (21,0) c UsedRateTime_winner : 0.000000
184.17/117.26	c (21,0) c OverlapRateTime_0 : 0.000000
184.17/117.26	c (21,0) c OverlapRateTime_1 : 0.000000
184.17/117.26	c (21,0) c OverlapRateTime_2 : 0.000000
184.17/117.26	c (21,0) c OverlapRateTime_3 : 0.000000
184.17/117.26	c (21,0) c OverlapRateTime_4 : 0.000000
184.17/117.26	c (21,0) c OverlapRateTime_total : 0.000000
184.17/117.26	c (21,0) c OverlapRateTime_winner : 0.000000
184.17/117.26	c (21,0) c
184.17/117.26	c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
184.17/117.26	c (21,0) c
184.17/117.26	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|
184.17/117.26	c (21,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |
184.17/117.26	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|
184.17/117.26	c (21,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |
184.17/117.26	c (21,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |
184.17/117.26	c (21,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |
184.17/117.26	c (21,0) c | Initial random_seed   |  593892554 | 1947618935 | 1481796417 | 1627239063 |  200584512 |
184.17/117.26	c (21,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |
184.17/117.26	c (21,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |
184.17/117.26	c (21,0) c | glureduce             |       True |       True |       True |       True |       True |
184.17/117.26	c (21,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |
184.17/117.26	c (21,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |
184.17/117.26	c (21,0) c | luby_restart          |      False |      False |      False |      False |      False |
184.17/117.26	c (21,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |
184.17/117.26	c (21,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
184.17/117.26	c (21,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
184.17/117.26	c (21,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |
184.17/117.26	c (21,0) c | remove_satisfied      |       True |       True |       True |       True |       True |
184.17/117.26	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|
184.17/117.26	c (21,0) 
184.17/117.26	c (21,0) s SATISFIABLE
119.42/117.56	c (21,0) SatSolver.solve End
119.42/117.56	c (21,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
119.42/117.56	c (21,0) Show results Begin
184.98/117.70	c (21,0) q[0] = 88
184.98/117.70	c (21,0) q[1] = 56
184.98/117.70	c (21,0) q[2] = 159
184.98/117.70	c (21,0) q[3] = 173
184.98/117.70	c (21,0) q[4] = 80
184.98/117.70	c (21,0) q[5] = 19
184.98/117.70	c (21,0) q[6] = 185
184.98/117.70	c (21,0) q[7] = 183
184.98/117.70	c (21,0) q[8] = 75
184.98/117.70	c (21,0) q[9] = 10
184.98/117.70	c (21,0) q[10] = 171
184.98/117.70	c (21,0) q[11] = 109
184.98/117.70	c (21,0) q[12] = 172
184.98/117.70	c (21,0) q[13] = 179
184.98/117.70	c (21,0) q[14] = 71
184.98/117.70	c (21,0) q[15] = 65
184.98/117.70	c (21,0) q[16] = 181
184.98/117.70	c (21,0) q[17] = 47
184.98/117.70	c (21,0) q[18] = 180
184.98/117.70	c (21,0) q[19] = 194
184.98/117.70	c (21,0) q[20] = 78
184.98/117.70	c (21,0) q[21] = 93
184.98/117.70	c (21,0) q[22] = 158
184.98/117.70	c (21,0) q[23] = 156
184.98/117.70	c (21,0) q[24] = 85
184.98/117.70	c (21,0) q[25] = 22
184.98/117.70	c (21,0) q[26] = 91
184.98/117.70	c (21,0) q[27] = 86
184.98/117.70	c (21,0) q[28] = 121
184.98/117.70	c (21,0) q[29] = 4
184.98/117.70	c (21,0) q[30] = 82
184.98/117.70	c (21,0) q[31] = 95
184.98/117.70	c (21,0) q[32] = 164
184.98/117.70	c (21,0) q[33] = 96
184.98/117.70	c (21,0) q[34] = 100
184.98/117.70	c (21,0) q[35] = 160
184.98/117.70	c (21,0) q[36] = 45
184.98/117.70	c (21,0) q[37] = 190
184.98/117.70	c (21,0) q[38] = 149
184.98/117.70	c (21,0) q[39] = 67
184.98/117.70	c (21,0) q[40] = 23
184.98/117.70	c (21,0) q[41] = 92
184.98/117.70	c (21,0) q[42] = 57
184.98/117.70	c (21,0) q[43] = 182
184.98/117.70	c (21,0) q[44] = 138
184.98/117.70	c (21,0) q[45] = 70
184.98/117.70	c (21,0) q[46] = 54
184.98/117.70	c (21,0) q[47] = 69
184.98/117.70	c (21,0) q[48] = 188
184.98/117.70	c (21,0) q[49] = 59
184.98/117.70	c (21,0) q[50] = 133
184.98/117.70	c (21,0) q[51] = 72
184.98/117.70	c (21,0) q[52] = 137
184.98/117.70	c (21,0) q[53] = 40
184.98/117.70	c (21,0) q[54] = 97
184.98/117.70	c (21,0) q[55] = 14
184.98/117.70	c (21,0) q[56] = 129
184.98/117.70	c (21,0) q[57] = 102
184.98/117.70	c (21,0) q[58] = 114
184.98/117.70	c (21,0) q[59] = 0
184.98/117.70	c (21,0) q[60] = 87
184.98/117.70	c (21,0) q[61] = 64
184.98/117.70	c (21,0) q[62] = 39
184.98/117.70	c (21,0) q[63] = 68
185.26/117.71	c (22,0) q[64] = 25
185.26/117.71	c (22,0) q[65] = 83
185.26/117.71	c (22,0) q[66] = 6
185.26/117.71	c (22,0) q[67] = 99
185.26/117.71	c (22,0) q[68] = 28
185.26/117.71	c (22,0) q[69] = 89
185.26/117.71	c (22,0) q[70] = 118
185.26/117.71	c (22,0) q[71] = 104
185.26/117.71	c (22,0) q[72] = 18
185.26/117.71	c (22,0) q[73] = 30
185.26/117.71	c (22,0) q[74] = 50
185.26/117.71	c (22,0) q[75] = 1
185.26/117.71	c (22,0) q[76] = 110
185.26/117.71	c (22,0) q[77] = 177
185.26/117.71	c (22,0) q[78] = 43
185.26/117.71	c (22,0) q[79] = 31
185.26/117.71	c (22,0) q[80] = 126
185.26/117.71	c (22,0) q[81] = 130
185.26/117.71	c (22,0) q[82] = 123
185.26/117.71	c (22,0) q[83] = 127
185.26/117.71	c (22,0) q[84] = 174
185.26/117.71	c (22,0) q[85] = 124
185.26/117.71	c (22,0) q[86] = 196
185.26/117.71	c (22,0) q[87] = 66
185.26/117.71	c (22,0) q[88] = 163
185.26/117.71	c (22,0) q[89] = 74
185.26/117.71	c (22,0) q[90] = 113
185.26/117.71	c (22,0) q[91] = 128
185.26/117.71	c (22,0) q[92] = 13
185.26/117.71	c (22,0) q[93] = 42
185.26/117.71	c (22,0) q[94] = 24
185.26/117.71	c (22,0) q[95] = 62
185.26/117.71	c (22,0) q[96] = 112
185.26/117.71	c (22,0) q[97] = 33
185.26/117.71	c (22,0) q[98] = 46
185.26/117.71	c (22,0) q[99] = 12
185.26/117.71	c (22,0) q[100] = 199
185.26/117.71	c (22,0) q[101] = 21
185.26/117.71	c (22,0) q[102] = 26
185.26/117.71	c (22,0) q[103] = 34
185.26/117.71	c (22,0) q[104] = 51
185.26/117.71	c (22,0) q[105] = 117
185.26/117.71	c (22,0) q[106] = 184
185.26/117.71	c (22,0) q[107] = 178
185.26/117.71	c (22,0) q[108] = 195
185.26/117.71	c (22,0) q[109] = 53
185.26/117.71	c (22,0) q[110] = 35
185.26/117.71	c (22,0) q[111] = 107
185.26/117.71	c (22,0) q[112] = 105
185.26/117.71	c (22,0) q[113] = 101
185.26/117.71	c (22,0) q[114] = 154
185.26/117.71	c (22,0) q[115] = 150
185.26/117.71	c (22,0) q[116] = 193
185.26/117.71	c (22,0) q[117] = 52
185.26/117.71	c (22,0) q[118] = 116
185.26/117.71	c (22,0) q[119] = 37
185.26/117.71	c (22,0) q[120] = 48
185.26/117.71	c (22,0) q[121] = 11
185.26/117.71	c (22,0) q[122] = 5
185.26/117.71	c (22,0) q[123] = 103
185.26/117.71	c (22,0) q[124] = 16
185.26/117.71	c (22,0) q[125] = 119
185.26/117.71	c (22,0) q[126] = 94
185.26/117.71	c (22,0) q[127] = 9
185.26/117.71	c (22,0) q[128] = 15
185.26/117.71	c (22,0) q[129] = 17
185.26/117.71	c (22,0) q[130] = 166
185.26/117.71	c (22,0) q[131] = 73
185.26/117.71	c (22,0) q[132] = 7
185.26/117.71	c (22,0) q[133] = 32
185.26/117.71	c (22,0) q[134] = 8
185.26/117.71	c (22,0) q[135] = 3
185.26/117.71	c (22,0) q[136] = 41
185.26/117.71	c (22,0) q[137] = 111
185.26/117.71	c (22,0) q[138] = 55
185.26/117.71	c (22,0) q[139] = 192
185.26/117.71	c (22,0) q[140] = 38
185.26/117.71	c (22,0) q[141] = 165
185.26/117.71	c (22,0) q[142] = 58
185.26/117.71	c (22,0) q[143] = 197
185.26/117.71	c (22,0) q[144] = 77
185.26/117.71	c (22,0) q[145] = 115
185.26/117.71	c (22,0) q[146] = 27
185.26/117.71	c (22,0) q[147] = 84
185.26/117.71	c (22,0) q[148] = 152
185.26/117.71	c (22,0) q[149] = 120
185.26/117.71	c (22,0) q[150] = 167
185.26/117.71	c (22,0) q[151] = 162
185.26/117.71	c (22,0) q[152] = 143
185.26/117.71	c (22,0) q[153] = 148
185.26/117.71	c (22,0) q[154] = 161
185.26/117.71	c (22,0) q[155] = 157
185.26/117.71	c (22,0) q[156] = 60
185.26/117.71	c (22,0) q[157] = 176
185.26/117.71	c (22,0) q[158] = 2
185.26/117.71	c (22,0) q[159] = 81
185.26/117.71	c (22,0) q[160] = 186
185.26/117.71	c (22,0) q[161] = 63
185.26/117.71	c (22,0) q[162] = 191
185.26/117.71	c (22,0) q[163] = 147
185.26/117.71	c (22,0) q[164] = 79
185.26/117.71	c (22,0) q[165] = 29
185.26/117.71	c (22,0) q[166] = 36
185.26/117.71	c (22,0) q[167] = 140
185.26/117.71	c (22,0) q[168] = 106
185.26/117.71	c (22,0) q[169] = 108
185.26/117.71	c (22,0) q[170] = 132
185.26/117.71	c (22,0) q[171] = 134
185.26/117.71	c (22,0) q[172] = 153
185.26/117.71	c (22,0) q[173] = 155
185.26/117.71	c (22,0) q[174] = 146
185.26/117.71	c (22,0) q[175] = 144
185.26/117.71	c (22,0) q[176] = 142
185.26/117.71	c (22,0) q[177] = 131
185.26/117.71	c (22,0) q[178] = 170
185.26/117.71	c (22,0) q[179] = 135
185.26/117.71	c (22,0) q[180] = 169
185.26/117.71	c (22,0) q[181] = 20
185.26/117.71	c (22,0) q[182] = 168
185.26/117.71	c (22,0) q[183] = 141
185.26/117.71	c (22,0) q[184] = 139
185.26/117.71	c (22,0) q[185] = 175
185.26/117.71	c (22,0) q[186] = 136
185.26/117.71	c (22,0) q[187] = 151
185.26/117.71	c (22,0) q[188] = 187
185.26/117.71	c (22,0) q[189] = 189
185.26/117.71	c (22,0) q[190] = 98
185.26/117.71	c (22,0) q[191] = 125
185.26/117.71	c (22,0) q[192] = 198
185.26/117.71	c (22,0) q[193] = 49
185.26/117.71	c (22,0) q[194] = 145
185.26/117.71	c (22,0) q[195] = 44
185.26/117.71	c (22,0) q[196] = 76
185.26/117.71	c (22,0) q[197] = 90
185.26/117.71	c (22,0) q[198] = 61
185.26/117.71	c (22,0) q[199] = 122
185.26/117.71	s SATISFIABLE
185.26/117.72	v <instantiation>
185.26/117.72	v     <list>q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] q[12] q[13] q[14] q[15] q[16] q[17] q[18] q[19] q[20] q[21] q[22] q[23] q[24] q[25] q[26] q[27] q[28] q[29] q[30] q[31] q[32] q[33] q[34] q[35] q[36] q[37] q[38] q[39] q[40] q[41] q[42] q[43] q[44] q[45] q[46] q[47] q[48] q[49] q[50] q[51] q[52] q[53] q[54] q[55] q[56] q[57] q[58] q[59] q[60] q[61] q[62] q[63] q[64] q[65] q[66] q[67] q[68] q[69] q[70] q[71] q[72] q[73] q[74] q[75] q[76] q[77] q[78] q[79] q[80] q[81] q[82] q[83] q[84] q[85] q[86] q[87] q[88] q[89] q[90] q[91] q[92] q[93] q[94] q[95] q[96] q[97] q[98] q[99] q[100] q[101] q[102] q[103] q[104] q[105] q[106] q[107] q[108] q[109] q[110] q[111] q[112] q[113] q[114] q[115] q[116] q[117] q[118] q[119] q[120] q[121] q[122] q[123] q[124] q[125] q[126] q[127] q[128] q[129] q[130] q[131] q[132] q[133] q[134] q[135] q[136] q[137] q[138] q[139] q[140] q[141] q[142] q[143] q[144] q[145] q[146] q[147] q[148] q[149] q[150] q[151] q[152] q[153] q[154] q[155] q[156] q[157] q[158] q[159] q[160] q[161] q[162] q[163] q[164] q[165] q[166] q[167] q[168] q[169] q[170] q[171] q[172] q[173] q[174] q[175] q[176] q[177] q[178] q[179] q[180] q[181] q[182] q[183] q[184] q[185] q[186] q[187] q[188] q[189] q[190] q[191] q[192] q[193] q[194] q[195] q[196] q[197] q[198] q[199]</list>
185.26/117.72	v     <values>88 56 159 173 80 19 185 183 75 10 171 109 172 179 71 65 181 47 180 194 78 93 158 156 85 22 91 86 121 4 82 95 164 96 100 160 45 190 149 67 23 92 57 182 138 70 54 69 188 59 133 72 137 40 97 14 129 102 114 0 87 64 39 68 25 83 6 99 28 89 118 104 18 30 50 1 110 177 43 31 126 130 123 127 174 124 196 66 163 74 113 128 13 42 24 62 112 33 46 12 199 21 26 34 51 117 184 178 195 53 35 107 105 101 154 150 193 52 116 37 48 11 5 103 16 119 94 9 15 17 166 73 7 32 8 3 41 111 55 192 38 165 58 197 77 115 27 84 152 120 167 162 143 148 161 157 60 176 2 81 186 63 191 147 79 29 36 140 106 108 132 134 153 155 146 144 142 131 170 135 169 20 168 141 139 175 136 151 187 189 98 125 198 49 145 44 76 90 61 122</values>
185.26/117.72	v </instantiation>
185.26/117.72	c (22,0) Show results End
185.26/117.72	c (22,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
185.26/117.72	c (22,0) 21,22,STOP-AFTER(ALL)
185.26/117.72	c END-Prog: Tue Sep 24 23:07:11 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 (13192 MiB free)
  memory of node 1: 16384 MiB (11622 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405537-1569358979/watcher-4405537-1569358979 -o /tmp/evaluation-result-4405537-1569358979/solver-4405537-1569358979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --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-4405537-1569358979.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=21296, runsolver pid=21293
Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 7.87 8.13 8.12 2/209 21318
/proc/meminfo: memFree=25315384/32770624 swapFree=66941060/67108860
[pid=21296] ppid=21293 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21296/stat : 21296 (scop.sh) S 21293 21296 20843 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512168790 115843072 349 33554432000 4194304 5098028 140729018982832 140729018980088 140637829300860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25186304 140729018991396 140729018991724 140729018991724 140729018994637 0
/proc/21296/statm: 28282 349 296 221 0 87 0
[pid=21299] ppid=21296 vsize=27314120 memory=108480 CPUtime=0.1 cores=0-7
/proc/21299/stat : 21299 (java) S 21296 21296 20843 0 -1 1077944320 6176 0 0 0 8 2 0 0 20 0 20 0 512168790 27969658880 26608 33554432000 4194304 4196468 140732128801248 140732128783792 140469701684983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
/proc/21299/statm: 6828530 27120 2798 1 0 6790935 0
[pid=21299/tid=21300] ppid=21296 vsize=27314120 memory=7824330835253699232 CPUtime=0.09 cores=0-7
/proc/21299/task/21300/stat : 21300 (java) R 21296 21296 20843 0 -1 4202560 4297 0 0 0 7 2 0 0 20 0 20 0 512168790 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469673517184 140469693922110 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21301] ppid=21296 vsize=27314120 memory=732370245234748389 CPUtime=0 cores=0-7
/proc/21299/task/21301/stat : 21301 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469705927440 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21302] ppid=21296 vsize=27314120 memory=140106897294976 CPUtime=0 cores=0-7
/proc/21299/task/21302/stat : 21302 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469524016016 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21303] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21303/stat : 21303 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469123054608 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21304] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21304/stat : 21304 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469122002064 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21305] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21305/stat : 21305 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469120948496 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21306] ppid=21296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21299/task/21306/stat : 21306 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469119895952 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21307] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21307/stat : 21307 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469118843408 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21308] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21308/stat : 21308 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 27120 33554432000 4194304 4196468 140732128801248 140469117790864 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21309] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21309/stat : 21309 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168794 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467820587504 140469701696130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21310] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21310/stat : 21310 (java) S 21296 21296 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512168795 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467643606432 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21311] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21311/stat : 21311 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168795 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467375171056 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21312] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21312/stat : 21312 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467000662736 140469701703579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21313] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21313/stat : 21313 (java) S 21296 21296 20843 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467819534320 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21314] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21314/stat : 21314 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467818481776 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21315] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21315/stat : 21315 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467817429232 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21316] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21316/stat : 21316 (java) R 21296 21296 20843 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467816374280 140469681927865 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21317] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21317/stat : 21317 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168798 27969658880 27120 33554432000 4194304 4196468 140732128801248 140466502757088 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21318] ppid=21296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21299/task/21318/stat : 21318 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168798 27969658880 27120 33554432000 4194304 4196468 140732128801248 140467815324592 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109876 KiB

[startup+0.219428 s]*
/proc/loadavg: 7.87 8.13 8.12 2/209 21318
/proc/meminfo: memFree=25296836/32770624 swapFree=66941060/67108860
[pid=21296] ppid=21293 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21296/stat : 21296 (scop.sh) S 21293 21296 20843 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512168790 115843072 349 33554432000 4194304 5098028 140729018982832 140729018980088 140637829300860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25186304 140729018991396 140729018991724 140729018991724 140729018994637 0
/proc/21296/statm: 28282 349 296 221 0 87 0
[pid=21299] ppid=21296 vsize=27314120 memory=123300 CPUtime=0.25 cores=0-7
/proc/21299/stat : 21299 (java) S 21296 21296 20843 0 -1 1077944320 11179 0 0 0 21 4 0 0 20 0 20 0 512168790 27969658880 30825 33554432000 4194304 4196468 140732128801248 140732128783792 140469701684983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
/proc/21299/statm: 6828530 30825 2927 1 0 6790935 0
[pid=21299/tid=21300] ppid=21296 vsize=27314120 memory=576460756329955521 CPUtime=0.2 cores=0-7
/proc/21299/task/21300/stat : 21300 (java) R 21296 21296 20843 0 -1 4202560 8903 0 0 0 17 3 0 0 20 0 20 0 512168790 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469673468544 140469701706909 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21301] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21301/stat : 21301 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469705927440 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21302] ppid=21296 vsize=27314120 memory=288370483049006720 CPUtime=0 cores=0-7
/proc/21299/task/21302/stat : 21302 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469524016016 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21303] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21303/stat : 21303 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469123054608 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21304] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21304/stat : 21304 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469122002064 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21305] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21305/stat : 21305 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469120948496 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21306] ppid=21296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21299/task/21306/stat : 21306 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469119895952 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21307] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21307/stat : 21307 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469118843408 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21308] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21308/stat : 21308 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 30825 33554432000 4194304 4196468 140732128801248 140469117790864 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21309] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21309/stat : 21309 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168794 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467820587504 140469701696130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21310] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21310/stat : 21310 (java) S 21296 21296 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512168795 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467643606432 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21311] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21311/stat : 21311 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168795 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467375171056 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21312] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21312/stat : 21312 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467000662736 140469701703579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21313] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21313/stat : 21313 (java) R 21296 21296 20843 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467819534320 140469701696130 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21314] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21314/stat : 21314 (java) S 21296 21296 20843 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467818481776 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21315] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21315/stat : 21315 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467817429232 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21316] ppid=21296 vsize=27314120 memory=0 CPUtime=0.03 cores=0-7
/proc/21299/task/21316/stat : 21316 (java) R 21296 21296 20843 0 -1 4202560 472 0 0 0 3 0 0 0 20 0 20 0 512168797 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467816376688 140469701706330 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21317] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21317/stat : 21317 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168798 27969658880 30825 33554432000 4194304 4196468 140732128801248 140466502757088 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21318] ppid=21296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21299/task/21318/stat : 21318 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168798 27969658880 30825 33554432000 4194304 4196468 140732128801248 140467815324592 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124696 KiB

[startup+0.310399 s]*
/proc/loadavg: 7.87 8.13 8.12 2/209 21318
/proc/meminfo: memFree=25294036/32770624 swapFree=66941060/67108860
[pid=21296] ppid=21293 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21296/stat : 21296 (scop.sh) S 21293 21296 20843 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512168790 115843072 349 33554432000 4194304 5098028 140729018982832 140729018980088 140637829300860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25186304 140729018991396 140729018991724 140729018991724 140729018994637 0
/proc/21296/statm: 28282 349 296 221 0 87 0
[pid=21299] ppid=21296 vsize=27314120 memory=127420 CPUtime=0.42 cores=0-7
/proc/21299/stat : 21299 (java) S 21296 21296 20843 0 -1 1077944320 12237 0 0 0 37 5 0 0 20 0 20 0 512168790 27969658880 31855 33554432000 4194304 4196468 140732128801248 140732128783792 140469701684983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
/proc/21299/statm: 6828530 31855 3025 1 0 6790935 0
[pid=21299/tid=21300] ppid=21296 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21299/task/21300/stat : 21300 (java) R 21296 21296 20843 0 -1 4202560 9765 0 0 0 26 4 0 0 20 0 20 0 512168790 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469673515056 140469683248558 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21301] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21301/stat : 21301 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469705927440 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21302] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21302/stat : 21302 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469524016016 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21303] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21303/stat : 21303 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469123054608 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21304] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21304/stat : 21304 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469122002064 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21305] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21305/stat : 21305 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469120948496 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21306] ppid=21296 vsize=27314120 memory=140106799344303 CPUtime=0 cores=0-7
/proc/21299/task/21306/stat : 21306 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469119895952 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21307] ppid=21296 vsize=27314120 memory=140106799346608 CPUtime=0 cores=0-7
/proc/21299/task/21307/stat : 21307 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469118843408 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21308] ppid=21296 vsize=27314120 memory=140106799348912 CPUtime=0 cores=0-7
/proc/21299/task/21308/stat : 21308 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27969658880 31855 33554432000 4194304 4196468 140732128801248 140469117790864 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21309] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21309/stat : 21309 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168794 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467820587504 140469701696130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21310] ppid=21296 vsize=27314120 memory=280213598711696 CPUtime=0 cores=0-7
/proc/21299/task/21310/stat : 21310 (java) S 21296 21296 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512168795 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467643606432 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21311] ppid=21296 vsize=27314120 memory=280213598709392 CPUtime=0 cores=0-7
/proc/21299/task/21311/stat : 21311 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168795 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467375171056 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21312] ppid=21296 vsize=27314120 memory=280213598716304 CPUtime=0 cores=0-7
/proc/21299/task/21312/stat : 21312 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467000662736 140469701703579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21313] ppid=21296 vsize=27314120 memory=280213598657584 CPUtime=0.01 cores=0-7
/proc/21299/task/21313/stat : 21313 (java) S 21296 21296 20843 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 20 0 512168797 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467819534320 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21314] ppid=21296 vsize=27314120 memory=280213598730128 CPUtime=0.02 cores=0-7
/proc/21299/task/21314/stat : 21314 (java) R 21296 21296 20843 0 -1 4202560 89 0 0 0 2 0 0 0 20 0 20 0 512168797 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467818481776 140469682380882 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21315] ppid=21296 vsize=27314120 memory=280213598737040 CPUtime=0 cores=0-7
/proc/21299/task/21315/stat : 21315 (java) S 21296 21296 20843 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 512168797 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467817429232 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21316] ppid=21296 vsize=27314120 memory=280213598734736 CPUtime=0.07 cores=0-7
/proc/21299/task/21316/stat : 21316 (java) S 21296 21296 20843 0 -1 1077944384 519 0 0 0 7 0 0 0 20 0 20 0 512168797 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467816376688 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21317] ppid=21296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21317/stat : 21317 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168798 27969658880 31855 33554432000 4194304 4196468 140732128801248 140466502757088 140469701695189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21318] ppid=21296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21299/task/21318/stat : 21318 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168798 27969658880 31855 33554432000 4194304 4196468 140732128801248 140467815324592 140469701696130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128816 KiB

[startup+0.700978 s]
/proc/loadavg: 7.87 8.13 8.12 2/209 21318
/proc/meminfo: memFree=25270820/32770624 swapFree=66941060/67108860
[pid=21296] ppid=21293 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21296/stat : 21296 (scop.sh) S 21293 21296 20843 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512168790 115843072 349 33554432000 4194304 5098028 140729018982832 140729018980088 140637829300860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25186304 140729018991396 140729018991724 140729018991724 140729018994637 0
/proc/21296/statm: 28282 349 296 221 0 87 0
[pid=21299] ppid=21296 vsize=27320392 memory=165560 CPUtime=1.01 cores=0-7
/proc/21299/stat : 21299 (java) S 21296 21296 20843 0 -1 1077944320 19982 0 0 0 93 8 0 0 20 0 20 0 512168790 27976081408 41390 33554432000 4194304 4196468 140732128801248 140732128783792 140469701684983 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
/proc/21299/statm: 6830098 41390 3190 1 0 6791447 0
[pid=21299/tid=21300] ppid=21296 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/21299/task/21300/stat : 21300 (java) R 21296 21296 20843 0 -1 4202560 16856 0 0 0 61 6 0 0 20 0 20 0 512168790 27976081408 41390 33554432000 4194304 4196468 140732128801248 140469673523840 140469204946227 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21301] ppid=21296 vsize=27320392 memory=2353 CPUtime=0 cores=0-7
/proc/21299/task/21301/stat : 21301 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168793 27976081408 41390 33554432000 4194304 4196468 140732128801248 140469705927440 140469701695189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21302] ppid=21296 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21299/task/21302/stat : 21302 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27976081408 41390 33554432000 4194304 4196468 140732128801248 140469524016016 140469701695189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0
[pid=21299/tid=21303] ppid=21296 vsize=27320392 memory=10728 CPUtime=0 cores=0-7
/proc/21299/task/21303/stat : 21303 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168793 27976081408 41390 33554432000 4194304 4196468 140732128801248 140469123054608 140469701695189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140732128805610 140732128806038 140732128806038 140732128808911 0

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

[pid=21327/tid=21328] ppid=21296 vsize=8414124 memory=-6514281404403384147 CPUtime=0.76 cores=0-7
/proc/21327/task/21328/stat : 21328 (java) S 21296 21296 20843 0 -1 1077944384 15799 0 0 0 71 5 0 0 20 0 24 0 512178322 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674323185568 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21329] ppid=21296 vsize=8414124 memory=-7089622763962323502 CPUtime=0 cores=0-7
/proc/21327/task/21329/stat : 21329 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512178323 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674355587344 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21330] ppid=21296 vsize=8414124 memory=-3472574513799858009 CPUtime=0 cores=0-7
/proc/21327/task/21330/stat : 21330 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178323 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674155755920 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21331] ppid=21296 vsize=8414124 memory=-6512866418883374222 CPUtime=0 cores=0-7
/proc/21327/task/21331/stat : 21331 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512178323 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674154703376 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21332] ppid=21296 vsize=8414124 memory=8694099543444280534 CPUtime=0 cores=0-7
/proc/21327/task/21332/stat : 21332 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512178323 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674153650832 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21333] ppid=21296 vsize=8414124 memory=-3472574513799858010 CPUtime=0 cores=0-7
/proc/21327/task/21333/stat : 21333 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178323 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674152598288 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21334] ppid=21296 vsize=8414124 memory=-2247047206120938329 CPUtime=0 cores=0-7
/proc/21327/task/21334/stat : 21334 (java) S 21296 21296 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512178323 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674151545744 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21335] ppid=21296 vsize=8414124 memory=-2895393861898743079 CPUtime=0 cores=0-7
/proc/21327/task/21335/stat : 21335 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178323 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674150493200 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21336] ppid=21296 vsize=8414124 memory=-2127767799640501289 CPUtime=0 cores=0-7
/proc/21327/task/21336/stat : 21336 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512178323 8616062976 29951 33554432000 4194304 4196468 140730929815232 140674149440656 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21337] ppid=21296 vsize=8414124 memory=-6452064069391756930 CPUtime=0 cores=0-7
/proc/21327/task/21337/stat : 21337 (java) S 21296 21296 20843 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 512178325 8616062976 29951 33554432000 4194304 4196468 140730929815232 140673579116528 140674351356546 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21338] ppid=21296 vsize=8414124 memory=-7016195607713112935 CPUtime=0 cores=0-7
/proc/21327/task/21338/stat : 21338 (java) S 21296 21296 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512178325 8616062976 29951 33554432000 4194304 4196468 140730929815232 140672661185440 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21339] ppid=21296 vsize=8414124 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/21327/task/21339/stat : 21339 (java) S 21296 21296 20843 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512178325 8616062976 29951 33554432000 4194304 4196468 140730929815232 140672526963696 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21340] ppid=21296 vsize=8414124 memory=-3395018486312292127 CPUtime=0 cores=0-7
/proc/21327/task/21340/stat : 21340 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178328 8616062976 29951 33554432000 4194304 4196468 140730929815232 140672152459472 140674351363995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21341] ppid=21296 vsize=8414124 memory=-2247047206171335769 CPUtime=0.06 cores=0-7
/proc/21327/task/21341/stat : 21341 (java) S 21296 21296 20843 0 -1 1077944384 601 0 0 0 6 0 0 0 20 0 24 0 512178328 8616062976 29951 33554432000 4194304 4196468 140730929815232 140673578064368 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21342] ppid=21296 vsize=8414124 memory=4420 CPUtime=0.04 cores=0-7
/proc/21327/task/21342/stat : 21342 (java) S 21296 21296 20843 0 -1 1077944384 144 0 0 0 4 0 0 0 20 0 24 0 512178328 8616062976 29951 33554432000 4194304 4196468 140730929815232 140673577011824 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21343] ppid=21296 vsize=8414124 memory=6628 CPUtime=0.06 cores=0-7
/proc/21327/task/21343/stat : 21343 (java) S 21296 21296 20843 0 -1 1077944384 430 0 0 0 6 0 0 0 20 0 24 0 512178328 8616062976 29951 33554432000 4194304 4196468 140730929815232 140673575959280 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21344] ppid=21296 vsize=8414124 memory=8836 CPUtime=0.2 cores=0-7
/proc/21327/task/21344/stat : 21344 (java) S 21296 21296 20843 0 -1 1077944384 552 0 0 0 20 0 0 0 20 0 24 0 512178328 8616062976 29951 33554432000 4194304 4196468 140730929815232 140673574906736 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21345] ppid=21296 vsize=8414124 memory=8030883985213620294 CPUtime=0 cores=0-7
/proc/21327/task/21345/stat : 21345 (java) S 21296 21296 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512178328 8616062976 29951 33554432000 4194304 4196468 140730929815232 140671654553824 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21346] ppid=21296 vsize=8414124 memory=-8316900901535099443 CPUtime=0 cores=0-7
/proc/21327/task/21346/stat : 21346 (java) S 21296 21296 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512178329 8616062976 29951 33554432000 4194304 4196468 140730929815232 140673573853616 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21348] ppid=21296 vsize=8414124 memory=4048794550414892368 CPUtime=0 cores=0-7
/proc/21327/task/21348/stat : 21348 (java) S 21296 21296 20843 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512178396 8616062976 29951 33554432000 4194304 4196468 140730929815232 140673565820096 140674351370009 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21350] ppid=21296 vsize=8414124 memory=17668 CPUtime=0 cores=0-7
/proc/21327/task/21350/stat : 21350 (java) S 21296 21296 20843 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512178396 8616062976 29951 33554432000 4194304 4196468 140730929815232 140670983454480 140674351367325 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21351] ppid=21296 vsize=8414124 memory=17732 CPUtime=0 cores=0-7
/proc/21327/task/21351/stat : 21351 (java) S 21296 21296 20843 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 512178396 8616062976 29951 33554432000 4194304 4196468 140730929815232 140671251890064 140674351367325 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21352] ppid=21296 vsize=8414124 memory=-8316900901535099443 CPUtime=0 cores=0-7
/proc/21327/task/21352/stat : 21352 (java) S 21296 21296 20843 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512178398 8616062976 29951 33554432000 4194304 4196468 140730929815232 140670715027120 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
Current children cumulated CPU time: 184.17 s
Current children cumulated vsize: 14855384 KiB
Current children cumulated memory: 6190060 KiB

[startup+117.604 s]
/proc/loadavg: 2.75 5.98 7.33 4/221 21359
/proc/meminfo: memFree=18818504/32770624 swapFree=66941060/67108860
[pid=21296] ppid=21293 vsize=113128 memory=1476 CPUtime=117.88 cores=0-7
/proc/21296/stat : 21296 (scop.sh) S 21293 21296 20843 0 -1 4202496 582 66704 0 0 0 0 11200 588 20 0 1 0 512168790 115843072 369 33554432000 4194304 5098028 140729018982832 140729018979576 140637829300860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25186304 140729018991396 140729018991724 140729018991724 140729018994637 0
/proc/21296/statm: 28282 369 311 221 0 87 0
[pid=21327] ppid=21296 vsize=8283048 memory=157892 CPUtime=67.1 cores=0-7
/proc/21327/stat : 21327 (java) S 21296 21296 20843 0 -1 1077944320 20739 2963952 0 0 154 8 5931 617 20 0 22 0 512178321 8481841152 39473 33554432000 4194304 4196468 140730929815232 140730929797776 140674351345399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
/proc/21327/statm: 2070762 39473 3221 1 0 2032106 0
[pid=21327/tid=21328] ppid=21296 vsize=8283048 memory=6791534058613427641 CPUtime=66.28 cores=0-7
/proc/21327/task/21328/stat : 21328 (java) R 21296 21296 20843 0 -1 4202560 15954 2963952 0 0 75 5 5931 617 20 0 22 0 512178322 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674323184512 140673818955844 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21329] ppid=21296 vsize=8283048 memory=119804 CPUtime=65.48 cores=0-7
/proc/21327/task/21329/stat : 21329 (java) S 21296 21296 20843 0 -1 1077944384 2 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674355587344 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21330] ppid=21296 vsize=8283048 memory=6055640 CPUtime=65.48 cores=0-7
/proc/21327/task/21330/stat : 21330 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674155755920 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21331] ppid=21296 vsize=8283048 memory=6944656575208382560 CPUtime=65.48 cores=0-7
/proc/21327/task/21331/stat : 21331 (java) S 21296 21296 20843 0 -1 1077944384 2 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674154703376 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21332] ppid=21296 vsize=8283048 memory=1476 CPUtime=65.48 cores=0-7
/proc/21327/task/21332/stat : 21332 (java) S 21296 21296 20843 0 -1 1077944384 2 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674153650832 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21333] ppid=21296 vsize=8283048 memory=119804 CPUtime=65.48 cores=0-7
/proc/21327/task/21333/stat : 21333 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674152598288 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21334] ppid=21296 vsize=8283048 memory=6043496 CPUtime=65.48 cores=0-7
/proc/21327/task/21334/stat : 21334 (java) S 21296 21296 20843 0 -1 1077944384 2 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674151545744 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21335] ppid=21296 vsize=8283048 memory=1096 CPUtime=65.48 cores=0-7
/proc/21327/task/21335/stat : 21335 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674150493200 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21336] ppid=21296 vsize=8283048 memory=1228 CPUtime=65.48 cores=0-7
/proc/21327/task/21336/stat : 21336 (java) S 21296 21296 20843 0 -1 1077944384 3 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8481841152 39473 33554432000 4194304 4196468 140730929815232 140674149440656 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21337] ppid=21296 vsize=8283048 memory=6144 CPUtime=65.48 cores=0-7
/proc/21327/task/21337/stat : 21337 (java) S 21296 21296 20843 0 -1 1077944384 6 2963952 0 0 0 0 5931 617 20 0 22 0 512178325 8481841152 39473 33554432000 4194304 4196468 140730929815232 140673579116528 140674351356546 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21338] ppid=21296 vsize=8283048 memory=63408 CPUtime=65.48 cores=0-7
/proc/21327/task/21338/stat : 21338 (java) S 21296 21296 20843 0 -1 1077944384 13 2963952 0 0 0 0 5931 617 20 0 22 0 512178325 8481841152 39473 33554432000 4194304 4196468 140730929815232 140672661185440 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21339] ppid=21296 vsize=8283048 memory=988 CPUtime=65.48 cores=0-7
/proc/21327/task/21339/stat : 21339 (java) S 21296 21296 20843 0 -1 1077944384 21 2963952 0 0 0 0 5931 617 20 0 22 0 512178325 8481841152 39473 33554432000 4194304 4196468 140730929815232 140672526963696 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21340] ppid=21296 vsize=8283048 memory=2016 CPUtime=65.48 cores=0-7
/proc/21327/task/21340/stat : 21340 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178328 8481841152 39473 33554432000 4194304 4196468 140730929815232 140672152459472 140674351363995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21341] ppid=21296 vsize=8283048 memory=1416 CPUtime=65.6 cores=0-7
/proc/21327/task/21341/stat : 21341 (java) R 21296 21296 20843 0 -1 4202560 743 2963952 0 0 12 0 5931 617 20 0 22 0 512178328 8481841152 39473 33554432000 4194304 4196468 140730929815232 140673578055344 140674334845911 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21342] ppid=21296 vsize=8283048 memory=10728 CPUtime=65.57 cores=0-7
/proc/21327/task/21342/stat : 21342 (java) S 21296 21296 20843 0 -1 1077944384 159 2963952 0 0 9 0 5931 617 20 0 22 0 512178328 8481841152 39473 33554432000 4194304 4196468 140730929815232 140673577011824 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21343] ppid=21296 vsize=8283048 memory=1552 CPUtime=65.61 cores=0-7
/proc/21327/task/21343/stat : 21343 (java) S 21296 21296 20843 0 -1 1077944384 692 2963952 0 0 13 0 5931 617 20 0 22 0 512178328 8481841152 39473 33554432000 4194304 4196468 140730929815232 140673575959280 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21344] ppid=21296 vsize=8283048 memory=3984 CPUtime=65.76 cores=0-7
/proc/21327/task/21344/stat : 21344 (java) S 21296 21296 20843 0 -1 1077944384 1205 2963952 0 0 28 0 5931 617 20 0 22 0 512178328 8481841152 39473 33554432000 4194304 4196468 140730929815232 140673574906736 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21345] ppid=21296 vsize=8283048 memory=140106897294976 CPUtime=65.48 cores=0-7
/proc/21327/task/21345/stat : 21345 (java) S 21296 21296 20843 0 -1 1077944384 3 2963952 0 0 0 0 5931 617 20 0 22 0 512178328 8481841152 39473 33554432000 4194304 4196468 140730929815232 140671654553824 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21346] ppid=21296 vsize=8283048 memory=3756199577649595857 CPUtime=65.48 cores=0-7
/proc/21327/task/21346/stat : 21346 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178329 8481841152 39473 33554432000 4194304 4196468 140730929815232 140673573853616 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21348] ppid=21296 vsize=8283048 memory=3473317264676531440 CPUtime=65.48 cores=0-7
/proc/21327/task/21348/stat : 21348 (java) S 21296 21296 20843 0 -1 1077944384 23 2963952 0 0 0 0 5931 617 20 0 22 0 512178396 8481841152 39473 33554432000 4194304 4196468 140730929815232 140673565819280 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21352] ppid=21296 vsize=8283048 memory=3756199577649595985 CPUtime=65.48 cores=0-7
/proc/21327/task/21352/stat : 21352 (java) S 21296 21296 20843 0 -1 1077944384 9 2963952 0 0 0 0 5931 617 20 0 22 0 512178398 8481841152 39473 33554432000 4194304 4196468 140730929815232 140670715028912 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
Current children cumulated CPU time: 184.98 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 159368 KiB

[startup+117.701 s]
/proc/loadavg: 2.75 5.98 7.33 4/221 21359
/proc/meminfo: memFree=18818504/32770624 swapFree=66941060/67108860
[pid=21296] ppid=21293 vsize=113128 memory=1476 CPUtime=117.88 cores=0-7
/proc/21296/stat : 21296 (scop.sh) S 21293 21296 20843 0 -1 4202496 582 66704 0 0 0 0 11200 588 20 0 1 0 512168790 115843072 369 33554432000 4194304 5098028 140729018982832 140729018979576 140637829300860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25186304 140729018991396 140729018991724 140729018991724 140729018994637 0
/proc/21296/statm: 28282 369 311 221 0 87 0
[pid=21327] ppid=21296 vsize=8284072 memory=163556 CPUtime=67.38 cores=0-7
/proc/21327/stat : 21327 (java) S 21296 21296 20843 0 -1 1077944320 21154 2963952 0 0 181 9 5931 617 20 0 22 0 512178321 8482889728 40889 33554432000 4194304 4196468 140730929815232 140730929797776 140674351345399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
/proc/21327/statm: 2071018 40889 3227 1 0 2032362 0
[pid=21327/tid=21328] ppid=21296 vsize=8284072 memory=1476 CPUtime=66.38 cores=0-7
/proc/21327/task/21328/stat : 21328 (java) R 21296 21296 20843 0 -1 4202560 16225 2963952 0 0 85 5 5931 617 20 0 22 0 512178322 8482889728 40889 33554432000 4194304 4196468 140730929815232 140674323172128 140674344025117 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21329] ppid=21296 vsize=8284072 memory=127496 CPUtime=65.48 cores=0-7
/proc/21327/task/21329/stat : 21329 (java) S 21296 21296 20843 0 -1 1077944384 2 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8482889728 40889 33554432000 4194304 4196468 140730929815232 140674355587344 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21330] ppid=21296 vsize=8284072 memory=156868 CPUtime=65.48 cores=0-7
/proc/21327/task/21330/stat : 21330 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8482889728 40955 33554432000 4194304 4196468 140730929815232 140674155755920 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21331] ppid=21296 vsize=8284072 memory=1476 CPUtime=65.48 cores=0-7
/proc/21327/task/21331/stat : 21331 (java) S 21296 21296 20843 0 -1 1077944384 2 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8482889728 40955 33554432000 4194304 4196468 140730929815232 140674154703376 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21332] ppid=21296 vsize=8284072 memory=280213600172416 CPUtime=65.48 cores=0-7
/proc/21327/task/21332/stat : 21332 (java) S 21296 21296 20843 0 -1 1077944384 2 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8482889728 40955 33554432000 4194304 4196468 140730929815232 140674153650832 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21333] ppid=21296 vsize=8284072 memory=10728 CPUtime=65.48 cores=0-7
/proc/21327/task/21333/stat : 21333 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8482889728 40955 33554432000 4194304 4196468 140730929815232 140674152598288 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21334] ppid=21296 vsize=8284072 memory=1552 CPUtime=65.48 cores=0-7
/proc/21327/task/21334/stat : 21334 (java) S 21296 21296 20843 0 -1 1077944384 2 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8482889728 40955 33554432000 4194304 4196468 140730929815232 140674151545744 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21335] ppid=21296 vsize=8284072 memory=1416 CPUtime=65.48 cores=0-7
/proc/21327/task/21335/stat : 21335 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8482889728 40955 33554432000 4194304 4196468 140730929815232 140674150493200 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21336] ppid=21296 vsize=8284072 memory=5990984 CPUtime=65.48 cores=0-7
/proc/21327/task/21336/stat : 21336 (java) S 21296 21296 20843 0 -1 1077944384 3 2963952 0 0 0 0 5931 617 20 0 22 0 512178323 8482889728 41021 33554432000 4194304 4196468 140730929815232 140674149440656 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21337] ppid=21296 vsize=8284072 memory=280213598938192 CPUtime=65.48 cores=0-7
/proc/21327/task/21337/stat : 21337 (java) S 21296 21296 20843 0 -1 1077944384 6 2963952 0 0 0 0 5931 617 20 0 22 0 512178325 8482889728 41021 33554432000 4194304 4196468 140730929815232 140673579116528 140674351356546 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21338] ppid=21296 vsize=8284072 memory=576587700018377745 CPUtime=65.48 cores=0-7
/proc/21327/task/21338/stat : 21338 (java) S 21296 21296 20843 0 -1 1077944384 13 2963952 0 0 0 0 5931 617 20 0 22 0 512178325 8482889728 41021 33554432000 4194304 4196468 140730929815232 140672661185440 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21339] ppid=21296 vsize=8284072 memory=3984 CPUtime=65.48 cores=0-7
/proc/21327/task/21339/stat : 21339 (java) S 21296 21296 20843 0 -1 1077944384 21 2963952 0 0 0 0 5931 617 20 0 22 0 512178325 8482889728 41021 33554432000 4194304 4196468 140730929815232 140672526963696 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21340] ppid=21296 vsize=8284072 memory=2832 CPUtime=65.48 cores=0-7
/proc/21327/task/21340/stat : 21340 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178328 8482889728 41021 33554432000 4194304 4196468 140730929815232 140672152459472 140674351363995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21341] ppid=21296 vsize=8284072 memory=784 CPUtime=65.63 cores=0-7
/proc/21327/task/21341/stat : 21341 (java) R 21296 21296 20843 0 -1 4202560 768 2963952 0 0 15 0 5931 617 20 0 22 0 512178328 8482889728 41021 33554432000 4194304 4196468 140730929815232 140673578054160 140674336464986 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21342] ppid=21296 vsize=8284072 memory=1060 CPUtime=65.6 cores=0-7
/proc/21327/task/21342/stat : 21342 (java) R 21296 21296 20843 0 -1 4202560 171 2963952 0 0 12 0 5931 617 20 0 22 0 512178328 8482889728 41021 33554432000 4194304 4196468 140730929815232 140673577011824 140674334731958 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21343] ppid=21296 vsize=8284072 memory=1724 CPUtime=65.67 cores=0-7
/proc/21327/task/21343/stat : 21343 (java) R 21296 21296 20843 0 -1 4202560 720 2963952 0 0 19 0 5931 617 20 0 22 0 512178328 8482889728 41021 33554432000 4194304 4196468 140730929815232 140673575939392 140674337373448 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21344] ppid=21296 vsize=8284072 memory=1096 CPUtime=65.81 cores=0-7
/proc/21327/task/21344/stat : 21344 (java) S 21296 21296 20843 0 -1 1077944384 1321 2963952 0 0 33 0 5931 617 20 0 22 0 512178328 8482889728 41021 33554432000 4194304 4196468 140730929815232 140673574906736 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21345] ppid=21296 vsize=8284072 memory=1476 CPUtime=65.48 cores=0-7
/proc/21327/task/21345/stat : 21345 (java) S 21296 21296 20843 0 -1 1077944384 3 2963952 0 0 0 0 5931 617 20 0 22 0 512178328 8482889728 41021 33554432000 4194304 4196468 140730929815232 140671654553824 140674351355605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21346] ppid=21296 vsize=8284072 memory=119804 CPUtime=65.48 cores=0-7
/proc/21327/task/21346/stat : 21346 (java) S 21296 21296 20843 0 -1 1077944384 1 2963952 0 0 0 0 5931 617 20 0 22 0 512178329 8482889728 41021 33554432000 4194304 4196468 140730929815232 140673573853616 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21348] ppid=21296 vsize=8284072 memory=7162227957635769945 CPUtime=65.48 cores=0-7
/proc/21327/task/21348/stat : 21348 (java) S 21296 21296 20843 0 -1 1077944384 23 2963952 0 0 0 0 5931 617 20 0 22 0 512178396 8482889728 41021 33554432000 4194304 4196468 140730929815232 140673565819280 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
[pid=21327/tid=21352] ppid=21296 vsize=8284072 memory=7162227957635769945 CPUtime=65.48 cores=0-7
/proc/21327/task/21352/stat : 21352 (java) S 21296 21296 20843 0 -1 1077944384 9 2963952 0 0 0 0 5931 617 20 0 22 0 512178398 8482889728 41021 33554432000 4194304 4196468 140730929815232 140670715028912 140674351356546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9740288 140730929816567 140730929816726 140730929816726 140730929819599 0
Current children cumulated CPU time: 185.26 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 165032 KiB

Child status: 0
Real time (s): 117.796
CPU time (s): 185.402
CPU user time (s): 173.158
CPU system time (s): 12.2443
CPU usage (%): 157.392
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7947640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.158
system time used= 12.2443
maximum resident set size= 7946948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3053387
page faults= 0
swaps= 0
block input operations= 8
block output operations= 813432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141387
involuntary context switches= 452


# summary of solver processes directly reported to runsolver:
#   pid: 21296
#   total CPU time (s): 185.402
#   total CPU user time (s): 173.158
#   total CPU system time (s): 12.2443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.923602 second user time and 1.16097 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-24 23:05:13
IDJOB=4405537
IDBENCH=138779
IDSOLVER=2868
FILE ID=node139/4405537-1569358979
RUNJOBID= node139-1569356582-20870
PBS_JOBID= 21705103
Free space on /tmp= 5144 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0200-m1.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405537-1569358979/watcher-4405537-1569358979 -o /tmp/evaluation-result-4405537-1569358979/solver-4405537-1569358979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --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-4405537-1569358979.xml

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

MD5SUM BENCH= aa794b13577ab4fe7ac8dae6d6ffdfc7
RANDOM SEED=1216506063

node139.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.57
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.57
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.57
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.57
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:        25411276 kB
MemAvailable:   31780884 kB
Buffers:          111888 kB
Cached:          6345720 kB
SwapCached:        64812 kB
Active:          3221044 kB
Inactive:        3306104 kB
Active(anon):       4236 kB
Inactive(anon):   120880 kB
Active(file):    3216808 kB
Inactive(file):  3185224 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66941060 kB
Dirty:             16268 kB
Writeback:             0 kB
AnonPages:         80036 kB
Mapped:            57172 kB
Shmem:             47400 kB
Slab:             425600 kB
SReclaimable:     396036 kB
SUnreclaim:        29564 kB
KernelStack:        3328 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5124 MiB
End job on node139 at 2019-09-24 23:07:11