Trace number 4307446

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)SAT 362.641 51.2182

General information on the benchmark

NameSportsScheduling/
SportsScheduling-12_c18.xml
MD5SUM7e6479b2a75a5c904a12e855693ae1ca
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.8911
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints114
Number of domains2
Minimum domain size12
Maximum domain size66
Distribution of domain sizes[{"size":12,"count":144},{"size":66,"count":66}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":72},{"degree":4,"count":138}]
Minimum constraint arity1
Maximum constraint arity66
Distribution of constraint arities[{"arity":1,"count":6},{"arity":2,"count":6},{"arity":3,"count":66},{"arity":6,"count":11},{"arity":12,"count":12},{"arity":22,"count":6},{"arity":24,"count":6},{"arity":66,"count":1}]
Number of extensional constraints66
Number of intensional constraints12
Distribution of constraint types[{"type":"extension","count":66},{"type":"intension","count":12},{"type":"allDifferent","count":13},{"type":"count","count":11},{"type":"cardinality","count":12}]
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-16204-serial-file.bin HOME/instance-4307446-1534205528.xml
0.66/0.53	
0.66/0.53	scop both+glucose-syrup (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Tue Aug 14 02:12:09 CEST 2018
0.66/0.55	c PID: 16207
0.66/0.55	c IP: 172.20.3.137
0.66/0.55	c HOST: node137.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.41/0.97	c (0,0) Parsing End
1.41/0.98	c (0,0) CSP: 210 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 66
1.41/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.98	c (0,0) Constraint Name Generate Begin
1.41/0.99	c (0,0) Ctr:HOME/instance-4307446-1534205528.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.41/0.99	c (0,0) Constraint Name Generate End
1.41/0.99	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.99	c (0,0) CSP to CSPinCNF Begin
3.64/1.78	c (1,1) translated 12 (10%) constraints
4.32/1.99	c (1,1) translated 23 (20%) constraints
5.46/2.20	c (1,1) translated 35 (30%) constraints
5.80/2.38	c (1,1) translated 46 (40%) constraints
6.18/2.53	c (2,1) translated 57 (50%) constraints
6.91/2.84	c (2,2) translated 69 (60%) constraints
7.36/2.98	c (2,2) translated 80 (70%) constraints
8.62/3.24	c (2,2) translated 92 (80%) constraints
8.62/3.26	c (2,2) translated 103 (90%) constraints
9.03/3.32	c (2,2) translated 114 (100%) constraints
10.27/3.60	c (3,3) STATISTICS1:HOME/instance-4307446-1534205528.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,7086,30682,8388608,66,66,24,8388608:144;2097152:144;66:1770;32:22;11:798;1:375,66:19740;11:23160;2:46896;1:1980,66:2;12:222;11:66;10:66;9:66;8:66;7:66;6:66;5:66;4:7194;3:8262;2:14301;1:239,24:144;22:144;6:22;2:2943;1:82728;0:66,
10.27/3.60	c (3,3) ==========================================
10.27/3.60	c (3,3) Both Encoding selects:
10.27/3.60	c (3,3) Order
10.27/3.60	c (3,3) ==========================================
10.27/3.68	c (3,3) translated 3069 (10%) constraints
10.68/3.75	c (3,3) translated 6137 (20%) constraints
11.09/3.81	c (3,3) translated 9205 (30%) constraints
11.09/3.86	c (3,3) translated 12273 (40%) constraints
11.49/3.92	c (3,3) translated 15341 (50%) constraints
11.61/4.07	c (3,3) translated 18410 (60%) constraints
11.74/4.12	c (3,3) translated 21478 (70%) constraints
12.07/4.20	c (3,3) translated 24546 (80%) constraints
12.91/4.42	c (3,3) translated 27614 (90%) constraints
14.07/4.71	c (4,4) translated 30682 (100%) constraints
14.07/4.71	c (4,4) CSP to CSPinCNF End
14.07/4.72	c (4,4) CSP: 786 int (576 aux), 8670 bool (8670 aux), 35223 ctr, max domain size 64
14.07/4.72	c (4,4) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.07/4.72	c (4,4) CSPinCNF Propagation Begin
14.98/5.09	c (4,4) 1764 values, 6351 unsatisfiable literals, and 4815 valid clauses are removed
14.98/5.09	c (4,4) CSPinCNF Propagation End
14.98/5.10	c (4,4) CSP: 2088 int (1878 aux), 7368 bool (7368 aux), 30408 ctr, max domain size 64
14.98/5.10	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.98/5.10	c (4,4) Simplify CSPinCNF Begin
15.54/5.28	c (4,4) Simplify CSPinCNF End
15.54/5.28	c (4,4) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
15.54/5.28	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.54/5.28	c (4,4) Calculate Precise Domain Begin
15.81/5.32	c (4,4) 6 values are removed by re-calculation
15.81/5.32	c (4,4) Calculate Precise Domain End
15.81/5.33	c (4,4) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
15.81/5.33	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.81/5.33	c (4,4) CSPinCNF to SatSolver Begin
16.08/5.45	c (4,4) 3588 (10 %) CSP clauses are encoded (19464 SAT variables, 9467 SAT clauses)
16.08/5.48	c (4,4) 7176 (20 %) CSP clauses are encoded (19464 SAT variables, 13055 SAT clauses)
16.48/5.50	c (4,4) 10764 (30 %) CSP clauses are encoded (19464 SAT variables, 16643 SAT clauses)
16.48/5.52	c (4,4) 14352 (40 %) CSP clauses are encoded (19464 SAT variables, 20231 SAT clauses)
16.48/5.54	c (5,4) 17940 (50 %) CSP clauses are encoded (19464 SAT variables, 23819 SAT clauses)
16.72/5.67	c (5,5) 21528 (60 %) CSP clauses are encoded (19464 SAT variables, 50402 SAT clauses)
17.25/6.00	c (5,5) 25116 (70 %) CSP clauses are encoded (19464 SAT variables, 184526 SAT clauses)
17.58/6.21	c (5,5) 28704 (80 %) CSP clauses are encoded (19464 SAT variables, 267505 SAT clauses)
17.92/6.37	c (5,5) 32292 (90 %) CSP clauses are encoded (19464 SAT variables, 285659 SAT clauses)
18.44/6.52	c (5,5) 35880 (100 %) CSP clauses are encoded (19464 SAT variables, 310063 SAT clauses)
18.44/6.52	c (5,5) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
18.44/6.52	c (5,5) CSPinCNF to SatSolver End
18.44/6.52	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.08/6.76	c (6,6) STATISTICS2:HOME/instance-4307446-1534205528.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,14928,35880,256,64,11,9,256:108;128:432;64:3648;32:32;21:45;16:96;14:5;12:15;11:438;10:1020;9:180;8:109;4:36;1:480,64:22908;11:19308;10:4620;8:104;7:104;5:11;4:57;3:1200;2:56592;1:1800,11:120;10:120;9:60;8:60;7:60;6:82;5:60;4:6540;3:6642;2:20964;1:1172,9:576;8:288;6:20;3:282;2:5478;1:87294,
19.08/6.76	c (6,6) 19464 bool, 310073 clause
19.08/6.76	c (6,6) Export Begin
19.46/6.86	c (6,6) Export to HOME/scop-16204-serial-file.bin
19.46/6.86	c (6,6) Export End
19.46/6.86	c (6,6) Export File Size: 0.05 MB
19.46/6.86	c (6,6) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
19.46/6.86	c END-Prog: Tue Aug 14 02:12:15 CEST 2018
19.46/6.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-16204-serial-file.bin
20.15/7.37	c (0,0) Read Serial File Begin
20.15/7.37	c (0,0) HOME/scop-16204-serial-file.bin
20.43/7.56	c (0,0) Read Serial File End
20.43/7.57	
20.43/7.57	scop order+glucose-syrup (2018-07-31)
20.43/7.57	(Solving Process)
20.43/7.57	
20.43/7.60	c BEGIN-Prog: Tue Aug 14 02:12:16 CEST 2018
20.43/7.60	c PID: 16227
20.43/7.60	c IP: 172.20.3.137
20.43/7.60	c HOST: node137.alineos.net
20.59/7.60	c (0,0) SatSolver.solve Begin
20.59/7.60	c (0,0) 0 bool, 0 clause
20.59/7.60	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307446-1534205528.xml-scop-16207.cnf
100.14/18.24	c (10,0) c
100.14/18.24	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
100.14/18.24	c (10,0) c
100.14/18.24	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
100.14/18.24	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
100.14/18.24	c (10,0) c ========================================[ Problem Statistics ]===========================================
100.14/18.24	c (10,0) c |                                                                                                       |
100.14/18.24	c (10,0) c |  Number of variables:         19464                                                                   |
100.14/18.24	c (10,0) c |  Number of clauses:          310073                                                                   |
100.14/18.24	c (10,0) c |  Parse time:                   0.10 s                                                                 |
100.14/18.24	c (10,0) c |                                                                                                       |
100.14/18.24	c (10,0) c |  Eliminated clauses:           0.31 Mb                                                                |
100.14/18.24	c (10,0) c |  Simplification time:          0.45 s                                                                 |
100.14/18.24	c (10,0) c |                                                                                                       |
100.14/18.24	c (10,0) c |  Generating clones                                                                                    |
100.14/18.24	c (10,0) c |  all clones generated. Memory = 201.93Mb.                                                             |
100.14/18.24	c (10,0) c ========================================================================================================|
100.14/18.24	c (10,0) c
100.14/18.24	c (10,0) c |-------------------------------------------------------------------------------------------------------|
100.14/18.24	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
100.14/18.24	c (10,0) c |-------------------------------------------------------------------------------------------------------|
100.14/18.24	c (10,0) c |  0 |    112 |     104080 |      20473 |    74892 |    11639 |     2601 |    22811 |     1626 |  1.433 |
100.14/18.24	c (10,0) c |  1 |    155 |     118099 |      23600 |    81796 |     7355 |     3249 |    22145 |     1778 |  1.428 |
100.14/18.24	c (10,0) c |  2 |    147 |     116584 |      23340 |    79253 |    14472 |     3100 |    22297 |     1879 |  1.428 |
100.14/18.24	c (10,0) c |  3 |    143 |     121801 |      23113 |    82483 |    14251 |     3067 |    22321 |     1811 |  1.428 |
100.14/18.24	c (10,0) c |  4 |    149 |     118625 |      23600 |    83066 |     7373 |     3320 |    21941 |     1859 |  1.428 |
100.14/18.24	c (10,0) c |  5 |    157 |     118664 |      24159 |    83805 |     7921 |     3333 |    21972 |     1866 |  1.428 |
100.14/18.24	c (10,0) c |  6 |    151 |     122661 |      23600 |    81352 |    14755 |     3311 |    22079 |     1936 |  1.428 |
100.14/18.24	c (10,0) c |  7 |    148 |     118947 |      24280 |    81211 |     8073 |     3439 |    21926 |     1868 |  1.428 |
100.14/18.24	c (10,0) c 
100.14/18.24	c (10,0) c synthesis      186167 conflicts    81307747 propagations     4711 conflicts/sec  2057562 propagations/sec
100.14/18.24	c (10,0) c Total Memory so far : 862.36Mb
100.14/18.24	c (10,0) c
100.14/18.24	c (10,0) c |-------------------------------------------------------------------------------------------------------|
100.14/18.24	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
100.14/18.24	c (10,0) c |-------------------------------------------------------------------------------------------------------|
100.14/18.24	c (10,0) c |  0 |    240 |     186285 |      35997 |    99360 |    19760 |     4791 |    40488 |     3448 |  1.762 |
100.14/18.24	c (10,0) c |  1 |    288 |     210614 |      41431 |   106858 |    15290 |     5672 |    39562 |     3661 |  1.757 |
100.14/18.24	c (10,0) c |  2 |    292 |     214802 |      41664 |   104911 |    15542 |     5704 |    39508 |     3796 |  1.757 |
100.14/18.24	c (10,0) c |  3 |    283 |     213064 |      40161 |   106429 |    14010 |     5453 |    39463 |     3573 |  1.757 |
100.14/18.24	c (10,0) c |  4 |    288 |     216304 |      41058 |   107620 |    14915 |     5723 |    39536 |     3725 |  1.757 |
100.14/18.24	c (10,0) c |  5 |    298 |     213404 |      43061 |   108578 |    16926 |     5956 |    39260 |     3834 |  1.757 |
100.14/18.24	c (10,0) c |  6 |    303 |     219198 |      41587 |   106538 |    15462 |     5782 |    39464 |     3870 |  1.757 |
100.14/18.24	c (10,0) c |  7 |    305 |     215770 |      44304 |   107636 |    18190 |     6205 |    39043 |     3880 |  1.757 |
100.14/18.24	c (10,0) c 
203.81/31.24	c (23,0) c synthesis      329263 conflicts   163264521 propagations     4153 conflicts/sec  2059436 propagations/sec
203.81/31.24	c (23,0) c Total Memory so far : 772.57Mb
203.81/31.24	c (23,0) c
203.81/31.24	c (23,0) c |-------------------------------------------------------------------------------------------------------|
203.81/31.24	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
203.81/31.24	c (23,0) c |-------------------------------------------------------------------------------------------------------|
203.81/31.24	c (23,0) c |  0 |    358 |     267745 |      50838 |   115660 |    24709 |     6797 |    55609 |     5025 |  1.834 |
203.81/31.24	c (23,0) c |  1 |    429 |     286666 |      56648 |   122368 |    18076 |     7819 |    54440 |     5350 |  1.829 |
203.81/31.24	c (23,0) c |  2 |    436 |     303867 |      58872 |   122233 |    20324 |     8057 |    54371 |     5694 |  1.829 |
203.81/31.24	c (23,0) c |  3 |    417 |     291095 |      55118 |   122494 |    16548 |     7459 |    54978 |     5251 |  1.829 |
203.81/31.24	c (23,0) c |  4 |    417 |     298992 |      57712 |   123792 |    19143 |     8067 |    54340 |     5647 |  1.829 |
203.81/31.24	c (23,0) c |  5 |    434 |     294341 |      57837 |   124405 |    19279 |     8069 |    54339 |     5618 |  1.829 |
203.81/31.24	c (23,0) c |  6 |    445 |     299802 |      56717 |   122256 |    18147 |     7824 |    54601 |     5596 |  1.829 |
203.81/31.24	c (23,0) c |  7 |    440 |     299435 |      60365 |   123599 |    21805 |     8384 |    54087 |     5715 |  1.829 |
203.81/31.24	c (23,0) c 
203.81/31.24	c (23,0) c synthesis      454108 conflicts   240562324 propagations     3814 conflicts/sec  2020320 propagations/sec
203.81/31.24	c (23,0) c Total Memory so far : 772.57Mb
203.81/31.24	c (23,0) c
203.81/31.24	c (23,0) c |-------------------------------------------------------------------------------------------------------|
203.81/31.24	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
203.81/31.24	c (23,0) c |-------------------------------------------------------------------------------------------------------|
203.81/31.24	c (23,0) c |  0 |    459 |     327933 |      62064 |   125712 |    23510 |     8335 |    66178 |     6231 |  1.911 |
203.81/31.24	c (23,0) c |  1 |    556 |     345794 |      67301 |   131758 |    28720 |     9203 |    65229 |     6669 |  1.906 |
203.81/31.24	c (23,0) c |  2 |    559 |     368531 |      70192 |   131849 |    16616 |     9527 |    64905 |     7044 |  1.906 |
203.81/31.24	c (23,0) c |  3 |    540 |     349310 |      66723 |   132338 |    28144 |     8975 |    65564 |     6642 |  1.906 |
203.81/31.24	c (23,0) c |  4 |    538 |     364893 |      69464 |   133206 |    15868 |     9642 |    64838 |     7031 |  1.906 |
203.81/31.24	c (23,0) c |  5 |    548 |     355018 |      69088 |   133964 |    15530 |     9620 |    64869 |     6946 |  1.906 |
203.81/31.24	c (23,0) c |  6 |    558 |     357904 |      67421 |   131357 |    28838 |     9343 |    65008 |     6962 |  1.906 |
203.81/31.24	c (23,0) c |  7 |    555 |     360184 |      71347 |   132704 |    17773 |     9894 |    64645 |     7137 |  1.906 |
203.81/31.24	c (23,0) c 
203.81/31.24	c (23,0) c synthesis      543600 conflicts   300306652 propagations     3601 conflicts/sec  1989327 propagations/sec
203.81/31.24	c (23,0) c Total Memory so far : 772.57Mb
203.81/31.24	c (23,0) c
203.81/31.24	c (23,0) c |-------------------------------------------------------------------------------------------------------|
203.81/31.24	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
203.81/31.24	c (23,0) c |-------------------------------------------------------------------------------------------------------|
203.81/31.24	c (23,0) c |  0 |    573 |     381271 |      72931 |   134116 |    19369 |     9668 |    76089 |     7386 |  1.952 |
203.81/31.24	c (23,0) c |  1 |    670 |     403644 |      78089 |   139842 |    24508 |    10657 |    75120 |     7792 |  1.947 |
203.81/31.24	c (23,0) c |  2 |    687 |     431820 |      82017 |   140057 |    28436 |    11034 |    74767 |     8290 |  1.947 |
203.81/31.24	c (23,0) c |  3 |    656 |     407327 |      77458 |   140143 |    23876 |    10268 |    75493 |     7758 |  1.947 |
203.81/31.24	c (23,0) c |  4 |    652 |     426533 |      81385 |   141487 |    27785 |    11128 |    74617 |     8219 |  1.947 |
203.81/31.24	c (23,0) c |  5 |    665 |     414347 |      80263 |   142248 |    26694 |    10962 |    74852 |     8094 |  1.947 |
203.81/31.24	c (23,0) c |  6 |    675 |     419095 |      78766 |   139568 |    25172 |    10789 |    75025 |     8171 |  1.947 |
203.81/31.24	c (23,0) c |  7 |    685 |     421874 |      82833 |   140409 |    29251 |    11312 |    74439 |     8373 |  1.947 |
203.81/31.24	c (23,0) c 
203.81/31.24	c (23,0) c synthesis      633742 conflicts   361223914 propagations     3467 conflicts/sec  1975949 propagations/sec
307.57/44.24	c (36,0) c Total Memory so far : 772.57Mb
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c |-------------------------------------------------------------------------------------------------------|
307.57/44.24	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
307.57/44.24	c (36,0) c |-------------------------------------------------------------------------------------------------------|
307.57/44.24	c (36,0) c |  0 |    685 |     436666 |      83261 |   141255 |    29697 |    10959 |    85554 |     8606 |  1.978 |
307.57/44.24	c (36,0) c |  1 |    794 |     456638 |      88399 |   146692 |    34814 |    11963 |    84495 |     9110 |  1.973 |
307.57/44.24	c (36,0) c |  2 |    819 |     493471 |      92945 |   146926 |    21768 |    12440 |    84074 |     9623 |  1.973 |
307.57/44.24	c (36,0) c |  3 |    774 |     460830 |      87535 |   146498 |    33942 |    11541 |    84966 |     8974 |  1.973 |
307.57/44.24	c (36,0) c |  4 |    768 |     479735 |      92545 |   148326 |    21372 |    12537 |    83952 |     9338 |  1.973 |
307.57/44.24	c (36,0) c |  5 |    785 |     469721 |      90284 |   148251 |    19116 |    12135 |    84356 |     9345 |  1.973 |
307.57/44.24	c (36,0) c |  6 |    795 |     472230 |      89600 |   146285 |    18425 |    12170 |    84330 |     9487 |  1.973 |
307.57/44.24	c (36,0) c |  7 |    797 |     476823 |      94698 |   147176 |    23518 |    12773 |    83724 |     9605 |  1.973 |
307.57/44.24	c (36,0) c 
307.57/44.24	c (36,0) c synthesis      719267 conflicts   418776982 propagations     3350 conflicts/sec  1950386 propagations/sec
307.57/44.24	c (36,0) c Total Memory so far : 772.57Mb
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c Try to adapt solver strategies
307.57/44.24	c (36,0) c 
307.57/44.24	c (36,0) c Nothing extreme in this problem, continue with glucose default strategies.
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c Try to adapt solver strategies
307.57/44.24	c (36,0) c 
307.57/44.24	c (36,0) c Nothing extreme in this problem, continue with glucose default strategies.
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c Try to adapt solver strategies
307.57/44.24	c (36,0) c 
307.57/44.24	c (36,0) c Nothing extreme in this problem, continue with glucose default strategies.
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c |-------------------------------------------------------------------------------------------------------|
307.57/44.24	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
307.57/44.24	c (36,0) c |-------------------------------------------------------------------------------------------------------|
307.57/44.24	c (36,0) c |  0 |    825 |     505505 |      95832 |   148679 |    24660 |    12457 |    96947 |    10021 |  2.004 |
307.57/44.24	c (36,0) c |  1 |    947 |     520458 |     101692 |   154129 |    30510 |    13550 |    95851 |    10444 |  1.999 |
307.57/44.24	c (36,0) c |  2 |    966 |     566808 |     106477 |   154142 |    35290 |    14070 |    95222 |    11118 |  1.999 |
307.57/44.24	c (36,0) c |  3 |    926 |     526095 |     100607 |   153749 |    29401 |    13113 |    96312 |    10297 |  1.999 |
307.57/44.24	c (36,0) c |  4 |    925 |     547217 |     106148 |   155513 |    34949 |    14254 |    95048 |    10833 |  1.999 |
307.57/44.24	c (36,0) c |  5 |    932 |     540207 |     104677 |   155553 |    33490 |    13863 |    95519 |    10792 |  1.999 |
307.57/44.24	c (36,0) c |  6 |    950 |     548247 |     102619 |   153466 |    31431 |    13712 |    95680 |    10975 |  1.999 |
307.57/44.24	c (36,0) c |  7 |    938 |     542309 |     108193 |   154268 |    36996 |    14414 |    94981 |    11096 |  1.999 |
307.57/44.24	c (36,0) c 
307.57/44.24	c (36,0) c synthesis      826245 conflicts   491633282 propagations     3246 conflicts/sec  1931610 propagations/sec
307.57/44.24	c (36,0) c Total Memory so far : 772.57Mb
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c Try to adapt solver strategies
307.57/44.24	c (36,0) c 
307.57/44.24	c (36,0) c Nothing extreme in this problem, continue with glucose default strategies.
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c
307.57/44.24	c (36,0) c |-------------------------------------------------------------------------------------------------------|
307.57/44.24	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
307.57/44.24	c (36,0) c |-------------------------------------------------------------------------------------------------------|
307.57/44.24	c (36,0) c |  0 |    948 |     559265 |     106027 |   153925 |    34853 |    13703 |   105137 |    11212 |  2.014 |
307.57/44.24	c (36,0) c |  1 |   1055 |     571421 |     111291 |   158632 |    40104 |    14667 |   104293 |    11739 |  2.009 |
307.57/44.24	c (36,0) c |  2 |   1087 |     624759 |     117266 |   158917 |    25882 |    15349 |   103598 |    12349 |  2.009 |
307.57/44.24	c (36,0) c |  3 |   1039 |     574597 |     110306 |   158309 |    39098 |    14264 |   104657 |    11600 |  2.009 |
307.57/44.24	c (36,0) c |  4 |   1044 |     596157 |     116340 |   160533 |    24939 |    15366 |   103557 |    11957 |  2.009 |
361.79/51.06	c (43,0) c |  5 |   1053 |     590466 |     114884 |   160175 |    23493 |    15059 |   103852 |    12043 |  2.009 |
361.79/51.06	c (43,0) c |  6 |   1057 |     596527 |     112936 |   158064 |    21559 |    14958 |   103990 |    12245 |  2.009 |
361.79/51.06	c (43,0) c |  7 |   1056 |     590535 |     119248 |   159151 |    27878 |    15605 |   103265 |    12199 |  2.009 |
361.79/51.06	c (43,0) c 
361.79/51.06	c (43,0) c synthesis      908300 conflicts   546932785 propagations     3172 conflicts/sec  1909736 propagations/sec
361.79/51.07	c (43,0) c Total Memory so far : 772.57Mb
361.79/51.07	c (43,0) c
361.79/51.07	c (43,0) c |-------------------------------------------------------------------------------------------------------|
361.79/51.07	c (43,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
361.79/51.07	c (43,0) c |-------------------------------------------------------------------------------------------------------|
361.79/51.07	c (43,0) c |  0 |   1085 |     622007 |     117837 |   159501 |    26458 |    15047 |   115160 |    12563 |  2.076 |
361.79/51.07	c (43,0) c |  1 |   1206 |     633587 |     124353 |   164234 |    32956 |    16082 |   114133 |    12986 |  2.070 |
361.79/51.07	c (43,0) c |  2 |   1259 |     687914 |     130334 |   164486 |    38939 |    16764 |   113427 |    13730 |  2.070 |
361.79/51.07	c (43,0) c |  3 |   1193 |     633150 |     122210 |   163611 |    30798 |    15623 |   114594 |    12783 |  2.071 |
361.79/51.07	c (43,0) c |  4 |   1195 |     658849 |     130220 |   165967 |    38808 |    16913 |   113243 |    13463 |  2.071 |
361.79/51.07	c (43,0) c |  5 |   1201 |     653193 |     127718 |   165638 |    36316 |    16462 |   113734 |    13306 |  2.070 |
361.79/51.07	c (43,0) c |  6 |   1208 |     658441 |     125685 |   163599 |    34293 |    16349 |   113863 |    13495 |  2.071 |
361.79/51.07	c (43,0) c |  7 |   1206 |     651306 |     132033 |   164213 |    40657 |    16985 |   113205 |    13656 |  2.071 |
361.79/51.07	c (43,0) c 
361.79/51.07	c (43,0) c synthesis     1010391 conflicts   616709382 propagations     3098 conflicts/sec  1890615 propagations/sec
361.79/51.07	c (43,0) c Total Memory so far : 772.57Mb
361.79/51.07	c (43,0) c last restart ## conflicts  :  42 91 
361.79/51.07	c (43,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
361.79/51.07	c (43,0) c Total Memory so far : 772.57Mb
361.79/51.07	c (43,0) c
361.79/51.07	c (43,0) c real time : 43.4396 s
361.79/51.07	c (43,0) c cpu time  : 340.753 s
361.79/51.07	c (43,0) c
361.79/51.07	c (43,0) c
361.79/51.07	c (43,0) c
361.79/51.07	c (43,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
361.79/51.07	c (43,0) c
361.79/51.07	c (43,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
361.79/51.07	c (43,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
361.79/51.07	c (43,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
361.79/51.07	c (43,0) c | Conflicts     |         1045518 |     122276 |     128601 |     134856 |     126758 |     134423 |     132034 |     130247 |     136323 |
361.79/51.07	c (43,0) c | Decisions     |         5360924 |     643835 |     655416 |     709074 |     652440 |     678085 |     673880 |     677894 |     670300 |
361.79/51.07	c (43,0) c | Propagations  |       640691259 |   75470360 |   78619484 |   83591708 |   78197067 |   81250665 |   80763257 |   80648104 |   82150614 |
361.79/51.07	c (43,0) c | Avg_Trail     |                 |       6495 |       6540 |       6538 |       6568 |       6498 |       6505 |       6548 |       6499 |
361.79/51.07	c (43,0) c | Avg_DL        |                 |         97 |         97 |         99 |         97 |         94 |         98 |         97 |         96 |
361.79/51.07	c (43,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
361.79/51.07	c (43,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
361.79/51.07	c (43,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
361.79/51.07	c (43,0) c | Exported      |          134134 |      15458 |      16550 |      17303 |      16131 |      17423 |      16917 |      16876 |      17476 |
361.79/51.07	c (43,0) c | Imported      |          938454 |     118620 |     117547 |     116749 |     117857 |     116677 |     117187 |     117224 |     116593 |
361.79/51.07	c (43,0) c | Good          |           38715 |       4858 |       4834 |       4821 |       4843 |       4835 |       4860 |       4786 |       4878 |
361.79/51.07	c (43,0) c | Purge         |          899739 |     113762 |     112713 |     111928 |     113014 |     111842 |     112327 |     112438 |     111715 |
361.79/51.07	c (43,0) c | Promoted      |          110026 |      13001 |      13458 |      14256 |      13279 |      13987 |      13825 |      14014 |      14206 |
361.79/51.07	c (43,0) c | Remove_Imp    |          485712 |      68255 |      62411 |      57501 |      63831 |      57772 |      59495 |      60791 |      55656 |
361.79/51.07	c (43,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
361.79/51.07	c (43,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
361.79/51.07	c (43,0) c | Unaries       |                 |         33 |         33 |         32 |         46 |         38 |         27 |         35 |         30 |
361.79/51.07	c (43,0) c | Binaries      |                 |        673 |        697 |        710 |        686 |        697 |        671 |        745 |        653 |
361.79/51.07	c (43,0) c | Glues         |                 |       2479 |       2567 |       2694 |       2480 |       2681 |       2553 |       2703 |       2552 |
361.79/51.07	c (43,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
361.79/51.07	c (43,0) c | Orig_Seen     |            53 % |     161346 |     165876 |     166114 |     165436 |     167738 |     167213 |     165232 |     165816 |
361.79/51.07	c (43,0) c | Diff Orig seen|                 | -     3886 |        644 |        882 |        204 |       2506 |       1981 |      X     |        584 |
361.79/51.07	c (43,0) c | Hamming       |            15 % |       2988 |       2561 |       2900 |       3539 |       3021 |       3223 |      X     |       3066 |
361.79/51.07	c (43,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
361.79/51.07	c (43,0) 
361.79/51.07	c (43,0) s SATISFIABLE
361.79/51.11	c (43,0) SatSolver.solve End
361.79/51.11	c (43,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
361.79/51.11	c (43,0) Show results Begin
362.39/51.18	s SATISFIABLE
362.39/51.19	v <instantiation>
362.39/51.19	v     <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5]</list>
362.39/51.19	v     <values>0 1 5 6 3 2 4 4 2 3 0 2 0 4 7 9 8 1 0 3 6 1 4 3 0 2 6 0 5 1 7 1 9 6 8 1 0 2 1 0 3 5 5 4 8 4 2 3 1 7 3 5 1 0 2 10 5 7 1 0 4 2 6 0 2 3 1 9 10 9 7 5 10 7 8 8 11 3 2 9 10 11 10 6 8 4 11 5 5 10 3 11 8 6 8 2 11 7 10 7 11 11 4 10 3 7 9 6 9 8 9 6 6 5 4 9 11 11 10 10 7 11 7 8 8 5 11 9 10 9 4 6 0 18 49 53 33 23 43 40 26 34 10 21 1 42 58 64 61 15 7 30 55 14 38 36 2 29 52 5 47 11 59 16 63 51 62 20 3 28 12 6 35 45 48 41 60 39 24 31 13 57 37 50 19 9 25 65 46 56 17 4 44 27 54 8 22 32 6 5 4 2 0 1 11 7 9 10 8 3</values>
362.39/51.19	v </instantiation>
362.39/51.19	c (43,0) Show results End
362.39/51.19	c (43,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
362.39/51.19	c (43,0) 43,43,STOP-AFTER(ALL)
362.39/51.19	c END-Prog: Tue Aug 14 02:12:59 CEST 2018

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12280 MiB free)
  memory of node 1: 16384 MiB (11689 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100133 s]*
/proc/loadavg: 7.58 8.13 8.26 2/200 16226
/proc/meminfo: memFree=24445732/32770624 swapFree=67108372/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 15656 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 238115991 115843072 349 33554432000 4194304 5098028 140734608841264 140734608838520 140228369191548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23150592 140734608843811 140734608844035 140734608844035 140734608846797 0
/proc/16204/statm: 28282 349 296 221 0 87 0
[pid=16207] ppid=16204 vsize=27313900 memory=111684 CPUtime=0.1 cores=0-7
/proc/16207/stat : 16207 (java) S 16204 16204 15656 0 -1 1077944320 6356 0 0 0 8 2 0 0 20 0 20 0 238115991 27969433600 27921 33554432000 4194304 4196468 140724867527776 140724867510320 140067329707767 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
/proc/16207/statm: 6828475 27921 2742 1 0 6790935 0
[pid=16207/tid=16208] ppid=16204 vsize=27313900 memory=7825737110625624215 CPUtime=0.09 cores=0-7
/proc/16207/task/16208/stat : 16208 (java) R 16204 16204 15656 0 -1 4202560 4519 0 0 0 7 2 0 0 20 0 20 0 238115991 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067301539968 140067313788254 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16209] ppid=16204 vsize=27313900 memory=732369950625614821 CPUtime=0 cores=0-7
/proc/16207/task/16209/stat : 16209 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067333949712 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16210] ppid=16204 vsize=27313900 memory=139812288161408 CPUtime=0 cores=0-7
/proc/16207/task/16210/stat : 16210 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067148106128 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16211] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16211/stat : 16211 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067147053584 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16212] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16212/stat : 16212 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067146001040 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16213] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16213/stat : 16213 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067144948496 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16214] ppid=16204 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16214/stat : 16214 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067143895952 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16215] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16215/stat : 16215 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067142843408 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16216] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16216/stat : 16216 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 27986 33554432000 4194304 4196468 140724867527776 140067141790864 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16217] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16217/stat : 16217 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115995 27969433600 27986 33554432000 4194304 4196468 140724867527776 140065380444144 140067329718914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16218] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16218/stat : 16218 (java) S 16204 16204 15656 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238115996 27969433600 27986 33554432000 4194304 4196468 140724867527776 140065258857376 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16219] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16219/stat : 16219 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115996 27969433600 27986 33554432000 4194304 4196468 140724867527776 140064990422000 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16220] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16220/stat : 16220 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 27986 33554432000 4194304 4196468 140724867527776 140064615913680 140067329726363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16221] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16221/stat : 16221 (java) S 16204 16204 15656 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 27986 33554432000 4194304 4196468 140724867527776 140065379391984 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16222] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16222/stat : 16222 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 27986 33554432000 4194304 4196468 140724867527776 140065378339440 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16223] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16223/stat : 16223 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 27986 33554432000 4194304 4196468 140724867527776 140065377286896 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16224] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16224/stat : 16224 (java) S 16204 16204 15656 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 27986 33554432000 4194304 4196468 140724867527776 140065376234352 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16225] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16225/stat : 16225 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238115999 27969433600 27986 33554432000 4194304 4196468 140724867527776 140064118008032 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16226] ppid=16204 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16226/stat : 16226 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115999 27969433600 27986 33554432000 4194304 4196468 140724867527776 140065375181232 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 113080 KiB

