Trace number 4392518

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 1730.73 1216.34

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-rand/
Subisomorphism-si4-r001-m600-08.xml
MD5SUM8e810070148f78cd392ecc5d984ef703
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.69989
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints817
Number of domains1
Minimum domain size600
Maximum domain size600
Distribution of domain sizes[{"size":600,"count":240}]
Minimum variable degree2
Maximum variable degree14
Distribution of variable degrees[{"degree":2,"count":3},{"degree":3,"count":18},{"degree":4,"count":26},{"degree":5,"count":33},{"degree":7,"count":51},{"degree":8,"count":41},{"degree":9,"count":29},{"degree":10,"count":15},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity1
Maximum constraint arity240
Distribution of constraint arities[{"arity":1,"count":160},{"arity":2,"count":656},{"arity":240,"count":1}]
Number of extensional constraints816
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":816},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22104-serial-file.bin HOME/instance-4392518-1568432143.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 05:35:04 CEST 2019
0.65/0.56	c PID: 22107
0.65/0.56	c IP: 172.20.3.124
0.65/0.56	c HOST: node124.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.36/1.17	c (0,0) Parsing End
2.36/1.18	c (0,0) CSP: 240 int (0 aux), 0 bool (0 aux), 817 ctr, max domain size 600
2.36/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.36/1.18	c (0,0) Constraint Name Generate Begin
2.36/1.19	c (0,0) Ctr:HOME/instance-4392518-1568432143.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.36/1.19	c (0,0) Constraint Name Generate End
2.36/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.36/1.19	c (0,0) CSP to CSPinCNF Begin
91.90/69.66	c (69,67) translated 82 (10%) constraints
180.66/138.44	c (137,133) translated 164 (20%) constraints
265.94/206.67	c (206,198) translated 246 (30%) constraints
342.03/272.97	c (272,263) translated 327 (40%) constraints
422.21/340.65	c (340,329) translated 409 (50%) constraints
500.42/408.09	c (407,395) translated 491 (60%) constraints
578.79/474.89	c (474,460) translated 572 (70%) constraints
655.09/542.19	c (541,526) translated 654 (80%) constraints
658.54/545.56	c (545,529) translated 736 (90%) constraints
659.37/545.73	c (545,530) translated 817 (100%) constraints
659.37/545.73	c (545,530) ===========================================
659.37/545.75	c (545,530) Order
659.37/545.75	c (545,530) ===========================================
684.17/565.95	c (565,549) translated 1012047 (10%) constraints
709.36/586.68	c (586,569) translated 2024093 (20%) constraints
736.53/607.66	c (607,589) translated 3036139 (30%) constraints
756.64/627.76	c (627,610) translated 4048186 (40%) constraints
783.65/648.62	c (648,630) translated 5060232 (50%) constraints
810.48/669.50	c (668,649) translated 6072278 (60%) constraints
837.13/690.33	c (689,669) translated 7084325 (70%) constraints
857.15/710.33	c (709,689) translated 8096371 (80%) constraints
883.75/731.18	c (730,709) translated 9108417 (90%) constraints
910.51/751.96	c (751,729) translated 10120463 (100%) constraints
910.51/751.96	c (751,729) CSP to CSPinCNF End
910.64/752.09	c (751,729) CSP: 240 int (0 aux), 393600 bool (393600 aux), 10120463 ctr, max domain size 600
910.64/752.09	c (751,729) Heap : 13472 MiB used (max 21587 MiB), NonHeap : 29 MiB used (max 0 MiB)
910.64/752.09	c (751,729) CSPinCNF Propagation Begin
1043.86/826.37	c (825,796) 0 values, 3823 unsatisfiable literals, and 3207 valid clauses are removed
1043.86/826.37	c (825,796) CSPinCNF Propagation End
1043.97/826.49	c (825,796) CSP: 240 int (0 aux), 393600 bool (393600 aux), 10117256 ctr, max domain size 600
1043.97/826.49	c (825,796) Heap : 19230 MiB used (max 21293 MiB), NonHeap : 30 MiB used (max 0 MiB)
1044.08/826.52	c (825,796) Simplify CSPinCNF Begin
1234.21/865.76	c (865,811) Simplify CSPinCNF End
1234.41/865.92	c (865,811) CSP: 240 int (0 aux), 450960 bool (450960 aux), 10174616 ctr, max domain size 600
1234.41/865.93	c (865,811) Heap : 12484 MiB used (max 21650 MiB), NonHeap : 30 MiB used (max 0 MiB)
1234.41/865.93	c (865,811) Calculate Precise Domain Begin
1234.41/865.93	c (865,811) 0 values are removed by re-calculation
1234.41/865.93	c (865,811) Calculate Precise Domain End
1234.52/866.09	c (865,811) CSP: 240 int (0 aux), 450960 bool (450960 aux), 10174616 ctr, max domain size 600
1234.52/866.09	c (865,811) Heap : 12599 MiB used (max 21650 MiB), NonHeap : 30 MiB used (max 0 MiB)
1234.52/866.09	c (865,811) CSPinCNF to SatSolver Begin
1380.01/1007.44	c (1006,947) 1017462 (10 %) CSP clauses are encoded (0 SAT variables, 35502422 SAT clauses)
1390.81/1016.96	c (1016,957) 2034924 (20 %) CSP clauses are encoded (0 SAT variables, 36519884 SAT clauses)
1402.11/1026.54	c (1025,966) 3052385 (30 %) CSP clauses are encoded (0 SAT variables, 37537345 SAT clauses)
1417.35/1036.64	c (1036,975) 4069847 (40 %) CSP clauses are encoded (0 SAT variables, 38554807 SAT clauses)
1429.88/1046.51	c (1045,985) 5087308 (50 %) CSP clauses are encoded (0 SAT variables, 39572268 SAT clauses)
1442.83/1056.38	c (1055,994) 6104770 (60 %) CSP clauses are encoded (0 SAT variables, 40589730 SAT clauses)
1460.73/1066.83	c (1066,1003) 7122232 (70 %) CSP clauses are encoded (0 SAT variables, 41607192 SAT clauses)
1481.16/1077.59	c (1077,1013) 8139693 (80 %) CSP clauses are encoded (0 SAT variables, 42624653 SAT clauses)
1496.04/1087.57	c (1087,1022) 9157155 (90 %) CSP clauses are encoded (0 SAT variables, 43642115 SAT clauses)
1514.38/1097.96	c (1097,1031) 10174616 (100 %) CSP clauses are encoded (0 SAT variables, 44659576 SAT clauses)
1514.38/1097.96	c (1097,1031) CSPinCNF to SatSolver End
1514.38/1097.96	c (1097,1031) Heap : 14743 MiB used (max 20819 MiB), NonHeap : 31 MiB used (max 0 MiB)
1514.38/1097.96	c (1097,1031) 594681 bool, 44659577 clause
1514.38/1097.96	c (1097,1031) Export Begin
1514.51/1098.07	c (1097,1031) Export to HOME/scop-22104-serial-file.bin
1514.51/1098.07	c (1097,1031) Export End
1514.51/1098.07	c (1097,1031) Export File Size: 0.05 MB
1514.51/1098.07	c (1097,1031) 0,0,751,825,865,865,1097,STOP-AFTER(DIMACS)
1514.51/1098.07	c END-Prog: Sat Sep 14 05:53:21 CEST 2019
0.00/1098.18	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22104-serial-file.bin
1514.77/1098.65	c (0,0) Read Serial File Begin
1514.77/1098.65	c (0,0) HOME/scop-22104-serial-file.bin
1514.77/1098.88	c (0,0) Read Serial File End
1514.77/1098.90	
1514.77/1098.90	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1514.77/1098.90	(Solving Process)
1514.77/1098.90	
1514.77/1098.92	c BEGIN-Prog: Sat Sep 14 05:53:22 CEST 2019
1514.77/1098.92	c PID: 22211
1514.77/1098.92	c IP: 172.20.3.124
1514.77/1098.92	c HOST: node124.alineos.net
1514.77/1098.92	c (0,0) SatSolver.solve Begin
1514.77/1098.92	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392518-1568432143.xml-scop-22107.cnf
1514.77/1098.95	c (0,0) c
1514.77/1098.95	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)
1514.77/1098.95	c (0,0) c
1514.77/1098.95	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1514.77/1098.95	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1514.77/1098.95	c (0,0) c ========================================[ Problem Statistics ]===========================================
1514.77/1098.95	c (0,0) c |                                                                                                       |
1531.23/1114.15	c (15,0) c |  Number of variables:        594681                                                                   |
1531.23/1114.15	c (15,0) c |  Number of clauses:        44659577                                                                   |
1531.23/1114.15	c (15,0) c |  Parse time:                  13.88 s                                                                 |
1531.23/1114.15	c (15,0) c |                                                                                                       |
1533.72/1116.60	c (18,0) c | Too many clauses... No preprocessing                                                                  |
1533.72/1116.60	c (18,0) c |  Simplification time:          2.15 s                                                                 |
1533.72/1116.60	c (18,0) c |                                                                                                       |
1533.72/1116.60	c (18,0) c |  One Solver is taking   3288.39Mb... Let's take   2 solvers for this run (max 40% of the maxmemory).  |
1533.72/1116.60	c (18,0) c |  Generating clones                                                                                    |
1534.63/1117.53	c (18,0) c |  all clones generated. Memory =  5219.07Mb.                                                           |
1534.63/1117.53	c (18,0) c ========================================================================================================|
1534.63/1117.53	c (18,0) c
1534.63/1117.53	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1534.63/1117.53	c (18,0) c
1534.63/1117.53	c (18,0) c |-----------------------|------------|------------|
1534.63/1117.53	c (18,0) c | Threads               |          0 |          1 |
1534.63/1117.53	c (18,0) c |-----------------------|------------|------------|
1534.63/1117.53	c (18,0) c | randomizeFirstDescent |      False |       True |
1534.63/1117.53	c (18,0) c | adaptStrategeis       |       True |      False |
1534.63/1117.53	c (18,0) c | forceUnsatOnNewDescent|       True |       True |
1534.63/1117.53	c (18,0) c | Initial random_seed   |   91648253 |   91648254 |
1534.63/1117.53	c (18,0) c | chanseokStrategy      |      False |      False |
1534.63/1117.53	c (18,0) c | coLBDBound            |          5 |          5 |
1534.63/1117.53	c (18,0) c | glureduce             |       True |       True |
1534.63/1117.53	c (18,0) c | firstReduceDB         |       2000 |       2000 |
1534.63/1117.53	c (18,0) c | incReduceDB           |        300 |        300 |
1534.63/1117.53	c (18,0) c | luby_restart          |      False |      False |
1534.63/1117.53	c (18,0) c | luby_restart_factor   |        100 |        100 |
1534.63/1117.53	c (18,0) c | var_decay             |     0.8000 |     0.8000 |
1534.63/1117.53	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |
1534.63/1117.53	c (18,0) c | randomize_on_restarts |      False |      False |
1534.63/1117.53	c (18,0) c | remove_satisfied      |       True |       True |
1534.63/1117.53	c (18,0) c |-----------------------|------------|------------|
1593.47/1147.17	c (48,0) c
1593.47/1147.17	c (48,0) c |------------------------------------------------------------------------------------------------------------------------|
1593.47/1147.17	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1593.47/1147.17	c (48,0) c |------------------------------------------------------------------------------------------------------------------------|
1593.47/1147.17	c (48,0) c |  0 |      7 |      47826 |       8068 |   191989 |     4273 |     1265 |     2695 |        0 |      230 |  20 |  0.000 |
1593.47/1147.17	c (48,0) c |  1 |     47 |      64561 |      17733 |   232721 |     8941 |     3520 |      660 |        0 |      249 |  20 |  0.000 |
1593.47/1147.17	c (48,0) c 
1593.47/1147.17	c (48,0) c synthesis       25801 conflicts    99935859 propagations      357 conflicts/sec  1382223 propagations/sec
1593.47/1147.17	c (48,0) c real: 48.2231 s, cpu: 72.3008 s, memory: 5875.07 Mb
1651.49/1176.17	c (77,0) c
1651.49/1176.17	c (77,0) c |------------------------------------------------------------------------------------------------------------------------|
1651.49/1176.17	c (77,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1651.49/1176.17	c (77,0) c |------------------------------------------------------------------------------------------------------------------------|
1651.49/1176.17	c (77,0) c |  0 |     43 |     111433 |      33398 |   284918 |    17206 |     7385 |     5882 |        0 |      490 |  20 |  0.000 |
1651.49/1176.17	c (77,0) c |  1 |     92 |     117037 |      32477 |   395769 |    16300 |     6465 |     7320 |        0 |      506 |  20 |  0.000 |
1651.49/1176.17	c (77,0) c 
1651.49/1176.17	c (77,0) c synthesis       65875 conflicts   233174415 propagations      507 conflicts/sec  1796008 propagations/sec
1651.49/1176.17	c (77,0) c real: 77.2231 s, cpu: 129.829 s, memory: 5875.20 Mb
1708.33/1205.17	c (106,0) c
1708.33/1205.17	c (106,0) c |------------------------------------------------------------------------------------------------------------------------|
1708.33/1205.17	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1708.33/1205.17	c (106,0) c |------------------------------------------------------------------------------------------------------------------------|
1708.33/1205.17	c (106,0) c |  0 |    156 |     188839 |      56558 |   417416 |    17864 |    12361 |     9148 |        0 |      769 |  20 |  0.002 |
1708.33/1205.17	c (106,0) c |  1 |    140 |     169777 |      46461 |   454650 |    20385 |     9559 |    11871 |        0 |      775 |  20 |  0.002 |
1708.33/1205.17	c (106,0) c 
1708.33/1205.17	c (106,0) c synthesis      103019 conflicts   362155099 propagations      553 conflicts/sec  1944238 propagations/sec
1708.33/1205.17	c (106,0) c real: 106.223 s, cpu: 186.271 s, memory: 5875.33 Mb
1729.10/1215.60	c (117,0) c
1729.10/1215.60	c (117,0) c real time : 116.649 s
1729.10/1215.60	c (117,0) c cpu time  : 206.83 s
1729.10/1215.60	c (117,0) c
1729.24/1215.60	c (117,0) c
1729.24/1215.60	c (117,0) c
1729.24/1215.60	c (117,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1729.24/1215.60	c (117,0) c
1729.24/1215.60	c (117,0) c |---------------|-----------------|------------|------------|
1729.24/1215.60	c (117,0) c | Threads       |      Total      |          0 |          1 |
1729.24/1215.60	c (117,0) c |---------------|-----------------|------------|------------|
1729.24/1215.60	c (117,0) c | Conflicts     |          115530 |      63657 |      51873 |
1729.24/1215.60	c (117,0) c | Decisions     |          408691 |     216117 |     192574 |
1729.24/1215.60	c (117,0) c | Propagations  |       407467115 |  202490271 |  204976844 |
1729.24/1215.60	c (117,0) c | ReduceDBs     |              12 |          6 |          6 |
1729.24/1215.60	c (117,0) c | SimpDBs       |               4 |          2 |          2 |
1729.24/1215.60	c (117,0) c | Restarts      |             375 |        201 |        174 |
1729.24/1215.60	c (117,0) c | ForcedImports |               0 |          0 |          0 |
1729.24/1215.60	c (117,0) c | PropBinClauses|       195698380 |  102739725 |   92958655 |
1729.24/1215.60	c (117,0) c | PropPreBlocker|      6680261725 | 3412897319 | 3267364406 |
1729.24/1215.60	c (117,0) c | PropNotBlocker|      1930798370 |  948651778 |  982146592 |
1729.24/1215.60	c (117,0) c | LitFullScans  |     10360661410 | 5152151684 | 5208509726 |
1729.24/1215.60	c (117,0) c | LitScanFracts |         7817863 |    1323115 |    6494748 |
1729.24/1215.60	c (117,0) c | DecisionLevel0|             388 |        214 |        174 |
1729.24/1215.60	c (117,0) c | Periods       |            1725 |        858 |        867 |
1729.24/1215.60	c (117,0) c | Margin        |              40 |         20 |         20 |
1729.24/1215.60	c (117,0) c | Avg_Trail     |                 |      12068 |      23464 |
1729.24/1215.60	c (117,0) c | Avg_DL        |                 |         93 |         62 |
1729.24/1215.60	c (117,0) c | Avg_Res       |                 |          0 |          0 |
1729.24/1215.60	c (117,0) c | Avg_Res_Seen  |                 |          0 |          0 |
1729.24/1215.60	c (117,0) c |---------------|-----------------|------------|------------|
1729.24/1215.60	c (117,0) c | Exported      |           24640 |      14031 |      10609 |
1729.24/1215.60	c (117,0) c | Imported      |           24158 |      10232 |      13926 |
1729.24/1215.60	c (117,0) c | Good          |             386 |         87 |        299 |
1729.24/1215.60	c (117,0) c | Purge         |           23772 |      10145 |      13627 |
1729.24/1215.60	c (117,0) c | Promoted      |               0 |          0 |          0 |
1729.24/1215.60	c (117,0) c | Remove_Imp    |               0 |          0 |          0 |
1729.24/1215.60	c (117,0) c | Blocked_Reuse |               0 |          0 |          0 |
1729.24/1215.60	c (117,0) c |---------------|-----------------|------------|------------|
1729.24/1215.60	c (117,0) c | Unaries       |                 |         13 |          0 |
1729.24/1215.60	c (117,0) c | Binaries      |                 |        302 |         95 |
1729.24/1215.60	c (117,0) c | Glues         |                 |       2058 |       1341 |
1729.24/1215.60	c (117,0) c |---------------|-----------------|------------|------------|
1729.24/1215.60	c (117,0) c | Orig_Seen     |             1 % |     440544 |     472527 |
1729.24/1215.60	c (117,0) c | Diff Orig seen|                 |      X     |      31983 |
1729.24/1215.60	c (117,0) c | Hamming       |            17 % |      X     |     101152 |
1729.24/1215.60	c (117,0) c |---------------|-----------------|------------|------------|
1729.24/1215.60	c (117,0) c | RunningTime   |                 |   98.0 100%|   96.8  99%|
1729.24/1215.60	c (117,0) c | WaitingTime   |                 |    0.0   0%|    1.2   1%|
1729.24/1215.60	c (117,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|
1729.24/1215.60	c (117,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|
1729.24/1215.60	c (117,0) c | SolvingTime   |                 |   98.0     |   98.0     |
1729.24/1215.60	c (117,0) c | PropagationTim|                 |   89.8  92%|   86.3  88%|
1729.24/1215.60	c (117,0) c | AnalysisTime  |                 |    5.4   6%|    7.7   8%|
1729.24/1215.60	c (117,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|
1729.24/1215.60	c (117,0) c | SimplifyTime  |                 |    0.7   1%|    1.8   2%|
1729.24/1215.60	c (117,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|
1729.24/1215.60	c (117,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|
1729.24/1215.60	c (117,0) c |---------------|-----------------|------------|------------|
1729.24/1215.60	c (117,0) c
1729.24/1215.60	c (117,0) c
1729.24/1215.60	c (117,0) c Threads : 2
1729.24/1215.60	c (117,0) c Winner : 0
1729.24/1215.60	c (117,0) c Conflicts_0 : 63657
1729.24/1215.60	c (117,0) c Conflicts_1 : 51873
1729.24/1215.60	c (117,0) c Conflicts_total : 115530
1729.24/1215.60	c (117,0) c Conflicts_winner : 63657
1729.24/1215.60	c (117,0) c Decisions_0 : 216117
1729.24/1215.60	c (117,0) c Decisions_1 : 192574
1729.24/1215.60	c (117,0) c Decisions_total : 408691
1729.24/1215.60	c (117,0) c Decisions_winner : 216117
1729.24/1215.60	c (117,0) c Propagations_0 : 202490271
1729.24/1215.60	c (117,0) c Propagations_1 : 204976844
1729.24/1215.60	c (117,0) c Propagations_total : 407467115
1729.24/1215.60	c (117,0) c Propagations_winner : 202490271
1729.24/1215.60	c (117,0) c ReduceDBs_0 : 6
1729.24/1215.60	c (117,0) c ReduceDBs_1 : 6
1729.24/1215.60	c (117,0) c ReduceDBs_total : 12
1729.24/1215.60	c (117,0) c ReduceDBs_winner : 6
1729.24/1215.60	c (117,0) c SimpDBs_0 : 2
1729.24/1215.60	c (117,0) c SimpDBs_1 : 2
1729.24/1215.60	c (117,0) c SimpDBs_total : 4
1729.24/1215.60	c (117,0) c SimpDBs_winner : 2
1729.24/1215.60	c (117,0) c Restarts_0 : 201
1729.24/1215.60	c (117,0) c Restarts_1 : 174
1729.24/1215.60	c (117,0) c Restarts_total : 375
1729.24/1215.60	c (117,0) c Restarts_winner : 201
1729.24/1215.60	c (117,0) c ForcedImports_0 : 0
1729.24/1215.60	c (117,0) c ForcedImports_1 : 0
1729.24/1215.60	c (117,0) c ForcedImports_total : 0
1729.24/1215.60	c (117,0) c ForcedImports_winner : 0
1729.24/1215.60	c (117,0) c PropsBinClauses_0 : 102739725
1729.24/1215.60	c (117,0) c PropsBinClauses_1 : 92958655
1729.24/1215.60	c (117,0) c PropsBinClauses_total : 195698380
1729.24/1215.60	c (117,0) c PropsBinClauses_winner : 102739725
1729.24/1215.60	c (117,0) c PropsPreBlocker_0 : 3412897319
1729.24/1215.60	c (117,0) c PropsPreBlocker_1 : 3267364406
1729.24/1215.60	c (117,0) c PropsPreBlocker_total : 6680261725
1729.24/1215.60	c (117,0) c PropsPreBlocker_winner : 3412897319
1729.24/1215.60	c (117,0) c PropsNotBlocker_0 : 948651778
1729.24/1215.60	c (117,0) c PropsNotBlocker_1 : 982146592
1729.24/1215.60	c (117,0) c PropsNotBlocker_total : 1930798370
1729.24/1215.60	c (117,0) c PropsNotBlocker_winner : 948651778
1729.24/1215.60	c (117,0) c PropsLitFullScans_0 : 5152151684
1729.24/1215.60	c (117,0) c PropsLitFullScans_1 : 5208509726
1729.24/1215.60	c (117,0) c PropsLitFullScans_total : 10360661410
1729.24/1215.60	c (117,0) c PropsLitFullScans_winner : 5152151684
1729.24/1215.60	c (117,0) c LitScanFractions_0 : 1323115
1729.24/1215.60	c (117,0) c LitScanFractions_1 : 6494748
1729.24/1215.60	c (117,0) c LitScanFractions_total : 7817863
1729.24/1215.60	c (117,0) c LitScanFractions_winner : 1323115
1729.24/1215.60	c (117,0) c DecisionLevel0_0 : 214
1729.24/1215.60	c (117,0) c DecisionLevel0_1 : 174
1729.24/1215.60	c (117,0) c DecisionLevel0_total : 388
1729.24/1215.60	c (117,0) c DecisionLevel0_winner : 214
1729.24/1215.60	c (117,0) c Periods_0 : 858
1729.24/1215.60	c (117,0) c Periods_1 : 867
1729.24/1215.60	c (117,0) c Periods_total : 1725
1729.24/1215.60	c (117,0) c Periods_winner : 858
1729.24/1215.60	c (117,0) c Margin_0 : 20
1729.24/1215.60	c (117,0) c Margin_1 : 20
1729.24/1215.60	c (117,0) c Margin_total : 40
1729.24/1215.60	c (117,0) c Margin_winner : 20
1729.24/1215.60	c (117,0) c Exported_0 : 14031
1729.24/1215.60	c (117,0) c Exported_1 : 10609
1729.24/1215.60	c (117,0) c Exported_total : 24640
1729.24/1215.60	c (117,0) c Exported_winner : 14031
1729.24/1215.60	c (117,0) c Imported_0 : 10232
1729.24/1215.60	c (117,0) c Imported_1 : 13926
1729.24/1215.60	c (117,0) c Imported_total : 24158
1729.24/1215.60	c (117,0) c Imported_winner : 10232
1729.24/1215.60	c (117,0) c Good_0 : 87
1729.24/1215.60	c (117,0) c Good_1 : 299
1729.24/1215.60	c (117,0) c Good_total : 386
1729.24/1215.60	c (117,0) c Good_winner : 87
1729.24/1215.60	c (117,0) c Purge_0 : 10145
1729.24/1215.60	c (117,0) c Purge_1 : 13627
1729.24/1215.60	c (117,0) c Purge_total : 23772
1729.24/1215.60	c (117,0) c Purge_winner : 10145
1729.24/1215.60	c (117,0) c Promoted_0 : 0
1729.24/1215.60	c (117,0) c Promoted_1 : 0
1729.24/1215.60	c (117,0) c Promoted_total : 0
1729.24/1215.60	c (117,0) c Promoted_winner : 0
1729.24/1215.60	c (117,0) c Remove_Imp_0 : 0
1729.24/1215.60	c (117,0) c Remove_Imp_1 : 0
1729.24/1215.60	c (117,0) c Remove_Imp_total : 0
1729.24/1215.60	c (117,0) c Remove_Imp_winner : 0
1729.24/1215.60	c (117,0) c Blocked_Reuse_0 : 0
1729.24/1215.60	c (117,0) c Blocked_Reuse_1 : 0
1729.24/1215.60	c (117,0) c Blocked_Reuse_total : 0
1729.24/1215.60	c (117,0) c Blocked_Reuse_winner : 0
1729.24/1215.60	c (117,0) c Unaries_0 : 13
1729.24/1215.60	c (117,0) c Unaries_1 : 0
1729.24/1215.60	c (117,0) c Unaries_total : 13
1729.24/1215.60	c (117,0) c Unaries_winner : 13
1729.24/1215.60	c (117,0) c Binaries_0 : 302
1729.24/1215.60	c (117,0) c Binaries_1 : 95
1729.24/1215.60	c (117,0) c Binaries_total : 397
1729.24/1215.60	c (117,0) c Binaries_winner : 302
1729.24/1215.60	c (117,0) c Glues_0 : 2058
1729.24/1215.60	c (117,0) c Glues_1 : 1341
1729.24/1215.60	c (117,0) c Glues_total : 3399
1729.24/1215.60	c (117,0) c Glues_winner : 2058
1729.24/1215.60	c (117,0) c RunningTime_0 : 97.952782
1729.24/1215.60	c (117,0) c RunningTime_1 : 96.780428
1729.24/1215.60	c (117,0) c RunningTime_total : 194.733210
1729.24/1215.60	c (117,0) c RunningTime_winner : 97.952782
1729.24/1215.60	c (117,0) c WaitingTime_0 : 0.000118
1729.24/1215.60	c (117,0) c WaitingTime_1 : 1.230676
1729.24/1215.60	c (117,0) c WaitingTime_total : 1.230794
1729.24/1215.60	c (117,0) c WaitingTime_winner : 0.000118
1729.24/1215.60	c (117,0) c ExchangingTime_0 : 0.024979
1729.24/1215.60	c (117,0) c ExchangingTime_1 : 0.021909
1729.24/1215.60	c (117,0) c ExchangingTime_total : 0.046889
1729.24/1215.60	c (117,0) c ExchangingTime_winner : 0.024979
1729.24/1215.60	c (117,0) c PeriodProcTime_0 : 0.009290
1729.24/1215.60	c (117,0) c PeriodProcTime_1 : 0.009581
1729.24/1215.60	c (117,0) c PeriodProcTime_total : 0.018872
1729.24/1215.60	c (117,0) c PeriodProcTime_winner : 0.009290
1729.24/1215.60	c (117,0) c SolvingTime_0 : 97.987170
1729.24/1215.60	c (117,0) c SolvingTime_1 : 98.042594
1729.24/1215.60	c (117,0) c SolvingTime_total : 196.029764
1729.24/1215.60	c (117,0) c SolvingTime_winner : 97.987170
1729.24/1215.60	c (117,0) c PropagationTime_0 : 89.788168
1729.24/1215.60	c (117,0) c PropagationTime_1 : 86.302852
1729.24/1215.60	c (117,0) c PropagationTime_total : 176.091021
1729.24/1215.60	c (117,0) c PropagationTime_winner : 89.788168
1729.24/1215.60	c (117,0) c AnalysisTime_0 : 5.443903
1729.24/1215.60	c (117,0) c AnalysisTime_1 : 7.675865
1729.24/1215.60	c (117,0) c AnalysisTime_total : 13.119768
1729.24/1215.60	c (117,0) c AnalysisTime_winner : 5.443903
1729.24/1215.60	c (117,0) c ReductionTime_0 : 0.016593
1729.24/1215.60	c (117,0) c ReductionTime_1 : 0.016795
1729.24/1215.60	c (117,0) c ReductionTime_total : 0.033388
1729.24/1215.60	c (117,0) c ReductionTime_winner : 0.016593
1729.24/1215.60	c (117,0) c SimplifyTime_0 : 0.688106
1729.24/1215.60	c (117,0) c SimplifyTime_1 : 1.768069
1729.24/1215.60	c (117,0) c SimplifyTime_total : 2.456174
1729.24/1215.60	c (117,0) c SimplifyTime_winner : 0.688106
1729.24/1215.60	c (117,0) c UsedRateTime_0 : 0.000000
1729.24/1215.60	c (117,0) c UsedRateTime_1 : 0.000000
1729.24/1215.60	c (117,0) c UsedRateTime_total : 0.000000
1729.24/1215.60	c (117,0) c UsedRateTime_winner : 0.000000
1729.24/1215.60	c (117,0) c OverlapRateTime_0 : 0.000000
1729.24/1215.60	c (117,0) c OverlapRateTime_1 : 0.000000
1729.24/1215.60	c (117,0) c OverlapRateTime_total : 0.000000
1729.24/1215.60	c (117,0) c OverlapRateTime_winner : 0.000000
1729.24/1215.60	c (117,0) c
1729.24/1215.60	c (117,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1729.24/1215.60	c (117,0) c
1729.24/1215.60	c (117,0) c |-----------------------|------------|------------|
1729.24/1215.60	c (117,0) c | Threads               |          0 |          1 |
1729.24/1215.60	c (117,0) c |-----------------------|------------|------------|
1729.24/1215.60	c (117,0) c | randomizeFirstDescent |      False |       True |
1729.24/1215.60	c (117,0) c | adaptStrategeis       |       True |      False |
1729.24/1215.60	c (117,0) c | forceUnsatOnNewDescent|       True |       True |
1729.24/1215.60	c (117,0) c | Initial random_seed   |  719344429 | 1774240722 |
1729.24/1215.60	c (117,0) c | chanseokStrategy      |      False |      False |
1729.24/1215.60	c (117,0) c | coLBDBound            |          5 |          5 |
1729.24/1215.60	c (117,0) c | glureduce             |       True |       True |
1729.24/1215.60	c (117,0) c | firstReduceDB         |       2000 |       2000 |
1729.24/1215.60	c (117,0) c | incReduceDB           |        300 |        300 |
1729.24/1215.60	c (117,0) c | luby_restart          |      False |      False |
1729.24/1215.60	c (117,0) c | luby_restart_factor   |        100 |        100 |
1729.24/1215.60	c (117,0) c | var_decay             |     0.9200 |     0.9000 |
1729.24/1215.60	c (117,0) c | max_var_decay         |     0.9500 |     0.9500 |
1729.24/1215.60	c (117,0) c | randomize_on_restarts |      False |      False |
1729.24/1215.60	c (117,0) c | remove_satisfied      |       True |       True |
1729.24/1215.61	c (117,0) c |-----------------------|------------|------------|
1729.24/1215.61	c (117,0) 
1729.24/1215.61	c (117,0) s SATISFIABLE
1516.60/1216.00	c (117,0) SatSolver.solve End
1516.60/1216.01	c (117,0) Heap : 236 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1516.60/1216.01	c (117,0) Show results Begin
1730.39/1216.16	c (117,0) x[0] = 423
1730.39/1216.16	c (117,0) x[1] = 141
1730.39/1216.16	c (117,0) x[2] = 147
1730.39/1216.16	c (117,0) x[3] = 588
1730.39/1216.16	c (117,0) x[4] = 172
1730.39/1216.16	c (117,0) x[5] = 233
1730.39/1216.16	c (117,0) x[6] = 249
1730.39/1216.16	c (117,0) x[7] = 91
1730.39/1216.16	c (117,0) x[8] = 390
1730.39/1216.16	c (117,0) x[9] = 27
1730.39/1216.16	c (117,0) x[10] = 558
1730.39/1216.16	c (117,0) x[11] = 382
1730.39/1216.16	c (117,0) x[12] = 455
1730.39/1216.16	c (117,0) x[13] = 539
1730.39/1216.16	c (117,0) x[14] = 519
1730.39/1216.16	c (117,0) x[15] = 197
1730.39/1216.16	c (117,0) x[16] = 434
1730.39/1216.16	c (117,0) x[17] = 414
1730.39/1216.16	c (117,0) x[18] = 593
1730.39/1216.16	c (117,0) x[19] = 179
1730.39/1216.16	c (117,0) x[20] = 591
1730.39/1216.16	c (117,0) x[21] = 9
1730.39/1216.16	c (117,0) x[22] = 33
1730.39/1216.16	c (117,0) x[23] = 0
1730.39/1216.16	c (117,0) x[24] = 184
1730.39/1216.16	c (117,0) x[25] = 55
1730.39/1216.16	c (117,0) x[26] = 222
1730.39/1216.16	c (117,0) x[27] = 113
1730.39/1216.16	c (117,0) x[28] = 385
1730.39/1216.16	c (117,0) x[29] = 532
1730.39/1216.16	c (117,0) x[30] = 551
1730.39/1216.16	c (117,0) x[31] = 413
1730.39/1216.16	c (117,0) x[32] = 240
1730.39/1216.16	c (117,0) x[33] = 439
1730.39/1216.16	c (117,0) x[34] = 306
1730.39/1216.16	c (117,0) x[35] = 286
1730.39/1216.16	c (117,0) x[36] = 69
1730.39/1216.16	c (117,0) x[37] = 250
1730.39/1216.16	c (117,0) x[38] = 501
1730.39/1216.16	c (117,0) x[39] = 112
1730.39/1216.16	c (117,0) x[40] = 525
1730.39/1216.16	c (117,0) x[41] = 227
1730.39/1216.16	c (117,0) x[42] = 23
1730.39/1216.16	c (117,0) x[43] = 494
1730.39/1216.16	c (117,0) x[44] = 92
1730.39/1216.16	c (117,0) x[45] = 403
1730.39/1216.16	c (117,0) x[46] = 526
1730.39/1216.16	c (117,0) x[47] = 107
1730.39/1216.16	c (117,0) x[48] = 28
1730.39/1216.16	c (117,0) x[49] = 499
1730.39/1216.16	c (117,0) x[50] = 41
1730.39/1216.16	c (117,0) x[51] = 122
1730.39/1216.16	c (117,0) x[52] = 259
1730.39/1216.16	c (117,0) x[53] = 74
1730.39/1216.16	c (117,0) x[54] = 340
1730.39/1216.16	c (117,0) x[55] = 89
1730.39/1216.16	c (117,0) x[56] = 377
1730.39/1216.16	c (117,0) x[57] = 402
1730.39/1216.16	c (117,0) x[58] = 255
1730.39/1216.16	c (117,0) x[59] = 521
1730.39/1216.16	c (117,0) x[60] = 356
1730.39/1216.16	c (117,0) x[61] = 194
1730.39/1216.16	c (117,0) x[62] = 42
1730.39/1216.16	c (117,0) x[63] = 290
1730.39/1216.16	c (117,0) x[64] = 235
1730.39/1216.16	c (117,0) x[65] = 106
1730.39/1216.16	c (117,0) x[66] = 77
1730.39/1216.16	c (117,0) x[67] = 393
1730.39/1216.16	c (117,0) x[68] = 549
1730.39/1216.16	c (117,0) x[69] = 217
1730.39/1216.16	c (117,0) x[70] = 126
1730.39/1216.16	c (117,0) x[71] = 101
1730.39/1216.16	c (117,0) x[72] = 111
1730.39/1216.16	c (117,0) x[73] = 31
1730.39/1216.16	c (117,0) x[74] = 469
1730.39/1216.16	c (117,0) x[75] = 400
1730.39/1216.16	c (117,0) x[76] = 100
1730.39/1216.16	c (117,0) x[77] = 130
1730.39/1216.16	c (117,0) x[78] = 280
1730.39/1216.16	c (117,0) x[79] = 552
1730.39/1216.16	c (117,0) x[80] = 321
1730.39/1216.16	c (117,0) x[81] = 325
1730.39/1216.16	c (117,0) x[82] = 524
1730.39/1216.16	c (117,0) x[83] = 125
1730.39/1216.16	c (117,0) x[84] = 473
1730.39/1216.16	c (117,0) x[85] = 274
1730.39/1216.16	c (117,0) x[86] = 449
1730.39/1216.16	c (117,0) x[87] = 395
1730.39/1216.16	c (117,0) x[88] = 562
1730.39/1216.16	c (117,0) x[89] = 124
1730.39/1216.16	c (117,0) x[90] = 212
1730.39/1216.16	c (117,0) x[91] = 19
1730.39/1216.16	c (117,0) x[92] = 375
1730.39/1216.16	c (117,0) x[93] = 577
1730.39/1216.16	c (117,0) x[94] = 93
1730.39/1216.16	c (117,0) x[95] = 34
1730.39/1216.16	c (117,0) x[96] = 6
1730.39/1216.16	c (117,0) x[97] = 548
1730.39/1216.16	c (117,0) x[98] = 46
1730.39/1216.16	c (117,0) x[99] = 213
1730.39/1216.16	c (117,0) x[100] = 305
1730.39/1216.16	c (117,0) x[101] = 318
1730.39/1216.16	c (117,0) x[102] = 202
1730.39/1216.16	c (117,0) x[103] = 420
1730.39/1216.16	c (117,0) x[104] = 537
1730.39/1216.16	c (117,0) x[105] = 167
1730.39/1216.16	c (117,0) x[106] = 270
1730.39/1216.16	c (117,0) x[107] = 560
1730.39/1216.16	c (117,0) x[108] = 262
1730.39/1216.16	c (117,0) x[109] = 550
1730.39/1216.16	c (117,0) x[110] = 45
1730.39/1216.16	c (117,0) x[111] = 264
1730.39/1216.16	c (117,0) x[112] = 332
1730.39/1216.16	c (117,0) x[113] = 88
1730.39/1216.16	c (117,0) x[114] = 230
1730.39/1216.16	c (117,0) x[115] = 283
1730.39/1216.16	c (117,0) x[116] = 463
1730.39/1216.16	c (117,0) x[117] = 73
1730.39/1216.16	c (117,0) x[118] = 133
1730.39/1216.16	c (117,0) x[119] = 354
1730.39/1216.16	c (117,0) x[120] = 333
1730.39/1216.16	c (117,0) x[121] = 485
1730.39/1216.16	c (117,0) x[122] = 361
1730.39/1216.16	c (117,0) x[123] = 478
1730.39/1216.16	c (117,0) x[124] = 594
1730.39/1216.16	c (117,0) x[125] = 520
1730.39/1216.16	c (117,0) x[126] = 302
1730.39/1216.16	c (117,0) x[127] = 563
1730.39/1216.16	c (117,0) x[128] = 177
1730.39/1216.16	c (117,0) x[129] = 533
1730.39/1216.16	c (117,0) x[130] = 468
1730.39/1216.16	c (117,0) x[131] = 296
1730.39/1216.16	c (117,0) x[132] = 546
1730.39/1216.16	c (117,0) x[133] = 349
1730.39/1216.16	c (117,0) x[134] = 56
1730.39/1216.16	c (117,0) x[135] = 510
1730.39/1216.16	c (117,0) x[136] = 596
1730.39/1216.16	c (117,0) x[137] = 317
1730.39/1216.16	c (117,0) x[138] = 583
1730.39/1216.16	c (117,0) x[139] = 481
1730.39/1216.16	c (117,0) x[140] = 433
1730.39/1216.16	c (117,0) x[141] = 504
1730.39/1216.16	c (117,0) x[142] = 470
1730.39/1216.16	c (117,0) x[143] = 246
1730.39/1216.16	c (117,0) x[144] = 540
1730.39/1216.16	c (117,0) x[145] = 36
1730.39/1216.16	c (117,0) x[146] = 18
1730.39/1216.16	c (117,0) x[147] = 304
1730.39/1216.16	c (117,0) x[148] = 534
1730.39/1216.16	c (117,0) x[149] = 530
1730.39/1216.16	c (117,0) x[150] = 536
1730.39/1216.16	c (117,0) x[151] = 364
1730.39/1216.16	c (117,0) x[152] = 376
1730.39/1216.16	c (117,0) x[153] = 326
1730.39/1216.16	c (117,0) x[154] = 374
1730.39/1216.16	c (117,0) x[155] = 83
1730.39/1216.16	c (117,0) x[156] = 52
1730.39/1216.16	c (117,0) x[157] = 292
1730.39/1216.16	c (117,0) x[158] = 486
1730.39/1216.16	c (117,0) x[159] = 346
1730.39/1216.16	c (117,0) x[160] = 339
1730.39/1216.16	c (117,0) x[161] = 195
1730.39/1216.16	c (117,0) x[162] = 90
1730.39/1216.16	c (117,0) x[163] = 479
1730.39/1216.16	c (117,0) x[164] = 427
1730.39/1216.16	c (117,0) x[165] = 173
1730.39/1216.16	c (117,0) x[166] = 465
1730.39/1216.16	c (117,0) x[167] = 271
1730.39/1216.16	c (117,0) x[168] = 373
1730.39/1216.16	c (117,0) x[169] = 487
1730.39/1216.16	c (117,0) x[170] = 480
1730.39/1216.16	c (117,0) x[171] = 64
1730.39/1216.16	c (117,0) x[172] = 587
1730.39/1216.16	c (117,0) x[173] = 288
1730.39/1216.16	c (117,0) x[174] = 8
1730.39/1216.16	c (117,0) x[175] = 351
1730.39/1216.16	c (117,0) x[176] = 399
1730.39/1216.16	c (117,0) x[177] = 225
1730.39/1216.16	c (117,0) x[178] = 53
1730.39/1216.16	c (117,0) x[179] = 459
1730.39/1216.16	c (117,0) x[180] = 475
1730.39/1216.16	c (117,0) x[181] = 170
1730.39/1216.16	c (117,0) x[182] = 50
1730.39/1216.16	c (117,0) x[183] = 2
1730.39/1216.16	c (117,0) x[184] = 193
1730.39/1216.16	c (117,0) x[185] = 152
1730.39/1216.16	c (117,0) x[186] = 527
1730.39/1216.16	c (117,0) x[187] = 556
1730.39/1216.16	c (117,0) x[188] = 47
1730.39/1216.16	c (117,0) x[189] = 371
1730.39/1216.16	c (117,0) x[190] = 531
1730.39/1216.16	c (117,0) x[191] = 362
1730.39/1216.16	c (117,0) x[192] = 191
1730.39/1216.16	c (117,0) x[193] = 151
1730.39/1216.16	c (117,0) x[194] = 78
1730.39/1216.16	c (117,0) x[195] = 178
1730.39/1216.16	c (117,0) x[196] = 281
1730.39/1216.16	c (117,0) x[197] = 564
1730.39/1216.16	c (117,0) x[198] = 575
1730.39/1216.16	c (117,0) x[199] = 372
1730.39/1216.16	c (117,0) x[200] = 87
1730.39/1216.16	c (117,0) x[201] = 62
1730.39/1216.16	c (117,0) x[202] = 188
1730.39/1216.16	c (117,0) x[203] = 576
1730.39/1216.16	c (117,0) x[204] = 98
1730.39/1216.16	c (117,0) x[205] = 186
1730.39/1216.16	c (117,0) x[206] = 348
1730.39/1216.16	c (117,0) x[207] = 412
1730.39/1216.16	c (117,0) x[208] = 491
1730.39/1216.16	c (117,0) x[209] = 297
1730.39/1216.16	c (117,0) x[210] = 138
1730.39/1216.16	c (117,0) x[211] = 324
1730.39/1216.16	c (117,0) x[212] = 541
1730.39/1216.16	c (117,0) x[213] = 506
1730.39/1216.16	c (117,0) x[214] = 553
1730.39/1216.16	c (117,0) x[215] = 419
1730.39/1216.16	c (117,0) x[216] = 142
1730.39/1216.16	c (117,0) x[217] = 257
1730.39/1216.16	c (117,0) x[218] = 384
1730.39/1216.16	c (117,0) x[219] = 309
1730.39/1216.16	c (117,0) x[220] = 231
1730.39/1216.16	c (117,0) x[221] = 502
1730.39/1216.16	c (117,0) x[222] = 301
1730.39/1216.16	c (117,0) x[223] = 131
1730.39/1216.16	c (117,0) x[224] = 127
1730.39/1216.16	c (117,0) x[225] = 574
1730.39/1216.16	c (117,0) x[226] = 25
1730.39/1216.16	c (117,0) x[227] = 571
1730.39/1216.16	c (117,0) x[228] = 245
1730.39/1216.16	c (117,0) x[229] = 117
1730.39/1216.16	c (117,0) x[230] = 579
1730.39/1216.16	c (117,0) x[231] = 350
1730.39/1216.16	c (117,0) x[232] = 513
1730.39/1216.16	c (117,0) x[233] = 95
1730.39/1216.16	c (117,0) x[234] = 416
1730.39/1216.16	c (117,0) x[235] = 338
1730.39/1216.16	c (117,0) x[236] = 267
1730.39/1216.16	c (117,0) x[237] = 366
1730.39/1216.16	c (117,0) x[238] = 71
1730.39/1216.16	c (117,0) x[239] = 561
1730.39/1216.16	s SATISFIABLE
1730.39/1216.17	v <instantiation>
1730.39/1216.17	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>
1730.39/1216.17	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>
1730.39/1216.17	v </instantiation>
1730.39/1216.17	c (117,0) Show results End
1730.39/1216.17	c (117,0) Heap : 257 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1730.39/1216.17	c (117,0) 117,117,STOP-AFTER(ALL)
1730.39/1216.17	c END-Prog: Sat Sep 14 05:55:20 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 (13849 MiB free)
  memory of node 1: 16384 MiB (14249 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100129 s]*
/proc/loadavg: 7.97 8.29 8.31 3/212 22126
/proc/meminfo: memFree=28681552/32770624 swapFree=66959224/67108860
[pid=22104] ppid=22101 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22104/stat : 22104 (scop.sh) S 22101 22104 21314 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419154497 115843072 349 33554432000 4194304 5098028 140729952191664 140729952188920 140436609090172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22732800 140729952199461 140729952199788 140729952199788 140729952202701 0
/proc/22104/statm: 28282 349 296 221 0 87 0
[pid=22107] ppid=22104 vsize=27314120 memory=106520 CPUtime=0.11 cores=0-7
/proc/22107/stat : 22107 (java) S 22104 22104 21314 0 -1 1077944320 6730 0 0 0 8 3 0 0 20 0 20 0 419154498 27969658880 26630 33554432000 4194304 4196468 140725983327696 140725983310240 139670932487927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
/proc/22107/statm: 6828530 26630 2802 1 0 6790935 0
[pid=22107/tid=22108] ppid=22104 vsize=27314120 memory=7752554716192481431 CPUtime=0.08 cores=0-7
/proc/22107/task/22108/stat : 22108 (java) R 22104 22104 21314 0 -1 4202560 4821 0 0 0 6 2 0 0 20 0 20 0 419154498 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670904292128 139670912764752 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22109] ppid=22104 vsize=27314120 memory=732370443449035749 CPUtime=0 cores=0-7
/proc/22107/task/22109/stat : 22109 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670936730384 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22110] ppid=22104 vsize=27314120 memory=140305111582336 CPUtime=0 cores=0-7
/proc/22107/task/22110/stat : 22110 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670750886800 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22111] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22111/stat : 22111 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670749834256 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22112] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22112/stat : 22112 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670748781712 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22113] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22113/stat : 22113 (java) S 22104 22104 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670747728144 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22114] ppid=22104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22107/task/22114/stat : 22114 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670746675600 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22115] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22115/stat : 22115 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670745623056 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22116] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22116/stat : 22116 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 26630 33554432000 4194304 4196468 140725983327696 139670744570512 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22117] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22117/stat : 22117 (java) S 22104 22104 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154502 27969658880 26630 33554432000 4194304 4196468 140725983327696 139669051202032 139670932499074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22118] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22118/stat : 22118 (java) S 22104 22104 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419154502 27969658880 26630 33554432000 4194304 4196468 140725983327696 139668846798240 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22119] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22119/stat : 22119 (java) S 22104 22104 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419154503 27969658880 26630 33554432000 4194304 4196468 140725983327696 139668712576496 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22120] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22120/stat : 22120 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 26630 33554432000 4194304 4196468 140725983327696 139668338072272 139670932506523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22121] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22121/stat : 22121 (java) S 22104 22104 21314 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 26630 33554432000 4194304 4196468 140725983327696 139669050148848 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22122] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22122/stat : 22122 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 26630 33554432000 4194304 4196468 140725983327696 139668578355312 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22123] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22123/stat : 22123 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 26630 33554432000 4194304 4196468 140725983327696 139668577302768 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22124] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22124/stat : 22124 (java) S 22104 22104 21314 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 26630 33554432000 4194304 4196468 140725983327696 139668576250224 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22125] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22125/stat : 22125 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 26630 33554432000 4194304 4196468 140725983327696 139667840166624 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22126] ppid=22104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22107/task/22126/stat : 22126 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 26630 33554432000 4194304 4196468 140725983327696 139668575198128 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107916 KiB

