Trace number 4405678

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16806-serial-file.bin HOME/instance-4405678-1569339055.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:30:16 CEST 2019
0.66/0.56	c PID: 16809
0.66/0.56	c IP: 172.20.3.123
0.66/0.56	c HOST: node123.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.41/1.18	c (0,0) Parsing End
2.41/1.19	c (0,0) CSP: 240 int (0 aux), 0 bool (0 aux), 817 ctr, max domain size 600
2.41/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.41/1.19	c (0,0) Constraint Name Generate Begin
2.63/1.20	c (0,0) Ctr:HOME/instance-4405678-1569339055.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.63/1.20	c (0,0) Constraint Name Generate End
2.63/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.63/1.20	c (0,0) CSP to CSPinCNF Begin
94.23/72.10	c (71,69) translated 82 (10%) constraints
185.20/143.23	c (142,138) translated 164 (20%) constraints
272.83/214.12	c (213,206) translated 246 (30%) constraints
353.52/285.27	c (284,276) translated 327 (40%) constraints
436.43/355.25	c (354,344) translated 409 (50%) constraints
516.80/424.76	c (424,412) translated 491 (60%) constraints
596.96/493.58	c (493,479) translated 572 (70%) constraints
675.13/562.90	c (562,547) translated 654 (80%) constraints
678.54/566.38	c (565,550) translated 736 (90%) constraints
679.36/566.55	c (566,551) translated 817 (100%) constraints
679.36/566.55	c (566,551) ===========================================
686.54/570.12	c (569,554) Hybrid: #OE=393840, #LE=0
686.54/570.12	c (569,554) Hybrid
686.54/570.12	c (569,554) ===========================================
708.48/590.68	c (590,574) translated 1012047 (10%) constraints
734.15/612.21	c (611,595) translated 2024093 (20%) constraints
761.53/633.96	c (633,616) translated 3036139 (30%) constraints
788.92/655.60	c (655,637) translated 4048186 (40%) constraints
816.20/677.18	c (676,658) translated 5060232 (50%) constraints
837.12/698.03	c (697,678) translated 6072278 (60%) constraints
864.36/719.60	c (719,699) translated 7084325 (70%) constraints
891.42/741.23	c (740,720) translated 8096371 (80%) constraints
918.91/762.96	c (762,741) translated 9108417 (90%) constraints
946.20/784.57	c (784,762) translated 10120463 (100%) constraints
946.20/784.57	c (784,762) CSP to CSPinCNF End
946.43/784.71	c (784,762) CSP: 240 int (0 aux), 393600 bool (393600 aux), 10120463 ctr, max domain size 600
946.43/784.71	c (784,762) Heap : 11228 MiB used (max 21859 MiB), NonHeap : 29 MiB used (max 0 MiB)
946.43/784.71	c (784,762) CSPinCNF Propagation Begin
1081.89/858.03	c (857,826) 0 values, 3823 unsatisfiable literals, and 3207 valid clauses are removed
1081.89/858.03	c (857,826) CSPinCNF Propagation End
1082.00/858.16	c (857,827) CSP: 240 int (0 aux), 393600 bool (393600 aux), 10117256 ctr, max domain size 600
1082.00/858.16	c (857,827) Heap : 16966 MiB used (max 21823 MiB), NonHeap : 30 MiB used (max 0 MiB)
1084.87/860.94	c (860,829) Hybrid: #OE=393840, #LE=0
1084.87/860.94	c (860,829) Simplify CSPinCNF Begin
1253.06/894.59	c (894,844) Simplify CSPinCNF End
1253.26/894.75	c (894,844) CSP: 240 int (0 aux), 450960 bool (450960 aux), 10174616 ctr, max domain size 600
1253.26/894.75	c (894,844) Heap : 10452 MiB used (max 21134 MiB), NonHeap : 31 MiB used (max 0 MiB)
1253.26/894.75	c (894,844) Calculate Precise Domain Begin
1253.26/894.75	c (894,844) 0 values are removed by re-calculation
1253.26/894.75	c (894,844) Calculate Precise Domain End
1253.46/894.91	c (894,844) CSP: 240 int (0 aux), 450960 bool (450960 aux), 10174616 ctr, max domain size 600
1253.46/894.91	c (894,844) Heap : 10452 MiB used (max 21134 MiB), NonHeap : 31 MiB used (max 0 MiB)
1253.46/894.91	c (894,844) CSPinCNF to SatSolver Begin
1403.03/1041.70	c (1041,983) 1017462 (10 %) CSP clauses are encoded (0 SAT variables, 35502422 SAT clauses)
1415.88/1052.17	c (1051,993) 2034924 (20 %) CSP clauses are encoded (0 SAT variables, 36519884 SAT clauses)
1428.40/1062.34	c (1061,1003) 3052385 (30 %) CSP clauses are encoded (0 SAT variables, 37537345 SAT clauses)
1441.70/1072.76	c (1072,1013) 4069847 (40 %) CSP clauses are encoded (0 SAT variables, 38554807 SAT clauses)
1454.45/1082.99	c (1082,1023) 5087308 (50 %) CSP clauses are encoded (0 SAT variables, 39572268 SAT clauses)
1471.84/1093.75	c (1093,1033) 6104770 (60 %) CSP clauses are encoded (0 SAT variables, 40589730 SAT clauses)
1485.97/1104.04	c (1103,1042) 7122232 (70 %) CSP clauses are encoded (0 SAT variables, 41607192 SAT clauses)
1506.53/1115.18	c (1114,1052) 8139693 (80 %) CSP clauses are encoded (0 SAT variables, 42624653 SAT clauses)
1528.63/1126.63	c (1126,1062) 9157155 (90 %) CSP clauses are encoded (0 SAT variables, 43642115 SAT clauses)
1548.41/1137.71	c (1137,1072) 10174616 (100 %) CSP clauses are encoded (0 SAT variables, 44659576 SAT clauses)
1548.41/1137.71	c (1137,1072) CSPinCNF to SatSolver End
1548.41/1137.71	c (1137,1072) Heap : 12892 MiB used (max 20995 MiB), NonHeap : 32 MiB used (max 0 MiB)
1548.41/1137.71	c (1137,1072) 594681 bool, 44659577 clause
1548.41/1137.71	c (1137,1072) Export Begin
1548.58/1137.83	c (1137,1072) Export to HOME/scop-16806-serial-file.bin
1548.58/1137.83	c (1137,1072) Export End
1548.58/1137.84	c (1137,1072) Export File Size: 0.05 MB
1548.58/1137.84	c (1137,1072) 0,0,784,857,894,894,1137,STOP-AFTER(DIMACS)
1548.58/1137.84	c END-Prog: Tue Sep 24 17:49:14 CEST 2019
0.00/1137.94	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16806-serial-file.bin
1549.35/1138.41	c (0,0) Read Serial File Begin
1549.35/1138.41	c (0,0) HOME/scop-16806-serial-file.bin
1549.66/1138.64	c (0,0) Read Serial File End
1549.66/1138.65	
1549.66/1138.65	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
1549.66/1138.65	(Solving Process)
1549.66/1138.65	
1549.66/1138.68	c BEGIN-Prog: Tue Sep 24 17:49:15 CEST 2019
1549.66/1138.68	c PID: 16908
1549.66/1138.68	c IP: 172.20.3.123
1549.66/1138.68	c HOST: node123.alineos.net
1549.66/1138.68	c (0,0) SatSolver.solve Begin
1549.66/1138.68	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405678-1569339055.xml-scop-16809.cnf
1549.95/1138.71	c (0,0) c
1549.95/1138.71	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)
1549.95/1138.71	c (0,0) c
1549.95/1138.71	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1549.95/1138.71	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1549.95/1138.71	c (0,0) c ========================================[ Problem Statistics ]===========================================
1549.95/1138.71	c (0,0) c |                                                                                                       |
1565.16/1153.80	c (15,0) c |  Number of variables:        594681                                                                   |
1565.16/1153.80	c (15,0) c |  Number of clauses:        44659577                                                                   |
1565.16/1153.80	c (15,0) c |  Parse time:                  13.76 s                                                                 |
1565.16/1153.80	c (15,0) c |                                                                                                       |
1567.56/1156.24	c (17,0) c | Too many clauses... No preprocessing                                                                  |
1567.56/1156.24	c (17,0) c |  Simplification time:          2.14 s                                                                 |
1567.56/1156.24	c (17,0) c |                                                                                                       |
1567.56/1156.24	c (17,0) c |  One Solver is taking   3288.39Mb... Let's take   2 solvers for this run (max 40% of the maxmemory).  |
1567.56/1156.24	c (17,0) c |  Generating clones                                                                                    |
1568.47/1157.16	c (18,0) c |  all clones generated. Memory =  5219.07Mb.                                                           |
1568.47/1157.16	c (18,0) c ========================================================================================================|
1568.47/1157.16	c (18,0) c
1568.47/1157.16	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1568.47/1157.16	c (18,0) c
1568.47/1157.16	c (18,0) c |-----------------------|------------|------------|
1568.47/1157.16	c (18,0) c | Threads               |          0 |          1 |
1568.47/1157.16	c (18,0) c |-----------------------|------------|------------|
1568.47/1157.16	c (18,0) c | randomizeFirstDescent |      False |       True |
1568.47/1157.16	c (18,0) c | adaptStrategeis       |       True |      False |
1568.47/1157.16	c (18,0) c | forceUnsatOnNewDescent|       True |       True |
1568.47/1157.16	c (18,0) c | Initial random_seed   |   91648253 |   91648254 |
1568.47/1157.16	c (18,0) c | chanseokStrategy      |      False |      False |
1568.47/1157.16	c (18,0) c | coLBDBound            |          5 |          5 |
1568.47/1157.16	c (18,0) c | glureduce             |       True |       True |
1568.47/1157.16	c (18,0) c | firstReduceDB         |       2000 |       2000 |
1568.47/1157.16	c (18,0) c | incReduceDB           |        300 |        300 |
1568.47/1157.16	c (18,0) c | luby_restart          |      False |      False |
1568.47/1157.16	c (18,0) c | luby_restart_factor   |        100 |        100 |
1568.47/1157.16	c (18,0) c | var_decay             |     0.8000 |     0.8000 |
1568.47/1157.16	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |
1568.47/1157.16	c (18,0) c | randomize_on_restarts |      False |      False |
1568.47/1157.16	c (18,0) c | remove_satisfied      |       True |       True |
1568.47/1157.16	c (18,0) c |-----------------------|------------|------------|
1626.76/1186.63	c (48,0) c
1626.76/1186.63	c (48,0) c |------------------------------------------------------------------------------------------------------------------------|
1626.76/1186.63	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1626.76/1186.63	c (48,0) c |------------------------------------------------------------------------------------------------------------------------|
1626.76/1186.63	c (48,0) c |  0 |      7 |      47254 |       7848 |   191187 |     4053 |     1194 |     2695 |        0 |      228 |  20 |  0.000 |
1626.76/1186.63	c (48,0) c |  1 |     47 |      64256 |      17671 |   231356 |     8878 |     3512 |      660 |        0 |      248 |  20 |  0.000 |
1626.76/1186.63	c (48,0) c 
1626.76/1186.63	c (48,0) c synthesis       25519 conflicts    99100687 propagations      357 conflicts/sec  1385350 propagations/sec
1626.76/1186.63	c (48,0) c real: 47.9279 s, cpu: 71.5348 s, memory: 5875.08 Mb
1680.55/1215.63	c (77,0) c
1680.55/1215.63	c (77,0) c |------------------------------------------------------------------------------------------------------------------------|
1680.55/1215.63	c (77,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1680.55/1215.63	c (77,0) c |------------------------------------------------------------------------------------------------------------------------|
1680.55/1215.63	c (77,0) c |  0 |     44 |     113081 |      33984 |   285692 |    17791 |     7506 |     6061 |        0 |      497 |  20 |  0.001 |
1680.55/1215.63	c (77,0) c |  1 |     93 |     119290 |      33147 |   398861 |    16970 |     6609 |     7350 |        0 |      517 |  20 |  0.000 |
1680.55/1215.63	c (77,0) c 
1680.55/1215.63	c (77,0) c synthesis       67131 conflicts   237757760 propagations      543 conflicts/sec  1922522 propagations/sec
1680.55/1215.63	c (77,0) c real: 76.928 s, cpu: 123.67 s, memory: 5875.21 Mb
1736.95/1244.63	c (106,0) c
1736.95/1244.63	c (106,0) c |------------------------------------------------------------------------------------------------------------------------|
1736.95/1244.63	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1736.95/1244.63	c (106,0) c |------------------------------------------------------------------------------------------------------------------------|
1736.95/1244.63	c (106,0) c |  0 |    194 |     212779 |      62735 |   437954 |    24040 |    13783 |    10039 |        0 |      838 |  20 |  0.003 |
1736.95/1244.63	c (106,0) c |  1 |    160 |     182995 |      50122 |   462162 |    24046 |    10369 |    13249 |        0 |      839 |  20 |  0.002 |
1736.95/1244.63	c (106,0) c 
1736.95/1244.63	c (106,0) c synthesis      112857 conflicts   398157007 propagations      629 conflicts/sec  2218697 propagations/sec
1736.95/1244.63	c (106,0) c real: 105.928 s, cpu: 179.455 s, memory: 5875.46 Mb
1741.77/1247.08	c (108,0) c
1741.77/1247.08	c (108,0) c real time : 108.375 s
1741.77/1247.08	c (108,0) c cpu time  : 184.071 s
1741.77/1247.08	c (108,0) c
1741.77/1247.08	c (108,0) c
1741.77/1247.08	c (108,0) c
1741.77/1247.08	c (108,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1741.77/1247.08	c (108,0) c
1741.77/1247.08	c (108,0) c |---------------|-----------------|------------|------------|
1741.77/1247.08	c (108,0) c | Threads       |      Total      |          0 |          1 |
1741.77/1247.08	c (108,0) c |---------------|-----------------|------------|------------|
1741.77/1247.08	c (108,0) c | Conflicts     |          115479 |      63657 |      51822 |
1741.77/1247.08	c (108,0) c | Decisions     |          408564 |     216117 |     192447 |
1741.77/1247.08	c (108,0) c | Propagations  |       407233395 |  202490271 |  204743124 |
1741.77/1247.08	c (108,0) c | ReduceDBs     |              12 |          6 |          6 |
1741.77/1247.08	c (108,0) c | SimpDBs       |               4 |          2 |          2 |
1741.77/1247.08	c (108,0) c | Restarts      |             375 |        201 |        174 |
1741.77/1247.08	c (108,0) c | ForcedImports |               0 |          0 |          0 |
1741.77/1247.08	c (108,0) c | PropBinClauses|       195577165 |  102739725 |   92837440 |
1741.77/1247.08	c (108,0) c | PropPreBlocker|      6676088361 | 3412897319 | 3263191042 |
1741.77/1247.08	c (108,0) c | PropNotBlocker|      1929525087 |  948651778 |  980873309 |
1741.77/1247.08	c (108,0) c | LitFullScans  |     10354667869 | 5152151684 | 5202516185 |
1741.77/1247.08	c (108,0) c | LitScanFracts |         7817195 |    1323115 |    6494080 |
1741.77/1247.08	c (108,0) c | DecisionLevel0|             388 |        214 |        174 |
1741.77/1247.08	c (108,0) c | Periods       |            1724 |        858 |        866 |
1741.77/1247.08	c (108,0) c | Margin        |              40 |         20 |         20 |
1741.77/1247.08	c (108,0) c | Avg_Trail     |                 |      12068 |      23461 |
1741.77/1247.08	c (108,0) c | Avg_DL        |                 |         93 |         62 |
1741.77/1247.08	c (108,0) c | Avg_Res       |                 |          0 |          0 |
1741.77/1247.08	c (108,0) c | Avg_Res_Seen  |                 |          0 |          0 |
1741.77/1247.08	c (108,0) c |---------------|-----------------|------------|------------|
1741.77/1247.08	c (108,0) c | Exported      |           24635 |      14031 |      10604 |
1741.77/1247.08	c (108,0) c | Imported      |           24158 |      10232 |      13926 |
1741.77/1247.08	c (108,0) c | Good          |             386 |         87 |        299 |
1741.77/1247.08	c (108,0) c | Purge         |           23772 |      10145 |      13627 |
1741.77/1247.08	c (108,0) c | Promoted      |               0 |          0 |          0 |
1741.77/1247.08	c (108,0) c | Remove_Imp    |               0 |          0 |          0 |
1741.77/1247.08	c (108,0) c | Blocked_Reuse |               0 |          0 |          0 |
1741.77/1247.08	c (108,0) c |---------------|-----------------|------------|------------|
1741.77/1247.08	c (108,0) c | Unaries       |                 |         13 |          0 |
1741.77/1247.08	c (108,0) c | Binaries      |                 |        302 |         95 |
1741.77/1247.08	c (108,0) c | Glues         |                 |       2058 |       1340 |
1741.77/1247.08	c (108,0) c |---------------|-----------------|------------|------------|
1741.77/1247.08	c (108,0) c | Orig_Seen     |             1 % |     440544 |     472393 |
1741.77/1247.08	c (108,0) c | Diff Orig seen|                 |      X     |      31849 |
1741.77/1247.08	c (108,0) c | Hamming       |            16 % |      X     |     101044 |
1741.77/1247.08	c (108,0) c |---------------|-----------------|------------|------------|
1741.77/1247.08	c (108,0) c | RunningTime   |                 |   89.8 100%|   83.7  93%|
1741.77/1247.08	c (108,0) c | WaitingTime   |                 |    0.0   0%|    6.2   7%|
1741.77/1247.08	c (108,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|
1741.77/1247.08	c (108,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|
1741.77/1247.08	c (108,0) c | SolvingTime   |                 |   89.9     |   89.9     |
1741.77/1247.08	c (108,0) c | PropagationTim|                 |   82.5  92%|   78.5  87%|
1741.77/1247.08	c (108,0) c | AnalysisTime  |                 |    4.8   5%|    7.3   8%|
1741.77/1247.08	c (108,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|
1741.77/1247.08	c (108,0) c | SimplifyTime  |                 |    0.6   1%|    2.0   2%|
1741.77/1247.08	c (108,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|
1741.77/1247.08	c (108,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|
1741.77/1247.09	c (108,0) c |---------------|-----------------|------------|------------|
1741.77/1247.09	c (108,0) c
1741.77/1247.09	c (108,0) c
1741.77/1247.09	c (108,0) c Threads : 2
1741.77/1247.09	c (108,0) c Winner : 0
1741.77/1247.09	c (108,0) c Conflicts_0 : 63657
1741.77/1247.09	c (108,0) c Conflicts_1 : 51822
1741.77/1247.09	c (108,0) c Conflicts_total : 115479
1741.77/1247.09	c (108,0) c Conflicts_winner : 63657
1741.77/1247.09	c (108,0) c Decisions_0 : 216117
1741.77/1247.09	c (108,0) c Decisions_1 : 192447
1741.77/1247.09	c (108,0) c Decisions_total : 408564
1741.77/1247.09	c (108,0) c Decisions_winner : 216117
1741.77/1247.09	c (108,0) c Propagations_0 : 202490271
1741.77/1247.09	c (108,0) c Propagations_1 : 204743124
1741.77/1247.09	c (108,0) c Propagations_total : 407233395
1741.77/1247.09	c (108,0) c Propagations_winner : 202490271
1741.77/1247.09	c (108,0) c ReduceDBs_0 : 6
1741.77/1247.09	c (108,0) c ReduceDBs_1 : 6
1741.77/1247.09	c (108,0) c ReduceDBs_total : 12
1741.77/1247.09	c (108,0) c ReduceDBs_winner : 6
1741.77/1247.09	c (108,0) c SimpDBs_0 : 2
1741.77/1247.09	c (108,0) c SimpDBs_1 : 2
1741.77/1247.09	c (108,0) c SimpDBs_total : 4
1741.77/1247.09	c (108,0) c SimpDBs_winner : 2
1741.77/1247.09	c (108,0) c Restarts_0 : 201
1741.77/1247.09	c (108,0) c Restarts_1 : 174
1741.77/1247.09	c (108,0) c Restarts_total : 375
1741.77/1247.09	c (108,0) c Restarts_winner : 201
1741.77/1247.09	c (108,0) c ForcedImports_0 : 0
1741.77/1247.09	c (108,0) c ForcedImports_1 : 0
1741.77/1247.09	c (108,0) c ForcedImports_total : 0
1741.77/1247.09	c (108,0) c ForcedImports_winner : 0
1741.77/1247.09	c (108,0) c PropsBinClauses_0 : 102739725
1741.77/1247.09	c (108,0) c PropsBinClauses_1 : 92837440
1741.77/1247.09	c (108,0) c PropsBinClauses_total : 195577165
1741.77/1247.09	c (108,0) c PropsBinClauses_winner : 102739725
1741.77/1247.09	c (108,0) c PropsPreBlocker_0 : 3412897319
1741.77/1247.09	c (108,0) c PropsPreBlocker_1 : 3263191042
1741.77/1247.09	c (108,0) c PropsPreBlocker_total : 6676088361
1741.77/1247.09	c (108,0) c PropsPreBlocker_winner : 3412897319
1741.77/1247.09	c (108,0) c PropsNotBlocker_0 : 948651778
1741.77/1247.09	c (108,0) c PropsNotBlocker_1 : 980873309
1741.77/1247.09	c (108,0) c PropsNotBlocker_total : 1929525087
1741.77/1247.09	c (108,0) c PropsNotBlocker_winner : 948651778
1741.77/1247.09	c (108,0) c PropsLitFullScans_0 : 5152151684
1741.77/1247.09	c (108,0) c PropsLitFullScans_1 : 5202516185
1741.77/1247.09	c (108,0) c PropsLitFullScans_total : 10354667869
1741.77/1247.09	c (108,0) c PropsLitFullScans_winner : 5152151684
1741.77/1247.09	c (108,0) c LitScanFractions_0 : 1323115
1741.77/1247.09	c (108,0) c LitScanFractions_1 : 6494080
1741.77/1247.09	c (108,0) c LitScanFractions_total : 7817195
1741.77/1247.09	c (108,0) c LitScanFractions_winner : 1323115
1741.77/1247.09	c (108,0) c DecisionLevel0_0 : 214
1741.77/1247.09	c (108,0) c DecisionLevel0_1 : 174
1741.77/1247.09	c (108,0) c DecisionLevel0_total : 388
1741.77/1247.09	c (108,0) c DecisionLevel0_winner : 214
1741.77/1247.09	c (108,0) c Periods_0 : 858
1741.77/1247.09	c (108,0) c Periods_1 : 866
1741.77/1247.09	c (108,0) c Periods_total : 1724
1741.77/1247.09	c (108,0) c Periods_winner : 858
1741.77/1247.09	c (108,0) c Margin_0 : 20
1741.77/1247.09	c (108,0) c Margin_1 : 20
1741.77/1247.09	c (108,0) c Margin_total : 40
1741.77/1247.09	c (108,0) c Margin_winner : 20
1741.77/1247.09	c (108,0) c Exported_0 : 14031
1741.77/1247.09	c (108,0) c Exported_1 : 10604
1741.77/1247.09	c (108,0) c Exported_total : 24635
1741.77/1247.09	c (108,0) c Exported_winner : 14031
1741.77/1247.09	c (108,0) c Imported_0 : 10232
1741.77/1247.09	c (108,0) c Imported_1 : 13926
1741.77/1247.09	c (108,0) c Imported_total : 24158
1741.77/1247.09	c (108,0) c Imported_winner : 10232
1741.77/1247.09	c (108,0) c Good_0 : 87
1741.77/1247.09	c (108,0) c Good_1 : 299
1741.77/1247.09	c (108,0) c Good_total : 386
1741.77/1247.09	c (108,0) c Good_winner : 87
1741.77/1247.09	c (108,0) c Purge_0 : 10145
1741.77/1247.09	c (108,0) c Purge_1 : 13627
1741.77/1247.09	c (108,0) c Purge_total : 23772
1741.77/1247.09	c (108,0) c Purge_winner : 10145
1741.77/1247.09	c (108,0) c Promoted_0 : 0
1741.77/1247.09	c (108,0) c Promoted_1 : 0
1741.77/1247.09	c (108,0) c Promoted_total : 0
1741.77/1247.09	c (108,0) c Promoted_winner : 0
1741.77/1247.09	c (108,0) c Remove_Imp_0 : 0
1741.77/1247.09	c (108,0) c Remove_Imp_1 : 0
1741.77/1247.09	c (108,0) c Remove_Imp_total : 0
1741.77/1247.09	c (108,0) c Remove_Imp_winner : 0
1741.77/1247.09	c (108,0) c Blocked_Reuse_0 : 0
1741.77/1247.09	c (108,0) c Blocked_Reuse_1 : 0
1741.77/1247.09	c (108,0) c Blocked_Reuse_total : 0
1741.77/1247.09	c (108,0) c Blocked_Reuse_winner : 0
1741.77/1247.09	c (108,0) c Unaries_0 : 13
1741.77/1247.09	c (108,0) c Unaries_1 : 0
1741.77/1247.09	c (108,0) c Unaries_total : 13
1741.77/1247.09	c (108,0) c Unaries_winner : 13
1741.77/1247.09	c (108,0) c Binaries_0 : 302
1741.77/1247.09	c (108,0) c Binaries_1 : 95
1741.77/1247.09	c (108,0) c Binaries_total : 397
1741.77/1247.09	c (108,0) c Binaries_winner : 302
1741.77/1247.09	c (108,0) c Glues_0 : 2058
1741.77/1247.09	c (108,0) c Glues_1 : 1340
1741.77/1247.09	c (108,0) c Glues_total : 3398
1741.77/1247.09	c (108,0) c Glues_winner : 2058
1741.77/1247.09	c (108,0) c RunningTime_0 : 89.818728
1741.77/1247.09	c (108,0) c RunningTime_1 : 83.684600
1741.77/1247.09	c (108,0) c RunningTime_total : 173.503328
1741.77/1247.09	c (108,0) c RunningTime_winner : 89.818728
1741.77/1247.09	c (108,0) c WaitingTime_0 : 0.000150
1741.77/1247.09	c (108,0) c WaitingTime_1 : 6.179623
1741.77/1247.09	c (108,0) c WaitingTime_total : 6.179773
1741.77/1247.09	c (108,0) c WaitingTime_winner : 0.000150
1741.77/1247.09	c (108,0) c ExchangingTime_0 : 0.025340
1741.77/1247.09	c (108,0) c ExchangingTime_1 : 0.023201
1741.77/1247.09	c (108,0) c ExchangingTime_total : 0.048541
1741.77/1247.09	c (108,0) c ExchangingTime_winner : 0.025340
1741.77/1247.09	c (108,0) c PeriodProcTime_0 : 0.008757
1741.77/1247.09	c (108,0) c PeriodProcTime_1 : 0.008099
1741.77/1247.09	c (108,0) c PeriodProcTime_total : 0.016856
1741.77/1247.09	c (108,0) c PeriodProcTime_winner : 0.008757
1741.77/1247.09	c (108,0) c SolvingTime_0 : 89.852975
1741.77/1247.09	c (108,0) c SolvingTime_1 : 89.895523
1741.77/1247.09	c (108,0) c SolvingTime_total : 179.748498
1741.77/1247.09	c (108,0) c SolvingTime_winner : 89.852975
1741.77/1247.09	c (108,0) c PropagationTime_0 : 82.496442
1741.77/1247.09	c (108,0) c PropagationTime_1 : 78.543894
1741.77/1247.09	c (108,0) c PropagationTime_total : 161.040335
1741.77/1247.09	c (108,0) c PropagationTime_winner : 82.496442
1741.77/1247.09	c (108,0) c AnalysisTime_0 : 4.842757
1741.77/1247.09	c (108,0) c AnalysisTime_1 : 7.321964
1741.77/1247.09	c (108,0) c AnalysisTime_total : 12.164720
1741.77/1247.09	c (108,0) c AnalysisTime_winner : 4.842757
1741.77/1247.09	c (108,0) c ReductionTime_0 : 0.015717
1741.77/1247.09	c (108,0) c ReductionTime_1 : 0.015895
1741.77/1247.09	c (108,0) c ReductionTime_total : 0.031612
1741.77/1247.09	c (108,0) c ReductionTime_winner : 0.015717
1741.77/1247.09	c (108,0) c SimplifyTime_0 : 0.603022
1741.77/1247.09	c (108,0) c SimplifyTime_1 : 1.974013
1741.77/1247.09	c (108,0) c SimplifyTime_total : 2.577034
1741.77/1247.09	c (108,0) c SimplifyTime_winner : 0.603022
1741.77/1247.09	c (108,0) c UsedRateTime_0 : 0.000000
1741.77/1247.09	c (108,0) c UsedRateTime_1 : 0.000000
1741.77/1247.09	c (108,0) c UsedRateTime_total : 0.000000
1741.77/1247.09	c (108,0) c UsedRateTime_winner : 0.000000
1741.77/1247.09	c (108,0) c OverlapRateTime_0 : 0.000000
1741.77/1247.09	c (108,0) c OverlapRateTime_1 : 0.000000
1741.77/1247.09	c (108,0) c OverlapRateTime_total : 0.000000
1741.77/1247.09	c (108,0) c OverlapRateTime_winner : 0.000000
1741.77/1247.09	c (108,0) c
1741.77/1247.09	c (108,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1741.77/1247.09	c (108,0) c
1741.77/1247.09	c (108,0) c |-----------------------|------------|------------|
1741.77/1247.09	c (108,0) c | Threads               |          0 |          1 |
1741.77/1247.09	c (108,0) c |-----------------------|------------|------------|
1741.77/1247.09	c (108,0) c | randomizeFirstDescent |      False |       True |
1741.77/1247.09	c (108,0) c | adaptStrategeis       |       True |      False |
1741.77/1247.09	c (108,0) c | forceUnsatOnNewDescent|       True |       True |
1741.77/1247.09	c (108,0) c | Initial random_seed   |  719344429 |  805336820 |
1741.77/1247.09	c (108,0) c | chanseokStrategy      |      False |      False |
1741.77/1247.09	c (108,0) c | coLBDBound            |          5 |          5 |
1741.77/1247.09	c (108,0) c | glureduce             |       True |       True |
1741.77/1247.09	c (108,0) c | firstReduceDB         |       2000 |       2000 |
1741.77/1247.09	c (108,0) c | incReduceDB           |        300 |        300 |
1741.77/1247.09	c (108,0) c | luby_restart          |      False |      False |
1741.77/1247.09	c (108,0) c | luby_restart_factor   |        100 |        100 |
1741.77/1247.09	c (108,0) c | var_decay             |     0.9200 |     0.9000 |
1741.77/1247.09	c (108,0) c | max_var_decay         |     0.9500 |     0.9500 |
1741.77/1247.09	c (108,0) c | randomize_on_restarts |      False |      False |
1741.77/1247.09	c (108,0) c | remove_satisfied      |       True |       True |
1741.77/1247.09	c (108,0) c |-----------------------|------------|------------|
1741.77/1247.09	c (108,0) 
1741.77/1247.09	c (108,0) s SATISFIABLE
1550.65/1247.53	c (109,0) SatSolver.solve End
1550.65/1247.53	c (109,0) Heap : 236 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1550.65/1247.53	c (109,0) Show results Begin
1742.99/1247.68	c (109,0) x[0] = 423
1742.99/1247.68	c (109,0) x[1] = 141
1742.99/1247.68	c (109,0) x[2] = 147
1742.99/1247.68	c (109,0) x[3] = 588
1742.99/1247.68	c (109,0) x[4] = 172
1742.99/1247.68	c (109,0) x[5] = 233
1742.99/1247.68	c (109,0) x[6] = 249
1742.99/1247.68	c (109,0) x[7] = 91
1742.99/1247.68	c (109,0) x[8] = 390
1742.99/1247.68	c (109,0) x[9] = 27
1742.99/1247.68	c (109,0) x[10] = 558
1742.99/1247.68	c (109,0) x[11] = 382
1742.99/1247.68	c (109,0) x[12] = 455
1742.99/1247.68	c (109,0) x[13] = 539
1742.99/1247.68	c (109,0) x[14] = 519
1742.99/1247.68	c (109,0) x[15] = 197
1742.99/1247.68	c (109,0) x[16] = 434
1742.99/1247.68	c (109,0) x[17] = 414
1742.99/1247.68	c (109,0) x[18] = 593
1742.99/1247.68	c (109,0) x[19] = 179
1742.99/1247.68	c (109,0) x[20] = 591
1742.99/1247.68	c (109,0) x[21] = 9
1742.99/1247.68	c (109,0) x[22] = 33
1742.99/1247.68	c (109,0) x[23] = 0
1742.99/1247.68	c (109,0) x[24] = 184
1742.99/1247.68	c (109,0) x[25] = 55
1742.99/1247.68	c (109,0) x[26] = 222
1742.99/1247.68	c (109,0) x[27] = 113
1742.99/1247.68	c (109,0) x[28] = 385
1742.99/1247.68	c (109,0) x[29] = 532
1742.99/1247.68	c (109,0) x[30] = 551
1742.99/1247.68	c (109,0) x[31] = 413
1742.99/1247.68	c (109,0) x[32] = 240
1742.99/1247.68	c (109,0) x[33] = 439
1742.99/1247.68	c (109,0) x[34] = 306
1742.99/1247.68	c (109,0) x[35] = 286
1742.99/1247.68	c (109,0) x[36] = 69
1742.99/1247.68	c (109,0) x[37] = 250
1742.99/1247.68	c (109,0) x[38] = 501
1742.99/1247.68	c (109,0) x[39] = 112
1742.99/1247.68	c (109,0) x[40] = 525
1742.99/1247.68	c (109,0) x[41] = 227
1742.99/1247.68	c (109,0) x[42] = 23
1742.99/1247.68	c (109,0) x[43] = 494
1742.99/1247.68	c (109,0) x[44] = 92
1742.99/1247.68	c (109,0) x[45] = 403
1742.99/1247.68	c (109,0) x[46] = 526
1742.99/1247.68	c (109,0) x[47] = 107
1742.99/1247.68	c (109,0) x[48] = 28
1742.99/1247.68	c (109,0) x[49] = 499
1742.99/1247.68	c (109,0) x[50] = 41
1742.99/1247.68	c (109,0) x[51] = 122
1742.99/1247.68	c (109,0) x[52] = 259
1742.99/1247.68	c (109,0) x[53] = 74
1742.99/1247.68	c (109,0) x[54] = 340
1742.99/1247.68	c (109,0) x[55] = 89
1742.99/1247.68	c (109,0) x[56] = 377
1742.99/1247.68	c (109,0) x[57] = 402
1742.99/1247.68	c (109,0) x[58] = 255
1742.99/1247.68	c (109,0) x[59] = 521
1742.99/1247.68	c (109,0) x[60] = 356
1742.99/1247.68	c (109,0) x[61] = 194
1742.99/1247.68	c (109,0) x[62] = 42
1742.99/1247.68	c (109,0) x[63] = 290
1742.99/1247.68	c (109,0) x[64] = 235
1742.99/1247.68	c (109,0) x[65] = 106
1742.99/1247.68	c (109,0) x[66] = 77
1742.99/1247.68	c (109,0) x[67] = 393
1742.99/1247.68	c (109,0) x[68] = 549
1742.99/1247.68	c (109,0) x[69] = 217
1742.99/1247.68	c (109,0) x[70] = 126
1742.99/1247.68	c (109,0) x[71] = 101
1742.99/1247.68	c (109,0) x[72] = 111
1742.99/1247.68	c (109,0) x[73] = 31
1742.99/1247.68	c (109,0) x[74] = 469
1742.99/1247.68	c (109,0) x[75] = 400
1742.99/1247.68	c (109,0) x[76] = 100
1742.99/1247.68	c (109,0) x[77] = 130
1742.99/1247.68	c (109,0) x[78] = 280
1742.99/1247.68	c (109,0) x[79] = 552
1742.99/1247.68	c (109,0) x[80] = 321
1742.99/1247.68	c (109,0) x[81] = 325
1742.99/1247.68	c (109,0) x[82] = 524
1742.99/1247.68	c (109,0) x[83] = 125
1742.99/1247.68	c (109,0) x[84] = 473
1742.99/1247.68	c (109,0) x[85] = 274
1742.99/1247.68	c (109,0) x[86] = 449
1742.99/1247.68	c (109,0) x[87] = 395
1742.99/1247.68	c (109,0) x[88] = 562
1742.99/1247.68	c (109,0) x[89] = 124
1742.99/1247.68	c (109,0) x[90] = 212
1742.99/1247.68	c (109,0) x[91] = 19
1742.99/1247.68	c (109,0) x[92] = 375
1742.99/1247.68	c (109,0) x[93] = 577
1742.99/1247.68	c (109,0) x[94] = 93
1742.99/1247.68	c (109,0) x[95] = 34
1742.99/1247.68	c (109,0) x[96] = 6
1742.99/1247.68	c (109,0) x[97] = 548
1742.99/1247.68	c (109,0) x[98] = 46
1742.99/1247.68	c (109,0) x[99] = 213
1742.99/1247.68	c (109,0) x[100] = 305
1742.99/1247.68	c (109,0) x[101] = 318
1742.99/1247.68	c (109,0) x[102] = 202
1742.99/1247.68	c (109,0) x[103] = 420
1742.99/1247.68	c (109,0) x[104] = 537
1742.99/1247.68	c (109,0) x[105] = 167
1742.99/1247.68	c (109,0) x[106] = 270
1742.99/1247.68	c (109,0) x[107] = 560
1742.99/1247.68	c (109,0) x[108] = 262
1742.99/1247.68	c (109,0) x[109] = 550
1742.99/1247.68	c (109,0) x[110] = 45
1742.99/1247.68	c (109,0) x[111] = 264
1742.99/1247.68	c (109,0) x[112] = 332
1742.99/1247.68	c (109,0) x[113] = 88
1742.99/1247.68	c (109,0) x[114] = 230
1742.99/1247.68	c (109,0) x[115] = 283
1742.99/1247.68	c (109,0) x[116] = 463
1742.99/1247.68	c (109,0) x[117] = 73
1742.99/1247.68	c (109,0) x[118] = 133
1742.99/1247.68	c (109,0) x[119] = 354
1742.99/1247.68	c (109,0) x[120] = 333
1742.99/1247.68	c (109,0) x[121] = 485
1742.99/1247.68	c (109,0) x[122] = 361
1742.99/1247.68	c (109,0) x[123] = 478
1742.99/1247.68	c (109,0) x[124] = 594
1742.99/1247.68	c (109,0) x[125] = 520
1742.99/1247.68	c (109,0) x[126] = 302
1742.99/1247.68	c (109,0) x[127] = 563
1742.99/1247.68	c (109,0) x[128] = 177
1742.99/1247.68	c (109,0) x[129] = 533
1742.99/1247.68	c (109,0) x[130] = 468
1742.99/1247.68	c (109,0) x[131] = 296
1742.99/1247.68	c (109,0) x[132] = 546
1742.99/1247.68	c (109,0) x[133] = 349
1742.99/1247.68	c (109,0) x[134] = 56
1742.99/1247.68	c (109,0) x[135] = 510
1742.99/1247.68	c (109,0) x[136] = 596
1742.99/1247.68	c (109,0) x[137] = 317
1742.99/1247.68	c (109,0) x[138] = 583
1742.99/1247.68	c (109,0) x[139] = 481
1742.99/1247.68	c (109,0) x[140] = 433
1742.99/1247.68	c (109,0) x[141] = 504
1742.99/1247.68	c (109,0) x[142] = 470
1742.99/1247.68	c (109,0) x[143] = 246
1742.99/1247.68	c (109,0) x[144] = 540
1742.99/1247.68	c (109,0) x[145] = 36
1742.99/1247.68	c (109,0) x[146] = 18
1742.99/1247.68	c (109,0) x[147] = 304
1742.99/1247.68	c (109,0) x[148] = 534
1742.99/1247.68	c (109,0) x[149] = 530
1742.99/1247.68	c (109,0) x[150] = 536
1742.99/1247.68	c (109,0) x[151] = 364
1742.99/1247.68	c (109,0) x[152] = 376
1742.99/1247.68	c (109,0) x[153] = 326
1742.99/1247.68	c (109,0) x[154] = 374
1742.99/1247.68	c (109,0) x[155] = 83
1742.99/1247.68	c (109,0) x[156] = 52
1742.99/1247.68	c (109,0) x[157] = 292
1742.99/1247.68	c (109,0) x[158] = 486
1742.99/1247.68	c (109,0) x[159] = 346
1742.99/1247.68	c (109,0) x[160] = 339
1742.99/1247.68	c (109,0) x[161] = 195
1742.99/1247.68	c (109,0) x[162] = 90
1742.99/1247.68	c (109,0) x[163] = 479
1742.99/1247.68	c (109,0) x[164] = 427
1742.99/1247.68	c (109,0) x[165] = 173
1742.99/1247.68	c (109,0) x[166] = 465
1742.99/1247.68	c (109,0) x[167] = 271
1742.99/1247.68	c (109,0) x[168] = 373
1742.99/1247.68	c (109,0) x[169] = 487
1742.99/1247.68	c (109,0) x[170] = 480
1742.99/1247.68	c (109,0) x[171] = 64
1742.99/1247.68	c (109,0) x[172] = 587
1742.99/1247.68	c (109,0) x[173] = 288
1742.99/1247.68	c (109,0) x[174] = 8
1742.99/1247.68	c (109,0) x[175] = 351
1742.99/1247.68	c (109,0) x[176] = 399
1742.99/1247.68	c (109,0) x[177] = 225
1742.99/1247.68	c (109,0) x[178] = 53
1742.99/1247.68	c (109,0) x[179] = 459
1742.99/1247.68	c (109,0) x[180] = 475
1742.99/1247.68	c (109,0) x[181] = 170
1742.99/1247.68	c (109,0) x[182] = 50
1742.99/1247.68	c (109,0) x[183] = 2
1742.99/1247.68	c (109,0) x[184] = 193
1742.99/1247.68	c (109,0) x[185] = 152
1742.99/1247.68	c (109,0) x[186] = 527
1742.99/1247.68	c (109,0) x[187] = 556
1742.99/1247.68	c (109,0) x[188] = 47
1742.99/1247.68	c (109,0) x[189] = 371
1742.99/1247.68	c (109,0) x[190] = 531
1742.99/1247.68	c (109,0) x[191] = 362
1742.99/1247.68	c (109,0) x[192] = 191
1742.99/1247.68	c (109,0) x[193] = 151
1742.99/1247.68	c (109,0) x[194] = 78
1742.99/1247.68	c (109,0) x[195] = 178
1742.99/1247.68	c (109,0) x[196] = 281
1742.99/1247.68	c (109,0) x[197] = 564
1742.99/1247.68	c (109,0) x[198] = 575
1742.99/1247.68	c (109,0) x[199] = 372
1742.99/1247.68	c (109,0) x[200] = 87
1742.99/1247.68	c (109,0) x[201] = 62
1742.99/1247.68	c (109,0) x[202] = 188
1742.99/1247.68	c (109,0) x[203] = 576
1742.99/1247.68	c (109,0) x[204] = 98
1742.99/1247.68	c (109,0) x[205] = 186
1742.99/1247.68	c (109,0) x[206] = 348
1742.99/1247.68	c (109,0) x[207] = 412
1742.99/1247.68	c (109,0) x[208] = 491
1742.99/1247.68	c (109,0) x[209] = 297
1742.99/1247.68	c (109,0) x[210] = 138
1742.99/1247.68	c (109,0) x[211] = 324
1742.99/1247.68	c (109,0) x[212] = 541
1742.99/1247.68	c (109,0) x[213] = 506
1742.99/1247.68	c (109,0) x[214] = 553
1742.99/1247.68	c (109,0) x[215] = 419
1742.99/1247.68	c (109,0) x[216] = 142
1742.99/1247.68	c (109,0) x[217] = 257
1742.99/1247.68	c (109,0) x[218] = 384
1742.99/1247.68	c (109,0) x[219] = 309
1742.99/1247.68	c (109,0) x[220] = 231
1742.99/1247.68	c (109,0) x[221] = 502
1742.99/1247.68	c (109,0) x[222] = 301
1742.99/1247.68	c (109,0) x[223] = 131
1742.99/1247.68	c (109,0) x[224] = 127
1742.99/1247.68	c (109,0) x[225] = 574
1742.99/1247.68	c (109,0) x[226] = 25
1742.99/1247.68	c (109,0) x[227] = 571
1742.99/1247.68	c (109,0) x[228] = 245
1742.99/1247.68	c (109,0) x[229] = 117
1742.99/1247.68	c (109,0) x[230] = 579
1742.99/1247.68	c (109,0) x[231] = 350
1742.99/1247.68	c (109,0) x[232] = 513
1742.99/1247.68	c (109,0) x[233] = 95
1742.99/1247.68	c (109,0) x[234] = 416
1742.99/1247.68	c (109,0) x[235] = 338
1742.99/1247.68	c (109,0) x[236] = 267
1742.99/1247.68	c (109,0) x[237] = 366
1742.99/1247.68	c (109,0) x[238] = 71
1742.99/1247.68	c (109,0) x[239] = 561
1742.99/1247.68	s SATISFIABLE
1742.99/1247.69	v <instantiation>
1742.99/1247.69	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>
1742.99/1247.69	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>
1742.99/1247.69	v </instantiation>
1742.99/1247.69	c (109,0) Show results End
1742.99/1247.69	c (109,0) Heap : 257 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1742.99/1247.69	c (109,0) 109,109,STOP-AFTER(ALL)
1742.99/1247.69	c END-Prog: Tue Sep 24 17:51:04 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 (10917 MiB free)
  memory of node 1: 16384 MiB (14065 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100061 s]*
/proc/loadavg: 1.82 5.33 5.63 4/212 16828
/proc/meminfo: memFree=25487172/32770624 swapFree=66999800/67108860
[pid=16806] ppid=16803 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16806/stat : 16806 (scop.sh) S 16803 16806 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510170351 115843072 349 33554432000 4194304 5098028 140727762027824 140727762025080 140459997536892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19546112 140727762035492 140727762035820 140727762035820 140727762038733 0
/proc/16806/statm: 28282 349 296 221 0 87 0
[pid=16809] ppid=16806 vsize=27314120 memory=109876 CPUtime=0.1 cores=0-7
/proc/16809/stat : 16809 (java) S 16806 16806 15640 0 -1 1077944320 6507 0 0 0 8 2 0 0 20 0 20 0 510170351 27969658880 27469 33554432000 4194304 4196468 140733003222752 140733003205296 139909200310007 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
/proc/16809/statm: 6828530 27469 2801 1 0 6790935 0
[pid=16809/tid=16810] ppid=16806 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/16809/task/16810/stat : 16810 (java) R 16806 16806 15640 0 -1 4202560 4624 0 0 0 7 2 0 0 20 0 20 0 510170351 27969658880 27469 33554432000 4194304 4196468 140733003222752 139909172133056 139909200331933 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16811] ppid=16806 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16809/task/16811/stat : 16811 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 27469 33554432000 4194304 4196468 140733003222752 139909204552720 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16812] ppid=16806 vsize=27314120 memory=139833199421056 CPUtime=0 cores=0-7
/proc/16809/task/16812/stat : 16812 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 27469 33554432000 4194304 4196468 140733003222752 139909031369872 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16813] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16813/stat : 16813 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908621093648 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16814] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16814/stat : 16814 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908620041104 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16815] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16815/stat : 16815 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908618988048 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16816] ppid=16806 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16809/task/16816/stat : 16816 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908617935504 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16817] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16817/stat : 16817 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908616882448 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16818] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16818/stat : 16818 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908615829904 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16819] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16819/stat : 16819 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170355 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908325735152 139909200321154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16820] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16820/stat : 16820 (java) S 16806 16806 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510170356 27969658880 27469 33554432000 4194304 4196468 140733003222752 139907083265696 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16821] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16821/stat : 16821 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170356 27969658880 27469 33554432000 4194304 4196468 140733003222752 139906814829808 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16822] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16822/stat : 16822 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 27469 33554432000 4194304 4196468 140733003222752 139906440321488 139909200328603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16823] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16823/stat : 16823 (java) S 16806 16806 15640 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908324681968 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16824] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16824/stat : 16824 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908323629424 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16825] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16825/stat : 16825 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908322576368 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16826] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16826/stat : 16826 (java) S 16806 16806 15640 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908321523824 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16827] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16827/stat : 16827 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 27469 33554432000 4194304 4196468 140733003222752 139905942416352 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16828] ppid=16806 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16809/task/16828/stat : 16828 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 27469 33554432000 4194304 4196468 140733003222752 139908320472240 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111272 KiB