[startup+0.210509 s]*
/proc/loadavg: 7.58 8.13 8.26 2/200 16226
/proc/meminfo: memFree=24426880/32770624 swapFree=67108372/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 15656 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 238115991 115843072 349 33554432000 4194304 5098028 140734608841264 140734608838520 140228369191548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23150592 140734608843811 140734608844035 140734608844035 140734608846797 0
/proc/16204/statm: 28282 349 296 221 0 87 0
[pid=16207] ppid=16204 vsize=27313900 memory=128596 CPUtime=0.24 cores=0-7
/proc/16207/stat : 16207 (java) S 16204 16204 15656 0 -1 1077944320 10803 0 0 0 21 3 0 0 20 0 20 0 238115991 27969433600 32149 33554432000 4194304 4196468 140724867527776 140724867510320 140067329707767 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
/proc/16207/statm: 6828475 32149 2898 1 0 6790935 0
[pid=16207/tid=16208] ppid=16204 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/16207/task/16208/stat : 16208 (java) R 16204 16204 15656 0 -1 4202560 8717 0 0 0 17 2 0 0 20 0 20 0 238115991 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067301511088 140067329729693 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16209] ppid=16204 vsize=27313900 memory=732369950625614821 CPUtime=0 cores=0-7
/proc/16207/task/16209/stat : 16209 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067333949712 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16210] ppid=16204 vsize=27313900 memory=139812288161408 CPUtime=0 cores=0-7
/proc/16207/task/16210/stat : 16210 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067148106128 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16211] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16211/stat : 16211 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067147053584 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16212] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16212/stat : 16212 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067146001040 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16213] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16213/stat : 16213 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067144948496 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16214] ppid=16204 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16214/stat : 16214 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067143895952 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16215] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16215/stat : 16215 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067142843408 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16216] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16216/stat : 16216 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32149 33554432000 4194304 4196468 140724867527776 140067141790864 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16217] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16217/stat : 16217 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115995 27969433600 32149 33554432000 4194304 4196468 140724867527776 140065380444144 140067329718914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16218] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16218/stat : 16218 (java) S 16204 16204 15656 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238115996 27969433600 32149 33554432000 4194304 4196468 140724867527776 140065258857376 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16219] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16219/stat : 16219 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115996 27969433600 32149 33554432000 4194304 4196468 140724867527776 140064990422000 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16220] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16220/stat : 16220 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 32149 33554432000 4194304 4196468 140724867527776 140064615913680 140067329726363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16221] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16221/stat : 16221 (java) S 16204 16204 15656 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 32149 33554432000 4194304 4196468 140724867527776 140065379391984 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16222] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16222/stat : 16222 (java) S 16204 16204 15656 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 32149 33554432000 4194304 4196468 140724867527776 140065378339440 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16223] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16223/stat : 16223 (java) S 16204 16204 15656 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 32149 33554432000 4194304 4196468 140724867527776 140065377286896 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16224] ppid=16204 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/16207/task/16224/stat : 16224 (java) R 16204 16204 15656 0 -1 4202560 274 0 0 0 2 0 0 0 20 0 20 0 238115998 27969433600 32149 33554432000 4194304 4196468 140724867527776 140065376234352 140067308655643 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16225] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16225/stat : 16225 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238115999 27969433600 32149 33554432000 4194304 4196468 140724867527776 140064118008032 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16226] ppid=16204 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16226/stat : 16226 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115999 27969433600 32149 33554432000 4194304 4196468 140724867527776 140065375181232 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129992 KiB

