Trace number 4405237

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 180.516 110.913

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20761-serial-file.bin HOME/instance-4405237-1569358972.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 23:02:12 CEST 2019
0.65/0.56	c PID: 20764
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
7.09/2.43	c (1,1) Parsing End
7.09/2.44	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 19901 ctr, max domain size 200
7.09/2.44	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.09/2.44	c (1,1) Constraint Name Generate Begin
7.38/2.51	c (1,1) Ctr:HOME/instance-4405237-1569358972.xml,AllDifferent:Dist:Ne:Num:Var
7.38/2.51	c (1,1) Constraint Name Generate End
7.38/2.51	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.38/2.51	c (1,1) CSP to CSPinCNF Begin
12.19/4.30	c (3,3) translated 1991 (10%) constraints
12.96/4.63	c (4,4) translated 3981 (20%) constraints
13.48/4.95	c (4,4) translated 5971 (30%) constraints
13.93/5.26	c (4,4) translated 7961 (40%) constraints
14.24/5.55	c (5,5) translated 9951 (50%) constraints
14.55/5.85	c (5,5) translated 11941 (60%) constraints
14.88/6.16	c (5,5) translated 13931 (70%) constraints
15.17/6.45	c (5,5) translated 15921 (80%) constraints
15.48/6.74	c (6,6) translated 17911 (90%) constraints
15.79/7.04	c (6,6) translated 19901 (100%) constraints
15.79/7.04	c (6,6) ===========================================
15.79/7.04	c (6,6) Order
15.79/7.04	c (6,6) ===========================================
16.81/7.34	c (6,6) translated 7981 (10%) constraints
17.14/7.53	c (6,6) translated 15961 (20%) constraints
19.55/9.43	c (8,8) translated 23941 (30%) constraints
19.79/9.60	c (9,9) translated 31921 (40%) constraints
19.89/9.77	c (9,9) translated 39901 (50%) constraints
20.09/9.94	c (9,9) translated 47882 (60%) constraints
20.31/10.11	c (9,9) translated 55862 (70%) constraints
20.39/10.28	c (9,9) translated 63842 (80%) constraints
20.60/10.45	c (9,9) translated 71822 (90%) constraints
20.80/10.62	c (10,10) translated 79802 (100%) constraints
20.80/10.62	c (10,10) CSP to CSPinCNF End
20.80/10.64	c (10,10) CSP: 200 int (0 aux), 59900 bool (59900 aux), 159802 ctr, max domain size 200
20.80/10.64	c (10,10) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
20.80/10.64	c (10,10) CSPinCNF Propagation Begin
23.29/12.30	c (11,11) 1 values, 4 unsatisfiable literals, and 401 valid clauses are removed
23.29/12.30	c (11,11) CSPinCNF Propagation End
23.29/12.32	c (11,11) CSP: 200 int (0 aux), 59900 bool (59900 aux), 159401 ctr, max domain size 200
23.29/12.32	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
23.29/12.32	c (11,11) Simplify CSPinCNF Begin
25.60/13.74	c (13,13) Simplify CSPinCNF End
25.60/13.78	c (13,13) CSP: 200 int (0 aux), 139498 bool (139498 aux), 238999 ctr, max domain size 200
25.60/13.78	c (13,13) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
25.60/13.78	c (13,13) Calculate Precise Domain Begin
25.60/13.78	c (13,13) 0 values are removed by re-calculation
25.60/13.78	c (13,13) Calculate Precise Domain End
25.69/13.81	c (13,13) CSP: 200 int (0 aux), 139498 bool (139498 aux), 238999 ctr, max domain size 200
25.69/13.81	c (13,13) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
25.69/13.81	c (13,13) CSPinCNF to SatSolver Begin
44.69/27.11	c (26,25) 23900 (10 %) CSP clauses are encoded (0 SAT variables, 3233967 SAT clauses)
58.24/39.21	c (38,37) 47800 (20 %) CSP clauses are encoded (0 SAT variables, 6428733 SAT clauses)
65.16/45.37	c (44,43) 71700 (30 %) CSP clauses are encoded (0 SAT variables, 8031499 SAT clauses)
65.36/45.58	c (45,44) 95600 (40 %) CSP clauses are encoded (0 SAT variables, 8055399 SAT clauses)
67.14/45.99	c (45,44) 119500 (50 %) CSP clauses are encoded (0 SAT variables, 8079299 SAT clauses)
68.74/47.44	c (46,45) 143400 (60 %) CSP clauses are encoded (0 SAT variables, 8418099 SAT clauses)
79.53/55.97	c (55,53) 167300 (70 %) CSP clauses are encoded (0 SAT variables, 10493579 SAT clauses)
88.91/65.29	c (64,63) 191200 (80 %) CSP clauses are encoded (0 SAT variables, 12836775 SAT clauses)
99.61/75.71	c (75,73) 215100 (90 %) CSP clauses are encoded (0 SAT variables, 15513795 SAT clauses)
112.42/88.41	c (87,85) 238999 (100 %) CSP clauses are encoded (0 SAT variables, 18705800 SAT clauses)
112.42/88.41	c (87,85) CSPinCNF to SatSolver End
112.42/88.41	c (87,85) Heap : 3242 MiB used (max 21754 MiB), NonHeap : 31 MiB used (max 0 MiB)
112.42/88.41	c (87,85) 179297 bool, 18705999 clause
112.42/88.41	c (87,85) Export Begin
112.60/88.51	c (87,85) Export to HOME/scop-20761-serial-file.bin
112.60/88.51	c (87,85) Export End
112.60/88.52	c (87,85) Export File Size: 0.03 MB
112.60/88.52	c (87,85) 1,1,10,11,13,13,87,STOP-AFTER(DIMACS)
112.60/88.52	c END-Prog: Tue Sep 24 23:03:40 CEST 2019
112.60/88.57	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20761-serial-file.bin
113.26/89.04	c (0,0) Read Serial File Begin
113.26/89.04	c (0,0) HOME/scop-20761-serial-file.bin
113.52/89.26	c (0,0) Read Serial File End
113.52/89.27	
113.52/89.27	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
113.52/89.27	(Solving Process)
113.52/89.27	
113.52/89.29	c BEGIN-Prog: Tue Sep 24 23:03:41 CEST 2019
113.52/89.29	c PID: 20790
113.52/89.29	c IP: 172.20.3.151
113.52/89.29	c HOST: node151.alineos.net
113.52/89.30	c (0,0) SatSolver.solve Begin
113.52/89.30	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405237-1569358972.xml-scop-20764.cnf
113.70/89.32	c (0,0) c
113.70/89.32	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)
113.70/89.32	c (0,0) c
113.70/89.32	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
113.70/89.32	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
113.70/89.32	c (0,0) c ========================================[ Problem Statistics ]===========================================
113.70/89.32	c (0,0) c |                                                                                                       |
119.95/95.44	c (6,0) c |  Number of variables:        179297                                                                   |
119.95/95.44	c (6,0) c |  Number of clauses:        18705999                                                                   |
119.95/95.44	c (6,0) c |  Parse time:                   5.55 s                                                                 |
119.95/95.44	c (6,0) c |                                                                                                       |
121.05/96.52	c (7,0) c | Too many clauses... No preprocessing                                                                  |
121.05/96.52	c (7,0) c |  Simplification time:          0.96 s                                                                 |
121.05/96.52	c (7,0) c |                                                                                                       |
121.05/96.52	c (7,0) c |  One Solver is taking   1375.52Mb... Let's take   5 solvers for this run (max 40% of the maxmemory).  |
121.05/96.52	c (7,0) c |  Generating clones                                                                                    |
122.56/98.08	c (9,0) c |  all clones generated. Memory =  5179.80Mb.                                                           |
122.56/98.08	c (9,0) c ========================================================================================================|
122.56/98.08	c (9,0) c
122.56/98.08	c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
122.56/98.08	c (9,0) c
122.56/98.08	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|
122.56/98.08	c (9,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |
122.56/98.08	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|
122.56/98.08	c (9,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |
122.56/98.08	c (9,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |
122.56/98.08	c (9,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |
122.56/98.08	c (9,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |
122.56/98.08	c (9,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |
122.56/98.08	c (9,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |
122.56/98.08	c (9,0) c | glureduce             |       True |       True |       True |       True |       True |
122.56/98.08	c (9,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |
122.56/98.08	c (9,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |
122.56/98.08	c (9,0) c | luby_restart          |      False |      False |      False |      False |      False |
122.56/98.08	c (9,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |
122.56/98.08	c (9,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
122.56/98.08	c (9,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
122.56/98.08	c (9,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |
122.56/98.08	c (9,0) c | remove_satisfied      |       True |       True |       True |       True |       True |
122.56/98.08	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|
179.26/110.31	c (21,0) c
179.26/110.31	c (21,0) c real time : 20.9914 s
179.26/110.31	c (21,0) c cpu time  : 59.1505 s
179.26/110.31	c (21,0) c
179.26/110.31	c (21,0) c
179.26/110.31	c (21,0) c
179.26/110.31	c (21,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
179.26/110.31	c (21,0) c
179.26/110.31	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
179.26/110.31	c (21,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |
179.26/110.31	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
179.26/110.31	c (21,0) c | Conflicts     |            4659 |        652 |       1013 |       1449 |        784 |        761 |
179.26/110.31	c (21,0) c | Decisions     |          218411 |     125183 |      21284 |      18265 |      26741 |      26938 |
179.26/110.31	c (21,0) c | Propagations  |        42875933 |    8495406 |    7905241 |    7701359 |    9318312 |    9455615 |
179.26/110.31	c (21,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |
179.26/110.31	c (21,0) c | SimpDBs       |               5 |          1 |          1 |          1 |          1 |          1 |
179.26/110.31	c (21,0) c | Restarts      |              78 |          8 |         19 |         24 |         14 |         13 |
179.26/110.31	c (21,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |
179.26/110.31	c (21,0) c | PropBinClauses|        46989288 |    9067731 |    8865031 |    8762557 |   10070965 |   10223004 |
179.26/110.31	c (21,0) c | PropPreBlocker|      3077827051 |  596457240 |  593237656 |  596848327 |  643392680 |  647891148 |
179.26/110.31	c (21,0) c | PropNotBlocker|       293902483 |   59081883 |   62121453 |   58888899 |   62091406 |   51718842 |
179.26/110.31	c (21,0) c | LitFullScans  |      3462366776 |  673409006 |  672121305 |  672109058 |  724539146 |  720188261 |
179.26/110.31	c (21,0) c | LitScanFracts |          462357 |      88737 |      96057 |      94442 |      97329 |      85792 |
179.26/110.31	c (21,0) c | DecisionLevel0|              80 |          8 |         20 |         24 |         14 |         14 |
179.26/110.31	c (21,0) c | Periods       |             576 |        112 |        112 |        112 |        120 |        120 |
179.26/110.31	c (21,0) c | Margin        |             100 |         20 |         20 |         20 |         20 |         20 |
179.26/110.31	c (21,0) c | Avg_Trail     |                 |     132363 |     142155 |     127234 |     128462 |     125023 |
179.26/110.31	c (21,0) c | Avg_DL        |                 |       1630 |        402 |        357 |        404 |        349 |
179.26/110.31	c (21,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |
179.26/110.31	c (21,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |
179.26/110.31	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
179.26/110.31	c (21,0) c | Exported      |              72 |         20 |         16 |         12 |         12 |         12 |
179.26/110.31	c (21,0) c | Imported      |             272 |         50 |         51 |         57 |         57 |         57 |
179.26/110.31	c (21,0) c | Good          |              20 |          4 |          3 |          5 |          5 |          3 |
179.26/110.31	c (21,0) c | Purge         |             252 |         46 |         48 |         52 |         52 |         54 |
179.26/110.31	c (21,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |
179.26/110.31	c (21,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |
179.26/110.31	c (21,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |
179.26/110.31	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
179.26/110.31	c (21,0) c | Unaries       |                 |          0 |          1 |          0 |          0 |          1 |
179.26/110.31	c (21,0) c | Binaries      |                 |          1 |          2 |          0 |          0 |          2 |
179.26/110.31	c (21,0) c | Glues         |                 |         20 |         16 |         12 |         12 |         12 |
179.26/110.31	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
179.26/110.31	c (21,0) c | Orig_Seen     |             0 % |      34487 |      69800 |      73288 |      59912 |      47887 |
179.26/110.31	c (21,0) c | Diff Orig seen|                 |      X     |      35313 |      38801 |      25425 |      13400 |
179.26/110.31	c (21,0) c | Hamming       |            28 % |      X     |      49129 |      50779 |      51424 |      51784 |
179.26/110.31	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
179.26/110.31	c (21,0) c | RunningTime   |                 |   11.5 100%|   12.0 100%|   12.2 100%|   11.1  97%|   11.5 100%|
179.26/110.31	c (21,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.3   3%|    0.0   0%|
179.26/110.31	c (21,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
179.26/110.31	c (21,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
179.26/110.31	c (21,0) c | SolvingTime   |                 |   11.5     |   12.0     |   12.2     |   11.4     |   11.5     |
179.26/110.31	c (21,0) c | PropagationTim|                 |   11.3  98%|   11.7  97%|   11.7  96%|   11.1  97%|   11.1  97%|
179.26/110.31	c (21,0) c | AnalysisTime  |                 |    0.1   0%|    0.1   1%|    0.2   1%|    0.1   1%|    0.1   1%|
179.26/110.31	c (21,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
179.26/110.31	c (21,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
179.26/110.31	c (21,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
179.26/110.31	c (21,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
179.26/110.31	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|
179.26/110.31	c (21,0) c
179.26/110.31	c (21,0) c
179.26/110.31	c (21,0) c Threads : 5
179.26/110.31	c (21,0) c Winner : 0
179.26/110.31	c (21,0) c Conflicts_0 : 652
179.26/110.31	c (21,0) c Conflicts_1 : 1013
179.26/110.31	c (21,0) c Conflicts_2 : 1449
179.26/110.31	c (21,0) c Conflicts_3 : 784
179.26/110.31	c (21,0) c Conflicts_4 : 761
179.26/110.31	c (21,0) c Conflicts_total : 4659
179.26/110.31	c (21,0) c Conflicts_winner : 652
179.26/110.31	c (21,0) c Decisions_0 : 125183
179.26/110.31	c (21,0) c Decisions_1 : 21284
179.26/110.31	c (21,0) c Decisions_2 : 18265
179.26/110.31	c (21,0) c Decisions_3 : 26741
179.26/110.31	c (21,0) c Decisions_4 : 26938
179.26/110.31	c (21,0) c Decisions_total : 218411
179.26/110.31	c (21,0) c Decisions_winner : 125183
179.26/110.31	c (21,0) c Propagations_0 : 8495406
179.26/110.31	c (21,0) c Propagations_1 : 7905241
179.26/110.31	c (21,0) c Propagations_2 : 7701359
179.26/110.31	c (21,0) c Propagations_3 : 9318312
179.26/110.31	c (21,0) c Propagations_4 : 9455615
179.26/110.31	c (21,0) c Propagations_total : 42875933
179.26/110.31	c (21,0) c Propagations_winner : 8495406
179.26/110.31	c (21,0) c ReduceDBs_0 : 0
179.26/110.31	c (21,0) c ReduceDBs_1 : 0
179.26/110.31	c (21,0) c ReduceDBs_2 : 0
179.26/110.31	c (21,0) c ReduceDBs_3 : 0
179.26/110.31	c (21,0) c ReduceDBs_4 : 0
179.26/110.31	c (21,0) c ReduceDBs_total : 0
179.26/110.31	c (21,0) c ReduceDBs_winner : 0
179.26/110.31	c (21,0) c SimpDBs_0 : 1
179.26/110.31	c (21,0) c SimpDBs_1 : 1
179.26/110.31	c (21,0) c SimpDBs_2 : 1
179.26/110.31	c (21,0) c SimpDBs_3 : 1
179.26/110.31	c (21,0) c SimpDBs_4 : 1
179.26/110.31	c (21,0) c SimpDBs_total : 5
179.26/110.31	c (21,0) c SimpDBs_winner : 1
179.26/110.31	c (21,0) c Restarts_0 : 8
179.26/110.32	c (21,0) c Restarts_1 : 19
179.26/110.32	c (21,0) c Restarts_2 : 24
179.26/110.32	c (21,0) c Restarts_3 : 14
179.26/110.32	c (21,0) c Restarts_4 : 13
179.26/110.32	c (21,0) c Restarts_total : 78
179.26/110.32	c (21,0) c Restarts_winner : 8
179.26/110.32	c (21,0) c ForcedImports_0 : 0
179.26/110.32	c (21,0) c ForcedImports_1 : 0
179.26/110.32	c (21,0) c ForcedImports_2 : 0
179.26/110.32	c (21,0) c ForcedImports_3 : 0
179.26/110.32	c (21,0) c ForcedImports_4 : 0
179.26/110.32	c (21,0) c ForcedImports_total : 0
179.26/110.32	c (21,0) c ForcedImports_winner : 0
179.26/110.32	c (21,0) c PropsBinClauses_0 : 9067731
179.26/110.32	c (21,0) c PropsBinClauses_1 : 8865031
179.26/110.32	c (21,0) c PropsBinClauses_2 : 8762557
179.26/110.32	c (21,0) c PropsBinClauses_3 : 10070965
179.26/110.32	c (21,0) c PropsBinClauses_4 : 10223004
179.26/110.32	c (21,0) c PropsBinClauses_total : 46989288
179.26/110.32	c (21,0) c PropsBinClauses_winner : 9067731
179.26/110.32	c (21,0) c PropsPreBlocker_0 : 596457240
179.26/110.32	c (21,0) c PropsPreBlocker_1 : 593237656
179.26/110.32	c (21,0) c PropsPreBlocker_2 : 596848327
179.26/110.32	c (21,0) c PropsPreBlocker_3 : 643392680
179.26/110.32	c (21,0) c PropsPreBlocker_4 : 647891148
179.26/110.32	c (21,0) c PropsPreBlocker_total : 3077827051
179.26/110.32	c (21,0) c PropsPreBlocker_winner : 596457240
179.26/110.32	c (21,0) c PropsNotBlocker_0 : 59081883
179.26/110.32	c (21,0) c PropsNotBlocker_1 : 62121453
179.26/110.32	c (21,0) c PropsNotBlocker_2 : 58888899
179.26/110.32	c (21,0) c PropsNotBlocker_3 : 62091406
179.26/110.32	c (21,0) c PropsNotBlocker_4 : 51718842
179.26/110.32	c (21,0) c PropsNotBlocker_total : 293902483
179.26/110.32	c (21,0) c PropsNotBlocker_winner : 59081883
179.26/110.32	c (21,0) c PropsLitFullScans_0 : 673409006
179.26/110.32	c (21,0) c PropsLitFullScans_1 : 672121305
179.26/110.32	c (21,0) c PropsLitFullScans_2 : 672109058
179.26/110.32	c (21,0) c PropsLitFullScans_3 : 724539146
179.26/110.32	c (21,0) c PropsLitFullScans_4 : 720188261
179.26/110.32	c (21,0) c PropsLitFullScans_total : 3462366776
179.26/110.32	c (21,0) c PropsLitFullScans_winner : 673409006
179.26/110.32	c (21,0) c LitScanFractions_0 : 88737
179.26/110.32	c (21,0) c LitScanFractions_1 : 96057
179.26/110.32	c (21,0) c LitScanFractions_2 : 94442
179.26/110.32	c (21,0) c LitScanFractions_3 : 97329
179.26/110.32	c (21,0) c LitScanFractions_4 : 85792
179.26/110.32	c (21,0) c LitScanFractions_total : 462357
179.26/110.32	c (21,0) c LitScanFractions_winner : 88737
179.26/110.32	c (21,0) c DecisionLevel0_0 : 8
179.26/110.32	c (21,0) c DecisionLevel0_1 : 20
179.26/110.32	c (21,0) c DecisionLevel0_2 : 24
179.26/110.32	c (21,0) c DecisionLevel0_3 : 14
179.26/110.32	c (21,0) c DecisionLevel0_4 : 14
179.26/110.32	c (21,0) c DecisionLevel0_total : 80
179.26/110.32	c (21,0) c DecisionLevel0_winner : 8
179.26/110.32	c (21,0) c Periods_0 : 112
179.26/110.32	c (21,0) c Periods_1 : 112
179.26/110.32	c (21,0) c Periods_2 : 112
179.26/110.32	c (21,0) c Periods_3 : 120
179.26/110.32	c (21,0) c Periods_4 : 120
179.26/110.32	c (21,0) c Periods_total : 576
179.26/110.32	c (21,0) c Periods_winner : 112
179.26/110.32	c (21,0) c Margin_0 : 20
179.26/110.32	c (21,0) c Margin_1 : 20
179.26/110.32	c (21,0) c Margin_2 : 20
179.26/110.32	c (21,0) c Margin_3 : 20
179.26/110.32	c (21,0) c Margin_4 : 20
179.26/110.32	c (21,0) c Margin_total : 100
179.26/110.32	c (21,0) c Margin_winner : 20
179.26/110.32	c (21,0) c Exported_0 : 20
179.26/110.32	c (21,0) c Exported_1 : 16
179.26/110.32	c (21,0) c Exported_2 : 12
179.26/110.32	c (21,0) c Exported_3 : 12
179.26/110.32	c (21,0) c Exported_4 : 12
179.26/110.32	c (21,0) c Exported_total : 72
179.26/110.32	c (21,0) c Exported_winner : 20
179.26/110.32	c (21,0) c Imported_0 : 50
179.26/110.32	c (21,0) c Imported_1 : 51
179.26/110.32	c (21,0) c Imported_2 : 57
179.26/110.32	c (21,0) c Imported_3 : 57
179.26/110.32	c (21,0) c Imported_4 : 57
179.26/110.32	c (21,0) c Imported_total : 272
179.26/110.32	c (21,0) c Imported_winner : 50
179.26/110.32	c (21,0) c Good_0 : 4
179.26/110.32	c (21,0) c Good_1 : 3
179.26/110.32	c (21,0) c Good_2 : 5
179.26/110.32	c (21,0) c Good_3 : 5
179.26/110.32	c (21,0) c Good_4 : 3
179.26/110.32	c (21,0) c Good_total : 20
179.26/110.32	c (21,0) c Good_winner : 4
179.26/110.32	c (21,0) c Purge_0 : 46
179.26/110.32	c (21,0) c Purge_1 : 48
179.26/110.32	c (21,0) c Purge_2 : 52
179.26/110.32	c (21,0) c Purge_3 : 52
179.26/110.32	c (21,0) c Purge_4 : 54
179.26/110.32	c (21,0) c Purge_total : 252
179.26/110.32	c (21,0) c Purge_winner : 46
179.26/110.32	c (21,0) c Promoted_0 : 0
179.26/110.32	c (21,0) c Promoted_1 : 0
179.26/110.32	c (21,0) c Promoted_2 : 0
179.26/110.32	c (21,0) c Promoted_3 : 0
179.26/110.32	c (21,0) c Promoted_4 : 0
179.26/110.32	c (21,0) c Promoted_total : 0
179.26/110.32	c (21,0) c Promoted_winner : 0
179.26/110.32	c (21,0) c Remove_Imp_0 : 0
179.26/110.32	c (21,0) c Remove_Imp_1 : 0
179.26/110.32	c (21,0) c Remove_Imp_2 : 0
179.26/110.32	c (21,0) c Remove_Imp_3 : 0
179.26/110.32	c (21,0) c Remove_Imp_4 : 0
179.26/110.32	c (21,0) c Remove_Imp_total : 0
179.26/110.32	c (21,0) c Remove_Imp_winner : 0
179.26/110.32	c (21,0) c Blocked_Reuse_0 : 0
179.26/110.32	c (21,0) c Blocked_Reuse_1 : 0
179.26/110.32	c (21,0) c Blocked_Reuse_2 : 0
179.26/110.32	c (21,0) c Blocked_Reuse_3 : 0
179.26/110.32	c (21,0) c Blocked_Reuse_4 : 0
179.26/110.32	c (21,0) c Blocked_Reuse_total : 0
179.26/110.32	c (21,0) c Blocked_Reuse_winner : 0
179.26/110.32	c (21,0) c Unaries_0 : 0
179.26/110.32	c (21,0) c Unaries_1 : 1
179.26/110.32	c (21,0) c Unaries_2 : 0
179.26/110.32	c (21,0) c Unaries_3 : 0
179.26/110.32	c (21,0) c Unaries_4 : 1
179.26/110.32	c (21,0) c Unaries_total : 2
179.26/110.32	c (21,0) c Unaries_winner : 0
179.26/110.32	c (21,0) c Binaries_0 : 1
179.26/110.32	c (21,0) c Binaries_1 : 2
179.26/110.32	c (21,0) c Binaries_2 : 0
179.26/110.32	c (21,0) c Binaries_3 : 0
179.26/110.32	c (21,0) c Binaries_4 : 2
179.26/110.32	c (21,0) c Binaries_total : 5
179.26/110.32	c (21,0) c Binaries_winner : 1
179.26/110.32	c (21,0) c Glues_0 : 20
179.26/110.32	c (21,0) c Glues_1 : 16
179.26/110.32	c (21,0) c Glues_2 : 12
179.26/110.32	c (21,0) c Glues_3 : 12
179.26/110.32	c (21,0) c Glues_4 : 12
179.26/110.32	c (21,0) c Glues_total : 72
179.26/110.32	c (21,0) c Glues_winner : 20
179.26/110.32	c (21,0) c RunningTime_0 : 11.547141
179.26/110.32	c (21,0) c RunningTime_1 : 12.040584
179.26/110.32	c (21,0) c RunningTime_2 : 12.213269
179.26/110.32	c (21,0) c RunningTime_3 : 11.123538
179.26/110.32	c (21,0) c RunningTime_4 : 11.537412
179.26/110.32	c (21,0) c RunningTime_total : 58.461944
179.26/110.32	c (21,0) c RunningTime_winner : 11.547141
179.26/110.32	c (21,0) c WaitingTime_0 : 0.000118
179.26/110.32	c (21,0) c WaitingTime_1 : 0.000072
179.26/110.32	c (21,0) c WaitingTime_2 : 0.000090
179.26/110.32	c (21,0) c WaitingTime_3 : 0.324233
179.26/110.32	c (21,0) c WaitingTime_4 : 0.000127
179.26/110.32	c (21,0) c WaitingTime_total : 0.324641
179.26/110.32	c (21,0) c WaitingTime_winner : 0.000118
179.26/110.32	c (21,0) c ExchangingTime_0 : 0.000647
179.26/110.32	c (21,0) c ExchangingTime_1 : 0.000761
179.26/110.32	c (21,0) c ExchangingTime_2 : 0.000859
179.26/110.32	c (21,0) c ExchangingTime_3 : 0.000811
179.26/110.32	c (21,0) c ExchangingTime_4 : 0.000793
179.26/110.32	c (21,0) c ExchangingTime_total : 0.003870
179.26/110.32	c (21,0) c ExchangingTime_winner : 0.000647
179.26/110.32	c (21,0) c PeriodProcTime_0 : 0.001129
179.26/110.32	c (21,0) c PeriodProcTime_1 : 0.001249
179.26/110.32	c (21,0) c PeriodProcTime_2 : 0.001226
179.26/110.32	c (21,0) c PeriodProcTime_3 : 0.001157
179.26/110.32	c (21,0) c PeriodProcTime_4 : 0.001249
179.26/110.32	c (21,0) c PeriodProcTime_total : 0.006010
179.26/110.32	c (21,0) c PeriodProcTime_winner : 0.001129
179.26/110.32	c (21,0) c SolvingTime_0 : 11.549035
179.26/110.32	c (21,0) c SolvingTime_1 : 12.042665
179.26/110.32	c (21,0) c SolvingTime_2 : 12.215444
179.26/110.32	c (21,0) c SolvingTime_3 : 11.449740
179.26/110.32	c (21,0) c SolvingTime_4 : 11.539580
179.26/110.32	c (21,0) c SolvingTime_total : 58.796464
179.26/110.32	c (21,0) c SolvingTime_winner : 11.549035
179.26/110.32	c (21,0) c PropagationTime_0 : 11.296761
179.26/110.32	c (21,0) c PropagationTime_1 : 11.670729
179.26/110.32	c (21,0) c PropagationTime_2 : 11.690580
179.26/110.32	c (21,0) c PropagationTime_3 : 11.117677
179.26/110.32	c (21,0) c PropagationTime_4 : 11.145836
179.26/110.32	c (21,0) c PropagationTime_total : 56.921582
179.26/110.32	c (21,0) c PropagationTime_winner : 11.296761
179.26/110.32	c (21,0) c AnalysisTime_0 : 0.053835
179.26/110.32	c (21,0) c AnalysisTime_1 : 0.127130
179.26/110.32	c (21,0) c AnalysisTime_2 : 0.177380
179.26/110.32	c (21,0) c AnalysisTime_3 : 0.083263
179.26/110.32	c (21,0) c AnalysisTime_4 : 0.073667
179.26/110.32	c (21,0) c AnalysisTime_total : 0.515275
179.26/110.32	c (21,0) c AnalysisTime_winner : 0.053835
179.26/110.32	c (21,0) c ReductionTime_0 : 0.000000
179.26/110.32	c (21,0) c ReductionTime_1 : 0.000000
179.26/110.32	c (21,0) c ReductionTime_2 : 0.000000
179.26/110.32	c (21,0) c ReductionTime_3 : 0.000000
179.26/110.32	c (21,0) c ReductionTime_4 : 0.000000
179.26/110.32	c (21,0) c ReductionTime_total : 0.000000
179.26/110.32	c (21,0) c ReductionTime_winner : 0.000000
179.26/110.32	c (21,0) c SimplifyTime_0 : 0.000000
179.26/110.32	c (21,0) c SimplifyTime_1 : 0.000004
179.26/110.32	c (21,0) c SimplifyTime_2 : 0.000003
179.26/110.32	c (21,0) c SimplifyTime_3 : 0.000002
179.26/110.32	c (21,0) c SimplifyTime_4 : 0.000000
179.26/110.32	c (21,0) c SimplifyTime_total : 0.000009
179.26/110.32	c (21,0) c SimplifyTime_winner : 0.000000
179.26/110.32	c (21,0) c UsedRateTime_0 : 0.000000
179.26/110.32	c (21,0) c UsedRateTime_1 : 0.000000
179.26/110.32	c (21,0) c UsedRateTime_2 : 0.000000
179.26/110.32	c (21,0) c UsedRateTime_3 : 0.000000
179.26/110.32	c (21,0) c UsedRateTime_4 : 0.000000
179.26/110.32	c (21,0) c UsedRateTime_total : 0.000000
179.26/110.32	c (21,0) c UsedRateTime_winner : 0.000000
179.26/110.32	c (21,0) c OverlapRateTime_0 : 0.000000
179.26/110.32	c (21,0) c OverlapRateTime_1 : 0.000000
179.26/110.32	c (21,0) c OverlapRateTime_2 : 0.000000
179.26/110.32	c (21,0) c OverlapRateTime_3 : 0.000000
179.26/110.32	c (21,0) c OverlapRateTime_4 : 0.000000
179.26/110.32	c (21,0) c OverlapRateTime_total : 0.000000
179.26/110.32	c (21,0) c OverlapRateTime_winner : 0.000000
179.26/110.32	c (21,0) c
179.26/110.32	c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
179.26/110.32	c (21,0) c
179.26/110.32	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|
179.26/110.32	c (21,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |
179.26/110.32	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|
179.26/110.32	c (21,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |
179.26/110.32	c (21,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |
179.26/110.32	c (21,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |
179.26/110.32	c (21,0) c | Initial random_seed   |  593892554 |  925435701 | 1882006015 | 1627239063 |  118795145 |
179.26/110.32	c (21,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |
179.26/110.32	c (21,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |
179.26/110.32	c (21,0) c | glureduce             |       True |       True |       True |       True |       True |
179.26/110.32	c (21,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |
179.26/110.32	c (21,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |
179.26/110.32	c (21,0) c | luby_restart          |      False |      False |      False |      False |      False |
179.26/110.32	c (21,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |
179.26/110.32	c (21,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
179.26/110.32	c (21,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
179.26/110.32	c (21,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |
179.26/110.32	c (21,0) c | remove_satisfied      |       True |       True |       True |       True |       True |
179.26/110.32	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|
179.26/110.32	c (21,0) 
179.26/110.32	c (21,0) s SATISFIABLE
114.27/110.66	c (21,0) SatSolver.solve End
114.27/110.66	c (21,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
114.27/110.66	c (21,0) Show results Begin
180.33/110.81	c (21,0) q[0] = 88
180.33/110.81	c (21,0) q[1] = 56
180.33/110.81	c (21,0) q[2] = 159
180.33/110.81	c (21,0) q[3] = 173
180.33/110.81	c (21,0) q[4] = 80
180.33/110.81	c (21,0) q[5] = 19
180.33/110.81	c (21,0) q[6] = 185
180.33/110.81	c (21,0) q[7] = 183
180.33/110.81	c (21,0) q[8] = 75
180.33/110.81	c (21,0) q[9] = 10
180.33/110.81	c (21,0) q[10] = 171
180.33/110.81	c (21,0) q[11] = 109
180.33/110.81	c (21,0) q[12] = 172
180.33/110.81	c (21,0) q[13] = 179
180.33/110.81	c (21,0) q[14] = 71
180.33/110.81	c (21,0) q[15] = 65
180.33/110.81	c (21,0) q[16] = 181
180.33/110.81	c (21,0) q[17] = 47
180.33/110.81	c (21,0) q[18] = 180
180.33/110.81	c (21,0) q[19] = 194
180.33/110.81	c (21,0) q[20] = 78
180.33/110.81	c (21,0) q[21] = 93
180.33/110.81	c (21,0) q[22] = 158
180.33/110.81	c (21,0) q[23] = 156
180.33/110.81	c (21,0) q[24] = 85
180.33/110.81	c (21,0) q[25] = 22
180.33/110.81	c (21,0) q[26] = 91
180.33/110.81	c (21,0) q[27] = 86
180.33/110.81	c (21,0) q[28] = 121
180.33/110.81	c (21,0) q[29] = 4
180.33/110.81	c (21,0) q[30] = 82
180.33/110.81	c (21,0) q[31] = 95
180.33/110.81	c (21,0) q[32] = 164
180.33/110.81	c (21,0) q[33] = 96
180.33/110.81	c (21,0) q[34] = 100
180.33/110.81	c (21,0) q[35] = 160
180.33/110.81	c (21,0) q[36] = 45
180.33/110.81	c (21,0) q[37] = 190
180.33/110.81	c (21,0) q[38] = 149
180.33/110.81	c (21,0) q[39] = 67
180.33/110.81	c (21,0) q[40] = 23
180.33/110.81	c (21,0) q[41] = 92
180.33/110.81	c (21,0) q[42] = 57
180.33/110.81	c (21,0) q[43] = 182
180.33/110.81	c (21,0) q[44] = 138
180.33/110.81	c (21,0) q[45] = 70
180.33/110.81	c (21,0) q[46] = 54
180.33/110.81	c (21,0) q[47] = 69
180.33/110.81	c (21,0) q[48] = 188
180.33/110.81	c (21,0) q[49] = 59
180.33/110.81	c (21,0) q[50] = 133
180.33/110.81	c (21,0) q[51] = 72
180.33/110.81	c (21,0) q[52] = 137
180.33/110.81	c (21,0) q[53] = 40
180.33/110.81	c (21,0) q[54] = 97
180.33/110.81	c (21,0) q[55] = 14
180.33/110.81	c (21,0) q[56] = 129
180.33/110.81	c (21,0) q[57] = 102
180.33/110.81	c (21,0) q[58] = 114
180.33/110.81	c (21,0) q[59] = 0
180.33/110.81	c (21,0) q[60] = 87
180.33/110.81	c (21,0) q[61] = 64
180.33/110.81	c (21,0) q[62] = 39
180.33/110.81	c (21,0) q[63] = 68
180.33/110.82	c (21,0) q[64] = 25
180.33/110.82	c (21,0) q[65] = 83
180.33/110.82	c (21,0) q[66] = 6
180.33/110.82	c (21,0) q[67] = 99
180.33/110.82	c (21,0) q[68] = 28
180.33/110.82	c (21,0) q[69] = 89
180.33/110.82	c (21,0) q[70] = 118
180.33/110.82	c (21,0) q[71] = 104
180.33/110.82	c (21,0) q[72] = 18
180.33/110.82	c (21,0) q[73] = 30
180.33/110.82	c (21,0) q[74] = 50
180.33/110.82	c (21,0) q[75] = 1
180.33/110.82	c (21,0) q[76] = 110
180.33/110.82	c (21,0) q[77] = 177
180.33/110.82	c (21,0) q[78] = 43
180.33/110.82	c (21,0) q[79] = 31
180.33/110.82	c (21,0) q[80] = 126
180.33/110.82	c (21,0) q[81] = 130
180.33/110.82	c (21,0) q[82] = 123
180.33/110.82	c (21,0) q[83] = 127
180.33/110.82	c (21,0) q[84] = 174
180.33/110.82	c (21,0) q[85] = 124
180.33/110.82	c (21,0) q[86] = 196
180.33/110.82	c (21,0) q[87] = 66
180.33/110.82	c (21,0) q[88] = 163
180.33/110.82	c (21,0) q[89] = 74
180.33/110.82	c (21,0) q[90] = 113
180.33/110.82	c (21,0) q[91] = 128
180.33/110.82	c (21,0) q[92] = 13
180.33/110.82	c (21,0) q[93] = 42
180.33/110.82	c (21,0) q[94] = 24
180.33/110.82	c (21,0) q[95] = 62
180.33/110.82	c (21,0) q[96] = 112
180.33/110.82	c (21,0) q[97] = 33
180.33/110.82	c (21,0) q[98] = 46
180.33/110.82	c (21,0) q[99] = 12
180.33/110.82	c (21,0) q[100] = 199
180.33/110.82	c (21,0) q[101] = 21
180.33/110.82	c (21,0) q[102] = 26
180.33/110.82	c (21,0) q[103] = 34
180.33/110.82	c (21,0) q[104] = 51
180.33/110.82	c (21,0) q[105] = 117
180.33/110.82	c (21,0) q[106] = 184
180.33/110.82	c (21,0) q[107] = 178
180.33/110.82	c (21,0) q[108] = 195
180.33/110.82	c (21,0) q[109] = 53
180.33/110.82	c (21,0) q[110] = 35
180.33/110.82	c (21,0) q[111] = 107
180.33/110.82	c (21,0) q[112] = 105
180.33/110.82	c (21,0) q[113] = 101
180.33/110.82	c (21,0) q[114] = 154
180.33/110.82	c (21,0) q[115] = 150
180.33/110.82	c (21,0) q[116] = 193
180.33/110.82	c (21,0) q[117] = 52
180.33/110.82	c (21,0) q[118] = 116
180.33/110.82	c (21,0) q[119] = 37
180.33/110.82	c (21,0) q[120] = 48
180.33/110.82	c (21,0) q[121] = 11
180.33/110.82	c (21,0) q[122] = 5
180.33/110.82	c (21,0) q[123] = 103
180.33/110.82	c (21,0) q[124] = 16
180.33/110.82	c (21,0) q[125] = 119
180.33/110.82	c (21,0) q[126] = 94
180.33/110.82	c (21,0) q[127] = 9
180.33/110.82	c (21,0) q[128] = 15
180.33/110.82	c (21,0) q[129] = 17
180.33/110.82	c (21,0) q[130] = 166
180.33/110.82	c (21,0) q[131] = 73
180.33/110.82	c (21,0) q[132] = 7
180.33/110.82	c (21,0) q[133] = 32
180.33/110.82	c (21,0) q[134] = 8
180.33/110.82	c (21,0) q[135] = 3
180.33/110.82	c (21,0) q[136] = 41
180.33/110.82	c (21,0) q[137] = 111
180.33/110.82	c (21,0) q[138] = 55
180.33/110.82	c (21,0) q[139] = 192
180.33/110.82	c (21,0) q[140] = 38
180.33/110.82	c (21,0) q[141] = 165
180.33/110.82	c (21,0) q[142] = 58
180.33/110.82	c (21,0) q[143] = 197
180.33/110.82	c (21,0) q[144] = 77
180.33/110.82	c (21,0) q[145] = 115
180.33/110.82	c (21,0) q[146] = 27
180.33/110.82	c (21,0) q[147] = 84
180.33/110.82	c (21,0) q[148] = 152
180.33/110.82	c (21,0) q[149] = 120
180.33/110.82	c (21,0) q[150] = 167
180.33/110.82	c (21,0) q[151] = 162
180.33/110.82	c (21,0) q[152] = 143
180.33/110.82	c (21,0) q[153] = 148
180.33/110.82	c (21,0) q[154] = 161
180.33/110.82	c (21,0) q[155] = 157
180.33/110.82	c (21,0) q[156] = 60
180.33/110.82	c (21,0) q[157] = 176
180.33/110.82	c (21,0) q[158] = 2
180.33/110.82	c (21,0) q[159] = 81
180.33/110.82	c (21,0) q[160] = 186
180.33/110.82	c (21,0) q[161] = 63
180.33/110.82	c (21,0) q[162] = 191
180.33/110.82	c (21,0) q[163] = 147
180.33/110.82	c (21,0) q[164] = 79
180.33/110.82	c (21,0) q[165] = 29
180.33/110.82	c (21,0) q[166] = 36
180.33/110.82	c (21,0) q[167] = 140
180.33/110.82	c (21,0) q[168] = 106
180.33/110.82	c (21,0) q[169] = 108
180.33/110.82	c (21,0) q[170] = 132
180.33/110.82	c (21,0) q[171] = 134
180.33/110.82	c (21,0) q[172] = 153
180.33/110.82	c (21,0) q[173] = 155
180.33/110.82	c (21,0) q[174] = 146
180.33/110.82	c (21,0) q[175] = 144
180.33/110.82	c (21,0) q[176] = 142
180.33/110.82	c (21,0) q[177] = 131
180.33/110.82	c (21,0) q[178] = 170
180.33/110.82	c (21,0) q[179] = 135
180.33/110.82	c (21,0) q[180] = 169
180.33/110.82	c (21,0) q[181] = 20
180.33/110.82	c (21,0) q[182] = 168
180.33/110.82	c (21,0) q[183] = 141
180.33/110.82	c (21,0) q[184] = 139
180.33/110.82	c (21,0) q[185] = 175
180.33/110.82	c (21,0) q[186] = 136
180.33/110.82	c (21,0) q[187] = 151
180.33/110.82	c (21,0) q[188] = 187
180.33/110.82	c (21,0) q[189] = 189
180.33/110.82	c (21,0) q[190] = 98
180.33/110.82	c (21,0) q[191] = 125
180.33/110.82	c (21,0) q[192] = 198
180.33/110.82	c (21,0) q[193] = 49
180.33/110.82	c (21,0) q[194] = 145
180.33/110.82	c (21,0) q[195] = 44
180.33/110.82	c (21,0) q[196] = 76
180.33/110.82	c (21,0) q[197] = 90
180.33/110.82	c (21,0) q[198] = 61
180.33/110.82	c (21,0) q[199] = 122
180.33/110.82	s SATISFIABLE
180.33/110.83	v <instantiation>
180.33/110.83	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>
180.33/110.83	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>
180.33/110.83	v </instantiation>
180.33/110.83	c (21,0) Show results End
180.33/110.83	c (21,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
180.33/110.83	c (21,0) 21,21,STOP-AFTER(ALL)
180.33/110.83	c END-Prog: Tue Sep 24 23:04:02 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 (13810 MiB free)
  memory of node 1: 16384 MiB (11156 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=20761, runsolver pid=20758

[startup+0.100159 s]*
/proc/loadavg: 1.32 3.26 4.49 2/213 20783
/proc/meminfo: memFree=25470864/32770624 swapFree=66956520/67108860
[pid=20761] ppid=20758 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20761/stat : 20761 (scop.sh) S 20758 20761 14862 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512168519 115843072 349 33554432000 4194304 5098028 140720576289008 140720576286264 140315867050620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16723968 140720576291621 140720576291948 140720576291948 140720576294861 0
/proc/20761/statm: 28282 349 296 221 0 87 0
[pid=20764] ppid=20761 vsize=27314120 memory=107368 CPUtime=0.1 cores=0-7
/proc/20764/stat : 20764 (java) S 20761 20761 14862 0 -1 1077944320 6900 0 0 0 8 2 0 0 20 0 20 0 512168520 27969658880 26842 33554432000 4194304 4196468 140736198565600 140736198548144 139774963257079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
/proc/20764/statm: 6828530 26842 2805 1 0 6790935 0
[pid=20764/tid=20765] ppid=20761 vsize=27314120 memory=8184337330466626973 CPUtime=0.09 cores=0-7
/proc/20764/task/20765/stat : 20765 (java) R 20761 20761 14862 0 -1 4202560 5005 0 0 0 7 2 0 0 20 0 20 0 512168520 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774935087440 139774963279005 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20766] ppid=20761 vsize=27314120 memory=732370602029648869 CPUtime=0 cores=0-7
/proc/20764/task/20766/stat : 20766 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774967499408 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20767] ppid=20761 vsize=27314120 memory=140463692195456 CPUtime=0 cores=0-7
/proc/20764/task/20767/stat : 20767 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774750894608 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20768] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20768/stat : 20768 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774749841808 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20769] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20769/stat : 20769 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774748789008 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20770] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20770/stat : 20770 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774747737232 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20771] ppid=20761 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20764/task/20771/stat : 20771 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774746684432 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20772] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20772/stat : 20772 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774379678608 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20773] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20773/stat : 20773 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 26842 33554432000 4194304 4196468 140736198565600 139774378625808 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20774] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20774/stat : 20774 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168524 27969658880 26842 33554432000 4194304 4196468 140736198565600 139773953935728 139774963268226 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20775] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20775/stat : 20775 (java) S 20761 20761 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512168524 27969658880 26842 33554432000 4194304 4196468 140736198565600 139772865537056 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20776] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20776/stat : 20776 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168525 27969658880 26842 33554432000 4194304 4196468 140736198565600 139772597101424 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20777] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20777/stat : 20777 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 26842 33554432000 4194304 4196468 140736198565600 139772222592848 139774963275675 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20778] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20778/stat : 20778 (java) S 20761 20761 14862 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 26842 33554432000 4194304 4196468 140736198565600 139773952883568 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20779] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20779/stat : 20779 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 26842 33554432000 4194304 4196468 140736198565600 139773951830768 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20780] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20780/stat : 20780 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 26842 33554432000 4194304 4196468 140736198565600 139773950777968 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20781] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20781/stat : 20781 (java) R 20761 20761 14862 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 26842 33554432000 4194304 4196468 140736198565600 139773949725168 139774963278426 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20782] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20782/stat : 20782 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 26842 33554432000 4194304 4196468 140736198565600 139771724687968 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20783] ppid=20761 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20764/task/20783/stat : 20783 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168528 27969658880 26842 33554432000 4194304 4196468 140736198565600 139773948672560 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108764 KiB

[startup+0.210236 s]*
/proc/loadavg: 1.32 3.26 4.49 2/213 20783
/proc/meminfo: memFree=25451924/32770624 swapFree=66956520/67108860
[pid=20761] ppid=20758 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20761/stat : 20761 (scop.sh) S 20758 20761 14862 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512168519 115843072 349 33554432000 4194304 5098028 140720576289008 140720576286264 140315867050620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16723968 140720576291621 140720576291948 140720576291948 140720576294861 0
/proc/20761/statm: 28282 349 296 221 0 87 0
[pid=20764] ppid=20761 vsize=27314120 memory=124220 CPUtime=0.24 cores=0-7
/proc/20764/stat : 20764 (java) S 20761 20761 14862 0 -1 1077944320 11910 0 0 0 20 4 0 0 20 0 20 0 512168520 27969658880 31055 33554432000 4194304 4196468 140736198565600 140736198548144 139774963257079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
/proc/20764/statm: 6828530 31055 2926 1 0 6790935 0
[pid=20764/tid=20765] ppid=20761 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/20764/task/20765/stat : 20765 (java) R 20761 20761 14862 0 -1 4202560 9629 0 0 0 16 3 0 0 20 0 20 0 512168520 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774935077984 139774943532968 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20766] ppid=20761 vsize=27314120 memory=732370602029648869 CPUtime=0 cores=0-7
/proc/20764/task/20766/stat : 20766 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774967499408 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20767] ppid=20761 vsize=27314120 memory=140463692195456 CPUtime=0 cores=0-7
/proc/20764/task/20767/stat : 20767 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774750894608 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20768] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20768/stat : 20768 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774749841808 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20769] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20769/stat : 20769 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774748789008 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20770] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20770/stat : 20770 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774747737232 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20771] ppid=20761 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20764/task/20771/stat : 20771 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774746684432 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20772] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20772/stat : 20772 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774379678608 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20773] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20773/stat : 20773 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31055 33554432000 4194304 4196468 140736198565600 139774378625808 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20774] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20774/stat : 20774 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168524 27969658880 31055 33554432000 4194304 4196468 140736198565600 139773953935728 139774963268226 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20775] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20775/stat : 20775 (java) S 20761 20761 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512168524 27969658880 31055 33554432000 4194304 4196468 140736198565600 139772865537056 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20776] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20776/stat : 20776 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168525 27969658880 31055 33554432000 4194304 4196468 140736198565600 139772597101424 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20777] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20777/stat : 20777 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 31055 33554432000 4194304 4196468 140736198565600 139772222592848 139774963275675 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20778] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20778/stat : 20778 (java) S 20761 20761 14862 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 31055 33554432000 4194304 4196468 140736198565600 139773952883568 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20779] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20779/stat : 20779 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 31055 33554432000 4194304 4196468 140736198565600 139773951830768 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20780] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20780/stat : 20780 (java) S 20761 20761 14862 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 31055 33554432000 4194304 4196468 140736198565600 139773950777968 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20781] ppid=20761 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20764/task/20781/stat : 20781 (java) S 20761 20761 14862 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 512168527 27969658880 31055 33554432000 4194304 4196468 140736198565600 139773949725168 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20782] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20782/stat : 20782 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 31055 33554432000 4194304 4196468 140736198565600 139771724687968 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20783] ppid=20761 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20764/task/20783/stat : 20783 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168528 27969658880 31055 33554432000 4194304 4196468 140736198565600 139773948672560 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125616 KiB

[startup+0.309556 s]*
/proc/loadavg: 1.32 3.26 4.49 2/213 20783
/proc/meminfo: memFree=25449008/32770624 swapFree=66956520/67108860
[pid=20761] ppid=20758 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20761/stat : 20761 (scop.sh) S 20758 20761 14862 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512168519 115843072 349 33554432000 4194304 5098028 140720576289008 140720576286264 140315867050620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16723968 140720576291621 140720576291948 140720576291948 140720576294861 0
/proc/20761/statm: 28282 349 296 221 0 87 0
[pid=20764] ppid=20761 vsize=27314120 memory=127900 CPUtime=0.42 cores=0-7
/proc/20764/stat : 20764 (java) S 20761 20761 14862 0 -1 1077944320 12835 0 0 0 37 5 0 0 20 0 20 0 512168520 27969658880 31975 33554432000 4194304 4196468 140736198565600 140736198548144 139774963257079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
/proc/20764/statm: 6828530 31975 3034 1 0 6790935 0
[pid=20764/tid=20765] ppid=20761 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/20764/task/20765/stat : 20765 (java) R 20761 20761 14862 0 -1 4202560 10384 0 0 0 26 4 0 0 20 0 20 0 512168520 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774935040096 139774947337566 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20766] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20766/stat : 20766 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774967499408 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20767] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20767/stat : 20767 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774750894608 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20768] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20768/stat : 20768 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774749841808 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20769] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20769/stat : 20769 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774748789008 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20770] ppid=20761 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/20764/task/20770/stat : 20770 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774747737232 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20771] ppid=20761 vsize=27314120 memory=140463550067631 CPUtime=0 cores=0-7
/proc/20764/task/20771/stat : 20771 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774746684432 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20772] ppid=20761 vsize=27314120 memory=140463550069936 CPUtime=0 cores=0-7
/proc/20764/task/20772/stat : 20772 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774379678608 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20773] ppid=20761 vsize=27314120 memory=140463550072240 CPUtime=0 cores=0-7
/proc/20764/task/20773/stat : 20773 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27969658880 31975 33554432000 4194304 4196468 140736198565600 139774378625808 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20774] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20774/stat : 20774 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168524 27969658880 31975 33554432000 4194304 4196468 140736198565600 139773953935728 139774963268226 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20775] ppid=20761 vsize=27314120 memory=280927100151440 CPUtime=0 cores=0-7
/proc/20764/task/20775/stat : 20775 (java) S 20761 20761 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512168524 27969658880 31975 33554432000 4194304 4196468 140736198565600 139772865537056 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20776] ppid=20761 vsize=27314120 memory=280927100158352 CPUtime=0 cores=0-7
/proc/20764/task/20776/stat : 20776 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168525 27969658880 31975 33554432000 4194304 4196468 140736198565600 139772597101424 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20777] ppid=20761 vsize=27314120 memory=280927100099632 CPUtime=0 cores=0-7
/proc/20764/task/20777/stat : 20777 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 31975 33554432000 4194304 4196468 140736198565600 139772222592848 139774963275675 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20778] ppid=20761 vsize=27314120 memory=280927100172176 CPUtime=0.01 cores=0-7
/proc/20764/task/20778/stat : 20778 (java) S 20761 20761 14862 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 20 0 512168527 27969658880 31975 33554432000 4194304 4196468 140736198565600 139773952883568 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20779] ppid=20761 vsize=27314120 memory=280927100179088 CPUtime=0 cores=0-7
/proc/20764/task/20779/stat : 20779 (java) S 20761 20761 14862 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 31975 33554432000 4194304 4196468 140736198565600 139773951830768 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20780] ppid=20761 vsize=27314120 memory=280927100176784 CPUtime=0.01 cores=0-7
/proc/20764/task/20780/stat : 20780 (java) S 20761 20761 14862 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 512168527 27969658880 31975 33554432000 4194304 4196468 140736198565600 139773950777968 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20781] ppid=20761 vsize=27314120 memory=280927100192944 CPUtime=0.07 cores=0-7
/proc/20764/task/20781/stat : 20781 (java) S 20761 20761 14862 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 512168527 27969658880 31975 33554432000 4194304 4196468 140736198565600 139773949725168 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20782] ppid=20761 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20764/task/20782/stat : 20782 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512168527 27969658880 31975 33554432000 4194304 4196468 140736198565600 139771724687968 139774963267285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20783] ppid=20761 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20764/task/20783/stat : 20783 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168528 27969658880 31975 33554432000 4194304 4196468 140736198565600 139773948672560 139774963268226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129296 KiB

