Trace number 4405378

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 1713.93 1229.02

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-rand/
Subisomorphism-si4-r001-m600-08.xml
MD5SUM8e810070148f78cd392ecc5d984ef703
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 benchmark8.69989
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints817
Number of domains1
Minimum domain size600
Maximum domain size600
Distribution of domain sizes[{"size":600,"count":240}]
Minimum variable degree2
Maximum variable degree14
Distribution of variable degrees[{"degree":2,"count":3},{"degree":3,"count":18},{"degree":4,"count":26},{"degree":5,"count":33},{"degree":7,"count":51},{"degree":8,"count":41},{"degree":9,"count":29},{"degree":10,"count":15},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity1
Maximum constraint arity240
Distribution of constraint arities[{"arity":1,"count":160},{"arity":2,"count":656},{"arity":240,"count":1}]
Number of extensional constraints816
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":816},{"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-6104-serial-file.bin HOME/instance-4405378-1569339048.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 16:20:25 CEST 2019
0.65/0.57	c PID: 6107
0.65/0.57	c IP: 172.20.3.104
0.65/0.57	c HOST: node104.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.27/1.17	c (0,0) Parsing End
2.27/1.18	c (0,0) CSP: 240 int (0 aux), 0 bool (0 aux), 817 ctr, max domain size 600
2.27/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.27/1.18	c (0,0) Constraint Name Generate Begin
2.27/1.19	c (0,0) Ctr:HOME/instance-4405378-1569339048.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.27/1.19	c (0,0) Constraint Name Generate End
2.27/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.27/1.19	c (0,0) CSP to CSPinCNF Begin
92.11/70.76	c (70,68) translated 82 (10%) constraints
183.74/143.23	c (142,138) translated 164 (20%) constraints
270.45/212.35	c (211,204) translated 246 (30%) constraints
350.20/279.76	c (279,270) translated 327 (40%) constraints
428.37/347.66	c (347,336) translated 409 (50%) constraints
507.05/415.64	c (415,403) translated 491 (60%) constraints
585.19/482.99	c (482,468) translated 572 (70%) constraints
665.08/551.09	c (550,535) translated 654 (80%) constraints
668.47/554.47	c (553,538) translated 736 (90%) constraints
669.28/554.65	c (554,538) translated 817 (100%) constraints
669.28/554.65	c (554,538) ===========================================
669.28/554.68	c (554,538) Order
669.28/554.68	c (554,538) ===========================================
696.18/576.10	c (575,559) translated 1012047 (10%) constraints
717.02/596.81	c (596,580) translated 2024093 (20%) constraints
743.83/618.14	c (617,600) translated 3036139 (30%) constraints
771.34/639.65	c (639,621) translated 4048186 (40%) constraints
798.67/661.20	c (660,642) translated 5060232 (50%) constraints
819.27/681.74	c (681,662) translated 6072278 (60%) constraints
847.13/703.41	c (702,683) translated 7084325 (70%) constraints
874.44/724.95	c (724,704) translated 8096371 (80%) constraints
901.94/746.48	c (745,724) translated 9108417 (90%) constraints
922.87/767.21	c (766,745) translated 10120463 (100%) constraints
922.87/767.21	c (766,745) CSP to CSPinCNF End
922.99/767.34	c (766,745) CSP: 240 int (0 aux), 393600 bool (393600 aux), 10120463 ctr, max domain size 600
922.99/767.34	c (766,745) Heap : 15494 MiB used (max 21582 MiB), NonHeap : 29 MiB used (max 0 MiB)
922.99/767.34	c (766,745) CSPinCNF Propagation Begin
1075.32/850.61	c (850,819) 0 values, 3823 unsatisfiable literals, and 3207 valid clauses are removed
1075.32/850.61	c (850,819) CSPinCNF Propagation End
1075.43/850.74	c (850,819) CSP: 240 int (0 aux), 393600 bool (393600 aux), 10117256 ctr, max domain size 600
1075.43/850.74	c (850,819) Heap : 16432 MiB used (max 21767 MiB), NonHeap : 30 MiB used (max 0 MiB)
1075.43/850.76	c (850,819) Simplify CSPinCNF Begin
1240.04/884.33	c (883,834) Simplify CSPinCNF End
1240.14/884.49	c (883,834) CSP: 240 int (0 aux), 450960 bool (450960 aux), 10174616 ctr, max domain size 600
1240.14/884.49	c (883,834) Heap : 9804 MiB used (max 21369 MiB), NonHeap : 30 MiB used (max 0 MiB)
1240.14/884.49	c (883,834) Calculate Precise Domain Begin
1240.14/884.50	c (883,834) 0 values are removed by re-calculation
1240.14/884.50	c (883,834) Calculate Precise Domain End
1240.34/884.66	c (884,834) CSP: 240 int (0 aux), 450960 bool (450960 aux), 10174616 ctr, max domain size 600
1240.34/884.66	c (884,834) Heap : 9804 MiB used (max 21369 MiB), NonHeap : 30 MiB used (max 0 MiB)
1240.34/884.66	c (884,834) CSPinCNF to SatSolver Begin
1391.42/1031.31	c (1030,975) 1017462 (10 %) CSP clauses are encoded (0 SAT variables, 35502422 SAT clauses)
1402.55/1041.35	c (1040,985) 2034924 (20 %) CSP clauses are encoded (0 SAT variables, 36519884 SAT clauses)
1416.96/1051.74	c (1051,995) 3052385 (30 %) CSP clauses are encoded (0 SAT variables, 37537345 SAT clauses)
1429.81/1061.93	c (1061,1005) 4069847 (40 %) CSP clauses are encoded (0 SAT variables, 38554807 SAT clauses)
1443.43/1072.29	c (1071,1015) 5087308 (50 %) CSP clauses are encoded (0 SAT variables, 39572268 SAT clauses)
1456.70/1082.60	c (1082,1025) 6104770 (60 %) CSP clauses are encoded (0 SAT variables, 40589730 SAT clauses)
1475.34/1093.63	c (1093,1035) 7122232 (70 %) CSP clauses are encoded (0 SAT variables, 41607192 SAT clauses)
1496.24/1104.92	c (1104,1044) 8139693 (80 %) CSP clauses are encoded (0 SAT variables, 42624653 SAT clauses)
1517.28/1116.31	c (1115,1054) 9157155 (90 %) CSP clauses are encoded (0 SAT variables, 43642115 SAT clauses)
1532.63/1126.95	c (1126,1064) 10174616 (100 %) CSP clauses are encoded (0 SAT variables, 44659576 SAT clauses)
1532.63/1126.95	c (1126,1064) CSPinCNF to SatSolver End
1532.63/1126.95	c (1126,1064) Heap : 15015 MiB used (max 20999 MiB), NonHeap : 31 MiB used (max 0 MiB)
1532.63/1126.95	c (1126,1064) 594681 bool, 44659577 clause
1532.63/1126.95	c (1126,1064) Export Begin
1532.77/1127.06	c (1126,1064) Export to HOME/scop-6104-serial-file.bin
1532.77/1127.06	c (1126,1064) Export End
1532.77/1127.06	c (1126,1064) Export File Size: 0.05 MB
1532.77/1127.06	c (1126,1064) 0,0,766,850,883,884,1126,STOP-AFTER(DIMACS)
1532.77/1127.06	c END-Prog: Tue Sep 24 16:39:11 CEST 2019
0.00/1127.17	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6104-serial-file.bin
1533.02/1127.64	c (0,0) Read Serial File Begin
1533.02/1127.64	c (0,0) HOME/scop-6104-serial-file.bin
1533.02/1127.88	c (0,0) Read Serial File End
1533.02/1127.89	
1533.02/1127.89	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1533.02/1127.89	(Solving Process)
1533.02/1127.89	
1533.02/1127.91	c BEGIN-Prog: Tue Sep 24 16:39:12 CEST 2019
1533.02/1127.91	c PID: 6208
1533.02/1127.91	c IP: 172.20.3.104
1533.02/1127.91	c HOST: node104.alineos.net
1533.02/1127.92	c (0,0) SatSolver.solve Begin
1533.02/1127.92	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405378-1569339048.xml-scop-6107.cnf
1533.02/1127.94	c (0,0) c
1533.02/1127.94	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)
1533.02/1127.94	c (0,0) c
1533.02/1127.94	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1533.02/1127.94	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1533.02/1127.94	c (0,0) c ========================================[ Problem Statistics ]===========================================
1533.02/1127.94	c (0,0) c |                                                                                                       |
1549.32/1143.07	c (15,0) c |  Number of variables:        594681                                                                   |
1549.32/1143.07	c (15,0) c |  Number of clauses:        44659577                                                                   |
1549.32/1143.07	c (15,0) c |  Parse time:                  13.86 s                                                                 |
1549.32/1143.07	c (15,0) c |                                                                                                       |
1551.82/1145.51	c (17,0) c | Too many clauses... No preprocessing                                                                  |
1551.82/1145.51	c (17,0) c |  Simplification time:          2.13 s                                                                 |
1551.82/1145.51	c (17,0) c |                                                                                                       |
1551.82/1145.51	c (17,0) c |  One Solver is taking   3288.39Mb... Let's take   2 solvers for this run (max 40% of the maxmemory).  |
1551.82/1145.51	c (17,0) c |  Generating clones                                                                                    |
1552.71/1146.42	c (18,0) c |  all clones generated. Memory =  5219.07Mb.                                                           |
1552.71/1146.42	c (18,0) c ========================================================================================================|
1552.71/1146.42	c (18,0) c
1552.71/1146.42	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1552.71/1146.42	c (18,0) c
1552.71/1146.42	c (18,0) c |-----------------------|------------|------------|
1552.71/1146.42	c (18,0) c | Threads               |          0 |          1 |
1552.71/1146.42	c (18,0) c |-----------------------|------------|------------|
1552.71/1146.42	c (18,0) c | randomizeFirstDescent |      False |       True |
1552.71/1146.42	c (18,0) c | adaptStrategeis       |       True |      False |
1552.71/1146.42	c (18,0) c | forceUnsatOnNewDescent|       True |       True |
1552.71/1146.42	c (18,0) c | Initial random_seed   |   91648253 |   91648254 |
1552.71/1146.42	c (18,0) c | chanseokStrategy      |      False |      False |
1552.71/1146.42	c (18,0) c | coLBDBound            |          5 |          5 |
1552.71/1146.42	c (18,0) c | glureduce             |       True |       True |
1552.71/1146.42	c (18,0) c | firstReduceDB         |       2000 |       2000 |
1552.71/1146.42	c (18,0) c | incReduceDB           |        300 |        300 |
1552.71/1146.42	c (18,0) c | luby_restart          |      False |      False |
1552.71/1146.42	c (18,0) c | luby_restart_factor   |        100 |        100 |
1552.71/1146.42	c (18,0) c | var_decay             |     0.8000 |     0.8000 |
1552.71/1146.42	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |
1552.71/1146.42	c (18,0) c | randomize_on_restarts |      False |      False |
1552.71/1146.42	c (18,0) c | remove_satisfied      |       True |       True |
1552.71/1146.42	c (18,0) c |-----------------------|------------|------------|
1609.29/1176.10	c (48,0) c
1609.29/1176.10	c (48,0) c |------------------------------------------------------------------------------------------------------------------------|
1609.29/1176.10	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1609.29/1176.10	c (48,0) c |------------------------------------------------------------------------------------------------------------------------|
1609.29/1176.10	c (48,0) c |  0 |     10 |      54535 |      11507 |   213179 |     7712 |     2126 |     2820 |        0 |      261 |  20 |  0.000 |
1609.29/1176.10	c (48,0) c |  1 |     52 |      69622 |      19197 |   272849 |    10405 |     3741 |     1830 |        0 |      276 |  20 |  0.000 |
1609.29/1176.10	c (48,0) c 
1609.29/1176.10	c (48,0) c synthesis       30704 conflicts   114417660 propagations      440 conflicts/sec  1638887 propagations/sec
1609.29/1176.10	c (48,0) c real: 48.1629 s, cpu: 69.8142 s, memory: 5875.07 Mb
1665.96/1205.10	c (77,0) c
1665.96/1205.10	c (77,0) c |------------------------------------------------------------------------------------------------------------------------|
1665.96/1205.10	c (77,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1665.96/1205.10	c (77,0) c |------------------------------------------------------------------------------------------------------------------------|
1665.96/1205.10	c (77,0) c |  0 |     72 |     136958 |      41696 |   296930 |    15608 |     9206 |     7074 |        0 |      585 |  20 |  0.001 |
1665.96/1205.10	c (77,0) c |  1 |    109 |     135347 |      37001 |   417169 |    10925 |     7455 |     9142 |        0 |      605 |  20 |  0.001 |
1665.96/1205.10	c (77,0) c 
1665.96/1205.10	c (77,0) c synthesis       78697 conflicts   276052278 propagations      624 conflicts/sec  2190416 propagations/sec
1665.96/1205.10	c (77,0) c real: 77.1629 s, cpu: 126.027 s, memory: 5875.20 Mb
1712.46/1228.30	c (100,0) c
1712.46/1228.30	c (100,0) c real time : 100.359 s
1712.46/1228.30	c (100,0) c cpu time  : 171.969 s
1712.46/1228.30	c (100,0) c
1712.46/1228.30	c (100,0) c
1712.46/1228.30	c (100,0) c
1712.46/1228.30	c (100,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1712.46/1228.30	c (100,0) c
1712.46/1228.30	c (100,0) c |---------------|-----------------|------------|------------|
1712.46/1228.30	c (100,0) c | Threads       |      Total      |          0 |          1 |
1712.46/1228.30	c (100,0) c |---------------|-----------------|------------|------------|
1712.46/1228.30	c (100,0) c | Conflicts     |          115530 |      63657 |      51873 |
1712.46/1228.30	c (100,0) c | Decisions     |          408691 |     216117 |     192574 |
1712.46/1228.30	c (100,0) c | Propagations  |       407467115 |  202490271 |  204976844 |
1712.46/1228.30	c (100,0) c | ReduceDBs     |              12 |          6 |          6 |
1712.46/1228.30	c (100,0) c | SimpDBs       |               4 |          2 |          2 |
1712.46/1228.30	c (100,0) c | Restarts      |             375 |        201 |        174 |
1712.46/1228.30	c (100,0) c | ForcedImports |               0 |          0 |          0 |
1712.46/1228.30	c (100,0) c | PropBinClauses|       195698380 |  102739725 |   92958655 |
1712.46/1228.30	c (100,0) c | PropPreBlocker|      6680261725 | 3412897319 | 3267364406 |
1712.46/1228.30	c (100,0) c | PropNotBlocker|      1930798370 |  948651778 |  982146592 |
1712.46/1228.30	c (100,0) c | LitFullScans  |     10360661410 | 5152151684 | 5208509726 |
1712.46/1228.30	c (100,0) c | LitScanFracts |         7817863 |    1323115 |    6494748 |
1712.46/1228.30	c (100,0) c | DecisionLevel0|             388 |        214 |        174 |
1712.46/1228.30	c (100,0) c | Periods       |            1725 |        858 |        867 |
1712.46/1228.30	c (100,0) c | Margin        |              40 |         20 |         20 |
1712.46/1228.30	c (100,0) c | Avg_Trail     |                 |      12068 |      23464 |
1712.46/1228.30	c (100,0) c | Avg_DL        |                 |         93 |         62 |
1712.46/1228.30	c (100,0) c | Avg_Res       |                 |          0 |          0 |
1712.46/1228.30	c (100,0) c | Avg_Res_Seen  |                 |          0 |          0 |
1712.46/1228.30	c (100,0) c |---------------|-----------------|------------|------------|
1712.46/1228.30	c (100,0) c | Exported      |           24640 |      14031 |      10609 |
1712.46/1228.30	c (100,0) c | Imported      |           24158 |      10232 |      13926 |
1712.46/1228.30	c (100,0) c | Good          |             386 |         87 |        299 |
1712.46/1228.30	c (100,0) c | Purge         |           23772 |      10145 |      13627 |
1712.46/1228.30	c (100,0) c | Promoted      |               0 |          0 |          0 |
1712.46/1228.30	c (100,0) c | Remove_Imp    |               0 |          0 |          0 |
1712.46/1228.30	c (100,0) c | Blocked_Reuse |               0 |          0 |          0 |
1712.46/1228.30	c (100,0) c |---------------|-----------------|------------|------------|
1712.46/1228.30	c (100,0) c | Unaries       |                 |         13 |          0 |
1712.46/1228.30	c (100,0) c | Binaries      |                 |        302 |         95 |
1712.46/1228.30	c (100,0) c | Glues         |                 |       2058 |       1341 |
1712.46/1228.30	c (100,0) c |---------------|-----------------|------------|------------|
1712.46/1228.30	c (100,0) c | Orig_Seen     |             1 % |     440544 |     472527 |
1712.46/1228.30	c (100,0) c | Diff Orig seen|                 |      X     |      31983 |
1712.46/1228.30	c (100,0) c | Hamming       |            17 % |      X     |     101152 |
1712.46/1228.30	c (100,0) c |---------------|-----------------|------------|------------|
1712.46/1228.30	c (100,0) c | RunningTime   |                 |   81.7 100%|   78.2  96%|
1712.46/1228.30	c (100,0) c | WaitingTime   |                 |    0.0   0%|    3.7   4%|
1712.46/1228.30	c (100,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|
1712.46/1228.30	c (100,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|
1712.46/1228.30	c (100,0) c | SolvingTime   |                 |   81.8     |   81.8     |
1712.46/1228.30	c (100,0) c | PropagationTim|                 |   74.8  91%|   71.2  87%|
1712.46/1228.30	c (100,0) c | AnalysisTime  |                 |    4.6   6%|    6.9   8%|
1712.46/1228.30	c (100,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|
1712.46/1228.30	c (100,0) c | SimplifyTime  |                 |    0.6   1%|    1.8   2%|
1712.46/1228.30	c (100,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|
1712.46/1228.30	c (100,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|
1712.46/1228.30	c (100,0) c |---------------|-----------------|------------|------------|
1712.46/1228.30	c (100,0) c
1712.46/1228.30	c (100,0) c
1712.46/1228.30	c (100,0) c Threads : 2
1712.46/1228.30	c (100,0) c Winner : 0
1712.46/1228.30	c (100,0) c Conflicts_0 : 63657
1712.46/1228.30	c (100,0) c Conflicts_1 : 51873
1712.46/1228.30	c (100,0) c Conflicts_total : 115530
1712.46/1228.30	c (100,0) c Conflicts_winner : 63657
1712.46/1228.30	c (100,0) c Decisions_0 : 216117
1712.46/1228.30	c (100,0) c Decisions_1 : 192574
1712.46/1228.30	c (100,0) c Decisions_total : 408691
1712.46/1228.30	c (100,0) c Decisions_winner : 216117
1712.46/1228.30	c (100,0) c Propagations_0 : 202490271
1712.46/1228.30	c (100,0) c Propagations_1 : 204976844
1712.46/1228.30	c (100,0) c Propagations_total : 407467115
1712.46/1228.30	c (100,0) c Propagations_winner : 202490271
1712.46/1228.30	c (100,0) c ReduceDBs_0 : 6
1712.46/1228.30	c (100,0) c ReduceDBs_1 : 6
1712.46/1228.30	c (100,0) c ReduceDBs_total : 12
1712.46/1228.30	c (100,0) c ReduceDBs_winner : 6
1712.46/1228.30	c (100,0) c SimpDBs_0 : 2
1712.46/1228.30	c (100,0) c SimpDBs_1 : 2
1712.46/1228.30	c (100,0) c SimpDBs_total : 4
1712.46/1228.30	c (100,0) c SimpDBs_winner : 2
1712.46/1228.30	c (100,0) c Restarts_0 : 201
1712.46/1228.30	c (100,0) c Restarts_1 : 174
1712.46/1228.30	c (100,0) c Restarts_total : 375
1712.46/1228.30	c (100,0) c Restarts_winner : 201
1712.46/1228.30	c (100,0) c ForcedImports_0 : 0
1712.46/1228.30	c (100,0) c ForcedImports_1 : 0
1712.46/1228.30	c (100,0) c ForcedImports_total : 0
1712.46/1228.30	c (100,0) c ForcedImports_winner : 0
1712.46/1228.30	c (100,0) c PropsBinClauses_0 : 102739725
1712.46/1228.30	c (100,0) c PropsBinClauses_1 : 92958655
1712.46/1228.30	c (100,0) c PropsBinClauses_total : 195698380
1712.46/1228.30	c (100,0) c PropsBinClauses_winner : 102739725
1712.46/1228.30	c (100,0) c PropsPreBlocker_0 : 3412897319
1712.46/1228.30	c (100,0) c PropsPreBlocker_1 : 3267364406
1712.46/1228.30	c (100,0) c PropsPreBlocker_total : 6680261725
1712.46/1228.30	c (100,0) c PropsPreBlocker_winner : 3412897319
1712.46/1228.30	c (100,0) c PropsNotBlocker_0 : 948651778
1712.46/1228.30	c (100,0) c PropsNotBlocker_1 : 982146592
1712.46/1228.30	c (100,0) c PropsNotBlocker_total : 1930798370
1712.46/1228.30	c (100,0) c PropsNotBlocker_winner : 948651778
1712.46/1228.30	c (100,0) c PropsLitFullScans_0 : 5152151684
1712.46/1228.30	c (100,0) c PropsLitFullScans_1 : 5208509726
1712.46/1228.30	c (100,0) c PropsLitFullScans_total : 10360661410
1712.46/1228.30	c (100,0) c PropsLitFullScans_winner : 5152151684
1712.46/1228.30	c (100,0) c LitScanFractions_0 : 1323115
1712.46/1228.30	c (100,0) c LitScanFractions_1 : 6494748
1712.46/1228.30	c (100,0) c LitScanFractions_total : 7817863
1712.46/1228.30	c (100,0) c LitScanFractions_winner : 1323115
1712.46/1228.30	c (100,0) c DecisionLevel0_0 : 214
1712.46/1228.30	c (100,0) c DecisionLevel0_1 : 174
1712.46/1228.30	c (100,0) c DecisionLevel0_total : 388
1712.46/1228.30	c (100,0) c DecisionLevel0_winner : 214
1712.46/1228.30	c (100,0) c Periods_0 : 858
1712.46/1228.30	c (100,0) c Periods_1 : 867
1712.46/1228.30	c (100,0) c Periods_total : 1725
1712.46/1228.30	c (100,0) c Periods_winner : 858
1712.46/1228.30	c (100,0) c Margin_0 : 20
1712.46/1228.30	c (100,0) c Margin_1 : 20
1712.46/1228.30	c (100,0) c Margin_total : 40
1712.46/1228.30	c (100,0) c Margin_winner : 20
1712.46/1228.30	c (100,0) c Exported_0 : 14031
1712.46/1228.30	c (100,0) c Exported_1 : 10609
1712.46/1228.30	c (100,0) c Exported_total : 24640
1712.46/1228.30	c (100,0) c Exported_winner : 14031
1712.46/1228.30	c (100,0) c Imported_0 : 10232
1712.46/1228.30	c (100,0) c Imported_1 : 13926
1712.46/1228.30	c (100,0) c Imported_total : 24158
1712.46/1228.30	c (100,0) c Imported_winner : 10232
1712.46/1228.30	c (100,0) c Good_0 : 87
1712.46/1228.30	c (100,0) c Good_1 : 299
1712.46/1228.30	c (100,0) c Good_total : 386
1712.46/1228.30	c (100,0) c Good_winner : 87
1712.46/1228.30	c (100,0) c Purge_0 : 10145
1712.46/1228.30	c (100,0) c Purge_1 : 13627
1712.46/1228.30	c (100,0) c Purge_total : 23772
1712.46/1228.30	c (100,0) c Purge_winner : 10145
1712.46/1228.30	c (100,0) c Promoted_0 : 0
1712.46/1228.30	c (100,0) c Promoted_1 : 0
1712.46/1228.30	c (100,0) c Promoted_total : 0
1712.46/1228.30	c (100,0) c Promoted_winner : 0
1712.46/1228.30	c (100,0) c Remove_Imp_0 : 0
1712.46/1228.30	c (100,0) c Remove_Imp_1 : 0
1712.46/1228.30	c (100,0) c Remove_Imp_total : 0
1712.46/1228.30	c (100,0) c Remove_Imp_winner : 0
1712.46/1228.30	c (100,0) c Blocked_Reuse_0 : 0
1712.46/1228.30	c (100,0) c Blocked_Reuse_1 : 0
1712.46/1228.30	c (100,0) c Blocked_Reuse_total : 0
1712.46/1228.30	c (100,0) c Blocked_Reuse_winner : 0
1712.46/1228.30	c (100,0) c Unaries_0 : 13
1712.46/1228.30	c (100,0) c Unaries_1 : 0
1712.46/1228.30	c (100,0) c Unaries_total : 13
1712.46/1228.30	c (100,0) c Unaries_winner : 13
1712.46/1228.30	c (100,0) c Binaries_0 : 302
1712.46/1228.30	c (100,0) c Binaries_1 : 95
1712.46/1228.30	c (100,0) c Binaries_total : 397
1712.46/1228.30	c (100,0) c Binaries_winner : 302
1712.46/1228.30	c (100,0) c Glues_0 : 2058
1712.46/1228.30	c (100,0) c Glues_1 : 1341
1712.46/1228.30	c (100,0) c Glues_total : 3399
1712.46/1228.30	c (100,0) c Glues_winner : 2058
1712.46/1228.30	c (100,0) c RunningTime_0 : 81.742415
1712.46/1228.30	c (100,0) c RunningTime_1 : 78.165176
1712.46/1228.30	c (100,0) c RunningTime_total : 159.907591
1712.46/1228.30	c (100,0) c RunningTime_winner : 81.742415
1712.46/1228.30	c (100,0) c WaitingTime_0 : 0.000158
1712.46/1228.30	c (100,0) c WaitingTime_1 : 3.654401
1712.46/1228.30	c (100,0) c WaitingTime_total : 3.654560
1712.46/1228.30	c (100,0) c WaitingTime_winner : 0.000158
1712.46/1228.30	c (100,0) c ExchangingTime_0 : 0.019974
1712.46/1228.30	c (100,0) c ExchangingTime_1 : 0.019893
1712.46/1228.31	c (100,0) c ExchangingTime_total : 0.039867
1712.46/1228.31	c (100,0) c ExchangingTime_winner : 0.019974
1712.46/1228.31	c (100,0) c PeriodProcTime_0 : 0.007562
1712.46/1228.31	c (100,0) c PeriodProcTime_1 : 0.008520
1712.46/1228.31	c (100,0) c PeriodProcTime_total : 0.016082
1712.46/1228.31	c (100,0) c PeriodProcTime_winner : 0.007562
1712.46/1228.31	c (100,0) c SolvingTime_0 : 81.770110
1712.46/1228.31	c (100,0) c SolvingTime_1 : 81.847990
1712.46/1228.31	c (100,0) c SolvingTime_total : 163.618100
1712.46/1228.31	c (100,0) c SolvingTime_winner : 81.770110
1712.46/1228.31	c (100,0) c PropagationTime_0 : 74.751707
1712.46/1228.31	c (100,0) c PropagationTime_1 : 71.191366
1712.46/1228.31	c (100,0) c PropagationTime_total : 145.943073
1712.46/1228.31	c (100,0) c PropagationTime_winner : 74.751707
1712.46/1228.31	c (100,0) c AnalysisTime_0 : 4.614163
1712.46/1228.31	c (100,0) c AnalysisTime_1 : 6.866555
1712.46/1228.31	c (100,0) c AnalysisTime_total : 11.480717
1712.46/1228.31	c (100,0) c AnalysisTime_winner : 4.614163
1712.46/1228.31	c (100,0) c ReductionTime_0 : 0.015576
1712.46/1228.31	c (100,0) c ReductionTime_1 : 0.015427
1712.46/1228.31	c (100,0) c ReductionTime_total : 0.031003
1712.46/1228.31	c (100,0) c ReductionTime_winner : 0.015576
1712.46/1228.31	c (100,0) c SimplifyTime_0 : 0.598536
1712.46/1228.31	c (100,0) c SimplifyTime_1 : 1.831072
1712.46/1228.31	c (100,0) c SimplifyTime_total : 2.429607
1712.46/1228.31	c (100,0) c SimplifyTime_winner : 0.598536
1712.46/1228.31	c (100,0) c UsedRateTime_0 : 0.000000
1712.46/1228.31	c (100,0) c UsedRateTime_1 : 0.000000
1712.46/1228.31	c (100,0) c UsedRateTime_total : 0.000000
1712.46/1228.31	c (100,0) c UsedRateTime_winner : 0.000000
1712.46/1228.31	c (100,0) c OverlapRateTime_0 : 0.000000
1712.46/1228.31	c (100,0) c OverlapRateTime_1 : 0.000000
1712.46/1228.31	c (100,0) c OverlapRateTime_total : 0.000000
1712.46/1228.31	c (100,0) c OverlapRateTime_winner : 0.000000
1712.46/1228.31	c (100,0) c
1712.46/1228.31	c (100,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1712.46/1228.31	c (100,0) c
1712.46/1228.31	c (100,0) c |-----------------------|------------|------------|
1712.46/1228.31	c (100,0) c | Threads               |          0 |          1 |
1712.46/1228.31	c (100,0) c |-----------------------|------------|------------|
1712.46/1228.31	c (100,0) c | randomizeFirstDescent |      False |       True |
1712.46/1228.31	c (100,0) c | adaptStrategeis       |       True |      False |
1712.46/1228.31	c (100,0) c | forceUnsatOnNewDescent|       True |       True |
1712.46/1228.31	c (100,0) c | Initial random_seed   |  719344429 | 1774240722 |
1712.46/1228.31	c (100,0) c | chanseokStrategy      |      False |      False |
1712.46/1228.31	c (100,0) c | coLBDBound            |          5 |          5 |
1712.46/1228.31	c (100,0) c | glureduce             |       True |       True |
1712.46/1228.31	c (100,0) c | firstReduceDB         |       2000 |       2000 |
1712.46/1228.31	c (100,0) c | incReduceDB           |        300 |        300 |
1712.46/1228.31	c (100,0) c | luby_restart          |      False |      False |
1712.46/1228.31	c (100,0) c | luby_restart_factor   |        100 |        100 |
1712.46/1228.31	c (100,0) c | var_decay             |     0.9200 |     0.9000 |
1712.46/1228.31	c (100,0) c | max_var_decay         |     0.9500 |     0.9500 |
1712.46/1228.31	c (100,0) c | randomize_on_restarts |      False |      False |
1712.46/1228.31	c (100,0) c | remove_satisfied      |       True |       True |
1712.46/1228.31	c (100,0) c |-----------------------|------------|------------|
1712.46/1228.31	c (100,0) 
1712.46/1228.31	c (100,0) s SATISFIABLE
1713.37/1228.70	c (101,0) SatSolver.solve End
1713.37/1228.70	c (101,0) Heap : 236 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1713.37/1228.70	c (101,0) Show results Begin
1713.58/1228.85	c (101,0) x[0] = 423
1713.58/1228.85	c (101,0) x[1] = 141
1713.58/1228.85	c (101,0) x[2] = 147
1713.58/1228.85	c (101,0) x[3] = 588
1713.58/1228.85	c (101,0) x[4] = 172
1713.58/1228.85	c (101,0) x[5] = 233
1713.58/1228.85	c (101,0) x[6] = 249
1713.58/1228.85	c (101,0) x[7] = 91
1713.58/1228.85	c (101,0) x[8] = 390
1713.58/1228.85	c (101,0) x[9] = 27
1713.58/1228.85	c (101,0) x[10] = 558
1713.58/1228.85	c (101,0) x[11] = 382
1713.58/1228.85	c (101,0) x[12] = 455
1713.58/1228.85	c (101,0) x[13] = 539
1713.58/1228.85	c (101,0) x[14] = 519
1713.58/1228.85	c (101,0) x[15] = 197
1713.58/1228.85	c (101,0) x[16] = 434
1713.58/1228.85	c (101,0) x[17] = 414
1713.58/1228.85	c (101,0) x[18] = 593
1713.58/1228.85	c (101,0) x[19] = 179
1713.58/1228.85	c (101,0) x[20] = 591
1713.58/1228.85	c (101,0) x[21] = 9
1713.58/1228.85	c (101,0) x[22] = 33
1713.58/1228.85	c (101,0) x[23] = 0
1713.58/1228.85	c (101,0) x[24] = 184
1713.58/1228.85	c (101,0) x[25] = 55
1713.58/1228.85	c (101,0) x[26] = 222
1713.58/1228.85	c (101,0) x[27] = 113
1713.58/1228.85	c (101,0) x[28] = 385
1713.58/1228.85	c (101,0) x[29] = 532
1713.58/1228.85	c (101,0) x[30] = 551
1713.58/1228.85	c (101,0) x[31] = 413
1713.58/1228.85	c (101,0) x[32] = 240
1713.58/1228.85	c (101,0) x[33] = 439
1713.58/1228.85	c (101,0) x[34] = 306
1713.58/1228.85	c (101,0) x[35] = 286
1713.58/1228.85	c (101,0) x[36] = 69
1713.58/1228.85	c (101,0) x[37] = 250
1713.58/1228.85	c (101,0) x[38] = 501
1713.58/1228.85	c (101,0) x[39] = 112
1713.58/1228.85	c (101,0) x[40] = 525
1713.58/1228.85	c (101,0) x[41] = 227
1713.58/1228.85	c (101,0) x[42] = 23
1713.58/1228.85	c (101,0) x[43] = 494
1713.58/1228.85	c (101,0) x[44] = 92
1713.58/1228.85	c (101,0) x[45] = 403
1713.58/1228.85	c (101,0) x[46] = 526
1713.58/1228.85	c (101,0) x[47] = 107
1713.58/1228.85	c (101,0) x[48] = 28
1713.58/1228.85	c (101,0) x[49] = 499
1713.58/1228.85	c (101,0) x[50] = 41
1713.58/1228.85	c (101,0) x[51] = 122
1713.58/1228.85	c (101,0) x[52] = 259
1713.58/1228.85	c (101,0) x[53] = 74
1713.58/1228.85	c (101,0) x[54] = 340
1713.58/1228.85	c (101,0) x[55] = 89
1713.58/1228.85	c (101,0) x[56] = 377
1713.58/1228.85	c (101,0) x[57] = 402
1713.58/1228.85	c (101,0) x[58] = 255
1713.58/1228.85	c (101,0) x[59] = 521
1713.58/1228.85	c (101,0) x[60] = 356
1713.58/1228.85	c (101,0) x[61] = 194
1713.58/1228.85	c (101,0) x[62] = 42
1713.58/1228.85	c (101,0) x[63] = 290
1713.58/1228.85	c (101,0) x[64] = 235
1713.58/1228.85	c (101,0) x[65] = 106
1713.58/1228.85	c (101,0) x[66] = 77
1713.58/1228.85	c (101,0) x[67] = 393
1713.58/1228.85	c (101,0) x[68] = 549
1713.58/1228.85	c (101,0) x[69] = 217
1713.58/1228.85	c (101,0) x[70] = 126
1713.58/1228.85	c (101,0) x[71] = 101
1713.58/1228.85	c (101,0) x[72] = 111
1713.58/1228.85	c (101,0) x[73] = 31
1713.58/1228.85	c (101,0) x[74] = 469
1713.58/1228.85	c (101,0) x[75] = 400
1713.58/1228.85	c (101,0) x[76] = 100
1713.58/1228.85	c (101,0) x[77] = 130
1713.58/1228.85	c (101,0) x[78] = 280
1713.58/1228.85	c (101,0) x[79] = 552
1713.58/1228.85	c (101,0) x[80] = 321
1713.58/1228.85	c (101,0) x[81] = 325
1713.58/1228.85	c (101,0) x[82] = 524
1713.58/1228.85	c (101,0) x[83] = 125
1713.58/1228.85	c (101,0) x[84] = 473
1713.58/1228.85	c (101,0) x[85] = 274
1713.58/1228.85	c (101,0) x[86] = 449
1713.58/1228.85	c (101,0) x[87] = 395
1713.58/1228.85	c (101,0) x[88] = 562
1713.58/1228.85	c (101,0) x[89] = 124
1713.58/1228.85	c (101,0) x[90] = 212
1713.58/1228.85	c (101,0) x[91] = 19
1713.58/1228.85	c (101,0) x[92] = 375
1713.58/1228.85	c (101,0) x[93] = 577
1713.58/1228.85	c (101,0) x[94] = 93
1713.58/1228.85	c (101,0) x[95] = 34
1713.58/1228.85	c (101,0) x[96] = 6
1713.58/1228.85	c (101,0) x[97] = 548
1713.58/1228.85	c (101,0) x[98] = 46
1713.58/1228.85	c (101,0) x[99] = 213
1713.58/1228.85	c (101,0) x[100] = 305
1713.58/1228.85	c (101,0) x[101] = 318
1713.58/1228.85	c (101,0) x[102] = 202
1713.58/1228.85	c (101,0) x[103] = 420
1713.58/1228.85	c (101,0) x[104] = 537
1713.58/1228.85	c (101,0) x[105] = 167
1713.58/1228.85	c (101,0) x[106] = 270
1713.58/1228.85	c (101,0) x[107] = 560
1713.58/1228.85	c (101,0) x[108] = 262
1713.58/1228.85	c (101,0) x[109] = 550
1713.58/1228.85	c (101,0) x[110] = 45
1713.58/1228.85	c (101,0) x[111] = 264
1713.58/1228.85	c (101,0) x[112] = 332
1713.58/1228.85	c (101,0) x[113] = 88
1713.58/1228.85	c (101,0) x[114] = 230
1713.58/1228.85	c (101,0) x[115] = 283
1713.58/1228.85	c (101,0) x[116] = 463
1713.58/1228.85	c (101,0) x[117] = 73
1713.58/1228.85	c (101,0) x[118] = 133
1713.58/1228.85	c (101,0) x[119] = 354
1713.58/1228.85	c (101,0) x[120] = 333
1713.58/1228.85	c (101,0) x[121] = 485
1713.58/1228.85	c (101,0) x[122] = 361
1713.58/1228.85	c (101,0) x[123] = 478
1713.58/1228.85	c (101,0) x[124] = 594
1713.58/1228.85	c (101,0) x[125] = 520
1713.58/1228.85	c (101,0) x[126] = 302
1713.58/1228.85	c (101,0) x[127] = 563
1713.58/1228.85	c (101,0) x[128] = 177
1713.58/1228.85	c (101,0) x[129] = 533
1713.58/1228.85	c (101,0) x[130] = 468
1713.58/1228.85	c (101,0) x[131] = 296
1713.58/1228.85	c (101,0) x[132] = 546
1713.58/1228.85	c (101,0) x[133] = 349
1713.58/1228.85	c (101,0) x[134] = 56
1713.58/1228.85	c (101,0) x[135] = 510
1713.58/1228.85	c (101,0) x[136] = 596
1713.58/1228.85	c (101,0) x[137] = 317
1713.58/1228.85	c (101,0) x[138] = 583
1713.58/1228.85	c (101,0) x[139] = 481
1713.58/1228.85	c (101,0) x[140] = 433
1713.58/1228.85	c (101,0) x[141] = 504
1713.58/1228.85	c (101,0) x[142] = 470
1713.58/1228.85	c (101,0) x[143] = 246
1713.58/1228.85	c (101,0) x[144] = 540
1713.58/1228.85	c (101,0) x[145] = 36
1713.58/1228.85	c (101,0) x[146] = 18
1713.58/1228.85	c (101,0) x[147] = 304
1713.58/1228.85	c (101,0) x[148] = 534
1713.58/1228.85	c (101,0) x[149] = 530
1713.58/1228.85	c (101,0) x[150] = 536
1713.58/1228.85	c (101,0) x[151] = 364
1713.58/1228.85	c (101,0) x[152] = 376
1713.58/1228.85	c (101,0) x[153] = 326
1713.58/1228.85	c (101,0) x[154] = 374
1713.58/1228.85	c (101,0) x[155] = 83
1713.58/1228.85	c (101,0) x[156] = 52
1713.58/1228.85	c (101,0) x[157] = 292
1713.58/1228.85	c (101,0) x[158] = 486
1713.58/1228.85	c (101,0) x[159] = 346
1713.58/1228.85	c (101,0) x[160] = 339
1713.58/1228.85	c (101,0) x[161] = 195
1713.58/1228.85	c (101,0) x[162] = 90
1713.58/1228.85	c (101,0) x[163] = 479
1713.58/1228.85	c (101,0) x[164] = 427
1713.58/1228.85	c (101,0) x[165] = 173
1713.58/1228.85	c (101,0) x[166] = 465
1713.58/1228.85	c (101,0) x[167] = 271
1713.58/1228.85	c (101,0) x[168] = 373
1713.58/1228.85	c (101,0) x[169] = 487
1713.58/1228.85	c (101,0) x[170] = 480
1713.58/1228.85	c (101,0) x[171] = 64
1713.58/1228.85	c (101,0) x[172] = 587
1713.58/1228.85	c (101,0) x[173] = 288
1713.58/1228.85	c (101,0) x[174] = 8
1713.58/1228.85	c (101,0) x[175] = 351
1713.58/1228.85	c (101,0) x[176] = 399
1713.58/1228.85	c (101,0) x[177] = 225
1713.58/1228.85	c (101,0) x[178] = 53
1713.58/1228.85	c (101,0) x[179] = 459
1713.58/1228.85	c (101,0) x[180] = 475
1713.58/1228.85	c (101,0) x[181] = 170
1713.58/1228.85	c (101,0) x[182] = 50
1713.58/1228.85	c (101,0) x[183] = 2
1713.58/1228.85	c (101,0) x[184] = 193
1713.58/1228.85	c (101,0) x[185] = 152
1713.58/1228.85	c (101,0) x[186] = 527
1713.58/1228.85	c (101,0) x[187] = 556
1713.58/1228.85	c (101,0) x[188] = 47
1713.58/1228.85	c (101,0) x[189] = 371
1713.58/1228.85	c (101,0) x[190] = 531
1713.58/1228.85	c (101,0) x[191] = 362
1713.58/1228.85	c (101,0) x[192] = 191
1713.58/1228.85	c (101,0) x[193] = 151
1713.58/1228.85	c (101,0) x[194] = 78
1713.58/1228.85	c (101,0) x[195] = 178
1713.58/1228.85	c (101,0) x[196] = 281
1713.58/1228.85	c (101,0) x[197] = 564
1713.58/1228.85	c (101,0) x[198] = 575
1713.58/1228.85	c (101,0) x[199] = 372
1713.58/1228.85	c (101,0) x[200] = 87
1713.58/1228.85	c (101,0) x[201] = 62
1713.58/1228.85	c (101,0) x[202] = 188
1713.58/1228.85	c (101,0) x[203] = 576
1713.58/1228.85	c (101,0) x[204] = 98
1713.58/1228.85	c (101,0) x[205] = 186
1713.58/1228.85	c (101,0) x[206] = 348
1713.58/1228.85	c (101,0) x[207] = 412
1713.58/1228.85	c (101,0) x[208] = 491
1713.58/1228.85	c (101,0) x[209] = 297
1713.58/1228.85	c (101,0) x[210] = 138
1713.58/1228.85	c (101,0) x[211] = 324
1713.58/1228.85	c (101,0) x[212] = 541
1713.58/1228.85	c (101,0) x[213] = 506
1713.58/1228.85	c (101,0) x[214] = 553
1713.58/1228.85	c (101,0) x[215] = 419
1713.58/1228.85	c (101,0) x[216] = 142
1713.58/1228.85	c (101,0) x[217] = 257
1713.58/1228.85	c (101,0) x[218] = 384
1713.58/1228.85	c (101,0) x[219] = 309
1713.58/1228.85	c (101,0) x[220] = 231
1713.58/1228.85	c (101,0) x[221] = 502
1713.58/1228.85	c (101,0) x[222] = 301
1713.58/1228.85	c (101,0) x[223] = 131
1713.58/1228.86	c (101,0) x[224] = 127
1713.58/1228.86	c (101,0) x[225] = 574
1713.58/1228.86	c (101,0) x[226] = 25
1713.58/1228.86	c (101,0) x[227] = 571
1713.58/1228.86	c (101,0) x[228] = 245
1713.58/1228.86	c (101,0) x[229] = 117
1713.58/1228.86	c (101,0) x[230] = 579
1713.58/1228.86	c (101,0) x[231] = 350
1713.58/1228.86	c (101,0) x[232] = 513
1713.58/1228.86	c (101,0) x[233] = 95
1713.58/1228.86	c (101,0) x[234] = 416
1713.58/1228.86	c (101,0) x[235] = 338
1713.58/1228.86	c (101,0) x[236] = 267
1713.58/1228.86	c (101,0) x[237] = 366
1713.58/1228.86	c (101,0) x[238] = 71
1713.58/1228.86	c (101,0) x[239] = 561
1713.58/1228.86	s SATISFIABLE
1713.58/1228.86	v <instantiation>
1713.58/1228.86	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239]</list>
1713.58/1228.86	v     <values>423 141 147 588 172 233 249 91 390 27 558 382 455 539 519 197 434 414 593 179 591 9 33 0 184 55 222 113 385 532 551 413 240 439 306 286 69 250 501 112 525 227 23 494 92 403 526 107 28 499 41 122 259 74 340 89 377 402 255 521 356 194 42 290 235 106 77 393 549 217 126 101 111 31 469 400 100 130 280 552 321 325 524 125 473 274 449 395 562 124 212 19 375 577 93 34 6 548 46 213 305 318 202 420 537 167 270 560 262 550 45 264 332 88 230 283 463 73 133 354 333 485 361 478 594 520 302 563 177 533 468 296 546 349 56 510 596 317 583 481 433 504 470 246 540 36 18 304 534 530 536 364 376 326 374 83 52 292 486 346 339 195 90 479 427 173 465 271 373 487 480 64 587 288 8 351 399 225 53 459 475 170 50 2 193 152 527 556 47 371 531 362 191 151 78 178 281 564 575 372 87 62 188 576 98 186 348 412 491 297 138 324 541 506 553 419 142 257 384 309 231 502 301 131 127 574 25 571 245 117 579 350 513 95 416 338 267 366 71 561</values>
1713.58/1228.86	v </instantiation>
1713.58/1228.86	c (101,0) Show results End
1713.58/1228.86	c (101,0) Heap : 257 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1713.58/1228.86	c (101,0) 101,101,STOP-AFTER(ALL)
1713.58/1228.86	c END-Prog: Tue Sep 24 16:40:53 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 (13180 MiB free)
  memory of node 1: 16384 MiB (11715 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405378-1569339048/watcher-4405378-1569339048 -o /tmp/evaluation-result-4405378-1569339048/solver-4405378-1569339048 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --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-4405378-1569339048.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=6104, runsolver pid=6101


[startup+0.100109 s]*
/proc/loadavg: 1.66 2.77 4.91 2/213 6126
/proc/meminfo: memFree=25398652/32770624 swapFree=66986396/67108860
[pid=6104] ppid=6101 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6104/stat : 6104 (scop.sh) S 6101 6104 4774 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510161404 115843072 349 33554432000 4194304 5098028 140733417672608 140733417669864 140564172358268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24854528 140733417677605 140733417677932 140733417677932 140733417680845 0
/proc/6104/statm: 28282 349 296 221 0 87 0
[pid=6107] ppid=6104 vsize=27314120 memory=105628 CPUtime=0.1 cores=0-7
/proc/6107/stat : 6107 (java) S 6104 6104 4774 0 -1 1077944320 6503 0 0 0 8 2 0 0 20 0 20 0 510161404 27969658880 26407 33554432000 4194304 4196468 140723828863376 140723828845920 139849562423031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
/proc/6107/statm: 6828530 26407 2799 1 0 6790935 0
[pid=6107/tid=6108] ppid=6104 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/6107/task/6108/stat : 6108 (java) R 6104 6104 4774 0 -1 4202560 4596 0 0 0 7 2 0 0 20 0 20 0 510161404 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849534241408 139849546503518 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6109] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6109/stat : 6109 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849566665488 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6110] ppid=6104 vsize=27314120 memory=14557746732365464 CPUtime=0 cores=0-7
/proc/6107/task/6110/stat : 6110 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849380821904 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6111] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6111/stat : 6111 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849379769360 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6112] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6112/stat : 6112 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849378716816 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6113] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6113/stat : 6113 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849377663248 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6114] ppid=6104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6107/task/6114/stat : 6114 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849376610704 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6115] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6115/stat : 6115 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849375558160 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6116] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6116/stat : 6116 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 26919 33554432000 4194304 4196468 140723828863376 139849374505616 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6117] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6117/stat : 6117 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161408 27969658880 26919 33554432000 4194304 4196468 140723828863376 139848619866608 139849562434178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6118] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6118/stat : 6118 (java) S 6104 6104 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510161409 27969658880 26919 33554432000 4194304 4196468 140723828863376 139847356376480 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6119] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6119/stat : 6119 (java) S 6104 6104 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510161409 27969658880 26919 33554432000 4194304 4196468 140723828863376 139847222154736 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6120] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6120/stat : 6120 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 26919 33554432000 4194304 4196468 140723828863376 139846847650512 139849562441627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6121] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6121/stat : 6121 (java) S 6104 6104 4774 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 26919 33554432000 4194304 4196468 140723828863376 139848618813424 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6122] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6122/stat : 6122 (java) S 6104 6104 4774 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 26919 33554432000 4194304 4196468 140723828863376 139848617760880 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6123] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6123/stat : 6123 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 26919 33554432000 4194304 4196468 140723828863376 139848616708336 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6124] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6124/stat : 6124 (java) S 6104 6104 4774 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 26919 33554432000 4194304 4196468 140723828863376 139848615655792 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6125] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6125/stat : 6125 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161412 27969658880 26919 33554432000 4194304 4196468 140723828863376 139846349744864 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6126] ppid=6104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6107/task/6126/stat : 6126 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161412 27969658880 26919 33554432000 4194304 4196468 140723828863376 139848614603696 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107024 KiB

