Trace number 4392439

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 1114.07 164.495

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-6_X2.xml
MD5SUM43dd96c97b3ff33ff7a4c42b6a5606ab
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark169.632
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-14049-serial-file.bin HOME/instance-4392439-1568436690.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 06:50:46 CEST 2019
0.65/0.57	c PID: 14052
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.04/1.13	c (0,0) Parsing End
2.04/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.04/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.13	c (0,0) Constraint Name Generate Begin
2.04/1.15	c (0,0) Ctr:HOME/instance-4392439-1568436690.xml,ExtensionConflict:ExtensionSupport:Var
2.04/1.15	c (0,0) Constraint Name Generate End
2.04/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.15	c (0,0) CSP to CSPinCNF Begin
3.12/1.65	c (1,1) translated 127 (10%) constraints
3.51/1.76	c (1,1) translated 253 (20%) constraints
3.92/1.83	c (1,1) translated 379 (30%) constraints
3.92/1.89	c (1,1) translated 505 (40%) constraints
4.35/1.95	c (1,1) translated 631 (50%) constraints
4.35/2.00	c (1,1) translated 757 (60%) constraints
5.16/2.13	c (1,1) translated 883 (70%) constraints
5.85/2.38	c (1,1) translated 1009 (80%) constraints
6.29/2.60	c (2,2) translated 1135 (90%) constraints
7.03/2.91	c (2,2) translated 1261 (100%) constraints
7.03/2.92	c (2,2) ===========================================
7.03/2.92	c (2,2) Order
7.03/2.92	c (2,2) ===========================================
7.03/2.98	c (2,2) translated 1883 (10%) constraints
7.44/3.03	c (2,2) translated 3765 (20%) constraints
7.44/3.08	c (2,2) translated 5647 (30%) constraints
7.85/3.13	c (2,2) translated 7529 (40%) constraints
7.85/3.18	c (2,2) translated 9411 (50%) constraints
8.21/3.23	c (2,2) translated 11294 (60%) constraints
8.21/3.28	c (2,2) translated 13176 (70%) constraints
8.60/3.32	c (2,2) translated 15058 (80%) constraints
8.60/3.35	c (2,2) translated 16940 (90%) constraints
8.60/3.39	c (2,2) translated 18822 (100%) constraints
8.60/3.39	c (2,2) CSP to CSPinCNF End
8.60/3.39	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.60/3.39	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.60/3.39	c (2,2) CSPinCNF Propagation Begin
10.08/3.76	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.08/3.76	c (3,3) CSPinCNF Propagation End
10.08/3.76	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.08/3.76	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.08/3.76	c (3,3) Simplify CSPinCNF Begin
10.37/3.82	c (3,3) Simplify CSPinCNF End
10.37/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.37/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.37/3.82	c (3,3) Calculate Precise Domain Begin
10.37/3.82	c (3,3) 0 values are removed by re-calculation
10.37/3.82	c (3,3) Calculate Precise Domain End
10.37/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.37/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.37/3.82	c (3,3) CSPinCNF to SatSolver Begin
10.68/3.97	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
11.04/4.02	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.79/4.27	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.79/4.27	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.79/4.27	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.79/4.27	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.79/4.27	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.79/4.27	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.79/4.28	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.79/4.29	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.79/4.29	c (3,3) CSPinCNF to SatSolver End
11.79/4.29	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.79/4.29	c (3,3) 2482 bool, 15697 clause
11.79/4.29	c (3,3) Export Begin
12.05/4.40	c (3,3) Export to HOME/scop-14049-serial-file.bin
12.05/4.40	c (3,3) Export End
12.05/4.40	c (3,3) Export File Size: 0.02 MB
12.05/4.40	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
12.05/4.40	c END-Prog: Sat Sep 14 06:50:50 CEST 2019
0.00/4.56	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14049-serial-file.bin
12.67/5.02	c (0,0) Read Serial File Begin
12.67/5.02	c (0,0) HOME/scop-14049-serial-file.bin
12.94/5.25	c (0,0) Read Serial File End
12.94/5.26	
12.94/5.26	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.94/5.26	(Solving Process)
12.94/5.26	
12.94/5.28	c BEGIN-Prog: Sat Sep 14 06:50:51 CEST 2019
12.94/5.28	c PID: 14072
12.94/5.28	c IP: 172.20.3.136
12.94/5.28	c HOST: node136.alineos.net
12.94/5.29	c (0,0) SatSolver.solve Begin
12.94/5.29	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392439-1568436690.xml-scop-14052.cnf
13.13/5.31	c (0,0) c
13.13/5.31	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
13.13/5.31	c (0,0) c
13.13/5.31	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.13/5.31	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.13/5.31	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.13/5.31	c (0,0) c |                                                                                                       |
13.13/5.32	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.13/5.32	c (0,0) c |  Number of variables:          2480                                                                   |
13.13/5.32	c (0,0) c |  Number of clauses:           15697                                                                   |
13.13/5.32	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.13/5.32	c (0,0) c |                                                                                                       |
13.13/5.32	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.13/5.32	c (0,0) c |                                                                                                       |
13.13/5.32	c (0,0) c |  Generating clones                                                                                    |
13.13/5.33	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.13/5.33	c (0,0) c ========================================================================================================|
13.13/5.33	c (0,0) c
13.13/5.33	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.13/5.33	c (0,0) c
13.13/5.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.13/5.33	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.13/5.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.13/5.33	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.13/5.33	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.13/5.33	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.13/5.33	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.13/5.33	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.13/5.33	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.13/5.33	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.13/5.33	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.13/5.33	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.13/5.33	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.13/5.33	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.13/5.33	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.13/5.33	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.13/5.33	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.13/5.33	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.13/5.33	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.92/34.75	c (29,0) c
219.92/34.75	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
219.92/34.75	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
219.92/34.75	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
219.92/34.75	c (29,0) c |  0 |    365 |     542173 |     296641 |     9297 |    65249 |    42232 |   289177 |    15170 |      300 |  20 |  0.847 |
219.92/34.75	c (29,0) c |  1 |    324 |     522616 |     286933 |     8841 |    55547 |    37649 |   294151 |    11318 |      301 |  20 |  0.847 |
219.92/34.75	c (29,0) c |  2 |    357 |     523363 |     284993 |     9239 |    53607 |    42050 |   288827 |    10846 |      301 |  20 |  0.847 |
219.92/34.75	c (29,0) c |  3 |    370 |     540806 |     288902 |     9404 |    57511 |    40977 |   290792 |    12499 |      300 |  20 |  0.847 |
219.92/34.75	c (29,0) c |  4 |    481 |     537802 |     285741 |     9378 |    54348 |    42181 |   276948 |    15137 |      281 |  20 |  0.847 |
219.92/34.75	c (29,0) c |  5 |    310 |     532643 |     296569 |     9302 |    65190 |    48552 |   281343 |    14233 |      300 |  20 |  0.847 |
219.92/34.75	c (29,0) c |  6 |    253 |     507215 |     280131 |     9032 |    48750 |    45656 |   283793 |    11979 |      300 |  20 |  0.847 |
219.92/34.75	c (29,0) c |  7 |    408 |     525375 |     291070 |     9270 |    59689 |    43377 |   289313 |    13570 |      300 |  20 |  0.847 |
219.92/34.75	c (29,0) c 
219.92/34.75	c (29,0) c synthesis     2310981 conflicts   173391767 propagations    11186 conflicts/sec   839264 propagations/sec
219.92/34.75	c (29,0) c real: 29.4425 s, cpu: 206.6 s, memory: 629.22 Mb
406.27/64.75	c (59,0) c
406.27/64.75	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
406.27/64.75	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
406.27/64.75	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
406.27/64.75	c (59,0) c |  0 |    475 |     837405 |     450505 |     9349 |    60314 |    57223 |   388009 |    24174 |      547 |  20 |  0.847 |
406.27/64.75	c (59,0) c |  1 |    392 |     799615 |     432502 |     9239 |    85912 |    50718 |   393884 |    19387 |      547 |  20 |  0.847 |
406.27/64.75	c (59,0) c |  2 |    506 |     801459 |     430367 |     9442 |    83778 |    53985 |   389927 |    21822 |      547 |  20 |  0.847 |
406.27/64.75	c (59,0) c |  3 |    413 |     809165 |     427384 |     9458 |    80794 |    53767 |   389410 |    20227 |      547 |  20 |  0.847 |
406.27/64.75	c (59,0) c |  4 |    704 |     853345 |     445431 |     9422 |    55239 |    55739 |   379020 |    25816 |      527 |  20 |  0.847 |
406.27/64.75	c (59,0) c |  5 |    372 |     830835 |     451058 |     9381 |    60878 |    62960 |   380993 |    23148 |      547 |  20 |  0.847 |
406.27/64.75	c (59,0) c |  6 |    364 |     811291 |     432465 |     9390 |    85881 |    59162 |   383720 |    23656 |      547 |  20 |  0.847 |
406.27/64.75	c (59,0) c |  7 |    487 |     814049 |     440489 |     9404 |    50304 |    57747 |   386975 |    24256 |      547 |  20 |  0.848 |
406.27/64.75	c (59,0) c 
406.27/64.75	c (59,0) c synthesis     3510202 conflicts   262290686 propagations     8938 conflicts/sec   667856 propagations/sec
406.27/64.75	c (59,0) c real: 59.4422 s, cpu: 392.735 s, memory: 662.31 Mb
601.37/93.75	c (88,0) c
601.37/93.75	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
601.37/93.75	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
601.37/93.75	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
601.37/93.75	c (88,0) c |  0 |    642 |    1095606 |     581500 |     9377 |    96310 |    69515 |   474949 |    33843 |      796 |  20 |  0.847 |
601.37/93.75	c (88,0) c |  1 |    478 |    1075992 |     574828 |     9452 |    89633 |    62864 |   481380 |    32225 |      804 |  20 |  0.847 |
601.37/93.75	c (88,0) c |  2 |    617 |    1085486 |     574390 |     9473 |    89200 |    68486 |   477773 |    30813 |      804 |  20 |  0.848 |
601.37/93.75	c (88,0) c |  3 |    569 |    1070496 |     558548 |     9515 |    73363 |    65120 |   473451 |    31857 |      784 |  20 |  0.847 |
601.37/93.75	c (88,0) c |  4 |    842 |    1118127 |     580491 |     9446 |    95301 |    67248 |   468829 |    34633 |      784 |  20 |  0.847 |
601.37/93.75	c (88,0) c |  5 |    471 |    1096062 |     586562 |     9412 |   101372 |    76743 |   470054 |    32922 |      804 |  20 |  0.847 |
601.37/93.75	c (88,0) c |  6 |    405 |    1064106 |     566156 |     9417 |    80971 |    70048 |   471866 |    31769 |      804 |  20 |  0.847 |
601.37/93.75	c (88,0) c |  7 |    523 |    1075162 |     574427 |     9436 |    89245 |    71791 |   472224 |    32350 |      797 |  20 |  0.848 |
601.37/93.75	c (88,0) c 
601.37/93.75	c (88,0) c synthesis     4596903 conflicts   342450364 propagations     7825 conflicts/sec   582930 propagations/sec
601.37/93.75	c (88,0) c real: 88.4425 s, cpu: 587.464 s, memory: 692.07 Mb
822.12/123.75	c (118,0) c
822.12/123.75	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
822.12/123.75	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
822.12/123.75	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
822.12/123.75	c (118,0) c |  0 |    741 |    1332816 |     703458 |     9391 |   112866 |    80904 |   554065 |    41445 |     1055 |  20 |  0.847 |
822.12/123.75	c (118,0) c |  1 |    520 |    1314375 |     694623 |     9475 |   104031 |    75502 |   560351 |    40828 |     1056 |  20 |  0.847 |
822.12/123.75	c (118,0) c |  2 |    679 |    1326096 |     696941 |     9498 |   106356 |    80243 |   556511 |    39511 |     1067 |  20 |  0.848 |
822.12/123.75	c (118,0) c |  3 |    684 |    1318017 |     684594 |     9528 |    94011 |    76274 |   553773 |    40817 |     1047 |  20 |  0.847 |
822.12/123.75	c (118,0) c |  4 |    934 |    1354330 |     700581 |     9465 |   109996 |    78387 |   552416 |    44062 |     1048 |  20 |  0.848 |
822.12/123.75	c (118,0) c |  5 |    564 |    1331596 |     708445 |     9424 |    61259 |    87669 |   545410 |    41960 |     1067 |  20 |  0.847 |
822.12/123.75	c (118,0) c |  6 |    478 |    1309045 |     690229 |     9434 |    99643 |    80594 |   556698 |    41995 |     1067 |  20 |  0.848 |
822.12/123.75	c (118,0) c |  7 |    564 |    1307595 |     695013 |     9450 |   104432 |    84095 |   549054 |    42012 |     1061 |  20 |  0.847 |
822.12/123.75	c (118,0) c 
822.12/123.75	c (118,0) c synthesis     5573884 conflicts   415476644 propagations     6904 conflicts/sec   514602 propagations/sec
822.12/123.75	c (118,0) c real: 118.442 s, cpu: 807.374 s, memory: 751.34 Mb
1033.14/152.76	c (147,0) c
1033.14/152.76	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1033.14/152.76	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1033.14/152.76	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1033.14/152.76	c (147,0) c |  0 |    800 |    1538706 |     807416 |     9399 |   100013 |    89470 |   620629 |    48342 |     1305 |  20 |  1.129 |
1033.14/152.76	c (147,0) c |  1 |    557 |    1522437 |     799689 |     9491 |    85385 |    82488 |   624732 |    48868 |     1294 |  20 |  1.129 |
1033.14/152.76	c (147,0) c |  2 |    707 |    1529430 |     799672 |     9513 |    81787 |    88454 |   618118 |    46654 |     1306 |  20 |  1.129 |
1033.14/152.76	c (147,0) c |  3 |    733 |    1519583 |     788633 |     9536 |    75509 |    85990 |   617872 |    48217 |     1286 |  20 |  1.089 |
1033.14/152.76	c (147,0) c |  4 |    996 |    1568788 |     806187 |     9473 |    97741 |    85828 |   622513 |    51991 |     1294 |  20 |  1.129 |
1033.14/152.76	c (147,0) c |  5 |    594 |    1527225 |     809155 |     9442 |    90839 |    98362 |   610993 |    48800 |     1305 |  20 |  1.129 |
1033.14/152.76	c (147,0) c |  6 |    514 |    1500599 |     788112 |     9443 |    73747 |    90598 |   618204 |    49728 |     1306 |  20 |  1.129 |
1033.14/152.76	c (147,0) c |  7 |    579 |    1505012 |     796981 |     9461 |    84487 |    92104 |   611835 |    49487 |     1299 |  20 |  1.090 |
1033.14/152.76	c (147,0) c 
1033.14/152.76	c (147,0) c synthesis     6395845 conflicts   478404422 propagations     6283 conflicts/sec   469945 propagations/sec
1033.14/152.76	c (147,0) c real: 147.445 s, cpu: 1018 s, memory: 888.13 Mb
1113.90/164.46	c (159,0) c
1113.90/164.46	c (159,0) c real time : 159.149 s
1113.90/164.46	c (159,0) c cpu time  : 1098.33 s
1113.90/164.46	c (159,0) c
1113.90/164.46	c (159,0) c
1113.90/164.46	c (159,0) c
1113.90/164.46	c (159,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1113.90/164.46	c (159,0) c
1113.90/164.46	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.46	c (159,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1113.90/164.46	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.46	c (159,0) c | Conflicts     |         6640425 |     832320 |     833162 |     829067 |     824753 |     837618 |     838348 |     817774 |     827383 |
1113.90/164.46	c (159,0) c | Decisions     |        12684725 |    1587450 |    1589095 |    1583521 |    1590920 |    1628918 |    1584049 |    1557927 |    1562845 |
1113.90/164.46	c (159,0) c | Propagations  |       497548902 |   61978580 |   61869693 |   62295777 |   62649123 |   62263032 |   62070243 |   61761070 |   62661384 |
1113.90/164.46	c (159,0) c | ReduceDBs     |             196 |         25 |         25 |         24 |         24 |         25 |         25 |         24 |         24 |
1113.90/164.46	c (159,0) c | SimpDBs       |              85 |          9 |         10 |         10 |         12 |         11 |         10 |         12 |         11 |
1113.90/164.46	c (159,0) c | Restarts      |            5537 |        809 |        562 |        709 |        743 |       1011 |        601 |        520 |        582 |
1113.90/164.46	c (159,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1113.90/164.46	c (159,0) c | PropBinClauses|      1064809020 |  131679498 |  132405126 |  132953308 |  136093378 |  130253372 |  132141534 |  135787359 |  133495445 |
1113.90/164.46	c (159,0) c | PropPreBlocker|     37610936538 | 4727525753 | 4678065771 | 4747123276 | 4686031301 | 4654890482 | 4711656712 | 4726302915 | 4679340328 |
1113.90/164.46	c (159,0) c | PropNotBlocker|      6337004975 |  789388539 |  787385505 |  784956011 |  798430351 |  800985381 |  791371595 |  789041367 |  795446226 |
1113.90/164.46	c (159,0) c | LitFullScans  |     66678855506 | 8335537128 | 8329462685 | 8341372235 | 8329261241 | 8329313684 | 8330811328 | 8341586435 | 8341510770 |
1113.90/164.46	c (159,0) c | LitScanFracts |        11767214 |    1529610 |    1441518 |    1780373 |    1254089 |    1309168 |    1376609 |    1580132 |    1495715 |
1113.90/164.46	c (159,0) c | DecisionLevel0|            5644 |        820 |        571 |        734 |        756 |       1024 |        618 |        530 |        591 |
1113.90/164.46	c (159,0) c | Periods       |           11110 |       1389 |       1388 |       1389 |       1388 |       1388 |       1388 |       1390 |       1390 |
1113.90/164.46	c (159,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1113.90/164.46	c (159,0) c | Avg_Trail     |                 |        629 |        627 |        629 |        629 |        629 |        627 |        624 |        631 |
1113.90/164.46	c (159,0) c | Avg_DL        |                 |         21 |         21 |         20 |         21 |         21 |         21 |         20 |         22 |
1113.90/164.46	c (159,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1113.90/164.46	c (159,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1113.90/164.46	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.46	c (159,0) c | Exported      |          734308 |      91683 |      84110 |      90396 |      89445 |      89453 |     100922 |      93392 |      94907 |
1113.90/164.46	c (159,0) c | Imported      |         5089845 |     637617 |     644850 |     639516 |     638253 |     640040 |     628778 |     626775 |     634016 |
1113.90/164.46	c (159,0) c | Good          |           14555 |       1824 |       1834 |       1818 |       1775 |       1814 |       1830 |       1824 |       1836 |
1113.90/164.46	c (159,0) c | Purge         |         5075290 |     635793 |     643016 |     637698 |     636478 |     638226 |     626948 |     624951 |     632180 |
1113.90/164.46	c (159,0) c | Promoted      |          416510 |      51448 |      52226 |      49513 |      51653 |      54815 |      52063 |      52172 |      52620 |
1113.90/164.46	c (159,0) c | Remove_Imp    |         3984752 |     502104 |     507089 |     499530 |     498305 |     507033 |     499180 |     486073 |     485438 |
1113.90/164.46	c (159,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1113.90/164.46	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.46	c (159,0) c | Unaries       |                 |         11 |          9 |         25 |         13 |         13 |         17 |         10 |          9 |
1113.90/164.46	c (159,0) c | Binaries      |                 |        275 |        253 |        301 |        310 |        279 |        271 |        228 |        248 |
1113.90/164.46	c (159,0) c | Glues         |                 |       1012 |        969 |       1020 |       1051 |       1034 |        940 |        893 |        905 |
1113.90/164.46	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.46	c (159,0) c | Orig_Seen     |            87 % |       9401 |       9497 |       9517 |       9539 |       9474 |       9447 |       9444 |       9461 |
1113.90/164.46	c (159,0) c | Diff Orig seen|                 | -       46 |         50 |         70 |         92 |         27 |      X     | -        3 |         14 |
1113.90/164.46	c (159,0) c | Hamming       |            10 % |        293 |        262 |        271 |        291 |        277 |      X     |        219 |        239 |
1113.90/164.46	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.46	c (159,0) c | RunningTime   |                 |  144.8  92%|  146.6  92%|  121.1  77%|  145.4  92%|  158.4 100%|  123.4  78%|  123.3  78%|  137.9  88%|
1113.90/164.46	c (159,0) c | WaitingTime   |                 |   12.4   8%|   12.1   8%|   36.0  23%|   12.9   8%|    0.0   0%|   33.7  21%|   33.8  21%|   19.2  12%|
1113.90/164.46	c (159,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|
1113.90/164.46	c (159,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1113.90/164.46	c (159,0) c | SolvingTime   |                 |  157.5     |  159.0     |  157.5     |  158.6     |  158.8     |  157.5     |  157.5     |  157.5     |
1113.90/164.46	c (159,0) c | PropagationTim|                 |  113.4  72%|  112.3  71%|  136.0  86%|  108.1  68%|   96.9  61%|  139.4  89%|  136.2  87%|  114.2  73%|
1113.90/164.46	c (159,0) c | AnalysisTime  |                 |   40.5  26%|   43.1  27%|   17.8  11%|   47.0  30%|   58.4  37%|   14.2   9%|   17.6  11%|   39.8  25%|
1113.90/164.46	c (159,0) c | ReductionTime |                 |    1.4   1%|    1.4   1%|    1.3   1%|    1.2   1%|    1.3   1%|    1.6   1%|    1.4   1%|    1.3   1%|
1113.90/164.46	c (159,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1113.90/164.46	c (159,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1113.90/164.46	c (159,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1113.90/164.46	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.46	c (159,0) c
1113.90/164.46	c (159,0) c
1113.90/164.46	c (159,0) c Threads : 8
1113.90/164.46	c (159,0) c Winner : 5
1113.90/164.46	c (159,0) c Conflicts_0 : 832320
1113.90/164.46	c (159,0) c Conflicts_1 : 833162
1113.90/164.46	c (159,0) c Conflicts_2 : 829067
1113.90/164.46	c (159,0) c Conflicts_3 : 824753
1113.90/164.46	c (159,0) c Conflicts_4 : 837618
1113.90/164.46	c (159,0) c Conflicts_5 : 838348
1113.90/164.46	c (159,0) c Conflicts_6 : 817774
1113.90/164.46	c (159,0) c Conflicts_7 : 827383
1113.90/164.46	c (159,0) c Conflicts_total : 6640425
1113.90/164.46	c (159,0) c Conflicts_winner : 838348
1113.90/164.46	c (159,0) c Decisions_0 : 1587450
1113.90/164.46	c (159,0) c Decisions_1 : 1589095
1113.90/164.46	c (159,0) c Decisions_2 : 1583521
1113.90/164.46	c (159,0) c Decisions_3 : 1590920
1113.90/164.46	c (159,0) c Decisions_4 : 1628918
1113.90/164.46	c (159,0) c Decisions_5 : 1584049
1113.90/164.46	c (159,0) c Decisions_6 : 1557927
1113.90/164.46	c (159,0) c Decisions_7 : 1562845
1113.90/164.46	c (159,0) c Decisions_total : 12684725
1113.90/164.46	c (159,0) c Decisions_winner : 1584049
1113.90/164.46	c (159,0) c Propagations_0 : 61978580
1113.90/164.46	c (159,0) c Propagations_1 : 61869693
1113.90/164.46	c (159,0) c Propagations_2 : 62295777
1113.90/164.46	c (159,0) c Propagations_3 : 62649123
1113.90/164.46	c (159,0) c Propagations_4 : 62263032
1113.90/164.46	c (159,0) c Propagations_5 : 62070243
1113.90/164.46	c (159,0) c Propagations_6 : 61761070
1113.90/164.46	c (159,0) c Propagations_7 : 62661384
1113.90/164.46	c (159,0) c Propagations_total : 497548902
1113.90/164.46	c (159,0) c Propagations_winner : 62070243
1113.90/164.46	c (159,0) c ReduceDBs_0 : 25
1113.90/164.46	c (159,0) c ReduceDBs_1 : 25
1113.90/164.46	c (159,0) c ReduceDBs_2 : 24
1113.90/164.46	c (159,0) c ReduceDBs_3 : 24
1113.90/164.46	c (159,0) c ReduceDBs_4 : 25
1113.90/164.46	c (159,0) c ReduceDBs_5 : 25
1113.90/164.46	c (159,0) c ReduceDBs_6 : 24
1113.90/164.46	c (159,0) c ReduceDBs_7 : 24
1113.90/164.46	c (159,0) c ReduceDBs_total : 196
1113.90/164.46	c (159,0) c ReduceDBs_winner : 25
1113.90/164.46	c (159,0) c SimpDBs_0 : 9
1113.90/164.46	c (159,0) c SimpDBs_1 : 10
1113.90/164.46	c (159,0) c SimpDBs_2 : 10
1113.90/164.46	c (159,0) c SimpDBs_3 : 12
1113.90/164.46	c (159,0) c SimpDBs_4 : 11
1113.90/164.46	c (159,0) c SimpDBs_5 : 10
1113.90/164.46	c (159,0) c SimpDBs_6 : 12
1113.90/164.46	c (159,0) c SimpDBs_7 : 11
1113.90/164.46	c (159,0) c SimpDBs_total : 85
1113.90/164.46	c (159,0) c SimpDBs_winner : 10
1113.90/164.46	c (159,0) c Restarts_0 : 809
1113.90/164.46	c (159,0) c Restarts_1 : 562
1113.90/164.46	c (159,0) c Restarts_2 : 709
1113.90/164.46	c (159,0) c Restarts_3 : 743
1113.90/164.46	c (159,0) c Restarts_4 : 1011
1113.90/164.46	c (159,0) c Restarts_5 : 601
1113.90/164.46	c (159,0) c Restarts_6 : 520
1113.90/164.46	c (159,0) c Restarts_7 : 582
1113.90/164.46	c (159,0) c Restarts_total : 5537
1113.90/164.46	c (159,0) c Restarts_winner : 601
1113.90/164.46	c (159,0) c ForcedImports_0 : 0
1113.90/164.46	c (159,0) c ForcedImports_1 : 0
1113.90/164.46	c (159,0) c ForcedImports_2 : 0
1113.90/164.46	c (159,0) c ForcedImports_3 : 0
1113.90/164.46	c (159,0) c ForcedImports_4 : 0
1113.90/164.46	c (159,0) c ForcedImports_5 : 0
1113.90/164.46	c (159,0) c ForcedImports_6 : 0
1113.90/164.46	c (159,0) c ForcedImports_7 : 0
1113.90/164.46	c (159,0) c ForcedImports_total : 0
1113.90/164.46	c (159,0) c ForcedImports_winner : 0
1113.90/164.46	c (159,0) c PropsBinClauses_0 : 131679498
1113.90/164.46	c (159,0) c PropsBinClauses_1 : 132405126
1113.90/164.46	c (159,0) c PropsBinClauses_2 : 132953308
1113.90/164.46	c (159,0) c PropsBinClauses_3 : 136093378
1113.90/164.46	c (159,0) c PropsBinClauses_4 : 130253372
1113.90/164.46	c (159,0) c PropsBinClauses_5 : 132141534
1113.90/164.46	c (159,0) c PropsBinClauses_6 : 135787359
1113.90/164.46	c (159,0) c PropsBinClauses_7 : 133495445
1113.90/164.46	c (159,0) c PropsBinClauses_total : 1064809020
1113.90/164.46	c (159,0) c PropsBinClauses_winner : 132141534
1113.90/164.46	c (159,0) c PropsPreBlocker_0 : 4727525753
1113.90/164.46	c (159,0) c PropsPreBlocker_1 : 4678065771
1113.90/164.46	c (159,0) c PropsPreBlocker_2 : 4747123276
1113.90/164.46	c (159,0) c PropsPreBlocker_3 : 4686031301
1113.90/164.46	c (159,0) c PropsPreBlocker_4 : 4654890482
1113.90/164.46	c (159,0) c PropsPreBlocker_5 : 4711656712
1113.90/164.46	c (159,0) c PropsPreBlocker_6 : 4726302915
1113.90/164.46	c (159,0) c PropsPreBlocker_7 : 4679340328
1113.90/164.46	c (159,0) c PropsPreBlocker_total : 37610936538
1113.90/164.46	c (159,0) c PropsPreBlocker_winner : 4711656712
1113.90/164.46	c (159,0) c PropsNotBlocker_0 : 789388539
1113.90/164.46	c (159,0) c PropsNotBlocker_1 : 787385505
1113.90/164.46	c (159,0) c PropsNotBlocker_2 : 784956011
1113.90/164.46	c (159,0) c PropsNotBlocker_3 : 798430351
1113.90/164.46	c (159,0) c PropsNotBlocker_4 : 800985381
1113.90/164.46	c (159,0) c PropsNotBlocker_5 : 791371595
1113.90/164.46	c (159,0) c PropsNotBlocker_6 : 789041367
1113.90/164.46	c (159,0) c PropsNotBlocker_7 : 795446226
1113.90/164.46	c (159,0) c PropsNotBlocker_total : 6337004975
1113.90/164.46	c (159,0) c PropsNotBlocker_winner : 791371595
1113.90/164.46	c (159,0) c PropsLitFullScans_0 : 8335537128
1113.90/164.46	c (159,0) c PropsLitFullScans_1 : 8329462685
1113.90/164.46	c (159,0) c PropsLitFullScans_2 : 8341372235
1113.90/164.46	c (159,0) c PropsLitFullScans_3 : 8329261241
1113.90/164.46	c (159,0) c PropsLitFullScans_4 : 8329313684
1113.90/164.46	c (159,0) c PropsLitFullScans_5 : 8330811328
1113.90/164.46	c (159,0) c PropsLitFullScans_6 : 8341586435
1113.90/164.46	c (159,0) c PropsLitFullScans_7 : 8341510770
1113.90/164.46	c (159,0) c PropsLitFullScans_total : 66678855506
1113.90/164.46	c (159,0) c PropsLitFullScans_winner : 8330811328
1113.90/164.46	c (159,0) c LitScanFractions_0 : 1529610
1113.90/164.46	c (159,0) c LitScanFractions_1 : 1441518
1113.90/164.46	c (159,0) c LitScanFractions_2 : 1780373
1113.90/164.46	c (159,0) c LitScanFractions_3 : 1254089
1113.90/164.46	c (159,0) c LitScanFractions_4 : 1309168
1113.90/164.46	c (159,0) c LitScanFractions_5 : 1376609
1113.90/164.46	c (159,0) c LitScanFractions_6 : 1580132
1113.90/164.46	c (159,0) c LitScanFractions_7 : 1495715
1113.90/164.46	c (159,0) c LitScanFractions_total : 11767214
1113.90/164.46	c (159,0) c LitScanFractions_winner : 1376609
1113.90/164.46	c (159,0) c DecisionLevel0_0 : 820
1113.90/164.46	c (159,0) c DecisionLevel0_1 : 571
1113.90/164.46	c (159,0) c DecisionLevel0_2 : 734
1113.90/164.46	c (159,0) c DecisionLevel0_3 : 756
1113.90/164.46	c (159,0) c DecisionLevel0_4 : 1024
1113.90/164.46	c (159,0) c DecisionLevel0_5 : 618
1113.90/164.46	c (159,0) c DecisionLevel0_6 : 530
1113.90/164.46	c (159,0) c DecisionLevel0_7 : 591
1113.90/164.47	c (159,0) c DecisionLevel0_total : 5644
1113.90/164.47	c (159,0) c DecisionLevel0_winner : 618
1113.90/164.47	c (159,0) c Periods_0 : 1389
1113.90/164.47	c (159,0) c Periods_1 : 1388
1113.90/164.47	c (159,0) c Periods_2 : 1389
1113.90/164.47	c (159,0) c Periods_3 : 1388
1113.90/164.47	c (159,0) c Periods_4 : 1388
1113.90/164.47	c (159,0) c Periods_5 : 1388
1113.90/164.47	c (159,0) c Periods_6 : 1390
1113.90/164.47	c (159,0) c Periods_7 : 1390
1113.90/164.47	c (159,0) c Periods_total : 11110
1113.90/164.47	c (159,0) c Periods_winner : 1388
1113.90/164.47	c (159,0) c Margin_0 : 20
1113.90/164.47	c (159,0) c Margin_1 : 20
1113.90/164.47	c (159,0) c Margin_2 : 20
1113.90/164.47	c (159,0) c Margin_3 : 20
1113.90/164.47	c (159,0) c Margin_4 : 20
1113.90/164.47	c (159,0) c Margin_5 : 20
1113.90/164.47	c (159,0) c Margin_6 : 20
1113.90/164.47	c (159,0) c Margin_7 : 20
1113.90/164.47	c (159,0) c Margin_total : 160
1113.90/164.47	c (159,0) c Margin_winner : 20
1113.90/164.47	c (159,0) c Exported_0 : 91683
1113.90/164.47	c (159,0) c Exported_1 : 84110
1113.90/164.47	c (159,0) c Exported_2 : 90396
1113.90/164.47	c (159,0) c Exported_3 : 89445
1113.90/164.47	c (159,0) c Exported_4 : 89453
1113.90/164.47	c (159,0) c Exported_5 : 100922
1113.90/164.47	c (159,0) c Exported_6 : 93392
1113.90/164.47	c (159,0) c Exported_7 : 94907
1113.90/164.47	c (159,0) c Exported_total : 734308
1113.90/164.47	c (159,0) c Exported_winner : 100922
1113.90/164.47	c (159,0) c Imported_0 : 637617
1113.90/164.47	c (159,0) c Imported_1 : 644850
1113.90/164.47	c (159,0) c Imported_2 : 639516
1113.90/164.47	c (159,0) c Imported_3 : 638253
1113.90/164.47	c (159,0) c Imported_4 : 640040
1113.90/164.47	c (159,0) c Imported_5 : 628778
1113.90/164.47	c (159,0) c Imported_6 : 626775
1113.90/164.47	c (159,0) c Imported_7 : 634016
1113.90/164.47	c (159,0) c Imported_total : 5089845
1113.90/164.47	c (159,0) c Imported_winner : 628778
1113.90/164.47	c (159,0) c Good_0 : 1824
1113.90/164.47	c (159,0) c Good_1 : 1834
1113.90/164.47	c (159,0) c Good_2 : 1818
1113.90/164.47	c (159,0) c Good_3 : 1775
1113.90/164.47	c (159,0) c Good_4 : 1814
1113.90/164.47	c (159,0) c Good_5 : 1830
1113.90/164.47	c (159,0) c Good_6 : 1824
1113.90/164.47	c (159,0) c Good_7 : 1836
1113.90/164.47	c (159,0) c Good_total : 14555
1113.90/164.47	c (159,0) c Good_winner : 1830
1113.90/164.47	c (159,0) c Purge_0 : 635793
1113.90/164.47	c (159,0) c Purge_1 : 643016
1113.90/164.47	c (159,0) c Purge_2 : 637698
1113.90/164.47	c (159,0) c Purge_3 : 636478
1113.90/164.47	c (159,0) c Purge_4 : 638226
1113.90/164.47	c (159,0) c Purge_5 : 626948
1113.90/164.47	c (159,0) c Purge_6 : 624951
1113.90/164.47	c (159,0) c Purge_7 : 632180
1113.90/164.47	c (159,0) c Purge_total : 5075290
1113.90/164.47	c (159,0) c Purge_winner : 626948
1113.90/164.47	c (159,0) c Promoted_0 : 51448
1113.90/164.47	c (159,0) c Promoted_1 : 52226
1113.90/164.47	c (159,0) c Promoted_2 : 49513
1113.90/164.47	c (159,0) c Promoted_3 : 51653
1113.90/164.47	c (159,0) c Promoted_4 : 54815
1113.90/164.47	c (159,0) c Promoted_5 : 52063
1113.90/164.47	c (159,0) c Promoted_6 : 52172
1113.90/164.47	c (159,0) c Promoted_7 : 52620
1113.90/164.47	c (159,0) c Promoted_total : 416510
1113.90/164.47	c (159,0) c Promoted_winner : 52063
1113.90/164.47	c (159,0) c Remove_Imp_0 : 502104
1113.90/164.47	c (159,0) c Remove_Imp_1 : 507089
1113.90/164.47	c (159,0) c Remove_Imp_2 : 499530
1113.90/164.47	c (159,0) c Remove_Imp_3 : 498305
1113.90/164.47	c (159,0) c Remove_Imp_4 : 507033
1113.90/164.47	c (159,0) c Remove_Imp_5 : 499180
1113.90/164.47	c (159,0) c Remove_Imp_6 : 486073
1113.90/164.47	c (159,0) c Remove_Imp_7 : 485438
1113.90/164.47	c (159,0) c Remove_Imp_total : 3984752
1113.90/164.47	c (159,0) c Remove_Imp_winner : 499180
1113.90/164.47	c (159,0) c Blocked_Reuse_0 : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_1 : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_2 : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_3 : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_4 : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_5 : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_6 : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_7 : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_total : 0
1113.90/164.47	c (159,0) c Blocked_Reuse_winner : 0
1113.90/164.47	c (159,0) c Unaries_0 : 11
1113.90/164.47	c (159,0) c Unaries_1 : 9
1113.90/164.47	c (159,0) c Unaries_2 : 25
1113.90/164.47	c (159,0) c Unaries_3 : 13
1113.90/164.47	c (159,0) c Unaries_4 : 13
1113.90/164.47	c (159,0) c Unaries_5 : 17
1113.90/164.47	c (159,0) c Unaries_6 : 10
1113.90/164.47	c (159,0) c Unaries_7 : 9
1113.90/164.47	c (159,0) c Unaries_total : 107
1113.90/164.47	c (159,0) c Unaries_winner : 17
1113.90/164.47	c (159,0) c Binaries_0 : 275
1113.90/164.47	c (159,0) c Binaries_1 : 253
1113.90/164.47	c (159,0) c Binaries_2 : 301
1113.90/164.47	c (159,0) c Binaries_3 : 310
1113.90/164.47	c (159,0) c Binaries_4 : 279
1113.90/164.47	c (159,0) c Binaries_5 : 271
1113.90/164.47	c (159,0) c Binaries_6 : 228
1113.90/164.47	c (159,0) c Binaries_7 : 248
1113.90/164.47	c (159,0) c Binaries_total : 2165
1113.90/164.47	c (159,0) c Binaries_winner : 271
1113.90/164.47	c (159,0) c Glues_0 : 1012
1113.90/164.47	c (159,0) c Glues_1 : 969
1113.90/164.47	c (159,0) c Glues_2 : 1020
1113.90/164.47	c (159,0) c Glues_3 : 1051
1113.90/164.47	c (159,0) c Glues_4 : 1034
1113.90/164.47	c (159,0) c Glues_5 : 940
1113.90/164.47	c (159,0) c Glues_6 : 893
1113.90/164.47	c (159,0) c Glues_7 : 905
1113.90/164.47	c (159,0) c Glues_total : 7824
1113.90/164.47	c (159,0) c Glues_winner : 940
1113.90/164.47	c (159,0) c RunningTime_0 : 144.845784
1113.90/164.47	c (159,0) c RunningTime_1 : 146.613775
1113.90/164.47	c (159,0) c RunningTime_2 : 121.108713
1113.90/164.47	c (159,0) c RunningTime_3 : 145.363772
1113.90/164.47	c (159,0) c RunningTime_4 : 158.428607
1113.90/164.47	c (159,0) c RunningTime_5 : 123.409710
1113.90/164.47	c (159,0) c RunningTime_6 : 123.318685
1113.90/164.47	c (159,0) c RunningTime_7 : 137.919877
1113.90/164.47	c (159,0) c RunningTime_total : 1101.008923
1113.90/164.47	c (159,0) c RunningTime_winner : 123.409710
1113.90/164.47	c (159,0) c WaitingTime_0 : 12.356427
1113.90/164.47	c (159,0) c WaitingTime_1 : 12.053027
1113.90/164.47	c (159,0) c WaitingTime_2 : 36.047137
1113.90/164.47	c (159,0) c WaitingTime_3 : 12.895518
1113.90/164.47	c (159,0) c WaitingTime_4 : 0.001966
1113.90/164.47	c (159,0) c WaitingTime_5 : 33.651177
1113.90/164.47	c (159,0) c WaitingTime_6 : 33.789719
1113.90/164.47	c (159,0) c WaitingTime_7 : 19.235061
1113.90/164.47	c (159,0) c WaitingTime_total : 160.030032
1113.90/164.47	c (159,0) c WaitingTime_winner : 33.651177
1113.90/164.47	c (159,0) c ExchangingTime_0 : 0.331579
1113.90/164.47	c (159,0) c ExchangingTime_1 : 0.365390
1113.90/164.47	c (159,0) c ExchangingTime_2 : 0.365786
1113.90/164.47	c (159,0) c ExchangingTime_3 : 0.357096
1113.90/164.47	c (159,0) c ExchangingTime_4 : 0.343360
1113.90/164.47	c (159,0) c ExchangingTime_5 : 0.374253
1113.90/164.47	c (159,0) c ExchangingTime_6 : 0.375082
1113.90/164.47	c (159,0) c ExchangingTime_7 : 0.350414
1113.90/164.47	c (159,0) c ExchangingTime_total : 2.862961
1113.90/164.47	c (159,0) c ExchangingTime_winner : 0.374253
1113.90/164.47	c (159,0) c PeriodProcTime_0 : 0.012290
1113.90/164.47	c (159,0) c PeriodProcTime_1 : 0.012848
1113.90/164.47	c (159,0) c PeriodProcTime_2 : 0.014360
1113.90/164.47	c (159,0) c PeriodProcTime_3 : 0.016385
1113.90/164.47	c (159,0) c PeriodProcTime_4 : 0.017394
1113.90/164.47	c (159,0) c PeriodProcTime_5 : 0.015258
1113.90/164.47	c (159,0) c PeriodProcTime_6 : 0.013923
1113.90/164.47	c (159,0) c PeriodProcTime_7 : 0.013764
1113.90/164.47	c (159,0) c PeriodProcTime_total : 0.116222
1113.90/164.47	c (159,0) c PeriodProcTime_winner : 0.015258
1113.90/164.47	c (159,0) c SolvingTime_0 : 157.546081
1113.90/164.47	c (159,0) c SolvingTime_1 : 159.045040
1113.90/164.47	c (159,0) c SolvingTime_2 : 157.535997
1113.90/164.47	c (159,0) c SolvingTime_3 : 158.632771
1113.90/164.47	c (159,0) c SolvingTime_4 : 158.791327
1113.90/164.47	c (159,0) c SolvingTime_5 : 157.450397
1113.90/164.47	c (159,0) c SolvingTime_6 : 157.497410
1113.90/164.47	c (159,0) c SolvingTime_7 : 157.519116
1113.90/164.47	c (159,0) c SolvingTime_total : 1264.018139
1113.90/164.47	c (159,0) c SolvingTime_winner : 157.450397
1113.90/164.47	c (159,0) c PropagationTime_0 : 113.391026
1113.90/164.47	c (159,0) c PropagationTime_1 : 112.276813
1113.90/164.47	c (159,0) c PropagationTime_2 : 136.006080
1113.90/164.47	c (159,0) c PropagationTime_3 : 108.134867
1113.90/164.47	c (159,0) c PropagationTime_4 : 96.878046
1113.90/164.47	c (159,0) c PropagationTime_5 : 139.366523
1113.90/164.47	c (159,0) c PropagationTime_6 : 136.239690
1113.90/164.47	c (159,0) c PropagationTime_7 : 114.225738
1113.90/164.47	c (159,0) c PropagationTime_total : 956.518783
1113.90/164.47	c (159,0) c PropagationTime_winner : 139.366523
1113.90/164.47	c (159,0) c AnalysisTime_0 : 40.485749
1113.90/164.47	c (159,0) c AnalysisTime_1 : 43.072806
1113.90/164.47	c (159,0) c AnalysisTime_2 : 17.769215
1113.90/164.47	c (159,0) c AnalysisTime_3 : 46.985687
1113.90/164.47	c (159,0) c AnalysisTime_4 : 58.417396
1113.90/164.47	c (159,0) c AnalysisTime_5 : 14.227256
1113.90/164.47	c (159,0) c AnalysisTime_6 : 17.617358
1113.90/164.47	c (159,0) c AnalysisTime_7 : 39.805237
1113.90/164.47	c (159,0) c AnalysisTime_total : 278.380705
1113.90/164.47	c (159,0) c AnalysisTime_winner : 14.227256
1113.90/164.47	c (159,0) c ReductionTime_0 : 1.434581
1113.90/164.47	c (159,0) c ReductionTime_1 : 1.398678
1113.90/164.47	c (159,0) c ReductionTime_2 : 1.342190
1113.90/164.47	c (159,0) c ReductionTime_3 : 1.235290
1113.90/164.47	c (159,0) c ReductionTime_4 : 1.283357
1113.90/164.47	c (159,0) c ReductionTime_5 : 1.600094
1113.90/164.47	c (159,0) c ReductionTime_6 : 1.361680
1113.90/164.47	c (159,0) c ReductionTime_7 : 1.307210
1113.90/164.47	c (159,0) c ReductionTime_total : 10.963080
1113.90/164.47	c (159,0) c ReductionTime_winner : 1.600094
1113.90/164.47	c (159,0) c SimplifyTime_0 : 0.070102
1113.90/164.47	c (159,0) c SimplifyTime_1 : 0.054079
1113.90/164.47	c (159,0) c SimplifyTime_2 : 0.193380
1113.90/164.47	c (159,0) c SimplifyTime_3 : 0.104587
1113.90/164.47	c (159,0) c SimplifyTime_4 : 0.052839
1113.90/164.47	c (159,0) c SimplifyTime_5 : 0.058884
1113.90/164.47	c (159,0) c SimplifyTime_6 : 0.067910
1113.90/164.47	c (159,0) c SimplifyTime_7 : 0.050612
1113.90/164.47	c (159,0) c SimplifyTime_total : 0.652393
1113.90/164.47	c (159,0) c SimplifyTime_winner : 0.058884
1113.90/164.47	c (159,0) c UsedRateTime_0 : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_1 : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_2 : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_3 : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_4 : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_5 : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_6 : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_7 : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_total : 0.000000
1113.90/164.47	c (159,0) c UsedRateTime_winner : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_0 : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_1 : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_2 : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_3 : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_4 : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_5 : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_6 : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_7 : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_total : 0.000000
1113.90/164.47	c (159,0) c OverlapRateTime_winner : 0.000000
1113.90/164.47	c (159,0) c
1113.90/164.47	c (159,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1113.90/164.47	c (159,0) c
1113.90/164.47	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.47	c (159,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1113.90/164.47	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.47	c (159,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1113.90/164.47	c (159,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1113.90/164.47	c (159,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1113.90/164.47	c (159,0) c | Initial random_seed   |   27323139 |  168317169 |  106399384 |   49476567 |  384444753 |  315233000 | 1926223989 |  299323884 |
1113.90/164.47	c (159,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1113.90/164.47	c (159,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1113.90/164.47	c (159,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1113.90/164.47	c (159,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1113.90/164.47	c (159,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1113.90/164.47	c (159,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1113.90/164.47	c (159,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1113.90/164.47	c (159,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1113.90/164.47	c (159,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1113.90/164.47	c (159,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1113.90/164.47	c (159,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1113.90/164.47	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1113.90/164.47	c (159,0) 
1113.90/164.47	c (159,0) s UNSATISFIABLE
1113.90/164.48	c (159,0) SatSolver.solve End
1113.90/164.48	c (159,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1113.90/164.48	c (159,0) Show results Begin
1113.90/164.48	s UNSATISFIABLE
1113.90/164.48	c (159,0) Show results End
1113.90/164.48	c (159,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1113.90/164.48	c (159,0) 159,159,STOP-AFTER(ALL)
1113.90/164.48	c END-Prog: Sat Sep 14 06:53:30 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392439-1568436690/watcher-4392439-1568436690 -o /tmp/evaluation-result-4392439-1568436690/solver-4392439-1568436690 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392439-1568436690.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=14049, runsolver pid=14046
Current StackSize limit: 8192 KiB


[startup+0.100229 s]*
/proc/loadavg: 4.25 3.31 4.52 2/212 14071
/proc/meminfo: memFree=25744476/32770624 swapFree=67002164/67108860
[pid=14049] ppid=14046 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14049/stat : 14049 (scop.sh) S 14046 14049 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419917639 115843072 349 33554432000 4194304 5098028 140726794548736 140726794545992 140569145045628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38928384 140726794552101 140726794552428 140726794552428 140726794555341 0
/proc/14049/statm: 28282 349 296 221 0 87 0
[pid=14052] ppid=14049 vsize=27314120 memory=104364 CPUtime=0.1 cores=0-7
/proc/14052/stat : 14052 (java) S 14049 14049 11851 0 -1 1077944320 6708 0 0 0 8 2 0 0 20 0 20 0 419917639 27969658880 26091 33554432000 4194304 4196468 140729036967328 140729036949872 140091442634487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
/proc/14052/statm: 6828530 26091 2803 1 0 6790935 0
[pid=14052/tid=14053] ppid=14049 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14052/task/14053/stat : 14053 (java) R 14049 14049 11851 0 -1 4202560 4788 0 0 0 7 1 0 0 20 0 20 0 419917640 27969658880 26091 33554432000 4194304 4196468 140729036967328 140091414448000 140091426678117 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14054] ppid=14049 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14052/task/14054/stat : 14054 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 26091 33554432000 4194304 4196468 140729036967328 140091446876816 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14055] ppid=14049 vsize=27314120 memory=140339807274624 CPUtime=0 cores=0-7
/proc/14052/task/14055/stat : 14055 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 26091 33554432000 4194304 4196468 140729036967328 140090865080848 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14056] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14056/stat : 14056 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 26091 33554432000 4194304 4196468 140729036967328 140090864028048 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14057] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14057/stat : 14057 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 26091 33554432000 4194304 4196468 140729036967328 140090862975248 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14058] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14058/stat : 14058 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 26091 33554432000 4194304 4196468 140729036967328 140090861923472 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14059] ppid=14049 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14052/task/14059/stat : 14059 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 26091 33554432000 4194304 4196468 140729036967328 140090860870672 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14060] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14060/stat : 14060 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 26091 33554432000 4194304 4196468 140729036967328 140090859817872 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14061] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14061/stat : 14061 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 26091 33554432000 4194304 4196468 140729036967328 140090858765072 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14062] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14062/stat : 14062 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 26091 33554432000 4194304 4196468 140729036967328 140089829960048 140091442645634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14063] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14063/stat : 14063 (java) S 14049 14049 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 26091 33554432000 4194304 4196468 140729036967328 140089216721952 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14064] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14064/stat : 14064 (java) S 14049 14049 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 26091 33554432000 4194304 4196468 140729036967328 140089082499952 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14065] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14065/stat : 14065 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 26091 33554432000 4194304 4196468 140729036967328 140088707995472 140091442653083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14066] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14066/stat : 14066 (java) S 14049 14049 11851 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 26091 33554432000 4194304 4196468 140729036967328 140089828907888 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14067] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14067/stat : 14067 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 26091 33554432000 4194304 4196468 140729036967328 140089827855088 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14068] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14068/stat : 14068 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 26091 33554432000 4194304 4196468 140729036967328 140089826802288 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14069] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14069/stat : 14069 (java) S 14049 14049 11851 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 26603 33554432000 4194304 4196468 140729036967328 140089825749488 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14070] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14070/stat : 14070 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 26603 33554432000 4194304 4196468 140729036967328 140088210090592 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14071] ppid=14049 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14052/task/14071/stat : 14071 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 26603 33554432000 4194304 4196468 140729036967328 140089824696880 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105760 KiB

[startup+0.21045 s]*
/proc/loadavg: 4.25 3.31 4.52 2/212 14071
/proc/meminfo: memFree=25723520/32770624 swapFree=67002164/67108860
[pid=14049] ppid=14046 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14049/stat : 14049 (scop.sh) S 14046 14049 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419917639 115843072 349 33554432000 4194304 5098028 140726794548736 140726794545992 140569145045628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38928384 140726794552101 140726794552428 140726794552428 140726794555341 0
/proc/14049/statm: 28282 349 296 221 0 87 0
[pid=14052] ppid=14049 vsize=27314120 memory=123348 CPUtime=0.24 cores=0-7
/proc/14052/stat : 14052 (java) S 14049 14049 11851 0 -1 1077944320 12172 0 0 0 20 4 0 0 20 0 20 0 419917639 27969658880 30837 33554432000 4194304 4196468 140729036967328 140729036949872 140091442634487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
/proc/14052/statm: 6828530 30837 2921 1 0 6790935 0
[pid=14052/tid=14053] ppid=14049 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14052/task/14053/stat : 14053 (java) R 14049 14049 11851 0 -1 4202560 9873 0 0 0 16 3 0 0 20 0 20 0 419917640 27969658880 30837 33554432000 4194304 4196468 140729036967328 140091414441856 140091422909704 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14054] ppid=14049 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/14052/task/14054/stat : 14054 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 30837 33554432000 4194304 4196468 140729036967328 140091446876816 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14055] ppid=14049 vsize=27314120 memory=140339807286758 CPUtime=0 cores=0-7
/proc/14052/task/14055/stat : 14055 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 30837 33554432000 4194304 4196468 140729036967328 140090865080848 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14056] ppid=14049 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14052/task/14056/stat : 14056 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 30837 33554432000 4194304 4196468 140729036967328 140090864028048 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14057] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14057/stat : 14057 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 30837 33554432000 4194304 4196468 140729036967328 140090862975248 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14058] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14058/stat : 14058 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 30837 33554432000 4194304 4196468 140729036967328 140090861923472 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14059] ppid=14049 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14052/task/14059/stat : 14059 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 30837 33554432000 4194304 4196468 140729036967328 140090860870672 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14060] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14060/stat : 14060 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 30837 33554432000 4194304 4196468 140729036967328 140090859817872 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14061] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14061/stat : 14061 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 30837 33554432000 4194304 4196468 140729036967328 140090858765072 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14062] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14062/stat : 14062 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 30837 33554432000 4194304 4196468 140729036967328 140089829960048 140091442645634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14063] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14063/stat : 14063 (java) S 14049 14049 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 30837 33554432000 4194304 4196468 140729036967328 140089216721952 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14064] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14064/stat : 14064 (java) S 14049 14049 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 30837 33554432000 4194304 4196468 140729036967328 140089082499952 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14065] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14065/stat : 14065 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 30837 33554432000 4194304 4196468 140729036967328 140088707995472 140091442653083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14066] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14066/stat : 14066 (java) S 14049 14049 11851 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 30837 33554432000 4194304 4196468 140729036967328 140089828907888 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14067] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14067/stat : 14067 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 30837 33554432000 4194304 4196468 140729036967328 140089827855088 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14068] ppid=14049 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14052/task/14068/stat : 14068 (java) S 14049 14049 11851 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 30837 33554432000 4194304 4196468 140729036967328 140089826802288 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14069] ppid=14049 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/14052/task/14069/stat : 14069 (java) S 14049 14049 11851 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 419917647 27969658880 30837 33554432000 4194304 4196468 140729036967328 140089825749488 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14070] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14070/stat : 14070 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 30837 33554432000 4194304 4196468 140729036967328 140088210090592 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14071] ppid=14049 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14052/task/14071/stat : 14071 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 30837 33554432000 4194304 4196468 140729036967328 140089824696880 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124744 KiB