[startup+0.700912 s]
/proc/loadavg: 1.32 3.26 4.49 4/213 20783
/proc/meminfo: memFree=25426176/32770624 swapFree=66956520/67108860
[pid=20761] ppid=20758 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20761/stat : 20761 (scop.sh) S 20758 20761 14862 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512168519 115843072 349 33554432000 4194304 5098028 140720576289008 140720576286264 140315867050620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16723968 140720576291621 140720576291948 140720576291948 140720576294861 0
/proc/20761/statm: 28282 349 296 221 0 87 0
[pid=20764] ppid=20761 vsize=27320392 memory=165728 CPUtime=1.01 cores=0-7
/proc/20764/stat : 20764 (java) S 20761 20761 14862 0 -1 1077944320 20511 0 0 0 95 6 0 0 20 0 20 0 512168520 27976081408 41432 33554432000 4194304 4196468 140736198565600 140736198548144 139774963257079 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
/proc/20764/statm: 6830098 41432 3188 1 0 6791447 0
[pid=20764/tid=20765] ppid=20761 vsize=27320392 memory=280927100487872 CPUtime=0.68 cores=0-7
/proc/20764/task/20765/stat : 20765 (java) R 20761 20761 14862 0 -1 4202560 17407 0 0 0 63 5 0 0 20 0 20 0 512168520 27976081408 41432 33554432000 4194304 4196468 140736198565600 139774935094592 139774425973650 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20766] ppid=20761 vsize=27320392 memory=1560 CPUtime=0 cores=0-7
/proc/20764/task/20766/stat : 20766 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512168522 27976081408 41432 33554432000 4194304 4196468 140736198565600 139774967499408 139774963267285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20767] ppid=20761 vsize=27320392 memory=976 CPUtime=0 cores=0-7
/proc/20764/task/20767/stat : 20767 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27976081408 41432 33554432000 4194304 4196468 140736198565600 139774750894608 139774963267285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0
[pid=20764/tid=20768] ppid=20761 vsize=27320392 memory=772 CPUtime=0 cores=0-7
/proc/20764/task/20768/stat : 20768 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512168522 27976081408 41432 33554432000 4194304 4196468 140736198565600 139774749841808 139774963267285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28110848 140736198574827 140736198575254 140736198575254 140736198578127 0

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

