Trace number 4307504

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
scop both+glucose-syrup (2018-07-31)UNSAT 307.707 40.3542

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl10-11_c18.xml
MD5SUM0cb6e3dc45605db1284c892a60e68314
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark238.89
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of constraints42
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":220}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":220}]
Minimum constraint arity10
Maximum constraint arity11
Distribution of constraint arities[{"arity":10,"count":22},{"arity":11,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":42}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-14071-serial-file.bin HOME/instance-4307504-1534187751.xml
0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Mon Aug 13 21:15:52 CEST 2018
0.65/0.56	c PID: 14074
0.65/0.56	c IP: 172.20.3.136
0.65/0.56	c HOST: node136.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.37/0.92	c (0,0) Parsing End
1.37/0.93	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.37/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.93	c (0,0) Constraint Name Generate Begin
1.37/0.93	c (0,0) Ctr:HOME/instance-4307504-1534187751.xml,IntVar:Num:WeightedSum
1.37/0.93	c (0,0) Constraint Name Generate End
1.37/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.93	c (0,0) CSP to CSPinCNF Begin
1.56/1.04	c (0,0) translated 5 (10%) constraints
1.56/1.05	c (0,0) translated 9 (20%) constraints
1.56/1.06	c (0,0) translated 13 (30%) constraints
1.56/1.07	c (0,0) translated 17 (40%) constraints
1.56/1.08	c (0,0) translated 21 (50%) constraints
1.56/1.09	c (0,0) translated 26 (60%) constraints
1.56/1.10	c (0,0) translated 30 (70%) constraints
1.56/1.10	c (0,0) translated 34 (80%) constraints
1.83/1.11	c (0,0) translated 38 (90%) constraints
1.83/1.11	c (0,0) translated 42 (100%) constraints
1.83/1.15	c (0,0) STATISTICS1:HOME/instance-4307504-1534187751.xml,IntVar:Num:WeightedSum,220,42,1024,2,1,11,1024:20;512:22,2:440,1:42,11:20;10:22,
1.83/1.15	c (0,0) ==========================================
1.83/1.15	c (0,0) Both Encoding selects:
1.83/1.15	c (0,0) Log
1.83/1.15	c (0,0) ==========================================
1.83/1.16	c (0,0) translated 5 (10%) constraints
1.83/1.16	c (0,0) translated 9 (20%) constraints
1.83/1.16	c (0,0) translated 13 (30%) constraints
1.83/1.17	c (0,0) translated 17 (40%) constraints
1.83/1.17	c (0,0) translated 21 (50%) constraints
1.83/1.17	c (0,0) translated 26 (60%) constraints
1.83/1.17	c (0,0) translated 30 (70%) constraints
1.83/1.17	c (0,0) translated 34 (80%) constraints
1.83/1.18	c (0,0) translated 38 (90%) constraints
1.83/1.18	c (0,0) translated 42 (100%) constraints
1.83/1.18	c (0,0) CSP to CSPinCNF End
1.83/1.18	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.83/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.83/1.18	c (0,0) CSPinCNF Propagation Begin
2.11/1.20	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.11/1.20	c (0,0) CSPinCNF Propagation End
2.11/1.20	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.11/1.20	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.11/1.20	c (0,0) Simplify CSPinCNF Begin
2.11/1.20	c (0,0) Simplify CSPinCNF End
2.11/1.20	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.11/1.20	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.11/1.20	c (0,0) Calculate Precise Domain Begin
2.11/1.20	c (0,0) 0 values are removed by re-calculation
2.11/1.20	c (0,0) Calculate Precise Domain End
2.11/1.20	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.11/1.20	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.11/1.21	c (0,0) CSPinCNF to SatSolver Begin
2.11/1.27	c (0,0) 5 (10 %) CSP clauses are being encoded (260 SAT variables, 44 SAT clauses)
2.11/1.28	c (0,0) 9 (20 %) CSP clauses are being encoded (300 SAT variables, 88 SAT clauses)
2.11/1.28	c (0,0) 13 (30 %) CSP clauses are being encoded (340 SAT variables, 132 SAT clauses)
2.11/1.29	c (0,0) 17 (40 %) CSP clauses are being encoded (380 SAT variables, 176 SAT clauses)
2.11/1.29	c (0,0) 21 (50 %) CSP clauses are being encoded (420 SAT variables, 220 SAT clauses)
2.37/1.30	c (0,0) 26 (60 %) CSP clauses are being encoded (500 SAT variables, 413 SAT clauses)
2.37/1.31	c (0,0) 30 (70 %) CSP clauses are being encoded (580 SAT variables, 641 SAT clauses)
2.37/1.32	c (0,0) 34 (80 %) CSP clauses are being encoded (660 SAT variables, 869 SAT clauses)
2.37/1.32	c (0,0) 38 (90 %) CSP clauses are being encoded (740 SAT variables, 1097 SAT clauses)
2.37/1.33	c (0,0) 42 (100 %) CSP clauses are being encoded (820 SAT variables, 1325 SAT clauses)
2.37/1.33	c (0,0) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
2.37/1.33	c (0,0) CSPinCNF to SatSolver End
2.37/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.37/1.34	c (0,0) STATISTICS2:HOME/instance-4307504-1534187751.xml,IntVar:Num:WeightedSum,220,42,1024,2,1,11,1024:20;512:22,2:440,1:42,11:20;10:22,
2.37/1.34	c (0,0) 840 bool, 1382 clause
2.37/1.34	c (0,0) Export Begin
2.60/1.46	c (0,0) Export to HOME/scop-14071-serial-file.bin
2.60/1.46	c (0,0) Export End
2.60/1.46	c (0,0) Export File Size: 0.08 MB
2.60/1.46	c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.60/1.46	c END-Prog: Mon Aug 13 21:15:53 CEST 2018
2.60/1.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-14071-serial-file.bin
2.76/1.97	c (0,0) Read Serial File Begin
2.76/1.97	c (0,0) HOME/scop-14071-serial-file.bin
3.61/2.17	c (0,0) Read Serial File End
3.61/2.18	
3.61/2.18	scop log+glucose-syrup (2018-07-31)
3.61/2.18	(Solving Process)
3.61/2.18	
3.85/2.21	c BEGIN-Prog: Mon Aug 13 21:15:54 CEST 2018
3.85/2.21	c PID: 14094
3.85/2.21	c IP: 172.20.3.136
3.85/2.21	c HOST: node136.alineos.net
3.85/2.21	c (0,0) SatSolver.solve Begin
3.85/2.21	c (0,0) 0 bool, 0 clause
3.85/2.21	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307504-1534187751.xml-scop-14074.cnf
72.96/10.97	c (9,0) c
72.96/10.97	c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
72.96/10.97	c (9,0) c
72.96/10.97	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
72.96/10.97	c (9,0) c 8 solvers engines and 1 companion as a blackboard created.
72.96/10.97	c (9,0) c ========================================[ Problem Statistics ]===========================================
72.96/10.97	c (9,0) c |                                                                                                       |
72.96/10.97	c (9,0) c |  Number of variables:           840                                                                   |
72.96/10.97	c (9,0) c |  Number of clauses:            1340                                                                   |
72.96/10.97	c (9,0) c |  Parse time:                   0.00 s                                                                 |
72.96/10.99	c (9,0) c |                                                                                                       |
72.96/10.99	c (9,0) c |  Eliminated clauses:           0.01 Mb                                                                |
72.96/10.99	c (9,0) c |  Simplification time:          0.00 s                                                                 |
72.96/10.99	c (9,0) c |                                                                                                       |
72.96/10.99	c (9,0) c |  Generating clones                                                                                    |
72.96/10.99	c (9,0) c |  all clones generated. Memory =  27.25Mb.                                                             |
72.96/10.99	c (9,0) c ========================================================================================================|
72.96/10.99	c (9,0) c
72.96/10.99	c (9,0) c |-------------------------------------------------------------------------------------------------------|
72.96/10.99	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
72.96/10.99	c (9,0) c |-------------------------------------------------------------------------------------------------------|
72.96/10.99	c (9,0) c |  0 |    113 |      67352 |      55433 |      392 |    16883 |     7885 |    52559 |     5237 |  5.001 |
72.96/10.99	c (9,0) c |  1 |    162 |      70759 |      56822 |      397 |    18285 |     7148 |    51694 |     6234 |  5.003 |
72.96/10.99	c (9,0) c |  2 |    151 |      67482 |      54096 |      397 |    15552 |     7876 |    52440 |     5350 |  5.003 |
72.96/10.99	c (9,0) c |  3 |     84 |      65268 |      54201 |      397 |    15652 |     8218 |    43541 |     4513 |  5.003 |
72.96/10.99	c (9,0) c |  4 |    166 |      63680 |      50709 |      395 |    24611 |     5979 |    54476 |     5969 |  5.000 |
72.96/10.99	c (9,0) c |  5 |    184 |      68754 |      54285 |      399 |    15743 |     7109 |    53027 |     6251 |  5.002 |
72.96/10.99	c (9,0) c |  6 |     98 |      67587 |      55799 |      399 |    17253 |     9321 |    51109 |     5296 |  5.002 |
72.96/10.99	c (9,0) c |  7 |    216 |      66335 |      51493 |      391 |    12953 |     6934 |    53500 |     5795 |  5.000 |
72.96/10.99	c (9,0) c 
72.96/10.99	c (9,0) c synthesis      432838 conflicts    10750580 propagations    11548 conflicts/sec   286834 propagations/sec
72.96/10.99	c (9,0) c Total Memory so far : 613.89Mb
72.96/10.99	c (9,0) c
72.96/10.99	c (9,0) c |-------------------------------------------------------------------------------------------------------|
72.96/10.99	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
72.96/10.99	c (9,0) c |-------------------------------------------------------------------------------------------------------|
72.96/10.99	c (9,0) c |  0 |    164 |      98797 |      82464 |      392 |    28888 |    10084 |    67372 |     8945 |  5.000 |
72.96/10.99	c (9,0) c |  1 |    230 |     105612 |      86271 |      397 |    32706 |     9635 |    68053 |     9743 |  5.000 |
72.96/10.99	c (9,0) c |  2 |    215 |      97856 |      79542 |      397 |    25972 |     9756 |    69319 |     8627 |  5.000 |
72.96/10.99	c (9,0) c |  3 |    101 |      95831 |      81585 |      397 |    28010 |    11658 |    63339 |     7347 |  5.000 |
72.96/10.99	c (9,0) c |  4 |    225 |      95450 |      77572 |      395 |    23999 |     8546 |    68211 |     9184 |  5.003 |
72.96/10.99	c (9,0) c |  5 |    248 |     102038 |      82380 |      399 |    28812 |     9910 |    69222 |     9615 |  5.000 |
72.96/10.99	c (9,0) c |  6 |    187 |      97245 |      79797 |      399 |    26228 |    10738 |    67646 |     9029 |  5.000 |
72.96/10.99	c (9,0) c |  7 |    285 |      95598 |      76024 |      391 |    22455 |     8810 |    68319 |     9047 |  5.002 |
72.96/10.99	c (9,0) c 
192.60/25.97	c (24,0) c synthesis      645635 conflicts    16284569 propagations     9312 conflicts/sec   234864 propagations/sec
192.60/25.97	c (24,0) c Total Memory so far : 618.27Mb
192.60/25.97	c (24,0) c
192.60/25.97	c (24,0) c Try to adapt solver strategies
192.60/25.97	c (24,0) c 
192.60/25.97	c (24,0) c Nothing extreme in this problem, continue with glucose default strategies.
192.60/25.97	c (24,0) c
192.60/25.97	c (24,0) c
192.60/25.98	c (24,0) c Try to adapt solver strategies
192.60/25.98	c (24,0) c 
192.60/25.98	c (24,0) c Nothing extreme in this problem, continue with glucose default strategies.
192.60/25.98	c (24,0) c
192.60/25.98	c (24,0) c
192.60/25.98	c (24,0) c Try to adapt solver strategies
192.60/25.98	c (24,0) c 
192.60/25.98	c (24,0) c Nothing extreme in this problem, continue with glucose default strategies.
192.60/26.00	c (24,0) c
192.60/26.00	c (24,0) c
192.60/26.00	c (24,0) c Try to adapt solver strategies
192.60/26.00	c (24,0) c 
192.60/26.00	c (24,0) c Nothing extreme in this problem, continue with glucose default strategies.
192.60/26.00	c (24,0) c
192.60/26.00	c (24,0) c
192.60/26.00	c (24,0) c |-------------------------------------------------------------------------------------------------------|
192.60/26.00	c (24,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
192.60/26.00	c (24,0) c |-------------------------------------------------------------------------------------------------------|
192.60/26.00	c (24,0) c |  0 |    260 |     125881 |     104550 |      392 |    33364 |    10967 |    79930 |    12138 |  5.001 |
192.60/26.00	c (24,0) c |  1 |    273 |     133766 |     110720 |      397 |    39539 |    11077 |    79790 |    12734 |  5.003 |
192.60/26.00	c (24,0) c |  2 |    294 |     126775 |     103564 |      397 |    32387 |    11039 |    80281 |    11883 |  5.003 |
192.60/26.00	c (24,0) c |  3 |    141 |     123612 |     105659 |      397 |    34477 |    12956 |    78289 |    11043 |  5.004 |
192.60/26.00	c (24,0) c |  4 |    291 |     127009 |     104440 |      395 |    33258 |    10567 |    80564 |    12336 |  5.000 |
192.60/26.00	c (24,0) c |  5 |    288 |     129762 |     106435 |      399 |    35251 |    11400 |    79039 |    12716 |  5.001 |
192.60/26.00	c (24,0) c |  6 |    270 |     128952 |     106360 |      399 |    35174 |    12924 |    78572 |    12085 |  5.002 |
192.60/26.00	c (24,0) c |  7 |    329 |     127098 |     102966 |      391 |    31789 |    10604 |    80920 |    12216 |  5.000 |
192.60/26.00	c (24,0) c 
192.60/26.00	c (24,0) c synthesis      844695 conflicts    21560096 propagations     7740 conflicts/sec   197549 propagations/sec
192.60/26.00	c (24,0) c Total Memory so far : 622.22Mb
192.60/26.00	c (24,0) c
192.60/26.00	c (24,0) c |-------------------------------------------------------------------------------------------------------|
192.60/26.00	c (24,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
192.60/26.00	c (24,0) c |-------------------------------------------------------------------------------------------------------|
192.60/26.00	c (24,0) c |  0 |    322 |     150924 |     125758 |      392 |    34367 |    12344 |    89142 |    14592 |  5.003 |
192.60/26.00	c (24,0) c |  1 |    343 |     162230 |     134870 |      397 |    43481 |    12753 |    91181 |    15605 |  5.002 |
192.60/26.00	c (24,0) c |  2 |    315 |     154571 |     128241 |      397 |    36855 |    12760 |    89332 |    14546 |  5.000 |
192.60/26.00	c (24,0) c |  3 |    202 |     149291 |     127103 |      397 |    35715 |    13903 |    90009 |    14227 |  5.000 |
192.60/26.00	c (24,0) c |  4 |    347 |     152555 |     126108 |      395 |    34721 |    11807 |    91589 |    14687 |  5.000 |
192.60/26.00	c (24,0) c |  5 |    325 |     161495 |     134378 |      399 |    42987 |    13393 |    90523 |    15604 |  5.001 |
192.60/26.00	c (24,0) c |  6 |    302 |     155742 |     129859 |      399 |    38468 |    14499 |    88479 |    14924 |  5.003 |
192.60/26.00	c (24,0) c |  7 |    368 |     152625 |     125379 |      391 |    33989 |    12504 |    87331 |    14820 |  5.000 |
192.60/26.00	c (24,0) c 
192.60/26.00	c (24,0) c synthesis     1031696 conflicts    26572334 propagations     6925 conflicts/sec   178352 propagations/sec
192.60/26.00	c (24,0) c Total Memory so far : 625.65Mb
192.60/26.00	c (24,0) c
192.60/26.00	c (24,0) c |-------------------------------------------------------------------------------------------------------|
192.60/26.00	c (24,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
192.60/26.00	c (24,0) c |-------------------------------------------------------------------------------------------------------|
192.60/26.00	c (24,0) c |  0 |    327 |     171200 |     143976 |      392 |    29786 |    13975 |    94895 |    16387 |  5.004 |
192.60/26.00	c (24,0) c |  1 |    388 |     185906 |     155222 |      397 |    41031 |    13483 |   100271 |    18048 |  5.003 |
192.60/26.00	c (24,0) c |  2 |    344 |     176958 |     147752 |      397 |    33565 |    13861 |    99920 |    16806 |  5.000 |
192.60/26.00	c (24,0) c |  3 |    235 |     173306 |     148034 |      397 |    33838 |    15139 |    98769 |    16716 |  5.000 |
288.30/37.97	c (36,0) c |  4 |    384 |     172376 |     143314 |      395 |    29127 |    13160 |    99526 |    16817 |  5.000 |
288.30/37.97	c (36,0) c |  5 |    348 |     183385 |     153847 |      399 |    39658 |    14040 |    99856 |    18048 |  5.003 |
288.30/37.97	c (36,0) c |  6 |    307 |     182872 |     154424 |      399 |    40229 |    16151 |    96099 |    17188 |  5.003 |
288.30/37.97	c (36,0) c |  7 |    392 |     180581 |     150268 |      391 |    36076 |    14581 |    99394 |    17067 |  5.003 |
288.30/37.97	c (36,0) c 
288.30/37.97	c (36,0) c synthesis     1196838 conflicts    31025596 propagations     6339 conflicts/sec   164320 propagations/sec
288.30/37.97	c (36,0) c Total Memory so far : 628.11Mb
288.30/37.97	c (36,0) c
288.30/37.97	c (36,0) c |-------------------------------------------------------------------------------------------------------|
288.30/37.97	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
288.30/37.98	c (36,0) c |-------------------------------------------------------------------------------------------------------|
288.30/37.98	c (36,0) c |  0 |    341 |     186155 |     157139 |      392 |    42949 |    14763 |   102840 |    17756 |  5.003 |
288.30/37.98	c (36,0) c |  1 |    415 |     200221 |     167598 |      397 |    28004 |    14085 |   106405 |    19443 |  5.003 |
288.30/37.98	c (36,0) c |  2 |    362 |     190477 |     159667 |      397 |    45479 |    14523 |   105533 |    18212 |  5.003 |
288.30/37.98	c (36,0) c |  3 |    242 |     187953 |     161111 |      397 |    46916 |    16191 |   101661 |    18066 |  5.004 |
288.30/37.98	c (36,0) c |  4 |    401 |     187075 |     156314 |      395 |    42127 |    14283 |   106558 |    18121 |  5.002 |
288.30/37.98	c (36,0) c |  5 |    377 |     196726 |     165406 |      399 |    25816 |    14409 |   106372 |    19434 |  5.001 |
288.30/37.98	c (36,0) c |  6 |    308 |     195799 |     166080 |      399 |    26491 |    17174 |    98278 |    18335 |  5.007 |
288.30/37.98	c (36,0) c |  7 |    392 |     194645 |     163047 |      391 |    48855 |    15650 |    99394 |    18122 |  5.003 |
288.30/37.98	c (36,0) c 
288.30/37.98	c (36,0) c synthesis     1296362 conflicts    33761890 propagations     5874 conflicts/sec   152983 propagations/sec
288.30/37.98	c (36,0) c Total Memory so far : 629.36Mb
288.30/37.98	c (36,0) c
288.30/37.98	c (36,0) c |-------------------------------------------------------------------------------------------------------|
288.30/37.98	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
288.30/37.98	c (36,0) c |-------------------------------------------------------------------------------------------------------|
288.30/37.98	c (36,0) c |  0 |    356 |     202104 |     171239 |      392 |    31305 |    15535 |   114305 |    19085 |  5.122 |
288.30/37.98	c (36,0) c |  1 |    440 |     222593 |     187301 |      397 |    39737 |    15357 |   113934 |    21332 |  5.122 |
288.30/37.98	c (36,0) c |  2 |    363 |     206193 |     173951 |      397 |    34357 |    15486 |   112925 |    19475 |  5.001 |
288.30/37.98	c (36,0) c |  3 |    255 |     211390 |     181727 |      397 |    42133 |    17624 |   110812 |    19765 |  5.003 |
288.30/37.98	c (36,0) c |  4 |    410 |     206943 |     174089 |      395 |    34097 |    15929 |   113456 |    19701 |  5.120 |
288.30/37.98	c (36,0) c |  5 |    406 |     217027 |     182913 |      399 |    41928 |    15512 |   114316 |    21144 |  5.122 |
288.30/37.98	c (36,0) c |  6 |    332 |     212626 |     180801 |      399 |    40142 |    17853 |   111383 |    20327 |  5.120 |
288.30/37.98	c (36,0) c |  7 |    405 |     214331 |     180481 |      391 |    40376 |    16574 |   112653 |    19756 |  5.119 |
288.30/37.98	c (36,0) c 
288.30/37.98	c (36,0) c synthesis     1432502 conflicts    37497468 propagations     5671 conflicts/sec   148455 propagations/sec
288.30/37.98	c (36,0) c Total Memory so far : 630.42Mb
288.30/37.98	c (36,0) c
288.30/37.98	c (36,0) c |-------------------------------------------------------------------------------------------------------|
288.30/37.98	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
288.30/37.98	c (36,0) c |-------------------------------------------------------------------------------------------------------|
288.30/37.98	c (36,0) c |  0 |    364 |     213425 |     181310 |      392 |    41376 |    16007 |   121928 |    20337 |  5.597 |
288.30/37.98	c (36,0) c |  1 |    444 |     242519 |     205331 |      397 |    33747 |    16845 |   120620 |    22810 |  5.595 |
288.30/37.98	c (36,0) c |  2 |    389 |     222546 |     187983 |      397 |    46463 |    16705 |   122051 |    21167 |  5.596 |
288.30/37.98	c (36,0) c |  3 |    257 |     226656 |     195591 |      397 |    50195 |    18873 |   116119 |    21106 |  5.359 |
288.30/37.98	c (36,0) c |  4 |    418 |     224218 |     189533 |      395 |    49541 |    17371 |   121159 |    21307 |  5.595 |
307.43/40.32	c (38,0) c |  5 |    415 |     234490 |     198566 |      400 |    30273 |    16882 |   121313 |    22668 |  5.602 |
307.43/40.32	c (38,0) c |  6 |    339 |     233936 |     199933 |      399 |    31807 |    18812 |   119907 |    22156 |  5.595 |
307.43/40.32	c (38,0) c |  7 |    419 |     227844 |     192486 |      391 |    52382 |    17270 |   119069 |    21460 |  5.477 |
307.43/40.32	c (38,0) c 
307.43/40.32	c (38,0) c synthesis     1550734 conflicts    40781809 propagations     5452 conflicts/sec   143384 propagations/sec
307.43/40.32	c (38,0) c Total Memory so far : 631.88Mb
307.43/40.32	c (38,0) c Thread 7 is 100% pure glucose! First thread to finish! (UNSAT answer).
307.43/40.32	c (38,0) c Total Memory so far : 632.32Mb
307.43/40.32	c (38,0) c
307.43/40.32	c (38,0) c real time : 38.0885 s
307.43/40.32	c (38,0) c cpu time  : 303.156 s
307.43/40.32	c (38,0) c
307.43/40.32	c (38,0) c
307.43/40.32	c (38,0) c
307.43/40.32	c (38,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
307.43/40.32	c (38,0) c
307.43/40.32	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
307.43/40.32	c (38,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
307.43/40.33	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
307.43/40.33	c (38,0) c | Conflicts     |         1634767 |     188504 |     216869 |     195561 |     207353 |     200009 |     212215 |     210229 |     204027 |
307.43/40.33	c (38,0) c | Decisions     |         1919575 |     221678 |     255339 |     231242 |     239764 |     235741 |     249672 |     245507 |     240632 |
307.43/40.33	c (38,0) c | Propagations  |        43115380 |    4968280 |    5752697 |    5146008 |    5405550 |    5333156 |    5589235 |    5515964 |    5404490 |
307.43/40.33	c (38,0) c | Avg_Trail     |                 |        221 |        221 |        221 |        221 |        220 |        220 |        222 |        220 |
307.43/40.33	c (38,0) c | Avg_DL        |                 |         15 |         15 |         16 |         16 |         16 |         15 |         16 |         15 |
307.43/40.33	c (38,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
307.43/40.33	c (38,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
307.43/40.33	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
307.43/40.33	c (38,0) c | Exported      |          145573 |      16348 |      17622 |      17459 |      19777 |      18307 |      18131 |      19595 |      18334 |
307.43/40.33	c (38,0) c | Imported      |         1002141 |     123923 |     127394 |     126485 |     125747 |     121159 |     125675 |     124519 |     127239 |
307.43/40.33	c (38,0) c | Good          |            1357 |        151 |        162 |        177 |        191 |        136 |        163 |        185 |        192 |
307.43/40.33	c (38,0) c | Purge         |         1000784 |     123772 |     127232 |     126308 |     125556 |     121023 |     125512 |     124334 |     127047 |
307.43/40.33	c (38,0) c | Promoted      |          181284 |      21290 |      23759 |      22102 |      22434 |      21908 |      23851 |      23213 |      22727 |
307.43/40.33	c (38,0) c | Remove_Imp    |          488662 |      52028 |      64233 |      54719 |      63428 |      63450 |      63933 |      60737 |      66134 |
307.43/40.33	c (38,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
307.43/40.33	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
307.43/40.33	c (38,0) c | Unaries       |                 |          0 |          3 |          1 |          3 |          0 |          6 |          1 |          4 |
307.43/40.33	c (38,0) c | Binaries      |                 |         16 |         44 |         25 |         31 |         20 |         38 |         18 |         32 |
307.43/40.33	c (38,0) c | Glues         |                 |         19 |         53 |         34 |         42 |         24 |         44 |         27 |         37 |
307.43/40.33	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
307.43/40.33	c (38,0) c | Orig_Seen     |            29 % |        392 |        397 |        397 |        397 |        395 |        400 |        399 |        391 |
307.43/40.33	c (38,0) c | Diff Orig seen|                 |          1 |          6 |          6 |          6 |          4 |          9 |          8 |      X     |
307.43/40.33	c (38,0) c | Hamming       |             7 % |         82 |         70 |         64 |         62 |         57 |         56 |         48 |      X     |
307.43/40.33	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
307.43/40.33	c (38,0) 
307.43/40.33	c (38,0) s UNSATISFIABLE
307.43/40.34	c (38,0) SatSolver.solve End
307.43/40.34	c (38,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
307.43/40.34	c (38,0) Show results Begin
307.43/40.34	s UNSATISFIABLE
307.43/40.34	c (38,0) Show results End
307.43/40.34	c (38,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
307.43/40.34	c (38,0) 38,38,STOP-AFTER(ALL)
307.43/40.34	c END-Prog: Mon Aug 13 21:16:32 CEST 2018

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307504-1534187751/watcher-4307504-1534187751 -o /tmp/evaluation-result-4307504-1534187751/solver-4307504-1534187751 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534187655-13690 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307504-1534187751.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=14071, runsolver pid=14068
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 5.62 3.07 2.34 3/200 14093
/proc/meminfo: memFree=15494996/32770624 swapFree=67108844/67108860
[pid=14071] ppid=14068 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14071/stat : 14071 (scop.sh) S 14068 14071 13663 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236338318 115843072 349 33554432000 4194304 5098028 140720776315792 140720776313048 139835315552892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9306112 140720776324131 140720776324355 140720776324355 140720776327117 0
/proc/14071/statm: 28282 349 296 221 0 87 0
[pid=14074] ppid=14071 vsize=27313900 memory=106348 CPUtime=0.1 cores=0-7
/proc/14074/stat : 14074 (java) S 14071 14071 13663 0 -1 1077944320 6572 0 0 0 8 2 0 0 20 0 20 0 236338318 27969433600 26587 33554432000 4194304 4196468 140727447108576 140727447091120 140319212470007 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
/proc/14074/statm: 6828475 26587 2730 1 0 6790935 0
[pid=14074/tid=14075] ppid=14071 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/14074/task/14075/stat : 14075 (java) R 14071 14071 13663 0 -1 4202560 4656 0 0 0 7 2 0 0 20 0 20 0 236338318 27969433600 26587 33554432000 4194304 4196468 140727447108576 140319184296336 140319196550524 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14076] ppid=14071 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14074/task/14076/stat : 14076 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 26587 33554432000 4194304 4196468 140727447108576 140319216712592 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14077] ppid=14071 vsize=27313900 memory=140560733271680 CPUtime=0 cores=0-7
/proc/14074/task/14077/stat : 14077 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 26587 33554432000 4194304 4196468 140727447108576 140319000107792 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14078] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14078/stat : 14078 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318999055504 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14079] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14079/stat : 14079 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318632565776 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14080] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14080/stat : 14080 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318631512464 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14081] ppid=14071 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14074/task/14081/stat : 14081 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318630459664 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14082] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14082/stat : 14082 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318629407376 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14083] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14083/stat : 14083 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318628354576 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14084] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14084/stat : 14084 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338322 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318203665008 140319212481154 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14085] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14085/stat : 14085 (java) S 14071 14071 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236338323 27969433600 26587 33554432000 4194304 4196468 140727447108576 140317118424352 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14086] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14086/stat : 14086 (java) S 14071 14071 13663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236338323 27969433600 26587 33554432000 4194304 4196468 140727447108576 140316984202864 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14087] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14087/stat : 14087 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 26587 33554432000 4194304 4196468 140727447108576 140316609698384 140319212488603 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14088] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14088/stat : 14088 (java) S 14071 14071 13663 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318202611824 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14089] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14089/stat : 14089 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 26587 33554432000 4194304 4196468 140727447108576 140318201559024 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14090] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14090/stat : 14090 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 26652 33554432000 4194304 4196468 140727447108576 140318200506736 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14091] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14091/stat : 14091 (java) S 14071 14071 13663 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 26652 33554432000 4194304 4196468 140727447108576 140318199453936 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14092] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14092/stat : 14092 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236338326 27969433600 26652 33554432000 4194304 4196468 140727447108576 140316111792992 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14093] ppid=14071 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14074/task/14093/stat : 14093 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338326 27969433600 26652 33554432000 4194304 4196468 140727447108576 140318198401840 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 107744 KiB