[startup+0.310412 s]*
/proc/loadavg: 7.58 8.13 8.26 2/200 16226
/proc/meminfo: memFree=24423600/32770624 swapFree=67108372/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 15656 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 238115991 115843072 349 33554432000 4194304 5098028 140734608841264 140734608838520 140228369191548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23150592 140734608843811 140734608844035 140734608844035 140734608846797 0
/proc/16204/statm: 28282 349 296 221 0 87 0
[pid=16207] ppid=16204 vsize=27313900 memory=131980 CPUtime=0.42 cores=0-7
/proc/16207/stat : 16207 (java) S 16204 16204 15656 0 -1 1077944320 11269 0 0 0 38 4 0 0 20 0 20 0 238115991 27969433600 32995 33554432000 4194304 4196468 140724867527776 140724867510320 140067329707767 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
/proc/16207/statm: 6828475 32995 2968 1 0 6790935 0
[pid=16207/tid=16208] ppid=16204 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16207/task/16208/stat : 16208 (java) R 16204 16204 15656 0 -1 4202560 9019 0 0 0 26 3 0 0 20 0 20 0 238115991 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067301503216 140067313788254 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16209] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16209/stat : 16209 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067333949712 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16210] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16210/stat : 16210 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067148106128 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16211] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16211/stat : 16211 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067147053584 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16212] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16212/stat : 16212 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067146001040 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16213] ppid=16204 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/16207/task/16213/stat : 16213 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067144948496 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16214] ppid=16204 vsize=27313900 memory=139812191433647 CPUtime=0 cores=0-7
/proc/16207/task/16214/stat : 16214 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067143895952 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16215] ppid=16204 vsize=27313900 memory=139812191435952 CPUtime=0 cores=0-7
/proc/16207/task/16215/stat : 16215 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067142843408 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16216] ppid=16204 vsize=27313900 memory=139812191438256 CPUtime=0 cores=0-7
/proc/16207/task/16216/stat : 16216 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27969433600 32995 33554432000 4194304 4196468 140724867527776 140067141790864 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16217] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16217/stat : 16217 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115995 27969433600 32995 33554432000 4194304 4196468 140724867527776 140065380444144 140067329718914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16218] ppid=16204 vsize=27313900 memory=279624382883472 CPUtime=0 cores=0-7
/proc/16207/task/16218/stat : 16218 (java) S 16204 16204 15656 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238115996 27969433600 32995 33554432000 4194304 4196468 140724867527776 140065258857376 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16219] ppid=16204 vsize=27313900 memory=279624382890384 CPUtime=0 cores=0-7
/proc/16207/task/16219/stat : 16219 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115996 27969433600 32995 33554432000 4194304 4196468 140724867527776 140064990422000 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16220] ppid=16204 vsize=27313900 memory=279624382831664 CPUtime=0 cores=0-7
/proc/16207/task/16220/stat : 16220 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115998 27969433600 32995 33554432000 4194304 4196468 140724867527776 140064615913680 140067329726363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16221] ppid=16204 vsize=27313900 memory=279624382904208 CPUtime=0.01 cores=0-7
/proc/16207/task/16221/stat : 16221 (java) S 16204 16204 15656 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 238115998 27969433600 32995 33554432000 4194304 4196468 140724867527776 140065379391984 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16222] ppid=16204 vsize=27313900 memory=279624382911120 CPUtime=0.01 cores=0-7
/proc/16207/task/16222/stat : 16222 (java) S 16204 16204 15656 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 238115998 27969433600 32995 33554432000 4194304 4196468 140724867527776 140065378339440 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16223] ppid=16204 vsize=27313900 memory=279624382908816 CPUtime=0.01 cores=0-7
/proc/16207/task/16223/stat : 16223 (java) S 16204 16204 15656 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 238115998 27969433600 32995 33554432000 4194304 4196468 140724867527776 140065377286896 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16224] ppid=16204 vsize=27313900 memory=279624382924976 CPUtime=0.07 cores=0-7
/proc/16207/task/16224/stat : 16224 (java) S 16204 16204 15656 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 20 0 238115998 27969433600 32995 33554432000 4194304 4196468 140724867527776 140065376234352 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16225] ppid=16204 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16225/stat : 16225 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238115999 27969433600 32995 33554432000 4194304 4196468 140724867527776 140064118008032 140067329717973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16226] ppid=16204 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16226/stat : 16226 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115999 27969433600 32995 33554432000 4194304 4196468 140724867527776 140065375181232 140067329718914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 133376 KiB