[startup+0.21056 s]*
/proc/loadavg: 1.82 5.33 5.63 2/212 16828
/proc/meminfo: memFree=25464640/32770624 swapFree=66999800/67108860
[pid=16806] ppid=16803 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16806/stat : 16806 (scop.sh) S 16803 16806 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510170351 115843072 349 33554432000 4194304 5098028 140727762027824 140727762025080 140459997536892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19546112 140727762035492 140727762035820 140727762035820 140727762038733 0
/proc/16806/statm: 28282 349 296 221 0 87 0
[pid=16809] ppid=16806 vsize=27314120 memory=128956 CPUtime=0.25 cores=0-7
/proc/16809/stat : 16809 (java) S 16806 16806 15640 0 -1 1077944320 12123 0 0 0 21 4 0 0 20 0 20 0 510170351 27969658880 32239 33554432000 4194304 4196468 140733003222752 140733003205296 139909200310007 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
/proc/16809/statm: 6828530 32239 2942 1 0 6790935 0
[pid=16809/tid=16810] ppid=16806 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16809/task/16810/stat : 16810 (java) R 16806 16806 15640 0 -1 4202560 9849 0 0 0 17 3 0 0 20 0 20 0 510170351 27969658880 32239 33554432000 4194304 4196468 140733003222752 139909172109392 139909180585310 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16811] ppid=16806 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/16809/task/16811/stat : 16811 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 32239 33554432000 4194304 4196468 140733003222752 139909204552720 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16812] ppid=16806 vsize=27314120 memory=288370209351132800 CPUtime=0 cores=0-7
/proc/16809/task/16812/stat : 16812 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 32239 33554432000 4194304 4196468 140733003222752 139909031369872 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16813] ppid=16806 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16809/task/16813/stat : 16813 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908621093648 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16814] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16814/stat : 16814 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908620041104 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16815] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16815/stat : 16815 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908618988048 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16816] ppid=16806 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16809/task/16816/stat : 16816 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908617935504 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16817] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16817/stat : 16817 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908616882448 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16818] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16818/stat : 16818 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908615829904 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16819] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16819/stat : 16819 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170355 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908325735152 139909200321154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16820] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16820/stat : 16820 (java) S 16806 16806 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510170356 27969658880 32239 33554432000 4194304 4196468 140733003222752 139907083265696 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16821] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16821/stat : 16821 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170356 27969658880 32239 33554432000 4194304 4196468 140733003222752 139906814829808 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16822] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16822/stat : 16822 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 32239 33554432000 4194304 4196468 140733003222752 139906440321488 139909200328603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16823] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16823/stat : 16823 (java) S 16806 16806 15640 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908324681968 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16824] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16824/stat : 16824 (java) S 16806 16806 15640 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908323629424 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16825] ppid=16806 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16809/task/16825/stat : 16825 (java) S 16806 16806 15640 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908322576368 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16826] ppid=16806 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16809/task/16826/stat : 16826 (java) S 16806 16806 15640 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 510170359 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908321523824 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16827] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16827/stat : 16827 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 32239 33554432000 4194304 4196468 140733003222752 139905942416352 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16828] ppid=16806 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16809/task/16828/stat : 16828 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 32239 33554432000 4194304 4196468 140733003222752 139908320472240 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130352 KiB