[startup+0.20986 s]*
/proc/loadavg: 5.62 3.07 2.34 2/200 14093
/proc/meminfo: memFree=15478872/32770624 swapFree=67108844/67108860
[pid=14071] ppid=14068 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14071/stat : 14071 (scop.sh) S 14068 14071 13663 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236338318 115843072 349 33554432000 4194304 5098028 140720776315792 140720776313048 139835315552892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9306112 140720776324131 140720776324355 140720776324355 140720776327117 0
/proc/14071/statm: 28282 349 296 221 0 87 0
[pid=14074] ppid=14071 vsize=27313900 memory=120976 CPUtime=0.25 cores=0-7
/proc/14074/stat : 14074 (java) S 14071 14071 13663 0 -1 1077944320 10450 0 0 0 21 4 0 0 20 0 20 0 236338318 27969433600 30244 33554432000 4194304 4196468 140727447108576 140727447091120 140319212470007 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
/proc/14074/statm: 6828475 30244 2859 1 0 6790935 0
[pid=14074/tid=14075] ppid=14071 vsize=27313900 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14074/task/14075/stat : 14075 (java) R 14071 14071 13663 0 -1 4202560 8324 0 0 0 17 3 0 0 20 0 20 0 236338318 27969433600 30244 33554432000 4194304 4196468 140727447108576 140319184259712 140319204707134 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14076] ppid=14071 vsize=27313900 memory=329 CPUtime=0 cores=0-7
/proc/14074/task/14076/stat : 14076 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 30244 33554432000 4194304 4196468 140727447108576 140319216712592 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14077] ppid=14071 vsize=27313900 memory=140560733285488 CPUtime=0 cores=0-7
/proc/14074/task/14077/stat : 14077 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 30244 33554432000 4194304 4196468 140727447108576 140319000107792 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14078] ppid=14071 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14074/task/14078/stat : 14078 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318999055504 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14079] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14079/stat : 14079 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318632565776 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14080] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14080/stat : 14080 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318631512464 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14081] ppid=14071 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14074/task/14081/stat : 14081 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318630459664 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14082] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14082/stat : 14082 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318629407376 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14083] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14083/stat : 14083 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318628354576 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14084] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14084/stat : 14084 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338322 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318203665008 140319212481154 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14085] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14085/stat : 14085 (java) S 14071 14071 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236338323 27969433600 30244 33554432000 4194304 4196468 140727447108576 140317118424352 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14086] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14086/stat : 14086 (java) S 14071 14071 13663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236338323 27969433600 30244 33554432000 4194304 4196468 140727447108576 140316984202864 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14087] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14087/stat : 14087 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 30244 33554432000 4194304 4196468 140727447108576 140316609698384 140319212488603 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14088] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14088/stat : 14088 (java) S 14071 14071 13663 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318202611824 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14089] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14089/stat : 14089 (java) S 14071 14071 13663 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318201559024 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14090] ppid=14071 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14074/task/14090/stat : 14090 (java) S 14071 14071 13663 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318200506736 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14091] ppid=14071 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/14074/task/14091/stat : 14091 (java) S 14071 14071 13663 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 236338325 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318199453936 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14092] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14092/stat : 14092 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236338326 27969433600 30244 33554432000 4194304 4196468 140727447108576 140316111792992 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14093] ppid=14071 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14074/task/14093/stat : 14093 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338326 27969433600 30244 33554432000 4194304 4196468 140727447108576 140318198401840 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122372 KiB