[startup+0.210362 s]*
/proc/loadavg: 1.66 2.77 4.91 3/213 6126
/proc/meminfo: memFree=25377288/32770624 swapFree=66986396/67108860
[pid=6104] ppid=6101 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6104/stat : 6104 (scop.sh) S 6101 6104 4774 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510161404 115843072 349 33554432000 4194304 5098028 140733417672608 140733417669864 140564172358268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24854528 140733417677605 140733417677932 140733417677932 140733417680845 0
/proc/6104/statm: 28282 349 296 221 0 87 0
[pid=6107] ppid=6104 vsize=27314120 memory=124760 CPUtime=0.24 cores=0-7
/proc/6107/stat : 6107 (java) S 6104 6104 4774 0 -1 1077944320 12106 0 0 0 20 4 0 0 20 0 20 0 510161404 27969658880 31190 33554432000 4194304 4196468 140723828863376 140723828845920 139849562423031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
/proc/6107/statm: 6828530 31190 2948 1 0 6790935 0
[pid=6107/tid=6108] ppid=6104 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6107/task/6108/stat : 6108 (java) R 6104 6104 4774 0 -1 4202560 9822 0 0 0 16 3 0 0 20 0 20 0 510161404 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849534222416 139849542698845 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6109] ppid=6104 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/6107/task/6109/stat : 6109 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849566665488 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6110] ppid=6104 vsize=27314120 memory=15683646639208088 CPUtime=0 cores=0-7
/proc/6107/task/6110/stat : 6110 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849380821904 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6111] ppid=6104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6107/task/6111/stat : 6111 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849379769360 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6112] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6112/stat : 6112 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849378716816 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6113] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6113/stat : 6113 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849377663248 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6114] ppid=6104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6107/task/6114/stat : 6114 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849376610704 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6115] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6115/stat : 6115 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849375558160 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6116] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6116/stat : 6116 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 31190 33554432000 4194304 4196468 140723828863376 139849374505616 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6117] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6117/stat : 6117 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161408 27969658880 31190 33554432000 4194304 4196468 140723828863376 139848619866608 139849562434178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6118] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6118/stat : 6118 (java) S 6104 6104 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510161409 27969658880 31190 33554432000 4194304 4196468 140723828863376 139847356376480 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6119] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6119/stat : 6119 (java) S 6104 6104 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510161409 27969658880 31190 33554432000 4194304 4196468 140723828863376 139847222154736 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6120] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6120/stat : 6120 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 31190 33554432000 4194304 4196468 140723828863376 139846847650512 139849562441627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6121] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6121/stat : 6121 (java) S 6104 6104 4774 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 31190 33554432000 4194304 4196468 140723828863376 139848618813424 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6122] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6122/stat : 6122 (java) S 6104 6104 4774 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 31190 33554432000 4194304 4196468 140723828863376 139848617760880 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6123] ppid=6104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6107/task/6123/stat : 6123 (java) S 6104 6104 4774 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 31190 33554432000 4194304 4196468 140723828863376 139848616708336 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6124] ppid=6104 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/6107/task/6124/stat : 6124 (java) S 6104 6104 4774 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 510161411 27969658880 31190 33554432000 4194304 4196468 140723828863376 139848615655792 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6125] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6125/stat : 6125 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161412 27969658880 31190 33554432000 4194304 4196468 140723828863376 139846349744864 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6126] ppid=6104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6107/task/6126/stat : 6126 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161412 27969658880 31190 33554432000 4194304 4196468 140723828863376 139848614603696 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126156 KiB