[pid=20790/tid=20791] ppid=20761 vsize=8414124 memory=744 CPUtime=0.76 cores=0-7
/proc/20790/task/20791/stat : 20791 (java) S 20761 20761 14862 0 -1 1077944384 16381 0 0 0 70 6 0 0 20 0 24 0 512177378 8616062976 35713 33554432000 4194304 4196468 140722419778160 139683991609248 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20792] ppid=20761 vsize=8414124 memory=8444 CPUtime=0 cores=0-7
/proc/20790/task/20792/stat : 20792 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177379 8616062976 35713 33554432000 4194304 4196468 140722419778160 139684024011152 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20793] ppid=20761 vsize=8414124 memory=6172 CPUtime=0 cores=0-7
/proc/20790/task/20793/stat : 20793 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177379 8616062976 35713 33554432000 4194304 4196468 140722419778160 139683824179472 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20794] ppid=20761 vsize=8414124 memory=119844 CPUtime=0 cores=0-7
/proc/20790/task/20794/stat : 20794 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177379 8616062976 35713 33554432000 4194304 4196468 140722419778160 139683823127184 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20795] ppid=20761 vsize=8414124 memory=6061500 CPUtime=0 cores=0-7
/proc/20790/task/20795/stat : 20795 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512177379 8616062976 35713 33554432000 4194304 4196468 140722419778160 139683822074384 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20796] ppid=20761 vsize=8414124 memory=302077836940665499 CPUtime=0 cores=0-7
/proc/20790/task/20796/stat : 20796 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512177379 8616062976 35713 33554432000 4194304 4196468 140722419778160 139683821022096 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20797] ppid=20761 vsize=8414124 memory=8027776636576490840 CPUtime=0 cores=0-7
/proc/20790/task/20797/stat : 20797 (java) S 20761 20761 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512177379 8616062976 35713 33554432000 4194304 4196468 140722419778160 139683819969296 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20798] ppid=20761 vsize=8414124 memory=8027776636576490840 CPUtime=0 cores=0-7
/proc/20790/task/20798/stat : 20798 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512177379 8616062976 35713 33554432000 4194304 4196468 140722419778160 139683818917008 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20799] ppid=20761 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/20790/task/20799/stat : 20799 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177379 8616062976 35713 33554432000 4194304 4196468 140722419778160 139683817864208 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20800] ppid=20761 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/20790/task/20800/stat : 20800 (java) S 20761 20761 14862 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512177380 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682978994288 139684019780226 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20801] ppid=20761 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/20790/task/20801/stat : 20801 (java) S 20761 20761 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512177381 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682671223584 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20802] ppid=20761 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/20790/task/20802/stat : 20802 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177381 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682402788464 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20803] ppid=20761 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/20790/task/20803/stat : 20803 (java) S 20761 20761 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512177384 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682028279888 139684019787675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20804] ppid=20761 vsize=8414124 memory=6944656592455097440 CPUtime=0.13 cores=0-7
/proc/20790/task/20804/stat : 20804 (java) S 20761 20761 14862 0 -1 1077944384 971 0 0 0 13 0 0 0 20 0 24 0 512177384 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682977942128 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20805] ppid=20761 vsize=8414124 memory=7228677978049767011 CPUtime=0.08 cores=0-7
/proc/20790/task/20805/stat : 20805 (java) S 20761 20761 14862 0 -1 1077944384 287 0 0 0 8 0 0 0 20 0 24 0 512177384 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682976889328 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20806] ppid=20761 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/20790/task/20806/stat : 20806 (java) S 20761 20761 14862 0 -1 1077944384 410 0 0 0 6 0 0 0 20 0 24 0 512177384 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682975837040 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20807] ppid=20761 vsize=8414124 memory=4420 CPUtime=0.24 cores=0-7
/proc/20790/task/20807/stat : 20807 (java) S 20761 20761 14862 0 -1 1077944384 1121 0 0 0 24 0 0 0 20 0 24 0 512177384 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682974784240 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20808] ppid=20761 vsize=8414124 memory=6628 CPUtime=0 cores=0-7
/proc/20790/task/20808/stat : 20808 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512177384 8616062976 35713 33554432000 4194304 4196468 140722419778160 139681530374496 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20809] ppid=20761 vsize=8414124 memory=8836 CPUtime=0 cores=0-7
/proc/20790/task/20809/stat : 20809 (java) S 20761 20761 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512177385 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682973731120 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20811] ppid=20761 vsize=8414124 memory=11044 CPUtime=0 cores=0-7
/proc/20790/task/20811/stat : 20811 (java) S 20761 20761 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512177451 8616062976 35713 33554432000 4194304 4196468 140722419778160 139682965697856 139684019793689 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20813] ppid=20761 vsize=8414124 memory=13252 CPUtime=0.07 cores=0-7
/proc/20790/task/20813/stat : 20813 (java) R 20761 20761 14862 0 -1 4202560 433 0 0 0 7 0 0 0 20 0 24 0 512177452 8616062976 35713 33554432000 4194304 4196468 140722419778160 139680859262288 139683495240255 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20814] ppid=20761 vsize=8414124 memory=15460 CPUtime=0 cores=0-7
/proc/20790/task/20814/stat : 20814 (java) S 20761 20761 14862 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512177452 8616062976 35713 33554432000 4194304 4196468 140722419778160 139681127710480 139684019791005 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20815] ppid=20761 vsize=8414124 memory=17668 CPUtime=0 cores=0-7
/proc/20790/task/20815/stat : 20815 (java) S 20761 20761 14862 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512177454 8616062976 35713 33554432000 4194304 4196468 140722419778160 139680590847792 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
Current children cumulated CPU time: 114.12 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 144328 KiB