[startup+0.310384 s]*
/proc/loadavg: 4.25 3.31 4.52 2/212 14071
/proc/meminfo: memFree=25720664/32770624 swapFree=67002164/67108860
[pid=14049] ppid=14046 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14049/stat : 14049 (scop.sh) S 14046 14049 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419917639 115843072 349 33554432000 4194304 5098028 140726794548736 140726794545992 140569145045628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38928384 140726794552101 140726794552428 140726794552428 140726794555341 0
/proc/14049/statm: 28282 349 296 221 0 87 0
[pid=14052] ppid=14049 vsize=27314120 memory=127568 CPUtime=0.42 cores=0-7
/proc/14052/stat : 14052 (java) S 14049 14049 11851 0 -1 1077944320 13322 0 0 0 37 5 0 0 20 0 20 0 419917639 27969658880 31892 33554432000 4194304 4196468 140729036967328 140729036949872 140091442634487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
/proc/14052/statm: 6828530 31892 3013 1 0 6790935 0
[pid=14052/tid=14053] ppid=14049 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/14052/task/14053/stat : 14053 (java) R 14049 14049 11851 0 -1 4202560 10817 0 0 0 26 4 0 0 20 0 20 0 419917640 27969658880 31892 33554432000 4194304 4196468 140729036967328 140091414441792 140091426714974 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14054] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14054/stat : 14054 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 31892 33554432000 4194304 4196468 140729036967328 140091446876816 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14055] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14055/stat : 14055 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 31892 33554432000 4194304 4196468 140729036967328 140090865080848 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14056] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14056/stat : 14056 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 31892 33554432000 4194304 4196468 140729036967328 140090864028048 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14057] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14057/stat : 14057 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 31892 33554432000 4194304 4196468 140729036967328 140090862975248 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14058] ppid=14049 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/14052/task/14058/stat : 14058 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 31892 33554432000 4194304 4196468 140729036967328 140090861923472 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14059] ppid=14049 vsize=27314120 memory=140339667104687 CPUtime=0 cores=0-7
/proc/14052/task/14059/stat : 14059 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 31892 33554432000 4194304 4196468 140729036967328 140090860870672 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14060] ppid=14049 vsize=27314120 memory=140339667106992 CPUtime=0 cores=0-7
/proc/14052/task/14060/stat : 14060 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 31892 33554432000 4194304 4196468 140729036967328 140090859817872 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14061] ppid=14049 vsize=27314120 memory=140339667109296 CPUtime=0 cores=0-7
/proc/14052/task/14061/stat : 14061 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27969658880 31892 33554432000 4194304 4196468 140729036967328 140090858765072 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14062] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14062/stat : 14062 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 31892 33554432000 4194304 4196468 140729036967328 140089829960048 140091442645634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14063] ppid=14049 vsize=27314120 memory=280679334225552 CPUtime=0 cores=0-7
/proc/14052/task/14063/stat : 14063 (java) S 14049 14049 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 31892 33554432000 4194304 4196468 140729036967328 140089216721952 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14064] ppid=14049 vsize=27314120 memory=280679334232464 CPUtime=0 cores=0-7
/proc/14052/task/14064/stat : 14064 (java) S 14049 14049 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419917644 27969658880 31892 33554432000 4194304 4196468 140729036967328 140089082499952 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14065] ppid=14049 vsize=27314120 memory=280679334173744 CPUtime=0 cores=0-7
/proc/14052/task/14065/stat : 14065 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 31892 33554432000 4194304 4196468 140729036967328 140088707995472 140091442653083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14066] ppid=14049 vsize=27314120 memory=280679334246288 CPUtime=0.01 cores=0-7
/proc/14052/task/14066/stat : 14066 (java) R 14049 14049 11851 0 -1 4202560 488 0 0 0 1 0 0 0 20 0 20 0 419917647 27969658880 31892 33554432000 4194304 4196468 140729036967328 140089828907888 140091423194128 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14067] ppid=14049 vsize=27314120 memory=280679334253200 CPUtime=0.01 cores=0-7
/proc/14052/task/14067/stat : 14067 (java) S 14049 14049 11851 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 419917647 27969658880 31892 33554432000 4194304 4196468 140729036967328 140089827855088 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14068] ppid=14049 vsize=27314120 memory=280679334250896 CPUtime=0.01 cores=0-7
/proc/14052/task/14068/stat : 14068 (java) S 14049 14049 11851 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 419917647 27969658880 31892 33554432000 4194304 4196468 140729036967328 140089826802288 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14069] ppid=14049 vsize=27314120 memory=280679334267056 CPUtime=0.07 cores=0-7
/proc/14052/task/14069/stat : 14069 (java) S 14049 14049 11851 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 419917647 27969658880 31892 33554432000 4194304 4196468 140729036967328 140089825749488 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14070] ppid=14049 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14070/stat : 14070 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 31892 33554432000 4194304 4196468 140729036967328 140088210090592 140091442644693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14071] ppid=14049 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14052/task/14071/stat : 14071 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917647 27969658880 31892 33554432000 4194304 4196468 140729036967328 140089824696880 140091442645634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128964 KiB