[startup+0.701025 s]
/proc/loadavg: 7.58 8.13 8.26 2/200 16226
/proc/meminfo: memFree=24401772/32770624 swapFree=67108372/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 15656 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 238115991 115843072 349 33554432000 4194304 5098028 140734608841264 140734608838520 140228369191548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23150592 140734608843811 140734608844035 140734608844035 140734608846797 0
/proc/16204/statm: 28282 349 296 221 0 87 0
[pid=16207] ppid=16204 vsize=27322296 memory=167884 CPUtime=1.01 cores=0-7
/proc/16207/stat : 16207 (java) S 16204 16204 15656 0 -1 1077944320 17919 0 0 0 95 6 0 0 20 0 20 0 238115991 27978031104 41971 33554432000 4194304 4196468 140724867527776 140724867510320 140067329707767 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
/proc/16207/statm: 6830574 41971 3162 1 0 6791959 0
[pid=16207/tid=16208] ppid=16204 vsize=27322296 memory=279624383219904 CPUtime=0.66 cores=0-7
/proc/16207/task/16208/stat : 16208 (java) R 16204 16204 15656 0 -1 4202560 15110 0 0 0 62 4 0 0 20 0 20 0 238115991 27978031104 41971 33554432000 4194304 4196468 140724867527776 140067301540496 140067313751397 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16209] ppid=16204 vsize=27322296 memory=5540 CPUtime=0 cores=0-7
/proc/16207/task/16209/stat : 16209 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238115994 27978031104 41971 33554432000 4194304 4196468 140724867527776 140067333949712 140067329717973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16210] ppid=16204 vsize=27322296 memory=4400 CPUtime=0 cores=0-7
/proc/16207/task/16210/stat : 16210 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27978031104 41971 33554432000 4194304 4196468 140724867527776 140067148106128 140067329717973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0
[pid=16207/tid=16211] ppid=16204 vsize=27322296 memory=1620 CPUtime=0 cores=0-7
/proc/16207/task/16211/stat : 16211 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238115994 27978031104 41971 33554432000 4194304 4196468 140724867527776 140067147053584 140067329717973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10248192 140724867531753 140724867532077 140724867532077 140724867534799 0

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