[startup+110.801 s]
/proc/loadavg: 2.04 2.81 4.18 3/218 20820
/proc/meminfo: memFree=18977044/32770624 swapFree=66956520/67108860
[pid=20761] ppid=20758 vsize=113128 memory=1476 CPUtime=112.71 cores=0-7
/proc/20761/stat : 20761 (scop.sh) S 20758 20761 14862 0 -1 4202496 583 61536 0 0 0 0 10745 526 20 0 1 0 512168519 115843072 369 33554432000 4194304 5098028 140720576289008 140720576285752 140315867050620 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16723968 140720576291621 140720576291948 140720576291948 140720576294861 0
/proc/20761/statm: 28282 369 311 221 0 87 0
[pid=20790] ppid=20761 vsize=8283048 memory=163884 CPUtime=67.62 cores=0-7
/proc/20790/stat : 20790 (java) S 20761 20761 14862 0 -1 1077944320 21758 2929180 0 0 179 11 5919 653 20 0 22 0 512177377 8481841152 40971 33554432000 4194304 4196468 140722419778160 140722419760704 139684019769079 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
/proc/20790/statm: 2070762 40971 3230 1 0 2032106 0
[pid=20790/tid=20791] ppid=20761 vsize=8283048 memory=7588711883563576721 CPUtime=66.62 cores=0-7
/proc/20790/task/20791/stat : 20791 (java) R 20761 20761 14862 0 -1 4202560 16667 2929180 0 0 84 6 5919 653 20 0 22 0 512177378 8481841152 40971 33554432000 4194304 4196468 140722419778160 139683991607696 139684004936585 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20792] ppid=20761 vsize=8283048 memory=7454130749351154278 CPUtime=65.72 cores=0-7
/proc/20790/task/20792/stat : 20792 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 40971 33554432000 4194304 4196468 140722419778160 139684024011152 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20793] ppid=20761 vsize=8283048 memory=119844 CPUtime=65.72 cores=0-7
/proc/20790/task/20793/stat : 20793 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 40971 33554432000 4194304 4196468 140722419778160 139683824179472 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20794] ppid=20761 vsize=8283048 memory=6791534058613427641 CPUtime=65.72 cores=0-7
/proc/20790/task/20794/stat : 20794 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 40971 33554432000 4194304 4196468 140722419778160 139683823127184 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20795] ppid=20761 vsize=8283048 memory=1724 CPUtime=65.72 cores=0-7
/proc/20790/task/20795/stat : 20795 (java) S 20761 20761 14862 0 -1 1077944384 2 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 40971 33554432000 4194304 4196468 140722419778160 139683822074384 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20796] ppid=20761 vsize=8283048 memory=1808 CPUtime=65.72 cores=0-7
/proc/20790/task/20796/stat : 20796 (java) S 20761 20761 14862 0 -1 1077944384 2 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 40971 33554432000 4194304 4196468 140722419778160 139683821022096 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20797] ppid=20761 vsize=8283048 memory=920 CPUtime=65.72 cores=0-7
/proc/20790/task/20797/stat : 20797 (java) S 20761 20761 14862 0 -1 1077944384 2 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 40971 33554432000 4194304 4196468 140722419778160 139683819969296 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20798] ppid=20761 vsize=8283048 memory=4864 CPUtime=65.72 cores=0-7
/proc/20790/task/20798/stat : 20798 (java) S 20761 20761 14862 0 -1 1077944384 3 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 40971 33554432000 4194304 4196468 140722419778160 139683818917008 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20799] ppid=20761 vsize=8283048 memory=4100 CPUtime=65.72 cores=0-7
/proc/20790/task/20799/stat : 20799 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 40971 33554432000 4194304 4196468 140722419778160 139683817864208 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20800] ppid=20761 vsize=8283048 memory=1476 CPUtime=65.72 cores=0-7
/proc/20790/task/20800/stat : 20800 (java) S 20761 20761 14862 0 -1 1077944384 7 2929180 0 0 0 0 5919 653 20 0 22 0 512177380 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682978994288 139684019780226 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20801] ppid=20761 vsize=8283048 memory=119844 CPUtime=65.72 cores=0-7
/proc/20790/task/20801/stat : 20801 (java) S 20761 20761 14862 0 -1 1077944384 13 2929180 0 0 0 0 5919 653 20 0 22 0 512177381 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682671223584 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20802] ppid=20761 vsize=8283048 memory=119844 CPUtime=65.72 cores=0-7
/proc/20790/task/20802/stat : 20802 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177381 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682402788464 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20803] ppid=20761 vsize=8283048 memory=1476 CPUtime=65.72 cores=0-7
/proc/20790/task/20803/stat : 20803 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177384 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682028279888 139684019787675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20804] ppid=20761 vsize=8283048 memory=304556123141439514 CPUtime=65.92 cores=0-7
/proc/20790/task/20804/stat : 20804 (java) S 20761 20761 14862 0 -1 1077944384 1007 2929180 0 0 20 0 5919 653 20 0 22 0 512177384 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682977942128 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20805] ppid=20761 vsize=8283048 memory=288230583166042426 CPUtime=65.86 cores=0-7
/proc/20790/task/20805/stat : 20805 (java) R 20761 20761 14862 0 -1 4202560 307 2929180 0 0 14 0 5919 653 20 0 22 0 512177384 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682976874048 139683999286720 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20806] ppid=20761 vsize=8283048 memory=14696300872468529 CPUtime=65.84 cores=0-7
/proc/20790/task/20806/stat : 20806 (java) S 20761 20761 14862 0 -1 1077944384 448 2929180 0 0 12 0 5919 653 20 0 22 0 512177384 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682975837040 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20807] ppid=20761 vsize=8283048 memory=7686721470234074259 CPUtime=66.05 cores=0-7
/proc/20790/task/20807/stat : 20807 (java) S 20761 20761 14862 0 -1 1077944384 1346 2929180 0 0 33 0 5919 653 20 0 22 0 512177384 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682974784240 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20808] ppid=20761 vsize=8283048 memory=1476 CPUtime=65.72 cores=0-7
/proc/20790/task/20808/stat : 20808 (java) S 20761 20761 14862 0 -1 1077944384 3 2929180 0 0 0 0 5919 653 20 0 22 0 512177384 8481841152 40971 33554432000 4194304 4196468 140722419778160 139681530374496 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20809] ppid=20761 vsize=8283048 memory=-7824251494391043172 CPUtime=65.72 cores=0-7
/proc/20790/task/20809/stat : 20809 (java) S 20761 20761 14862 0 -1 1077944384 3 2929180 0 0 0 0 5919 653 20 0 22 0 512177385 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682973731120 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20811] ppid=20761 vsize=8283048 memory=984 CPUtime=65.72 cores=0-7
/proc/20790/task/20811/stat : 20811 (java) S 20761 20761 14862 0 -1 1077944384 25 2929180 0 0 0 0 5919 653 20 0 22 0 512177451 8481841152 40971 33554432000 4194304 4196468 140722419778160 139682965697040 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20815] ppid=20761 vsize=8283048 memory=1476 CPUtime=65.72 cores=0-7
/proc/20790/task/20815/stat : 20815 (java) S 20761 20761 14862 0 -1 1077944384 16 2929180 0 0 0 0 5919 653 20 0 22 0 512177454 8481841152 40971 33554432000 4194304 4196468 140722419778160 139680590849584 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
Current children cumulated CPU time: 180.33 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 165360 KiB