[startup+0.309775 s]*
/proc/loadavg: 1.66 2.77 4.91 2/213 6126
/proc/meminfo: memFree=25374332/32770624 swapFree=66986396/67108860
[pid=6104] ppid=6101 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6104/stat : 6104 (scop.sh) S 6101 6104 4774 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510161404 115843072 349 33554432000 4194304 5098028 140733417672608 140733417669864 140564172358268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24854528 140733417677605 140733417677932 140733417677932 140733417680845 0
/proc/6104/statm: 28282 349 296 221 0 87 0
[pid=6107] ppid=6104 vsize=27314120 memory=128368 CPUtime=0.42 cores=0-7
/proc/6107/stat : 6107 (java) S 6104 6104 4774 0 -1 1077944320 12482 0 0 0 37 5 0 0 20 0 20 0 510161404 27969658880 32092 33554432000 4194304 4196468 140723828863376 140723828845920 139849562423031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
/proc/6107/statm: 6828530 32092 3031 1 0 6790935 0
[pid=6107/tid=6108] ppid=6104 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/6107/task/6108/stat : 6108 (java) R 6104 6104 4774 0 -1 4202560 10009 0 0 0 26 3 0 0 20 0 20 0 510161404 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849534249296 139849545609840 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6109] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6109/stat : 6109 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849566665488 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6110] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6110/stat : 6110 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849380821904 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6111] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6111/stat : 6111 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849379769360 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6112] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6112/stat : 6112 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849378716816 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6113] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6113/stat : 6113 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849377663248 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6114] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6114/stat : 6114 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849376610704 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6115] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6115/stat : 6115 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849375558160 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6116] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6116/stat : 6116 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27969658880 32092 33554432000 4194304 4196468 140723828863376 139849374505616 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6117] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6117/stat : 6117 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161408 27969658880 32092 33554432000 4194304 4196468 140723828863376 139848619866608 139849562434178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6118] ppid=6104 vsize=27314120 memory=281408807574912 CPUtime=0 cores=0-7
/proc/6107/task/6118/stat : 6118 (java) S 6104 6104 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510161409 27969658880 32092 33554432000 4194304 4196468 140723828863376 139847356376480 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6119] ppid=6104 vsize=27314120 memory=281408807579520 CPUtime=0 cores=0-7
/proc/6107/task/6119/stat : 6119 (java) S 6104 6104 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510161409 27969658880 32092 33554432000 4194304 4196468 140723828863376 139847222154736 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6120] ppid=6104 vsize=27314120 memory=281408807584128 CPUtime=0 cores=0-7
/proc/6107/task/6120/stat : 6120 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 32092 33554432000 4194304 4196468 140723828863376 139846847650512 139849562441627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6121] ppid=6104 vsize=27314120 memory=281408807588736 CPUtime=0.01 cores=0-7
/proc/6107/task/6121/stat : 6121 (java) S 6104 6104 4774 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 510161411 27969658880 32092 33554432000 4194304 4196468 140723828863376 139848618813424 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6122] ppid=6104 vsize=27314120 memory=281408807593344 CPUtime=0 cores=0-7
/proc/6107/task/6122/stat : 6122 (java) S 6104 6104 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510161411 27969658880 32092 33554432000 4194304 4196468 140723828863376 139848617760880 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6123] ppid=6104 vsize=27314120 memory=281408807597952 CPUtime=0.01 cores=0-7
/proc/6107/task/6123/stat : 6123 (java) S 6104 6104 4774 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 510161411 27969658880 32092 33554432000 4194304 4196468 140723828863376 139848616708336 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6124] ppid=6104 vsize=27314120 memory=281408807602560 CPUtime=0.07 cores=0-7
/proc/6107/task/6124/stat : 6124 (java) S 6104 6104 4774 0 -1 1077944384 471 0 0 0 7 0 0 0 20 0 20 0 510161411 27969658880 32092 33554432000 4194304 4196468 140723828863376 139848615655792 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6125] ppid=6104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6125/stat : 6125 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161412 27969658880 32092 33554432000 4194304 4196468 140723828863376 139846349744864 139849562433237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6126] ppid=6104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6107/task/6126/stat : 6126 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161412 27969658880 32092 33554432000 4194304 4196468 140723828863376 139848614603696 139849562434178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129764 KiB