[startup+0.70086 s]
/proc/loadavg: 4.25 3.31 4.52 2/212 14071
/proc/meminfo: memFree=25700148/32770624 swapFree=67002164/67108860
[pid=14049] ppid=14046 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14049/stat : 14049 (scop.sh) S 14046 14049 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419917639 115843072 349 33554432000 4194304 5098028 140726794548736 140726794545992 140569145045628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38928384 140726794552101 140726794552428 140726794552428 140726794555341 0
/proc/14049/statm: 28282 349 296 221 0 87 0
[pid=14052] ppid=14049 vsize=27320392 memory=163288 CPUtime=0.98 cores=0-7
/proc/14052/stat : 14052 (java) S 14049 14049 11851 0 -1 1077944320 20442 0 0 0 91 7 0 0 20 0 20 0 419917639 27976081408 40822 33554432000 4194304 4196468 140729036967328 140729036949872 140091442634487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
/proc/14052/statm: 6830098 40822 3185 1 0 6791447 0
[pid=14052/tid=14053] ppid=14049 vsize=27320392 memory=280679334624944 CPUtime=0.67 cores=0-7
/proc/14052/task/14053/stat : 14053 (java) R 14049 14049 11851 0 -1 4202560 17371 0 0 0 62 5 0 0 20 0 20 0 419917640 27976081408 40822 33554432000 4194304 4196468 140729036967328 140091414473344 140090911352756 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14054] ppid=14049 vsize=27320392 memory=140339667313520 CPUtime=0 cores=0-7
/proc/14052/task/14054/stat : 14054 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27976081408 40822 33554432000 4194304 4196468 140729036967328 140091446876816 140091442644693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14055] ppid=14049 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14052/task/14055/stat : 14055 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419917642 27976081408 40822 33554432000 4194304 4196468 140729036967328 140090865080848 140091442644693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0
[pid=14052/tid=14056] ppid=14049 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/14052/task/14056/stat : 14056 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419917642 27976081408 40822 33554432000 4194304 4196468 140729036967328 140090864028048 140091442644693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28823552 140729036972779 140729036973206 140729036973206 140729036976079 0

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

