Trace number 4392398

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)? (TO) 2154.82 2520.66

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-SF/
Subisomorphism-B-08.xml
MD5SUM47da5ea68f3d94e6d7990d40a1ef4aa5
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 benchmark0.530623
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of constraints1676
Number of domains1
Minimum domain size600
Maximum domain size600
Distribution of domain sizes[{"size":600,"count":540}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}]
Minimum constraint arity1
Maximum constraint arity540
Distribution of constraint arities[{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}]
Number of extensional constraints1675
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1675},{"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-8696-serial-file.bin HOME/instance-4392398-1568431744.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 05:28:24 CEST 2019
0.65/0.57	c PID: 8699
0.65/0.57	c IP: 172.20.3.146
0.65/0.57	c HOST: node146.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.64/1.29	c (0,0) Parsing End
2.93/1.30	c (0,0) CSP: 540 int (0 aux), 0 bool (0 aux), 1676 ctr, max domain size 600
2.93/1.30	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.93/1.30	c (0,0) Constraint Name Generate Begin
2.93/1.31	c (0,0) Ctr:HOME/instance-4392398-1568431744.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
2.93/1.31	c (0,0) Constraint Name Generate End
2.93/1.31	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.93/1.32	c (0,0) CSP to CSPinCNF Begin
103.71/82.16	c (81,79) translated 168 (10%) constraints
207.71/161.80	c (161,155) translated 336 (20%) constraints
298.46/237.62	c (237,229) translated 503 (30%) constraints
386.10/313.51	c (312,303) translated 671 (40%) constraints
474.43/388.90	c (388,377) translated 838 (50%) constraints
560.72/464.20	c (463,450) translated 1006 (60%) constraints
651.43/540.21	c (539,524) translated 1174 (70%) constraints
735.78/615.20	c (614,598) translated 1341 (80%) constraints
799.05/669.40	c (668,651) translated 1509 (90%) constraints
799.32/669.45	c (668,651) translated 1676 (100%) constraints
799.32/669.45	c (668,651) ===========================================
799.70/669.50	c (668,651) Order
799.70/669.50	c (668,651) ===========================================
828.55/693.38	c (692,674) translated 1221752 (10%) constraints
857.58/716.99	c (716,697) translated 2443503 (20%) constraints
887.35/740.64	c (740,720) translated 3665255 (30%) constraints
916.23/764.11	c (763,742) translated 4887006 (40%) constraints
945.62/787.56	c (787,765) translated 6108758 (50%) constraints
974.76/810.99	c (810,787) translated 7330509 (60%) constraints
1003.83/834.47	c (833,810) translated 8552261 (70%) constraints
1033.30/857.88	c (857,833) translated 9774012 (80%) constraints
1062.06/881.23	c (880,855) translated 10995764 (90%) constraints
1091.47/904.81	c (904,878) translated 12217515 (100%) constraints
1091.47/904.81	c (904,878) CSP to CSPinCNF End
1091.69/905.07	c (904,878) CSP: 540 int (0 aux), 875400 bool (875400 aux), 12217515 ctr, max domain size 600
1091.69/905.07	c (904,878) Heap : 13649 MiB used (max 21799 MiB), NonHeap : 29 MiB used (max 0 MiB)
1091.69/905.07	c (904,878) CSPinCNF Propagation Begin
1465.39/1062.38	c (1061,1004) 36114 values, 3171271 unsatisfiable literals, and 2930105 valid clauses are removed
1465.39/1062.38	c (1061,1004) CSPinCNF Propagation End
1465.79/1062.72	c (1062,1005) CSP: 540 int (0 aux), 875400 bool (875400 aux), 9287410 ctr, max domain size 600
1465.79/1062.72	c (1062,1005) Heap : 16004 MiB used (max 20862 MiB), NonHeap : 30 MiB used (max 0 MiB)
1465.79/1062.79	c (1062,1005) Simplify CSPinCNF Begin
1501.82/1082.73	c (1082,1023) Simplify CSPinCNF End
1502.23/1083.19	c (1082,1023) CSP: 540 int (0 aux), 1166460 bool (1166460 aux), 9578470 ctr, max domain size 600
1502.23/1083.19	c (1082,1023) Heap : 17430 MiB used (max 21427 MiB), NonHeap : 31 MiB used (max 0 MiB)
1502.23/1083.19	c (1082,1023) Calculate Precise Domain Begin
1502.23/1083.19	c (1082,1023) 0 values are removed by re-calculation
1502.23/1083.19	c (1082,1023) Calculate Precise Domain End
1502.72/1083.64	c (1083,1024) CSP: 540 int (0 aux), 1166460 bool (1166460 aux), 9578470 ctr, max domain size 600
1502.72/1083.64	c (1083,1024) Heap : 17430 MiB used (max 21427 MiB), NonHeap : 31 MiB used (max 0 MiB)
1502.72/1083.64	c (1083,1024) CSPinCNF to SatSolver Begin
2006.06/1499.25	c (1498,1414) 957847 (10 %) CSP clauses are encoded (0 SAT variables, 105760377 SAT clauses)
2016.21/1507.98	c (1507,1423) 1915694 (20 %) CSP clauses are encoded (0 SAT variables, 106718224 SAT clauses)
2026.25/1516.69	c (1516,1432) 2873541 (30 %) CSP clauses are encoded (0 SAT variables, 107676071 SAT clauses)
2036.76/1525.46	c (1524,1440) 3831388 (40 %) CSP clauses are encoded (0 SAT variables, 108633918 SAT clauses)
2046.76/1534.17	c (1533,1449) 4789235 (50 %) CSP clauses are encoded (0 SAT variables, 109591765 SAT clauses)
2057.69/1543.08	c (1542,1457) 5747082 (60 %) CSP clauses are encoded (0 SAT variables, 110549612 SAT clauses)
2068.09/1551.84	c (1551,1466) 6704929 (70 %) CSP clauses are encoded (0 SAT variables, 111507459 SAT clauses)
2081.88/1561.02	c (1560,1474) 7662776 (80 %) CSP clauses are encoded (0 SAT variables, 112465306 SAT clauses)
2093.44/1569.92	c (1569,1483) 8620623 (90 %) CSP clauses are encoded (0 SAT variables, 113423153 SAT clauses)
2105.24/1578.78	c (1578,1491) 9578470 (100 %) CSP clauses are encoded (0 SAT variables, 114381000 SAT clauses)
2105.24/1578.79	c (1578,1491) CSPinCNF to SatSolver End
2105.24/1578.79	c (1578,1491) Heap : 13045 MiB used (max 21640 MiB), NonHeap : 32 MiB used (max 0 MiB)
2105.24/1578.79	c (1578,1491) 1375815 bool, 114381001 clause
2105.24/1578.79	c (1578,1491) Export Begin
2105.53/1578.92	c (1578,1491) Export to HOME/scop-8696-serial-file.bin
2105.53/1578.92	c (1578,1491) Export End
2105.53/1578.92	c (1578,1491) Export File Size: 0.10 MB
2105.53/1578.92	c (1578,1491) 0,0,904,1062,1082,1083,1578,STOP-AFTER(DIMACS)
2105.53/1578.92	c END-Prog: Sat Sep 14 05:54:42 CEST 2019
0.00/1579.07	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8696-serial-file.bin
2105.77/1579.54	c (0,0) Read Serial File Begin
2105.77/1579.54	c (0,0) HOME/scop-8696-serial-file.bin
2105.77/1579.79	c (0,0) Read Serial File End
2105.77/1579.81	
2105.77/1579.81	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
2105.77/1579.81	(Solving Process)
2105.77/1579.81	
2105.77/1579.83	c BEGIN-Prog: Sat Sep 14 05:54:43 CEST 2019
2105.77/1579.83	c PID: 8839
2105.77/1579.83	c IP: 172.20.3.146
2105.77/1579.83	c HOST: node146.alineos.net
2105.77/1579.83	c (0,0) SatSolver.solve Begin
2105.77/1579.83	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392398-1568431744.xml-scop-8699.cnf
2105.77/1579.86	c (0,0) c
2105.77/1579.86	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)
2105.77/1579.86	c (0,0) c
2105.77/1579.86	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
2105.77/1579.86	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
2105.77/1579.86	c (0,0) c ========================================[ Problem Statistics ]===========================================
2105.77/1579.86	c (0,0) c |                                                                                                       |
2146.61/1619.31	c (39,0) c |  Number of variables:       1375815                                                                   |
2146.61/1619.31	c (39,0) c |  Number of clauses:       114381001                                                                   |
2146.61/1619.31	c (39,0) c |  Parse time:                  36.30 s                                                                 |
2146.61/1619.31	c (39,0) c |                                                                                                       |
2153.71/1626.43	c (46,0) c | Too many clauses... No preprocessing                                                                  |
2153.71/1626.43	c (46,0) c |  Simplification time:          6.25 s                                                                 |
2153.71/1626.43	c (46,0) c |                                                                                                       |
2153.71/1626.43	c (46,0) c |  One Solver is taking   8254.59Mb... Let's take   0 solvers for this run (max 40% of the maxmemory).  |
2153.71/1626.43	c (46,0) c |  Generating clones                                                                                    |
2153.71/1626.43	c (46,0) c |  all clones generated. Memory =  8254.59Mb.                                                           |
2153.71/1626.43	c (46,0) c ========================================================================================================|
2153.71/1626.43	c (46,0) c
2153.71/1626.43	c (46,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2153.71/1626.43	c (46,0) c
2153.71/1626.43	c (46,0) c |-----------------------|------------|
2153.71/1626.43	c (46,0) c | Threads               |          0 |
2153.71/1626.43	c (46,0) c |-----------------------|------------|
2153.71/1626.43	c (46,0) c | randomizeFirstDescent |      False |
2153.71/1626.43	c (46,0) c | adaptStrategeis       |       True |
2153.71/1626.43	c (46,0) c | forceUnsatOnNewDescent|       True |
2153.71/1626.43	c (46,0) c | Initial random_seed   |   91648253 |
2153.71/1626.43	c (46,0) c | chanseokStrategy      |      False |
2153.71/1626.43	c (46,0) c | coLBDBound            |          5 |
2153.71/1626.43	c (46,0) c | glureduce             |       True |
2153.71/1626.43	c (46,0) c | firstReduceDB         |       2000 |
2153.71/1626.43	c (46,0) c | incReduceDB           |        300 |
2153.71/1626.43	c (46,0) c | luby_restart          |      False |
2153.71/1626.43	c (46,0) c | luby_restart_factor   |        100 |
2153.71/1626.43	c (46,0) c | var_decay             |     0.8000 |
2153.71/1626.43	c (46,0) c | max_var_decay         |     0.9500 |
2153.71/1626.43	c (46,0) c | randomize_on_restarts |      False |
2153.71/1626.43	c (46,0) c | remove_satisfied      |       True |
2153.71/1626.43	c (46,0) c |-----------------------|------------|
2153.76/1656.23	c (76,0) c
2153.76/1656.23	c (76,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.76/1656.23	c (76,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.76/1656.23	c (76,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.76/1656.23	c (76,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.76/1656.23	c (76,0) c 
2153.76/1656.23	c (76,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.76/1656.23	c (76,0) c real: 76.373 s, cpu: 42.5506 s, memory: 8254.59 Mb
2153.77/1685.23	c (105,0) c
2153.77/1685.23	c (105,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.77/1685.23	c (105,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.77/1685.23	c (105,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.77/1685.23	c (105,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.77/1685.23	c (105,0) c 
2153.77/1685.23	c (105,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.77/1685.23	c (105,0) c real: 105.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.78/1714.23	c (134,0) c
2153.78/1714.23	c (134,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.78/1714.23	c (134,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.78/1714.23	c (134,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.78/1714.23	c (134,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.78/1714.23	c (134,0) c 
2153.78/1714.23	c (134,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.78/1714.23	c (134,0) c real: 134.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.79/1743.23	c (163,0) c
2153.79/1743.23	c (163,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.79/1743.23	c (163,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.79/1743.23	c (163,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.79/1743.23	c (163,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.79/1743.23	c (163,0) c 
2153.79/1743.23	c (163,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.79/1743.23	c (163,0) c real: 163.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.80/1773.23	c (193,0) c
2153.80/1773.23	c (193,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.80/1773.23	c (193,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.80/1773.23	c (193,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.80/1773.23	c (193,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.80/1773.23	c (193,0) c 
2153.80/1773.23	c (193,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.80/1773.23	c (193,0) c real: 193.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.82/1802.23	c (222,0) c
2153.82/1802.23	c (222,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.82/1802.23	c (222,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.82/1802.23	c (222,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.82/1802.23	c (222,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.82/1802.23	c (222,0) c 
2153.82/1802.23	c (222,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.82/1802.23	c (222,0) c real: 222.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.83/1831.23	c (251,0) c
2153.83/1831.23	c (251,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.83/1831.23	c (251,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.83/1831.23	c (251,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.83/1831.23	c (251,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.83/1831.23	c (251,0) c 
2153.83/1831.23	c (251,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.83/1831.23	c (251,0) c real: 251.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.84/1860.23	c (280,0) c
2153.84/1860.23	c (280,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.84/1860.23	c (280,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.84/1860.23	c (280,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.84/1860.23	c (280,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.84/1860.23	c (280,0) c 
2153.84/1860.23	c (280,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.84/1860.23	c (280,0) c real: 280.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.85/1889.23	c (309,0) c
2153.85/1889.23	c (309,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.85/1889.23	c (309,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.85/1889.23	c (309,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.85/1889.23	c (309,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.85/1889.23	c (309,0) c 
2153.85/1889.23	c (309,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.85/1889.23	c (309,0) c real: 309.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.86/1919.23	c (339,0) c
2153.86/1919.23	c (339,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.86/1919.23	c (339,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.86/1919.23	c (339,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.86/1919.23	c (339,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.86/1919.23	c (339,0) c 
2153.86/1919.23	c (339,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.86/1919.23	c (339,0) c real: 339.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.89/1948.23	c (368,0) c
2153.89/1948.23	c (368,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.89/1948.23	c (368,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.89/1948.23	c (368,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.89/1948.23	c (368,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.89/1948.23	c (368,0) c 
2153.89/1948.23	c (368,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.89/1948.23	c (368,0) c real: 368.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.90/1977.23	c (397,0) c
2153.90/1977.23	c (397,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.90/1977.23	c (397,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.90/1977.23	c (397,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.90/1977.23	c (397,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.90/1977.23	c (397,0) c 
2153.90/1977.23	c (397,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.90/1977.23	c (397,0) c real: 397.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.91/2006.23	c (426,0) c
2153.91/2006.23	c (426,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.91/2006.23	c (426,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.91/2006.23	c (426,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.91/2006.23	c (426,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.91/2006.23	c (426,0) c 
2153.91/2006.23	c (426,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.91/2006.23	c (426,0) c real: 426.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.92/2035.23	c (455,0) c
2153.92/2035.23	c (455,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.92/2035.23	c (455,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.92/2035.23	c (455,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.92/2035.23	c (455,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.92/2035.23	c (455,0) c 
2153.92/2035.23	c (455,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.92/2035.23	c (455,0) c real: 455.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.93/2065.23	c (485,0) c
2153.93/2065.23	c (485,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.93/2065.23	c (485,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.93/2065.23	c (485,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.93/2065.23	c (485,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.93/2065.23	c (485,0) c 
2153.93/2065.23	c (485,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.93/2065.23	c (485,0) c real: 485.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.95/2094.23	c (514,0) c
2153.95/2094.23	c (514,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.95/2094.23	c (514,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.95/2094.23	c (514,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.95/2094.23	c (514,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.95/2094.23	c (514,0) c 
2153.95/2094.23	c (514,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.95/2094.23	c (514,0) c real: 514.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.95/2123.23	c (543,0) c
2153.95/2123.23	c (543,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.95/2123.23	c (543,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.95/2123.23	c (543,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.95/2123.23	c (543,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.95/2123.23	c (543,0) c 
2153.95/2123.23	c (543,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.95/2123.23	c (543,0) c real: 543.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.97/2152.23	c (572,0) c
2153.97/2152.23	c (572,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.97/2152.23	c (572,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.97/2152.23	c (572,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.97/2152.23	c (572,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.97/2152.23	c (572,0) c 
2153.97/2152.23	c (572,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.97/2152.23	c (572,0) c real: 572.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.98/2181.23	c (601,0) c
2153.98/2181.23	c (601,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.98/2181.23	c (601,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.98/2181.23	c (601,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.98/2181.23	c (601,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.98/2181.23	c (601,0) c 
2153.98/2181.23	c (601,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.98/2181.23	c (601,0) c real: 601.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2153.99/2211.23	c (631,0) c
2153.99/2211.24	c (631,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.99/2211.24	c (631,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2153.99/2211.24	c (631,0) c |------------------------------------------------------------------------------------------------------------------------|
2153.99/2211.24	c (631,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2153.99/2211.24	c (631,0) c 
2153.99/2211.24	c (631,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2153.99/2211.24	c (631,0) c real: 631.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.01/2240.23	c (660,0) c
2154.01/2240.23	c (660,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.01/2240.23	c (660,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.01/2240.23	c (660,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.01/2240.23	c (660,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.01/2240.23	c (660,0) c 
2154.01/2240.23	c (660,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.01/2240.23	c (660,0) c real: 660.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.02/2269.23	c (689,0) c
2154.02/2269.23	c (689,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.02/2269.23	c (689,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.02/2269.23	c (689,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.02/2269.23	c (689,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.02/2269.23	c (689,0) c 
2154.02/2269.23	c (689,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.02/2269.23	c (689,0) c real: 689.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.04/2298.23	c (718,0) c
2154.04/2298.23	c (718,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.04/2298.23	c (718,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.04/2298.23	c (718,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.04/2298.23	c (718,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.04/2298.23	c (718,0) c 
2154.04/2298.23	c (718,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.04/2298.23	c (718,0) c real: 718.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.04/2327.23	c (747,0) c
2154.04/2327.23	c (747,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.04/2327.23	c (747,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.04/2327.23	c (747,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.04/2327.23	c (747,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.04/2327.23	c (747,0) c 
2154.04/2327.23	c (747,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.04/2327.23	c (747,0) c real: 747.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.06/2357.23	c (777,0) c
2154.06/2357.23	c (777,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.06/2357.23	c (777,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.06/2357.23	c (777,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.06/2357.23	c (777,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.06/2357.23	c (777,0) c 
2154.06/2357.23	c (777,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.06/2357.23	c (777,0) c real: 777.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.06/2386.23	c (806,0) c
2154.06/2386.23	c (806,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.06/2386.23	c (806,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.06/2386.23	c (806,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.06/2386.23	c (806,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.06/2386.23	c (806,0) c 
2154.06/2386.23	c (806,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.06/2386.23	c (806,0) c real: 806.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.08/2415.23	c (835,0) c
2154.08/2415.23	c (835,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.08/2415.23	c (835,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.08/2415.23	c (835,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.08/2415.23	c (835,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.08/2415.23	c (835,0) c 
2154.08/2415.23	c (835,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.08/2415.23	c (835,0) c real: 835.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.09/2444.23	c (864,0) c
2154.09/2444.23	c (864,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.09/2444.23	c (864,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.09/2444.23	c (864,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.09/2444.23	c (864,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.09/2444.23	c (864,0) c 
2154.09/2444.23	c (864,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.09/2444.23	c (864,0) c real: 864.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.10/2473.23	c (893,0) c
2154.10/2473.23	c (893,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.10/2473.23	c (893,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.10/2473.23	c (893,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.10/2473.23	c (893,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.10/2473.23	c (893,0) c 
2154.10/2473.23	c (893,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.10/2473.23	c (893,0) c real: 893.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.12/2503.23	c (923,0) c
2154.12/2503.23	c (923,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.12/2503.23	c (923,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2154.12/2503.23	c (923,0) c |------------------------------------------------------------------------------------------------------------------------|
2154.12/2503.23	c (923,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
2154.12/2503.23	c (923,0) c 
2154.12/2503.23	c (923,0) c synthesis           0 conflicts           0 propagations        0 conflicts/sec        0 propagations/sec
2154.12/2503.23	c (923,0) c real: 923.373 s, cpu: 42.5508 s, memory: 8254.59 Mb
2154.12/2520.01	c (940,0) receiving signal SIGTERM
2154.12/2520.01	s UNKNOWN
2154.12/2520.01	c (scop.sh) Receiving Signal. Removing all intermediate files.
2154.12/2520.01	c (scop.sh) Remove HOME/scop-8696-serial-file.bin.
2154.12/2520.03	c (scop.sh) Killing background jobs.
2154.12/2520.03	c (940,0) receiving signal SIGTERM

Verifier Data


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 (14935 MiB free)
  memory of node 1: 16384 MiB (15606 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392398-1568431744/watcher-4392398-1568431744 -o /tmp/evaluation-result-4392398-1568431744/solver-4392398-1568431744 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --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-4392398-1568431744.xml 

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

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

solver pid=8696, runsolver pid=8693

[startup+0.100158 s]*
/proc/loadavg: 7.00 6.18 7.05 2/212 8718
/proc/meminfo: memFree=31183564/32770624 swapFree=67000536/67108860
[pid=8696] ppid=8693 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8696/stat : 8696 (scop.sh) S 8693 8696 6587 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419088392 115843072 349 33554432000 4194304 5098028 140728413558800 140728413556056 139959101084284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31084544 140728413565733 140728413566060 140728413566060 140728413568973 0
/proc/8696/statm: 28282 349 296 221 0 87 0
[pid=8699] ppid=8696 vsize=27314120 memory=104628 CPUtime=0.1 cores=0-7
/proc/8699/stat : 8699 (java) S 8696 8696 6587 0 -1 1077944320 6785 0 0 0 8 2 0 0 20 0 20 0 419088392 27969658880 26157 33554432000 4194304 4196468 140722731178416 140722731160960 140094118432503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
/proc/8699/statm: 6828530 26157 2783 1 0 6790935 0
[pid=8699/tid=8700] ppid=8696 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/8699/task/8700/stat : 8700 (java) R 8696 8696 6587 0 -1 4202560 4887 0 0 0 7 1 0 0 20 0 20 0 419088392 27969658880 26157 33554432000 4194304 4196468 140722731178416 140094090245744 140094118454429 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8701] ppid=8696 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8699/task/8701/stat : 8701 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 26157 33554432000 4194304 4196468 140722731178416 140094122674960 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8702] ppid=8696 vsize=27314120 memory=139633259828864 CPUtime=0 cores=0-7
/proc/8699/task/8702/stat : 8702 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 26157 33554432000 4194304 4196468 140722731178416 140093936831376 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8703] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8703/stat : 8703 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 26157 33554432000 4194304 4196468 140722731178416 140093935778832 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8704] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8704/stat : 8704 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 26157 33554432000 4194304 4196468 140722731178416 140093934726288 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8705] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8705/stat : 8705 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 26157 33554432000 4194304 4196468 140722731178416 140093933672720 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8706] ppid=8696 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8699/task/8706/stat : 8706 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 26157 33554432000 4194304 4196468 140722731178416 140093932620176 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8707] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8707/stat : 8707 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 26157 33554432000 4194304 4196468 140722731178416 140093931567632 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8708] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8708/stat : 8708 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 26157 33554432000 4194304 4196468 140722731178416 140093930515088 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8709] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8709/stat : 8709 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088396 27969658880 26157 33554432000 4194304 4196468 140722731178416 140092437948912 140094118443650 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8710] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8710/stat : 8710 (java) S 8696 8696 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419088397 27969658880 26157 33554432000 4194304 4196468 140722731178416 140091901076896 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8711] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8711/stat : 8711 (java) S 8696 8696 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419088397 27969658880 26157 33554432000 4194304 4196468 140722731178416 140091766855152 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8712] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8712/stat : 8712 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 26157 33554432000 4194304 4196468 140722731178416 140091392350928 140094118451099 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8713] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8713/stat : 8713 (java) S 8696 8696 6587 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 26157 33554432000 4194304 4196468 140722731178416 140092436895728 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8714] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8714/stat : 8714 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 26157 33554432000 4194304 4196468 140722731178416 140092435843184 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8715] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8715/stat : 8715 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 26157 33554432000 4194304 4196468 140722731178416 140092434790640 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8716] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8716/stat : 8716 (java) R 8696 8696 6587 0 -1 4202560 233 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 26157 33554432000 4194304 4196468 140722731178416 140092433738096 140094118453850 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8717] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8717/stat : 8717 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 26157 33554432000 4194304 4196468 140722731178416 140090894445280 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8718] ppid=8696 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8699/task/8718/stat : 8718 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 26157 33554432000 4194304 4196468 140722731178416 140092432686000 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106024 KiB

[startup+0.209932 s]*
/proc/loadavg: 7.00 6.18 7.05 3/212 8718
/proc/meminfo: memFree=31160544/32770624 swapFree=67000536/67108860
[pid=8696] ppid=8693 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8696/stat : 8696 (scop.sh) S 8693 8696 6587 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419088392 115843072 349 33554432000 4194304 5098028 140728413558800 140728413556056 139959101084284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31084544 140728413565733 140728413566060 140728413566060 140728413568973 0
/proc/8696/statm: 28282 349 296 221 0 87 0
[pid=8699] ppid=8696 vsize=27314120 memory=124016 CPUtime=0.25 cores=0-7
/proc/8699/stat : 8699 (java) S 8696 8696 6587 0 -1 1077944320 12437 0 0 0 21 4 0 0 20 0 20 0 419088392 27969658880 31004 33554432000 4194304 4196468 140722731178416 140722731160960 140094118432503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
/proc/8699/statm: 6828530 31004 2922 1 0 6790935 0
[pid=8699/tid=8700] ppid=8696 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/8699/task/8700/stat : 8700 (java) R 8696 8696 6587 0 -1 4202560 10145 0 0 0 17 3 0 0 20 0 20 0 419088392 27969658880 31004 33554432000 4194304 4196468 140722731178416 140094090231888 140094102575542 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8701] ppid=8696 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/8699/task/8701/stat : 8701 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31004 33554432000 4194304 4196468 140722731178416 140094122674960 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8702] ppid=8696 vsize=27314120 memory=139633259838823 CPUtime=0 cores=0-7
/proc/8699/task/8702/stat : 8702 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31004 33554432000 4194304 4196468 140722731178416 140093936831376 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8703] ppid=8696 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8699/task/8703/stat : 8703 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31004 33554432000 4194304 4196468 140722731178416 140093935778832 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8704] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8704/stat : 8704 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31004 33554432000 4194304 4196468 140722731178416 140093934726288 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8705] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8705/stat : 8705 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31004 33554432000 4194304 4196468 140722731178416 140093933672720 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8706] ppid=8696 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8699/task/8706/stat : 8706 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31004 33554432000 4194304 4196468 140722731178416 140093932620176 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8707] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8707/stat : 8707 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31004 33554432000 4194304 4196468 140722731178416 140093931567632 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8708] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8708/stat : 8708 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31004 33554432000 4194304 4196468 140722731178416 140093930515088 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8709] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8709/stat : 8709 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088396 27969658880 31004 33554432000 4194304 4196468 140722731178416 140092437948912 140094118443650 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8710] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8710/stat : 8710 (java) S 8696 8696 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419088397 27969658880 31004 33554432000 4194304 4196468 140722731178416 140091901076896 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8711] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8711/stat : 8711 (java) S 8696 8696 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419088397 27969658880 31004 33554432000 4194304 4196468 140722731178416 140091766855152 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8712] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8712/stat : 8712 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31004 33554432000 4194304 4196468 140722731178416 140091392350928 140094118451099 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8713] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8713/stat : 8713 (java) S 8696 8696 6587 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31004 33554432000 4194304 4196468 140722731178416 140092436895728 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8714] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8714/stat : 8714 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31004 33554432000 4194304 4196468 140722731178416 140092435843184 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8715] ppid=8696 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8699/task/8715/stat : 8715 (java) S 8696 8696 6587 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31004 33554432000 4194304 4196468 140722731178416 140092434790640 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8716] ppid=8696 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/8699/task/8716/stat : 8716 (java) S 8696 8696 6587 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 419088400 27969658880 31004 33554432000 4194304 4196468 140722731178416 140092433738096 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8717] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8717/stat : 8717 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31004 33554432000 4194304 4196468 140722731178416 140090894445280 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8718] ppid=8696 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8699/task/8718/stat : 8718 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31004 33554432000 4194304 4196468 140722731178416 140092432686000 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125412 KiB

[startup+0.309532 s]*
/proc/loadavg: 7.00 6.18 7.05 2/212 8718
/proc/meminfo: memFree=31157480/32770624 swapFree=67000536/67108860
[pid=8696] ppid=8693 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8696/stat : 8696 (scop.sh) S 8693 8696 6587 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419088392 115843072 349 33554432000 4194304 5098028 140728413558800 140728413556056 139959101084284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31084544 140728413565733 140728413566060 140728413566060 140728413568973 0
/proc/8696/statm: 28282 349 296 221 0 87 0
[pid=8699] ppid=8696 vsize=27314120 memory=127416 CPUtime=0.42 cores=0-7
/proc/8699/stat : 8699 (java) S 8696 8696 6587 0 -1 1077944320 12803 0 0 0 38 4 0 0 20 0 20 0 419088392 27969658880 31854 33554432000 4194304 4196468 140722731178416 140722731160960 140094118432503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
/proc/8699/statm: 6828530 31854 2981 1 0 6790935 0
[pid=8699/tid=8700] ppid=8696 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/8699/task/8700/stat : 8700 (java) R 8696 8696 6587 0 -1 4202560 10337 0 0 0 26 3 0 0 20 0 20 0 419088392 27969658880 31854 33554432000 4194304 4196468 140722731178416 140094090244848 140094099996032 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8701] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8701/stat : 8701 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31854 33554432000 4194304 4196468 140722731178416 140094122674960 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8702] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8702/stat : 8702 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31854 33554432000 4194304 4196468 140722731178416 140093936831376 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8703] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8703/stat : 8703 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31854 33554432000 4194304 4196468 140722731178416 140093935778832 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8704] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8704/stat : 8704 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31854 33554432000 4194304 4196468 140722731178416 140093934726288 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8705] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8705/stat : 8705 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31854 33554432000 4194304 4196468 140722731178416 140093933672720 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8706] ppid=8696 vsize=27314120 memory=139633144982191 CPUtime=0 cores=0-7
/proc/8699/task/8706/stat : 8706 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31854 33554432000 4194304 4196468 140722731178416 140093932620176 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8707] ppid=8696 vsize=27314120 memory=139633144984496 CPUtime=0 cores=0-7
/proc/8699/task/8707/stat : 8707 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31854 33554432000 4194304 4196468 140722731178416 140093931567632 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8708] ppid=8696 vsize=27314120 memory=139633144986800 CPUtime=0 cores=0-7
/proc/8699/task/8708/stat : 8708 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27969658880 31854 33554432000 4194304 4196468 140722731178416 140093930515088 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8709] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8709/stat : 8709 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088396 27969658880 31854 33554432000 4194304 4196468 140722731178416 140092437948912 140094118443650 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8710] ppid=8696 vsize=27314120 memory=279266289987472 CPUtime=0 cores=0-7
/proc/8699/task/8710/stat : 8710 (java) S 8696 8696 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419088397 27969658880 31854 33554432000 4194304 4196468 140722731178416 140091901076896 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8711] ppid=8696 vsize=27314120 memory=279266289985168 CPUtime=0 cores=0-7
/proc/8699/task/8711/stat : 8711 (java) S 8696 8696 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419088397 27969658880 31854 33554432000 4194304 4196468 140722731178416 140091766855152 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8712] ppid=8696 vsize=27314120 memory=279266289992080 CPUtime=0 cores=0-7
/proc/8699/task/8712/stat : 8712 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31854 33554432000 4194304 4196468 140722731178416 140091392350928 140094118451099 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8713] ppid=8696 vsize=27314120 memory=279266289933360 CPUtime=0.01 cores=0-7
/proc/8699/task/8713/stat : 8713 (java) S 8696 8696 6587 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 20 0 419088400 27969658880 31854 33554432000 4194304 4196468 140722731178416 140092436895728 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8714] ppid=8696 vsize=27314120 memory=279266290005904 CPUtime=0.01 cores=0-7
/proc/8699/task/8714/stat : 8714 (java) S 8696 8696 6587 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 419088400 27969658880 31854 33554432000 4194304 4196468 140722731178416 140092435843184 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8715] ppid=8696 vsize=27314120 memory=279266290012816 CPUtime=0.01 cores=0-7
/proc/8699/task/8715/stat : 8715 (java) S 8696 8696 6587 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 419088400 27969658880 31854 33554432000 4194304 4196468 140722731178416 140092434790640 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8716] ppid=8696 vsize=27314120 memory=279266290010512 CPUtime=0.07 cores=0-7
/proc/8699/task/8716/stat : 8716 (java) S 8696 8696 6587 0 -1 1077944384 467 0 0 0 7 0 0 0 20 0 20 0 419088400 27969658880 31854 33554432000 4194304 4196468 140722731178416 140092433738096 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8717] ppid=8696 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8717/stat : 8717 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31854 33554432000 4194304 4196468 140722731178416 140090894445280 140094118442709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8718] ppid=8696 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8699/task/8718/stat : 8718 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088400 27969658880 31854 33554432000 4194304 4196468 140722731178416 140092432686000 140094118443650 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128812 KiB

[startup+0.700877 s]
/proc/loadavg: 7.00 6.18 7.05 2/212 8718
/proc/meminfo: memFree=31136012/32770624 swapFree=67000536/67108860
[pid=8696] ppid=8693 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8696/stat : 8696 (scop.sh) S 8693 8696 6587 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419088392 115843072 349 33554432000 4194304 5098028 140728413558800 140728413556056 139959101084284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31084544 140728413565733 140728413566060 140728413566060 140728413568973 0
/proc/8696/statm: 28282 349 296 221 0 87 0
[pid=8699] ppid=8696 vsize=27320392 memory=163152 CPUtime=0.98 cores=0-7
/proc/8699/stat : 8699 (java) S 8696 8696 6587 0 -1 1077944320 20448 0 0 0 91 7 0 0 20 0 20 0 419088392 27976081408 40788 33554432000 4194304 4196468 140722731178416 140722731160960 140094118432503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
/proc/8699/statm: 6830098 40788 3180 1 0 6791447 0
[pid=8699/tid=8700] ppid=8696 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/8699/task/8700/stat : 8700 (java) R 8696 8696 6587 0 -1 4202560 17405 0 0 0 62 6 0 0 20 0 20 0 419088392 27976081408 40788 33554432000 4194304 4196468 140722731178416 140094090271200 140094118444438 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8701] ppid=8696 vsize=27320392 memory=139633145193328 CPUtime=0 cores=0-7
/proc/8699/task/8701/stat : 8701 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27976081408 40788 33554432000 4194304 4196468 140722731178416 140094122674960 140094118442709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8702] ppid=8696 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/8699/task/8702/stat : 8702 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088395 27976081408 40788 33554432000 4194304 4196468 140722731178416 140093936831376 140094118442709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0
[pid=8699/tid=8703] ppid=8696 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/8699/task/8703/stat : 8703 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088395 27976081408 40788 33554432000 4194304 4196468 140722731178416 140093935778832 140094118442709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16510976 140722731184876 140722731185302 140722731185302 140722731188175 0

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

/proc/8839/task/8856/stat : 8856 (java) S 8696 8696 6587 0 -1 1077944384 844 0 0 0 26 0 0 0 20 0 24 0 419246306 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708526160752 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8857] ppid=8696 vsize=8414124 memory=279266290300752 CPUtime=0 cores=0-7
/proc/8839/task/8857/stat : 8857 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419246307 8616062976 31405 33554432000 4194304 4196468 140735898645280 140707088034016 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8858] ppid=8696 vsize=8414124 memory=288291082108928850 CPUtime=0.3 cores=0-7
/proc/8839/task/8858/stat : 8858 (java) S 8696 8696 6587 0 -1 1077944384 63 0 0 0 13 17 0 0 20 0 24 0 419246307 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708525107632 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8860] ppid=8696 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8839/task/8860/stat : 8860 (java) S 8696 8696 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419246378 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708517074112 140709571079961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8862] ppid=8696 vsize=8414124 memory=1476 CPUtime=0.02 cores=0-7
/proc/8839/task/8862/stat : 8862 (java) S 8696 8696 6587 0 -1 4202560 1684 0 0 0 1 1 0 0 20 0 24 0 419246378 8616062976 31405 33554432000 4194304 4196468 140735898645280 140706416934672 140709571077277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8863] ppid=8696 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/8839/task/8863/stat : 8863 (java) S 8696 8696 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419246378 8616062976 31405 33554432000 4194304 4196468 140735898645280 140706685370288 140709571077277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8864] ppid=8696 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/8839/task/8864/stat : 8864 (java) S 8696 8696 6587 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419246380 8616062976 31405 33554432000 4194304 4196468 140735898645280 140706148507312 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
Current children cumulated CPU time: 2154.12 s
Current children cumulated vsize: 16979944 KiB
Current children cumulated memory: 7291944 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 0.00 0.07 0.90 1/217 8963
/proc/meminfo: memFree=21102432/32770624 swapFree=67000568/67108860
[pid=8696] ppid=8693 vsize=113128 memory=1476 CPUtime=2105.77 cores=0-7
/proc/8696/stat : 8696 (scop.sh) S 8693 8696 6587 0 -1 4202496 583 717733 0 0 0 0 205644 4933 20 0 1 0 419088392 115843072 369 33554432000 4194304 5098028 140728413558800 140728413555544 139959101084284 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31084544 140728413565733 140728413566060 140728413566060 140728413568973 0
/proc/8696/statm: 28282 369 311 221 0 87 0
[pid=8839] ppid=8696 vsize=8414124 memory=125620 CPUtime=1.78 cores=0-7
/proc/8839/stat : 8839 (java) S 8696 8696 6587 0 -1 1077944320 22442 0 0 0 154 24 0 0 20 0 24 0 419246299 8616062976 31405 33554432000 4194304 4196468 140735898645280 140735898627824 140709571055351 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
/proc/8839/statm: 2103531 31405 3215 1 0 2064875 0
[pid=8859] ppid=8839 vsize=8452692 memory=7164848 CPUtime=46.57 cores=0-7
/proc/8859/stat : 8859 (manyglucose-4.1) S 8839 8696 6587 0 -1 1077944320 2432611 0 0 0 4255 402 0 0 20 0 1 0 419246378 8655556608 1791212 33554432000 4194304 4454172 140729625056720 140729625055120 140412165569154 0 4 0 8388610 18446744071579849748 0 0 17 5 0 0 0 0 0 6552832 6554400 23568384 140729625060202 140729625060400 140729625060400 140729625063354 0
/proc/8859/statm: 2113173 1791212 377 64 0 2108841 0
[pid=8839/tid=8840] ppid=8696 vsize=8414124 memory=1398722017469774279 CPUtime=0.8 cores=0-7
/proc/8839/task/8840/stat : 8840 (java) S 8696 8696 6587 0 -1 1077944384 16935 0 0 0 73 7 0 0 20 0 24 0 419246300 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709542895520 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8841] ppid=8696 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8839/task/8841/stat : 8841 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419246301 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709575297296 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8842] ppid=8696 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/8839/task/8842/stat : 8842 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419246301 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709375465872 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8843] ppid=8696 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/8839/task/8843/stat : 8843 (java) S 8696 8696 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419246301 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709374413328 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8844] ppid=8696 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/8839/task/8844/stat : 8844 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419246301 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709373360784 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8845] ppid=8696 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/8839/task/8845/stat : 8845 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419246301 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709372308240 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8846] ppid=8696 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8839/task/8846/stat : 8846 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419246301 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709371255696 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8847] ppid=8696 vsize=8414124 memory=1240 CPUtime=0 cores=0-7
/proc/8839/task/8847/stat : 8847 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419246301 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709050969104 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8848] ppid=8696 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/8839/task/8848/stat : 8848 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419246301 8616062976 31405 33554432000 4194304 4196468 140735898645280 140709049916560 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8849] ppid=8696 vsize=8414124 memory=1696 CPUtime=0.01 cores=0-7
/proc/8839/task/8849/stat : 8849 (java) S 8696 8696 6587 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 24 0 419246303 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708530370544 140709571066498 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8850] ppid=8696 vsize=8414124 memory=3436 CPUtime=0 cores=0-7
/proc/8839/task/8850/stat : 8850 (java) S 8696 8696 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419246303 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708228883360 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8851] ppid=8696 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/8839/task/8851/stat : 8851 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419246304 8616062976 31405 33554432000 4194304 4196468 140735898645280 140707960447984 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8852] ppid=8696 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/8839/task/8852/stat : 8852 (java) S 8696 8696 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419246306 8616062976 31405 33554432000 4194304 4196468 140735898645280 140707585939664 140709571073947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8853] ppid=8696 vsize=8414124 memory=1224 CPUtime=0.06 cores=0-7
/proc/8839/task/8853/stat : 8853 (java) S 8696 8696 6587 0 -1 1077944384 489 0 0 0 6 0 0 0 20 0 24 0 419246306 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708529318384 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8854] ppid=8696 vsize=8414124 memory=5916 CPUtime=0.11 cores=0-7
/proc/8839/task/8854/stat : 8854 (java) S 8696 8696 6587 0 -1 1077944384 446 0 0 0 11 0 0 0 20 0 24 0 419246306 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708528265840 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8855] ppid=8696 vsize=8414124 memory=772 CPUtime=0.14 cores=0-7
/proc/8839/task/8855/stat : 8855 (java) S 8696 8696 6587 0 -1 1077944384 583 0 0 0 14 0 0 0 20 0 24 0 419246306 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708527213296 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8856] ppid=8696 vsize=8414124 memory=1556 CPUtime=0.26 cores=0-7
/proc/8839/task/8856/stat : 8856 (java) S 8696 8696 6587 0 -1 1077944384 844 0 0 0 26 0 0 0 20 0 24 0 419246306 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708526160752 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8857] ppid=8696 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/8839/task/8857/stat : 8857 (java) S 8696 8696 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419246307 8616062976 31405 33554432000 4194304 4196468 140735898645280 140707088034016 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8858] ppid=8696 vsize=8414124 memory=964 CPUtime=0.31 cores=0-7
/proc/8839/task/8858/stat : 8858 (java) S 8696 8696 6587 0 -1 1077944384 65 0 0 0 13 18 0 0 20 0 24 0 419246307 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708525107632 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8860] ppid=8696 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/8839/task/8860/stat : 8860 (java) S 8696 8696 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419246378 8616062976 31405 33554432000 4194304 4196468 140735898645280 140708517074112 140709571079961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8862] ppid=8696 vsize=8414124 memory=2116 CPUtime=0.02 cores=0-7
/proc/8839/task/8862/stat : 8862 (java) S 8696 8696 6587 0 -1 4202560 1684 0 0 0 1 1 0 0 20 0 24 0 419246378 8616062976 31405 33554432000 4194304 4196468 140735898645280 140706416934672 140709571077277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8863] ppid=8696 vsize=8414124 memory=20652 CPUtime=0 cores=0-7
/proc/8839/task/8863/stat : 8863 (java) S 8696 8696 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419246378 8616062976 31405 33554432000 4194304 4196468 140735898645280 140706685370288 140709571077277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8864] ppid=8696 vsize=8414124 memory=11852 CPUtime=0 cores=0-7
/proc/8839/task/8864/stat : 8864 (java) S 8696 8696 6587 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419246380 8616062976 31405 33554432000 4194304 4196468 140735898645280 140706148507312 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
Current children cumulated CPU time: 2154.12 s
Current children cumulated vsize: 16979944 KiB
Current children cumulated memory: 7291944 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.03 s]
# the end of solver process 8696 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2056.44 s, system=49.3367 s

[startup+2520.66 s]
# the end of solver process 8839 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2100.54 s, system=54.282 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.4 s]
/proc/loadavg: 0.00 0.07 0.90 2/218 8967
/proc/meminfo: memFree=23053344/32770624 swapFree=67000568/67108860
[pid=8839] ppid=8693 vsize=8544168 memory=135896 CPUtime=48.76 cores=0-7
/proc/8839/stat : 8839 (java) S 8693 8696 6587 0 -1 1077944320 22483 2432611 0 0 154 40 4255 427 20 0 22 0 419246299 8749228032 33974 33554432000 4194304 4196468 140735898645280 140735898627824 140709571055351 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
/proc/8839/statm: 2136042 33974 3216 1 0 2097386 0
[pid=8839/tid=8840] ppid=8693 vsize=8544168 memory=8112282956445269571 CPUtime=47.62 cores=0-7
/proc/8839/task/8840/stat : 8840 (java) S 8693 8696 6587 0 -1 1077944384 16935 2432611 0 0 73 7 4255 427 20 0 22 0 419246300 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709542895520 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8841] ppid=8693 vsize=8544168 memory=111636 CPUtime=46.82 cores=0-7
/proc/8839/task/8841/stat : 8841 (java) S 8693 8696 6587 0 -1 1077944384 1 2432611 0 0 0 0 4255 427 20 0 22 0 419246301 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709575297296 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8842] ppid=8693 vsize=8544168 memory=808 CPUtime=46.82 cores=0-7
/proc/8839/task/8842/stat : 8842 (java) S 8693 8696 6587 0 -1 1077944384 1 2432611 0 0 0 0 4255 427 20 0 22 0 419246301 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709375465872 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8843] ppid=8693 vsize=8544168 memory=1808 CPUtime=46.82 cores=0-7
/proc/8839/task/8843/stat : 8843 (java) S 8693 8696 6587 0 -1 1077944384 2 2432611 0 0 0 0 4255 427 20 0 22 0 419246301 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709374413328 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8844] ppid=8693 vsize=8544168 memory=924 CPUtime=46.82 cores=0-7
/proc/8839/task/8844/stat : 8844 (java) S 8693 8696 6587 0 -1 1077944384 1 2432611 0 0 0 0 4255 427 20 0 22 0 419246301 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709373360784 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8845] ppid=8693 vsize=8544168 memory=4488 CPUtime=46.82 cores=0-7
/proc/8839/task/8845/stat : 8845 (java) S 8693 8696 6587 0 -1 1077944384 1 2432611 0 0 0 0 4255 427 20 0 22 0 419246301 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709372308240 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8846] ppid=8693 vsize=8544168 memory=1412 CPUtime=46.82 cores=0-7
/proc/8839/task/8846/stat : 8846 (java) S 8693 8696 6587 0 -1 1077944384 3 2432611 0 0 0 0 4255 427 20 0 22 0 419246301 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709371255696 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8847] ppid=8693 vsize=8544168 memory=2648 CPUtime=46.82 cores=0-7
/proc/8839/task/8847/stat : 8847 (java) S 8693 8696 6587 0 -1 1077944384 1 2432611 0 0 0 0 4255 427 20 0 22 0 419246301 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709050969104 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8848] ppid=8693 vsize=8544168 memory=912 CPUtime=46.82 cores=0-7
/proc/8839/task/8848/stat : 8848 (java) S 8693 8696 6587 0 -1 1077944384 1 2432611 0 0 0 0 4255 427 20 0 22 0 419246301 8749228032 33974 33554432000 4194304 4196468 140735898645280 140709049916560 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8849] ppid=8693 vsize=8544168 memory=1440 CPUtime=46.83 cores=0-7
/proc/8839/task/8849/stat : 8849 (java) S 8693 8696 6587 0 -1 1077944384 13 2432611 0 0 0 1 4255 427 20 0 22 0 419246303 8749228032 33974 33554432000 4194304 4196468 140735898645280 140708530370048 140709571066498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8850] ppid=8693 vsize=8544168 memory=1768 CPUtime=46.82 cores=0-7
/proc/8839/task/8850/stat : 8850 (java) S 8693 8696 6587 0 -1 1077944384 13 2432611 0 0 0 0 4255 427 20 0 22 0 419246303 8749228032 33974 33554432000 4194304 4196468 140735898645280 140708228883360 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8851] ppid=8693 vsize=8544168 memory=111636 CPUtime=46.82 cores=0-7
/proc/8839/task/8851/stat : 8851 (java) S 8693 8696 6587 0 -1 1077944384 1 2432611 0 0 0 0 4255 427 20 0 22 0 419246304 8749228032 33974 33554432000 4194304 4196468 140735898645280 140707960447984 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8853] ppid=8693 vsize=8544168 memory=808 CPUtime=46.88 cores=0-7
/proc/8839/task/8853/stat : 8853 (java) S 8693 8696 6587 0 -1 1077944384 489 2432611 0 0 6 0 4255 427 20 0 22 0 419246306 8749228032 33974 33554432000 4194304 4196468 140735898645280 140708529318384 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8854] ppid=8693 vsize=8544168 memory=1808 CPUtime=46.93 cores=0-7
/proc/8839/task/8854/stat : 8854 (java) S 8693 8696 6587 0 -1 1077944384 446 2432611 0 0 11 0 4255 427 20 0 22 0 419246306 8749228032 33974 33554432000 4194304 4196468 140735898645280 140708528254768 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8855] ppid=8693 vsize=8544168 memory=924 CPUtime=46.96 cores=0-7
/proc/8839/task/8855/stat : 8855 (java) S 8693 8696 6587 0 -1 1077944384 583 2432611 0 0 14 0 4255 427 20 0 22 0 419246306 8749228032 33974 33554432000 4194304 4196468 140735898645280 140708527213296 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8856] ppid=8693 vsize=8544168 memory=1476 CPUtime=47.08 cores=0-7
/proc/8839/task/8856/stat : 8856 (java) S 8693 8696 6587 0 -1 1077944384 845 2432611 0 0 26 0 4255 427 20 0 22 0 419246306 8749228032 33974 33554432000 4194304 4196468 140735898645280 140708526160752 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8857] ppid=8693 vsize=8544168 memory=125620 CPUtime=46.82 cores=0-7
/proc/8839/task/8857/stat : 8857 (java) S 8693 8696 6587 0 -1 1077944384 3 2432611 0 0 0 0 4255 427 20 0 22 0 419246307 8749228032 33974 33554432000 4194304 4196468 140735898645280 140707088034016 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8860] ppid=8693 vsize=8544168 memory=7164848 CPUtime=46.82 cores=0-7
/proc/8839/task/8860/stat : 8860 (java) S 8693 8696 6587 0 -1 1077944384 24 2432611 0 0 0 0 4255 427 20 0 22 0 419246378 8749228032 33974 33554432000 4194304 4196468 140735898645280 140708517073296 140709571066498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8864] ppid=8693 vsize=8544168 memory=928 CPUtime=46.82 cores=0-7
/proc/8839/task/8864/stat : 8864 (java) S 8693 8696 6587 0 -1 1077944384 7 2432611 0 0 0 0 4255 427 20 0 22 0 419246380 8749228032 33974 33554432000 4194304 4196468 140735898645280 140706148497568 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8964] ppid=8693 vsize=8544168 memory=1980 CPUtime=46.82 cores=0-7
/proc/8839/task/8964/stat : 8964 (java) S 8693 8696 6587 0 -1 1077944384 3 2432611 0 0 0 0 4255 427 20 0 22 0 419340393 8749228032 33974 33554432000 4194304 4196468 140735898645280 140705880072784 140709571065557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
[pid=8839/tid=8967] ppid=8693 vsize=8544168 memory=1332 CPUtime=46.96 cores=0-7
/proc/8839/task/8967/stat : 8967 (java) R 8693 8696 6587 0 -1 4202560 2 2432611 0 0 0 14 4255 427 20 0 22 0 419340395 8749228032 33974 33554432000 4194304 4196468 140735898645280 140705611637280 140709563740983 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7024640 140735898649592 140735898649750 140735898649750 140735898652623 0
Current cumulated CPU time of completed processes: 2105.78 s
Current children cumulated CPU time: 48.76 s
Current children cumulated vsize: 8544168 KiB
Current children cumulated memory: 135896 KiB

[startup+2520.6 s]*
/proc/loadavg: 0.00 0.07 0.90 2/193 8967
/proc/meminfo: memFree=30909356/32770624 swapFree=67000568/67108860
Current cumulated CPU time of completed processes: 2105.78 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 2520.66
CPU time (s): 2154.82
CPU user time (s): 2100.54
CPU system time (s): 54.282
CPU usage (%): 85.4864
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 23374692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2100.54
system time used= 54.282
maximum resident set size= 23373556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3173913
page faults= 0
swaps= 0
block input operations= 80
block output operations= 5613160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94093
involuntary context switches= 7611


# summary of solver processes directly reported to runsolver:
#   pid: 8696,8839
#   total CPU time (s): 2154.82
#   total CPU user time (s): 2100.54
#   total CPU system time (s): 54.282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6853 second user time and 26.4034 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 05:28:23
IDJOB=4392398
IDBENCH=131280
IDSOLVER=2838
FILE ID=node146/4392398-1568431744
RUNJOBID= node146-1568429502-6614
PBS_JOBID= 21702307
Free space on /tmp= 59032 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-B-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-4392398-1568431744/watcher-4392398-1568431744 -o /tmp/evaluation-result-4392398-1568431744/solver-4392398-1568431744 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --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-4392398-1568431744.xml

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

MD5SUM BENCH= 47da5ea68f3d94e6d7990d40a1ef4aa5
RANDOM SEED=2130144781

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31274612 kB
MemAvailable:   31879584 kB
Buffers:          187096 kB
Cached:           683628 kB
SwapCached:         4724 kB
Active:           498612 kB
Inactive:         377624 kB
Active(anon):      22520 kB
Inactive(anon):    21912 kB
Active(file):     476092 kB
Inactive(file):   355712 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000536 kB
Dirty:             20924 kB
Writeback:             8 kB
AnonPages:        112744 kB
Mapped:            42332 kB
Shmem:             29884 kB
Slab:             208480 kB
SReclaimable:     178004 kB
SUnreclaim:        30476 kB
KernelStack:        3440 kB
PageTables:         5536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 06:10:24