[startup+0.210587 s]*
/proc/loadavg: 7.97 8.29 8.31 2/212 22126
/proc/meminfo: memFree=28660572/32770624 swapFree=66959224/67108860
[pid=22104] ppid=22101 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22104/stat : 22104 (scop.sh) S 22101 22104 21314 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419154497 115843072 349 33554432000 4194304 5098028 140729952191664 140729952188920 140436609090172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22732800 140729952199461 140729952199788 140729952199788 140729952202701 0
/proc/22104/statm: 28282 349 296 221 0 87 0
[pid=22107] ppid=22104 vsize=27314120 memory=123596 CPUtime=0.24 cores=0-7
/proc/22107/stat : 22107 (java) S 22104 22104 21314 0 -1 1077944320 12321 0 0 0 20 4 0 0 20 0 20 0 419154498 27969658880 30899 33554432000 4194304 4196468 140725983327696 140725983310240 139670932487927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
/proc/22107/statm: 6828530 30899 2920 1 0 6790935 0
[pid=22107/tid=22108] ppid=22104 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/22107/task/22108/stat : 22108 (java) R 22104 22104 21314 0 -1 4202560 10040 0 0 0 16 4 0 0 20 0 20 0 419154498 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670904311888 139670912763265 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22109] ppid=22104 vsize=27314120 memory=280610083309304 CPUtime=0 cores=0-7
/proc/22107/task/22109/stat : 22109 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670936730384 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22110] ppid=22104 vsize=27314120 memory=140305111582336 CPUtime=0 cores=0-7
/proc/22107/task/22110/stat : 22110 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670750886800 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22111] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22111/stat : 22111 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670749834256 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22112] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22112/stat : 22112 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670748781712 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22113] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22113/stat : 22113 (java) S 22104 22104 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670747728144 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22114] ppid=22104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22107/task/22114/stat : 22114 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670746675600 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22115] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22115/stat : 22115 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670745623056 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22116] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22116/stat : 22116 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 30899 33554432000 4194304 4196468 140725983327696 139670744570512 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22117] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22117/stat : 22117 (java) S 22104 22104 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154502 27969658880 30899 33554432000 4194304 4196468 140725983327696 139669051202032 139670932499074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22118] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22118/stat : 22118 (java) S 22104 22104 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419154502 27969658880 30899 33554432000 4194304 4196468 140725983327696 139668846798240 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22119] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22119/stat : 22119 (java) S 22104 22104 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419154503 27969658880 30899 33554432000 4194304 4196468 140725983327696 139668712576496 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22120] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22120/stat : 22120 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 30899 33554432000 4194304 4196468 140725983327696 139668338072272 139670932506523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22121] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22121/stat : 22121 (java) S 22104 22104 21314 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 30899 33554432000 4194304 4196468 140725983327696 139669050148848 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22122] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22122/stat : 22122 (java) S 22104 22104 21314 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 30899 33554432000 4194304 4196468 140725983327696 139668578355312 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22123] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22123/stat : 22123 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 30899 33554432000 4194304 4196468 140725983327696 139668577302768 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22124] ppid=22104 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22107/task/22124/stat : 22124 (java) S 22104 22104 21314 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 20 0 419154505 27969658880 30899 33554432000 4194304 4196468 140725983327696 139668576250224 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22125] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22125/stat : 22125 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 30899 33554432000 4194304 4196468 140725983327696 139667840166624 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22126] ppid=22104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22107/task/22126/stat : 22126 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 30899 33554432000 4194304 4196468 140725983327696 139668575198128 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124992 KiB