[startup+0.309537 s]*
/proc/loadavg: 5.62 3.07 2.34 2/200 14093
/proc/meminfo: memFree=15474592/32770624 swapFree=67108844/67108860
[pid=14071] ppid=14068 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14071/stat : 14071 (scop.sh) S 14068 14071 13663 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236338318 115843072 349 33554432000 4194304 5098028 140720776315792 140720776313048 139835315552892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9306112 140720776324131 140720776324355 140720776324355 140720776327117 0
/proc/14071/statm: 28282 349 296 221 0 87 0
[pid=14074] ppid=14071 vsize=27313900 memory=124780 CPUtime=0.41 cores=0-7
/proc/14074/stat : 14074 (java) S 14071 14071 13663 0 -1 1077944320 11126 0 0 0 37 4 0 0 20 0 20 0 236338318 27969433600 31195 33554432000 4194304 4196468 140727447108576 140727447091120 140319212470007 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
/proc/14074/statm: 6828475 31195 2901 1 0 6790935 0
[pid=14074/tid=14075] ppid=14071 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14074/task/14075/stat : 14075 (java) R 14071 14071 13663 0 -1 4202560 8815 0 0 0 26 3 0 0 20 0 20 0 236338318 27969433600 31195 33554432000 4194304 4196468 140727447108576 140319184274056 140319194033545 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14076] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14076/stat : 14076 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 31195 33554432000 4194304 4196468 140727447108576 140319216712592 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14077] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14077/stat : 14077 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 31195 33554432000 4194304 4196468 140727447108576 140319000107792 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14078] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14078/stat : 14078 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318999055504 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14079] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14079/stat : 14079 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318632565776 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14080] ppid=14071 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/14074/task/14080/stat : 14080 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318631512464 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14081] ppid=14071 vsize=27313900 memory=140560589484975 CPUtime=0 cores=0-7
/proc/14074/task/14081/stat : 14081 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318630459664 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14082] ppid=14071 vsize=27313900 memory=140560589487280 CPUtime=0 cores=0-7
/proc/14074/task/14082/stat : 14082 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318629407376 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14083] ppid=14071 vsize=27313900 memory=140560589489584 CPUtime=0 cores=0-7
/proc/14074/task/14083/stat : 14083 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318628354576 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14084] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14084/stat : 14084 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338322 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318203665008 140319212481154 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14085] ppid=14071 vsize=27313900 memory=281121178986128 CPUtime=0 cores=0-7
/proc/14074/task/14085/stat : 14085 (java) S 14071 14071 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236338323 27969433600 31195 33554432000 4194304 4196468 140727447108576 140317118424352 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14086] ppid=14071 vsize=27313900 memory=281121178993040 CPUtime=0 cores=0-7
/proc/14074/task/14086/stat : 14086 (java) S 14071 14071 13663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236338323 27969433600 31195 33554432000 4194304 4196468 140727447108576 140316984202864 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14087] ppid=14071 vsize=27313900 memory=281121178934288 CPUtime=0 cores=0-7
/proc/14074/task/14087/stat : 14087 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 31195 33554432000 4194304 4196468 140727447108576 140316609698384 140319212488603 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14088] ppid=14071 vsize=27313900 memory=281121179006864 CPUtime=0.01 cores=0-7
/proc/14074/task/14088/stat : 14088 (java) S 14071 14071 13663 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 20 0 236338325 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318202611824 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14089] ppid=14071 vsize=27313900 memory=281121179013776 CPUtime=0 cores=0-7
/proc/14074/task/14089/stat : 14089 (java) S 14071 14071 13663 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 236338325 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318201559024 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14090] ppid=14071 vsize=27313900 memory=281121179011472 CPUtime=0.01 cores=0-7
/proc/14074/task/14090/stat : 14090 (java) S 14071 14071 13663 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 20 0 236338325 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318200506736 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14091] ppid=14071 vsize=27313900 memory=281121179027632 CPUtime=0.07 cores=0-7
/proc/14074/task/14091/stat : 14091 (java) S 14071 14071 13663 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 20 0 236338325 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318199453936 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14092] ppid=14071 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14092/stat : 14092 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236338326 27969433600 31195 33554432000 4194304 4196468 140727447108576 140316111792992 140319212480213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14093] ppid=14071 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/14074/task/14093/stat : 14093 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338326 27969433600 31195 33554432000 4194304 4196468 140727447108576 140318198401840 140319212481154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126176 KiB