[startup+0.310261 s]*
/proc/loadavg: 1.82 5.33 5.63 2/212 16828
/proc/meminfo: memFree=25462096/32770624 swapFree=66999800/67108860
[pid=16806] ppid=16803 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16806/stat : 16806 (scop.sh) S 16803 16806 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510170351 115843072 349 33554432000 4194304 5098028 140727762027824 140727762025080 140459997536892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19546112 140727762035492 140727762035820 140727762035820 140727762038733 0
/proc/16806/statm: 28282 349 296 221 0 87 0
[pid=16809] ppid=16806 vsize=27314120 memory=132828 CPUtime=0.42 cores=0-7
/proc/16809/stat : 16809 (java) S 16806 16806 15640 0 -1 1077944320 12477 0 0 0 38 4 0 0 20 0 20 0 510170351 27969658880 33207 33554432000 4194304 4196468 140733003222752 140733003205296 139909200310007 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
/proc/16809/statm: 6828530 33207 3070 1 0 6790935 0
[pid=16809/tid=16810] ppid=16806 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/16809/task/16810/stat : 16810 (java) R 16806 16806 15640 0 -1 4202560 10036 0 0 0 26 3 0 0 20 0 20 0 510170351 27969658880 33207 33554432000 4194304 4196468 140733003222752 139909172137648 139909183496816 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16811] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16811/stat : 16811 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 33207 33554432000 4194304 4196468 140733003222752 139909204552720 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16812] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16812/stat : 16812 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 33207 33554432000 4194304 4196468 140733003222752 139909031369872 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16813] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16813/stat : 16813 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908621093648 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16814] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16814/stat : 16814 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908620041104 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16815] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16815/stat : 16815 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908618988048 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16816] ppid=16806 vsize=27314120 memory=139833062288047 CPUtime=0 cores=0-7
/proc/16809/task/16816/stat : 16816 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908617935504 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16817] ppid=16806 vsize=27314120 memory=139833062290352 CPUtime=0 cores=0-7
/proc/16809/task/16817/stat : 16817 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908616882448 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16818] ppid=16806 vsize=27314120 memory=139833062292656 CPUtime=0 cores=0-7
/proc/16809/task/16818/stat : 16818 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510170354 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908615829904 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16819] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16819/stat : 16819 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170355 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908325735152 139909200321154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16820] ppid=16806 vsize=27314120 memory=279666124599184 CPUtime=0 cores=0-7
/proc/16809/task/16820/stat : 16820 (java) S 16806 16806 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510170356 27969658880 33207 33554432000 4194304 4196468 140733003222752 139907083265696 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16821] ppid=16806 vsize=27314120 memory=279666124596880 CPUtime=0 cores=0-7
/proc/16809/task/16821/stat : 16821 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170356 27969658880 33207 33554432000 4194304 4196468 140733003222752 139906814829808 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16822] ppid=16806 vsize=27314120 memory=279666124603792 CPUtime=0 cores=0-7
/proc/16809/task/16822/stat : 16822 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 33207 33554432000 4194304 4196468 140733003222752 139906440321488 139909200328603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16823] ppid=16806 vsize=27314120 memory=279666124545072 CPUtime=0 cores=0-7
/proc/16809/task/16823/stat : 16823 (java) S 16806 16806 15640 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908324681968 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16824] ppid=16806 vsize=27314120 memory=279666124617616 CPUtime=0 cores=0-7
/proc/16809/task/16824/stat : 16824 (java) S 16806 16806 15640 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 510170358 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908323629424 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16825] ppid=16806 vsize=27314120 memory=279666124624528 CPUtime=0.02 cores=0-7
/proc/16809/task/16825/stat : 16825 (java) R 16806 16806 15640 0 -1 4202560 269 0 0 0 2 0 0 0 20 0 20 0 510170359 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908322576368 139909177944656 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16826] ppid=16806 vsize=27314120 memory=279666124622224 CPUtime=0.07 cores=0-7
/proc/16809/task/16826/stat : 16826 (java) S 16806 16806 15640 0 -1 1077944384 477 0 0 0 7 0 0 0 20 0 20 0 510170359 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908321523824 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16827] ppid=16806 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16827/stat : 16827 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 33207 33554432000 4194304 4196468 140733003222752 139905942416352 139909200320213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16828] ppid=16806 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16809/task/16828/stat : 16828 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170359 27969658880 33207 33554432000 4194304 4196468 140733003222752 139908320472240 139909200321154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 134224 KiB