[startup+0.310356 s]*
/proc/loadavg: 7.97 8.29 8.31 2/212 22126
/proc/meminfo: memFree=28657284/32770624 swapFree=66959224/67108860
[pid=22104] ppid=22101 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22104/stat : 22104 (scop.sh) S 22101 22104 21314 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419154497 115843072 349 33554432000 4194304 5098028 140729952191664 140729952188920 140436609090172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22732800 140729952199461 140729952199788 140729952199788 140729952202701 0
/proc/22104/statm: 28282 349 296 221 0 87 0
[pid=22107] ppid=22104 vsize=27314120 memory=127604 CPUtime=0.43 cores=0-7
/proc/22107/stat : 22107 (java) S 22104 22104 21314 0 -1 1077944320 12812 0 0 0 38 5 0 0 20 0 20 0 419154498 27969658880 31901 33554432000 4194304 4196468 140725983327696 140725983310240 139670932487927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
/proc/22107/statm: 6828530 31901 3015 1 0 6790935 0
[pid=22107/tid=22108] ppid=22104 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/22107/task/22108/stat : 22108 (java) R 22104 22104 21314 0 -1 4202560 10327 0 0 0 26 4 0 0 20 0 20 0 419154498 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670904317392 139670912763249 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22109] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22109/stat : 22109 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670936730384 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22110] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22110/stat : 22110 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670750886800 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22111] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22111/stat : 22111 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670749834256 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22112] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22112/stat : 22112 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670748781712 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22113] ppid=22104 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/22107/task/22113/stat : 22113 (java) S 22104 22104 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670747728144 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22114] ppid=22104 vsize=27314120 memory=140304971821999 CPUtime=0 cores=0-7
/proc/22107/task/22114/stat : 22114 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670746675600 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22115] ppid=22104 vsize=27314120 memory=140304971824304 CPUtime=0 cores=0-7
/proc/22107/task/22115/stat : 22115 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670745623056 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22116] ppid=22104 vsize=27314120 memory=140304971826608 CPUtime=0 cores=0-7
/proc/22107/task/22116/stat : 22116 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27969658880 31901 33554432000 4194304 4196468 140725983327696 139670744570512 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22117] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22117/stat : 22117 (java) S 22104 22104 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419154502 27969658880 31901 33554432000 4194304 4196468 140725983327696 139669051202032 139670932499074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22118] ppid=22104 vsize=27314120 memory=280609943660176 CPUtime=0 cores=0-7
/proc/22107/task/22118/stat : 22118 (java) S 22104 22104 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419154502 27969658880 31901 33554432000 4194304 4196468 140725983327696 139668846798240 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22119] ppid=22104 vsize=27314120 memory=280609943667088 CPUtime=0 cores=0-7
/proc/22107/task/22119/stat : 22119 (java) S 22104 22104 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419154503 27969658880 31901 33554432000 4194304 4196468 140725983327696 139668712576496 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22120] ppid=22104 vsize=27314120 memory=280609943608368 CPUtime=0 cores=0-7
/proc/22107/task/22120/stat : 22120 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 31901 33554432000 4194304 4196468 140725983327696 139668338072272 139670932506523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22121] ppid=22104 vsize=27314120 memory=280609943680912 CPUtime=0.02 cores=0-7
/proc/22107/task/22121/stat : 22121 (java) S 22104 22104 21314 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 20 0 419154505 27969658880 31901 33554432000 4194304 4196468 140725983327696 139669050148848 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22122] ppid=22104 vsize=27314120 memory=280609943687824 CPUtime=0 cores=0-7
/proc/22107/task/22122/stat : 22122 (java) S 22104 22104 21314 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 31901 33554432000 4194304 4196468 140725983327696 139668578355312 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22123] ppid=22104 vsize=27314120 memory=280609943685520 CPUtime=0.01 cores=0-7
/proc/22107/task/22123/stat : 22123 (java) S 22104 22104 21314 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 419154505 27969658880 31901 33554432000 4194304 4196468 140725983327696 139668577302768 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22124] ppid=22104 vsize=27314120 memory=280609943701680 CPUtime=0.07 cores=0-7
/proc/22107/task/22124/stat : 22124 (java) S 22104 22104 21314 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 419154505 27969658880 31901 33554432000 4194304 4196468 140725983327696 139668576250224 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22125] ppid=22104 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22107/task/22125/stat : 22125 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 31901 33554432000 4194304 4196468 140725983327696 139667840166624 139670932498133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22126] ppid=22104 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22107/task/22126/stat : 22126 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154505 27969658880 31901 33554432000 4194304 4196468 140725983327696 139668575198128 139670932499074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129000 KiB