[startup+0.700922 s]
/proc/loadavg: 1.66 2.77 4.91 2/213 6126
/proc/meminfo: memFree=25352504/32770624 swapFree=66986396/67108860
[pid=6104] ppid=6101 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6104/stat : 6104 (scop.sh) S 6101 6104 4774 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510161404 115843072 349 33554432000 4194304 5098028 140733417672608 140733417669864 140564172358268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24854528 140733417677605 140733417677932 140733417677932 140733417680845 0
/proc/6104/statm: 28282 349 296 221 0 87 0
[pid=6107] ppid=6104 vsize=27320392 memory=162984 CPUtime=0.98 cores=0-7
/proc/6107/stat : 6107 (java) S 6104 6104 4774 0 -1 1077944320 19831 0 0 0 91 7 0 0 20 0 20 0 510161404 27976081408 40746 33554432000 4194304 4196468 140723828863376 140723828845920 139849562423031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
/proc/6107/statm: 6830098 40746 3192 1 0 6791447 0
[pid=6107/tid=6108] ppid=6104 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/6107/task/6108/stat : 6108 (java) R 6104 6104 4774 0 -1 4202560 16923 0 0 0 62 6 0 0 20 0 20 0 510161404 27976081408 40746 33554432000 4194304 4196468 140723828863376 139849534261008 139849562434966 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6109] ppid=6104 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6109/stat : 6109 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510161407 27976081408 40746 33554432000 4194304 4196468 140723828863376 139849566665488 139849562433237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6110] ppid=6104 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6107/task/6110/stat : 6110 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510161407 27976081408 40746 33554432000 4194304 4196468 140723828863376 139849380821904 139849562433237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0
[pid=6107/tid=6111] ppid=6104 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/6107/task/6111/stat : 6111 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510161407 27976081408 40746 33554432000 4194304 4196468 140723828863376 139849379769360 139849562433237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10313728 140723828871916 140723828872342 140723828872342 140723828875215 0

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