[startup+0.707311 s]
/proc/loadavg: 1.82 5.33 5.63 2/212 16828
/proc/meminfo: memFree=25440764/32770624 swapFree=66999800/67108860
[pid=16806] ppid=16803 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16806/stat : 16806 (scop.sh) S 16803 16806 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510170351 115843072 349 33554432000 4194304 5098028 140727762027824 140727762025080 140459997536892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19546112 140727762035492 140727762035820 140727762035820 140727762038733 0
/proc/16806/statm: 28282 349 296 221 0 87 0
[pid=16809] ppid=16806 vsize=27320392 memory=167444 CPUtime=1.01 cores=0-7
/proc/16809/stat : 16809 (java) S 16806 16806 15640 0 -1 1077944320 19891 0 0 0 94 7 0 0 20 0 20 0 510170351 27976081408 41861 33554432000 4194304 4196468 140733003222752 140733003205296 139909200310007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
/proc/16809/statm: 6830098 41861 3185 1 0 6791447 0
[pid=16809/tid=16810] ppid=16806 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/16809/task/16810/stat : 16810 (java) R 16806 16806 15640 0 -1 4202560 16954 0 0 0 63 5 0 0 20 0 20 0 510170351 27976081408 41861 33554432000 4194304 4196468 140733003222752 139909172148464 139909200321942 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16811] ppid=16806 vsize=27320392 memory=139833062499184 CPUtime=0 cores=0-7
/proc/16809/task/16811/stat : 16811 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27976081408 41861 33554432000 4194304 4196468 140733003222752 139909204552720 139909200320213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16812] ppid=16806 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16809/task/16812/stat : 16812 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510170354 27976081408 41861 33554432000 4194304 4196468 140733003222752 139909031369872 139909200320213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0
[pid=16809/tid=16813] ppid=16806 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/16809/task/16813/stat : 16813 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510170354 27976081408 41861 33554432000 4194304 4196468 140733003222752 139908621093648 139909200320213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140733003227882 140733003228310 140733003228310 140733003231183 0

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