[startup+0.701004 s]
/proc/loadavg: 7.97 8.29 8.31 2/212 22126
/proc/meminfo: memFree=28636448/32770624 swapFree=66959224/67108860
[pid=22104] ppid=22101 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22104/stat : 22104 (scop.sh) S 22101 22104 21314 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419154497 115843072 349 33554432000 4194304 5098028 140729952191664 140729952188920 140436609090172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22732800 140729952199461 140729952199788 140729952199788 140729952202701 0
/proc/22104/statm: 28282 349 296 221 0 87 0
[pid=22107] ppid=22104 vsize=27320392 memory=163332 CPUtime=0.97 cores=0-7
/proc/22107/stat : 22107 (java) S 22104 22104 21314 0 -1 1077944320 20450 0 0 0 90 7 0 0 20 0 20 0 419154498 27976081408 40833 33554432000 4194304 4196468 140725983327696 140725983310240 139670932487927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
/proc/22107/statm: 6830098 40833 3168 1 0 6791447 0
[pid=22107/tid=22108] ppid=22104 vsize=27320392 memory=280609943996544 CPUtime=0.67 cores=0-7
/proc/22107/task/22108/stat : 22108 (java) R 22104 22104 21314 0 -1 4202560 17386 0 0 0 61 6 0 0 20 0 20 0 419154498 27976081408 40833 33554432000 4194304 4196468 140725983327696 139670904326384 139670407118084 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22109] ppid=22104 vsize=27320392 memory=1436 CPUtime=0 cores=0-7
/proc/22107/task/22109/stat : 22109 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27976081408 40833 33554432000 4194304 4196468 140725983327696 139670936730384 139670932498133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22110] ppid=22104 vsize=27320392 memory=580 CPUtime=0 cores=0-7
/proc/22107/task/22110/stat : 22110 (java) S 22104 22104 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419154500 27976081408 40833 33554432000 4194304 4196468 140725983327696 139670750886800 139670932498133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0
[pid=22107/tid=22111] ppid=22104 vsize=27320392 memory=1720 CPUtime=0 cores=0-7
/proc/22107/task/22111/stat : 22111 (java) S 22104 22104 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419154500 27976081408 40833 33554432000 4194304 4196468 140725983327696 139670749834256 139670932498133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24989696 140725983331051 140725983331478 140725983331478 140725983334351 0

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