[pid=6208/tid=6209] ppid=6104 vsize=8414124 memory=1984 CPUtime=0.78 cores=0-7
/proc/6208/task/6209/stat : 6209 (java) S 6104 6104 4774 0 -1 1077944384 17446 0 0 0 73 5 0 0 20 0 24 0 510274122 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444920938400 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6210] ppid=6104 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/6208/task/6210/stat : 6210 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510274124 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444953341072 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6211] ppid=6104 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/6208/task/6211/stat : 6211 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510274124 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444761902096 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6212] ppid=6104 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/6208/task/6212/stat : 6212 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510274124 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444760849296 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6213] ppid=6104 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6208/task/6213/stat : 6213 (java) S 6104 6104 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510274124 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444432325392 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6214] ppid=6104 vsize=8414124 memory=118768 CPUtime=0 cores=0-7
/proc/6208/task/6214/stat : 6214 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510274124 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444431272592 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6215] ppid=6104 vsize=8414124 memory=5487812 CPUtime=0 cores=0-7
/proc/6208/task/6215/stat : 6215 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510274124 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444430219792 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6216] ppid=6104 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/6208/task/6216/stat : 6216 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510274124 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444429166992 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6217] ppid=6104 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6208/task/6217/stat : 6217 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510274124 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444428114192 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6218] ppid=6104 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/6208/task/6218/stat : 6218 (java) S 6104 6104 4774 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510274125 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444109630320 140444949109378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6219] ppid=6104 vsize=8414124 memory=7686721470367700889 CPUtime=0 cores=0-7
/proc/6208/task/6219/stat : 6219 (java) S 6104 6104 4774 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 510274126 8616062976 29821 33554432000 4194304 4196468 140727704320432 140443484415520 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6220] ppid=6104 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/6208/task/6220/stat : 6220 (java) S 6104 6104 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510274126 8616062976 29821 33554432000 4194304 4196468 140727704320432 140443350193520 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6221] ppid=6104 vsize=8414124 memory=64824 CPUtime=0 cores=0-7
/proc/6208/task/6221/stat : 6221 (java) S 6104 6104 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510274128 8616062976 29821 33554432000 4194304 4196468 140727704320432 140442975689040 140444949116827 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6222] ppid=6104 vsize=8414124 memory=988 CPUtime=0.05 cores=0-7
/proc/6208/task/6222/stat : 6222 (java) S 6104 6104 4774 0 -1 1077944384 563 0 0 0 5 0 0 0 20 0 24 0 510274129 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444108577136 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6223] ppid=6104 vsize=8414124 memory=2004 CPUtime=0.07 cores=0-7
/proc/6208/task/6223/stat : 6223 (java) S 6104 6104 4774 0 -1 1077944384 293 0 0 0 7 0 0 0 20 0 24 0 510274129 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444107524336 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6224] ppid=6104 vsize=8414124 memory=1416 CPUtime=0.07 cores=0-7
/proc/6208/task/6224/stat : 6224 (java) S 6104 6104 4774 0 -1 1077944384 345 0 0 0 7 0 0 0 20 0 24 0 510274129 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444106471536 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6225] ppid=6104 vsize=8414124 memory=1728 CPUtime=0.23 cores=0-7
/proc/6208/task/6225/stat : 6225 (java) S 6104 6104 4774 0 -1 1077944384 764 0 0 0 23 0 0 0 20 0 24 0 510274129 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444105418736 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6226] ppid=6104 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/6208/task/6226/stat : 6226 (java) S 6104 6104 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510274129 8616062976 29821 33554432000 4194304 4196468 140727704320432 140442477784160 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6227] ppid=6104 vsize=8414124 memory=1056 CPUtime=0.06 cores=0-7
/proc/6208/task/6227/stat : 6227 (java) S 6104 6104 4774 0 -1 1077944384 9 0 0 0 3 3 0 0 20 0 24 0 510274129 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444104367152 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6229] ppid=6104 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/6208/task/6229/stat : 6229 (java) S 6104 6104 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510274198 8616062976 29821 33554432000 4194304 4196468 140727704320432 140444096333376 140444949122841 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6231] ppid=6104 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/6208/task/6231/stat : 6231 (java) S 6104 6104 4774 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510274198 8616062976 29821 33554432000 4194304 4196468 140727704320432 140441806683824 140444949120157 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6232] ppid=6104 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/6208/task/6232/stat : 6232 (java) S 6104 6104 4774 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510274198 8616062976 29821 33554432000 4194304 4196468 140727704320432 140442075119152 140444949120157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6233] ppid=6104 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/6208/task/6233/stat : 6233 (java) S 6104 6104 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510274200 8616062976 29821 33554432000 4194304 4196468 140727704320432 140441538255920 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
Current children cumulated CPU time: 1711.98 s
Current children cumulated vsize: 14609256 KiB
Current children cumulated memory: 5646344 KiB