[pid=16908/tid=16909] ppid=16806 vsize=8414124 memory=8325082713259408270 CPUtime=0.78 cores=0-7
/proc/16908/task/16909/stat : 16909 (java) S 16806 16806 15640 0 -1 1077944384 17958 0 0 0 72 6 0 0 20 0 24 0 510284146 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815956152224 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16910] ppid=16806 vsize=8414124 memory=121416 CPUtime=0 cores=0-7
/proc/16908/task/16910/stat : 16910 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510284147 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815988554384 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16911] ppid=16806 vsize=8414124 memory=5519872 CPUtime=0 cores=0-7
/proc/16908/task/16911/stat : 16911 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510284147 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815469795856 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16912] ppid=16806 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/16908/task/16912/stat : 16912 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510284147 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815468743056 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16913] ppid=16806 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/16908/task/16913/stat : 16913 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510284147 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815467690256 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16914] ppid=16806 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16908/task/16914/stat : 16914 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510284147 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815466638480 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16915] ppid=16806 vsize=8414124 memory=121416 CPUtime=0 cores=0-7
/proc/16908/task/16915/stat : 16915 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510284147 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815465585680 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16916] ppid=16806 vsize=8414124 memory=5511372 CPUtime=0 cores=0-7
/proc/16908/task/16916/stat : 16916 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510284147 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815464532880 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16917] ppid=16806 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/16908/task/16917/stat : 16917 (java) S 16806 16806 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510284147 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815463480080 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16918] ppid=16806 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/16908/task/16918/stat : 16918 (java) S 16806 16806 15640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510284149 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815211231600 139815984323202 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16919] ppid=16806 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16908/task/16919/stat : 16919 (java) S 16806 16806 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510284149 8616062976 34652 33554432000 4194304 4196468 140724276181712 139814540141600 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16920] ppid=16806 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/16908/task/16920/stat : 16920 (java) S 16806 16806 15640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510284149 8616062976 34652 33554432000 4194304 4196468 140724276181712 139814405919600 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16921] ppid=16806 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16908/task/16921/stat : 16921 (java) S 16806 16806 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510284152 8616062976 34652 33554432000 4194304 4196468 140724276181712 139814031415120 139815984330651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16922] ppid=16806 vsize=8414124 memory=1808 CPUtime=0.1 cores=0-7
/proc/16908/task/16922/stat : 16922 (java) S 16806 16806 15640 0 -1 1077944384 673 0 0 0 10 0 0 0 20 0 24 0 510284152 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815210179440 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16923] ppid=16806 vsize=8414124 memory=4486604260213485459 CPUtime=0.14 cores=0-7
/proc/16908/task/16923/stat : 16923 (java) S 16806 16806 15640 0 -1 1077944384 748 0 0 0 14 0 0 0 20 0 24 0 510284152 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815209126640 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16924] ppid=16806 vsize=8414124 memory=3580 CPUtime=0.07 cores=0-7
/proc/16908/task/16924/stat : 16924 (java) S 16806 16806 15640 0 -1 1077944384 285 0 0 0 7 0 0 0 20 0 24 0 510284152 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815208073840 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16925] ppid=16806 vsize=8414124 memory=63024 CPUtime=0.25 cores=0-7
/proc/16908/task/16925/stat : 16925 (java) S 16806 16806 15640 0 -1 1077944384 984 0 0 0 25 0 0 0 20 0 24 0 510284152 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815207021040 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16926] ppid=16806 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/16908/task/16926/stat : 16926 (java) S 16806 16806 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510284152 8616062976 34652 33554432000 4194304 4196468 140724276181712 139813533510240 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16927] ppid=16806 vsize=8414124 memory=2020 CPUtime=0.05 cores=0-7
/proc/16908/task/16927/stat : 16927 (java) S 16806 16806 15640 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 24 0 510284153 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815205968432 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16929] ppid=16806 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/16908/task/16929/stat : 16929 (java) S 16806 16806 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510284222 8616062976 34652 33554432000 4194304 4196468 140724276181712 139815278625856 139815984336665 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16931] ppid=16806 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7
/proc/16908/task/16931/stat : 16931 (java) S 16806 16806 15640 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 24 0 510284222 8616062976 34652 33554432000 4194304 4196468 140724276181712 139812862410880 139815984333981 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16932] ppid=16806 vsize=8414124 memory=5515820 CPUtime=0 cores=0-7
/proc/16908/task/16932/stat : 16932 (java) S 16806 16806 15640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510284222 8616062976 34652 33554432000 4194304 4196468 140724276181712 139813130846256 139815984333981 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16933] ppid=16806 vsize=8414124 memory=3580 CPUtime=0 cores=0-7
/proc/16908/task/16933/stat : 16933 (java) S 16806 16806 15640 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510284224 8616062976 34652 33554432000 4194304 4196468 140724276181712 139812593983024 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
Current children cumulated CPU time: 1742.12 s
Current children cumulated vsize: 14609924 KiB
Current children cumulated memory: 5663388 KiB

