Trace number 4392745

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)? (TO) 745.335 2520.83

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-02-09.xml
MD5SUM51af40833062bacbe569ad61b7e4d8a4
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 benchmark2.88246
Satisfiable
(Un)Satisfiability was proved
Number of variables5122
Number of constraints4611
Number of domains3
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":4608},{"size":512,"count":512},{"size":513,"count":2}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":512},{"degree":3,"count":4608}]
Minimum constraint arity2
Maximum constraint arity514
Distribution of constraint arities[{"arity":2,"count":4096},{"arity":10,"count":512},{"arity":512,"count":2},{"arity":514,"count":1}]
Number of extensional constraints0
Number of intensional constraints4096
Distribution of constraint types[{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":512},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11245-serial-file.bin HOME/instance-4392745-1568424927.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 03:34:49 CEST 2019
0.65/0.56	c PID: 11248
0.65/0.56	c IP: 172.20.3.149
0.65/0.56	c HOST: node149.alineos.net
0.65/0.57	c (0,0) Parsing Begin
4.99/1.88	c (1,1) Parsing End
5.31/1.90	c (1,1) CSP: 514 int (0 aux), 4608 bool (0 aux), 4611 ctr, max domain size 513
5.31/1.90	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
5.31/1.90	c (1,1) Constraint Name Generate Begin
5.31/1.93	c (1,1) Ctr:HOME/instance-4392745-1568424927.xml,AllDifferent:Cardinality:Eq:Minimum:Num:Var:WeightedSum
5.31/1.93	c (1,1) Constraint Name Generate End
5.31/1.93	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
5.31/1.93	c (1,1) CSP to CSPinCNF Begin
17.61/8.33	c (7,7) translated 462 (10%) constraints
17.61/8.39	c (7,7) translated 923 (20%) constraints
17.85/8.42	c (7,7) translated 1384 (30%) constraints
17.85/8.44	c (7,7) translated 1845 (40%) constraints
17.85/8.47	c (7,7) translated 2306 (50%) constraints
17.85/8.49	c (7,7) translated 2767 (60%) constraints
18.13/8.51	c (7,7) translated 3228 (70%) constraints
18.13/8.53	c (7,7) translated 3689 (80%) constraints
18.13/8.55	c (8,7) translated 4150 (90%) constraints
19.64/9.11	c (8,8) translated 4611 (100%) constraints
19.64/9.15	c (8,8) ===========================================
20.32/9.34	c (8,8) Hybrid: #OE=513, #LE=5634
20.32/9.34	c (8,8) Hybrid
20.32/9.34	c (8,8) ===========================================
21.94/9.90	c (9,9) translated 13851 (10%) constraints
22.36/10.34	c (9,9) translated 27701 (20%) constraints
22.84/10.78	c (10,10) translated 41551 (30%) constraints
23.34/11.23	c (10,10) translated 55401 (40%) constraints
23.75/11.66	c (11,11) translated 69251 (50%) constraints
24.16/12.10	c (11,11) translated 83102 (60%) constraints
24.65/12.54	c (11,11) translated 96952 (70%) constraints
25.06/12.97	c (12,12) translated 110802 (80%) constraints
25.55/13.41	c (12,12) translated 124652 (90%) constraints
41.65/26.22	c (25,25) translated 138502 (100%) constraints
41.65/26.23	c (25,25) CSP to CSPinCNF End
42.02/26.32	c (25,25) CSP: 515 int (1 aux), 268800 bool (264192 aux), 669449 ctr, max domain size 513
42.02/26.32	c (25,25) Heap : 5049 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
42.02/26.32	c (25,25) CSPinCNF Propagation Begin
75.28/46.83	c (46,43) 0 values, 1024 unsatisfiable literals, and 2048 valid clauses are removed
75.28/46.83	c (46,43) CSPinCNF Propagation End
75.42/46.91	c (46,44) CSP: 515 int (1 aux), 268800 bool (264192 aux), 667401 ctr, max domain size 513
75.42/46.91	c (46,44) Heap : 1093 MiB used (max 21411 MiB), NonHeap : 31 MiB used (max 0 MiB)
76.05/47.30	c (46,44) Hybrid: #OE=263681, #LE=5634
76.05/47.30	c (46,44) Simplify CSPinCNF Begin
81.72/52.28	c (51,49) Simplify CSPinCNF End
82.17/52.43	c (51,49) CSP: 515 int (1 aux), 530944 bool (526336 aux), 929545 ctr, max domain size 513
82.17/52.43	c (51,49) Heap : 4093 MiB used (max 21411 MiB), NonHeap : 32 MiB used (max 0 MiB)
82.17/52.43	c (51,49) Calculate Precise Domain Begin
82.17/52.43	c (51,49) 0 values are removed by re-calculation
82.17/52.43	c (51,49) Calculate Precise Domain End
82.27/52.57	c (52,49) CSP: 515 int (1 aux), 530944 bool (526336 aux), 929545 ctr, max domain size 513
82.27/52.57	c (52,49) Heap : 4093 MiB used (max 21411 MiB), NonHeap : 32 MiB used (max 0 MiB)
82.27/52.57	c (52,49) CSPinCNF to SatSolver Begin
219.78/173.07	c (172,165) 92955 (10 %) CSP clauses are encoded (0 SAT variables, 32020797 SAT clauses)
335.68/290.35	c (289,280) 185909 (20 %) CSP clauses are encoded (0 SAT variables, 63779910 SAT clauses)
451.51/407.36	c (406,394) 278864 (30 %) CSP clauses are encoded (0 SAT variables, 95539535 SAT clauses)
567.75/525.99	c (525,509) 371818 (40 %) CSP clauses are encoded (0 SAT variables, 127299159 SAT clauses)
594.42/553.05	c (552,536) 464773 (50 %) CSP clauses are encoded (0 SAT variables, 134420408 SAT clauses)
595.69/554.15	c (553,537) 557727 (60 %) CSP clauses are encoded (0 SAT variables, 134513362 SAT clauses)
596.78/555.22	c (554,538) 650682 (70 %) CSP clauses are encoded (0 SAT variables, 134606317 SAT clauses)
597.88/556.30	c (555,539) 743636 (80 %) CSP clauses are encoded (0 SAT variables, 134699271 SAT clauses)
598.89/557.37	c (556,540) 836591 (90 %) CSP clauses are encoded (0 SAT variables, 134792226 SAT clauses)
678.84/633.63	c (633,616) 929545 (100 %) CSP clauses are encoded (0 SAT variables, 145366376 SAT clauses)
678.84/633.64	c (633,616) CSPinCNF to SatSolver End
678.84/633.64	c (633,616) Heap : 7231 MiB used (max 22499 MiB), NonHeap : 33 MiB used (max 0 MiB)
678.84/633.64	c (633,616) 5506617 bool, 145366887 clause
678.84/633.64	c (633,616) Export Begin
679.65/634.13	c (633,616) Export to HOME/scop-11245-serial-file.bin
679.65/634.13	c (633,616) Export End
679.65/634.13	c (633,616) Export File Size: 1.87 MB
679.65/634.13	c (633,616) 1,1,25,46,51,52,633,STOP-AFTER(DIMACS)
679.65/634.13	c END-Prog: Sat Sep 14 03:45:23 CEST 2019
679.65/634.20	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11245-serial-file.bin
679.80/634.67	c (0,0) Read Serial File Begin
679.80/634.67	c (0,0) HOME/scop-11245-serial-file.bin
681.56/635.34	c (0,0) Read Serial File End
681.56/635.35	
681.56/635.35	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
681.56/635.35	(Solving Process)
681.56/635.35	
681.56/635.38	c BEGIN-Prog: Sat Sep 14 03:45:24 CEST 2019
681.56/635.38	c PID: 11313
681.56/635.38	c IP: 172.20.3.149
681.56/635.38	c HOST: node149.alineos.net
681.56/635.38	c (0,0) SatSolver.solve Begin
681.56/635.38	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392745-1568424927.xml-scop-11248.cnf
681.92/635.41	c (0,0) c
681.92/635.41	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)
681.92/635.41	c (0,0) c
681.92/635.41	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
681.92/635.41	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
681.92/635.41	c (0,0) c ========================================[ Problem Statistics ]===========================================
681.92/635.41	c (0,0) c |                                                                                                       |
733.69/687.04	c (52,0) c |  Number of variables:       5506617                                                                   |
733.69/687.04	c (52,0) c |  Number of clauses:       145366881                                                                   |
733.69/687.04	c (52,0) c |  Parse time:                  47.42 s                                                                 |
733.69/687.04	c (52,0) c |                                                                                                       |
743.59/696.97	c (62,0) c | Too many clauses... No preprocessing                                                                  |
743.59/696.97	c (62,0) c |  Simplification time:          8.70 s                                                                 |
743.59/696.97	c (62,0) c |                                                                                                       |
743.59/696.97	c (62,0) c |  One Solver is taking  13185.59Mb... Let's take   0 solvers for this run (max 40% of the maxmemory).  |
743.59/696.97	c (62,0) c |  Generating clones                                                                                    |
743.59/696.97	c (62,0) c |  all clones generated. Memory = 13185.59Mb.                                                           |
743.59/696.97	c (62,0) c ========================================================================================================|
743.59/696.97	c (62,0) c
743.59/696.97	c (62,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
743.59/696.97	c (62,0) c
743.59/696.97	c (62,0) c |-----------------------|------------|
743.59/696.97	c (62,0) c | Threads               |          0 |
743.59/696.97	c (62,0) c |-----------------------|------------|
743.59/696.97	c (62,0) c | randomizeFirstDescent |      False |
743.59/696.97	c (62,0) c | adaptStrategeis       |       True |
743.59/696.97	c (62,0) c | forceUnsatOnNewDescent|       True |
743.59/696.97	c (62,0) c | Initial random_seed   |   91648253 |
743.59/696.97	c (62,0) c | chanseokStrategy      |      False |
743.59/696.97	c (62,0) c | coLBDBound            |          5 |
743.59/696.97	c (62,0) c | glureduce             |       True |
743.59/696.97	c (62,0) c | firstReduceDB         |       2000 |
743.59/696.97	c (62,0) c | incReduceDB           |        300 |
743.59/696.97	c (62,0) c | luby_restart          |      False |
743.59/696.97	c (62,0) c | luby_restart_factor   |        100 |
743.59/696.97	c (62,0) c | var_decay             |     0.8000 |
743.59/696.97	c (62,0) c | max_var_decay         |     0.9500 |
743.59/696.97	c (62,0) c | randomize_on_restarts |      False |
743.59/696.97	c (62,0) c | remove_satisfied      |       True |
743.59/696.97	c (62,0) c |-----------------------|------------|
743.69/726.56	c (91,0) c
743.69/726.56	c (91,0) c |------------------------------------------------------------------------------------------------------------------------|
743.69/726.56	c (91,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.69/726.56	c (91,0) c |------------------------------------------------------------------------------------------------------------------------|
743.69/726.56	c (91,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.69/726.56	c (91,0) c 
743.69/726.56	c (91,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.69/726.56	c (91,0) c real: 91.1476 s, cpu: 56.1201 s, memory: 13185.59 Mb
743.69/755.56	c (120,0) c
743.69/755.56	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
743.69/755.56	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.69/755.56	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
743.69/755.56	c (120,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.69/755.56	c (120,0) c 
743.69/755.56	c (120,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.69/755.56	c (120,0) c real: 120.148 s, cpu: 56.1202 s, memory: 13185.59 Mb
743.71/784.56	c (149,0) c
743.71/784.56	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
743.71/784.56	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.71/784.56	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
743.71/784.56	c (149,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.71/784.56	c (149,0) c 
743.71/784.56	c (149,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.71/784.56	c (149,0) c real: 149.148 s, cpu: 56.1203 s, memory: 13185.59 Mb
743.72/813.56	c (178,0) c
743.72/813.56	c (178,0) c |------------------------------------------------------------------------------------------------------------------------|
743.72/813.56	c (178,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.72/813.56	c (178,0) c |------------------------------------------------------------------------------------------------------------------------|
743.72/813.56	c (178,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.72/813.56	c (178,0) c 
743.72/813.56	c (178,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.72/813.56	c (178,0) c real: 178.148 s, cpu: 56.1204 s, memory: 13185.59 Mb
743.74/842.56	c (207,0) c
743.74/842.56	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
743.74/842.56	c (207,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.74/842.56	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
743.74/842.56	c (207,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.74/842.56	c (207,0) c 
743.74/842.56	c (207,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.74/842.56	c (207,0) c real: 207.148 s, cpu: 56.1205 s, memory: 13185.59 Mb
743.74/871.56	c (236,0) c
743.74/871.56	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
743.74/871.56	c (236,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.74/871.56	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
743.74/871.56	c (236,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.74/871.56	c (236,0) c 
743.74/871.56	c (236,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.74/871.56	c (236,0) c real: 236.148 s, cpu: 56.1206 s, memory: 13185.59 Mb
743.76/900.56	c (265,0) c
743.76/900.56	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
743.76/900.56	c (265,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.76/900.56	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
743.76/900.56	c (265,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.76/900.56	c (265,0) c 
743.76/900.56	c (265,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.76/900.56	c (265,0) c real: 265.148 s, cpu: 56.1206 s, memory: 13185.59 Mb
743.77/929.56	c (294,0) c
743.77/929.56	c (294,0) c |------------------------------------------------------------------------------------------------------------------------|
743.77/929.56	c (294,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.77/929.56	c (294,0) c |------------------------------------------------------------------------------------------------------------------------|
743.77/929.56	c (294,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.77/929.56	c (294,0) c 
743.77/929.56	c (294,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.77/929.56	c (294,0) c real: 294.148 s, cpu: 56.1207 s, memory: 13185.59 Mb
743.78/958.56	c (323,0) c
743.78/958.56	c (323,0) c |------------------------------------------------------------------------------------------------------------------------|
743.78/958.56	c (323,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.78/958.56	c (323,0) c |------------------------------------------------------------------------------------------------------------------------|
743.78/958.56	c (323,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.78/958.56	c (323,0) c 
743.78/958.56	c (323,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.78/958.56	c (323,0) c real: 323.148 s, cpu: 56.1208 s, memory: 13185.59 Mb
743.80/987.56	c (352,0) c
743.80/987.56	c (352,0) c |------------------------------------------------------------------------------------------------------------------------|
743.80/987.56	c (352,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.80/987.56	c (352,0) c |------------------------------------------------------------------------------------------------------------------------|
743.80/987.56	c (352,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.80/987.56	c (352,0) c 
743.80/987.56	c (352,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.80/987.56	c (352,0) c real: 352.148 s, cpu: 56.1209 s, memory: 13185.59 Mb
743.81/1016.56	c (381,0) c
743.81/1016.56	c (381,0) c |------------------------------------------------------------------------------------------------------------------------|
743.81/1016.56	c (381,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.81/1016.56	c (381,0) c |------------------------------------------------------------------------------------------------------------------------|
743.81/1016.56	c (381,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.81/1016.56	c (381,0) c 
743.81/1016.56	c (381,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.81/1016.56	c (381,0) c real: 381.148 s, cpu: 56.121 s, memory: 13185.59 Mb
743.82/1046.56	c (411,0) c
743.82/1046.56	c (411,0) c |------------------------------------------------------------------------------------------------------------------------|
743.82/1046.56	c (411,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.82/1046.56	c (411,0) c |------------------------------------------------------------------------------------------------------------------------|
743.82/1046.56	c (411,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.82/1046.56	c (411,0) c 
743.82/1046.56	c (411,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.82/1046.56	c (411,0) c real: 411.148 s, cpu: 56.121 s, memory: 13185.59 Mb
743.83/1075.56	c (440,0) c
743.83/1075.56	c (440,0) c |------------------------------------------------------------------------------------------------------------------------|
743.83/1075.56	c (440,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.83/1075.56	c (440,0) c |------------------------------------------------------------------------------------------------------------------------|
743.83/1075.56	c (440,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.83/1075.56	c (440,0) c 
743.83/1075.56	c (440,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.83/1075.56	c (440,0) c real: 440.148 s, cpu: 56.1211 s, memory: 13185.59 Mb
743.84/1104.56	c (469,0) c
743.84/1104.56	c (469,0) c |------------------------------------------------------------------------------------------------------------------------|
743.84/1104.56	c (469,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.84/1104.56	c (469,0) c |------------------------------------------------------------------------------------------------------------------------|
743.84/1104.56	c (469,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.84/1104.56	c (469,0) c 
743.84/1104.56	c (469,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.84/1104.56	c (469,0) c real: 469.148 s, cpu: 56.1212 s, memory: 13185.59 Mb
743.85/1133.56	c (498,0) c
743.85/1133.56	c (498,0) c |------------------------------------------------------------------------------------------------------------------------|
743.85/1133.56	c (498,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.85/1133.56	c (498,0) c |------------------------------------------------------------------------------------------------------------------------|
743.85/1133.56	c (498,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.85/1133.56	c (498,0) c 
743.85/1133.56	c (498,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.85/1133.56	c (498,0) c real: 498.148 s, cpu: 56.1213 s, memory: 13185.59 Mb
743.87/1162.56	c (527,0) c
743.87/1162.56	c (527,0) c |------------------------------------------------------------------------------------------------------------------------|
743.87/1162.56	c (527,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.87/1162.56	c (527,0) c |------------------------------------------------------------------------------------------------------------------------|
743.87/1162.56	c (527,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.87/1162.56	c (527,0) c 
743.87/1162.56	c (527,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.87/1162.56	c (527,0) c real: 527.148 s, cpu: 56.1214 s, memory: 13185.59 Mb
743.87/1191.56	c (556,0) c
743.87/1191.56	c (556,0) c |------------------------------------------------------------------------------------------------------------------------|
743.87/1191.56	c (556,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.87/1191.56	c (556,0) c |------------------------------------------------------------------------------------------------------------------------|
743.87/1191.56	c (556,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.87/1191.56	c (556,0) c 
743.87/1191.56	c (556,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.87/1191.56	c (556,0) c real: 556.148 s, cpu: 56.1215 s, memory: 13185.59 Mb
743.89/1220.56	c (585,0) c
743.89/1220.56	c (585,0) c |------------------------------------------------------------------------------------------------------------------------|
743.89/1220.56	c (585,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.89/1220.56	c (585,0) c |------------------------------------------------------------------------------------------------------------------------|
743.89/1220.56	c (585,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.89/1220.56	c (585,0) c 
743.89/1220.56	c (585,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.89/1220.56	c (585,0) c real: 585.148 s, cpu: 56.1215 s, memory: 13185.59 Mb
743.90/1249.56	c (614,0) c
743.90/1249.56	c (614,0) c |------------------------------------------------------------------------------------------------------------------------|
743.90/1249.56	c (614,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.90/1249.56	c (614,0) c |------------------------------------------------------------------------------------------------------------------------|
743.90/1249.56	c (614,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.90/1249.56	c (614,0) c 
743.90/1249.56	c (614,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.90/1249.56	c (614,0) c real: 614.148 s, cpu: 56.1216 s, memory: 13185.59 Mb
743.91/1278.56	c (643,0) c
743.91/1278.57	c (643,0) c |------------------------------------------------------------------------------------------------------------------------|
743.91/1278.57	c (643,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.91/1278.57	c (643,0) c |------------------------------------------------------------------------------------------------------------------------|
743.91/1278.57	c (643,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.91/1278.57	c (643,0) c 
743.91/1278.57	c (643,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.91/1278.57	c (643,0) c real: 643.148 s, cpu: 56.1217 s, memory: 13185.59 Mb
743.93/1307.56	c (672,0) c
743.93/1307.56	c (672,0) c |------------------------------------------------------------------------------------------------------------------------|
743.93/1307.56	c (672,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.93/1307.56	c (672,0) c |------------------------------------------------------------------------------------------------------------------------|
743.93/1307.56	c (672,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.93/1307.56	c (672,0) c 
743.93/1307.56	c (672,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.93/1307.56	c (672,0) c real: 672.148 s, cpu: 56.1218 s, memory: 13185.59 Mb
743.95/1336.56	c (701,0) c
743.95/1336.56	c (701,0) c |------------------------------------------------------------------------------------------------------------------------|
743.95/1336.56	c (701,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.95/1336.56	c (701,0) c |------------------------------------------------------------------------------------------------------------------------|
743.95/1336.56	c (701,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.95/1336.56	c (701,0) c 
743.95/1336.56	c (701,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.95/1336.56	c (701,0) c real: 701.148 s, cpu: 56.1219 s, memory: 13185.59 Mb
743.96/1366.56	c (731,0) c
743.96/1366.56	c (731,0) c |------------------------------------------------------------------------------------------------------------------------|
743.96/1366.56	c (731,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.96/1366.56	c (731,0) c |------------------------------------------------------------------------------------------------------------------------|
743.96/1366.56	c (731,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.96/1366.56	c (731,0) c 
743.96/1366.56	c (731,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.96/1366.56	c (731,0) c real: 731.148 s, cpu: 56.1219 s, memory: 13185.59 Mb
743.96/1395.56	c (760,0) c
743.96/1395.56	c (760,0) c |------------------------------------------------------------------------------------------------------------------------|
743.96/1395.56	c (760,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.96/1395.56	c (760,0) c |------------------------------------------------------------------------------------------------------------------------|
743.96/1395.56	c (760,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.96/1395.56	c (760,0) c 
743.96/1395.56	c (760,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.96/1395.56	c (760,0) c real: 760.148 s, cpu: 56.122 s, memory: 13185.59 Mb
743.97/1424.56	c (789,0) c
743.97/1424.56	c (789,0) c |------------------------------------------------------------------------------------------------------------------------|
743.97/1424.56	c (789,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.97/1424.56	c (789,0) c |------------------------------------------------------------------------------------------------------------------------|
743.97/1424.56	c (789,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.97/1424.56	c (789,0) c 
743.97/1424.56	c (789,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.97/1424.56	c (789,0) c real: 789.148 s, cpu: 56.1221 s, memory: 13185.59 Mb
743.99/1453.56	c (818,0) c
743.99/1453.56	c (818,0) c |------------------------------------------------------------------------------------------------------------------------|
743.99/1453.56	c (818,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
743.99/1453.56	c (818,0) c |------------------------------------------------------------------------------------------------------------------------|
743.99/1453.56	c (818,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
743.99/1453.56	c (818,0) c 
743.99/1453.56	c (818,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
743.99/1453.56	c (818,0) c real: 818.148 s, cpu: 56.1222 s, memory: 13185.59 Mb
744.00/1482.56	c (847,0) c
744.00/1482.56	c (847,0) c |------------------------------------------------------------------------------------------------------------------------|
744.00/1482.56	c (847,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.00/1482.56	c (847,0) c |------------------------------------------------------------------------------------------------------------------------|
744.00/1482.56	c (847,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.00/1482.56	c (847,0) c 
744.00/1482.56	c (847,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.00/1482.56	c (847,0) c real: 847.148 s, cpu: 56.1223 s, memory: 13185.59 Mb
744.02/1512.56	c (877,0) c
744.02/1512.56	c (877,0) c |------------------------------------------------------------------------------------------------------------------------|
744.02/1512.56	c (877,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.02/1512.56	c (877,0) c |------------------------------------------------------------------------------------------------------------------------|
744.02/1512.56	c (877,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.02/1512.56	c (877,0) c 
744.02/1512.56	c (877,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.02/1512.56	c (877,0) c real: 877.148 s, cpu: 56.1224 s, memory: 13185.59 Mb
744.03/1541.56	c (906,0) c
744.03/1541.56	c (906,0) c |------------------------------------------------------------------------------------------------------------------------|
744.03/1541.56	c (906,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.03/1541.56	c (906,0) c |------------------------------------------------------------------------------------------------------------------------|
744.03/1541.56	c (906,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.03/1541.56	c (906,0) c 
744.03/1541.56	c (906,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.03/1541.56	c (906,0) c real: 906.148 s, cpu: 56.1225 s, memory: 13185.59 Mb
744.04/1570.56	c (935,0) c
744.04/1570.56	c (935,0) c |------------------------------------------------------------------------------------------------------------------------|
744.04/1570.56	c (935,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.04/1570.56	c (935,0) c |------------------------------------------------------------------------------------------------------------------------|
744.04/1570.56	c (935,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.04/1570.56	c (935,0) c 
744.04/1570.56	c (935,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.04/1570.56	c (935,0) c real: 935.148 s, cpu: 56.1225 s, memory: 13185.59 Mb
744.05/1599.56	c (964,0) c
744.05/1599.56	c (964,0) c |------------------------------------------------------------------------------------------------------------------------|
744.05/1599.56	c (964,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.05/1599.56	c (964,0) c |------------------------------------------------------------------------------------------------------------------------|
744.05/1599.56	c (964,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.05/1599.56	c (964,0) c 
744.05/1599.56	c (964,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.05/1599.56	c (964,0) c real: 964.148 s, cpu: 56.1226 s, memory: 13185.59 Mb
744.06/1628.56	c (993,0) c
744.06/1628.56	c (993,0) c |------------------------------------------------------------------------------------------------------------------------|
744.06/1628.56	c (993,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.06/1628.56	c (993,0) c |------------------------------------------------------------------------------------------------------------------------|
744.06/1628.56	c (993,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.06/1628.56	c (993,0) c 
744.06/1628.56	c (993,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.06/1628.56	c (993,0) c real: 993.148 s, cpu: 56.1227 s, memory: 13185.59 Mb
744.08/1658.56	c (1023,0) c
744.08/1658.56	c (1023,0) c |------------------------------------------------------------------------------------------------------------------------|
744.08/1658.56	c (1023,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.08/1658.56	c (1023,0) c |------------------------------------------------------------------------------------------------------------------------|
744.08/1658.56	c (1023,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.08/1658.56	c (1023,0) c 
744.08/1658.56	c (1023,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.08/1658.56	c (1023,0) c real: 1023.15 s, cpu: 56.1228 s, memory: 13185.59 Mb
744.08/1687.56	c (1052,0) c
744.08/1687.56	c (1052,0) c |------------------------------------------------------------------------------------------------------------------------|
744.08/1687.56	c (1052,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.08/1687.56	c (1052,0) c |------------------------------------------------------------------------------------------------------------------------|
744.08/1687.56	c (1052,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.08/1687.56	c (1052,0) c 
744.08/1687.56	c (1052,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.08/1687.56	c (1052,0) c real: 1052.15 s, cpu: 56.1229 s, memory: 13185.59 Mb
744.10/1716.56	c (1081,0) c
744.10/1716.56	c (1081,0) c |------------------------------------------------------------------------------------------------------------------------|
744.10/1716.56	c (1081,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.10/1716.56	c (1081,0) c |------------------------------------------------------------------------------------------------------------------------|
744.10/1716.56	c (1081,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.10/1716.56	c (1081,0) c 
744.10/1716.56	c (1081,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.10/1716.56	c (1081,0) c real: 1081.15 s, cpu: 56.123 s, memory: 13185.59 Mb
744.11/1745.56	c (1110,0) c
744.11/1745.56	c (1110,0) c |------------------------------------------------------------------------------------------------------------------------|
744.11/1745.56	c (1110,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.11/1745.56	c (1110,0) c |------------------------------------------------------------------------------------------------------------------------|
744.11/1745.56	c (1110,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.11/1745.56	c (1110,0) c 
744.11/1745.56	c (1110,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.11/1745.56	c (1110,0) c real: 1110.15 s, cpu: 56.123 s, memory: 13185.59 Mb
744.12/1774.56	c (1139,0) c
744.12/1774.56	c (1139,0) c |------------------------------------------------------------------------------------------------------------------------|
744.12/1774.56	c (1139,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.12/1774.56	c (1139,0) c |------------------------------------------------------------------------------------------------------------------------|
744.12/1774.56	c (1139,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.12/1774.56	c (1139,0) c 
744.12/1774.56	c (1139,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.12/1774.56	c (1139,0) c real: 1139.15 s, cpu: 56.1231 s, memory: 13185.59 Mb
744.13/1803.56	c (1168,0) c
744.13/1803.56	c (1168,0) c |------------------------------------------------------------------------------------------------------------------------|
744.13/1803.56	c (1168,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.13/1803.56	c (1168,0) c |------------------------------------------------------------------------------------------------------------------------|
744.13/1803.56	c (1168,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.13/1803.56	c (1168,0) c 
744.13/1803.56	c (1168,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.13/1803.56	c (1168,0) c real: 1168.15 s, cpu: 56.1232 s, memory: 13185.59 Mb
744.14/1832.56	c (1197,0) c
744.14/1832.56	c (1197,0) c |------------------------------------------------------------------------------------------------------------------------|
744.14/1832.56	c (1197,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.14/1832.56	c (1197,0) c |------------------------------------------------------------------------------------------------------------------------|
744.14/1832.56	c (1197,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.14/1832.56	c (1197,0) c 
744.14/1832.56	c (1197,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.14/1832.56	c (1197,0) c real: 1197.15 s, cpu: 56.1233 s, memory: 13185.59 Mb
744.16/1861.56	c (1226,0) c
744.16/1861.56	c (1226,0) c |------------------------------------------------------------------------------------------------------------------------|
744.16/1861.56	c (1226,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.16/1861.56	c (1226,0) c |------------------------------------------------------------------------------------------------------------------------|
744.16/1861.56	c (1226,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.16/1861.56	c (1226,0) c 
744.16/1861.56	c (1226,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.16/1861.56	c (1226,0) c real: 1226.15 s, cpu: 56.1234 s, memory: 13185.59 Mb
744.16/1890.56	c (1255,0) c
744.16/1890.56	c (1255,0) c |------------------------------------------------------------------------------------------------------------------------|
744.16/1890.56	c (1255,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.16/1890.56	c (1255,0) c |------------------------------------------------------------------------------------------------------------------------|
744.16/1890.56	c (1255,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.16/1890.56	c (1255,0) c 
744.16/1890.56	c (1255,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.16/1890.56	c (1255,0) c real: 1255.15 s, cpu: 56.1235 s, memory: 13185.59 Mb
744.17/1919.56	c (1284,0) c
744.17/1919.56	c (1284,0) c |------------------------------------------------------------------------------------------------------------------------|
744.17/1919.56	c (1284,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.17/1919.56	c (1284,0) c |------------------------------------------------------------------------------------------------------------------------|
744.17/1919.56	c (1284,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.17/1919.56	c (1284,0) c 
744.17/1919.56	c (1284,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.17/1919.56	c (1284,0) c real: 1284.15 s, cpu: 56.124 s, memory: 13185.59 Mb
744.19/1949.56	c (1314,0) c
744.19/1949.56	c (1314,0) c |------------------------------------------------------------------------------------------------------------------------|
744.19/1949.56	c (1314,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.19/1949.56	c (1314,0) c |------------------------------------------------------------------------------------------------------------------------|
744.19/1949.56	c (1314,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.19/1949.56	c (1314,0) c 
744.19/1949.56	c (1314,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.19/1949.56	c (1314,0) c real: 1314.15 s, cpu: 56.1246 s, memory: 13185.59 Mb
744.20/1978.56	c (1343,0) c
744.20/1978.56	c (1343,0) c |------------------------------------------------------------------------------------------------------------------------|
744.20/1978.56	c (1343,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.20/1978.56	c (1343,0) c |------------------------------------------------------------------------------------------------------------------------|
744.20/1978.56	c (1343,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.20/1978.56	c (1343,0) c 
744.20/1978.56	c (1343,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.20/1978.56	c (1343,0) c real: 1343.15 s, cpu: 56.1251 s, memory: 13185.59 Mb
744.22/2007.56	c (1372,0) c
744.22/2007.56	c (1372,0) c |------------------------------------------------------------------------------------------------------------------------|
744.22/2007.56	c (1372,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.22/2007.56	c (1372,0) c |------------------------------------------------------------------------------------------------------------------------|
744.22/2007.56	c (1372,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.22/2007.56	c (1372,0) c 
744.22/2007.56	c (1372,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.22/2007.56	c (1372,0) c real: 1372.15 s, cpu: 56.1257 s, memory: 13185.59 Mb
744.23/2036.56	c (1401,0) c
744.23/2036.56	c (1401,0) c |------------------------------------------------------------------------------------------------------------------------|
744.23/2036.56	c (1401,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.23/2036.56	c (1401,0) c |------------------------------------------------------------------------------------------------------------------------|
744.23/2036.56	c (1401,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.23/2036.56	c (1401,0) c 
744.23/2036.56	c (1401,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.23/2036.56	c (1401,0) c real: 1401.15 s, cpu: 56.1262 s, memory: 13185.59 Mb
744.25/2065.56	c (1430,0) c
744.25/2065.56	c (1430,0) c |------------------------------------------------------------------------------------------------------------------------|
744.25/2065.56	c (1430,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.25/2065.56	c (1430,0) c |------------------------------------------------------------------------------------------------------------------------|
744.25/2065.56	c (1430,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.25/2065.56	c (1430,0) c 
744.25/2065.56	c (1430,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.25/2065.56	c (1430,0) c real: 1430.15 s, cpu: 56.1267 s, memory: 13185.59 Mb
744.26/2095.56	c (1460,0) c
744.26/2095.56	c (1460,0) c |------------------------------------------------------------------------------------------------------------------------|
744.26/2095.56	c (1460,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.26/2095.56	c (1460,0) c |------------------------------------------------------------------------------------------------------------------------|
744.26/2095.56	c (1460,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.26/2095.56	c (1460,0) c 
744.26/2095.56	c (1460,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.26/2095.56	c (1460,0) c real: 1460.15 s, cpu: 56.1273 s, memory: 13185.59 Mb
744.27/2125.56	c (1490,0) c
744.27/2125.56	c (1490,0) c |------------------------------------------------------------------------------------------------------------------------|
744.27/2125.56	c (1490,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.27/2125.56	c (1490,0) c |------------------------------------------------------------------------------------------------------------------------|
744.27/2125.56	c (1490,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.27/2125.56	c (1490,0) c 
744.27/2125.56	c (1490,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.27/2125.56	c (1490,0) c real: 1490.15 s, cpu: 56.1279 s, memory: 13185.59 Mb
744.28/2154.56	c (1519,0) c
744.28/2154.56	c (1519,0) c |------------------------------------------------------------------------------------------------------------------------|
744.28/2154.56	c (1519,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.28/2154.56	c (1519,0) c |------------------------------------------------------------------------------------------------------------------------|
744.28/2154.56	c (1519,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.28/2154.56	c (1519,0) c 
744.28/2154.56	c (1519,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.28/2154.56	c (1519,0) c real: 1519.15 s, cpu: 56.1284 s, memory: 13185.59 Mb
744.29/2183.56	c (1548,0) c
744.29/2183.56	c (1548,0) c |------------------------------------------------------------------------------------------------------------------------|
744.29/2183.56	c (1548,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.29/2183.56	c (1548,0) c |------------------------------------------------------------------------------------------------------------------------|
744.29/2183.56	c (1548,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.29/2183.56	c (1548,0) c 
744.29/2183.56	c (1548,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.29/2183.56	c (1548,0) c real: 1548.15 s, cpu: 56.1289 s, memory: 13185.59 Mb
744.30/2212.56	c (1577,0) c
744.30/2212.56	c (1577,0) c |------------------------------------------------------------------------------------------------------------------------|
744.30/2212.56	c (1577,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.30/2212.56	c (1577,0) c |------------------------------------------------------------------------------------------------------------------------|
744.30/2212.56	c (1577,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.30/2212.56	c (1577,0) c 
744.30/2212.56	c (1577,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.30/2212.56	c (1577,0) c real: 1577.15 s, cpu: 56.1295 s, memory: 13185.59 Mb
744.32/2242.56	c (1607,0) c
744.32/2242.56	c (1607,0) c |------------------------------------------------------------------------------------------------------------------------|
744.32/2242.56	c (1607,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.32/2242.56	c (1607,0) c |------------------------------------------------------------------------------------------------------------------------|
744.32/2242.56	c (1607,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.32/2242.56	c (1607,0) c 
744.32/2242.56	c (1607,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.32/2242.56	c (1607,0) c real: 1607.15 s, cpu: 56.1295 s, memory: 13185.59 Mb
744.34/2272.56	c (1637,0) c
744.34/2272.56	c (1637,0) c |------------------------------------------------------------------------------------------------------------------------|
744.34/2272.56	c (1637,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.34/2272.56	c (1637,0) c |------------------------------------------------------------------------------------------------------------------------|
744.34/2272.56	c (1637,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.34/2272.56	c (1637,0) c 
744.34/2272.56	c (1637,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.34/2272.56	c (1637,0) c real: 1637.15 s, cpu: 56.1306 s, memory: 13185.59 Mb
744.34/2301.56	c (1666,0) c
744.34/2301.56	c (1666,0) c |------------------------------------------------------------------------------------------------------------------------|
744.34/2301.56	c (1666,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.34/2301.56	c (1666,0) c |------------------------------------------------------------------------------------------------------------------------|
744.34/2301.56	c (1666,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.34/2301.56	c (1666,0) c 
744.34/2301.56	c (1666,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.34/2301.56	c (1666,0) c real: 1666.15 s, cpu: 56.1306 s, memory: 13185.59 Mb
744.36/2330.56	c (1695,0) c
744.36/2330.56	c (1695,0) c |------------------------------------------------------------------------------------------------------------------------|
744.36/2330.56	c (1695,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.36/2330.56	c (1695,0) c |------------------------------------------------------------------------------------------------------------------------|
744.36/2330.56	c (1695,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.36/2330.56	c (1695,0) c 
744.36/2330.56	c (1695,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.36/2330.56	c (1695,0) c real: 1695.15 s, cpu: 56.1316 s, memory: 13185.59 Mb
744.36/2359.56	c (1724,0) c
744.36/2359.56	c (1724,0) c |------------------------------------------------------------------------------------------------------------------------|
744.36/2359.56	c (1724,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.36/2359.56	c (1724,0) c |------------------------------------------------------------------------------------------------------------------------|
744.36/2359.56	c (1724,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.36/2359.56	c (1724,0) c 
744.36/2359.56	c (1724,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.36/2359.56	c (1724,0) c real: 1724.15 s, cpu: 56.1316 s, memory: 13185.59 Mb
744.38/2389.56	c (1754,0) c
744.38/2389.56	c (1754,0) c |------------------------------------------------------------------------------------------------------------------------|
744.38/2389.56	c (1754,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.38/2389.56	c (1754,0) c |------------------------------------------------------------------------------------------------------------------------|
744.38/2389.56	c (1754,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.38/2389.56	c (1754,0) c 
744.38/2389.56	c (1754,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.38/2389.56	c (1754,0) c real: 1754.15 s, cpu: 56.1327 s, memory: 13185.59 Mb
744.40/2419.56	c (1784,0) c
744.40/2419.56	c (1784,0) c |------------------------------------------------------------------------------------------------------------------------|
744.40/2419.56	c (1784,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.40/2419.56	c (1784,0) c |------------------------------------------------------------------------------------------------------------------------|
744.40/2419.56	c (1784,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.40/2419.56	c (1784,0) c 
744.40/2419.56	c (1784,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.40/2419.56	c (1784,0) c real: 1784.15 s, cpu: 56.1327 s, memory: 13185.59 Mb
744.42/2448.56	c (1813,0) c
744.42/2448.56	c (1813,0) c |------------------------------------------------------------------------------------------------------------------------|
744.42/2448.56	c (1813,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.42/2448.56	c (1813,0) c |------------------------------------------------------------------------------------------------------------------------|
744.42/2448.56	c (1813,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.42/2448.56	c (1813,0) c 
744.42/2448.56	c (1813,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.42/2448.56	c (1813,0) c real: 1813.15 s, cpu: 56.1337 s, memory: 13185.59 Mb
744.43/2477.56	c (1842,0) c
744.43/2477.56	c (1842,0) c |------------------------------------------------------------------------------------------------------------------------|
744.43/2477.56	c (1842,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.43/2477.56	c (1842,0) c |------------------------------------------------------------------------------------------------------------------------|
744.43/2477.56	c (1842,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.43/2477.56	c (1842,0) c 
744.43/2477.56	c (1842,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.43/2477.56	c (1842,0) c real: 1842.15 s, cpu: 56.1337 s, memory: 13185.59 Mb
744.44/2506.56	c (1871,0) c
744.44/2506.56	c (1871,0) c |------------------------------------------------------------------------------------------------------------------------|
744.44/2506.56	c (1871,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.44/2506.56	c (1871,0) c |------------------------------------------------------------------------------------------------------------------------|
744.44/2506.56	c (1871,0) c |  0 |      0 |          0 |          0 |        0 |        0 |        0 |        0 |        0 |        0 |  20 |  0.000 |
744.44/2506.56	c (1871,0) c 
744.44/2506.56	c (1871,0) c synthesis           0 conflicts           6 propagations        0 conflicts/sec        0 propagations/sec
744.44/2506.56	c (1871,0) c real: 1871.15 s, cpu: 56.1349 s, memory: 13185.59 Mb
744.45/2520.01	c (1885,0) receiving signal SIGTERM
744.45/2520.01	s UNKNOWN
744.45/2520.01	c (scop.sh) Receiving Signal. Removing all intermediate files.
744.45/2520.01	c (scop.sh) Remove HOME/scop-11245-serial-file.bin.
744.45/2520.02	c (scop.sh) Killing background jobs.
744.45/2520.02	c (1885,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 (14865 MiB free)
  memory of node 1: 16384 MiB (15311 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100159 s]*
/proc/loadavg: 6.19 6.83 7.05 2/213 11267
/proc/meminfo: memFree=30809720/32770624 swapFree=66940940/67108860
[pid=11245] ppid=11242 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11245/stat : 11245 (scop.sh) S 11242 11245 6415 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 418731359 115843072 349 33554432000 4194304 5098028 140728678439008 140728678436264 140320626201212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34320384 140728678445860 140728678446188 140728678446188 140728678449101 0
/proc/11245/statm: 28282 349 296 221 0 87 0
[pid=11248] ppid=11245 vsize=27314120 memory=105320 CPUtime=0.1 cores=0-7
/proc/11248/stat : 11248 (java) S 11245 11245 6415 0 -1 1077944320 6466 0 0 0 8 2 0 0 20 0 20 0 418731359 27969658880 26330 33554432000 4194304 4196468 140721767354368 140721767336912 140143839936247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
/proc/11248/statm: 6828530 26330 2780 1 0 6790935 0
[pid=11248/tid=11249] ppid=11245 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11248/task/11249/stat : 11249 (java) R 11245 11245 6415 0 -1 4202560 4550 0 0 0 6 2 0 0 20 0 20 0 418731360 27969658880 26330 33554432000 4194304 4196468 140721767354368 140143811773088 140143839958173 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11250] ppid=11245 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11248/task/11250/stat : 11250 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 26330 33554432000 4194304 4196468 140721767354368 140143844179088 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11251] ppid=11245 vsize=27314120 memory=140461565437568 CPUtime=0 cores=0-7
/proc/11248/task/11251/stat : 11251 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 26330 33554432000 4194304 4196468 140721767354368 140143658335248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11252] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11252/stat : 11252 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 26330 33554432000 4194304 4196468 140721767354368 140143657282448 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11253] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11253/stat : 11253 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 26330 33554432000 4194304 4196468 140721767354368 140143656229648 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11254] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11254/stat : 11254 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 26330 33554432000 4194304 4196468 140721767354368 140143655176848 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11255] ppid=11245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11248/task/11255/stat : 11255 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 26395 33554432000 4194304 4196468 140721767354368 140143654124048 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11256] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11256/stat : 11256 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 26395 33554432000 4194304 4196468 140721767354368 140143653071248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11257] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11257/stat : 11257 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 26395 33554432000 4194304 4196468 140721767354368 140143652018448 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11258] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11258/stat : 11258 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 26395 33554432000 4194304 4196468 140721767354368 140142159301488 140143839947394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11259] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11259/stat : 11259 (java) S 11245 11245 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 26395 33554432000 4194304 4196468 140721767354368 140141628745248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11260] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11260/stat : 11260 (java) S 11245 11245 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 26395 33554432000 4194304 4196468 140721767354368 140141494523248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11261] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11261/stat : 11261 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 26395 33554432000 4194304 4196468 140721767354368 140141120018768 140143839954843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11262] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11262/stat : 11262 (java) S 11245 11245 6415 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 26395 33554432000 4194304 4196468 140721767354368 140142158248304 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11263] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11263/stat : 11263 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 26395 33554432000 4194304 4196468 140721767354368 140142157195504 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11264] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11264/stat : 11264 (java) R 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 26395 33554432000 4194304 4196468 140721767354368 140142156142704 140143839947394 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11265] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11265/stat : 11265 (java) S 11245 11245 6415 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 26395 33554432000 4194304 4196468 140721767354368 140142155089904 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11266] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11266/stat : 11266 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 26395 33554432000 4194304 4196468 140721767354368 140140622113888 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11267] ppid=11245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11248/task/11267/stat : 11267 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 26395 33554432000 4194304 4196468 140721767354368 140142154038320 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106716 KiB

[startup+0.210224 s]*
/proc/loadavg: 6.19 6.83 7.05 3/213 11267
/proc/meminfo: memFree=30786536/32770624 swapFree=66940940/67108860
[pid=11245] ppid=11242 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11245/stat : 11245 (scop.sh) S 11242 11245 6415 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 418731359 115843072 349 33554432000 4194304 5098028 140728678439008 140728678436264 140320626201212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34320384 140728678445860 140728678446188 140728678446188 140728678449101 0
/proc/11245/statm: 28282 349 296 221 0 87 0
[pid=11248] ppid=11245 vsize=27314120 memory=124648 CPUtime=0.24 cores=0-7
/proc/11248/stat : 11248 (java) S 11245 11245 6415 0 -1 1077944320 12102 0 0 0 20 4 0 0 20 0 20 0 418731359 27969658880 31162 33554432000 4194304 4196468 140721767354368 140721767336912 140143839936247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
/proc/11248/statm: 6828530 31162 2904 1 0 6790935 0
[pid=11248/tid=11249] ppid=11245 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11248/task/11249/stat : 11249 (java) R 11245 11245 6415 0 -1 4202560 9791 0 0 0 16 3 0 0 20 0 20 0 418731360 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143811735632 140143820211550 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11250] ppid=11245 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/11248/task/11250/stat : 11250 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143844179088 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11251] ppid=11245 vsize=27314120 memory=140461568518753 CPUtime=0 cores=0-7
/proc/11248/task/11251/stat : 11251 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143658335248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11252] ppid=11245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11248/task/11252/stat : 11252 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143657282448 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11253] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11253/stat : 11253 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143656229648 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11254] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11254/stat : 11254 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143655176848 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11255] ppid=11245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11248/task/11255/stat : 11255 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143654124048 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11256] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11256/stat : 11256 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143653071248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11257] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11257/stat : 11257 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 31162 33554432000 4194304 4196468 140721767354368 140143652018448 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11258] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11258/stat : 11258 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 31162 33554432000 4194304 4196468 140721767354368 140142159301488 140143839947394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11259] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11259/stat : 11259 (java) S 11245 11245 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 31162 33554432000 4194304 4196468 140721767354368 140141628745248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11260] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11260/stat : 11260 (java) S 11245 11245 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 31162 33554432000 4194304 4196468 140721767354368 140141494523248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11261] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11261/stat : 11261 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 31162 33554432000 4194304 4196468 140721767354368 140141120018768 140143839954843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11262] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11262/stat : 11262 (java) S 11245 11245 6415 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 31162 33554432000 4194304 4196468 140721767354368 140142158248304 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11263] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11263/stat : 11263 (java) S 11245 11245 6415 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 31162 33554432000 4194304 4196468 140721767354368 140142157195504 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11264] ppid=11245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11248/task/11264/stat : 11264 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 31162 33554432000 4194304 4196468 140721767354368 140142156142704 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11265] ppid=11245 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/11248/task/11265/stat : 11265 (java) S 11245 11245 6415 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 20 0 418731367 27969658880 31162 33554432000 4194304 4196468 140721767354368 140142155089904 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11266] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11266/stat : 11266 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 31162 33554432000 4194304 4196468 140721767354368 140140622113888 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11267] ppid=11245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11248/task/11267/stat : 11267 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 31162 33554432000 4194304 4196468 140721767354368 140142154038320 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126044 KiB

[startup+0.309719 s]*
/proc/loadavg: 6.19 6.83 7.05 2/213 11267
/proc/meminfo: memFree=30783620/32770624 swapFree=66940940/67108860
[pid=11245] ppid=11242 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11245/stat : 11245 (scop.sh) S 11242 11245 6415 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 418731359 115843072 349 33554432000 4194304 5098028 140728678439008 140728678436264 140320626201212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34320384 140728678445860 140728678446188 140728678446188 140728678449101 0
/proc/11245/statm: 28282 349 296 221 0 87 0
[pid=11248] ppid=11245 vsize=27314120 memory=128252 CPUtime=0.42 cores=0-7
/proc/11248/stat : 11248 (java) S 11245 11245 6415 0 -1 1077944320 12463 0 0 0 38 4 0 0 20 0 20 0 418731359 27969658880 32063 33554432000 4194304 4196468 140721767354368 140721767336912 140143839936247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
/proc/11248/statm: 6828530 32063 3001 1 0 6790935 0
[pid=11248/tid=11249] ppid=11245 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11248/task/11249/stat : 11249 (java) R 11245 11245 6415 0 -1 4202560 9978 0 0 0 26 3 0 0 20 0 20 0 418731360 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143811762272 140143825101800 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11250] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11250/stat : 11250 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143844179088 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11251] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11251/stat : 11251 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143658335248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11252] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11252/stat : 11252 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143657282448 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11253] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11253/stat : 11253 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143656229648 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11254] ppid=11245 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/11248/task/11254/stat : 11254 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143655176848 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11255] ppid=11245 vsize=27314120 memory=140461402583983 CPUtime=0 cores=0-7
/proc/11248/task/11255/stat : 11255 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143654124048 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11256] ppid=11245 vsize=27314120 memory=140461402586288 CPUtime=0 cores=0-7
/proc/11248/task/11256/stat : 11256 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143653071248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11257] ppid=11245 vsize=27314120 memory=140461402588592 CPUtime=0 cores=0-7
/proc/11248/task/11257/stat : 11257 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27969658880 32063 33554432000 4194304 4196468 140721767354368 140143652018448 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11258] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11258/stat : 11258 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 32063 33554432000 4194304 4196468 140721767354368 140142159301488 140143839947394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11259] ppid=11245 vsize=27314120 memory=280922805184144 CPUtime=0 cores=0-7
/proc/11248/task/11259/stat : 11259 (java) S 11245 11245 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 32063 33554432000 4194304 4196468 140721767354368 140141628745248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11260] ppid=11245 vsize=27314120 memory=280922805191056 CPUtime=0 cores=0-7
/proc/11248/task/11260/stat : 11260 (java) S 11245 11245 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418731364 27969658880 32063 33554432000 4194304 4196468 140721767354368 140141494523248 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11261] ppid=11245 vsize=27314120 memory=280922805132208 CPUtime=0 cores=0-7
/proc/11248/task/11261/stat : 11261 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 32063 33554432000 4194304 4196468 140721767354368 140141120018768 140143839954843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11262] ppid=11245 vsize=27314120 memory=280922805204880 CPUtime=0.01 cores=0-7
/proc/11248/task/11262/stat : 11262 (java) S 11245 11245 6415 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 418731367 27969658880 32063 33554432000 4194304 4196468 140721767354368 140142158248304 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11263] ppid=11245 vsize=27314120 memory=280922805211792 CPUtime=0 cores=0-7
/proc/11248/task/11263/stat : 11263 (java) S 11245 11245 6415 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 32063 33554432000 4194304 4196468 140721767354368 140142157195504 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11264] ppid=11245 vsize=27314120 memory=280922805209488 CPUtime=0.01 cores=0-7
/proc/11248/task/11264/stat : 11264 (java) R 11245 11245 6415 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 20 0 418731367 27969658880 32063 33554432000 4194304 4196468 140721767354368 140142156142704 140143821460498 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11265] ppid=11245 vsize=27314120 memory=280922805225648 CPUtime=0.07 cores=0-7
/proc/11248/task/11265/stat : 11265 (java) S 11245 11245 6415 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 20 0 418731367 27969658880 32063 33554432000 4194304 4196468 140721767354368 140142155089904 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11266] ppid=11245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11266/stat : 11266 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 32063 33554432000 4194304 4196468 140721767354368 140140622113888 140143839946453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11267] ppid=11245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11248/task/11267/stat : 11267 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731367 27969658880 32063 33554432000 4194304 4196468 140721767354368 140142154038320 140143839947394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129648 KiB

[startup+0.700911 s]
/proc/loadavg: 6.19 6.83 7.05 2/213 11267
/proc/meminfo: memFree=30762836/32770624 swapFree=66940940/67108860
[pid=11245] ppid=11242 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11245/stat : 11245 (scop.sh) S 11242 11245 6415 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 418731359 115843072 349 33554432000 4194304 5098028 140728678439008 140728678436264 140320626201212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34320384 140728678445860 140728678446188 140728678446188 140728678449101 0
/proc/11245/statm: 28282 349 296 221 0 87 0
[pid=11248] ppid=11245 vsize=27320392 memory=163408 CPUtime=1.01 cores=0-7
/proc/11248/stat : 11248 (java) S 11245 11245 6415 0 -1 1077944320 20035 0 0 0 94 7 0 0 20 0 20 0 418731359 27976081408 40852 33554432000 4194304 4196468 140721767354368 140721767336912 140143839936247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
/proc/11248/statm: 6830098 40852 3184 1 0 6791447 0
[pid=11248/tid=11249] ppid=11245 vsize=27320392 memory=280922805583536 CPUtime=0.67 cores=0-7
/proc/11248/task/11249/stat : 11249 (java) R 11245 11245 6415 0 -1 4202560 16892 0 0 0 62 5 0 0 20 0 20 0 418731360 27976081408 40852 33554432000 4194304 4196468 140721767354368 140143811773584 140143839948182 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11250] ppid=11245 vsize=27320392 memory=140461402792816 CPUtime=0 cores=0-7
/proc/11248/task/11250/stat : 11250 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418731362 27976081408 40852 33554432000 4194304 4196468 140721767354368 140143844179088 140143839946453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11251] ppid=11245 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11248/task/11251/stat : 11251 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418731362 27976081408 40852 33554432000 4194304 4196468 140721767354368 140143658335248 140143839946453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0
[pid=11248/tid=11252] ppid=11245 vsize=27320392 memory=5980 CPUtime=0 cores=0-7
/proc/11248/task/11252/stat : 11252 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418731362 27976081408 40852 33554432000 4194304 4196468 140721767354368 140143657282448 140143839946453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32276480 140721767363306 140721767363734 140721767363734 140721767366607 0

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

/proc/11313/task/11333/stat : 11333 (java) S 11245 11245 6415 0 -1 1077944384 123 0 0 0 23 36 0 0 20 0 24 0 418794787 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029762927792 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11335] ppid=11245 vsize=8414124 memory=7686721470283880596 CPUtime=0 cores=0-7
/proc/11313/task/11335/stat : 11335 (java) S 11245 11245 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418794900 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029759182272 140030339206937 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11337] ppid=11245 vsize=8414124 memory=2112 CPUtime=0.03 cores=0-7
/proc/11313/task/11337/stat : 11337 (java) S 11245 11245 6415 0 -1 4202560 1734 0 0 0 2 1 0 0 20 0 24 0 418794900 8616062976 38615 33554432000 4194304 4196468 140730833461584 140026805468848 140030339204253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11338] ppid=11245 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/11313/task/11338/stat : 11338 (java) S 11245 11245 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418794900 8616062976 38615 33554432000 4194304 4196468 140730833461584 140027073904304 140030339204253 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11339] ppid=11245 vsize=8414124 memory=24032 CPUtime=0 cores=0-7
/proc/11313/task/11339/stat : 11339 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418794903 8616062976 38615 33554432000 4194304 4196468 140730833461584 140026537040816 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
Current children cumulated CPU time: 744.44 s
Current children cumulated vsize: 22029288 KiB
Current children cumulated memory: 10234916 KiB
heavy processes:



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 0.07 0.03 0.58 1/216 11504
/proc/meminfo: memFree=17149832/32770624 swapFree=66940944/67108860
[pid=11245] ppid=11242 vsize=113128 memory=1476 CPUtime=679.8 cores=0-7
/proc/11245/stat : 11245 (scop.sh) S 11242 11245 6415 0 -1 4202496 582 168633 0 0 0 0 66335 1645 20 0 1 0 418731359 115843072 369 33554432000 4194304 5098028 140728678439008 140728678435752 140320626201212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34320384 140728678445860 140728678446188 140728678446188 140728678449101 0
/proc/11245/statm: 28282 369 311 221 0 87 0
[pid=11313] ppid=11245 vsize=8414124 memory=154460 CPUtime=3.08 cores=0-7
/proc/11313/stat : 11313 (java) S 11245 11245 6415 0 -1 1077944320 24183 0 0 0 242 66 0 0 20 0 24 0 418794779 8616062976 38615 33554432000 4194304 4196468 140730833461584 140730833444128 140030339182327 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
/proc/11313/statm: 2103531 38615 3228 1 0 2064875 0
[pid=11334] ppid=11313 vsize=13502036 memory=10078980 CPUtime=61.57 cores=0-7
/proc/11334/stat : 11334 (manyglucose-4.1) S 11313 11245 6415 0 -1 1077944320 3201344 0 0 0 5613 544 0 0 20 0 1 0 418794900 13826084864 2519745 33554432000 4194304 4454172 140733081674944 140733081673344 139901487127170 0 4 0 8388610 18446744071579849748 0 0 17 6 0 0 0 0 0 6552832 6554400 18530304 140733081682793 140733081682992 140733081682992 140733081685946 0
/proc/11334/statm: 3375509 2519745 377 64 0 3371177 0
[pid=11313/tid=11314] ppid=11245 vsize=8414124 memory=7686721470283880596 CPUtime=1.23 cores=0-7
/proc/11313/task/11314/stat : 11314 (java) S 11245 11245 6415 0 -1 1077944384 17429 0 0 0 95 28 0 0 20 0 24 0 418794780 8616062976 38615 33554432000 4194304 4196468 140730833461584 140030311022496 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11315] ppid=11245 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11313/task/11315/stat : 11315 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418794781 8616062976 38615 33554432000 4194304 4196468 140730833461584 140030343425040 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11316] ppid=11245 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/11313/task/11316/stat : 11316 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418794781 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029824236688 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11317] ppid=11245 vsize=8414124 memory=11568 CPUtime=0 cores=0-7
/proc/11313/task/11317/stat : 11317 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418794781 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029823183632 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11318] ppid=11245 vsize=8414124 memory=1532 CPUtime=0 cores=0-7
/proc/11313/task/11318/stat : 11318 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418794781 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029822131088 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11319] ppid=11245 vsize=8414124 memory=1088 CPUtime=0 cores=0-7
/proc/11313/task/11319/stat : 11319 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418794781 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029821078032 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11320] ppid=11245 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/11313/task/11320/stat : 11320 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418794781 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029820025488 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11321] ppid=11245 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/11313/task/11321/stat : 11321 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418794781 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029818972432 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11322] ppid=11245 vsize=8414124 memory=5980 CPUtime=0 cores=0-7
/proc/11313/task/11322/stat : 11322 (java) S 11245 11245 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418794781 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029817919888 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11323] ppid=11245 vsize=8414124 memory=624 CPUtime=0.02 cores=0-7
/proc/11313/task/11323/stat : 11323 (java) S 11245 11245 6415 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 24 0 418794783 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029768190704 140030339193474 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11324] ppid=11245 vsize=8414124 memory=3996 CPUtime=0 cores=0-7
/proc/11313/task/11324/stat : 11324 (java) S 11245 11245 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418794783 8616062976 38615 33554432000 4194304 4196468 140730833461584 140028617418400 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11325] ppid=11245 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/11313/task/11325/stat : 11325 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418794783 8616062976 38615 33554432000 4194304 4196468 140730833461584 140028348982512 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11326] ppid=11245 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/11313/task/11326/stat : 11326 (java) S 11245 11245 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418794786 8616062976 38615 33554432000 4194304 4196468 140730833461584 140027974474192 140030339200923 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11327] ppid=11245 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7
/proc/11313/task/11327/stat : 11327 (java) S 11245 11245 6415 0 -1 1077944384 960 0 0 0 27 0 0 0 20 0 24 0 418794786 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029767137520 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11328] ppid=11245 vsize=8414124 memory=-8253362762722141311 CPUtime=0.3 cores=0-7
/proc/11313/task/11328/stat : 11328 (java) S 11245 11245 6415 0 -1 1077944384 648 0 0 0 29 1 0 0 20 0 24 0 418794786 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029766084976 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11330] ppid=11245 vsize=8414124 memory=-8412656567318647667 CPUtime=0.25 cores=0-7
/proc/11313/task/11330/stat : 11330 (java) S 11245 11245 6415 0 -1 1077944384 591 0 0 0 24 1 0 0 20 0 24 0 418794786 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029765031920 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11331] ppid=11245 vsize=8414124 memory=-8707038579349950309 CPUtime=0.3 cores=0-7
/proc/11313/task/11331/stat : 11331 (java) S 11245 11245 6415 0 -1 1077944384 1302 0 0 0 30 0 0 0 20 0 24 0 418794786 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029763979376 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11332] ppid=11245 vsize=8414124 memory=8514701219730522529 CPUtime=0 cores=0-7
/proc/11313/task/11332/stat : 11332 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418794786 8616062976 38615 33554432000 4194304 4196468 140730833461584 140027476569056 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11333] ppid=11245 vsize=8414124 memory=8514726395714825349 CPUtime=0.6 cores=0-7
/proc/11313/task/11333/stat : 11333 (java) S 11245 11245 6415 0 -1 1077944384 125 0 0 0 24 36 0 0 20 0 24 0 418794787 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029762927792 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11335] ppid=11245 vsize=8414124 memory=-8341965534556230502 CPUtime=0 cores=0-7
/proc/11313/task/11335/stat : 11335 (java) S 11245 11245 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418794900 8616062976 38615 33554432000 4194304 4196468 140730833461584 140029759182272 140030339206937 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11337] ppid=11245 vsize=8414124 memory=9047017150487036571 CPUtime=0.03 cores=0-7
/proc/11313/task/11337/stat : 11337 (java) S 11245 11245 6415 0 -1 4202560 1734 0 0 0 2 1 0 0 20 0 24 0 418794900 8616062976 38615 33554432000 4194304 4196468 140730833461584 140026805468848 140030339204253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11338] ppid=11245 vsize=8414124 memory=4427205132082312746 CPUtime=0 cores=0-7
/proc/11313/task/11338/stat : 11338 (java) S 11245 11245 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418794900 8616062976 38615 33554432000 4194304 4196468 140730833461584 140027073904304 140030339204253 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11339] ppid=11245 vsize=8414124 memory=-7023579799431922829 CPUtime=0 cores=0-7
/proc/11313/task/11339/stat : 11339 (java) S 11245 11245 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418794903 8616062976 38615 33554432000 4194304 4196468 140730833461584 140026537040816 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
Current children cumulated CPU time: 744.45 s
Current children cumulated vsize: 22029288 KiB
Current children cumulated memory: 10234916 KiB
heavy processes:

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

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

[startup+2520.83 s]
# the end of solver process 11313 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=721.92 s, system=23.4146 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.07 0.03 0.58 2/217 11508
/proc/meminfo: memFree=19118008/32770624 swapFree=66940944/67108860
[pid=11313] ppid=11242 vsize=8545196 memory=164688 CPUtime=65.04 cores=0-7
/proc/11313/stat : 11313 (java) S 11242 11245 6415 0 -1 1077944320 24220 3201344 0 0 242 69 5613 580 20 0 23 0 418794779 8750280704 41172 33554432000 4194304 4196468 140730833461584 140730833444128 140030339182327 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
/proc/11313/statm: 2136299 41172 3229 1 0 2097643 0
[pid=11313/tid=11314] ppid=11242 vsize=8545196 memory=1436 CPUtime=63.16 cores=0-7
/proc/11313/task/11314/stat : 11314 (java) S 11242 11245 6415 0 -1 1077944384 17429 3201344 0 0 95 28 5613 580 20 0 23 0 418794780 8750280704 41172 33554432000 4194304 4196468 140730833461584 140030311022496 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11315] ppid=11242 vsize=8545196 memory=6791534058613427641 CPUtime=61.93 cores=0-7
/proc/11313/task/11315/stat : 11315 (java) S 11242 11245 6415 0 -1 1077944384 1 3201344 0 0 0 0 5613 580 20 0 23 0 418794781 8750280704 41172 33554432000 4194304 4196468 140730833461584 140030343425040 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11316] ppid=11242 vsize=8545196 memory=154460 CPUtime=61.93 cores=0-7
/proc/11313/task/11316/stat : 11316 (java) S 11242 11245 6415 0 -1 1077944384 1 3201344 0 0 0 0 5613 580 20 0 23 0 418794781 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029824236688 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11317] ppid=11242 vsize=8545196 memory=10078980 CPUtime=61.93 cores=0-7
/proc/11313/task/11317/stat : 11317 (java) S 11242 11245 6415 0 -1 1077944384 3 3201344 0 0 0 0 5613 580 20 0 23 0 418794781 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029823183632 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11318] ppid=11242 vsize=8545196 memory=532 CPUtime=61.93 cores=0-7
/proc/11313/task/11318/stat : 11318 (java) S 11242 11245 6415 0 -1 1077944384 2 3201344 0 0 0 0 5613 580 20 0 23 0 418794781 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029822131088 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11319] ppid=11242 vsize=8545196 memory=928 CPUtime=61.93 cores=0-7
/proc/11313/task/11319/stat : 11319 (java) S 11242 11245 6415 0 -1 1077944384 1 3201344 0 0 0 0 5613 580 20 0 23 0 418794781 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029821078032 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11320] ppid=11242 vsize=8545196 memory=1720 CPUtime=61.93 cores=0-7
/proc/11313/task/11320/stat : 11320 (java) S 11242 11245 6415 0 -1 1077944384 2 3201344 0 0 0 0 5613 580 20 0 23 0 418794781 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029820025488 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11321] ppid=11242 vsize=8545196 memory=1976 CPUtime=61.93 cores=0-7
/proc/11313/task/11321/stat : 11321 (java) S 11242 11245 6415 0 -1 1077944384 1 3201344 0 0 0 0 5613 580 20 0 23 0 418794781 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029818972432 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11322] ppid=11242 vsize=8545196 memory=800 CPUtime=61.93 cores=0-7
/proc/11313/task/11322/stat : 11322 (java) S 11242 11245 6415 0 -1 1077944384 2 3201344 0 0 0 0 5613 580 20 0 23 0 418794781 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029817919888 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11323] ppid=11242 vsize=8545196 memory=1764 CPUtime=61.95 cores=0-7
/proc/11313/task/11323/stat : 11323 (java) S 11242 11245 6415 0 -1 1077944384 13 3201344 0 0 1 1 5613 580 20 0 23 0 418794783 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029768190208 140030339193474 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11324] ppid=11242 vsize=8545196 memory=111628 CPUtime=61.93 cores=0-7
/proc/11313/task/11324/stat : 11324 (java) S 11242 11245 6415 0 -1 1077944384 13 3201344 0 0 0 0 5613 580 20 0 23 0 418794783 8750280704 41172 33554432000 4194304 4196468 140730833461584 140028617418400 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11325] ppid=11242 vsize=8545196 memory=800 CPUtime=61.93 cores=0-7
/proc/11313/task/11325/stat : 11325 (java) S 11242 11245 6415 0 -1 1077944384 1 3201344 0 0 0 0 5613 580 20 0 23 0 418794783 8750280704 41172 33554432000 4194304 4196468 140730833461584 140028348982512 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11326] ppid=11242 vsize=8545196 memory=1804 CPUtime=61.93 cores=0-7
/proc/11313/task/11326/stat : 11326 (java) S 11242 11245 6415 0 -1 1077944384 29 3201344 0 0 0 0 5613 580 20 0 23 0 418794786 8750280704 41172 33554432000 4194304 4196468 140730833461584 140027974473248 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11327] ppid=11242 vsize=8545196 memory=920 CPUtime=62.2 cores=0-7
/proc/11313/task/11327/stat : 11327 (java) S 11242 11245 6415 0 -1 1077944384 960 3201344 0 0 27 0 5613 580 20 0 23 0 418794786 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029767137520 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11328] ppid=11242 vsize=8545196 memory=4492 CPUtime=62.23 cores=0-7
/proc/11313/task/11328/stat : 11328 (java) S 11242 11245 6415 0 -1 1077944384 648 3201344 0 0 29 1 5613 580 20 0 23 0 418794786 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029766084976 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11330] ppid=11242 vsize=8545196 memory=4104 CPUtime=62.18 cores=0-7
/proc/11313/task/11330/stat : 11330 (java) S 11242 11245 6415 0 -1 1077944384 591 3201344 0 0 24 1 5613 580 20 0 23 0 418794786 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029765031920 140030339193474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11331] ppid=11242 vsize=8545196 memory=1412 CPUtime=62.23 cores=0-7
/proc/11313/task/11331/stat : 11331 (java) S 11242 11245 6415 0 -1 1077944384 1303 3201344 0 0 30 0 5613 580 20 0 23 0 418794786 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029763978272 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11332] ppid=11242 vsize=8545196 memory=3680 CPUtime=61.93 cores=0-7
/proc/11313/task/11332/stat : 11332 (java) S 11242 11245 6415 0 -1 1077944384 3 3201344 0 0 0 0 5613 580 20 0 23 0 418794786 8750280704 41172 33554432000 4194304 4196468 140730833461584 140027476569056 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11335] ppid=11242 vsize=8545196 memory=-7671714558416439750 CPUtime=61.93 cores=0-7
/proc/11313/task/11335/stat : 11335 (java) S 11242 11245 6415 0 -1 1077944384 24 3201344 0 0 0 0 5613 580 20 0 23 0 418794900 8750280704 41172 33554432000 4194304 4196468 140730833461584 140029759181280 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11339] ppid=11242 vsize=8545196 memory=14698482732632482 CPUtime=61.93 cores=0-7
/proc/11313/task/11339/stat : 11339 (java) S 11242 11245 6415 0 -1 1077944384 3 3201344 0 0 0 0 5613 580 20 0 23 0 418794903 8750280704 41172 33554432000 4194304 4196468 140730833461584 140026537031072 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11505] ppid=11242 vsize=8545196 memory=1556 CPUtime=61.95 cores=0-7
/proc/11313/task/11505/stat : 11505 (java) R 11242 11245 6415 0 -1 4202560 2 3201344 0 0 0 2 5613 580 20 0 23 0 418983361 8750280704 41172 33554432000 4194304 4196468 140730833461584 140026268607136 140030331867959 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
[pid=11313/tid=11508] ppid=11242 vsize=8545196 memory=5859535235326444939 CPUtime=61.93 cores=0-7
/proc/11313/task/11508/stat : 11508 (java) S 11242 11245 6415 0 -1 1077944384 2 3201344 0 0 0 0 5613 580 20 0 23 0 418983362 8750280704 41172 33554432000 4194304 4196468 140730833461584 140026000171472 140030339192533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140730833470455 140730833470614 140730833470614 140730833473487 0
Current cumulated CPU time of completed processes: 679.822 s
Current children cumulated CPU time: 65.04 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 164688 KiB

[startup+2520.81 s]
/proc/loadavg: 0.07 0.03 0.58 2/192 11508
/proc/meminfo: memFree=29815332/32770624 swapFree=66940944/67108860
Current cumulated CPU time of completed processes: 679.822 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.83
CPU time (s): 745.335
CPU user time (s): 721.92
CPU system time (s): 23.4146
CPU usage (%): 29.5671
Max. virtual memory (cumulated for all children) (KiB): 28361008
Max. memory (cumulated for all children) (KiB): 14181636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 721.92
system time used= 23.4146
maximum resident set size= 14030924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3395281
page faults= 0
swaps= 0
block input operations= 136
block output operations= 6836472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73293
involuntary context switches= 1675


# summary of solver processes directly reported to runsolver:
#   pid: 11245,11313
#   total CPU time (s): 745.335
#   total CPU user time (s): 721.92
#   total CPU system time (s): 23.4146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1295 second user time and 25.8674 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 03:34:49
IDJOB=4392745
IDBENCH=125570
IDSOLVER=2839
FILE ID=node149/4392745-1568424927
RUNJOBID= node149-1568416730-6442
PBS_JOBID= 21702252
Free space on /tmp= 61424 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392745-1568424927/watcher-4392745-1568424927 -o /tmp/evaluation-result-4392745-1568424927/solver-4392745-1568424927 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392745-1568424927.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=2133145587

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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:        30901132 kB
MemAvailable:   31858428 kB
Buffers:          177960 kB
Cached:          1079580 kB
SwapCached:        61308 kB
Active:           604116 kB
Inactive:         715676 kB
Active(anon):      29576 kB
Inactive(anon):    72460 kB
Active(file):     574540 kB
Inactive(file):   643216 kB
Unevictable:      111252 kB
Mlocked:          111252 kB
SwapTotal:      67108860 kB
SwapFree:       66940940 kB
Dirty:             20804 kB
Writeback:             0 kB
AnonPages:        112996 kB
Mapped:            44328 kB
Shmem:             31364 kB
Slab:             140048 kB
SReclaimable:     110752 kB
SUnreclaim:        29296 kB
KernelStack:        3856 kB
PageTables:         6000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498576 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 04:16:50