Trace number 4392818

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-06-15)SAT 1760.49 1254.63

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-21601-serial-file.bin HOME/instance-4392818-1568432182.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:35:43 CEST 2019
0.66/0.56	c PID: 21604
0.66/0.56	c IP: 172.20.3.151
0.66/0.56	c HOST: node151.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.35/1.16	c (0,0) Parsing End
2.35/1.17	c (0,0) CSP: 240 int (0 aux), 0 bool (0 aux), 817 ctr, max domain size 600
2.35/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.35/1.17	c (0,0) Constraint Name Generate Begin
2.35/1.18	c (0,0) Ctr:HOME/instance-4392818-1568432182.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.35/1.18	c (0,0) Constraint Name Generate End
2.35/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.35/1.18	c (0,0) CSP to CSPinCNF Begin
93.91/72.24	c (71,69) translated 82 (10%) constraints
184.41/143.28	c (142,138) translated 164 (20%) constraints
272.20/213.73	c (213,205) translated 246 (30%) constraints
350.55/282.20	c (281,272) translated 327 (40%) constraints
432.62/351.76	c (351,340) translated 409 (50%) constraints
513.36/421.51	c (420,408) translated 491 (60%) constraints
595.26/491.96	c (491,477) translated 572 (70%) constraints
673.12/560.91	c (560,545) translated 654 (80%) constraints
680.08/564.86	c (564,548) translated 736 (90%) constraints
680.93/565.03	c (564,548) translated 817 (100%) constraints
680.93/565.04	c (564,548) ===========================================
684.24/567.90	c (567,551) Hybrid: #OE=393840, #LE=0
684.24/567.90	c (567,551) Hybrid
684.24/567.90	c (567,551) ===========================================
710.58/588.79	c (588,572) translated 1012047 (10%) constraints
731.04/609.14	c (608,592) translated 2024093 (20%) constraints
756.71/630.15	c (629,612) translated 3036139 (30%) constraints
783.57/651.40	c (650,633) translated 4048186 (40%) constraints
810.77/672.55	c (672,653) translated 5060232 (50%) constraints
837.68/693.87	c (693,673) translated 6072278 (60%) constraints
858.00/714.18	c (713,694) translated 7084325 (70%) constraints
884.82/735.39	c (734,714) translated 8096371 (80%) constraints
911.86/757.00	c (756,735) translated 9108417 (90%) constraints
938.82/778.22	c (777,755) translated 10120463 (100%) constraints
938.82/778.22	c (777,755) CSP to CSPinCNF End
938.92/778.36	c (777,755) CSP: 240 int (0 aux), 393600 bool (393600 aux), 10120463 ctr, max domain size 600
938.92/778.36	c (777,755) Heap : 12608 MiB used (max 21862 MiB), NonHeap : 29 MiB used (max 0 MiB)
938.92/778.36	c (777,755) CSPinCNF Propagation Begin
1077.15/854.62	c (854,823) 0 values, 3823 unsatisfiable literals, and 3207 valid clauses are removed
1077.15/854.62	c (854,823) CSPinCNF Propagation End
1077.25/854.76	c (854,823) CSP: 240 int (0 aux), 393600 bool (393600 aux), 10117256 ctr, max domain size 600
1077.25/854.76	c (854,823) Heap : 17822 MiB used (max 21999 MiB), NonHeap : 30 MiB used (max 0 MiB)
1080.13/857.58	c (857,826) Hybrid: #OE=393840, #LE=0
1080.13/857.58	c (857,826) Simplify CSPinCNF Begin
1250.57/891.71	c (891,840) Simplify CSPinCNF End
1250.67/891.89	c (891,840) CSP: 240 int (0 aux), 450960 bool (450960 aux), 10174616 ctr, max domain size 600
1250.67/891.89	c (891,840) Heap : 11450 MiB used (max 21283 MiB), NonHeap : 31 MiB used (max 0 MiB)
1250.67/891.89	c (891,840) Calculate Precise Domain Begin
1250.67/891.89	c (891,840) 0 values are removed by re-calculation
1250.67/891.89	c (891,840) Calculate Precise Domain End
1250.88/892.06	c (891,840) CSP: 240 int (0 aux), 450960 bool (450960 aux), 10174616 ctr, max domain size 600
1250.88/892.06	c (891,840) Heap : 11450 MiB used (max 21283 MiB), NonHeap : 31 MiB used (max 0 MiB)
1250.88/892.06	c (891,840) CSPinCNF to SatSolver Begin
1405.70/1039.94	c (1039,984) 1017462 (10 %) CSP clauses are encoded (0 SAT variables, 35502422 SAT clauses)
1417.11/1050.13	c (1049,994) 2034924 (20 %) CSP clauses are encoded (0 SAT variables, 36519884 SAT clauses)
1428.96/1060.38	c (1059,1004) 3052385 (30 %) CSP clauses are encoded (0 SAT variables, 37537345 SAT clauses)
1444.99/1071.15	c (1070,1014) 4069847 (40 %) CSP clauses are encoded (0 SAT variables, 38554807 SAT clauses)
1457.91/1081.50	c (1080,1024) 5087308 (50 %) CSP clauses are encoded (0 SAT variables, 39572268 SAT clauses)
1471.29/1091.90	c (1091,1034) 6104770 (60 %) CSP clauses are encoded (0 SAT variables, 40589730 SAT clauses)
1489.26/1102.94	c (1102,1044) 7122232 (70 %) CSP clauses are encoded (0 SAT variables, 41607192 SAT clauses)
1509.97/1114.28	c (1113,1054) 8139693 (80 %) CSP clauses are encoded (0 SAT variables, 42624653 SAT clauses)
1529.41/1125.46	c (1124,1064) 9157155 (90 %) CSP clauses are encoded (0 SAT variables, 43642115 SAT clauses)
1543.54/1136.02	c (1135,1074) 10174616 (100 %) CSP clauses are encoded (0 SAT variables, 44659576 SAT clauses)
1543.54/1136.02	c (1135,1074) CSPinCNF to SatSolver End
1543.54/1136.02	c (1135,1074) Heap : 15025 MiB used (max 20923 MiB), NonHeap : 32 MiB used (max 0 MiB)
1543.54/1136.02	c (1135,1074) 594681 bool, 44659577 clause
1543.54/1136.02	c (1135,1074) Export Begin
1543.70/1136.14	c (1135,1074) Export to HOME/scop-21601-serial-file.bin
1543.70/1136.14	c (1135,1074) Export End
1543.70/1136.14	c (1135,1074) Export File Size: 0.05 MB
1543.70/1136.14	c (1135,1074) 0,0,777,854,891,891,1135,STOP-AFTER(DIMACS)
1543.70/1136.14	c END-Prog: Sat Sep 14 05:54:39 CEST 2019
0.00/1136.29	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21601-serial-file.bin
1543.94/1136.76	c (0,0) Read Serial File Begin
1543.94/1136.76	c (0,0) HOME/scop-21601-serial-file.bin
1543.94/1136.99	c (0,0) Read Serial File End
1543.94/1137.00	
1543.94/1137.00	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
1543.94/1137.00	(Solving Process)
1543.94/1137.00	
1544.95/1137.03	c BEGIN-Prog: Sat Sep 14 05:54:40 CEST 2019
1544.95/1137.03	c PID: 21708
1544.95/1137.03	c IP: 172.20.3.151
1544.95/1137.03	c HOST: node151.alineos.net
1544.95/1137.03	c (0,0) SatSolver.solve Begin
1544.95/1137.03	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392818-1568432182.xml-scop-21604.cnf
1544.95/1137.06	c (0,0) c
1544.95/1137.06	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
1544.95/1137.06	c (0,0) c
1544.95/1137.06	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1544.95/1137.06	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1544.95/1137.06	c (0,0) c ========================================[ Problem Statistics ]===========================================
1544.95/1137.06	c (0,0) c |                                                                                                       |
1560.36/1152.22	c (15,0) c |  Number of variables:        594681                                                                   |
1560.36/1152.22	c (15,0) c |  Number of clauses:        44659577                                                                   |
1560.36/1152.22	c (15,0) c |  Parse time:                  13.87 s                                                                 |
1560.36/1152.22	c (15,0) c |                                                                                                       |
1562.76/1154.66	c (17,0) c | Too many clauses... No preprocessing                                                                  |
1562.76/1154.66	c (17,0) c |  Simplification time:          2.12 s                                                                 |
1562.76/1154.66	c (17,0) c |                                                                                                       |
1562.76/1154.66	c (17,0) c |  One Solver is taking   3288.39Mb... Let's take   2 solvers for this run (max 40% of the maxmemory).  |
1562.76/1154.66	c (17,0) c |  Generating clones                                                                                    |
1563.66/1155.56	c (18,0) c |  all clones generated. Memory =  5219.06Mb.                                                           |
1563.66/1155.56	c (18,0) c ========================================================================================================|
1563.66/1155.56	c (18,0) c
1563.66/1155.56	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1563.66/1155.56	c (18,0) c
1563.66/1155.56	c (18,0) c |-----------------------|------------|------------|
1563.66/1155.56	c (18,0) c | Threads               |          0 |          1 |
1563.66/1155.56	c (18,0) c |-----------------------|------------|------------|
1563.66/1155.56	c (18,0) c | randomizeFirstDescent |      False |       True |
1563.66/1155.56	c (18,0) c | adaptStrategeis       |       True |      False |
1563.66/1155.56	c (18,0) c | forceUnsatOnNewDescent|       True |       True |
1563.66/1155.56	c (18,0) c | Initial random_seed   |   91648253 |   91648254 |
1563.66/1155.56	c (18,0) c | chanseokStrategy      |      False |      False |
1563.66/1155.56	c (18,0) c | coLBDBound            |          5 |          5 |
1563.66/1155.56	c (18,0) c | glureduce             |       True |       True |
1563.66/1155.56	c (18,0) c | firstReduceDB         |       2000 |       2000 |
1563.66/1155.56	c (18,0) c | incReduceDB           |        300 |        300 |
1563.66/1155.56	c (18,0) c | luby_restart          |      False |      False |
1563.66/1155.56	c (18,0) c | luby_restart_factor   |        100 |        100 |
1563.66/1155.56	c (18,0) c | var_decay             |     0.8000 |     0.8000 |
1563.66/1155.56	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |
1563.66/1155.56	c (18,0) c | randomize_on_restarts |      False |      False |
1563.66/1155.56	c (18,0) c | remove_satisfied      |       True |       True |
1563.66/1155.56	c (18,0) c |-----------------------|------------|------------|
1621.63/1184.73	c (48,0) c
1621.63/1184.73	c (48,0) c |------------------------------------------------------------------------------------------------------------------------|
1621.63/1184.73	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1621.63/1184.73	c (48,0) c |------------------------------------------------------------------------------------------------------------------------|
1621.63/1184.73	c (48,0) c |  0 |      6 |      46116 |       7496 |   187015 |     3701 |     1104 |     2305 |        0 |      225 |  20 |  0.000 |
1621.63/1184.73	c (48,0) c |  1 |     47 |      63453 |      17484 |   226534 |     8692 |     3469 |      660 |        0 |      245 |  20 |  0.000 |
1621.63/1184.73	c (48,0) c 
1621.63/1184.73	c (48,0) c synthesis       24980 conflicts    97434407 propagations      351 conflicts/sec  1368934 propagations/sec
1621.63/1184.73	c (48,0) c real: 47.6744 s, cpu: 71.1754 s, memory: 5875.07 Mb
1679.65/1213.73	c (77,0) c
1679.65/1213.73	c (77,0) c |------------------------------------------------------------------------------------------------------------------------|
1679.65/1213.73	c (77,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1679.65/1213.73	c (77,0) c |------------------------------------------------------------------------------------------------------------------------|
1679.65/1213.73	c (77,0) c |  0 |     43 |     110166 |      32934 |   284148 |    16742 |     7295 |     5882 |        0 |      484 |  20 |  0.000 |
1679.65/1213.73	c (77,0) c |  1 |     88 |     115517 |      32082 |   392851 |    15905 |     6395 |     6935 |        0 |      500 |  20 |  0.000 |
1679.65/1213.73	c (77,0) c 
1679.65/1213.73	c (77,0) c synthesis       65016 conflicts   230064049 propagations      506 conflicts/sec  1789020 propagations/sec
1679.65/1213.73	c (77,0) c real: 76.6744 s, cpu: 128.598 s, memory: 5875.20 Mb
1736.61/1242.73	c (106,0) c
1736.61/1242.73	c (106,0) c |------------------------------------------------------------------------------------------------------------------------|
1736.61/1242.73	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1736.61/1242.73	c (106,0) c |------------------------------------------------------------------------------------------------------------------------|
1736.61/1242.73	c (106,0) c |  0 |    156 |     186880 |      55802 |   416182 |    17109 |    12182 |     9096 |        0 |      762 |  20 |  0.002 |
1736.61/1242.73	c (106,0) c |  1 |    140 |     168470 |      46064 |   453054 |    19988 |     9470 |    11871 |        0 |      768 |  20 |  0.002 |
1736.61/1242.73	c (106,0) c 
1736.61/1242.73	c (106,0) c synthesis      101866 conflicts   358303269 propagations      550 conflicts/sec  1935043 propagations/sec
1736.61/1242.73	c (106,0) c real: 105.674 s, cpu: 185.166 s, memory: 5875.33 Mb
1758.81/1253.89	c (117,0) c
1758.81/1253.89	c (117,0) c real time : 116.838 s
1758.81/1253.89	c (117,0) c cpu time  : 207.206 s
1758.81/1253.89	c (117,0) c
1758.81/1253.89	c (117,0) c
1758.81/1253.89	c (117,0) c
1758.81/1253.89	c (117,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1758.81/1253.89	c (117,0) c
1758.81/1253.89	c (117,0) c |---------------|-----------------|------------|------------|
1758.81/1253.89	c (117,0) c | Threads       |      Total      |          0 |          1 |
1758.81/1253.89	c (117,0) c |---------------|-----------------|------------|------------|
1758.81/1253.89	c (117,0) c | Conflicts     |          115479 |      63657 |      51822 |
1758.81/1253.89	c (117,0) c | Decisions     |          408564 |     216117 |     192447 |
1758.81/1253.89	c (117,0) c | Propagations  |       407233395 |  202490271 |  204743124 |
1758.81/1253.89	c (117,0) c | ReduceDBs     |              12 |          6 |          6 |
1758.81/1253.89	c (117,0) c | SimpDBs       |               4 |          2 |          2 |
1758.81/1253.89	c (117,0) c | Restarts      |             375 |        201 |        174 |
1758.81/1253.89	c (117,0) c | ForcedImports |               0 |          0 |          0 |
1758.81/1253.89	c (117,0) c | PropBinClauses|       195577165 |  102739725 |   92837440 |
1758.81/1253.89	c (117,0) c | PropPreBlocker|      6676088361 | 3412897319 | 3263191042 |
1758.81/1253.89	c (117,0) c | PropNotBlocker|      1929525087 |  948651778 |  980873309 |
1758.81/1253.89	c (117,0) c | LitFullScans  |     10354667869 | 5152151684 | 5202516185 |
1758.81/1253.89	c (117,0) c | LitScanFracts |         7817195 |    1323115 |    6494080 |
1758.81/1253.89	c (117,0) c | DecisionLevel0|             388 |        214 |        174 |
1758.81/1253.89	c (117,0) c | Periods       |            1724 |        858 |        866 |
1758.81/1253.89	c (117,0) c | Margin        |              40 |         20 |         20 |
1758.81/1253.89	c (117,0) c | Avg_Trail     |                 |      12068 |      23461 |
1758.81/1253.89	c (117,0) c | Avg_DL        |                 |         93 |         62 |
1758.81/1253.89	c (117,0) c | Avg_Res       |                 |          0 |          0 |
1758.81/1253.89	c (117,0) c | Avg_Res_Seen  |                 |          0 |          0 |
1758.81/1253.89	c (117,0) c |---------------|-----------------|------------|------------|
1758.81/1253.89	c (117,0) c | Exported      |           24635 |      14031 |      10604 |
1758.81/1253.89	c (117,0) c | Imported      |           24158 |      10232 |      13926 |
1758.81/1253.89	c (117,0) c | Good          |             386 |         87 |        299 |
1758.81/1253.89	c (117,0) c | Purge         |           23772 |      10145 |      13627 |
1758.81/1253.89	c (117,0) c | Promoted      |               0 |          0 |          0 |
1758.81/1253.89	c (117,0) c | Remove_Imp    |               0 |          0 |          0 |
1758.81/1253.89	c (117,0) c | Blocked_Reuse |               0 |          0 |          0 |
1758.81/1253.89	c (117,0) c |---------------|-----------------|------------|------------|
1758.81/1253.89	c (117,0) c | Unaries       |                 |         13 |          0 |
1758.81/1253.89	c (117,0) c | Binaries      |                 |        302 |         95 |
1758.81/1253.89	c (117,0) c | Glues         |                 |       2058 |       1340 |
1758.81/1253.89	c (117,0) c |---------------|-----------------|------------|------------|
1758.81/1253.89	c (117,0) c | Orig_Seen     |             1 % |     440544 |     472393 |
1758.81/1253.89	c (117,0) c | Diff Orig seen|                 |      X     |      31849 |
1758.81/1253.89	c (117,0) c | Hamming       |            16 % |      X     |     101044 |
1758.81/1253.89	c (117,0) c |---------------|-----------------|------------|------------|
1758.81/1253.89	c (117,0) c | RunningTime   |                 |   98.3 100%|   97.1  99%|
1758.81/1253.89	c (117,0) c | WaitingTime   |                 |    0.0   0%|    1.2   1%|
1758.81/1253.89	c (117,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|
1758.81/1253.89	c (117,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|
1758.81/1253.89	c (117,0) c | SolvingTime   |                 |   98.3     |   98.3     |
1758.81/1253.89	c (117,0) c | PropagationTim|                 |   90.0  92%|   86.6  88%|
1758.81/1253.89	c (117,0) c | AnalysisTime  |                 |    5.5   6%|    7.8   8%|
1758.81/1253.89	c (117,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|
1758.81/1253.89	c (117,0) c | SimplifyTime  |                 |    0.7   1%|    1.6   2%|
1758.81/1253.89	c (117,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|
1758.81/1253.89	c (117,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|
1758.81/1253.89	c (117,0) c |---------------|-----------------|------------|------------|
1758.81/1253.89	c (117,0) c
1758.81/1253.89	c (117,0) c
1758.81/1253.89	c (117,0) c Threads : 2
1758.81/1253.89	c (117,0) c Winner : 0
1758.81/1253.89	c (117,0) c Conflicts_0 : 63657
1758.81/1253.89	c (117,0) c Conflicts_1 : 51822
1758.81/1253.89	c (117,0) c Conflicts_total : 115479
1758.81/1253.89	c (117,0) c Conflicts_winner : 63657
1758.81/1253.89	c (117,0) c Decisions_0 : 216117
1758.81/1253.89	c (117,0) c Decisions_1 : 192447
1758.81/1253.89	c (117,0) c Decisions_total : 408564
1758.81/1253.90	c (117,0) c Decisions_winner : 216117
1758.81/1253.90	c (117,0) c Propagations_0 : 202490271
1758.81/1253.90	c (117,0) c Propagations_1 : 204743124
1758.81/1253.90	c (117,0) c Propagations_total : 407233395
1758.81/1253.90	c (117,0) c Propagations_winner : 202490271
1758.81/1253.90	c (117,0) c ReduceDBs_0 : 6
1758.81/1253.90	c (117,0) c ReduceDBs_1 : 6
1758.81/1253.90	c (117,0) c ReduceDBs_total : 12
1758.81/1253.90	c (117,0) c ReduceDBs_winner : 6
1758.81/1253.90	c (117,0) c SimpDBs_0 : 2
1758.81/1253.90	c (117,0) c SimpDBs_1 : 2
1758.81/1253.90	c (117,0) c SimpDBs_total : 4
1758.81/1253.90	c (117,0) c SimpDBs_winner : 2
1758.81/1253.90	c (117,0) c Restarts_0 : 201
1758.81/1253.90	c (117,0) c Restarts_1 : 174
1758.81/1253.90	c (117,0) c Restarts_total : 375
1758.81/1253.90	c (117,0) c Restarts_winner : 201
1758.81/1253.90	c (117,0) c ForcedImports_0 : 0
1758.81/1253.90	c (117,0) c ForcedImports_1 : 0
1758.81/1253.90	c (117,0) c ForcedImports_total : 0
1758.81/1253.90	c (117,0) c ForcedImports_winner : 0
1758.81/1253.90	c (117,0) c PropsBinClauses_0 : 102739725
1758.81/1253.90	c (117,0) c PropsBinClauses_1 : 92837440
1758.81/1253.90	c (117,0) c PropsBinClauses_total : 195577165
1758.81/1253.90	c (117,0) c PropsBinClauses_winner : 102739725
1758.81/1253.90	c (117,0) c PropsPreBlocker_0 : 3412897319
1758.81/1253.90	c (117,0) c PropsPreBlocker_1 : 3263191042
1758.81/1253.90	c (117,0) c PropsPreBlocker_total : 6676088361
1758.81/1253.90	c (117,0) c PropsPreBlocker_winner : 3412897319
1758.81/1253.90	c (117,0) c PropsNotBlocker_0 : 948651778
1758.81/1253.90	c (117,0) c PropsNotBlocker_1 : 980873309
1758.81/1253.90	c (117,0) c PropsNotBlocker_total : 1929525087
1758.81/1253.90	c (117,0) c PropsNotBlocker_winner : 948651778
1758.81/1253.90	c (117,0) c PropsLitFullScans_0 : 5152151684
1758.81/1253.90	c (117,0) c PropsLitFullScans_1 : 5202516185
1758.81/1253.90	c (117,0) c PropsLitFullScans_total : 10354667869
1758.81/1253.90	c (117,0) c PropsLitFullScans_winner : 5152151684
1758.81/1253.90	c (117,0) c LitScanFractions_0 : 1323115
1758.81/1253.90	c (117,0) c LitScanFractions_1 : 6494080
1758.81/1253.90	c (117,0) c LitScanFractions_total : 7817195
1758.81/1253.90	c (117,0) c LitScanFractions_winner : 1323115
1758.81/1253.90	c (117,0) c DecisionLevel0_0 : 214
1758.81/1253.90	c (117,0) c DecisionLevel0_1 : 174
1758.81/1253.90	c (117,0) c DecisionLevel0_total : 388
1758.81/1253.90	c (117,0) c DecisionLevel0_winner : 214
1758.81/1253.90	c (117,0) c Periods_0 : 858
1758.81/1253.90	c (117,0) c Periods_1 : 866
1758.81/1253.90	c (117,0) c Periods_total : 1724
1758.81/1253.90	c (117,0) c Periods_winner : 858
1758.81/1253.90	c (117,0) c Margin_0 : 20
1758.81/1253.90	c (117,0) c Margin_1 : 20
1758.81/1253.90	c (117,0) c Margin_total : 40
1758.81/1253.90	c (117,0) c Margin_winner : 20
1758.81/1253.90	c (117,0) c Exported_0 : 14031
1758.81/1253.90	c (117,0) c Exported_1 : 10604
1758.81/1253.90	c (117,0) c Exported_total : 24635
1758.81/1253.90	c (117,0) c Exported_winner : 14031
1758.81/1253.90	c (117,0) c Imported_0 : 10232
1758.81/1253.90	c (117,0) c Imported_1 : 13926
1758.81/1253.90	c (117,0) c Imported_total : 24158
1758.81/1253.90	c (117,0) c Imported_winner : 10232
1758.81/1253.90	c (117,0) c Good_0 : 87
1758.81/1253.90	c (117,0) c Good_1 : 299
1758.81/1253.90	c (117,0) c Good_total : 386
1758.81/1253.90	c (117,0) c Good_winner : 87
1758.81/1253.90	c (117,0) c Purge_0 : 10145
1758.81/1253.90	c (117,0) c Purge_1 : 13627
1758.81/1253.90	c (117,0) c Purge_total : 23772
1758.81/1253.90	c (117,0) c Purge_winner : 10145
1758.81/1253.90	c (117,0) c Promoted_0 : 0
1758.81/1253.90	c (117,0) c Promoted_1 : 0
1758.81/1253.90	c (117,0) c Promoted_total : 0
1758.81/1253.90	c (117,0) c Promoted_winner : 0
1758.98/1253.90	c (117,0) c Remove_Imp_0 : 0
1758.98/1253.90	c (117,0) c Remove_Imp_1 : 0
1758.98/1253.90	c (117,0) c Remove_Imp_total : 0
1758.98/1253.90	c (117,0) c Remove_Imp_winner : 0
1758.98/1253.90	c (117,0) c Blocked_Reuse_0 : 0
1758.98/1253.90	c (117,0) c Blocked_Reuse_1 : 0
1758.98/1253.90	c (117,0) c Blocked_Reuse_total : 0
1758.98/1253.90	c (117,0) c Blocked_Reuse_winner : 0
1758.98/1253.90	c (117,0) c Unaries_0 : 13
1758.98/1253.90	c (117,0) c Unaries_1 : 0
1758.98/1253.90	c (117,0) c Unaries_total : 13
1758.98/1253.90	c (117,0) c Unaries_winner : 13
1758.98/1253.90	c (117,0) c Binaries_0 : 302
1758.98/1253.90	c (117,0) c Binaries_1 : 95
1758.98/1253.90	c (117,0) c Binaries_total : 397
1758.98/1253.90	c (117,0) c Binaries_winner : 302
1758.98/1253.90	c (117,0) c Glues_0 : 2058
1758.98/1253.90	c (117,0) c Glues_1 : 1340
1758.98/1253.90	c (117,0) c Glues_total : 3398
1758.98/1253.90	c (117,0) c Glues_winner : 2058
1758.98/1253.90	c (117,0) c RunningTime_0 : 98.252388
1758.98/1253.90	c (117,0) c RunningTime_1 : 97.085777
1758.98/1253.90	c (117,0) c RunningTime_total : 195.338165
1758.98/1253.90	c (117,0) c RunningTime_winner : 98.252388
1758.98/1253.90	c (117,0) c WaitingTime_0 : 0.000102
1758.98/1253.90	c (117,0) c WaitingTime_1 : 1.185950
1758.98/1253.90	c (117,0) c WaitingTime_total : 1.186052
1758.98/1253.90	c (117,0) c WaitingTime_winner : 0.000102
1758.98/1253.90	c (117,0) c ExchangingTime_0 : 0.024030
1758.98/1253.90	c (117,0) c ExchangingTime_1 : 0.023731
1758.98/1253.90	c (117,0) c ExchangingTime_total : 0.047761
1758.98/1253.90	c (117,0) c ExchangingTime_winner : 0.024030
1758.98/1253.90	c (117,0) c PeriodProcTime_0 : 0.008133
1758.98/1253.90	c (117,0) c PeriodProcTime_1 : 0.008116
1758.98/1253.90	c (117,0) c PeriodProcTime_total : 0.016249
1758.98/1253.90	c (117,0) c PeriodProcTime_winner : 0.008133
1758.98/1253.90	c (117,0) c SolvingTime_0 : 98.284652
1758.98/1253.90	c (117,0) c SolvingTime_1 : 98.303574
1758.98/1253.90	c (117,0) c SolvingTime_total : 196.588227
1758.98/1253.90	c (117,0) c SolvingTime_winner : 98.284652
1758.98/1253.90	c (117,0) c PropagationTime_0 : 90.045282
1758.98/1253.90	c (117,0) c PropagationTime_1 : 86.600640
1758.98/1253.90	c (117,0) c PropagationTime_total : 176.645922
1758.98/1253.90	c (117,0) c PropagationTime_winner : 90.045282
1758.98/1253.90	c (117,0) c AnalysisTime_0 : 5.461832
1758.98/1253.90	c (117,0) c AnalysisTime_1 : 7.764727
1758.98/1253.90	c (117,0) c AnalysisTime_total : 13.226559
1758.98/1253.90	c (117,0) c AnalysisTime_winner : 5.461832
1758.98/1253.90	c (117,0) c ReductionTime_0 : 0.016651
1758.98/1253.90	c (117,0) c ReductionTime_1 : 0.016993
1758.98/1253.90	c (117,0) c ReductionTime_total : 0.033644
1758.98/1253.90	c (117,0) c ReductionTime_winner : 0.016651
1758.98/1253.90	c (117,0) c SimplifyTime_0 : 0.687862
1758.98/1253.90	c (117,0) c SimplifyTime_1 : 1.637110
1758.98/1253.90	c (117,0) c SimplifyTime_total : 2.324972
1758.98/1253.90	c (117,0) c SimplifyTime_winner : 0.687862
1758.98/1253.90	c (117,0) c UsedRateTime_0 : 0.000000
1758.98/1253.90	c (117,0) c UsedRateTime_1 : 0.000000
1758.98/1253.90	c (117,0) c UsedRateTime_total : 0.000000
1758.98/1253.90	c (117,0) c UsedRateTime_winner : 0.000000
1758.98/1253.90	c (117,0) c OverlapRateTime_0 : 0.000000
1758.98/1253.90	c (117,0) c OverlapRateTime_1 : 0.000000
1758.98/1253.90	c (117,0) c OverlapRateTime_total : 0.000000
1758.98/1253.90	c (117,0) c OverlapRateTime_winner : 0.000000
1758.98/1253.90	c (117,0) c
1758.98/1253.90	c (117,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1758.98/1253.90	c (117,0) c
1758.98/1253.90	c (117,0) c |-----------------------|------------|------------|
1758.98/1253.90	c (117,0) c | Threads               |          0 |          1 |
1758.98/1253.90	c (117,0) c |-----------------------|------------|------------|
1758.98/1253.90	c (117,0) c | randomizeFirstDescent |      False |       True |
1758.98/1253.90	c (117,0) c | adaptStrategeis       |       True |      False |
1758.98/1253.90	c (117,0) c | forceUnsatOnNewDescent|       True |       True |
1758.98/1253.90	c (117,0) c | Initial random_seed   |  719344429 |  805336820 |
1758.98/1253.90	c (117,0) c | chanseokStrategy      |      False |      False |
1758.98/1253.90	c (117,0) c | coLBDBound            |          5 |          5 |
1758.98/1253.90	c (117,0) c | glureduce             |       True |       True |
1758.98/1253.90	c (117,0) c | firstReduceDB         |       2000 |       2000 |
1758.98/1253.90	c (117,0) c | incReduceDB           |        300 |        300 |
1758.98/1253.90	c (117,0) c | luby_restart          |      False |      False |
1758.98/1253.90	c (117,0) c | luby_restart_factor   |        100 |        100 |
1758.98/1253.90	c (117,0) c | var_decay             |     0.9200 |     0.9000 |
1758.98/1253.90	c (117,0) c | max_var_decay         |     0.9500 |     0.9500 |
1758.98/1253.90	c (117,0) c | randomize_on_restarts |      False |      False |
1758.98/1253.90	c (117,0) c | remove_satisfied      |       True |       True |
1758.98/1253.90	c (117,0) c |-----------------------|------------|------------|
1758.98/1253.90	c (117,0) 
1758.98/1253.90	c (117,0) s SATISFIABLE
1545.86/1254.30	c (117,0) SatSolver.solve End
1545.86/1254.30	c (117,0) Heap : 236 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1545.86/1254.30	c (117,0) Show results Begin
1760.13/1254.46	c (117,0) x[0] = 423
1760.13/1254.46	c (117,0) x[1] = 141
1760.13/1254.46	c (117,0) x[2] = 147
1760.13/1254.46	c (117,0) x[3] = 588
1760.13/1254.46	c (117,0) x[4] = 172
1760.13/1254.46	c (117,0) x[5] = 233
1760.13/1254.46	c (117,0) x[6] = 249
1760.13/1254.46	c (117,0) x[7] = 91
1760.13/1254.46	c (117,0) x[8] = 390
1760.13/1254.46	c (117,0) x[9] = 27
1760.13/1254.46	c (117,0) x[10] = 558
1760.13/1254.46	c (117,0) x[11] = 382
1760.13/1254.46	c (117,0) x[12] = 455
1760.13/1254.46	c (117,0) x[13] = 539
1760.13/1254.46	c (117,0) x[14] = 519
1760.13/1254.46	c (117,0) x[15] = 197
1760.13/1254.46	c (117,0) x[16] = 434
1760.13/1254.46	c (117,0) x[17] = 414
1760.13/1254.46	c (117,0) x[18] = 593
1760.13/1254.46	c (117,0) x[19] = 179
1760.13/1254.46	c (117,0) x[20] = 591
1760.13/1254.46	c (117,0) x[21] = 9
1760.13/1254.46	c (117,0) x[22] = 33
1760.13/1254.46	c (117,0) x[23] = 0
1760.13/1254.46	c (117,0) x[24] = 184
1760.13/1254.46	c (117,0) x[25] = 55
1760.13/1254.46	c (117,0) x[26] = 222
1760.13/1254.46	c (117,0) x[27] = 113
1760.13/1254.46	c (117,0) x[28] = 385
1760.13/1254.46	c (117,0) x[29] = 532
1760.13/1254.46	c (117,0) x[30] = 551
1760.13/1254.46	c (117,0) x[31] = 413
1760.13/1254.46	c (117,0) x[32] = 240
1760.13/1254.46	c (117,0) x[33] = 439
1760.13/1254.46	c (117,0) x[34] = 306
1760.13/1254.46	c (117,0) x[35] = 286
1760.13/1254.46	c (117,0) x[36] = 69
1760.13/1254.46	c (117,0) x[37] = 250
1760.13/1254.46	c (117,0) x[38] = 501
1760.13/1254.46	c (117,0) x[39] = 112
1760.13/1254.46	c (117,0) x[40] = 525
1760.13/1254.46	c (117,0) x[41] = 227
1760.13/1254.46	c (117,0) x[42] = 23
1760.13/1254.46	c (117,0) x[43] = 494
1760.13/1254.46	c (117,0) x[44] = 92
1760.13/1254.46	c (117,0) x[45] = 403
1760.13/1254.46	c (117,0) x[46] = 526
1760.13/1254.46	c (117,0) x[47] = 107
1760.13/1254.46	c (117,0) x[48] = 28
1760.13/1254.46	c (117,0) x[49] = 499
1760.13/1254.46	c (117,0) x[50] = 41
1760.13/1254.46	c (117,0) x[51] = 122
1760.13/1254.46	c (117,0) x[52] = 259
1760.13/1254.46	c (117,0) x[53] = 74
1760.13/1254.46	c (117,0) x[54] = 340
1760.13/1254.46	c (117,0) x[55] = 89
1760.13/1254.46	c (117,0) x[56] = 377
1760.13/1254.46	c (117,0) x[57] = 402
1760.13/1254.46	c (117,0) x[58] = 255
1760.13/1254.46	c (117,0) x[59] = 521
1760.13/1254.46	c (117,0) x[60] = 356
1760.13/1254.46	c (117,0) x[61] = 194
1760.13/1254.46	c (117,0) x[62] = 42
1760.13/1254.46	c (117,0) x[63] = 290
1760.13/1254.46	c (117,0) x[64] = 235
1760.13/1254.46	c (117,0) x[65] = 106
1760.13/1254.46	c (117,0) x[66] = 77
1760.13/1254.46	c (117,0) x[67] = 393
1760.13/1254.46	c (117,0) x[68] = 549
1760.13/1254.46	c (117,0) x[69] = 217
1760.13/1254.46	c (117,0) x[70] = 126
1760.13/1254.46	c (117,0) x[71] = 101
1760.13/1254.46	c (117,0) x[72] = 111
1760.13/1254.46	c (117,0) x[73] = 31
1760.13/1254.46	c (117,0) x[74] = 469
1760.13/1254.46	c (117,0) x[75] = 400
1760.13/1254.46	c (117,0) x[76] = 100
1760.13/1254.46	c (117,0) x[77] = 130
1760.13/1254.46	c (117,0) x[78] = 280
1760.13/1254.46	c (117,0) x[79] = 552
1760.13/1254.46	c (117,0) x[80] = 321
1760.13/1254.46	c (117,0) x[81] = 325
1760.13/1254.46	c (117,0) x[82] = 524
1760.13/1254.46	c (117,0) x[83] = 125
1760.13/1254.46	c (117,0) x[84] = 473
1760.13/1254.46	c (117,0) x[85] = 274
1760.13/1254.46	c (117,0) x[86] = 449
1760.13/1254.46	c (117,0) x[87] = 395
1760.13/1254.46	c (117,0) x[88] = 562
1760.13/1254.46	c (117,0) x[89] = 124
1760.13/1254.46	c (117,0) x[90] = 212
1760.13/1254.46	c (117,0) x[91] = 19
1760.13/1254.46	c (117,0) x[92] = 375
1760.13/1254.46	c (117,0) x[93] = 577
1760.13/1254.46	c (117,0) x[94] = 93
1760.13/1254.46	c (117,0) x[95] = 34
1760.13/1254.46	c (117,0) x[96] = 6
1760.13/1254.46	c (117,0) x[97] = 548
1760.13/1254.46	c (117,0) x[98] = 46
1760.13/1254.46	c (117,0) x[99] = 213
1760.13/1254.46	c (117,0) x[100] = 305
1760.13/1254.46	c (117,0) x[101] = 318
1760.13/1254.46	c (117,0) x[102] = 202
1760.13/1254.46	c (117,0) x[103] = 420
1760.13/1254.46	c (117,0) x[104] = 537
1760.13/1254.46	c (117,0) x[105] = 167
1760.13/1254.46	c (117,0) x[106] = 270
1760.13/1254.46	c (117,0) x[107] = 560
1760.13/1254.46	c (117,0) x[108] = 262
1760.13/1254.46	c (117,0) x[109] = 550
1760.13/1254.46	c (117,0) x[110] = 45
1760.13/1254.46	c (117,0) x[111] = 264
1760.13/1254.46	c (117,0) x[112] = 332
1760.13/1254.46	c (117,0) x[113] = 88
1760.13/1254.46	c (117,0) x[114] = 230
1760.13/1254.46	c (117,0) x[115] = 283
1760.13/1254.46	c (117,0) x[116] = 463
1760.13/1254.46	c (117,0) x[117] = 73
1760.13/1254.46	c (117,0) x[118] = 133
1760.13/1254.46	c (117,0) x[119] = 354
1760.13/1254.46	c (117,0) x[120] = 333
1760.13/1254.46	c (117,0) x[121] = 485
1760.13/1254.46	c (117,0) x[122] = 361
1760.13/1254.46	c (117,0) x[123] = 478
1760.13/1254.46	c (117,0) x[124] = 594
1760.13/1254.46	c (117,0) x[125] = 520
1760.13/1254.46	c (117,0) x[126] = 302
1760.13/1254.46	c (117,0) x[127] = 563
1760.13/1254.46	c (117,0) x[128] = 177
1760.13/1254.46	c (117,0) x[129] = 533
1760.13/1254.46	c (117,0) x[130] = 468
1760.13/1254.46	c (117,0) x[131] = 296
1760.13/1254.46	c (117,0) x[132] = 546
1760.13/1254.46	c (117,0) x[133] = 349
1760.13/1254.46	c (117,0) x[134] = 56
1760.13/1254.46	c (117,0) x[135] = 510
1760.13/1254.46	c (117,0) x[136] = 596
1760.13/1254.46	c (117,0) x[137] = 317
1760.13/1254.46	c (117,0) x[138] = 583
1760.13/1254.46	c (117,0) x[139] = 481
1760.13/1254.46	c (117,0) x[140] = 433
1760.13/1254.46	c (117,0) x[141] = 504
1760.13/1254.46	c (117,0) x[142] = 470
1760.13/1254.46	c (117,0) x[143] = 246
1760.13/1254.46	c (117,0) x[144] = 540
1760.13/1254.47	c (117,0) x[145] = 36
1760.13/1254.47	c (117,0) x[146] = 18
1760.13/1254.47	c (117,0) x[147] = 304
1760.13/1254.47	c (117,0) x[148] = 534
1760.13/1254.47	c (117,0) x[149] = 530
1760.13/1254.47	c (117,0) x[150] = 536
1760.13/1254.47	c (117,0) x[151] = 364
1760.13/1254.47	c (117,0) x[152] = 376
1760.13/1254.47	c (117,0) x[153] = 326
1760.13/1254.47	c (117,0) x[154] = 374
1760.13/1254.47	c (117,0) x[155] = 83
1760.13/1254.47	c (117,0) x[156] = 52
1760.13/1254.47	c (117,0) x[157] = 292
1760.13/1254.47	c (117,0) x[158] = 486
1760.13/1254.47	c (117,0) x[159] = 346
1760.13/1254.47	c (117,0) x[160] = 339
1760.13/1254.47	c (117,0) x[161] = 195
1760.13/1254.47	c (117,0) x[162] = 90
1760.13/1254.47	c (117,0) x[163] = 479
1760.13/1254.47	c (117,0) x[164] = 427
1760.13/1254.47	c (117,0) x[165] = 173
1760.13/1254.47	c (117,0) x[166] = 465
1760.13/1254.47	c (117,0) x[167] = 271
1760.13/1254.47	c (117,0) x[168] = 373
1760.13/1254.47	c (117,0) x[169] = 487
1760.13/1254.47	c (117,0) x[170] = 480
1760.13/1254.47	c (117,0) x[171] = 64
1760.13/1254.47	c (117,0) x[172] = 587
1760.13/1254.47	c (117,0) x[173] = 288
1760.13/1254.47	c (117,0) x[174] = 8
1760.13/1254.47	c (117,0) x[175] = 351
1760.13/1254.47	c (117,0) x[176] = 399
1760.13/1254.47	c (117,0) x[177] = 225
1760.13/1254.47	c (117,0) x[178] = 53
1760.13/1254.47	c (117,0) x[179] = 459
1760.13/1254.47	c (117,0) x[180] = 475
1760.13/1254.47	c (117,0) x[181] = 170
1760.13/1254.47	c (117,0) x[182] = 50
1760.13/1254.47	c (117,0) x[183] = 2
1760.13/1254.47	c (117,0) x[184] = 193
1760.13/1254.47	c (117,0) x[185] = 152
1760.13/1254.47	c (117,0) x[186] = 527
1760.13/1254.47	c (117,0) x[187] = 556
1760.13/1254.47	c (117,0) x[188] = 47
1760.13/1254.47	c (117,0) x[189] = 371
1760.13/1254.47	c (117,0) x[190] = 531
1760.13/1254.47	c (117,0) x[191] = 362
1760.13/1254.47	c (117,0) x[192] = 191
1760.13/1254.47	c (117,0) x[193] = 151
1760.13/1254.47	c (117,0) x[194] = 78
1760.13/1254.47	c (117,0) x[195] = 178
1760.13/1254.47	c (117,0) x[196] = 281
1760.13/1254.47	c (117,0) x[197] = 564
1760.13/1254.47	c (117,0) x[198] = 575
1760.13/1254.47	c (117,0) x[199] = 372
1760.13/1254.47	c (117,0) x[200] = 87
1760.13/1254.47	c (117,0) x[201] = 62
1760.13/1254.47	c (117,0) x[202] = 188
1760.13/1254.47	c (117,0) x[203] = 576
1760.13/1254.47	c (117,0) x[204] = 98
1760.13/1254.47	c (117,0) x[205] = 186
1760.13/1254.47	c (117,0) x[206] = 348
1760.13/1254.47	c (117,0) x[207] = 412
1760.13/1254.47	c (117,0) x[208] = 491
1760.13/1254.47	c (117,0) x[209] = 297
1760.13/1254.47	c (117,0) x[210] = 138
1760.13/1254.47	c (117,0) x[211] = 324
1760.13/1254.47	c (117,0) x[212] = 541
1760.13/1254.47	c (117,0) x[213] = 506
1760.13/1254.47	c (117,0) x[214] = 553
1760.13/1254.47	c (117,0) x[215] = 419
1760.13/1254.47	c (117,0) x[216] = 142
1760.13/1254.47	c (117,0) x[217] = 257
1760.13/1254.47	c (117,0) x[218] = 384
1760.13/1254.47	c (117,0) x[219] = 309
1760.13/1254.47	c (117,0) x[220] = 231
1760.13/1254.47	c (117,0) x[221] = 502
1760.13/1254.47	c (117,0) x[222] = 301
1760.13/1254.47	c (117,0) x[223] = 131
1760.13/1254.47	c (117,0) x[224] = 127
1760.13/1254.47	c (117,0) x[225] = 574
1760.13/1254.47	c (117,0) x[226] = 25
1760.13/1254.47	c (117,0) x[227] = 571
1760.13/1254.47	c (117,0) x[228] = 245
1760.13/1254.47	c (117,0) x[229] = 117
1760.13/1254.47	c (117,0) x[230] = 579
1760.13/1254.47	c (117,0) x[231] = 350
1760.13/1254.47	c (117,0) x[232] = 513
1760.13/1254.47	c (117,0) x[233] = 95
1760.13/1254.47	c (117,0) x[234] = 416
1760.13/1254.47	c (117,0) x[235] = 338
1760.13/1254.47	c (117,0) x[236] = 267
1760.13/1254.47	c (117,0) x[237] = 366
1760.13/1254.47	c (117,0) x[238] = 71
1760.13/1254.47	c (117,0) x[239] = 561
1760.13/1254.47	s SATISFIABLE
1760.13/1254.48	v <instantiation>
1760.13/1254.48	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>
1760.13/1254.48	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>
1760.13/1254.48	v </instantiation>
1760.13/1254.48	c (117,0) Show results End
1760.13/1254.48	c (117,0) Heap : 257 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1760.13/1254.48	c (117,0) 117,117,STOP-AFTER(ALL)
1760.13/1254.48	c END-Prog: Sat Sep 14 05:56:37 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 (14848 MiB free)
  memory of node 1: 16384 MiB (15405 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392818-1568432182/watcher-4392818-1568432182 -o /tmp/evaluation-result-4392818-1568432182/solver-4392818-1568432182 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392818-1568432182.xml 

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

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

solver pid=21601, runsolver pid=21598

[startup+0.100144 s]*
/proc/loadavg: 1.02 1.54 3.87 3/211 21623
/proc/meminfo: memFree=30885344/32770624 swapFree=66935264/67108860
[pid=21601] ppid=21598 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21601/stat : 21601 (scop.sh) S 21598 21601 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419489642 115843072 349 33554432000 4194304 5098028 140725824824736 140725824821992 140411552469628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10858496 140725824828196 140725824828524 140725824828524 140725824831437 0
/proc/21601/statm: 28282 349 296 221 0 87 0
[pid=21604] ppid=21601 vsize=27314120 memory=105844 CPUtime=0.11 cores=0-7
/proc/21604/stat : 21604 (java) S 21601 21601 19225 0 -1 1077944320 6510 0 0 0 8 3 0 0 20 0 20 0 419489642 27969658880 26461 33554432000 4194304 4196468 140728455855936 140728455838480 140362883849975 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
/proc/21604/statm: 6828530 26461 2816 1 0 6790935 0
[pid=21604/tid=21605] ppid=21601 vsize=27314120 memory=8112561211405409687 CPUtime=0.08 cores=0-7
/proc/21604/task/21605/stat : 21605 (java) R 21601 21601 19225 0 -1 4202560 4576 0 0 0 6 2 0 0 20 0 20 0 419489642 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362855654176 140362867930462 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21606] ppid=21601 vsize=27314120 memory=732370101429693413 CPUtime=0 cores=0-7
/proc/21604/task/21606/stat : 21606 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362888092304 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21607] ppid=21601 vsize=27314120 memory=139963092240000 CPUtime=0 cores=0-7
/proc/21604/task/21607/stat : 21607 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362702248464 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21608] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21608/stat : 21608 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362701195664 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21609] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21609/stat : 21609 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362700142864 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21610] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21610/stat : 21610 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362699091088 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21611] ppid=21601 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21604/task/21611/stat : 21611 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362698038288 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21612] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21612/stat : 21612 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362696985488 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21613] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21613/stat : 21613 (java) S 21601 21601 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 26461 33554432000 4194304 4196468 140728455855936 140362695932688 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21614] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21614/stat : 21614 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489646 27969658880 26461 33554432000 4194304 4196468 140728455855936 140361941883248 140362883861122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21615] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21615/stat : 21615 (java) S 21601 21601 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419489647 27969658880 26461 33554432000 4194304 4196468 140728455855936 140360672076832 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21616] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21616/stat : 21616 (java) S 21601 21601 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419489647 27969658880 26461 33554432000 4194304 4196468 140728455855936 140360537854832 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21617] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21617/stat : 21617 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 26461 33554432000 4194304 4196468 140728455855936 140360163350352 140362883868571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21618] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21618/stat : 21618 (java) S 21601 21601 19225 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 26461 33554432000 4194304 4196468 140728455855936 140361940831088 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21619] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21619/stat : 21619 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 26461 33554432000 4194304 4196468 140728455855936 140361939778288 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21620] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21620/stat : 21620 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 26461 33554432000 4194304 4196468 140728455855936 140361938725488 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21621] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21621/stat : 21621 (java) S 21601 21601 19225 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 26461 33554432000 4194304 4196468 140728455855936 140361937672688 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21622] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21622/stat : 21622 (java) S 21601 21601 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 26461 33554432000 4194304 4196468 140728455855936 140359665445472 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21623] ppid=21601 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21604/task/21623/stat : 21623 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489650 27969658880 26461 33554432000 4194304 4196468 140728455855936 140361936620080 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107240 KiB