[pid=16227/tid=16231] ppid=16204 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/16227/task/16231/stat : 16231 (java) S 16204 16204 15656 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 238116681 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380726705168 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16232] ppid=16204 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/16227/task/16232/stat : 16232 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238116681 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380725652624 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16233] ppid=16204 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/16227/task/16233/stat : 16233 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238116681 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380724599056 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16234] ppid=16204 vsize=8413904 memory=9249 CPUtime=0 cores=0-7
/proc/16227/task/16234/stat : 16234 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238116681 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380723546512 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16235] ppid=16204 vsize=8413904 memory=4420 CPUtime=0 cores=0-7
/proc/16227/task/16235/stat : 16235 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238116681 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380722493968 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16236] ppid=16204 vsize=8413904 memory=6628 CPUtime=0 cores=0-7
/proc/16227/task/16236/stat : 16236 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238116681 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380721441424 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16237] ppid=16204 vsize=8413904 memory=8836 CPUtime=0 cores=0-7
/proc/16227/task/16237/stat : 16237 (java) S 16204 16204 15656 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 238116682 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380672170480 140381243112066 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16238] ppid=16204 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/16227/task/16238/stat : 16238 (java) S 16204 16204 15656 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 238116683 8615837696 29782 33554432000 4194304 4196468 140722852860096 140379865212320 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16239] ppid=16204 vsize=8413904 memory=119128 CPUtime=0 cores=0-7
/proc/16227/task/16239/stat : 16239 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238116683 8615837696 29782 33554432000 4194304 4196468 140722852860096 140379596776944 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16240] ppid=16204 vsize=8413904 memory=382980 CPUtime=0 cores=0-7
/proc/16227/task/16240/stat : 16240 (java) S 16204 16204 15656 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238116685 8615837696 29782 33554432000 4194304 4196468 140722852860096 140379222268624 140381243119515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16241] ppid=16204 vsize=8413904 memory=16209 CPUtime=0.04 cores=0-7
/proc/16227/task/16241/stat : 16241 (java) S 16204 16204 15656 0 -1 1077944384 458 0 0 0 4 0 0 0 20 0 24 0 238116685 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380334974960 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16242] ppid=16204 vsize=8413904 memory=64468 CPUtime=0.05 cores=0-7
/proc/16227/task/16242/stat : 16242 (java) S 16204 16204 15656 0 -1 1077944384 275 0 0 0 5 0 0 0 20 0 24 0 238116685 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380333922416 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16243] ppid=16204 vsize=8413904 memory=1100 CPUtime=0.07 cores=0-7
/proc/16227/task/16243/stat : 16243 (java) S 16204 16204 15656 0 -1 1077944384 319 0 0 0 7 0 0 0 20 0 24 0 238116685 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380332869872 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16244] ppid=16204 vsize=8413904 memory=2144 CPUtime=0.21 cores=0-7
/proc/16227/task/16244/stat : 16244 (java) S 16204 16204 15656 0 -1 1077944384 587 0 0 0 21 0 0 0 20 0 24 0 238116685 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380331817328 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16245] ppid=16204 vsize=8413904 memory=1752 CPUtime=0 cores=0-7
/proc/16227/task/16245/stat : 16245 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238116685 8615837696 29782 33554432000 4194304 4196468 140722852860096 140378724362976 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16246] ppid=16204 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/16227/task/16246/stat : 16246 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238116686 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380330765232 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16248] ppid=16204 vsize=8413904 memory=319332 CPUtime=0 cores=0-7
/proc/16227/task/16248/stat : 16248 (java) S 16204 16204 15656 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 238116753 8615837696 29782 33554432000 4194304 4196468 140722852860096 140380670785216 140381243125529 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16250] ppid=16204 vsize=8413904 memory=1642020 CPUtime=0 cores=0-7
/proc/16227/task/16250/stat : 16250 (java) S 16204 16204 15656 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 238116754 8615837696 29782 33554432000 4194304 4196468 140722852860096 140378053262608 140381243122845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16251] ppid=16204 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/16227/task/16251/stat : 16251 (java) S 16204 16204 15656 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 238116754 8615837696 29782 33554432000 4194304 4196468 140722852860096 140378321698192 140381243122845 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16252] ppid=16204 vsize=8413904 memory=119128 CPUtime=0 cores=0-7
/proc/16227/task/16252/stat : 16252 (java) S 16204 16204 15656 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238116755 8615837696 29782 33554432000 4194304 4196468 140722852860096 140377784835232 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
Current children cumulated CPU time: 158.36 s
Current children cumulated vsize: 9318140 KiB
Current children cumulated memory: 518744 KiB