[pid=14072/tid=14084] ppid=14049 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/14072/task/14084/stat : 14084 (java) S 14049 14049 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419918099 8616062976 29780 33554432000 4194304 4196468 140732517346416 139963521815920 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14085] ppid=14049 vsize=8414124 memory=5948 CPUtime=0 cores=0-7
/proc/14072/task/14085/stat : 14085 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139963147311440 139965387593627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14086] ppid=14049 vsize=8414124 memory=-9031523099484647826 CPUtime=0.07 cores=0-7
/proc/14072/task/14086/stat : 14086 (java) S 14049 14049 11851 0 -1 1077944384 584 0 0 0 7 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964681390448 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14087] ppid=14049 vsize=8414124 memory=1768 CPUtime=0.07 cores=0-7
/proc/14072/task/14087/stat : 14087 (java) S 14049 14049 11851 0 -1 1077944384 239 0 0 0 7 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964680337648 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14088] ppid=14049 vsize=8414124 memory=1656 CPUtime=0.06 cores=0-7
/proc/14072/task/14088/stat : 14088 (java) S 14049 14049 11851 0 -1 1077944384 390 0 0 0 6 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964679284848 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14089] ppid=14049 vsize=8414124 memory=804 CPUtime=0.21 cores=0-7
/proc/14072/task/14089/stat : 14089 (java) S 14049 14049 11851 0 -1 1077944384 747 0 0 0 21 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964678232048 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14090] ppid=14049 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/14072/task/14090/stat : 14090 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139962649406560 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14091] ppid=14049 vsize=8414124 memory=1980 CPUtime=0.1 cores=0-7
/proc/14072/task/14091/stat : 14091 (java) S 14049 14049 11851 0 -1 1077944384 13 0 0 0 0 10 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964677180464 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14095] ppid=14049 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/14072/task/14095/stat : 14095 (java) S 14049 14049 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419918170 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964669146688 139965387599641 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14097] ppid=14049 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/14072/task/14097/stat : 14097 (java) S 14049 14049 11851 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419918171 8616062976 29780 33554432000 4194304 4196468 140732517346416 139961978306192 139965387596957 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14098] ppid=14049 vsize=8414124 memory=14126740981156277 CPUtime=0 cores=0-7
/proc/14072/task/14098/stat : 14098 (java) S 14049 14049 11851 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419918171 8616062976 29780 33554432000 4194304 4196468 140732517346416 139962246741520 139965387596957 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14107] ppid=14049 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/14072/task/14107/stat : 14107 (java) S 14049 14049 11851 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419918173 8616062976 29780 33554432000 4194304 4196468 140732517346416 139961709878320 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
Current children cumulated CPU time: 1110.86 s
Current children cumulated vsize: 9345708 KiB
Current children cumulated memory: 773096 KiB