[startup+0.209986 s]*
/proc/loadavg: 1.02 1.54 3.87 2/211 21623
/proc/meminfo: memFree=30864344/32770624 swapFree=66935264/67108860
[pid=21601] ppid=21598 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21601/stat : 21601 (scop.sh) S 21598 21601 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419489642 115843072 349 33554432000 4194304 5098028 140725824824736 140725824821992 140411552469628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10858496 140725824828196 140725824828524 140725824828524 140725824831437 0
/proc/21601/statm: 28282 349 296 221 0 87 0
[pid=21604] ppid=21601 vsize=27314120 memory=124904 CPUtime=0.25 cores=0-7
/proc/21604/stat : 21604 (java) S 21601 21601 19225 0 -1 1077944320 12109 0 0 0 20 5 0 0 20 0 20 0 419489642 27969658880 31226 33554432000 4194304 4196468 140728455855936 140728455838480 140362883849975 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
/proc/21604/statm: 6828530 31226 2958 1 0 6790935 0
[pid=21604/tid=21605] ppid=21601 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/21604/task/21605/stat : 21605 (java) R 21601 21601 19225 0 -1 4202560 9793 0 0 0 15 4 0 0 20 0 20 0 419489642 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362855673936 140362883863879 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21606] ppid=21601 vsize=27314120 memory=732370101429693413 CPUtime=0 cores=0-7
/proc/21604/task/21606/stat : 21606 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362888092304 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21607] ppid=21601 vsize=27314120 memory=139963092240000 CPUtime=0 cores=0-7
/proc/21604/task/21607/stat : 21607 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362702248464 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21608] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21608/stat : 21608 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362701195664 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21609] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21609/stat : 21609 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362700142864 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21610] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21610/stat : 21610 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362699091088 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21611] ppid=21601 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21604/task/21611/stat : 21611 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362698038288 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21612] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21612/stat : 21612 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362696985488 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21613] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21613/stat : 21613 (java) S 21601 21601 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 31226 33554432000 4194304 4196468 140728455855936 140362695932688 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21614] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21614/stat : 21614 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489646 27969658880 31226 33554432000 4194304 4196468 140728455855936 140361941883248 140362883861122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21615] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21615/stat : 21615 (java) S 21601 21601 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419489647 27969658880 31226 33554432000 4194304 4196468 140728455855936 140360672076832 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21616] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21616/stat : 21616 (java) S 21601 21601 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419489647 27969658880 31226 33554432000 4194304 4196468 140728455855936 140360537854832 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21617] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21617/stat : 21617 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 31226 33554432000 4194304 4196468 140728455855936 140360163350352 140362883868571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21618] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21618/stat : 21618 (java) S 21601 21601 19225 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 31226 33554432000 4194304 4196468 140728455855936 140361940831088 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21619] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21619/stat : 21619 (java) S 21601 21601 19225 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 31226 33554432000 4194304 4196468 140728455855936 140361939778288 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21620] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21620/stat : 21620 (java) S 21601 21601 19225 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 31226 33554432000 4194304 4196468 140728455855936 140361938725488 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21621] ppid=21601 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21604/task/21621/stat : 21621 (java) S 21601 21601 19225 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 419489649 27969658880 31226 33554432000 4194304 4196468 140728455855936 140361937672688 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21622] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21622/stat : 21622 (java) S 21601 21601 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 31226 33554432000 4194304 4196468 140728455855936 140359665445472 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21623] ppid=21601 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21604/task/21623/stat : 21623 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489650 27969658880 31226 33554432000 4194304 4196468 140728455855936 140361936620080 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126300 KiB