[startup+51.114 s]
/proc/loadavg: 7.46 7.97 8.20 9/213 16260
/proc/meminfo: memFree=23898636/32770624 swapFree=67108372/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1472 CPUtime=19.6 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 15656 0 -1 4202496 589 40520 0 0 0 0 1909 51 20 0 1 0 238115991 115843072 368 33554432000 4194304 5098028 140734608841264 140734608838008 140228369191548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23150592 140734608843811 140734608844035 140734608844035 140734608846797 0
/proc/16204/statm: 28282 368 311 221 0 87 0
[pid=16227] ppid=16204 vsize=8282828 memory=127196 CPUtime=342.79 cores=0-7
/proc/16227/stat : 16227 (java) S 16204 16204 15656 0 -1 1077944320 19567 266514 0 0 129 6 34075 69 20 0 22 0 238116679 8481615872 31799 33554432000 4194304 4196468 140722852860096 140722852842640 140381243100919 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
/proc/16227/statm: 2070707 31799 3164 1 0 2032106 0
[pid=16227/tid=16228] ppid=16204 vsize=8282828 memory=478876 CPUtime=342.2 cores=0-7
/proc/16227/task/16228/stat : 16228 (java) R 16204 16204 15656 0 -1 4202560 15580 266514 0 0 72 4 34075 69 20 0 22 0 238116679 8481615872 31799 33554432000 4194304 4196468 140722852860096 140381214941072 140722853390274 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16229] ppid=16204 vsize=8282828 memory=1472 CPUtime=341.44 cores=0-7
/proc/16227/task/16229/stat : 16229 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 22 0 238116681 8481615872 31799 33554432000 4194304 4196468 140722852860096 140381247343376 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16230] ppid=16204 vsize=8282828 memory=119784 CPUtime=341.44 cores=0-7
/proc/16227/task/16230/stat : 16230 (java) S 16204 16204 15656 0 -1 1077944384 2 266514 0 0 0 0 34075 69 20 0 22 0 238116681 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380727757712 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16231] ppid=16204 vsize=8282828 memory=0 CPUtime=341.44 cores=0-7
/proc/16227/task/16231/stat : 16231 (java) S 16204 16204 15656 0 -1 1077944384 2 266514 0 0 0 0 34075 69 20 0 22 0 238116681 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380726705168 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16232] ppid=16204 vsize=8282828 memory=4420 CPUtime=341.44 cores=0-7
/proc/16227/task/16232/stat : 16232 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 22 0 238116681 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380725652624 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16233] ppid=16204 vsize=8282828 memory=6628 CPUtime=341.44 cores=0-7
/proc/16227/task/16233/stat : 16233 (java) S 16204 16204 15656 0 -1 1077944384 3 266514 0 0 0 0 34075 69 20 0 22 0 238116681 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380724599056 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16234] ppid=16204 vsize=8282828 memory=0 CPUtime=341.44 cores=0-7
/proc/16227/task/16234/stat : 16234 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 22 0 238116681 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380723546512 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16235] ppid=16204 vsize=8282828 memory=121 CPUtime=341.44 cores=0-7
/proc/16227/task/16235/stat : 16235 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 22 0 238116681 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380722493968 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16236] ppid=16204 vsize=8282828 memory=26595 CPUtime=341.44 cores=0-7
/proc/16227/task/16236/stat : 16236 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 22 0 238116681 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380721441424 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16237] ppid=16204 vsize=8282828 memory=532248 CPUtime=341.44 cores=0-7
/proc/16227/task/16237/stat : 16237 (java) S 16204 16204 15656 0 -1 1077944384 8 266514 0 0 0 0 34075 69 20 0 22 0 238116682 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380672170480 140381243112066 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16238] ppid=16204 vsize=8282828 memory=0 CPUtime=341.44 cores=0-7
/proc/16227/task/16238/stat : 16238 (java) S 16204 16204 15656 0 -1 1077944384 13 266514 0 0 0 0 34075 69 20 0 22 0 238116683 8481615872 31799 33554432000 4194304 4196468 140722852860096 140379865212320 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16239] ppid=16204 vsize=8282828 memory=1472 CPUtime=341.44 cores=0-7
/proc/16227/task/16239/stat : 16239 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 22 0 238116683 8481615872 31799 33554432000 4194304 4196468 140722852860096 140379596776944 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16240] ppid=16204 vsize=8282828 memory=119784 CPUtime=341.44 cores=0-7
/proc/16227/task/16240/stat : 16240 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 22 0 238116685 8481615872 31799 33554432000 4194304 4196468 140722852860096 140379222268624 140381243119515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16241] ppid=16204 vsize=8282828 memory=-5155628007421275525 CPUtime=341.52 cores=0-7
/proc/16227/task/16241/stat : 16241 (java) R 16204 16204 15656 0 -1 4202560 844 266514 0 0 8 0 34075 69 20 0 22 0 238116685 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380334974960 140381228216165 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16242] ppid=16204 vsize=8282828 memory=1472 CPUtime=341.51 cores=0-7
/proc/16227/task/16242/stat : 16242 (java) S 16204 16204 15656 0 -1 1077944384 285 266514 0 0 7 0 34075 69 20 0 22 0 238116685 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380333922416 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16243] ppid=16204 vsize=8282828 memory=119784 CPUtime=341.53 cores=0-7
/proc/16227/task/16243/stat : 16243 (java) S 16204 16204 15656 0 -1 1077944384 329 266514 0 0 9 0 34075 69 20 0 22 0 238116685 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380332869872 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16244] ppid=16204 vsize=8282828 memory=470148 CPUtime=341.68 cores=0-7
/proc/16227/task/16244/stat : 16244 (java) S 16204 16204 15656 0 -1 1077944384 1071 266514 0 0 24 0 34075 69 20 0 22 0 238116685 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380331817328 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16245] ppid=16204 vsize=8282828 memory=119128 CPUtime=341.44 cores=0-7
/proc/16227/task/16245/stat : 16245 (java) S 16204 16204 15656 0 -1 1077944384 3 266514 0 0 0 0 34075 69 20 0 22 0 238116685 8481615872 31799 33554432000 4194304 4196468 140722852860096 140378724362976 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16246] ppid=16204 vsize=8282828 memory=1472 CPUtime=341.46 cores=0-7
/proc/16227/task/16246/stat : 16246 (java) S 16204 16204 15656 0 -1 1077944384 11 266514 0 0 0 2 34075 69 20 0 22 0 238116686 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380330765232 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16248] ppid=16204 vsize=8282828 memory=1472 CPUtime=341.44 cores=0-7
/proc/16227/task/16248/stat : 16248 (java) S 16204 16204 15656 0 -1 1077944384 23 266514 0 0 0 0 34075 69 20 0 22 0 238116753 8481615872 31799 33554432000 4194304 4196468 140722852860096 140380670784400 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16252] ppid=16204 vsize=8282828 memory=590024333707207229 CPUtime=341.44 cores=0-7
/proc/16227/task/16252/stat : 16252 (java) S 16204 16204 15656 0 -1 1077944384 7 266514 0 0 0 0 34075 69 20 0 22 0 238116755 8481615872 31799 33554432000 4194304 4196468 140722852860096 140377784837040 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
Current children cumulated CPU time: 362.39 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 128668 KiB