/proc/22104/statm: 28282 369 311 221 0 87 0
[pid=22211] ppid=22104 vsize=8283048 memory=249960 CPUtime=215.38 cores=0-7
/proc/22211/stat : 22211 (java) S 22104 22104 21314 0 -1 1077944320 21825 4243775 0 0 176 15 20696 651 20 0 22 0 419264316 8481841152 62490 33554432000 4194304 4196468 140726759541184 140726759523728 139734638989047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
/proc/22211/statm: 2070762 62490 3209 1 0 2032106 0
[pid=22211/tid=22212] ppid=22104 vsize=8283048 memory=5518916 CPUtime=214.25 cores=0-7
/proc/22211/task/22212/stat : 22212 (java) R 22104 22104 21314 0 -1 4202560 17433 4243775 0 0 72 6 20696 651 20 0 22 0 419264317 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734610829216 139734623032677 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22213] ppid=22104 vsize=8283048 memory=1216 CPUtime=213.47 cores=0-7
/proc/22211/task/22213/stat : 22213 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734643231504 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22214] ppid=22104 vsize=8283048 memory=984 CPUtime=213.47 cores=0-7
/proc/22211/task/22214/stat : 22214 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734443400080 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22215] ppid=22104 vsize=8283048 memory=-7003737579269690708 CPUtime=213.47 cores=0-7
/proc/22211/task/22215/stat : 22215 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734442347536 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22216] ppid=22104 vsize=8283048 memory=2124 CPUtime=213.47 cores=0-7
/proc/22211/task/22216/stat : 22216 (java) S 22104 22104 21314 0 -1 1077944384 3 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734441294992 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22217] ppid=22104 vsize=8283048 memory=500 CPUtime=213.47 cores=0-7
/proc/22211/task/22217/stat : 22217 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734440241424 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22218] ppid=22104 vsize=8283048 memory=1556 CPUtime=213.47 cores=0-7
/proc/22211/task/22218/stat : 22218 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734439188880 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22219] ppid=22104 vsize=8283048 memory=928 CPUtime=213.47 cores=0-7
/proc/22211/task/22219/stat : 22219 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734438136336 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22220] ppid=22104 vsize=8283048 memory=1660 CPUtime=213.47 cores=0-7
/proc/22211/task/22220/stat : 22220 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 62512 33554432000 4194304 4196468 140726759541184 139734437083792 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22221] ppid=22104 vsize=8283048 memory=41100 CPUtime=213.47 cores=0-7
/proc/22211/task/22221/stat : 22221 (java) S 22104 22104 21314 0 -1 1077944384 8 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 62512 33554432000 4194304 4196468 140726759541184 139733597379056 139734639000194 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22222] ppid=22104 vsize=8283048 memory=988 CPUtime=213.47 cores=0-7
/proc/22211/task/22222/stat : 22222 (java) S 22104 22104 21314 0 -1 1077944384 13 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 62512 33554432000 4194304 4196468 140726759541184 139733204198816 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22223] ppid=22104 vsize=8283048 memory=2008 CPUtime=213.47 cores=0-7
/proc/22211/task/22223/stat : 22223 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 62512 33554432000 4194304 4196468 140726759541184 139732935763440 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22224] ppid=22104 vsize=8283048 memory=1436 CPUtime=213.47 cores=0-7
/proc/22211/task/22224/stat : 22224 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264323 8481841152 62512 33554432000 4194304 4196468 140726759541184 139732561255120 139734639007643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22225] ppid=22104 vsize=8283048 memory=988 CPUtime=213.56 cores=0-7
/proc/22211/task/22225/stat : 22225 (java) S 22104 22104 21314 0 -1 1077944384 586 4243775 0 0 9 0 20696 651 20 0 22 0 419264323 8481841152 62512 33554432000 4194304 4196468 140726759541184 139733596325872 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22226] ppid=22104 vsize=8283048 memory=2008 CPUtime=213.68 cores=0-7
/proc/22211/task/22226/stat : 22226 (java) S 22104 22104 21314 0 -1 1077944384 856 4243775 0 0 21 0 20696 651 20 0 22 0 419264323 8481841152 62512 33554432000 4194304 4196468 140726759541184 139733595273328 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22227] ppid=22104 vsize=8283048 memory=1436 CPUtime=213.6 cores=0-7
/proc/22211/task/22227/stat : 22227 (java) S 22104 22104 21314 0 -1 1077944384 314 4243775 0 0 13 0 20696 651 20 0 22 0 419264323 8481841152 62512 33554432000 4194304 4196468 140726759541184 139733594220784 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22228] ppid=22104 vsize=8283048 memory=580 CPUtime=213.74 cores=0-7
/proc/22211/task/22228/stat : 22228 (java) S 22104 22104 21314 0 -1 1077944384 1123 4243775 0 0 27 0 20696 651 20 0 22 0 419264323 8481841152 62512 33554432000 4194304 4196468 140726759541184 139733593168240 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22229] ppid=22104 vsize=8283048 memory=1720 CPUtime=213.47 cores=0-7
/proc/22211/task/22229/stat : 22229 (java) S 22104 22104 21314 0 -1 1077944384 3 4243775 0 0 0 0 20696 651 20 0 22 0 419264323 8481841152 62512 33554432000 4194304 4196468 140726759541184 139732063349472 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22230] ppid=22104 vsize=8283048 memory=10604 CPUtime=213.53 cores=0-7
/proc/22211/task/22230/stat : 22230 (java) S 22104 22104 21314 0 -1 1077944384 9 4243775 0 0 3 3 20696 651 20 0 22 0 419264324 8481841152 62512 33554432000 4194304 4196468 140726759541184 139733592116144 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22232] ppid=22104 vsize=8283048 memory=4486604260213485459 CPUtime=213.47 cores=0-7
/proc/22211/task/22232/stat : 22232 (java) S 22104 22104 21314 0 -1 1077944384 23 4243775 0 0 0 0 20696 651 20 0 22 0 419264392 8481841152 62512 33554432000 4194304 4196468 140726759541184 139733942797200 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22236] ppid=22104 vsize=8283048 memory=776 CPUtime=213.47 cores=0-7
/proc/22211/task/22236/stat : 22236 (java) S 22104 22104 21314 0 -1 1077944384 9 4243775 0 0 0 0 20696 651 20 0 22 0 419264395 8481841152 62512 33554432000 4194304 4196468 140726759541184 139731123823536 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
Current children cumulated CPU time: 1730.15 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 251436 KiB