[startup+1228.8 s]
/proc/loadavg: 1.81 1.46 2.30 3/219 6249
/proc/meminfo: memFree=18819484/32770624 swapFree=66986396/67108860
[pid=6104] ppid=6101 vsize=113128 memory=1476 CPUtime=1533.02 cores=0-7
/proc/6104/stat : 6104 (scop.sh) S 6101 6104 4774 0 -1 4202496 581 479062 0 0 0 0 148588 4714 20 0 1 0 510161404 115843072 369 33554432000 4194304 5098028 140733417672608 140733417669352 140564172358268 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24854528 140733417677605 140733417677932 140733417677932 140733417680845 0
/proc/6104/statm: 28282 369 311 221 0 87 0
[pid=6208] ppid=6104 vsize=8283048 memory=259012 CPUtime=180.56 cores=0-7
/proc/6208/stat : 6208 (java) S 6104 6104 4774 0 -1 1077944320 22062 4089681 0 0 192 13 17209 642 20 0 22 0 510274121 8481841152 64753 33554432000 4194304 4196468 140727704320432 140727704302976 140444949098231 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
/proc/6208/statm: 2070762 64753 3229 1 0 2032106 0
[pid=6208/tid=6209] ppid=6104 vsize=8283048 memory=4279353494052299584 CPUtime=179.39 cores=0-7
/proc/6208/task/6209/stat : 6209 (java) R 6104 6104 4774 0 -1 4202560 17689 4089681 0 0 83 5 17209 642 20 0 22 0 510274122 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444920937392 140444949110166 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6210] ppid=6104 vsize=8283048 memory=6940425714476859492 CPUtime=178.51 cores=0-7
/proc/6208/task/6210/stat : 6210 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444953341072 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6211] ppid=6104 vsize=8283048 memory=1556 CPUtime=178.51 cores=0-7
/proc/6208/task/6211/stat : 6211 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444761902096 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6212] ppid=6104 vsize=8283048 memory=780 CPUtime=178.51 cores=0-7
/proc/6208/task/6212/stat : 6212 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444760849296 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6213] ppid=6104 vsize=8283048 memory=3616 CPUtime=178.51 cores=0-7
/proc/6208/task/6213/stat : 6213 (java) S 6104 6104 4774 0 -1 1077944384 2 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444432325392 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6214] ppid=6104 vsize=8283048 memory=1228 CPUtime=178.51 cores=0-7
/proc/6208/task/6214/stat : 6214 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444431272592 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6215] ppid=6104 vsize=8283048 memory=1440 CPUtime=178.51 cores=0-7
/proc/6208/task/6215/stat : 6215 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444430219792 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6216] ppid=6104 vsize=8283048 memory=912 CPUtime=178.51 cores=0-7
/proc/6208/task/6216/stat : 6216 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444429166992 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6217] ppid=6104 vsize=8283048 memory=1984 CPUtime=178.51 cores=0-7
/proc/6208/task/6217/stat : 6217 (java) S 6104 6104 4774 0 -1 1077944384 3 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444428114192 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6218] ppid=6104 vsize=8283048 memory=2480 CPUtime=178.51 cores=0-7
/proc/6208/task/6218/stat : 6218 (java) S 6104 6104 4774 0 -1 1077944384 8 4089681 0 0 0 0 17209 642 20 0 22 0 510274125 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444109630320 140444949109378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6219] ppid=6104 vsize=8283048 memory=1768 CPUtime=178.51 cores=0-7
/proc/6208/task/6219/stat : 6219 (java) S 6104 6104 4774 0 -1 1077944384 14 4089681 0 0 0 0 17209 642 20 0 22 0 510274126 8481841152 64753 33554432000 4194304 4196468 140727704320432 140443484415520 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6220] ppid=6104 vsize=8283048 memory=111632 CPUtime=178.51 cores=0-7
/proc/6208/task/6220/stat : 6220 (java) S 6104 6104 4774 0 -1 1077944384 21 4089681 0 0 0 0 17209 642 20 0 22 0 510274126 8481841152 64753 33554432000 4194304 4196468 140727704320432 140443350193520 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6221] ppid=6104 vsize=8283048 memory=796 CPUtime=178.51 cores=0-7
/proc/6208/task/6221/stat : 6221 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274128 8481841152 64753 33554432000 4194304 4196468 140727704320432 140442975689040 140444949116827 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6222] ppid=6104 vsize=8283048 memory=4104 CPUtime=178.65 cores=0-7
/proc/6208/task/6222/stat : 6222 (java) S 6104 6104 4774 0 -1 1077944384 934 4089681 0 0 14 0 17209 642 20 0 22 0 510274129 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444108577136 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6223] ppid=6104 vsize=8283048 memory=1768 CPUtime=178.67 cores=0-7
/proc/6208/task/6223/stat : 6223 (java) S 6104 6104 4774 0 -1 1077944384 337 4089681 0 0 16 0 17209 642 20 0 22 0 510274129 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444107524336 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6224] ppid=6104 vsize=8283048 memory=111632 CPUtime=178.65 cores=0-7
/proc/6208/task/6224/stat : 6224 (java) R 6104 6104 4774 0 -1 4202560 367 4089681 0 0 14 0 17209 642 20 0 22 0 510274129 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444106471536 140444928336715 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6225] ppid=6104 vsize=8283048 memory=796 CPUtime=178.82 cores=0-7
/proc/6208/task/6225/stat : 6225 (java) S 6104 6104 4774 0 -1 1077944384 1190 4089681 0 0 31 0 17209 642 20 0 22 0 510274129 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444105418736 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6226] ppid=6104 vsize=8283048 memory=4104 CPUtime=178.51 cores=0-7
/proc/6208/task/6226/stat : 6226 (java) S 6104 6104 4774 0 -1 1077944384 3 4089681 0 0 0 0 17209 642 20 0 22 0 510274129 8481841152 64753 33554432000 4194304 4196468 140727704320432 140442477784160 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6227] ppid=6104 vsize=8283048 memory=6791534058613427641 CPUtime=178.57 cores=0-7
/proc/6208/task/6227/stat : 6227 (java) S 6104 6104 4774 0 -1 1077944384 9 4089681 0 0 3 3 17209 642 20 0 22 0 510274129 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444104367152 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6229] ppid=6104 vsize=8283048 memory=3460 CPUtime=178.51 cores=0-7
/proc/6208/task/6229/stat : 6229 (java) S 6104 6104 4774 0 -1 1077944384 23 4089681 0 0 0 0 17209 642 20 0 22 0 510274198 8481841152 64753 33554432000 4194304 4196468 140727704320432 140444096332560 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6233] ppid=6104 vsize=8283048 memory=1476 CPUtime=178.51 cores=0-7
/proc/6208/task/6233/stat : 6233 (java) S 6104 6104 4774 0 -1 1077944384 13 4089681 0 0 0 0 17209 642 20 0 22 0 510274200 8481841152 64753 33554432000 4194304 4196468 140727704320432 140441538257712 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
Current children cumulated CPU time: 1713.58 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 260488 KiB