[startup+51.2181 s]
# the end of solver process 16204 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=361.344 s, system=1.29702 s

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

[startup+51.2012 s]
/proc/loadavg: 7.46 7.97 8.20 9/213 16260
/proc/meminfo: memFree=23898636/32770624 swapFree=67108372/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1472 CPUtime=19.6 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 15656 0 -1 4202496 589 40520 0 0 0 0 1909 51 20 0 1 0 238115991 115843072 368 33554432000 4194304 5098028 140734608841264 140734608838008 140228369191548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23150592 140734608843811 140734608844035 140734608844035 140734608846797 0
/proc/16204/statm: 28282 368 311 221 0 87 0
[pid=16227] ppid=16204 vsize=8151752 memory=133012 CPUtime=342.99 cores=0-7
/proc/16227/stat : 16227 (java) S 16204 16204 15656 0 -1 1077944320 19967 266514 0 0 148 7 34075 69 20 0 21 0 238116679 8347394048 33253 33554432000 4194304 4196468 140722852860096 140722852842640 140381243100919 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
/proc/16227/statm: 2037938 33253 3170 1 0 1999337 0
[pid=16227/tid=16228] ppid=16204 vsize=8151752 memory=6791534058613427641 CPUtime=342.29 cores=0-7
/proc/16227/task/16228/stat : 16228 (java) S 16204 16204 15656 0 -1 1077944384 15795 266514 0 0 80 5 34075 69 20 0 21 0 238116679 8347394048 33253 33554432000 4194304 4196468 140722852860096 140381214944400 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16229] ppid=16204 vsize=8151752 memory=7013350845082527343 CPUtime=341.44 cores=0-7
/proc/16227/task/16229/stat : 16229 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 21 0 238116681 8347394048 33253 33554432000 4194304 4196468 140722852860096 140381247343376 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16230] ppid=16204 vsize=8151752 memory=7236547281622689387 CPUtime=341.44 cores=0-7
/proc/16227/task/16230/stat : 16230 (java) S 16204 16204 15656 0 -1 1077944384 2 266514 0 0 0 0 34075 69 20 0 21 0 238116681 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380727757712 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16231] ppid=16204 vsize=8151752 memory=4639059877604708710 CPUtime=341.44 cores=0-7
/proc/16227/task/16231/stat : 16231 (java) S 16204 16204 15656 0 -1 1077944384 2 266514 0 0 0 0 34075 69 20 0 21 0 238116681 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380726705168 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16232] ppid=16204 vsize=8151752 memory=1100 CPUtime=341.44 cores=0-7
/proc/16227/task/16232/stat : 16232 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 21 0 238116681 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380725652624 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16233] ppid=16204 vsize=8151752 memory=2144 CPUtime=341.44 cores=0-7
/proc/16227/task/16233/stat : 16233 (java) S 16204 16204 15656 0 -1 1077944384 3 266514 0 0 0 0 34075 69 20 0 21 0 238116681 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380724599056 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16234] ppid=16204 vsize=8151752 memory=1752 CPUtime=341.44 cores=0-7
/proc/16227/task/16234/stat : 16234 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 21 0 238116681 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380723546512 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16235] ppid=16204 vsize=8151752 memory=5540 CPUtime=341.44 cores=0-7
/proc/16227/task/16235/stat : 16235 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 21 0 238116681 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380722493968 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16236] ppid=16204 vsize=8151752 memory=4400 CPUtime=341.44 cores=0-7
/proc/16227/task/16236/stat : 16236 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 21 0 238116681 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380721441424 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16237] ppid=16204 vsize=8151752 memory=1472 CPUtime=341.44 cores=0-7
/proc/16227/task/16237/stat : 16237 (java) S 16204 16204 15656 0 -1 1077944384 8 266514 0 0 0 0 34075 69 20 0 21 0 238116682 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380672170688 140381243112066 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16238] ppid=16204 vsize=8151752 memory=119784 CPUtime=341.44 cores=0-7
/proc/16227/task/16238/stat : 16238 (java) S 16204 16204 15656 0 -1 1077944384 13 266514 0 0 0 0 34075 69 20 0 21 0 238116683 8347394048 33253 33554432000 4194304 4196468 140722852860096 140379865212320 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16239] ppid=16204 vsize=8151752 memory=527492 CPUtime=341.44 cores=0-7
/proc/16227/task/16239/stat : 16239 (java) S 16204 16204 15656 0 -1 1077944384 1 266514 0 0 0 0 34075 69 20 0 21 0 238116683 8347394048 33253 33554432000 4194304 4196468 140722852860096 140379596776944 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16240] ppid=16204 vsize=8151752 memory=480168 CPUtime=341.44 cores=0-7
/proc/16227/task/16240/stat : 16240 (java) S 16204 16204 15656 0 -1 1077944384 22 266514 0 0 0 0 34075 69 20 0 21 0 238116685 8347394048 33253 33554432000 4194304 4196468 140722852860096 140379222268336 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16241] ppid=16204 vsize=8151752 memory=-7238259427435652284 CPUtime=341.54 cores=0-7
/proc/16227/task/16241/stat : 16241 (java) S 16204 16204 15656 0 -1 1077944384 874 266514 0 0 10 0 34075 69 20 0 21 0 238116685 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380334959920 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16242] ppid=16204 vsize=8151752 memory=1472 CPUtime=341.52 cores=0-7
/proc/16227/task/16242/stat : 16242 (java) S 16204 16204 15656 0 -1 1077944384 299 266514 0 0 8 0 34075 69 20 0 21 0 238116685 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380333922416 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16243] ppid=16204 vsize=8151752 memory=119784 CPUtime=341.54 cores=0-7
/proc/16227/task/16243/stat : 16243 (java) S 16204 16204 15656 0 -1 1077944384 337 266514 0 0 10 0 34075 69 20 0 21 0 238116685 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380332869872 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16244] ppid=16204 vsize=8151752 memory=531296 CPUtime=341.73 cores=0-7
/proc/16227/task/16244/stat : 16244 (java) S 16204 16204 15656 0 -1 1077944384 1183 266514 0 0 29 0 34075 69 20 0 21 0 238116685 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380331817328 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16245] ppid=16204 vsize=8151752 memory=4428 CPUtime=341.44 cores=0-7
/proc/16227/task/16245/stat : 16245 (java) S 16204 16204 15656 0 -1 1077944384 3 266514 0 0 0 0 34075 69 20 0 21 0 238116685 8347394048 33253 33554432000 4194304 4196468 140722852860096 140378724362976 140381243111125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16248] ppid=16204 vsize=8151752 memory=1408 CPUtime=341.44 cores=0-7
/proc/16227/task/16248/stat : 16248 (java) S 16204 16204 15656 0 -1 1077944384 23 266514 0 0 0 0 34075 69 20 0 21 0 238116753 8347394048 33253 33554432000 4194304 4196468 140722852860096 140380670784400 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
[pid=16227/tid=16252] ppid=16204 vsize=8151752 memory=-5155628007421275525 CPUtime=341.44 cores=0-7
/proc/16227/task/16252/stat : 16252 (java) S 16204 16204 15656 0 -1 1077944384 7 266514 0 0 0 0 34075 69 20 0 21 0 238116755 8347394048 33253 33554432000 4194304 4196468 140722852860096 140377784837040 140381243112066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31838208 140722852861105 140722852861229 140722852861229 140722852863951 0
Current children cumulated CPU time: 362.59 s
Current children cumulated vsize: 8264880 KiB
Current children cumulated memory: 134484 KiB