[startup+0.309358 s]*
/proc/loadavg: 1.02 1.54 3.87 2/211 21623
/proc/meminfo: memFree=30863268/32770624 swapFree=66935264/67108860
[pid=21601] ppid=21598 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21601/stat : 21601 (scop.sh) S 21598 21601 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419489642 115843072 349 33554432000 4194304 5098028 140725824824736 140725824821992 140411552469628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10858496 140725824828196 140725824828524 140725824828524 140725824831437 0
/proc/21601/statm: 28282 349 296 221 0 87 0
[pid=21604] ppid=21601 vsize=27314120 memory=128244 CPUtime=0.42 cores=0-7
/proc/21604/stat : 21604 (java) S 21601 21601 19225 0 -1 1077944320 12486 0 0 0 37 5 0 0 20 0 20 0 419489642 27969658880 32061 33554432000 4194304 4196468 140728455855936 140728455838480 140362883849975 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
/proc/21604/statm: 6828530 32061 3017 1 0 6790935 0
[pid=21604/tid=21605] ppid=21601 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21604/task/21605/stat : 21605 (java) R 21601 21601 19225 0 -1 4202560 9980 0 0 0 25 4 0 0 20 0 20 0 419489642 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362855663840 140362865413550 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21606] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21606/stat : 21606 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362888092304 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21607] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21607/stat : 21607 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362702248464 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21608] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21608/stat : 21608 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362701195664 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21609] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21609/stat : 21609 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362700142864 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21610] ppid=21601 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/21604/task/21610/stat : 21610 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362699091088 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21611] ppid=21601 vsize=27314120 memory=139962985051055 CPUtime=0 cores=0-7
/proc/21604/task/21611/stat : 21611 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362698038288 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21612] ppid=21601 vsize=27314120 memory=139962985053360 CPUtime=0 cores=0-7
/proc/21604/task/21612/stat : 21612 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362696985488 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21613] ppid=21601 vsize=27314120 memory=139962985055664 CPUtime=0 cores=0-7
/proc/21604/task/21613/stat : 21613 (java) S 21601 21601 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419489645 27969658880 32061 33554432000 4194304 4196468 140728455855936 140362695932688 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21614] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21614/stat : 21614 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489646 27969658880 32061 33554432000 4194304 4196468 140728455855936 140361941883248 140362883861122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21615] ppid=21601 vsize=27314120 memory=279925970118288 CPUtime=0 cores=0-7
/proc/21604/task/21615/stat : 21615 (java) S 21601 21601 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419489647 27969658880 32061 33554432000 4194304 4196468 140728455855936 140360672076832 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21616] ppid=21601 vsize=27314120 memory=279925970125200 CPUtime=0 cores=0-7
/proc/21604/task/21616/stat : 21616 (java) S 21601 21601 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419489647 27969658880 32061 33554432000 4194304 4196468 140728455855936 140360537854832 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21617] ppid=21601 vsize=27314120 memory=279925970066480 CPUtime=0 cores=0-7
/proc/21604/task/21617/stat : 21617 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 32061 33554432000 4194304 4196468 140728455855936 140360163350352 140362883868571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21618] ppid=21601 vsize=27314120 memory=279925970139024 CPUtime=0.01 cores=0-7
/proc/21604/task/21618/stat : 21618 (java) S 21601 21601 19225 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 419489649 27969658880 32061 33554432000 4194304 4196468 140728455855936 140361940831088 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21619] ppid=21601 vsize=27314120 memory=279925970145936 CPUtime=0 cores=0-7
/proc/21604/task/21619/stat : 21619 (java) S 21601 21601 19225 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 32061 33554432000 4194304 4196468 140728455855936 140361939778288 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21620] ppid=21601 vsize=27314120 memory=279925970143632 CPUtime=0.01 cores=0-7
/proc/21604/task/21620/stat : 21620 (java) S 21601 21601 19225 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 419489649 27969658880 32061 33554432000 4194304 4196468 140728455855936 140361938725488 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21621] ppid=21601 vsize=27314120 memory=279925970159792 CPUtime=0.07 cores=0-7
/proc/21604/task/21621/stat : 21621 (java) S 21601 21601 19225 0 -1 1077944384 483 0 0 0 7 0 0 0 20 0 20 0 419489649 27969658880 32061 33554432000 4194304 4196468 140728455855936 140361937672688 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21622] ppid=21601 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21622/stat : 21622 (java) S 21601 21601 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419489649 27969658880 32061 33554432000 4194304 4196468 140728455855936 140359665445472 140362883860181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21623] ppid=21601 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21604/task/21623/stat : 21623 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489650 27969658880 32061 33554432000 4194304 4196468 140728455855936 140361936620080 140362883861122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129640 KiB