[startup+1247.6 s]
/proc/loadavg: 1.73 1.49 2.45 3/218 16948
/proc/meminfo: memFree=18907008/32770624 swapFree=66999800/67108860
[pid=16806] ppid=16803 vsize=113128 memory=1476 CPUtime=1548.77 cores=0-7
/proc/16806/stat : 16806 (scop.sh) S 16803 16806 15640 0 -1 4202496 583 487026 0 0 0 0 150298 4579 20 0 1 0 510170351 115843072 369 33554432000 4194304 5098028 140727762027824 140727762024568 140459997536892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19546112 140727762035492 140727762035820 140727762035820 140727762038733 0
/proc/16806/statm: 28282 369 311 221 0 87 0
[pid=16908] ppid=16806 vsize=8283048 memory=256608 CPUtime=194.22 cores=0-7
/proc/16908/stat : 16908 (java) S 16806 16806 15640 0 -1 1077944320 22498 4814077 0 0 193 13 18420 796 20 0 22 0 510284145 8481841152 64152 33554432000 4194304 4196468 140724276181712 140724276164256 139815984312055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
/proc/16908/statm: 2070762 64152 3221 1 0 2032106 0
[pid=16908/tid=16909] ppid=16806 vsize=8283048 memory=6791534058613427641 CPUtime=193.02 cores=0-7
/proc/16908/task/16909/stat : 16909 (java) R 16806 16806 15640 0 -1 4202560 18095 4814077 0 0 80 6 18420 796 20 0 22 0 510284146 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815956149824 139815487799042 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16910] ppid=16806 vsize=8283048 memory=1432 CPUtime=192.16 cores=0-7
/proc/16908/task/16910/stat : 16910 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815988554384 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16911] ppid=16806 vsize=8283048 memory=9396 CPUtime=192.16 cores=0-7
/proc/16908/task/16911/stat : 16911 (java) S 16806 16806 15640 0 -1 1077944384 3 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815469795856 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16912] ppid=16806 vsize=8283048 memory=656 CPUtime=192.16 cores=0-7
/proc/16908/task/16912/stat : 16912 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815468743056 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16913] ppid=16806 vsize=8283048 memory=3612 CPUtime=192.16 cores=0-7
/proc/16908/task/16913/stat : 16913 (java) S 16806 16806 15640 0 -1 1077944384 1 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815467690256 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16914] ppid=16806 vsize=8283048 memory=2832 CPUtime=192.16 cores=0-7
/proc/16908/task/16914/stat : 16914 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815466638480 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16915] ppid=16806 vsize=8283048 memory=1552 CPUtime=192.16 cores=0-7
/proc/16908/task/16915/stat : 16915 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815465585680 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16916] ppid=16806 vsize=8283048 memory=1204 CPUtime=192.16 cores=0-7
/proc/16908/task/16916/stat : 16916 (java) S 16806 16806 15640 0 -1 1077944384 1 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815464532880 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16917] ppid=16806 vsize=8283048 memory=1072 CPUtime=192.16 cores=0-7
/proc/16908/task/16917/stat : 16917 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815463480080 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16918] ppid=16806 vsize=8283048 memory=6096 CPUtime=192.16 cores=0-7
/proc/16908/task/16918/stat : 16918 (java) S 16806 16806 15640 0 -1 1077944384 6 4814077 0 0 0 0 18420 796 20 0 22 0 510284149 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815211231600 139815984323202 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16919] ppid=16806 vsize=8283048 memory=1544 CPUtime=192.16 cores=0-7
/proc/16908/task/16919/stat : 16919 (java) S 16806 16806 15640 0 -1 1077944384 13 4814077 0 0 0 0 18420 796 20 0 22 0 510284149 8481841152 64152 33554432000 4194304 4196468 140724276181712 139814540141600 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16920] ppid=16806 vsize=8283048 memory=776 CPUtime=192.16 cores=0-7
/proc/16908/task/16920/stat : 16920 (java) S 16806 16806 15640 0 -1 1077944384 21 4814077 0 0 0 0 18420 796 20 0 22 0 510284149 8481841152 64152 33554432000 4194304 4196468 140724276181712 139814405919600 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16921] ppid=16806 vsize=8283048 memory=1056 CPUtime=192.16 cores=0-7
/proc/16908/task/16921/stat : 16921 (java) S 16806 16806 15640 0 -1 1077944384 1 4814077 0 0 0 0 18420 796 20 0 22 0 510284152 8481841152 64152 33554432000 4194304 4196468 140724276181712 139814031415120 139815984330651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16922] ppid=16806 vsize=8283048 memory=14012 CPUtime=192.32 cores=0-7
/proc/16908/task/16922/stat : 16922 (java) S 16806 16806 15640 0 -1 1077944384 695 4814077 0 0 16 0 18420 796 20 0 22 0 510284152 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815210179440 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16923] ppid=16806 vsize=8283048 memory=33880 CPUtime=192.38 cores=0-7
/proc/16908/task/16923/stat : 16923 (java) S 16806 16806 15640 0 -1 1077944384 776 4814077 0 0 22 0 18420 796 20 0 22 0 510284152 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815209126640 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16924] ppid=16806 vsize=8283048 memory=12024 CPUtime=192.29 cores=0-7
/proc/16908/task/16924/stat : 16924 (java) S 16806 16806 15640 0 -1 1077944384 308 4814077 0 0 13 0 18420 796 20 0 22 0 510284152 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815208073840 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16925] ppid=16806 vsize=8283048 memory=2120 CPUtime=192.45 cores=0-7
/proc/16908/task/16925/stat : 16925 (java) R 16806 16806 15640 0 -1 4202560 1074 4814077 0 0 29 0 18420 796 20 0 22 0 510284152 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815207021040 139815968392542 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16926] ppid=16806 vsize=8283048 memory=496 CPUtime=192.16 cores=0-7
/proc/16908/task/16926/stat : 16926 (java) S 16806 16806 15640 0 -1 1077944384 3 4814077 0 0 0 0 18420 796 20 0 22 0 510284152 8481841152 64152 33554432000 4194304 4196468 140724276181712 139813533510240 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16927] ppid=16806 vsize=8283048 memory=1560 CPUtime=192.21 cores=0-7
/proc/16908/task/16927/stat : 16927 (java) S 16806 16806 15640 0 -1 1077944384 9 4814077 0 0 2 3 18420 796 20 0 22 0 510284153 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815205968432 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16929] ppid=16806 vsize=8283048 memory=932 CPUtime=192.16 cores=0-7
/proc/16908/task/16929/stat : 16929 (java) S 16806 16806 15640 0 -1 1077944384 29 4814077 0 0 0 0 18420 796 20 0 22 0 510284222 8481841152 64152 33554432000 4194304 4196468 140724276181712 139815278625040 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16933] ppid=16806 vsize=8283048 memory=1580 CPUtime=192.16 cores=0-7
/proc/16908/task/16933/stat : 16933 (java) S 16806 16806 15640 0 -1 1077944384 15 4814077 0 0 0 0 18420 796 20 0 22 0 510284224 8481841152 64152 33554432000 4194304 4196468 140724276181712 139812593984816 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
Current children cumulated CPU time: 1742.99 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 258084 KiB