[startup+110.901 s]
/proc/loadavg: 2.04 2.81 4.18 3/218 20820
/proc/meminfo: memFree=18977044/32770624 swapFree=66956520/67108860
[pid=20761] ppid=20758 vsize=113128 memory=1476 CPUtime=112.71 cores=0-7
/proc/20761/stat : 20761 (scop.sh) S 20758 20761 14862 0 -1 4202496 583 61536 0 0 0 0 10745 526 20 0 1 0 512168519 115843072 369 33554432000 4194304 5098028 140720576289008 140720576285752 140315867050620 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16723968 140720576291621 140720576291948 140720576291948 140720576294861 0
/proc/20761/statm: 28282 369 311 221 0 87 0
[pid=20790] ppid=20761 vsize=8283048 memory=166160 CPUtime=67.78 cores=0-7
/proc/20790/stat : 20790 (java) S 20761 20761 14862 0 -1 1077944320 22843 2929180 0 0 187 19 5919 653 20 0 22 0 512177377 8481841152 41540 33554432000 4194304 4196468 140722419778160 140722419760704 139684019769079 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
/proc/20790/statm: 2070762 41540 3230 1 0 2032106 0
[pid=20790/tid=20791] ppid=20761 vsize=8283048 memory=158400 CPUtime=66.71 cores=0-7
/proc/20790/task/20791/stat : 20791 (java) R 20761 20761 14862 0 -1 4202560 17701 2929180 0 0 86 13 5919 653 20 0 22 0 512177378 8481841152 41540 33554432000 4194304 4196468 140722419778160 139683991610856 139684012454711 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20792] ppid=20761 vsize=8283048 memory=1476 CPUtime=65.72 cores=0-7
/proc/20790/task/20792/stat : 20792 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 41540 33554432000 4194304 4196468 140722419778160 139684024011152 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20793] ppid=20761 vsize=8283048 memory=2124 CPUtime=65.72 cores=0-7
/proc/20790/task/20793/stat : 20793 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 41540 33554432000 4194304 4196468 140722419778160 139683824179472 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20794] ppid=20761 vsize=8283048 memory=22244 CPUtime=65.72 cores=0-7
/proc/20790/task/20794/stat : 20794 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 41540 33554432000 4194304 4196468 140722419778160 139683823127184 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20795] ppid=20761 vsize=8283048 memory=7904560 CPUtime=65.72 cores=0-7
/proc/20790/task/20795/stat : 20795 (java) S 20761 20761 14862 0 -1 1077944384 2 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 41540 33554432000 4194304 4196468 140722419778160 139683822074384 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20796] ppid=20761 vsize=8283048 memory=6510420 CPUtime=65.72 cores=0-7
/proc/20790/task/20796/stat : 20796 (java) S 20761 20761 14862 0 -1 1077944384 2 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 41540 33554432000 4194304 4196468 140722419778160 139683821022096 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20797] ppid=20761 vsize=8283048 memory=0 CPUtime=65.72 cores=0-7
/proc/20790/task/20797/stat : 20797 (java) S 20761 20761 14862 0 -1 1077944384 2 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 41540 33554432000 4194304 4196468 140722419778160 139683819969296 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20798] ppid=20761 vsize=8283048 memory=7379241892018155607 CPUtime=65.72 cores=0-7
/proc/20790/task/20798/stat : 20798 (java) S 20761 20761 14862 0 -1 1077944384 3 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 41540 33554432000 4194304 4196468 140722419778160 139683818917008 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20799] ppid=20761 vsize=8283048 memory=5791981412695627105 CPUtime=65.72 cores=0-7
/proc/20790/task/20799/stat : 20799 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177379 8481841152 41540 33554432000 4194304 4196468 140722419778160 139683817864208 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20800] ppid=20761 vsize=8283048 memory=976 CPUtime=65.72 cores=0-7
/proc/20790/task/20800/stat : 20800 (java) S 20761 20761 14862 0 -1 1077944384 7 2929180 0 0 0 0 5919 653 20 0 22 0 512177380 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682978994288 139684019780226 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20801] ppid=20761 vsize=8283048 memory=772 CPUtime=65.72 cores=0-7
/proc/20790/task/20801/stat : 20801 (java) S 20761 20761 14862 0 -1 1077944384 13 2929180 0 0 0 0 5919 653 20 0 22 0 512177381 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682671223584 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20802] ppid=20761 vsize=8283048 memory=3616 CPUtime=65.72 cores=0-7
/proc/20790/task/20802/stat : 20802 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177381 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682402788464 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20803] ppid=20761 vsize=8283048 memory=1476 CPUtime=65.72 cores=0-7
/proc/20790/task/20803/stat : 20803 (java) S 20761 20761 14862 0 -1 1077944384 1 2929180 0 0 0 0 5919 653 20 0 22 0 512177384 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682028279888 139684019787675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20804] ppid=20761 vsize=8283048 memory=119844 CPUtime=65.93 cores=0-7
/proc/20790/task/20804/stat : 20804 (java) S 20761 20761 14862 0 -1 1077944384 1014 2929180 0 0 21 0 5919 653 20 0 22 0 512177384 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682977942128 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20805] ppid=20761 vsize=8283048 memory=6063460 CPUtime=65.88 cores=0-7
/proc/20790/task/20805/stat : 20805 (java) S 20761 20761 14862 0 -1 1077944384 316 2929180 0 0 16 0 5919 653 20 0 22 0 512177384 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682976889328 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20806] ppid=20761 vsize=8283048 memory=924 CPUtime=65.85 cores=0-7
/proc/20790/task/20806/stat : 20806 (java) S 20761 20761 14862 0 -1 1077944384 449 2929180 0 0 13 0 5919 653 20 0 22 0 512177384 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682975837040 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20807] ppid=20761 vsize=8283048 memory=1420 CPUtime=66.06 cores=0-7
/proc/20790/task/20807/stat : 20807 (java) S 20761 20761 14862 0 -1 1077944384 1380 2929180 0 0 34 0 5919 653 20 0 22 0 512177384 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682974784240 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20808] ppid=20761 vsize=8283048 memory=1476 CPUtime=65.72 cores=0-7
/proc/20790/task/20808/stat : 20808 (java) S 20761 20761 14862 0 -1 1077944384 3 2929180 0 0 0 0 5919 653 20 0 22 0 512177384 8481841152 41540 33554432000 4194304 4196468 140722419778160 139681530374496 139684019779285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20809] ppid=20761 vsize=8283048 memory=1724 CPUtime=65.72 cores=0-7
/proc/20790/task/20809/stat : 20809 (java) S 20761 20761 14862 0 -1 1077944384 3 2929180 0 0 0 0 5919 653 20 0 22 0 512177385 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682973731120 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20811] ppid=20761 vsize=8283048 memory=1808 CPUtime=65.72 cores=0-7
/proc/20790/task/20811/stat : 20811 (java) S 20761 20761 14862 0 -1 1077944384 25 2929180 0 0 0 0 5919 653 20 0 22 0 512177451 8481841152 41540 33554432000 4194304 4196468 140722419778160 139682965697040 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
[pid=20790/tid=20815] ppid=20761 vsize=8283048 memory=920 CPUtime=65.72 cores=0-7
/proc/20790/task/20815/stat : 20815 (java) S 20761 20761 14862 0 -1 1077944384 16 2929180 0 0 0 0 5919 653 20 0 22 0 512177454 8481841152 41540 33554432000 4194304 4196468 140722419778160 139680590849584 139684019780226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140722419786743 140722419786902 140722419786902 140722419789775 0
Current children cumulated CPU time: 180.49 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 167636 KiB