[startup+164.001 s]*
/proc/loadavg: 7.13 4.83 4.90 4/220 14116
/proc/meminfo: memFree=25077980/32770624 swapFree=67002164/67108860
[pid=14049] ppid=14046 vsize=113128 memory=1476 CPUtime=12.08 cores=0-7
/proc/14049/stat : 14049 (scop.sh) S 14046 14049 11851 0 -1 4202496 583 32023 0 0 0 0 1180 28 20 0 1 0 419917639 115843072 369 33554432000 4194304 5098028 140726794548736 140726794545480 140569145045628 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38928384 140726794552101 140726794552428 140726794552428 140726794555341 0
/proc/14049/statm: 28282 369 311 221 0 87 0
[pid=14072] ppid=14049 vsize=8414124 memory=119120 CPUtime=1.33 cores=0-7
/proc/14072/stat : 14072 (java) S 14049 14049 11851 0 -1 1077944320 20714 0 0 0 126 7 0 0 20 0 24 0 419918096 8616062976 29780 33554432000 4194304 4196468 140732517346416 140732517328960 139965387575031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
/proc/14072/statm: 2103531 29780 3211 1 0 2064875 0
[pid=14094] ppid=14072 vsize=818456 memory=652500 CPUtime=1099.87 cores=0-7
/proc/14094/stat : 14094 (manyglucose-4.1) S 14072 14049 11851 0 -1 1077944320 1020211 0 0 0 109764 223 0 0 20 0 4 0 419918170 838098944 163125 33554432000 4194304 4454172 140730400076528 140730400074912 140153998765815 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 16498688 140730400080745 140730400080944 140730400080944 140730400083898 0
/proc/14094/statm: 204614 163125 418 64 0 200282 0
[pid=14094/tid=14100] ppid=14072 vsize=818456 memory=48740 CPUtime=146.37 cores=0-7
/proc/14094/task/14100/stat : 14100 (manyglucose-4.1) R 14072 14049 11851 0 -1 4202560 128270 0 0 0 14605 32 0 0 20 0 4 0 419918173 838098944 163125 33554432000 4194304 4454172 140730400076528 140153975155576 4367322 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 16498688 140730400080745 140730400080944 140730400080944 140730400083898 0
[pid=14094/tid=14102] ppid=14072 vsize=818456 memory=1476 CPUtime=145.62 cores=0-7
/proc/14094/task/14102/stat : 14102 (manyglucose-4.1) R 14072 14049 11851 0 -1 4202560 132857 0 0 0 14537 25 0 0 20 0 4 0 419918173 838098944 163125 33554432000 4194304 4454172 140730400076528 140153958370440 4351528 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 16498688 140730400080745 140730400080944 140730400080944 140730400083898 0
[pid=14094/tid=14103] ppid=14072 vsize=818456 memory=1476 CPUtime=158.56 cores=0-7
/proc/14094/task/14103/stat : 14103 (manyglucose-4.1) R 14072 14049 11851 0 -1 4202560 129848 0 0 0 15835 21 0 0 20 0 4 0 419918173 838098944 163125 33554432000 4194304 4454172 140730400076528 140153949977320 4351289 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 16498688 140730400080745 140730400080944 140730400080944 140730400083898 0
[pid=14072/tid=14073] ppid=14049 vsize=8414124 memory=119120 CPUtime=0.77 cores=0-7
/proc/14072/task/14073/stat : 14073 (java) S 14049 14049 11851 0 -1 1077944384 17320 0 0 0 72 5 0 0 20 0 24 0 419918096 8616062976 29780 33554432000 4194304 4196468 140732517346416 139965359415200 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14074] ppid=14049 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14072/task/14074/stat : 14074 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139965391817872 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14075] ppid=14049 vsize=8414124 memory=119120 CPUtime=0 cores=0-7
/proc/14072/task/14075/stat : 14075 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964872383504 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14076] ppid=14049 vsize=8414124 memory=-9031523099484647826 CPUtime=0 cores=0-7
/proc/14072/task/14076/stat : 14076 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964871330704 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14077] ppid=14049 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14072/task/14077/stat : 14077 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964870277904 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14078] ppid=14049 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/14072/task/14078/stat : 14078 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964869225104 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14079] ppid=14049 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/14072/task/14079/stat : 14079 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964868172304 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14080] ppid=14049 vsize=8414124 memory=4008 CPUtime=0 cores=0-7
/proc/14072/task/14080/stat : 14080 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964867119504 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14081] ppid=14049 vsize=8414124 memory=1292 CPUtime=0 cores=0-7
/proc/14072/task/14081/stat : 14081 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964866066704 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14082] ppid=14049 vsize=8414124 memory=717724 CPUtime=0 cores=0-7
/proc/14072/task/14082/stat : 14082 (java) S 14049 14049 11851 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419918099 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964682443632 139965387586178 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14083] ppid=14049 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14072/task/14083/stat : 14083 (java) S 14049 14049 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419918099 8616062976 29780 33554432000 4194304 4196468 140732517346416 139963656037920 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14084] ppid=14049 vsize=8414124 memory=119120 CPUtime=0 cores=0-7
/proc/14072/task/14084/stat : 14084 (java) S 14049 14049 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419918099 8616062976 29780 33554432000 4194304 4196468 140732517346416 139963521815920 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14085] ppid=14049 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14072/task/14085/stat : 14085 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139963147311440 139965387593627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14086] ppid=14049 vsize=8414124 memory=119120 CPUtime=0.07 cores=0-7
/proc/14072/task/14086/stat : 14086 (java) S 14049 14049 11851 0 -1 1077944384 584 0 0 0 7 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964681390448 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14087] ppid=14049 vsize=8414124 memory=535612 CPUtime=0.07 cores=0-7
/proc/14072/task/14087/stat : 14087 (java) S 14049 14049 11851 0 -1 1077944384 239 0 0 0 7 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964680337648 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14088] ppid=14049 vsize=8414124 memory=636 CPUtime=0.06 cores=0-7
/proc/14072/task/14088/stat : 14088 (java) S 14049 14049 11851 0 -1 1077944384 390 0 0 0 6 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964679284848 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14089] ppid=14049 vsize=8414124 memory=2832 CPUtime=0.21 cores=0-7
/proc/14072/task/14089/stat : 14089 (java) S 14049 14049 11851 0 -1 1077944384 747 0 0 0 21 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964678232048 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14090] ppid=14049 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/14072/task/14090/stat : 14090 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139962649406560 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14091] ppid=14049 vsize=8414124 memory=1568 CPUtime=0.1 cores=0-7
/proc/14072/task/14091/stat : 14091 (java) S 14049 14049 11851 0 -1 1077944384 13 0 0 0 0 10 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964677180464 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14095] ppid=14049 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/14072/task/14095/stat : 14095 (java) S 14049 14049 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419918170 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964669146688 139965387599641 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14097] ppid=14049 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/14072/task/14097/stat : 14097 (java) S 14049 14049 11851 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419918171 8616062976 29780 33554432000 4194304 4196468 140732517346416 139961978306192 139965387596957 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14098] ppid=14049 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/14072/task/14098/stat : 14098 (java) S 14049 14049 11851 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419918171 8616062976 29780 33554432000 4194304 4196468 140732517346416 139962246741520 139965387596957 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14107] ppid=14049 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/14072/task/14107/stat : 14107 (java) S 14049 14049 11851 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419918173 8616062976 29780 33554432000 4194304 4196468 140732517346416 139961709878320 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
Current children cumulated CPU time: 1113.28 s
Current children cumulated vsize: 9345708 KiB
Current children cumulated memory: 773096 KiB