[startup+0.700888 s]
/proc/loadavg: 1.02 1.54 3.87 2/211 21623
/proc/meminfo: memFree=30841940/32770624 swapFree=66935264/67108860
[pid=21601] ppid=21598 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21601/stat : 21601 (scop.sh) S 21598 21601 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419489642 115843072 349 33554432000 4194304 5098028 140725824824736 140725824821992 140411552469628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10858496 140725824828196 140725824828524 140725824828524 140725824831437 0
/proc/21601/statm: 28282 349 296 221 0 87 0
[pid=21604] ppid=21601 vsize=27320392 memory=163680 CPUtime=0.99 cores=0-7
/proc/21604/stat : 21604 (java) S 21601 21601 19225 0 -1 1077944320 19964 0 0 0 93 6 0 0 20 0 20 0 419489642 27976081408 40920 33554432000 4194304 4196468 140728455855936 140728455838480 140362883849975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
/proc/21604/statm: 6830098 40920 3194 1 0 6791447 0
[pid=21604/tid=21605] ppid=21601 vsize=27320392 memory=279925970454720 CPUtime=0.67 cores=0-7
/proc/21604/task/21605/stat : 21605 (java) R 21601 21601 19225 0 -1 4202560 16901 0 0 0 62 5 0 0 20 0 20 0 419489642 27976081408 40920 33554432000 4194304 4196468 140728455855936 140362855687264 140362883861910 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21606] ppid=21601 vsize=27320392 memory=5076651345044 CPUtime=0 cores=0-7
/proc/21604/task/21606/stat : 21606 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419489645 27976081408 40920 33554432000 4194304 4196468 140728455855936 140362888092304 140362883860181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21607] ppid=21601 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21607/stat : 21607 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27976081408 40920 33554432000 4194304 4196468 140728455855936 140362702248464 140362883860181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0
[pid=21604/tid=21608] ppid=21601 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21604/task/21608/stat : 21608 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419489645 27976081408 40920 33554432000 4194304 4196468 140728455855936 140362701195664 140362883860181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140728455860970 140728455861398 140728455861398 140728455864271 0

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