Child status: 0
Real time (s): 110.913
CPU time (s): 180.516
CPU user time (s): 168.518
CPU system time (s): 11.998
CPU usage (%): 162.755
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7942260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 168.518
system time used= 11.998
maximum resident set size= 7941580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3014182
page faults= 0
swaps= 0
block input operations= 8
block output operations= 813424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151289
involuntary context switches= 386


# summary of solver processes directly reported to runsolver:
#   pid: 20761
#   total CPU time (s): 180.516
#   total CPU user time (s): 168.518
#   total CPU system time (s): 11.998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.673396 second user time and 1.31419 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 23:02:11
IDJOB=4405237
IDBENCH=138779
IDSOLVER=2867
FILE ID=node151/4405237-1569358972
RUNJOBID= node151-1569351215-14889
PBS_JOBID= 21705099
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0200-m1.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405237-1569358972/watcher-4405237-1569358972 -o /tmp/evaluation-result-4405237-1569358972/solver-4405237-1569358972 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405237-1569358972.xml

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

MD5SUM BENCH= aa794b13577ab4fe7ac8dae6d6ffdfc7
RANDOM SEED=244369923

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25566232 kB
MemAvailable:   31794944 kB
Buffers:           65752 kB
Cached:          6351340 kB
SwapCached:        50720 kB
Active:          2689348 kB
Inactive:        3784224 kB
Active(anon):       1968 kB
Inactive(anon):   109464 kB
Active(file):    2687380 kB
Inactive(file):  3674760 kB
Unevictable:      107688 kB
Mlocked:          107688 kB
SwapTotal:      67108860 kB
SwapFree:       66956520 kB
Dirty:             21620 kB
Writeback:             0 kB
AnonPages:        267368 kB
Mapped:            54936 kB
Shmem:             45984 kB
Slab:             323952 kB
SReclaimable:     295032 kB
SUnreclaim:        28920 kB
KernelStack:        3744 kB
PageTables:         4640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-24 23:04:03