[startup+164.401 s]
/proc/loadavg: 7.13 4.83 4.90 4/220 14116
/proc/meminfo: memFree=25077980/32770624 swapFree=67002164/67108860
[pid=14049] ppid=14046 vsize=113128 memory=1476 CPUtime=12.08 cores=0-7
/proc/14049/stat : 14049 (scop.sh) S 14046 14049 11851 0 -1 4202496 583 32023 0 0 0 0 1180 28 20 0 1 0 419917639 115843072 369 33554432000 4194304 5098028 140726794548736 140726794545480 140569145045628 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38928384 140726794552101 140726794552428 140726794552428 140726794555341 0
/proc/14049/statm: 28282 369 311 221 0 87 0
[pid=14072] ppid=14049 vsize=8414124 memory=119120 CPUtime=1.33 cores=0-7
/proc/14072/stat : 14072 (java) S 14049 14049 11851 0 -1 1077944320 20714 0 0 0 126 7 0 0 20 0 24 0 419918096 8616062976 29780 33554432000 4194304 4196468 140732517346416 140732517328960 139965387575031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
/proc/14072/statm: 2103531 29780 3211 1 0 2064875 0
[pid=14094] ppid=14072 vsize=757760 memory=596680 CPUtime=1100.49 cores=0-7
/proc/14094/stat : 14094 (manyglucose-4.1) S 14072 14049 11851 0 -1 1077944320 1020211 0 0 0 109826 223 0 0 20 0 2 0 419918170 775946240 149170 33554432000 4194304 4454172 140730400076528 140730400074912 140153998765815 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 16498688 140730400080745 140730400080944 140730400080944 140730400083898 0
/proc/14094/statm: 189440 149170 418 64 0 185108 0
[pid=14094/tid=14100] ppid=14072 vsize=757760 memory=119120 CPUtime=146.76 cores=0-7
/proc/14094/task/14100/stat : 14100 (manyglucose-4.1) R 14072 14049 11851 0 -1 4202560 128270 0 0 0 14644 32 0 0 20 0 2 0 419918173 775946240 149170 33554432000 4194304 4454172 140730400076528 140153975155720 4351215 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 16498688 140730400080745 140730400080944 140730400080944 140730400083898 0
[pid=14072/tid=14073] ppid=14049 vsize=8414124 memory=728880 CPUtime=0.77 cores=0-7
/proc/14072/task/14073/stat : 14073 (java) S 14049 14049 11851 0 -1 1077944384 17320 0 0 0 72 5 0 0 20 0 24 0 419918096 8616062976 29780 33554432000 4194304 4196468 140732517346416 139965359415200 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14074] ppid=14049 vsize=8414124 memory=723868 CPUtime=0 cores=0-7
/proc/14072/task/14074/stat : 14074 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139965391817872 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14075] ppid=14049 vsize=8414124 memory=39740 CPUtime=0 cores=0-7
/proc/14072/task/14075/stat : 14075 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964872383504 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14076] ppid=14049 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/14072/task/14076/stat : 14076 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964871330704 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14077] ppid=14049 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14072/task/14077/stat : 14077 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964870277904 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14078] ppid=14049 vsize=8414124 memory=119120 CPUtime=0 cores=0-7
/proc/14072/task/14078/stat : 14078 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964869225104 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14079] ppid=14049 vsize=8414124 memory=652500 CPUtime=0 cores=0-7
/proc/14072/task/14079/stat : 14079 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964868172304 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14080] ppid=14049 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/14072/task/14080/stat : 14080 (java) S 14049 14049 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964867119504 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14081] ppid=14049 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/14072/task/14081/stat : 14081 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419918097 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964866066704 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14082] ppid=14049 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/14072/task/14082/stat : 14082 (java) S 14049 14049 11851 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419918099 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964682443632 139965387586178 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14083] ppid=14049 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/14072/task/14083/stat : 14083 (java) S 14049 14049 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419918099 8616062976 29780 33554432000 4194304 4196468 140732517346416 139963656037920 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14084] ppid=14049 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/14072/task/14084/stat : 14084 (java) S 14049 14049 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419918099 8616062976 29780 33554432000 4194304 4196468 140732517346416 139963521815920 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14085] ppid=14049 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/14072/task/14085/stat : 14085 (java) S 14049 14049 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139963147311440 139965387593627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14086] ppid=14049 vsize=8414124 memory=2580 CPUtime=0.07 cores=0-7
/proc/14072/task/14086/stat : 14086 (java) S 14049 14049 11851 0 -1 1077944384 584 0 0 0 7 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964681390448 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14087] ppid=14049 vsize=8414124 memory=1764 CPUtime=0.07 cores=0-7
/proc/14072/task/14087/stat : 14087 (java) S 14049 14049 11851 0 -1 1077944384 239 0 0 0 7 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964680337648 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14088] ppid=14049 vsize=8414124 memory=111632 CPUtime=0.06 cores=0-7
/proc/14072/task/14088/stat : 14088 (java) S 14049 14049 11851 0 -1 1077944384 390 0 0 0 6 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964679284848 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14089] ppid=14049 vsize=8414124 memory=796 CPUtime=0.21 cores=0-7
/proc/14072/task/14089/stat : 14089 (java) S 14049 14049 11851 0 -1 1077944384 747 0 0 0 21 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964678232048 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14090] ppid=14049 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/14072/task/14090/stat : 14090 (java) S 14049 14049 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139962649406560 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14091] ppid=14049 vsize=8414124 memory=916 CPUtime=0.1 cores=0-7
/proc/14072/task/14091/stat : 14091 (java) S 14049 14049 11851 0 -1 1077944384 13 0 0 0 0 10 0 0 20 0 24 0 419918102 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964677180464 139965387586178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14095] ppid=14049 vsize=8414124 memory=4772 CPUtime=0 cores=0-7
/proc/14072/task/14095/stat : 14095 (java) S 14049 14049 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419918170 8616062976 29780 33554432000 4194304 4196468 140732517346416 139964669146688 139965387599641 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14097] ppid=14049 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/14072/task/14097/stat : 14097 (java) S 14049 14049 11851 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419918171 8616062976 29780 33554432000 4194304 4196468 140732517346416 139961978306192 139965387596957 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14098] ppid=14049 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/14072/task/14098/stat : 14098 (java) S 14049 14049 11851 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419918171 8616062976 29780 33554432000 4194304 4196468 140732517346416 139962246741520 139965387596957 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
[pid=14072/tid=14107] ppid=14049 vsize=8414124 memory=3548 CPUtime=0 cores=0-7
/proc/14072/task/14107/stat : 14107 (java) S 14049 14049 11851 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419918173 8616062976 29780 33554432000 4194304 4196468 140732517346416 139961709878320 139965387585237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140732517352439 140732517352598 140732517352598 140732517355471 0
Current children cumulated CPU time: 1113.9 s
Current children cumulated vsize: 9285012 KiB
Current children cumulated memory: 717276 KiB