[startup+1216.2 s]
/proc/loadavg: 1.94 1.78 3.34 2/216 22245
/proc/meminfo: memFree=27403964/32770624 swapFree=66959224/67108860
[pid=22104] ppid=22101 vsize=113128 memory=1476 CPUtime=1514.77 cores=0-7
/proc/22104/stat : 22104 (scop.sh) S 22101 22104 21314 0 -1 4202496 583 472752 0 0 0 0 146020 5457 20 0 1 0 419154497 115843072 369 33554432000 4194304 5098028 140729952191664 140729952188408 140436609090172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22732800 140729952199461 140729952199788 140729952199788 140729952202701 0
/proc/22104/statm: 28282 369 311 221 0 87 0
[pid=22211] ppid=22104 vsize=8283048 memory=266464 CPUtime=215.79 cores=0-7
/proc/22211/stat : 22211 (java) S 22104 22104 21314 0 -1 1077944320 22340 4243775 0 0 213 19 20696 651 20 0 22 0 419264316 8481841152 66616 33554432000 4194304 4196468 140726759541184 140726759523728 139734638989047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
/proc/22211/statm: 2070762 66616 3227 1 0 2032106 0
[pid=22211/tid=22212] ppid=22104 vsize=8283048 memory=6791534058613427641 CPUtime=214.44 cores=0-7
/proc/22211/task/22212/stat : 22212 (java) R 22104 22104 21314 0 -1 4202560 17692 4243775 0 0 88 9 20696 651 20 0 22 0 419264317 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734610828816 139734631674679 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22213] ppid=22104 vsize=8283048 memory=5984 CPUtime=213.47 cores=0-7
/proc/22211/task/22213/stat : 22213 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734643231504 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22214] ppid=22104 vsize=8283048 memory=1060 CPUtime=213.47 cores=0-7
/proc/22211/task/22214/stat : 22214 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734443400080 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22215] ppid=22104 vsize=8283048 memory=2828 CPUtime=213.47 cores=0-7
/proc/22211/task/22215/stat : 22215 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734442347536 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22216] ppid=22104 vsize=8283048 memory=1476 CPUtime=213.47 cores=0-7
/proc/22211/task/22216/stat : 22216 (java) S 22104 22104 21314 0 -1 1077944384 3 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734441294992 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22217] ppid=22104 vsize=8283048 memory=123292 CPUtime=213.47 cores=0-7
/proc/22211/task/22217/stat : 22217 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734440241424 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22218] ppid=22104 vsize=8283048 memory=5495200 CPUtime=213.47 cores=0-7
/proc/22211/task/22218/stat : 22218 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734439188880 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22219] ppid=22104 vsize=8283048 memory=5282164 CPUtime=213.47 cores=0-7
/proc/22211/task/22219/stat : 22219 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734438136336 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22220] ppid=22104 vsize=8283048 memory=5490284 CPUtime=213.47 cores=0-7
/proc/22211/task/22220/stat : 22220 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734437083792 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22221] ppid=22104 vsize=8283048 memory=1476 CPUtime=213.47 cores=0-7
/proc/22211/task/22221/stat : 22221 (java) S 22104 22104 21314 0 -1 1077944384 8 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733597379056 139734639000194 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22222] ppid=22104 vsize=8283048 memory=6791534058613427641 CPUtime=213.47 cores=0-7
/proc/22211/task/22222/stat : 22222 (java) S 22104 22104 21314 0 -1 1077944384 13 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733204198816 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22223] ppid=22104 vsize=8283048 memory=984 CPUtime=213.47 cores=0-7
/proc/22211/task/22223/stat : 22223 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 66616 33554432000 4194304 4196468 140726759541184 139732935763440 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22224] ppid=22104 vsize=8283048 memory=14004 CPUtime=213.47 cores=0-7
/proc/22211/task/22224/stat : 22224 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139732561255120 139734639007643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22225] ppid=22104 vsize=8283048 memory=21984 CPUtime=213.61 cores=0-7
/proc/22211/task/22225/stat : 22225 (java) S 22104 22104 21314 0 -1 1077944384 616 4243775 0 0 14 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733596325872 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22226] ppid=22104 vsize=8283048 memory=14048 CPUtime=213.73 cores=0-7
/proc/22211/task/22226/stat : 22226 (java) S 22104 22104 21314 0 -1 1077944384 880 4243775 0 0 26 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733595273328 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22227] ppid=22104 vsize=8283048 memory=2124 CPUtime=213.65 cores=0-7
/proc/22211/task/22227/stat : 22227 (java) S 22104 22104 21314 0 -1 1077944384 342 4243775 0 0 18 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733594220784 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22228] ppid=22104 vsize=8283048 memory=-9105267352932741522 CPUtime=213.82 cores=0-7
/proc/22211/task/22228/stat : 22228 (java) S 22104 22104 21314 0 -1 1077944384 1295 4243775 0 0 35 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733593168240 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22229] ppid=22104 vsize=8283048 memory=1556 CPUtime=213.47 cores=0-7
/proc/22211/task/22229/stat : 22229 (java) S 22104 22104 21314 0 -1 1077944384 3 4243775 0 0 0 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139732063349472 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22230] ppid=22104 vsize=8283048 memory=928 CPUtime=213.53 cores=0-7
/proc/22211/task/22230/stat : 22230 (java) S 22104 22104 21314 0 -1 1077944384 9 4243775 0 0 3 3 20696 651 20 0 22 0 419264324 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733592116144 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22232] ppid=22104 vsize=8283048 memory=1772 CPUtime=213.47 cores=0-7
/proc/22211/task/22232/stat : 22232 (java) S 22104 22104 21314 0 -1 1077944384 23 4243775 0 0 0 0 20696 651 20 0 22 0 419264392 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733942797200 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22236] ppid=22104 vsize=8283048 memory=832 CPUtime=213.47 cores=0-7
/proc/22211/task/22236/stat : 22236 (java) S 22104 22104 21314 0 -1 1077944384 9 4243775 0 0 0 0 20696 651 20 0 22 0 419264395 8481841152 66616 33554432000 4194304 4196468 140726759541184 139731123823536 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
Current children cumulated CPU time: 1730.56 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 267940 KiB