[startup+1247.8 s]
/proc/loadavg: 1.73 1.49 2.45 3/218 16948
/proc/meminfo: memFree=18907008/32770624 swapFree=66999800/67108860
[pid=16806] ppid=16803 vsize=113128 memory=1476 CPUtime=1548.77 cores=0-7
/proc/16806/stat : 16806 (scop.sh) S 16803 16806 15640 0 -1 4202496 583 487026 0 0 0 0 150298 4579 20 0 1 0 510170351 115843072 369 33554432000 4194304 5098028 140727762027824 140727762024568 140459997536892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19546112 140727762035492 140727762035820 140727762035820 140727762038733 0
/proc/16806/statm: 28282 369 311 221 0 87 0
[pid=16908] ppid=16806 vsize=8283048 memory=261976 CPUtime=194.53 cores=0-7
/proc/16908/stat : 16908 (java) S 16806 16806 15640 0 -1 1077944320 22795 4814077 0 0 213 24 18420 796 20 0 22 0 510284145 8481841152 65494 33554432000 4194304 4196468 140724276181712 140724276164256 139815984312055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
/proc/16908/statm: 2070762 65494 3223 1 0 2032106 0
[pid=16908/tid=16909] ppid=16806 vsize=8283048 memory=6791534058613427641 CPUtime=193.21 cores=0-7
/proc/16908/task/16909/stat : 16909 (java) R 16806 16806 15640 0 -1 4202560 18222 4814077 0 0 89 16 18420 796 20 0 22 0 510284146 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815956148768 139815976997687 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16910] ppid=16806 vsize=8283048 memory=1440 CPUtime=192.16 cores=0-7
/proc/16908/task/16910/stat : 16910 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815988554384 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16911] ppid=16806 vsize=8283048 memory=1760 CPUtime=192.16 cores=0-7
/proc/16908/task/16911/stat : 16911 (java) S 16806 16806 15640 0 -1 1077944384 3 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815469795856 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16912] ppid=16806 vsize=8283048 memory=111632 CPUtime=192.16 cores=0-7
/proc/16908/task/16912/stat : 16912 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815468743056 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16913] ppid=16806 vsize=8283048 memory=800 CPUtime=192.16 cores=0-7
/proc/16908/task/16913/stat : 16913 (java) S 16806 16806 15640 0 -1 1077944384 1 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815467690256 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16914] ppid=16806 vsize=8283048 memory=4104 CPUtime=192.16 cores=0-7
/proc/16908/task/16914/stat : 16914 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815466638480 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16915] ppid=16806 vsize=8283048 memory=1808 CPUtime=192.16 cores=0-7
/proc/16908/task/16915/stat : 16915 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815465585680 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16916] ppid=16806 vsize=8283048 memory=924 CPUtime=192.16 cores=0-7
/proc/16908/task/16916/stat : 16916 (java) S 16806 16806 15640 0 -1 1077944384 1 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815464532880 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16917] ppid=16806 vsize=8283048 memory=4460 CPUtime=192.16 cores=0-7
/proc/16908/task/16917/stat : 16917 (java) S 16806 16806 15640 0 -1 1077944384 2 4814077 0 0 0 0 18420 796 20 0 22 0 510284147 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815463480080 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16918] ppid=16806 vsize=8283048 memory=1412 CPUtime=192.16 cores=0-7
/proc/16908/task/16918/stat : 16918 (java) S 16806 16806 15640 0 -1 1077944384 6 4814077 0 0 0 0 18420 796 20 0 22 0 510284149 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815211231600 139815984323202 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16919] ppid=16806 vsize=8283048 memory=3472 CPUtime=192.16 cores=0-7
/proc/16908/task/16919/stat : 16919 (java) S 16806 16806 15640 0 -1 1077944384 13 4814077 0 0 0 0 18420 796 20 0 22 0 510284149 8481841152 65494 33554432000 4194304 4196468 140724276181712 139814540141600 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16920] ppid=16806 vsize=8283048 memory=1476 CPUtime=192.16 cores=0-7
/proc/16908/task/16920/stat : 16920 (java) S 16806 16806 15640 0 -1 1077944384 21 4814077 0 0 0 0 18420 796 20 0 22 0 510284149 8481841152 65494 33554432000 4194304 4196468 140724276181712 139814405919600 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16921] ppid=16806 vsize=8283048 memory=6791534058613427641 CPUtime=192.16 cores=0-7
/proc/16908/task/16921/stat : 16921 (java) S 16806 16806 15640 0 -1 1077944384 1 4814077 0 0 0 0 18420 796 20 0 22 0 510284152 8481841152 65494 33554432000 4194304 4196468 140724276181712 139814031415120 139815984330651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16922] ppid=16806 vsize=8283048 memory=288230596050944315 CPUtime=192.33 cores=0-7
/proc/16908/task/16922/stat : 16922 (java) S 16806 16806 15640 0 -1 1077944384 698 4814077 0 0 17 0 18420 796 20 0 22 0 510284152 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815210179440 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16923] ppid=16806 vsize=8283048 memory=14413717844530249 CPUtime=192.39 cores=0-7
/proc/16908/task/16923/stat : 16923 (java) S 16806 16806 15640 0 -1 1077944384 787 4814077 0 0 23 0 18420 796 20 0 22 0 510284152 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815209126640 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16924] ppid=16806 vsize=8283048 memory=1440 CPUtime=192.31 cores=0-7
/proc/16908/task/16924/stat : 16924 (java) S 16806 16806 15640 0 -1 1077944384 326 4814077 0 0 15 0 18420 796 20 0 22 0 510284152 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815208073840 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16925] ppid=16806 vsize=8283048 memory=1760 CPUtime=192.51 cores=0-7
/proc/16908/task/16925/stat : 16925 (java) S 16806 16806 15640 0 -1 1077944384 1211 4814077 0 0 35 0 18420 796 20 0 22 0 510284152 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815207021040 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16926] ppid=16806 vsize=8283048 memory=111632 CPUtime=192.16 cores=0-7
/proc/16908/task/16926/stat : 16926 (java) S 16806 16806 15640 0 -1 1077944384 3 4814077 0 0 0 0 18420 796 20 0 22 0 510284152 8481841152 65494 33554432000 4194304 4196468 140724276181712 139813533510240 139815984322261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16927] ppid=16806 vsize=8283048 memory=800 CPUtime=192.21 cores=0-7
/proc/16908/task/16927/stat : 16927 (java) S 16806 16806 15640 0 -1 1077944384 9 4814077 0 0 2 3 18420 796 20 0 22 0 510284153 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815205968432 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16929] ppid=16806 vsize=8283048 memory=4104 CPUtime=192.16 cores=0-7
/proc/16908/task/16929/stat : 16929 (java) S 16806 16806 15640 0 -1 1077944384 29 4814077 0 0 0 0 18420 796 20 0 22 0 510284222 8481841152 65494 33554432000 4194304 4196468 140724276181712 139815278625040 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
[pid=16908/tid=16933] ppid=16806 vsize=8283048 memory=1808 CPUtime=192.16 cores=0-7
/proc/16908/task/16933/stat : 16933 (java) S 16806 16806 15640 0 -1 1077944384 15 4814077 0 0 0 0 18420 796 20 0 22 0 510284224 8481841152 65494 33554432000 4194304 4196468 140724276181712 139812593984816 139815984323202 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12951552 140724276184055 140724276184214 140724276184214 140724276187087 0
Current children cumulated CPU time: 1743.3 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 263452 KiB