Child status: 0
Real time (s): 164.495
CPU time (s): 1114.07
CPU user time (s): 1111.45
CPU system time (s): 2.62536
CPU usage (%): 677.27
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1048716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1111.45
system time used= 2.62536
maximum resident set size= 1049856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1073669
page faults= 0
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20152
involuntary context switches= 9950


# summary of solver processes directly reported to runsolver:
#   pid: 14049
#   total CPU time (s): 1114.07
#   total CPU user time (s): 1111.45
#   total CPU system time (s): 2.62536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54484 second user time and 2.39147 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 06:50:46
IDJOB=4392439
IDBENCH=134583
IDSOLVER=2838
FILE ID=node136/4392439-1568436690
RUNJOBID= node136-1568427975-11878
PBS_JOBID= 21702302
Free space on /tmp= 61168 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-6_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392439-1568436690/watcher-4392439-1568436690 -o /tmp/evaluation-result-4392439-1568436690/solver-4392439-1568436690 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392439-1568436690.xml

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

MD5SUM BENCH= 43dd96c97b3ff33ff7a4c42b6a5606ab
RANDOM SEED=365921479

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25837476 kB
MemAvailable:   31890688 kB
Buffers:           83976 kB
Cached:          6245440 kB
SwapCached:         3104 kB
Active:          2033976 kB
Inactive:        4303920 kB
Active(anon):       6876 kB
Inactive(anon):    42124 kB
Active(file):    2027100 kB
Inactive(file):  4261796 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002164 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:        166748 kB
Mapped:            43724 kB
Shmem:             31940 kB
Slab:             189548 kB
SReclaimable:     160304 kB
SUnreclaim:        29244 kB
KernelStack:        3792 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61148 MiB
End job on node136 at 2019-09-14 06:53:30