[pid=21708/tid=21709] ppid=21601 vsize=8414124 memory=5512204 CPUtime=0.78 cores=0-7
/proc/21708/task/21709/stat : 21709 (java) S 21601 21601 19225 0 -1 1077944384 17460 0 0 0 72 6 0 0 20 0 24 0 419603272 8616062976 30265 33554432000 4194304 4196468 140731625841424 140239418498976 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21710] ppid=21601 vsize=8414124 memory=5510932 CPUtime=0 cores=0-7
/proc/21708/task/21710/stat : 21710 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419603273 8616062976 30265 33554432000 4194304 4196468 140731625841424 140239450901136 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21711] ppid=21601 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/21708/task/21711/stat : 21711 (java) S 21601 21601 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419603273 8616062976 30265 33554432000 4194304 4196468 140731625841424 140239273396752 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21712] ppid=21601 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21708/task/21712/stat : 21712 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419603273 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238931048848 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21713] ppid=21601 vsize=8414124 memory=121060 CPUtime=0 cores=0-7
/proc/21708/task/21713/stat : 21713 (java) S 21601 21601 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419603273 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238929996048 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21714] ppid=21601 vsize=8414124 memory=5511180 CPUtime=0 cores=0-7
/proc/21708/task/21714/stat : 21714 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419603273 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238928944272 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21715] ppid=21601 vsize=8414124 memory=4144 CPUtime=0 cores=0-7
/proc/21708/task/21715/stat : 21715 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419603273 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238927891472 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21716] ppid=21601 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/21708/task/21716/stat : 21716 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419603273 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238926838672 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21717] ppid=21601 vsize=8414124 memory=3604 CPUtime=0 cores=0-7
/proc/21708/task/21717/stat : 21717 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419603273 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238925785872 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21718] ppid=21601 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21708/task/21718/stat : 21718 (java) S 21601 21601 19225 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419603275 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238875707760 140239446669954 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21719] ppid=21601 vsize=8414124 memory=121060 CPUtime=0 cores=0-7
/proc/21708/task/21719/stat : 21719 (java) S 21601 21601 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419603275 8616062976 30265 33554432000 4194304 4196468 140731625841424 140237728637984 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21720] ppid=21601 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21708/task/21720/stat : 21720 (java) S 21601 21601 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419603275 8616062976 30265 33554432000 4194304 4196468 140731625841424 140237594415984 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21721] ppid=21601 vsize=8414124 memory=121060 CPUtime=0 cores=0-7
/proc/21708/task/21721/stat : 21721 (java) S 21601 21601 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419603278 8616062976 30265 33554432000 4194304 4196468 140731625841424 140237219911504 140239446677403 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21722] ppid=21601 vsize=8414124 memory=5511032 CPUtime=0.13 cores=0-7
/proc/21708/task/21722/stat : 21722 (java) S 21601 21601 19225 0 -1 1077944384 989 0 0 0 13 0 0 0 20 0 24 0 419603278 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238874655600 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21723] ppid=21601 vsize=8414124 memory=1564 CPUtime=0.05 cores=0-7
/proc/21708/task/21723/stat : 21723 (java) S 21601 21601 19225 0 -1 1077944384 303 0 0 0 5 0 0 0 20 0 24 0 419603278 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238873602800 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21724] ppid=21601 vsize=8414124 memory=976 CPUtime=0.07 cores=0-7
/proc/21708/task/21724/stat : 21724 (java) S 21601 21601 19225 0 -1 1077944384 340 0 0 0 7 0 0 0 20 0 24 0 419603278 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238872550000 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21725] ppid=21601 vsize=8414124 memory=772 CPUtime=0.22 cores=0-7
/proc/21708/task/21725/stat : 21725 (java) S 21601 21601 19225 0 -1 1077944384 721 0 0 0 22 0 0 0 20 0 24 0 419603278 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238871497200 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21726] ppid=21601 vsize=8414124 memory=3932 CPUtime=0 cores=0-7
/proc/21708/task/21726/stat : 21726 (java) S 21601 21601 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419603278 8616062976 30265 33554432000 4194304 4196468 140731625841424 140236722006624 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21727] ppid=21601 vsize=8414124 memory=2832 CPUtime=0.07 cores=0-7
/proc/21708/task/21727/stat : 21727 (java) S 21601 21601 19225 0 -1 1077944384 9 0 0 0 3 4 0 0 20 0 24 0 419603279 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238802381360 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21729] ppid=21601 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/21708/task/21729/stat : 21729 (java) S 21601 21601 19225 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419603347 8616062976 30265 33554432000 4194304 4196468 140731625841424 140238869886016 140239446683417 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21731] ppid=21601 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/21708/task/21731/stat : 21731 (java) S 21601 21601 19225 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419603348 8616062976 30265 33554432000 4194304 4196468 140731625841424 140236050907280 140239446680733 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21732] ppid=21601 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/21708/task/21732/stat : 21732 (java) S 21601 21601 19225 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419603348 8616062976 30265 33554432000 4194304 4196468 140731625841424 140236319342608 140239446680733 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21733] ppid=21601 vsize=8414124 memory=8296 CPUtime=0 cores=0-7
/proc/21708/task/21733/stat : 21733 (java) S 21601 21601 19225 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419603350 8616062976 30265 33554432000 4194304 4196468 140731625841424 140235782479408 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
Current children cumulated CPU time: 1758.42 s
Current children cumulated vsize: 14543716 KiB
Current children cumulated memory: 5643408 KiB