[startup+1216.3 s]
/proc/loadavg: 1.94 1.78 3.34 2/216 22245
/proc/meminfo: memFree=27403964/32770624 swapFree=66959224/67108860
[pid=22104] ppid=22101 vsize=113128 memory=1476 CPUtime=1514.77 cores=0-7
/proc/22104/stat : 22104 (scop.sh) S 22101 22104 21314 0 -1 4202496 583 472752 0 0 0 0 146020 5457 20 0 1 0 419154497 115843072 369 33554432000 4194304 5098028 140729952191664 140729952188408 140436609090172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22732800 140729952199461 140729952199788 140729952199788 140729952202701 0
/proc/22104/statm: 28282 369 311 221 0 87 0
[pid=22211] ppid=22104 vsize=8283048 memory=266464 CPUtime=215.9 cores=0-7
/proc/22211/stat : 22211 (java) S 22104 22104 21314 0 -1 1077944320 22340 4243775 0 0 213 30 20696 651 20 0 22 0 419264316 8481841152 66616 33554432000 4194304 4196468 140726759541184 140726759523728 139734638989047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
/proc/22211/statm: 2070762 66616 3227 1 0 2032106 0
[pid=22211/tid=22212] ppid=22104 vsize=8283048 memory=1476 CPUtime=214.54 cores=0-7
/proc/22211/task/22212/stat : 22212 (java) R 22104 22104 21314 0 -1 4202560 17692 4243775 0 0 88 19 20696 651 20 0 22 0 419264317 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734610828816 139734631674679 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22213] ppid=22104 vsize=8283048 memory=123292 CPUtime=213.47 cores=0-7
/proc/22211/task/22213/stat : 22213 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734643231504 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22214] ppid=22104 vsize=8283048 memory=1476 CPUtime=213.47 cores=0-7
/proc/22211/task/22214/stat : 22214 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734443400080 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22215] ppid=22104 vsize=8283048 memory=123292 CPUtime=213.47 cores=0-7
/proc/22211/task/22215/stat : 22215 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734442347536 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22216] ppid=22104 vsize=8283048 memory=123292 CPUtime=213.47 cores=0-7
/proc/22211/task/22216/stat : 22216 (java) S 22104 22104 21314 0 -1 1077944384 3 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734441294992 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22217] ppid=22104 vsize=8283048 memory=123292 CPUtime=213.47 cores=0-7
/proc/22211/task/22217/stat : 22217 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734440241424 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22218] ppid=22104 vsize=8283048 memory=123292 CPUtime=213.47 cores=0-7
/proc/22211/task/22218/stat : 22218 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734439188880 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22219] ppid=22104 vsize=8283048 memory=261616 CPUtime=213.47 cores=0-7
/proc/22211/task/22219/stat : 22219 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734438136336 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22220] ppid=22104 vsize=8283048 memory=1476 CPUtime=213.47 cores=0-7
/proc/22211/task/22220/stat : 22220 (java) S 22104 22104 21314 0 -1 1077944384 2 4243775 0 0 0 0 20696 651 20 0 22 0 419264318 8481841152 66616 33554432000 4194304 4196468 140726759541184 139734437083792 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22221] ppid=22104 vsize=8283048 memory=1476 CPUtime=213.47 cores=0-7
/proc/22211/task/22221/stat : 22221 (java) S 22104 22104 21314 0 -1 1077944384 8 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733597379056 139734639000194 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22222] ppid=22104 vsize=8283048 memory=1476 CPUtime=213.47 cores=0-7
/proc/22211/task/22222/stat : 22222 (java) S 22104 22104 21314 0 -1 1077944384 13 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733204198816 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22223] ppid=22104 vsize=8283048 memory=123292 CPUtime=213.47 cores=0-7
/proc/22211/task/22223/stat : 22223 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264320 8481841152 66616 33554432000 4194304 4196468 140726759541184 139732935763440 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22224] ppid=22104 vsize=8283048 memory=1436 CPUtime=213.47 cores=0-7
/proc/22211/task/22224/stat : 22224 (java) S 22104 22104 21314 0 -1 1077944384 1 4243775 0 0 0 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139732561255120 139734639007643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22225] ppid=22104 vsize=8283048 memory=0 CPUtime=213.61 cores=0-7
/proc/22211/task/22225/stat : 22225 (java) S 22104 22104 21314 0 -1 1077944384 616 4243775 0 0 14 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733596325872 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22226] ppid=22104 vsize=8283048 memory=1476 CPUtime=213.73 cores=0-7
/proc/22211/task/22226/stat : 22226 (java) S 22104 22104 21314 0 -1 1077944384 880 4243775 0 0 26 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733595273328 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22227] ppid=22104 vsize=8283048 memory=123292 CPUtime=213.65 cores=0-7
/proc/22211/task/22227/stat : 22227 (java) S 22104 22104 21314 0 -1 1077944384 342 4243775 0 0 18 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733594220784 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22228] ppid=22104 vsize=8283048 memory=984 CPUtime=213.82 cores=0-7
/proc/22211/task/22228/stat : 22228 (java) S 22104 22104 21314 0 -1 1077944384 1295 4243775 0 0 35 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733593168240 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22229] ppid=22104 vsize=8283048 memory=14004 CPUtime=213.47 cores=0-7
/proc/22211/task/22229/stat : 22229 (java) S 22104 22104 21314 0 -1 1077944384 3 4243775 0 0 0 0 20696 651 20 0 22 0 419264323 8481841152 66616 33554432000 4194304 4196468 140726759541184 139732063349472 139734638999253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22230] ppid=22104 vsize=8283048 memory=580 CPUtime=213.53 cores=0-7
/proc/22211/task/22230/stat : 22230 (java) S 22104 22104 21314 0 -1 1077944384 9 4243775 0 0 3 3 20696 651 20 0 22 0 419264324 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733592116144 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22232] ppid=22104 vsize=8283048 memory=1720 CPUtime=213.47 cores=0-7
/proc/22211/task/22232/stat : 22232 (java) S 22104 22104 21314 0 -1 1077944384 23 4243775 0 0 0 0 20696 651 20 0 22 0 419264392 8481841152 66616 33554432000 4194304 4196468 140726759541184 139733942797200 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
[pid=22211/tid=22236] ppid=22104 vsize=8283048 memory=1476 CPUtime=213.47 cores=0-7
/proc/22211/task/22236/stat : 22236 (java) S 22104 22104 21314 0 -1 1077944384 9 4243775 0 0 0 0 20696 651 20 0 22 0 419264395 8481841152 66616 33554432000 4194304 4196468 140726759541184 139731123823536 139734639000194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30707712 140726759547895 140726759548054 140726759548054 140726759550927 0
Current children cumulated CPU time: 1730.67 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 267940 KiB