[startup+0.700865 s]
/proc/loadavg: 5.62 3.07 2.34 2/200 14093
/proc/meminfo: memFree=15449980/32770624 swapFree=67108844/67108860
[pid=14071] ppid=14068 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14071/stat : 14071 (scop.sh) S 14068 14071 13663 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236338318 115843072 349 33554432000 4194304 5098028 140720776315792 140720776313048 139835315552892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9306112 140720776324131 140720776324355 140720776324355 140720776327117 0
/proc/14071/statm: 28282 349 296 221 0 87 0
[pid=14074] ppid=14071 vsize=27322296 memory=163360 CPUtime=0.98 cores=0-7
/proc/14074/stat : 14074 (java) S 14071 14071 13663 0 -1 1077944320 18417 0 0 0 92 6 0 0 20 0 20 0 236338318 27978031104 40840 33554432000 4194304 4196468 140727447108576 140727447091120 140319212470007 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
/proc/14074/statm: 6830574 40840 3144 1 0 6791959 0
[pid=14074/tid=14075] ppid=14071 vsize=27322296 memory=281121179385520 CPUtime=0.66 cores=0-7
/proc/14074/task/14075/stat : 14075 (java) R 14071 14071 13663 0 -1 4202560 15588 0 0 0 62 4 0 0 20 0 20 0 236338318 27978031104 40840 33554432000 4194304 4196468 140727447108576 140319184307248 140319034863177 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14076] ppid=14071 vsize=27322296 memory=140560589693808 CPUtime=0 cores=0-7
/proc/14074/task/14076/stat : 14076 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236338321 27978031104 40840 33554432000 4194304 4196468 140727447108576 140319216712592 140319212480213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14077] ppid=14071 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/14074/task/14077/stat : 14077 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236338321 27978031104 40840 33554432000 4194304 4196468 140727447108576 140319000107792 140319212480213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0
[pid=14074/tid=14078] ppid=14071 vsize=27322296 memory=1020 CPUtime=0 cores=0-7
/proc/14074/task/14078/stat : 14078 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236338321 27978031104 40840 33554432000 4194304 4196468 140727447108576 140318999055504 140319212480213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140727447110633 140727447110957 140727447110957 140727447113679 0

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