[startup+1229 s]*
/proc/loadavg: 1.81 1.46 2.30 2/214 6249
/proc/meminfo: memFree=25153596/32770624 swapFree=66986396/67108860
[pid=6104] ppid=6101 vsize=113128 memory=1476 CPUtime=1533.02 cores=0-7
/proc/6104/stat : 6104 (scop.sh) S 6101 6104 4774 0 -1 4202496 581 479062 0 0 0 0 148588 4714 20 0 1 0 510161404 115843072 369 33554432000 4194304 5098028 140733417672608 140733417669352 140564172358268 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24854528 140733417677605 140733417677932 140733417677932 140733417680845 0
/proc/6104/statm: 28282 369 311 221 0 87 0
[pid=6208] ppid=6104 vsize=8283048 memory=261876 CPUtime=180.86 cores=0-7
/proc/6208/stat : 6208 (java) S 6104 6104 4774 0 -1 1077944320 22216 4089681 0 0 207 28 17209 642 20 0 22 0 510274121 8481841152 65469 33554432000 4194304 4196468 140727704320432 140727704302976 140444949098231 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
/proc/6208/statm: 2070762 65469 3230 1 0 2032106 0
[pid=6208/tid=6209] ppid=6104 vsize=8283048 memory=1416 CPUtime=179.61 cores=0-7
/proc/6208/task/6209/stat : 6209 (java) R 6104 6104 4774 0 -1 4202560 17708 4089681 0 0 90 20 17209 642 20 0 22 0 510274122 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444920936224 140444941783863 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6210] ppid=6104 vsize=8283048 memory=1728 CPUtime=178.51 cores=0-7
/proc/6208/task/6210/stat : 6210 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444953341072 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6211] ppid=6104 vsize=8283048 memory=225 CPUtime=178.51 cores=0-7
/proc/6208/task/6211/stat : 6211 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444761902096 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6212] ppid=6104 vsize=8283048 memory=8317482817917895235 CPUtime=178.51 cores=0-7
/proc/6208/task/6212/stat : 6212 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444760849296 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6213] ppid=6104 vsize=8283048 memory=118768 CPUtime=178.51 cores=0-7
/proc/6208/task/6213/stat : 6213 (java) S 6104 6104 4774 0 -1 1077944384 2 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444432325392 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6214] ppid=6104 vsize=8283048 memory=5400728 CPUtime=178.51 cores=0-7
/proc/6208/task/6214/stat : 6214 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444431272592 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6215] ppid=6104 vsize=8283048 memory=1476 CPUtime=178.51 cores=0-7
/proc/6208/task/6215/stat : 6215 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444430219792 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6216] ppid=6104 vsize=8283048 memory=118768 CPUtime=178.51 cores=0-7
/proc/6208/task/6216/stat : 6216 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444429166992 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6217] ppid=6104 vsize=8283048 memory=53532472389805 CPUtime=178.51 cores=0-7
/proc/6208/task/6217/stat : 6217 (java) S 6104 6104 4774 0 -1 1077944384 3 4089681 0 0 0 0 17209 642 20 0 22 0 510274124 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444428114192 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6218] ppid=6104 vsize=8283048 memory=6944656592455359580 CPUtime=178.51 cores=0-7
/proc/6208/task/6218/stat : 6218 (java) S 6104 6104 4774 0 -1 1077944384 8 4089681 0 0 0 0 17209 642 20 0 22 0 510274125 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444109630320 140444949109378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6219] ppid=6104 vsize=8283048 memory=6363684617663452310 CPUtime=178.51 cores=0-7
/proc/6208/task/6219/stat : 6219 (java) S 6104 6104 4774 0 -1 1077944384 14 4089681 0 0 0 0 17209 642 20 0 22 0 510274126 8481841152 65469 33554432000 4194304 4196468 140727704320432 140443484415520 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6220] ppid=6104 vsize=8283048 memory=6656426216303648864 CPUtime=178.51 cores=0-7
/proc/6208/task/6220/stat : 6220 (java) S 6104 6104 4774 0 -1 1077944384 21 4089681 0 0 0 0 17209 642 20 0 22 0 510274126 8481841152 65469 33554432000 4194304 4196468 140727704320432 140443350193520 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6221] ppid=6104 vsize=8283048 memory=6655300316396806240 CPUtime=178.51 cores=0-7
/proc/6208/task/6221/stat : 6221 (java) S 6104 6104 4774 0 -1 1077944384 1 4089681 0 0 0 0 17209 642 20 0 22 0 510274128 8481841152 65469 33554432000 4194304 4196468 140727704320432 140442975689040 140444949116827 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6222] ppid=6104 vsize=8283048 memory=1476 CPUtime=178.66 cores=0-7
/proc/6208/task/6222/stat : 6222 (java) S 6104 6104 4774 0 -1 1077944384 941 4089681 0 0 15 0 17209 642 20 0 22 0 510274129 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444108577136 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6223] ppid=6104 vsize=8283048 memory=118768 CPUtime=178.68 cores=0-7
/proc/6208/task/6223/stat : 6223 (java) S 6104 6104 4774 0 -1 1077944384 345 4089681 0 0 17 0 17209 642 20 0 22 0 510274129 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444107524336 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6224] ppid=6104 vsize=8283048 memory=5280684 CPUtime=178.68 cores=0-7
/proc/6208/task/6224/stat : 6224 (java) S 6104 6104 4774 0 -1 1077944384 377 4089681 0 0 17 0 17209 642 20 0 22 0 510274129 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444106471536 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6225] ppid=6104 vsize=8283048 memory=912 CPUtime=178.86 cores=0-7
/proc/6208/task/6225/stat : 6225 (java) S 6104 6104 4774 0 -1 1077944384 1300 4089681 0 0 35 0 17209 642 20 0 22 0 510274129 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444105418736 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6226] ppid=6104 vsize=8283048 memory=1984 CPUtime=178.51 cores=0-7
/proc/6208/task/6226/stat : 6226 (java) S 6104 6104 4774 0 -1 1077944384 3 4089681 0 0 0 0 17209 642 20 0 22 0 510274129 8481841152 65469 33554432000 4194304 4196468 140727704320432 140442477784160 140444949108437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6227] ppid=6104 vsize=8283048 memory=2480 CPUtime=178.57 cores=0-7
/proc/6208/task/6227/stat : 6227 (java) S 6104 6104 4774 0 -1 1077944384 9 4089681 0 0 3 3 17209 642 20 0 22 0 510274129 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444104367152 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6229] ppid=6104 vsize=8283048 memory=3472468982643887364 CPUtime=178.51 cores=0-7
/proc/6208/task/6229/stat : 6229 (java) S 6104 6104 4774 0 -1 1077944384 23 4089681 0 0 0 0 17209 642 20 0 22 0 510274198 8481841152 65469 33554432000 4194304 4196468 140727704320432 140444096332560 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
[pid=6208/tid=6233] ppid=6104 vsize=8283048 memory=5866589993917060518 CPUtime=178.51 cores=0-7
/proc/6208/task/6233/stat : 6233 (java) S 6104 6104 4774 0 -1 1077944384 13 4089681 0 0 0 0 17209 642 20 0 22 0 510274200 8481841152 65469 33554432000 4194304 4196468 140727704320432 140441538257712 140444949109378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140727704323064 140727704323222 140727704323222 140727704326095 0
Current children cumulated CPU time: 1713.88 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 263352 KiB