[startup+1254.4 s]
/proc/loadavg: 1.85 1.61 2.11 3/216 21744
/proc/meminfo: memFree=24270184/32770624 swapFree=66935272/67108860
[pid=21601] ppid=21598 vsize=113128 memory=1476 CPUtime=1543.94 cores=0-7
/proc/21601/stat : 21601 (scop.sh) S 21598 21601 19225 0 -1 4202496 583 607953 0 0 0 0 149538 4856 20 0 1 0 419489642 115843072 369 33554432000 4194304 5098028 140725824824736 140725824821480 140411552469628 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10858496 140725824828196 140725824828524 140725824828524 140725824831437 0
/proc/21601/statm: 28282 369 311 221 0 87 0
[pid=21708] ppid=21601 vsize=8283048 memory=260756 CPUtime=216.19 cores=0-7
/proc/21708/stat : 21708 (java) S 21601 21601 19225 0 -1 1077944320 22486 4296106 0 0 199 16 20734 670 20 0 22 0 419603271 8481841152 65189 33554432000 4194304 4196468 140731625841424 140731625823968 140239446658807 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
/proc/21708/statm: 2070762 65189 3234 1 0 2032106 0
[pid=21708/tid=21709] ppid=21601 vsize=8283048 memory=1476 CPUtime=214.91 cores=0-7
/proc/21708/task/21709/stat : 21709 (java) R 21601 21601 19225 0 -1 4202560 17678 4296106 0 0 81 6 20734 670 20 0 22 0 419603272 8481841152 65189 33554432000 4194304 4196468 140731625841424 140239418497088 140238951931638 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21710] ppid=21601 vsize=8283048 memory=121060 CPUtime=214.04 cores=0-7
/proc/21708/task/21710/stat : 21710 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65189 33554432000 4194304 4196468 140731625841424 140239450901136 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21711] ppid=21601 vsize=8283048 memory=1476 CPUtime=214.04 cores=0-7
/proc/21708/task/21711/stat : 21711 (java) S 21601 21601 19225 0 -1 1077944384 3 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65189 33554432000 4194304 4196468 140731625841424 140239273396752 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21712] ppid=21601 vsize=8283048 memory=121060 CPUtime=214.04 cores=0-7
/proc/21708/task/21712/stat : 21712 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238931048848 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21713] ppid=21601 vsize=8283048 memory=1056 CPUtime=214.04 cores=0-7
/proc/21708/task/21713/stat : 21713 (java) S 21601 21601 19225 0 -1 1077944384 2 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238929996048 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21714] ppid=21601 vsize=8283048 memory=744 CPUtime=214.04 cores=0-7
/proc/21708/task/21714/stat : 21714 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238928944272 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21715] ppid=21601 vsize=8283048 memory=3620 CPUtime=214.04 cores=0-7
/proc/21708/task/21715/stat : 21715 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238927891472 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21716] ppid=21601 vsize=8283048 memory=4486604260213485459 CPUtime=214.04 cores=0-7
/proc/21708/task/21716/stat : 21716 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238926838672 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21717] ppid=21601 vsize=8283048 memory=4144 CPUtime=214.04 cores=0-7
/proc/21708/task/21717/stat : 21717 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238925785872 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21718] ppid=21601 vsize=8283048 memory=1412 CPUtime=214.04 cores=0-7
/proc/21708/task/21718/stat : 21718 (java) S 21601 21601 19225 0 -1 1077944384 8 4296106 0 0 0 0 20734 670 20 0 22 0 419603275 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238875707760 140239446669954 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21719] ppid=21601 vsize=8283048 memory=3644 CPUtime=214.04 cores=0-7
/proc/21708/task/21719/stat : 21719 (java) S 21601 21601 19225 0 -1 1077944384 13 4296106 0 0 0 0 20734 670 20 0 22 0 419603275 8481841152 65189 33554432000 4194304 4196468 140731625841424 140237728637984 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21720] ppid=21601 vsize=8283048 memory=6791534058613427641 CPUtime=214.04 cores=0-7
/proc/21708/task/21720/stat : 21720 (java) S 21601 21601 19225 0 -1 1077944384 21 4296106 0 0 0 0 20734 670 20 0 22 0 419603275 8481841152 65189 33554432000 4194304 4196468 140731625841424 140237594415984 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21721] ppid=21601 vsize=8283048 memory=3696 CPUtime=214.04 cores=0-7
/proc/21708/task/21721/stat : 21721 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603278 8481841152 65189 33554432000 4194304 4196468 140731625841424 140237219911504 140239446677403 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21722] ppid=21601 vsize=8283048 memory=1476 CPUtime=214.27 cores=0-7
/proc/21708/task/21722/stat : 21722 (java) S 21601 21601 19225 0 -1 1077944384 1030 4296106 0 0 23 0 20734 670 20 0 22 0 419603278 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238874655600 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21723] ppid=21601 vsize=8283048 memory=121060 CPUtime=214.17 cores=0-7
/proc/21708/task/21723/stat : 21723 (java) S 21601 21601 19225 0 -1 1077944384 344 4296106 0 0 13 0 20734 670 20 0 22 0 419603278 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238873602800 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21724] ppid=21601 vsize=8283048 memory=3620 CPUtime=214.21 cores=0-7
/proc/21708/task/21724/stat : 21724 (java) S 21601 21601 19225 0 -1 1077944384 713 4296106 0 0 17 0 20734 670 20 0 22 0 419603278 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238872550000 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21725] ppid=21601 vsize=8283048 memory=24324 CPUtime=214.34 cores=0-7
/proc/21708/task/21725/stat : 21725 (java) R 21601 21601 19225 0 -1 4202560 1185 4296106 0 0 30 0 20734 670 20 0 22 0 419603278 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238871493408 140239425284081 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21726] ppid=21601 vsize=8283048 memory=984 CPUtime=214.04 cores=0-7
/proc/21708/task/21726/stat : 21726 (java) S 21601 21601 19225 0 -1 1077944384 3 4296106 0 0 0 0 20734 670 20 0 22 0 419603278 8481841152 65189 33554432000 4194304 4196468 140731625841424 140236722006624 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21727] ppid=21601 vsize=8283048 memory=2032 CPUtime=214.11 cores=0-7
/proc/21708/task/21727/stat : 21727 (java) S 21601 21601 19225 0 -1 1077944384 9 4296106 0 0 3 4 20734 670 20 0 22 0 419603279 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238802381360 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21729] ppid=21601 vsize=8283048 memory=524 CPUtime=214.04 cores=0-7
/proc/21708/task/21729/stat : 21729 (java) S 21601 21601 19225 0 -1 1077944384 24 4296106 0 0 0 0 20734 670 20 0 22 0 419603347 8481841152 65189 33554432000 4194304 4196468 140731625841424 140238869885200 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21733] ppid=21601 vsize=8283048 memory=0 CPUtime=214.04 cores=0-7
/proc/21708/task/21733/stat : 21733 (java) S 21601 21601 19225 0 -1 1077944384 14 4296106 0 0 0 0 20734 670 20 0 22 0 419603350 8481841152 65189 33554432000 4194304 4196468 140731625841424 140235782481200 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
Current children cumulated CPU time: 1760.13 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 262232 KiB