Current children cumulated CPU time: 305.11 s
Current children cumulated vsize: 9174520 KiB
Current children cumulated memory: 389292 KiB

[startup+40.2021 s]
/proc/loadavg: 6.95 3.74 2.60 9/213 14127
/proc/meminfo: memFree=15212568/32770624 swapFree=67108844/67108860
[pid=14071] ppid=14068 vsize=113128 memory=1472 CPUtime=2.76 cores=0-7
/proc/14071/stat : 14071 (scop.sh) S 14068 14071 13663 0 -1 4202496 591 22509 0 0 0 0 263 13 20 0 1 0 236338318 115843072 368 33554432000 4194304 5098028 140720776315792 140720776312536 139835315552892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9306112 140720776324131 140720776324355 140720776324355 140720776327117 0
/proc/14071/statm: 28282 368 311 221 0 87 0
[pid=14094] ppid=14071 vsize=8413904 memory=121304 CPUtime=1.29 cores=0-7
/proc/14094/stat : 14094 (java) S 14071 14071 13663 0 -1 1077944320 18597 0 0 0 122 7 0 0 20 0 24 0 236338466 8615837696 30326 33554432000 4194304 4196468 140730455699616 140730455682160 139656874057463 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
/proc/14094/statm: 2103476 30326 3136 1 0 2064875 0
[pid=14114] ppid=14094 vsize=647488 memory=268564 CPUtime=302.58 cores=0-7
/proc/14114/stat : 14114 (glucose-syrup) S 14094 14071 13663 0 -1 1077944320 194956 0 0 0 30215 43 0 0 20 0 9 0 236338541 663027712 67141 33554432000 4194304 4373367 140724273357712 140724273356256 140173750741634 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
/proc/14114/statm: 161872 67141 386 44 0 157560 0
[pid=14114/tid=14119] ppid=14094 vsize=647488 memory=-3395018504160024109 CPUtime=37.3 cores=0-7
/proc/14114/task/14119/stat : 14119 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 24995 0 0 0 3726 4 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173735513456 4271919 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14120] ppid=14094 vsize=647488 memory=8387223549236478041 CPUtime=37.93 cores=0-7
/proc/14114/task/14120/stat : 14120 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 23796 0 0 0 3788 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173727120528 4259448 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14121] ppid=14094 vsize=647488 memory=6944656592455359580 CPUtime=37.92 cores=0-7
/proc/14114/task/14121/stat : 14121 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 25795 0 0 0 3787 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173718727824 4258958 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14122] ppid=14094 vsize=647488 memory=288288891675624006 CPUtime=37.69 cores=0-7
/proc/14114/task/14122/stat : 14122 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 21069 0 0 0 3765 4 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173710335344 4271885 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14123] ppid=14094 vsize=647488 memory=0 CPUtime=37.91 cores=0-7
/proc/14114/task/14123/stat : 14123 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 25992 0 0 0 3786 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173701942640 4271828 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14124] ppid=14094 vsize=647488 memory=301741373374332954 CPUtime=37.94 cores=0-7
/proc/14114/task/14124/stat : 14124 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 23061 0 0 0 3789 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173693549936 4271882 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14125] ppid=14094 vsize=647488 memory=288230621803970871 CPUtime=37.91 cores=0-7
/proc/14114/task/14125/stat : 14125 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 26702 0 0 0 3785 6 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173685157232 4292010 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14126] ppid=14094 vsize=647488 memory=13845266004445752 CPUtime=37.91 cores=0-7
/proc/14114/task/14126/stat : 14126 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 21916 0 0 0 3786 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173676764528 4271850 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14094/tid=14095] ppid=14071 vsize=8413904 memory=2096 CPUtime=0.78 cores=0-7
/proc/14094/task/14095/stat : 14095 (java) S 14071 14071 13663 0 -1 1077944384 15077 0 0 0 73 5 0 0 20 0 24 0 236338466 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656845897616 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14096] ppid=14071 vsize=8413904 memory=1572 CPUtime=0 cores=0-7
/proc/14094/task/14096/stat : 14096 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656878299536 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14097] ppid=14071 vsize=8413904 memory=924 CPUtime=0 cores=0-7
/proc/14094/task/14097/stat : 14097 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656359000336 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14098] ppid=14071 vsize=8413904 memory=1992 CPUtime=0 cores=0-7
/proc/14094/task/14098/stat : 14098 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656357948048 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14099] ppid=14071 vsize=8413904 memory=2236 CPUtime=0 cores=0-7
/proc/14094/task/14099/stat : 14099 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656356895248 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14100] ppid=14071 vsize=8413904 memory=1992 CPUtime=0 cores=0-7
/proc/14094/task/14100/stat : 14100 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656355842960 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14101] ppid=14071 vsize=8413904 memory=7528 CPUtime=0 cores=0-7
/proc/14094/task/14101/stat : 14101 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656354790160 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14102] ppid=14071 vsize=8413904 memory=804 CPUtime=0 cores=0-7
/proc/14094/task/14102/stat : 14102 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656353737872 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14103] ppid=14071 vsize=8413904 memory=4104 CPUtime=0 cores=0-7
/proc/14094/task/14103/stat : 14103 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656352685072 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14104] ppid=14071 vsize=8413904 memory=1696 CPUtime=0 cores=0-7
/proc/14094/task/14104/stat : 14104 (java) S 14071 14071 13663 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236338469 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656303089776 139656874068610 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14105] ppid=14071 vsize=8413904 memory=916 CPUtime=0 cores=0-7
/proc/14094/task/14105/stat : 14105 (java) S 14071 14071 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236338469 8615837696 30326 33554432000 4194304 4196468 140730455699616 139655559242528 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14106] ppid=14071 vsize=8413904 memory=8039887049847964843 CPUtime=0 cores=0-7
/proc/14094/task/14106/stat : 14106 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236338470 8615837696 30326 33554432000 4194304 4196468 140730455699616 139655290807408 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14107] ppid=14071 vsize=8413904 memory=120532 CPUtime=0 cores=0-7
/proc/14094/task/14107/stat : 14107 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139654916298832 139656874076059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14108] ppid=14071 vsize=8413904 memory=245520 CPUtime=0.07 cores=0-7
/proc/14094/task/14108/stat : 14108 (java) S 14071 14071 13663 0 -1 1077944384 632 0 0 0 7 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656302037616 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14109] ppid=14071 vsize=8413904 memory=0 CPUtime=0.11 cores=0-7
/proc/14094/task/14109/stat : 14109 (java) S 14071 14071 13663 0 -1 1077944384 523 0 0 0 11 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656300984816 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14110] ppid=14071 vsize=8413904 memory=0 CPUtime=0.04 cores=0-7
/proc/14094/task/14110/stat : 14110 (java) S 14071 14071 13663 0 -1 1077944384 159 0 0 0 4 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656299932528 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14111] ppid=14071 vsize=8413904 memory=11204 CPUtime=0.23 cores=0-7
/proc/14094/task/14111/stat : 14111 (java) S 14071 14071 13663 0 -1 1077944384 799 0 0 0 23 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656298879728 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14112] ppid=14071 vsize=8413904 memory=1992 CPUtime=0 cores=0-7
/proc/14094/task/14112/stat : 14112 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139654418393440 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14113] ppid=14071 vsize=8413904 memory=7528 CPUtime=0.01 cores=0-7
/proc/14094/task/14113/stat : 14113 (java) S 14071 14071 13663 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139655425022256 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14115] ppid=14071 vsize=8413904 memory=804 CPUtime=0 cores=0-7
/proc/14094/task/14115/stat : 14115 (java) S 14071 14071 13663 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236338542 8615837696 30326 33554432000 4194304 4196468 140730455699616 139655417546048 139656874082073 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14117] ppid=14071 vsize=8413904 memory=4104 CPUtime=0.01 cores=0-7
/proc/14094/task/14117/stat : 14117 (java) S 14071 14071 13663 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 236338542 8615837696 30326 33554432000 4194304 4196468 140730455699616 139653747294128 139656874079389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14118] ppid=14071 vsize=8413904 memory=1696 CPUtime=0 cores=0-7
/proc/14094/task/14118/stat : 14118 (java) S 14071 14071 13663 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236338542 8615837696 30326 33554432000 4194304 4196468 140730455699616 139654015729456 139656874079389 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14127] ppid=14071 vsize=8413904 memory=496 CPUtime=0 cores=0-7
/proc/14094/task/14127/stat : 14127 (java) S 14071 14071 13663 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236338544 8615837696 30326 33554432000 4194304 4196468 140730455699616 139653478866720 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
Current children cumulated CPU time: 306.63 s
Current children cumulated vsize: 9174520 KiB
Current children cumulated memory: 391340 KiB