Child status: 0
Real time (s): 1229.02
CPU time (s): 1713.93
CPU user time (s): 1660.07
CPU system time (s): 53.8634
CPU usage (%): 139.455
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 23552072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1660.07
system time used= 53.8634
maximum resident set size= 23551212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4591582
page faults= 0
swaps= 0
block input operations= 16
block output operations= 2056432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66106
involuntary context switches= 6167


# summary of solver processes directly reported to runsolver:
#   pid: 6104
#   total CPU time (s): 1713.93
#   total CPU user time (s): 1660.07
#   total CPU system time (s): 53.8634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46168 second user time and 10.6964 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 16:20:24
IDJOB=4405378
IDBENCH=131667
IDSOLVER=2867
FILE ID=node104/4405378-1569339048
RUNJOBID= node104-1569331756-4801
PBS_JOBID= 21705071
Free space on /tmp= 9836 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-rand/Subisomorphism-si4-r001-m600-08.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-4405378-1569339048/watcher-4405378-1569339048 -o /tmp/evaluation-result-4405378-1569339048/solver-4405378-1569339048 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --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-4405378-1569339048.xml

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

MD5SUM BENCH= 8e810070148f78cd392ecc5d984ef703
RANDOM SEED=2009945970

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25493640 kB
MemAvailable:   31819328 kB
Buffers:           97528 kB
Cached:          6292792 kB
SwapCached:        22644 kB
Active:          3178584 kB
Inactive:        3239444 kB
Active(anon):       5504 kB
Inactive(anon):    79852 kB
Active(file):    3173080 kB
Inactive(file):  3159592 kB
Unevictable:      109704 kB
Mlocked:          109704 kB
SwapTotal:      67108860 kB
SwapFree:       66986396 kB
Dirty:             20752 kB
Writeback:             0 kB
AnonPages:        185256 kB
Mapped:            57384 kB
Shmem:             49032 kB
Slab:             451368 kB
SReclaimable:     421476 kB
SUnreclaim:        29892 kB
KernelStack:        3856 kB
PageTables:         5468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-24 16:40:54