Child status: 0
Real time (s): 1247.86
CPU time (s): 1743.39
CPU user time (s): 1689.32
CPU system time (s): 54.0617
CPU usage (%): 139.71
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 23450772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1689.32
system time used= 54.0617
maximum resident set size= 23449568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5324522
page faults= 0
swaps= 0
block input operations= 64
block output operations= 2055968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71073
involuntary context switches= 5864


# summary of solver processes directly reported to runsolver:
#   pid: 16806
#   total CPU time (s): 1743.39
#   total CPU user time (s): 1689.32
#   total CPU system time (s): 54.0617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.54809 second user time and 13.3537 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-24 17:30:16
IDJOB=4405678
IDBENCH=131667
IDSOLVER=2868
FILE ID=node123/4405678-1569339055
RUNJOBID= node123-1569335939-15667
PBS_JOBID= 21705062
Free space on /tmp= 25920 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405678-1569339055/watcher-4405678-1569339055 -o /tmp/evaluation-result-4405678-1569339055/solver-4405678-1569339055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405678-1569339055.xml

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

MD5SUM BENCH= 8e810070148f78cd392ecc5d984ef703
RANDOM SEED=1193125568

node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
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:        25583048 kB
MemAvailable:   31837476 kB
Buffers:           87060 kB
Cached:          6320348 kB
SwapCached:         6624 kB
Active:          3181064 kB
Inactive:        3238768 kB
Active(anon):       4664 kB
Inactive(anon):    63948 kB
Active(file):    3176400 kB
Inactive(file):  3174820 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66999800 kB
Dirty:             20680 kB
Writeback:             0 kB
AnonPages:        117556 kB
Mapped:            56512 kB
Shmem:             47932 kB
Slab:             361868 kB
SReclaimable:     331668 kB
SUnreclaim:        30200 kB
KernelStack:        3712 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 25900 MiB
End job on node123 at 2019-09-24 17:51:04