Child status: 0
Real time (s): 51.2182
CPU time (s): 362.641
CPU user time (s): 361.344
CPU system time (s): 1.29702
CPU usage (%): 708.031
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 2436604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 361.344
system time used= 1.29702
maximum resident set size= 2440044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17527
involuntary context switches= 3625


# summary of solver processes directly reported to runsolver:
#   pid: 16204
#   total CPU time (s): 362.641
#   total CPU user time (s): 361.344
#   total CPU system time (s): 1.29702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.484824 second user time and 0.742462 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-14 02:12:08
IDJOB=4307446
IDBENCH=141603
IDSOLVER=2789
FILE ID=node137/4307446-1534205528
RUNJOBID= node137-1534200448-15683
PBS_JOBID= 21038007
Free space on /tmp= 26576 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-12_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-4307446-1534205528/watcher-4307446-1534205528 -o /tmp/evaluation-result-4307446-1534205528/solver-4307446-1534205528 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534200448-15683 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307446-1534205528.xml

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

MD5SUM BENCH= 7e6479b2a75a5c904a12e855693ae1ca
RANDOM SEED=1616229838

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24544904 kB
MemAvailable:   31899104 kB
Buffers:          119416 kB
Cached:          7437132 kB
SwapCached:            8 kB
Active:          3869608 kB
Inactive:        3744836 kB
Active(anon):       4404 kB
Inactive(anon):   105424 kB
Active(file):    3865204 kB
Inactive(file):  3639412 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              8284 kB
Writeback:            12 kB
AnonPages:         64068 kB
Mapped:            54196 kB
Shmem:             49624 kB
Slab:             306532 kB
SReclaimable:     278044 kB
SUnreclaim:        28488 kB
KernelStack:        3200 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26568 MiB
End job on node137 at 2018-08-14 02:13:00