[startup+1254.6 s]
/proc/loadavg: 1.85 1.61 2.11 3/216 21744
/proc/meminfo: memFree=24270184/32770624 swapFree=66935272/67108860
[pid=21601] ppid=21598 vsize=113128 memory=1476 CPUtime=1543.94 cores=0-7
/proc/21601/stat : 21601 (scop.sh) S 21598 21601 19225 0 -1 4202496 583 607953 0 0 0 0 149538 4856 20 0 1 0 419489642 115843072 369 33554432000 4194304 5098028 140725824824736 140725824821480 140411552469628 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10858496 140725824828196 140725824828524 140725824828524 140725824831437 0
/proc/21601/statm: 28282 369 311 221 0 87 0
[pid=21708] ppid=21601 vsize=8283048 memory=263808 CPUtime=216.48 cores=0-7
/proc/21708/stat : 21708 (java) S 21601 21601 19225 0 -1 1077944320 23727 4296106 0 0 216 28 20734 670 20 0 22 0 419603271 8481841152 65952 33554432000 4194304 4196468 140731625841424 140731625823968 140239446658807 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
/proc/21708/statm: 2070762 65952 3236 1 0 2032106 0
[pid=21708/tid=21709] ppid=21601 vsize=8283048 memory=6791534058613427641 CPUtime=215.11 cores=0-7
/proc/21708/task/21709/stat : 21709 (java) R 21601 21601 19225 0 -1 4202560 18746 4296106 0 0 88 19 20734 670 20 0 22 0 419603272 8481841152 65952 33554432000 4194304 4196468 140731625841424 140239418495920 140239439344439 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21710] ppid=21601 vsize=8283048 memory=121060 CPUtime=214.04 cores=0-7
/proc/21708/task/21710/stat : 21710 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65952 33554432000 4194304 4196468 140731625841424 140239450901136 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21711] ppid=21601 vsize=8283048 memory=5496556 CPUtime=214.04 cores=0-7
/proc/21708/task/21711/stat : 21711 (java) S 21601 21601 19225 0 -1 1077944384 3 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65952 33554432000 4194304 4196468 140731625841424 140239273396752 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21712] ppid=21601 vsize=8283048 memory=812 CPUtime=214.04 cores=0-7
/proc/21708/task/21712/stat : 21712 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238931048848 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21713] ppid=21601 vsize=8283048 memory=0 CPUtime=214.04 cores=0-7
/proc/21708/task/21713/stat : 21713 (java) S 21601 21601 19225 0 -1 1077944384 2 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238929996048 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21714] ppid=21601 vsize=8283048 memory=4566977039514181781 CPUtime=214.04 cores=0-7
/proc/21708/task/21714/stat : 21714 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238928944272 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21715] ppid=21601 vsize=8283048 memory=4571315931222222750 CPUtime=214.04 cores=0-7
/proc/21708/task/21715/stat : 21715 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238927891472 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21716] ppid=21601 vsize=8283048 memory=-7308610313020399553 CPUtime=214.04 cores=0-7
/proc/21708/task/21716/stat : 21716 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238926838672 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21717] ppid=21601 vsize=8283048 memory=24324 CPUtime=214.04 cores=0-7
/proc/21708/task/21717/stat : 21717 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603273 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238925785872 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21718] ppid=21601 vsize=8283048 memory=0 CPUtime=214.04 cores=0-7
/proc/21708/task/21718/stat : 21718 (java) S 21601 21601 19225 0 -1 1077944384 8 4296106 0 0 0 0 20734 670 20 0 22 0 419603275 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238875707760 140239446669954 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21719] ppid=21601 vsize=8283048 memory=1332 CPUtime=214.04 cores=0-7
/proc/21708/task/21719/stat : 21719 (java) S 21601 21601 19225 0 -1 1077944384 13 4296106 0 0 0 0 20734 670 20 0 22 0 419603275 8481841152 65952 33554432000 4194304 4196468 140731625841424 140237728637984 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21720] ppid=21601 vsize=8283048 memory=1564 CPUtime=214.04 cores=0-7
/proc/21708/task/21720/stat : 21720 (java) S 21601 21601 19225 0 -1 1077944384 21 4296106 0 0 0 0 20734 670 20 0 22 0 419603275 8481841152 65952 33554432000 4194304 4196468 140731625841424 140237594415984 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21721] ppid=21601 vsize=8283048 memory=-8601140176380785042 CPUtime=214.04 cores=0-7
/proc/21708/task/21721/stat : 21721 (java) S 21601 21601 19225 0 -1 1077944384 1 4296106 0 0 0 0 20734 670 20 0 22 0 419603278 8481841152 65952 33554432000 4194304 4196468 140731625841424 140237219911504 140239446677403 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21722] ppid=21601 vsize=8283048 memory=121060 CPUtime=214.27 cores=0-7
/proc/21708/task/21722/stat : 21722 (java) S 21601 21601 19225 0 -1 1077944384 1035 4296106 0 0 23 0 20734 670 20 0 22 0 419603278 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238874655600 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21723] ppid=21601 vsize=8283048 memory=5489564 CPUtime=214.19 cores=0-7
/proc/21708/task/21723/stat : 21723 (java) S 21601 21601 19225 0 -1 1077944384 352 4296106 0 0 15 0 20734 670 20 0 22 0 419603278 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238873602800 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21724] ppid=21601 vsize=8283048 memory=14008 CPUtime=214.23 cores=0-7
/proc/21708/task/21724/stat : 21724 (java) S 21601 21601 19225 0 -1 1077944384 731 4296106 0 0 19 0 20734 670 20 0 22 0 419603278 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238872550000 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21725] ppid=21601 vsize=8283048 memory=12024 CPUtime=214.4 cores=0-7
/proc/21708/task/21725/stat : 21725 (java) S 21601 21601 19225 0 -1 1077944384 1325 4296106 0 0 36 0 20734 670 20 0 22 0 419603278 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238871497200 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21726] ppid=21601 vsize=8283048 memory=2124 CPUtime=214.04 cores=0-7
/proc/21708/task/21726/stat : 21726 (java) S 21601 21601 19225 0 -1 1077944384 3 4296106 0 0 0 0 20734 670 20 0 22 0 419603278 8481841152 65952 33554432000 4194304 4196468 140731625841424 140236722006624 140239446669013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21727] ppid=21601 vsize=8283048 memory=7900 CPUtime=214.11 cores=0-7
/proc/21708/task/21727/stat : 21727 (java) S 21601 21601 19225 0 -1 1077944384 9 4296106 0 0 3 4 20734 670 20 0 22 0 419603279 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238802381360 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21729] ppid=21601 vsize=8283048 memory=504 CPUtime=214.04 cores=0-7
/proc/21708/task/21729/stat : 21729 (java) S 21601 21601 19225 0 -1 1077944384 24 4296106 0 0 0 0 20734 670 20 0 22 0 419603347 8481841152 65952 33554432000 4194304 4196468 140731625841424 140238869885200 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
[pid=21708/tid=21733] ppid=21601 vsize=8283048 memory=1564 CPUtime=214.04 cores=0-7
/proc/21708/task/21733/stat : 21733 (java) S 21601 21601 19225 0 -1 1077944384 14 4296106 0 0 0 0 20734 670 20 0 22 0 419603350 8481841152 65952 33554432000 4194304 4196468 140731625841424 140235782481200 140239446669954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12300288 140731625845751 140731625845910 140731625845910 140731625848783 0
Current children cumulated CPU time: 1760.42 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 265284 KiB