Child status: 0
Real time (s): 1216.34
CPU time (s): 1730.73
CPU user time (s): 1669.3
CPU system time (s): 61.4307
CPU usage (%): 142.291
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 24047092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1669.3
system time used= 61.4307
maximum resident set size= 24046300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4739491
page faults= 0
swaps= 0
block input operations= 16
block output operations= 2055984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 446611
involuntary context switches= 6146


# summary of solver processes directly reported to runsolver:
#   pid: 22104
#   total CPU time (s): 1730.73
#   total CPU user time (s): 1669.3
#   total CPU system time (s): 61.4307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07233 second user time and 12.4045 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 05:35:03
IDJOB=4392518
IDBENCH=131667
IDSOLVER=2838
FILE ID=node124/4392518-1568432143
RUNJOBID= node124-1568427058-21341
PBS_JOBID= 21702294
Free space on /tmp= 61812 MiB

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

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

MD5SUM BENCH= 8e810070148f78cd392ecc5d984ef703
RANDOM SEED=251085132

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28774144 kB
MemAvailable:   31848888 kB
Buffers:          193560 kB
Cached:          3161896 kB
SwapCached:        45888 kB
Active:           984976 kB
Inactive:        2422492 kB
Active(anon):       3980 kB
Inactive(anon):    89420 kB
Active(file):     980996 kB
Inactive(file):  2333072 kB
Unevictable:      107204 kB
Mlocked:          107204 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             20740 kB
Writeback:             0 kB
AnonPages:        114460 kB
Mapped:            44216 kB
Shmem:             32744 kB
Slab:             182308 kB
SReclaimable:     153020 kB
SUnreclaim:        29288 kB
KernelStack:        3392 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61792 MiB
End job on node124 at 2019-09-14 05:55:20