[startup+40.3021 s]
/proc/loadavg: 6.95 3.74 2.60 9/213 14127
/proc/meminfo: memFree=15212568/32770624 swapFree=67108844/67108860
[pid=14071] ppid=14068 vsize=113128 memory=1472 CPUtime=2.76 cores=0-7
/proc/14071/stat : 14071 (scop.sh) S 14068 14071 13663 0 -1 4202496 591 22509 0 0 0 0 263 13 20 0 1 0 236338318 115843072 368 33554432000 4194304 5098028 140720776315792 140720776312536 139835315552892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9306112 140720776324131 140720776324355 140720776324355 140720776327117 0
/proc/14071/statm: 28282 368 311 221 0 87 0
[pid=14094] ppid=14071 vsize=8413904 memory=121304 CPUtime=1.29 cores=0-7
/proc/14094/stat : 14094 (java) S 14071 14071 13663 0 -1 1077944320 18597 0 0 0 122 7 0 0 20 0 24 0 236338466 8615837696 30326 33554432000 4194304 4196468 140730455699616 140730455682160 139656874057463 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
/proc/14094/statm: 2103476 30326 3136 1 0 2064875 0
[pid=14114] ppid=14094 vsize=647488 memory=268564 CPUtime=303.38 cores=0-7
/proc/14114/stat : 14114 (glucose-syrup) S 14094 14071 13663 0 -1 1077944320 194992 0 0 0 30295 43 0 0 20 0 9 0 236338541 663027712 67141 33554432000 4194304 4373367 140724273357712 140724273356256 140173750741634 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
/proc/14114/statm: 161872 67141 386 44 0 157560 0
[pid=14114/tid=14119] ppid=14094 vsize=647488 memory=14568 CPUtime=37.39 cores=0-7
/proc/14114/task/14119/stat : 14119 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 24999 0 0 0 3735 4 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173735513456 4292010 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14120] ppid=14094 vsize=647488 memory=12708 CPUtime=38.03 cores=0-7
/proc/14114/task/14120/stat : 14120 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 23801 0 0 0 3798 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173727120528 4258908 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14121] ppid=14094 vsize=647488 memory=257916 CPUtime=38.02 cores=0-7
/proc/14114/task/14121/stat : 14121 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 25796 0 0 0 3797 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173718727824 4272280 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14122] ppid=14094 vsize=647488 memory=254520 CPUtime=37.79 cores=0-7
/proc/14114/task/14122/stat : 14122 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 21073 0 0 0 3775 4 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173710335344 4292001 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14123] ppid=14094 vsize=647488 memory=266216 CPUtime=38.01 cores=0-7
/proc/14114/task/14123/stat : 14123 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 26010 0 0 0 3796 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173701942640 4271828 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14124] ppid=14094 vsize=647488 memory=0 CPUtime=38.04 cores=0-7
/proc/14114/task/14124/stat : 14124 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 23063 0 0 0 3799 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173693549936 4271925 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14125] ppid=14094 vsize=647488 memory=0 CPUtime=38.01 cores=0-7
/proc/14114/task/14125/stat : 14125 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 26702 0 0 0 3795 6 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173685157008 4292010 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14114/tid=14126] ppid=14094 vsize=647488 memory=0 CPUtime=38.01 cores=0-7
/proc/14114/task/14126/stat : 14126 (glucose-syrup) R 14094 14071 13663 0 -1 4202560 21918 0 0 0 3796 5 0 0 20 0 9 0 236338542 663027712 67141 33554432000 4194304 4373367 140724273357712 140173676764528 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 24727552 140724273366096 140724273366228 140724273366228 140724273369031 0
[pid=14094/tid=14095] ppid=14071 vsize=8413904 memory=0 CPUtime=0.78 cores=0-7
/proc/14094/task/14095/stat : 14095 (java) S 14071 14071 13663 0 -1 1077944384 15077 0 0 0 73 5 0 0 20 0 24 0 236338466 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656845897616 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14096] ppid=14071 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14094/task/14096/stat : 14096 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656878299536 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14097] ppid=14071 vsize=8413904 memory=121307056336457 CPUtime=0 cores=0-7
/proc/14094/task/14097/stat : 14097 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656359000336 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14098] ppid=14071 vsize=8413904 memory=590024538733965343 CPUtime=0 cores=0-7
/proc/14094/task/14098/stat : 14098 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656357948048 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14099] ppid=14071 vsize=8413904 memory=10942 CPUtime=0 cores=0-7
/proc/14094/task/14099/stat : 14099 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656356895248 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14100] ppid=14071 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/14094/task/14100/stat : 14100 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656355842960 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14101] ppid=14071 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/14094/task/14101/stat : 14101 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656354790160 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14102] ppid=14071 vsize=8413904 memory=121304 CPUtime=0 cores=0-7
/proc/14094/task/14102/stat : 14102 (java) S 14071 14071 13663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656353737872 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14103] ppid=14071 vsize=8413904 memory=78 CPUtime=0 cores=0-7
/proc/14094/task/14103/stat : 14103 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236338467 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656352685072 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14104] ppid=14071 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14094/task/14104/stat : 14104 (java) S 14071 14071 13663 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236338469 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656303089776 139656874068610 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14105] ppid=14071 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/14094/task/14105/stat : 14105 (java) S 14071 14071 13663 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236338469 8615837696 30326 33554432000 4194304 4196468 140730455699616 139655559242528 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14106] ppid=14071 vsize=8413904 memory=121304 CPUtime=0 cores=0-7
/proc/14094/task/14106/stat : 14106 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236338470 8615837696 30326 33554432000 4194304 4196468 140730455699616 139655290807408 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14107] ppid=14071 vsize=8413904 memory=258500 CPUtime=0 cores=0-7
/proc/14094/task/14107/stat : 14107 (java) S 14071 14071 13663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139654916298832 139656874076059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14108] ppid=14071 vsize=8413904 memory=187952 CPUtime=0.07 cores=0-7
/proc/14094/task/14108/stat : 14108 (java) S 14071 14071 13663 0 -1 1077944384 632 0 0 0 7 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656302037616 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14109] ppid=14071 vsize=8413904 memory=281121179417040 CPUtime=0.11 cores=0-7
/proc/14094/task/14109/stat : 14109 (java) S 14071 14071 13663 0 -1 1077944384 523 0 0 0 11 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656300984816 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14110] ppid=14071 vsize=8413904 memory=281121179511408 CPUtime=0.04 cores=0-7
/proc/14094/task/14110/stat : 14110 (java) S 14071 14071 13663 0 -1 1077944384 159 0 0 0 4 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656299932528 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14111] ppid=14071 vsize=8413904 memory=6943526294502006880 CPUtime=0.23 cores=0-7
/proc/14094/task/14111/stat : 14111 (java) S 14071 14071 13663 0 -1 1077944384 799 0 0 0 23 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139656298879728 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14112] ppid=14071 vsize=8413904 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/14094/task/14112/stat : 14112 (java) S 14071 14071 13663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139654418393440 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14113] ppid=14071 vsize=8413904 memory=6944652177228980320 CPUtime=0.01 cores=0-7
/proc/14094/task/14113/stat : 14113 (java) S 14071 14071 13663 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 236338472 8615837696 30326 33554432000 4194304 4196468 140730455699616 139655425022256 139656874068610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14115] ppid=14071 vsize=8413904 memory=4140 CPUtime=0 cores=0-7
/proc/14094/task/14115/stat : 14115 (java) S 14071 14071 13663 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236338542 8615837696 30326 33554432000 4194304 4196468 140730455699616 139655417546048 139656874082073 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14117] ppid=14071 vsize=8413904 memory=63900 CPUtime=0.01 cores=0-7
/proc/14094/task/14117/stat : 14117 (java) S 14071 14071 13663 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 236338542 8615837696 30326 33554432000 4194304 4196468 140730455699616 139653747294128 139656874079389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14118] ppid=14071 vsize=8413904 memory=2188 CPUtime=0 cores=0-7
/proc/14094/task/14118/stat : 14118 (java) S 14071 14071 13663 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236338542 8615837696 30326 33554432000 4194304 4196468 140730455699616 139654015729456 139656874079389 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
[pid=14094/tid=14127] ppid=14071 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/14094/task/14127/stat : 14127 (java) S 14071 14071 13663 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236338544 8615837696 30326 33554432000 4194304 4196468 140730455699616 139653478866720 139656874067669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15831040 140730455700657 140730455700781 140730455700781 140730455703503 0
Current children cumulated CPU time: 307.43 s
Current children cumulated vsize: 9174520 KiB
Current children cumulated memory: 391340 KiB