Child status: 0
Real time (s): 1254.63
CPU time (s): 1760.49
CPU user time (s): 1704.9
CPU system time (s): 55.5893
CPU usage (%): 140.319
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 23551352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1704.9
system time used= 55.5893
maximum resident set size= 23550312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4928409
page faults= 0
swaps= 0
block input operations= 40
block output operations= 2056040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76350
involuntary context switches= 6302


# summary of solver processes directly reported to runsolver:
#   pid: 21601
#   total CPU time (s): 1760.49
#   total CPU user time (s): 1704.9
#   total CPU system time (s): 55.5893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49651 second user time and 13.4998 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-14 05:35:43
IDJOB=4392818
IDBENCH=131667
IDSOLVER=2839
FILE ID=node151/4392818-1568432182
RUNJOBID= node151-1568430672-19252
PBS_JOBID= 21702312
Free space on /tmp= 59308 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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-4392818-1568432182/watcher-4392818-1568432182 -o /tmp/evaluation-result-4392818-1568432182/solver-4392818-1568432182 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392818-1568432182.xml

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

MD5SUM BENCH= 8e810070148f78cd392ecc5d984ef703
RANDOM SEED=224544984

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30980432 kB
MemAvailable:   31852392 kB
Buffers:          186444 kB
Cached:           977488 kB
SwapCached:        71060 kB
Active:           637716 kB
Inactive:         599504 kB
Active(anon):       9664 kB
Inactive(anon):    96932 kB
Active(file):     628052 kB
Inactive(file):   502572 kB
Unevictable:      110868 kB
Mlocked:          110868 kB
SwapTotal:      67108860 kB
SwapFree:       66935264 kB
Dirty:             20908 kB
Writeback:             0 kB
AnonPages:        143476 kB
Mapped:            37432 kB
Shmem:             24496 kB
Slab:             143268 kB
SReclaimable:     114344 kB
SUnreclaim:        28924 kB
KernelStack:        3728 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59288 MiB
End job on node151 at 2019-09-14 05:56:37