Child status: 0
Real time (s): 40.3542
CPU time (s): 307.707
CPU user time (s): 307.032
CPU system time (s): 0.674427
CPU usage (%): 762.515
Max. virtual memory (cumulated for all children) (KiB): 27441656
Max. memory (cumulated for all children) (KiB): 394324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.032
system time used= 0.674427
maximum resident set size= 271652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8622
involuntary context switches= 3111


# summary of solver processes directly reported to runsolver:
#   pid: 14071
#   total CPU time (s): 307.707
#   total CPU user time (s): 307.032
#   total CPU system time (s): 0.674427

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.380508 second user time and 0.601788 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-13 21:15:51
IDJOB=4307504
IDBENCH=141236
IDSOLVER=2789
FILE ID=node136/4307504-1534187751
RUNJOBID= node136-1534187655-13690
PBS_JOBID= 21037985
Free space on /tmp= 35592 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl10-11_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307504-1534187751/watcher-4307504-1534187751 -o /tmp/evaluation-result-4307504-1534187751/solver-4307504-1534187751 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534187655-13690 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307504-1534187751.xml

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

MD5SUM BENCH= 0cb6e3dc45605db1284c892a60e68314
RANDOM SEED=1314100579

node136.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.50
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.50
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.50
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.50
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:        15589928 kB
MemAvailable:   31905304 kB
Buffers:          248772 kB
Cached:         16172628 kB
SwapCached:            8 kB
Active:          8950320 kB
Inactive:        7524220 kB
Active(anon):       3768 kB
Inactive(anon):   101756 kB
Active(file):    8946552 kB
Inactive(file):  7422464 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108844 kB
Dirty:              8424 kB
Writeback:             0 kB
AnonPages:         70528 kB
Mapped:            53936 kB
Shmem:             49788 kB
Slab:             402768 kB
SReclaimable:     374820 kB
SUnreclaim:        27948 kB
KernelStack:        3536 kB
PageTables:         5344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 35584 MiB
End job on node136 at 2018-08-13 21:16:32