Trace number 4405490

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 44.4061 26.0096

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-12.xml
MD5SUM5dc18f9bddc2dfff84e0f90fec56ce3b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark24.9156
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains65
Minimum domain size520
Maximum domain size616
Distribution of domain sizes[{"size":520,"count":2},{"size":521,"count":4},{"size":522,"count":2},{"size":523,"count":4},{"size":525,"count":4},{"size":527,"count":4},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":6},{"size":532,"count":2},{"size":534,"count":2},{"size":535,"count":2},{"size":536,"count":2},{"size":537,"count":2},{"size":541,"count":2},{"size":542,"count":4},{"size":543,"count":2},{"size":545,"count":4},{"size":547,"count":2},{"size":550,"count":2},{"size":551,"count":2},{"size":552,"count":2},{"size":553,"count":2},{"size":554,"count":2},"...",{"size":582,"count":6}, {"size":585,"count":4}, {"size":586,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":4}, {"size":590,"count":2}, {"size":592,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":599,"count":2}, {"size":600,"count":6}, {"size":601,"count":2}, {"size":602,"count":2}, {"size":603,"count":2}, {"size":604,"count":6}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":608,"count":4}, {"size":609,"count":2}, {"size":612,"count":4}, {"size":614,"count":6}, {"size":615,"count":4}, {"size":616,"count":4}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9784-serial-file.bin HOME/instance-4405490-1569357775.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 22:42:13 CEST 2019
0.65/0.57	c PID: 9787
0.65/0.57	c IP: 172.20.3.141
0.65/0.57	c HOST: node141.alineos.net
0.65/0.57	c (0,0) Parsing Begin
4.38/1.56	c (1,1) Parsing End
4.38/1.56	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
4.38/1.56	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.38/1.56	c (1,1) Constraint Name Generate Begin
4.38/1.59	c (1,1) Ctr:HOME/instance-4405490-1569357775.xml,Add:Le:Ne:Num:Or:Var
4.38/1.59	c (1,1) Constraint Name Generate End
4.38/1.59	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.38/1.59	c (1,1) CSP to CSPinCNF Begin
5.44/1.81	c (1,1) translated 280 (10%) constraints
5.44/1.86	c (1,1) translated 560 (20%) constraints
5.77/1.90	c (1,1) translated 840 (30%) constraints
5.77/1.92	c (1,1) translated 1120 (40%) constraints
5.77/1.95	c (1,1) translated 1400 (50%) constraints
5.77/1.97	c (1,1) translated 1680 (60%) constraints
5.77/1.99	c (1,1) translated 1960 (70%) constraints
6.19/2.01	c (1,1) translated 2240 (80%) constraints
6.19/2.03	c (1,1) translated 2520 (90%) constraints
6.19/2.05	c (1,1) translated 2800 (100%) constraints
6.19/2.05	c (1,1) ===========================================
6.19/2.08	c (1,1) Hybrid: #OE=200, #LE=0
6.19/2.08	c (1,1) Hybrid
6.19/2.08	c (1,1) ===========================================
6.19/2.11	c (1,1) translated 280 (10%) constraints
6.62/2.12	c (1,1) translated 560 (20%) constraints
6.62/2.14	c (1,1) translated 840 (30%) constraints
6.62/2.15	c (1,1) translated 1120 (40%) constraints
6.62/2.16	c (1,1) translated 1400 (50%) constraints
6.62/2.18	c (1,1) translated 1680 (60%) constraints
6.62/2.19	c (1,1) translated 1960 (70%) constraints
6.99/2.20	c (1,1) translated 2240 (80%) constraints
6.99/2.21	c (1,1) translated 2520 (90%) constraints
6.99/2.23	c (1,1) translated 2800 (100%) constraints
6.99/2.23	c (1,1) CSP to CSPinCNF End
6.99/2.24	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
6.99/2.24	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.99/2.24	c (1,1) CSPinCNF Propagation Begin
6.99/2.30	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.99/2.30	c (1,1) CSPinCNF Propagation End
6.99/2.30	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
6.99/2.30	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.43/2.31	c (1,1) Hybrid: #OE=200, #LE=0
7.43/2.31	c (1,1) Simplify CSPinCNF Begin
8.12/2.50	c (1,1) Simplify CSPinCNF End
8.12/2.50	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 616
8.12/2.50	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.12/2.50	c (1,1) Calculate Precise Domain Begin
8.12/2.50	c (1,1) 0 values are removed by re-calculation
8.12/2.50	c (1,1) Calculate Precise Domain End
8.12/2.50	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 616
8.12/2.50	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.12/2.50	c (1,1) CSPinCNF to SatSolver Begin
11.44/4.18	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 397612 SAT clauses)
12.77/5.44	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 693330 SAT clauses)
14.04/6.68	c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 986856 SAT clauses)
15.34/7.91	c (7,7) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1279884 SAT clauses)
16.72/9.16	c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1568199 SAT clauses)
17.82/10.23	c (9,9) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1856923 SAT clauses)
18.94/11.30	c (10,10) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2149012 SAT clauses)
20.00/12.37	c (11,11) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2441082 SAT clauses)
21.14/13.63	c (13,12) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2737413 SAT clauses)
22.36/14.77	c (14,14) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3042731 SAT clauses)
22.36/14.77	c (14,14) CSPinCNF to SatSolver End
22.36/14.77	c (14,14) Heap : 5655 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.36/14.77	c (14,14) 119198 bool, 3043288 clause
22.36/14.77	c (14,14) Export Begin
22.48/14.87	c (14,14) Export to HOME/scop-9784-serial-file.bin
22.48/14.87	c (14,14) Export End
22.48/14.87	c (14,14) Export File Size: 0.03 MB
22.48/14.87	c (14,14) 1,1,1,1,1,1,14,STOP-AFTER(DIMACS)
22.48/14.87	c END-Prog: Tue Sep 24 22:42:27 CEST 2019
0.00/14.92	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9784-serial-file.bin
23.17/15.38	c (0,0) Read Serial File Begin
23.17/15.38	c (0,0) HOME/scop-9784-serial-file.bin
23.63/15.60	c (0,0) Read Serial File End
23.63/15.61	
23.63/15.61	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
23.63/15.61	(Solving Process)
23.63/15.61	
23.63/15.64	c BEGIN-Prog: Tue Sep 24 22:42:28 CEST 2019
23.63/15.64	c PID: 9809
23.63/15.64	c IP: 172.20.3.141
23.63/15.64	c HOST: node141.alineos.net
23.63/15.64	c (0,0) SatSolver.solve Begin
23.63/15.64	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405490-1569357775.xml-scop-9787.cnf
23.63/15.67	c (0,0) c
23.63/15.67	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)
23.63/15.67	c (0,0) c
23.63/15.67	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
23.63/15.67	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
23.63/15.67	c (0,0) c ========================================[ Problem Statistics ]===========================================
23.63/15.67	c (0,0) c |                                                                                                       |
24.96/16.74	c (1,0) c |  Number of variables:        119198                                                                   |
24.96/16.74	c (1,0) c |  Number of clauses:         3043288                                                                   |
24.96/16.74	c (1,0) c |  Parse time:                   0.98 s                                                                 |
24.96/16.74	c (1,0) c |                                                                                                       |
31.26/23.03	c (7,0) c |  Simplification time:          6.18 s                                                                 |
31.26/23.03	c (7,0) c |                                                                                                       |
31.26/23.03	c (7,0) c |  Generating clones                                                                                    |
32.05/23.86	c (8,0) c |  all clones generated. Memory =  2094.73Mb.                                                           |
32.05/23.86	c (8,0) c ========================================================================================================|
32.05/23.86	c (8,0) c
32.05/23.86	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
32.05/23.86	c (8,0) c
32.05/23.86	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
32.05/23.86	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
32.05/23.86	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
32.05/23.86	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
32.05/23.86	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
32.05/23.86	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
32.05/23.86	c (8,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
32.05/23.86	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
32.05/23.86	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
32.05/23.86	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
32.05/23.86	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
32.05/23.86	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
32.05/23.86	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
32.05/23.86	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
32.05/23.86	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
32.05/23.86	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
32.05/23.86	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
32.05/23.86	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
32.05/23.86	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.72	c (10,0) c
43.60/25.72	c (10,0) c real time : 10.0587 s
43.60/25.72	c (10,0) c cpu time  : 18.0921 s
43.60/25.72	c (10,0) c
43.60/25.72	c (10,0) c
43.60/25.72	c (10,0) c
43.60/25.72	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
43.60/25.72	c (10,0) c
43.60/25.72	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.72	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
43.60/25.72	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.72	c (10,0) c | Conflicts     |            3527 |        549 |        347 |        529 |        362 |        367 |        225 |        290 |        858 |
43.60/25.72	c (10,0) c | Decisions     |           20768 |       1180 |       1190 |       1283 |       1181 |       4378 |       9005 |       1141 |       1410 |
43.60/25.72	c (10,0) c | Propagations  |         8687247 |    1174442 |    1108081 |    1150836 |     917249 |    1148215 |    1012384 |     918894 |    1257146 |
43.60/25.72	c (10,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
43.60/25.72	c (10,0) c | Restarts      |              21 |          3 |          3 |          3 |          2 |          3 |          2 |          4 |          1 |
43.60/25.72	c (10,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | PropBinClauses|         9916346 |    1382132 |    1252933 |    1357371 |    1069022 |    1295563 |    1088590 |    1011088 |    1459647 |
43.60/25.72	c (10,0) c | PropPreBlocker|       190276723 |   24268023 |   25073067 |   24988796 |   20407137 |   26007122 |   23813098 |   20484076 |   25235404 |
43.60/25.72	c (10,0) c | PropNotBlocker|        62648129 |    8789117 |    8462456 |    8309158 |    7502531 |    7764811 |    6395805 |    7751852 |    7672399 |
43.60/25.72	c (10,0) c | LitFullScans  |       272798949 |   36018573 |   36004534 |   36000611 |   30002956 |   36314603 |   32263683 |   30176902 |   36017087 |
43.60/25.72	c (10,0) c | LitScanFracts |           14995 |       5086 |       3781 |        456 |        969 |       1183 |        836 |       1717 |        967 |
43.60/25.72	c (10,0) c | DecisionLevel0|              21 |          3 |          3 |          3 |          2 |          3 |          2 |          4 |          1 |
43.60/25.72	c (10,0) c | Periods       |              45 |          6 |          6 |          6 |          5 |          6 |          5 |          5 |          6 |
43.60/25.72	c (10,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
43.60/25.72	c (10,0) c | Avg_Trail     |                 |      33349 |      44007 |      28132 |      37812 |      59967 |      53217 |      44440 |      37729 |
43.60/25.72	c (10,0) c | Avg_DL        |                 |        132 |        131 |         72 |         88 |        112 |        146 |        110 |         76 |
43.60/25.72	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.72	c (10,0) c | Exported      |             231 |         40 |         13 |         32 |         30 |         30 |         18 |         21 |         47 |
43.60/25.72	c (10,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.72	c (10,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.72	c (10,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
43.60/25.73	c (10,0) c | Glues         |                 |         40 |         13 |         32 |         30 |         30 |         18 |         21 |         47 |
43.60/25.73	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.73	c (10,0) c | Orig_Seen     |             0 % |       5126 |       4896 |       4958 |       4133 |       4636 |       2651 |       3597 |       6495 |
43.60/25.73	c (10,0) c | Diff Orig seen|                 |       2475 |       2245 |       2307 |       1482 |       1985 |      X     |        946 |       3844 |
43.60/25.73	c (10,0) c | Hamming       |            33 % |      38812 |      42445 |      36199 |      42801 |      38586 |      X     |      41831 |      35338 |
43.60/25.73	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.73	c (10,0) c | RunningTime   |                 |    1.6 100%|    1.6 100%|    1.5 100%|    1.8 100%|    1.5 100%|    1.8 100%|    1.9 100%|    1.8 100%|
43.60/25.73	c (10,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
43.60/25.73	c (10,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
43.60/25.73	c (10,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%|
43.60/25.73	c (10,0) c | SolvingTime   |                 |    1.6     |    1.6     |    1.5     |    1.8     |    1.5     |    1.8     |    1.9     |    1.8     |
43.60/25.73	c (10,0) c | PropagationTim|                 |    1.5  97%|    1.5  97%|    1.5  97%|    1.8  97%|    1.5  97%|    1.7  97%|    1.8  98%|    1.7  96%|
43.60/25.73	c (10,0) c | AnalysisTime  |                 |    0.0   2%|    0.0   1%|    0.0   2%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   2%|
43.60/25.73	c (10,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
43.60/25.73	c (10,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
43.60/25.73	c (10,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%|
43.60/25.73	c (10,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%|
43.60/25.73	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.73	c (10,0) c
43.60/25.73	c (10,0) c
43.60/25.73	c (10,0) c Threads : 8
43.60/25.73	c (10,0) c Winner : 5
43.60/25.73	c (10,0) c Conflicts_0 : 549
43.60/25.73	c (10,0) c Conflicts_1 : 347
43.60/25.73	c (10,0) c Conflicts_2 : 529
43.60/25.73	c (10,0) c Conflicts_3 : 362
43.60/25.73	c (10,0) c Conflicts_4 : 367
43.60/25.73	c (10,0) c Conflicts_5 : 225
43.60/25.73	c (10,0) c Conflicts_6 : 290
43.60/25.73	c (10,0) c Conflicts_7 : 858
43.60/25.73	c (10,0) c Conflicts_total : 3527
43.60/25.73	c (10,0) c Conflicts_winner : 225
43.60/25.73	c (10,0) c Decisions_0 : 1180
43.60/25.73	c (10,0) c Decisions_1 : 1190
43.60/25.73	c (10,0) c Decisions_2 : 1283
43.60/25.73	c (10,0) c Decisions_3 : 1181
43.60/25.73	c (10,0) c Decisions_4 : 4378
43.60/25.73	c (10,0) c Decisions_5 : 9005
43.60/25.73	c (10,0) c Decisions_6 : 1141
43.60/25.73	c (10,0) c Decisions_7 : 1410
43.60/25.73	c (10,0) c Decisions_total : 20768
43.60/25.73	c (10,0) c Decisions_winner : 9005
43.60/25.73	c (10,0) c Propagations_0 : 1174442
43.60/25.73	c (10,0) c Propagations_1 : 1108081
43.60/25.73	c (10,0) c Propagations_2 : 1150836
43.60/25.73	c (10,0) c Propagations_3 : 917249
43.60/25.73	c (10,0) c Propagations_4 : 1148215
43.60/25.73	c (10,0) c Propagations_5 : 1012384
43.60/25.73	c (10,0) c Propagations_6 : 918894
43.60/25.73	c (10,0) c Propagations_7 : 1257146
43.60/25.73	c (10,0) c Propagations_total : 8687247
43.60/25.73	c (10,0) c Propagations_winner : 1012384
43.60/25.73	c (10,0) c ReduceDBs_0 : 0
43.60/25.73	c (10,0) c ReduceDBs_1 : 0
43.60/25.73	c (10,0) c ReduceDBs_2 : 0
43.60/25.73	c (10,0) c ReduceDBs_3 : 0
43.60/25.73	c (10,0) c ReduceDBs_4 : 0
43.60/25.73	c (10,0) c ReduceDBs_5 : 0
43.60/25.73	c (10,0) c ReduceDBs_6 : 0
43.60/25.73	c (10,0) c ReduceDBs_7 : 0
43.60/25.73	c (10,0) c ReduceDBs_total : 0
43.60/25.73	c (10,0) c ReduceDBs_winner : 0
43.60/25.73	c (10,0) c SimpDBs_0 : 1
43.60/25.73	c (10,0) c SimpDBs_1 : 1
43.60/25.73	c (10,0) c SimpDBs_2 : 1
43.60/25.73	c (10,0) c SimpDBs_3 : 1
43.60/25.73	c (10,0) c SimpDBs_4 : 1
43.60/25.73	c (10,0) c SimpDBs_5 : 1
43.60/25.73	c (10,0) c SimpDBs_6 : 1
43.60/25.73	c (10,0) c SimpDBs_7 : 1
43.60/25.73	c (10,0) c SimpDBs_total : 8
43.60/25.73	c (10,0) c SimpDBs_winner : 1
43.60/25.73	c (10,0) c Restarts_0 : 3
43.60/25.73	c (10,0) c Restarts_1 : 3
43.60/25.73	c (10,0) c Restarts_2 : 3
43.60/25.73	c (10,0) c Restarts_3 : 2
43.60/25.73	c (10,0) c Restarts_4 : 3
43.60/25.73	c (10,0) c Restarts_5 : 2
43.60/25.73	c (10,0) c Restarts_6 : 4
43.60/25.73	c (10,0) c Restarts_7 : 1
43.60/25.73	c (10,0) c Restarts_total : 21
43.60/25.73	c (10,0) c Restarts_winner : 2
43.60/25.73	c (10,0) c ForcedImports_0 : 0
43.60/25.73	c (10,0) c ForcedImports_1 : 0
43.60/25.73	c (10,0) c ForcedImports_2 : 0
43.60/25.73	c (10,0) c ForcedImports_3 : 0
43.60/25.73	c (10,0) c ForcedImports_4 : 0
43.60/25.73	c (10,0) c ForcedImports_5 : 0
43.60/25.73	c (10,0) c ForcedImports_6 : 0
43.60/25.73	c (10,0) c ForcedImports_7 : 0
43.60/25.73	c (10,0) c ForcedImports_total : 0
43.60/25.73	c (10,0) c ForcedImports_winner : 0
43.60/25.73	c (10,0) c PropsBinClauses_0 : 1382132
43.60/25.73	c (10,0) c PropsBinClauses_1 : 1252933
43.60/25.73	c (10,0) c PropsBinClauses_2 : 1357371
43.60/25.73	c (10,0) c PropsBinClauses_3 : 1069022
43.60/25.73	c (10,0) c PropsBinClauses_4 : 1295563
43.60/25.73	c (10,0) c PropsBinClauses_5 : 1088590
43.60/25.73	c (10,0) c PropsBinClauses_6 : 1011088
43.60/25.73	c (10,0) c PropsBinClauses_7 : 1459647
43.60/25.73	c (10,0) c PropsBinClauses_total : 9916346
43.60/25.73	c (10,0) c PropsBinClauses_winner : 1088590
43.60/25.73	c (10,0) c PropsPreBlocker_0 : 24268023
43.60/25.73	c (10,0) c PropsPreBlocker_1 : 25073067
43.60/25.73	c (10,0) c PropsPreBlocker_2 : 24988796
43.60/25.73	c (10,0) c PropsPreBlocker_3 : 20407137
43.60/25.73	c (10,0) c PropsPreBlocker_4 : 26007122
43.60/25.73	c (10,0) c PropsPreBlocker_5 : 23813098
43.60/25.73	c (10,0) c PropsPreBlocker_6 : 20484076
43.60/25.73	c (10,0) c PropsPreBlocker_7 : 25235404
43.60/25.73	c (10,0) c PropsPreBlocker_total : 190276723
43.60/25.73	c (10,0) c PropsPreBlocker_winner : 23813098
43.60/25.73	c (10,0) c PropsNotBlocker_0 : 8789117
43.60/25.73	c (10,0) c PropsNotBlocker_1 : 8462456
43.60/25.73	c (10,0) c PropsNotBlocker_2 : 8309158
43.60/25.73	c (10,0) c PropsNotBlocker_3 : 7502531
43.60/25.73	c (10,0) c PropsNotBlocker_4 : 7764811
43.60/25.73	c (10,0) c PropsNotBlocker_5 : 6395805
43.60/25.73	c (10,0) c PropsNotBlocker_6 : 7751852
43.60/25.73	c (10,0) c PropsNotBlocker_7 : 7672399
43.60/25.73	c (10,0) c PropsNotBlocker_total : 62648129
43.60/25.73	c (10,0) c PropsNotBlocker_winner : 6395805
43.60/25.73	c (10,0) c PropsLitFullScans_0 : 36018573
43.60/25.73	c (10,0) c PropsLitFullScans_1 : 36004534
43.60/25.73	c (10,0) c PropsLitFullScans_2 : 36000611
43.60/25.73	c (10,0) c PropsLitFullScans_3 : 30002956
43.60/25.73	c (10,0) c PropsLitFullScans_4 : 36314603
43.60/25.73	c (10,0) c PropsLitFullScans_5 : 32263683
43.60/25.73	c (10,0) c PropsLitFullScans_6 : 30176902
43.60/25.73	c (10,0) c PropsLitFullScans_7 : 36017087
43.60/25.73	c (10,0) c PropsLitFullScans_total : 272798949
43.60/25.73	c (10,0) c PropsLitFullScans_winner : 32263683
43.60/25.73	c (10,0) c LitScanFractions_0 : 5086
43.60/25.73	c (10,0) c LitScanFractions_1 : 3781
43.60/25.73	c (10,0) c LitScanFractions_2 : 456
43.60/25.73	c (10,0) c LitScanFractions_3 : 969
43.60/25.73	c (10,0) c LitScanFractions_4 : 1183
43.60/25.73	c (10,0) c LitScanFractions_5 : 836
43.60/25.73	c (10,0) c LitScanFractions_6 : 1717
43.60/25.73	c (10,0) c LitScanFractions_7 : 967
43.60/25.73	c (10,0) c LitScanFractions_total : 14995
43.60/25.73	c (10,0) c LitScanFractions_winner : 836
43.60/25.73	c (10,0) c DecisionLevel0_0 : 3
43.60/25.73	c (10,0) c DecisionLevel0_1 : 3
43.60/25.73	c (10,0) c DecisionLevel0_2 : 3
43.60/25.73	c (10,0) c DecisionLevel0_3 : 2
43.60/25.73	c (10,0) c DecisionLevel0_4 : 3
43.60/25.73	c (10,0) c DecisionLevel0_5 : 2
43.60/25.73	c (10,0) c DecisionLevel0_6 : 4
43.60/25.73	c (10,0) c DecisionLevel0_7 : 1
43.60/25.73	c (10,0) c DecisionLevel0_total : 21
43.60/25.73	c (10,0) c DecisionLevel0_winner : 2
43.60/25.73	c (10,0) c Periods_0 : 6
43.60/25.73	c (10,0) c Periods_1 : 6
43.60/25.73	c (10,0) c Periods_2 : 6
43.60/25.73	c (10,0) c Periods_3 : 5
43.60/25.73	c (10,0) c Periods_4 : 6
43.60/25.73	c (10,0) c Periods_5 : 5
43.60/25.73	c (10,0) c Periods_6 : 5
43.60/25.73	c (10,0) c Periods_7 : 6
43.60/25.73	c (10,0) c Periods_total : 45
43.60/25.73	c (10,0) c Periods_winner : 5
43.60/25.73	c (10,0) c Margin_0 : 20
43.60/25.73	c (10,0) c Margin_1 : 20
43.60/25.73	c (10,0) c Margin_2 : 20
43.60/25.73	c (10,0) c Margin_3 : 20
43.60/25.73	c (10,0) c Margin_4 : 20
43.60/25.73	c (10,0) c Margin_5 : 20
43.60/25.73	c (10,0) c Margin_6 : 20
43.60/25.73	c (10,0) c Margin_7 : 20
43.60/25.73	c (10,0) c Margin_total : 160
43.60/25.73	c (10,0) c Margin_winner : 20
43.60/25.73	c (10,0) c Exported_0 : 40
43.60/25.73	c (10,0) c Exported_1 : 13
43.60/25.73	c (10,0) c Exported_2 : 32
43.60/25.73	c (10,0) c Exported_3 : 30
43.60/25.73	c (10,0) c Exported_4 : 30
43.60/25.73	c (10,0) c Exported_5 : 18
43.60/25.73	c (10,0) c Exported_6 : 21
43.60/25.73	c (10,0) c Exported_7 : 47
43.60/25.73	c (10,0) c Exported_total : 231
43.60/25.73	c (10,0) c Exported_winner : 18
43.60/25.73	c (10,0) c Imported_0 : 0
43.60/25.73	c (10,0) c Imported_1 : 0
43.60/25.73	c (10,0) c Imported_2 : 0
43.60/25.73	c (10,0) c Imported_3 : 0
43.60/25.73	c (10,0) c Imported_4 : 0
43.60/25.73	c (10,0) c Imported_5 : 0
43.60/25.73	c (10,0) c Imported_6 : 0
43.60/25.73	c (10,0) c Imported_7 : 0
43.60/25.73	c (10,0) c Imported_total : 0
43.60/25.73	c (10,0) c Imported_winner : 0
43.60/25.73	c (10,0) c Good_0 : 0
43.60/25.73	c (10,0) c Good_1 : 0
43.60/25.73	c (10,0) c Good_2 : 0
43.60/25.73	c (10,0) c Good_3 : 0
43.60/25.73	c (10,0) c Good_4 : 0
43.60/25.73	c (10,0) c Good_5 : 0
43.60/25.73	c (10,0) c Good_6 : 0
43.60/25.73	c (10,0) c Good_7 : 0
43.60/25.73	c (10,0) c Good_total : 0
43.60/25.73	c (10,0) c Good_winner : 0
43.60/25.73	c (10,0) c Purge_0 : 0
43.60/25.73	c (10,0) c Purge_1 : 0
43.60/25.73	c (10,0) c Purge_2 : 0
43.60/25.73	c (10,0) c Purge_3 : 0
43.60/25.73	c (10,0) c Purge_4 : 0
43.60/25.73	c (10,0) c Purge_5 : 0
43.60/25.73	c (10,0) c Purge_6 : 0
43.60/25.73	c (10,0) c Purge_7 : 0
43.60/25.73	c (10,0) c Purge_total : 0
43.60/25.73	c (10,0) c Purge_winner : 0
43.60/25.73	c (10,0) c Promoted_0 : 0
43.60/25.73	c (10,0) c Promoted_1 : 0
43.60/25.73	c (10,0) c Promoted_2 : 0
43.60/25.73	c (10,0) c Promoted_3 : 0
43.60/25.73	c (10,0) c Promoted_4 : 0
43.60/25.73	c (10,0) c Promoted_5 : 0
43.60/25.73	c (10,0) c Promoted_6 : 0
43.60/25.73	c (10,0) c Promoted_7 : 0
43.60/25.73	c (10,0) c Promoted_total : 0
43.60/25.73	c (10,0) c Promoted_winner : 0
43.60/25.73	c (10,0) c Remove_Imp_0 : 0
43.60/25.73	c (10,0) c Remove_Imp_1 : 0
43.60/25.73	c (10,0) c Remove_Imp_2 : 0
43.60/25.73	c (10,0) c Remove_Imp_3 : 0
43.60/25.73	c (10,0) c Remove_Imp_4 : 0
43.60/25.73	c (10,0) c Remove_Imp_5 : 0
43.60/25.73	c (10,0) c Remove_Imp_6 : 0
43.60/25.73	c (10,0) c Remove_Imp_7 : 0
43.60/25.73	c (10,0) c Remove_Imp_total : 0
43.60/25.73	c (10,0) c Remove_Imp_winner : 0
43.60/25.73	c (10,0) c Blocked_Reuse_0 : 0
43.60/25.73	c (10,0) c Blocked_Reuse_1 : 0
43.60/25.73	c (10,0) c Blocked_Reuse_2 : 0
43.60/25.73	c (10,0) c Blocked_Reuse_3 : 0
43.60/25.73	c (10,0) c Blocked_Reuse_4 : 0
43.60/25.73	c (10,0) c Blocked_Reuse_5 : 0
43.60/25.73	c (10,0) c Blocked_Reuse_6 : 0
43.60/25.73	c (10,0) c Blocked_Reuse_7 : 0
43.60/25.73	c (10,0) c Blocked_Reuse_total : 0
43.60/25.73	c (10,0) c Blocked_Reuse_winner : 0
43.60/25.73	c (10,0) c Unaries_0 : 0
43.60/25.73	c (10,0) c Unaries_1 : 0
43.60/25.73	c (10,0) c Unaries_2 : 0
43.60/25.73	c (10,0) c Unaries_3 : 0
43.60/25.73	c (10,0) c Unaries_4 : 0
43.60/25.73	c (10,0) c Unaries_5 : 0
43.60/25.73	c (10,0) c Unaries_6 : 0
43.60/25.73	c (10,0) c Unaries_7 : 0
43.60/25.73	c (10,0) c Unaries_total : 0
43.60/25.73	c (10,0) c Unaries_winner : 0
43.60/25.73	c (10,0) c Binaries_0 : 0
43.60/25.73	c (10,0) c Binaries_1 : 0
43.60/25.73	c (10,0) c Binaries_2 : 0
43.60/25.73	c (10,0) c Binaries_3 : 0
43.60/25.74	c (10,0) c Binaries_4 : 0
43.60/25.74	c (10,0) c Binaries_5 : 0
43.60/25.74	c (10,0) c Binaries_6 : 0
43.60/25.74	c (10,0) c Binaries_7 : 0
43.60/25.74	c (10,0) c Binaries_total : 0
43.60/25.74	c (10,0) c Binaries_winner : 0
43.60/25.74	c (10,0) c Glues_0 : 40
43.60/25.74	c (10,0) c Glues_1 : 13
43.60/25.74	c (10,0) c Glues_2 : 32
43.60/25.74	c (10,0) c Glues_3 : 30
43.60/25.74	c (10,0) c Glues_4 : 30
43.60/25.74	c (10,0) c Glues_5 : 18
43.60/25.74	c (10,0) c Glues_6 : 21
43.60/25.74	c (10,0) c Glues_7 : 47
43.60/25.74	c (10,0) c Glues_total : 231
43.60/25.74	c (10,0) c Glues_winner : 18
43.60/25.74	c (10,0) c RunningTime_0 : 1.557509
43.60/25.74	c (10,0) c RunningTime_1 : 1.573890
43.60/25.74	c (10,0) c RunningTime_2 : 1.513487
43.60/25.74	c (10,0) c RunningTime_3 : 1.849160
43.60/25.74	c (10,0) c RunningTime_4 : 1.502101
43.60/25.74	c (10,0) c RunningTime_5 : 1.754513
43.60/25.74	c (10,0) c RunningTime_6 : 1.854583
43.60/25.74	c (10,0) c RunningTime_7 : 1.783061
43.60/25.74	c (10,0) c RunningTime_total : 13.388305
43.60/25.74	c (10,0) c RunningTime_winner : 1.754513
43.60/25.74	c (10,0) c WaitingTime_0 : 0.000000
43.60/25.74	c (10,0) c WaitingTime_1 : 0.000000
43.60/25.74	c (10,0) c WaitingTime_2 : 0.000000
43.60/25.74	c (10,0) c WaitingTime_3 : 0.000000
43.60/25.74	c (10,0) c WaitingTime_4 : 0.000000
43.60/25.74	c (10,0) c WaitingTime_5 : 0.000000
43.60/25.74	c (10,0) c WaitingTime_6 : 0.000000
43.60/25.74	c (10,0) c WaitingTime_7 : 0.000000
43.60/25.74	c (10,0) c WaitingTime_total : 0.000000
43.60/25.74	c (10,0) c WaitingTime_winner : 0.000000
43.60/25.74	c (10,0) c ExchangingTime_0 : 0.000411
43.60/25.74	c (10,0) c ExchangingTime_1 : 0.000109
43.60/25.74	c (10,0) c ExchangingTime_2 : 0.000171
43.60/25.74	c (10,0) c ExchangingTime_3 : 0.000215
43.60/25.74	c (10,0) c ExchangingTime_4 : 0.000150
43.60/25.74	c (10,0) c ExchangingTime_5 : 0.000111
43.60/25.74	c (10,0) c ExchangingTime_6 : 0.000097
43.60/25.74	c (10,0) c ExchangingTime_7 : 0.002453
43.60/25.74	c (10,0) c ExchangingTime_total : 0.003717
43.60/25.74	c (10,0) c ExchangingTime_winner : 0.000111
43.60/25.74	c (10,0) c PeriodProcTime_0 : 0.000135
43.60/25.74	c (10,0) c PeriodProcTime_1 : 0.000075
43.60/25.74	c (10,0) c PeriodProcTime_2 : 0.000098
43.60/25.74	c (10,0) c PeriodProcTime_3 : 0.000066
43.60/25.74	c (10,0) c PeriodProcTime_4 : 0.000082
43.60/25.74	c (10,0) c PeriodProcTime_5 : 0.000111
43.60/25.74	c (10,0) c PeriodProcTime_6 : 0.000095
43.60/25.74	c (10,0) c PeriodProcTime_7 : 0.000103
43.60/25.74	c (10,0) c PeriodProcTime_total : 0.000767
43.60/25.74	c (10,0) c PeriodProcTime_winner : 0.000111
43.60/25.74	c (10,0) c SolvingTime_0 : 1.558054
43.60/25.74	c (10,0) c SolvingTime_1 : 1.574075
43.60/25.74	c (10,0) c SolvingTime_2 : 1.513757
43.60/25.74	c (10,0) c SolvingTime_3 : 1.849441
43.60/25.74	c (10,0) c SolvingTime_4 : 1.502334
43.60/25.74	c (10,0) c SolvingTime_5 : 1.754735
43.60/25.74	c (10,0) c SolvingTime_6 : 1.854776
43.60/25.74	c (10,0) c SolvingTime_7 : 1.785617
43.60/25.74	c (10,0) c SolvingTime_total : 13.392789
43.60/25.74	c (10,0) c SolvingTime_winner : 1.754735
43.60/25.74	c (10,0) c PropagationTime_0 : 1.515157
43.60/25.74	c (10,0) c PropagationTime_1 : 1.534363
43.60/25.74	c (10,0) c PropagationTime_2 : 1.471329
43.60/25.74	c (10,0) c PropagationTime_3 : 1.802207
43.60/25.74	c (10,0) c PropagationTime_4 : 1.464088
43.60/25.74	c (10,0) c PropagationTime_5 : 1.707454
43.60/25.74	c (10,0) c PropagationTime_6 : 1.814740
43.60/25.74	c (10,0) c PropagationTime_7 : 1.721248
43.60/25.74	c (10,0) c PropagationTime_total : 13.030586
43.60/25.74	c (10,0) c PropagationTime_winner : 1.707454
43.60/25.74	c (10,0) c AnalysisTime_0 : 0.023846
43.60/25.74	c (10,0) c AnalysisTime_1 : 0.020590
43.60/25.74	c (10,0) c AnalysisTime_2 : 0.022882
43.60/25.74	c (10,0) c AnalysisTime_3 : 0.022235
43.60/25.74	c (10,0) c AnalysisTime_4 : 0.013924
43.60/25.74	c (10,0) c AnalysisTime_5 : 0.013498
43.60/25.74	c (10,0) c AnalysisTime_6 : 0.015729
43.60/25.74	c (10,0) c AnalysisTime_7 : 0.035410
43.60/25.74	c (10,0) c AnalysisTime_total : 0.168115
43.60/25.74	c (10,0) c AnalysisTime_winner : 0.013498
43.60/25.74	c (10,0) c ReductionTime_0 : 0.000000
43.60/25.74	c (10,0) c ReductionTime_1 : 0.000000
43.60/25.74	c (10,0) c ReductionTime_2 : 0.000000
43.60/25.74	c (10,0) c ReductionTime_3 : 0.000000
43.60/25.74	c (10,0) c ReductionTime_4 : 0.000000
43.60/25.74	c (10,0) c ReductionTime_5 : 0.000000
43.60/25.74	c (10,0) c ReductionTime_6 : 0.000000
43.60/25.74	c (10,0) c ReductionTime_7 : 0.000000
43.60/25.74	c (10,0) c ReductionTime_total : 0.000000
43.60/25.74	c (10,0) c ReductionTime_winner : 0.000000
43.60/25.74	c (10,0) c SimplifyTime_0 : 0.000001
43.60/25.74	c (10,0) c SimplifyTime_1 : 0.000000
43.60/25.74	c (10,0) c SimplifyTime_2 : 0.000000
43.60/25.74	c (10,0) c SimplifyTime_3 : 0.000000
43.60/25.74	c (10,0) c SimplifyTime_4 : 0.000001
43.60/25.74	c (10,0) c SimplifyTime_5 : 0.000000
43.60/25.74	c (10,0) c SimplifyTime_6 : 0.000000
43.60/25.74	c (10,0) c SimplifyTime_7 : 0.000001
43.60/25.74	c (10,0) c SimplifyTime_total : 0.000003
43.60/25.74	c (10,0) c SimplifyTime_winner : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_0 : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_1 : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_2 : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_3 : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_4 : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_5 : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_6 : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_7 : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_total : 0.000000
43.60/25.74	c (10,0) c UsedRateTime_winner : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_0 : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_1 : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_2 : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_3 : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_4 : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_5 : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_6 : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_7 : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_total : 0.000000
43.60/25.74	c (10,0) c OverlapRateTime_winner : 0.000000
43.60/25.74	c (10,0) c
43.60/25.74	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
43.60/25.74	c (10,0) c
43.60/25.74	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.74	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
43.60/25.74	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.74	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
43.60/25.74	c (10,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
43.60/25.74	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
43.60/25.74	c (10,0) c | Initial random_seed   |  546183312 |  414501677 | 2046345590 | 1650937324 |  418344722 | 2032136960 | 1928284450 |  360782749 |
43.60/25.74	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
43.60/25.74	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
43.60/25.74	c (10,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
43.60/25.74	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
43.60/25.74	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
43.60/25.74	c (10,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
43.60/25.74	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
43.60/25.74	c (10,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
43.60/25.74	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
43.60/25.74	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
43.60/25.74	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
43.60/25.74	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.60/25.74	c (10,0) 
43.60/25.74	c (10,0) s SATISFIABLE
24.14/25.85	c (10,0) SatSolver.solve End
24.14/25.85	c (10,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.14/25.85	c (10,0) Show results Begin
44.14/25.96	c (10,0) x0 = 1
44.14/25.96	c (10,0) x1 = 0
44.14/25.96	c (10,0) x10 = 453
44.14/25.96	c (10,0) x100 = 123
44.14/25.96	c (10,0) x101 = 122
44.14/25.96	c (10,0) x102 = 408
44.14/25.96	c (10,0) x103 = 407
44.14/25.96	c (10,0) x104 = 575
44.14/25.96	c (10,0) x105 = 574
44.14/25.96	c (10,0) x106 = 301
44.14/25.96	c (10,0) x107 = 299
44.14/25.96	c (10,0) x108 = 178
44.14/25.96	c (10,0) x109 = 179
44.14/25.96	c (10,0) x11 = 454
44.14/25.96	c (10,0) x110 = 506
44.14/25.96	c (10,0) x111 = 505
44.14/25.96	c (10,0) x112 = 454
44.14/25.96	c (10,0) x113 = 453
44.14/25.96	c (10,0) x114 = 94
44.14/25.96	c (10,0) x115 = 93
44.14/25.96	c (10,0) x116 = 0
44.14/25.96	c (10,0) x117 = 1
44.14/25.96	c (10,0) x118 = 60
44.14/25.96	c (10,0) x119 = 59
44.14/25.96	c (10,0) x12 = 536
44.14/25.96	c (10,0) x120 = 331
44.14/25.96	c (10,0) x121 = 326
44.14/25.96	c (10,0) x122 = 161
44.14/25.96	c (10,0) x123 = 449
44.14/25.96	c (10,0) x124 = 237
44.14/25.96	c (10,0) x125 = 238
44.14/25.96	c (10,0) x126 = 525
44.14/25.96	c (10,0) x127 = 492
44.14/25.96	c (10,0) x128 = 416
44.14/25.96	c (10,0) x129 = 415
44.14/25.96	c (10,0) x13 = 535
44.14/25.96	c (10,0) x130 = 145
44.14/25.96	c (10,0) x131 = 3
44.14/25.96	c (10,0) x132 = 155
44.14/25.96	c (10,0) x133 = 3
44.14/25.96	c (10,0) x134 = 275
44.14/25.96	c (10,0) x135 = 274
44.14/25.96	c (10,0) x136 = 142
44.14/25.96	c (10,0) x137 = 22
44.14/25.96	c (10,0) x138 = 46
44.14/25.96	c (10,0) x139 = 47
44.14/25.96	c (10,0) x14 = 586
44.14/25.96	c (10,0) x140 = 439
44.14/25.96	c (10,0) x141 = 440
44.14/25.96	c (10,0) x142 = 95
44.14/25.96	c (10,0) x143 = 96
44.14/25.96	c (10,0) x144 = 179
44.14/25.96	c (10,0) x145 = 178
44.14/25.96	c (10,0) x146 = 214
44.14/25.96	c (10,0) x147 = 213
44.14/25.96	c (10,0) x148 = 348
44.14/25.96	c (10,0) x149 = 347
44.14/25.96	c (10,0) x15 = 587
44.14/25.96	c (10,0) x150 = 526
44.14/25.96	c (10,0) x151 = 525
44.14/25.96	c (10,0) x152 = 302
44.14/25.96	c (10,0) x153 = 303
44.14/25.96	c (10,0) x154 = 0
44.14/25.96	c (10,0) x155 = 1
44.14/25.96	c (10,0) x156 = 164
44.14/25.96	c (10,0) x157 = 163
44.14/25.96	c (10,0) x158 = 326
44.14/25.96	c (10,0) x159 = 325
44.14/25.96	c (10,0) x16 = 230
44.14/25.97	c (10,0) x160 = 558
44.14/25.97	c (10,0) x161 = 5
44.14/25.97	c (10,0) x162 = 474
44.14/25.97	c (10,0) x163 = 473
44.14/25.97	c (10,0) x164 = 422
44.14/25.97	c (10,0) x165 = 100
44.14/25.97	c (10,0) x166 = 60
44.14/25.97	c (10,0) x167 = 59
44.14/25.97	c (10,0) x168 = 1
44.14/25.97	c (10,0) x169 = 0
44.14/25.97	c (10,0) x17 = 231
44.14/25.97	c (10,0) x170 = 166
44.14/25.97	c (10,0) x171 = 167
44.14/25.97	c (10,0) x172 = 221
44.14/25.97	c (10,0) x173 = 222
44.14/25.97	c (10,0) x174 = 282
44.14/25.97	c (10,0) x175 = 7
44.14/25.97	c (10,0) x176 = 326
44.14/25.97	c (10,0) x177 = 325
44.14/25.97	c (10,0) x178 = 531
44.14/25.97	c (10,0) x179 = 530
44.14/25.97	c (10,0) x18 = 318
44.14/25.97	c (10,0) x180 = 440
44.14/25.97	c (10,0) x181 = 439
44.14/25.97	c (10,0) x182 = 194
44.14/25.97	c (10,0) x183 = 193
44.14/25.97	c (10,0) x184 = 179
44.14/25.97	c (10,0) x185 = 178
44.14/25.97	c (10,0) x186 = 293
44.14/25.97	c (10,0) x187 = 294
44.14/25.97	c (10,0) x188 = 150
44.14/25.97	c (10,0) x189 = 149
44.14/25.97	c (10,0) x19 = 319
44.14/25.97	c (10,0) x190 = 382
44.14/25.97	c (10,0) x191 = 381
44.14/25.97	c (10,0) x192 = 231
44.14/25.97	c (10,0) x193 = 240
44.14/25.97	c (10,0) x194 = 14
44.14/25.97	c (10,0) x195 = 13
44.14/25.97	c (10,0) x196 = 557
44.14/25.97	c (10,0) x197 = 556
44.14/25.97	c (10,0) x198 = 88
44.14/25.97	c (10,0) x199 = 87
44.14/25.97	c (10,0) x2 = 96
44.14/25.97	c (10,0) x20 = 25
44.14/25.97	c (10,0) x21 = 24
44.14/25.97	c (10,0) x22 = 230
44.14/25.97	c (10,0) x23 = 231
44.14/25.97	c (10,0) x24 = 447
44.14/25.97	c (10,0) x25 = 445
44.14/25.97	c (10,0) x26 = 521
44.14/25.97	c (10,0) x27 = 520
44.14/25.97	c (10,0) x28 = 326
44.14/25.97	c (10,0) x29 = 327
44.14/25.97	c (10,0) x3 = 97
44.14/25.98	c (10,0) x30 = 613
44.14/25.98	c (10,0) x31 = 499
44.14/25.98	c (10,0) x32 = 124
44.14/25.98	c (10,0) x33 = 123
44.14/25.98	c (10,0) x34 = 140
44.14/25.98	c (10,0) x35 = 139
44.14/25.98	c (10,0) x36 = 493
44.14/25.98	c (10,0) x37 = 492
44.14/25.98	c (10,0) x38 = 257
44.14/25.98	c (10,0) x39 = 256
44.14/25.98	c (10,0) x4 = 282
44.14/25.98	c (10,0) x40 = 157
44.14/25.98	c (10,0) x41 = 156
44.14/25.98	c (10,0) x42 = 55
44.14/25.98	c (10,0) x43 = 54
44.14/25.98	c (10,0) x44 = 293
44.14/25.98	c (10,0) x45 = 284
44.14/25.98	c (10,0) x46 = 526
44.14/25.98	c (10,0) x47 = 527
44.14/25.98	c (10,0) x48 = 336
44.14/25.98	c (10,0) x49 = 337
44.14/25.98	c (10,0) x5 = 281
44.14/25.98	c (10,0) x50 = 231
44.14/25.98	c (10,0) x51 = 230
44.14/25.98	c (10,0) x52 = 560
44.14/25.98	c (10,0) x53 = 559
44.14/25.98	c (10,0) x54 = 5
44.14/25.98	c (10,0) x55 = 6
44.14/25.98	c (10,0) x56 = 383
44.14/25.98	c (10,0) x57 = 382
44.14/25.98	c (10,0) x58 = 422
44.14/25.98	c (10,0) x59 = 423
44.14/25.98	c (10,0) x6 = 435
44.14/25.98	c (10,0) x60 = 96
44.14/25.98	c (10,0) x61 = 97
44.14/25.98	c (10,0) x62 = 560
44.14/25.98	c (10,0) x63 = 559
44.14/25.98	c (10,0) x64 = 296
44.14/25.98	c (10,0) x65 = 297
44.14/25.98	c (10,0) x66 = 493
44.14/25.98	c (10,0) x67 = 494
44.14/25.98	c (10,0) x68 = 155
44.14/25.98	c (10,0) x69 = 156
44.14/25.98	c (10,0) x7 = 415
44.14/25.98	c (10,0) x70 = 397
44.14/25.98	c (10,0) x71 = 398
44.14/25.98	c (10,0) x72 = 22
44.14/25.98	c (10,0) x73 = 21
44.14/25.98	c (10,0) x74 = 268
44.14/25.98	c (10,0) x75 = 1
44.14/25.98	c (10,0) x76 = 123
44.14/25.98	c (10,0) x77 = 0
44.14/25.98	c (10,0) x78 = 93
44.14/25.98	c (10,0) x79 = 12
44.14/25.98	c (10,0) x8 = 194
44.14/25.98	c (10,0) x80 = 483
44.14/25.98	c (10,0) x81 = 484
44.14/25.98	c (10,0) x82 = 278
44.14/25.98	c (10,0) x83 = 277
44.14/25.98	c (10,0) x84 = 293
44.14/25.98	c (10,0) x85 = 294
44.14/25.98	c (10,0) x86 = 164
44.14/25.98	c (10,0) x87 = 163
44.14/25.98	c (10,0) x88 = 0
44.14/25.98	c (10,0) x89 = 193
44.14/25.98	c (10,0) x9 = 193
44.14/25.98	c (10,0) x90 = 219
44.14/25.98	c (10,0) x91 = 220
44.14/25.98	c (10,0) x92 = 88
44.14/25.98	c (10,0) x93 = 87
44.14/25.98	c (10,0) x94 = 453
44.14/25.98	c (10,0) x95 = 454
44.14/25.98	c (10,0) x96 = 22
44.14/25.98	c (10,0) x97 = 23
44.14/25.98	c (10,0) x98 = 390
44.14/25.98	c (10,0) x99 = 389
44.14/25.98	s SATISFIABLE
44.14/25.98	v <instantiation>
44.14/25.98	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199</list>
44.14/25.98	v     <values>1 0 96 97 282 281 435 415 194 193 453 454 536 535 586 587 230 231 318 319 25 24 230 231 447 445 521 520 326 327 613 499 124 123 140 139 493 492 257 256 157 156 55 54 293 284 526 527 336 337 231 230 560 559 5 6 383 382 422 423 96 97 560 559 296 297 493 494 155 156 397 398 22 21 268 1 123 0 93 12 483 484 278 277 293 294 164 163 0 193 219 220 88 87 453 454 22 23 390 389 123 122 408 407 575 574 301 299 178 179 506 505 454 453 94 93 0 1 60 59 331 326 161 449 237 238 525 492 416 415 145 3 155 3 275 274 142 22 46 47 439 440 95 96 179 178 214 213 348 347 526 525 302 303 0 1 164 163 326 325 558 5 474 473 422 100 60 59 1 0 166 167 221 222 282 7 326 325 531 530 440 439 194 193 179 178 293 294 150 149 382 381 231 240 14 13 557 556 88 87</values>
44.14/25.98	v </instantiation>
44.14/25.98	c (10,0) Show results End
44.14/25.98	c (10,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
44.14/25.98	c (10,0) 10,10,STOP-AFTER(ALL)
44.14/25.98	c END-Prog: Tue Sep 24 22:42:38 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405490-1569357775/watcher-4405490-1569357775 -o /tmp/evaluation-result-4405490-1569357775/solver-4405490-1569357775 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405490-1569357775.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=9784, runsolver pid=9781
Current StackSize limit: 8192 KiB


[startup+0.100903 s]*
/proc/loadavg: 8.22 8.16 8.22 3/213 9806
/proc/meminfo: memFree=25144556/32770624 swapFree=66936732/67108860
[pid=9784] ppid=9781 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9784/stat : 9784 (scop.sh) S 9781 9784 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511715276 115843072 349 33554432000 4194304 5098028 140732313335712 140732313332968 139731348079228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9003008 140732313338660 140732313338988 140732313338988 140732313341901 0
/proc/9784/statm: 28282 349 296 221 0 87 0
[pid=9787] ppid=9784 vsize=27314120 memory=105740 CPUtime=0.1 cores=0-7
/proc/9787/stat : 9787 (java) S 9784 9784 9740 0 -1 1077944320 6524 0 0 0 8 2 0 0 20 0 20 0 511715276 27969658880 26435 33554432000 4194304 4196468 140734389860752 140734389843296 140259573845751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
/proc/9787/statm: 6828530 26435 2802 1 0 6790935 0
[pid=9787/tid=9788] ppid=9784 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/9787/task/9788/stat : 9788 (java) R 9784 9784 9740 0 -1 4202560 4610 0 0 0 7 2 0 0 20 0 20 0 511715276 27969658880 26435 33554432000 4194304 4196468 140734389860752 140259545668032 140259077400632 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9789] ppid=9784 vsize=27314120 memory=732370843612490725 CPUtime=0 cores=0-7
/proc/9787/task/9789/stat : 9789 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 26435 33554432000 4194304 4196468 140734389860752 140259578088208 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9790] ppid=9784 vsize=27314120 memory=140705275037312 CPUtime=0 cores=0-7
/proc/9787/task/9790/stat : 9790 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258996472720 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9791] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9791/stat : 9791 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258995420176 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9792] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9792/stat : 9792 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258994367632 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9793] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9793/stat : 9793 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258993314064 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9794] ppid=9784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9787/task/9794/stat : 9794 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258992261520 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9795] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9795/stat : 9795 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258991208976 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9796] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9796/stat : 9796 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258990156432 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9797] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9797/stat : 9797 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715280 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258565167600 140259573856898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9798] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9798/stat : 9798 (java) S 9784 9784 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511715281 27969658880 26435 33554432000 4194304 4196468 140734389860752 140257458644384 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9799] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9799/stat : 9799 (java) S 9784 9784 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511715281 27969658880 26435 33554432000 4194304 4196468 140734389860752 140257324422640 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9800] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9800/stat : 9800 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715283 27969658880 26435 33554432000 4194304 4196468 140734389860752 140256949918416 140259573864347 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9801] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9801/stat : 9801 (java) S 9784 9784 9740 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258564114416 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9802] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9802/stat : 9802 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258563061872 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9803] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9803/stat : 9803 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258562009328 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9804] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9804/stat : 9804 (java) S 9784 9784 9740 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258560956784 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9805] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9805/stat : 9805 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 26435 33554432000 4194304 4196468 140734389860752 140256452012768 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9806] ppid=9784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9787/task/9806/stat : 9806 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 26435 33554432000 4194304 4196468 140734389860752 140258559904688 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107136 KiB

[startup+0.210517 s]*
/proc/loadavg: 8.22 8.16 8.22 3/213 9806
/proc/meminfo: memFree=25121592/32770624 swapFree=66936732/67108860
[pid=9784] ppid=9781 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9784/stat : 9784 (scop.sh) S 9781 9784 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511715276 115843072 349 33554432000 4194304 5098028 140732313335712 140732313332968 139731348079228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9003008 140732313338660 140732313338988 140732313338988 140732313341901 0
/proc/9784/statm: 28282 349 296 221 0 87 0
[pid=9787] ppid=9784 vsize=27314120 memory=125156 CPUtime=0.25 cores=0-7
/proc/9787/stat : 9787 (java) S 9784 9784 9740 0 -1 1077944320 12147 0 0 0 21 4 0 0 20 0 20 0 511715276 27969658880 31289 33554432000 4194304 4196468 140734389860752 140734389843296 140259573845751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
/proc/9787/statm: 6828530 31289 2951 1 0 6790935 0
[pid=9787/tid=9788] ppid=9784 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/9787/task/9788/stat : 9788 (java) R 9784 9784 9740 0 -1 4202560 9855 0 0 0 17 3 0 0 20 0 20 0 511715276 27969658880 31289 33554432000 4194304 4196468 140734389860752 140259545645136 140259554120907 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9789] ppid=9784 vsize=27314120 memory=281410416920312 CPUtime=0 cores=0-7
/proc/9787/task/9789/stat : 9789 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 31289 33554432000 4194304 4196468 140734389860752 140259578088208 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9790] ppid=9784 vsize=27314120 memory=140705275037312 CPUtime=0 cores=0-7
/proc/9787/task/9790/stat : 9790 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258996472720 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9791] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9791/stat : 9791 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258995420176 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9792] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9792/stat : 9792 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258994367632 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9793] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9793/stat : 9793 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258993314064 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9794] ppid=9784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9787/task/9794/stat : 9794 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258992261520 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9795] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9795/stat : 9795 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258991208976 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9796] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9796/stat : 9796 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258990156432 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9797] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9797/stat : 9797 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715280 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258565167600 140259573856898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9798] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9798/stat : 9798 (java) S 9784 9784 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511715281 27969658880 31289 33554432000 4194304 4196468 140734389860752 140257458644384 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9799] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9799/stat : 9799 (java) S 9784 9784 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511715281 27969658880 31289 33554432000 4194304 4196468 140734389860752 140257324422640 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9800] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9800/stat : 9800 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715283 27969658880 31289 33554432000 4194304 4196468 140734389860752 140256949918416 140259573864347 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9801] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9801/stat : 9801 (java) S 9784 9784 9740 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258564114416 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9802] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9802/stat : 9802 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258563061872 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9803] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9803/stat : 9803 (java) S 9784 9784 9740 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258562009328 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9804] ppid=9784 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/9787/task/9804/stat : 9804 (java) S 9784 9784 9740 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 20 0 511715284 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258560956784 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9805] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9805/stat : 9805 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 31289 33554432000 4194304 4196468 140734389860752 140256452012768 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9806] ppid=9784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9787/task/9806/stat : 9806 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 31289 33554432000 4194304 4196468 140734389860752 140258559904688 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126552 KiB

[startup+0.310305 s]*
/proc/loadavg: 8.22 8.16 8.22 2/213 9806
/proc/meminfo: memFree=25118552/32770624 swapFree=66936732/67108860
[pid=9784] ppid=9781 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9784/stat : 9784 (scop.sh) S 9781 9784 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511715276 115843072 349 33554432000 4194304 5098028 140732313335712 140732313332968 139731348079228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9003008 140732313338660 140732313338988 140732313338988 140732313341901 0
/proc/9784/statm: 28282 349 296 221 0 87 0
[pid=9787] ppid=9784 vsize=27314120 memory=128500 CPUtime=0.42 cores=0-7
/proc/9787/stat : 9787 (java) S 9784 9784 9740 0 -1 1077944320 12523 0 0 0 38 4 0 0 20 0 20 0 511715276 27969658880 32125 33554432000 4194304 4196468 140734389860752 140734389843296 140259573845751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
/proc/9787/statm: 6828530 32125 3045 1 0 6790935 0
[pid=9787/tid=9788] ppid=9784 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9787/task/9788/stat : 9788 (java) R 9784 9784 9740 0 -1 4202560 10042 0 0 0 26 3 0 0 20 0 20 0 511715276 27969658880 32125 33554432000 4194304 4196468 140734389860752 140259545632048 140259554123808 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9789] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9789/stat : 9789 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 32125 33554432000 4194304 4196468 140734389860752 140259578088208 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9790] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9790/stat : 9790 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258996472720 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9791] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9791/stat : 9791 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258995420176 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9792] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9792/stat : 9792 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258994367632 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9793] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9793/stat : 9793 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258993314064 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9794] ppid=9784 vsize=27314120 memory=140705141975727 CPUtime=0 cores=0-7
/proc/9787/task/9794/stat : 9794 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258992261520 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9795] ppid=9784 vsize=27314120 memory=140705141978032 CPUtime=0 cores=0-7
/proc/9787/task/9795/stat : 9795 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258991208976 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9796] ppid=9784 vsize=27314120 memory=140705141980336 CPUtime=0 cores=0-7
/proc/9787/task/9796/stat : 9796 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258990156432 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9797] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9797/stat : 9797 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715280 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258565167600 140259573856898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9798] ppid=9784 vsize=27314120 memory=281410283974544 CPUtime=0 cores=0-7
/proc/9787/task/9798/stat : 9798 (java) S 9784 9784 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511715281 27969658880 32125 33554432000 4194304 4196468 140734389860752 140257458644384 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9799] ppid=9784 vsize=27314120 memory=281410283972240 CPUtime=0 cores=0-7
/proc/9787/task/9799/stat : 9799 (java) S 9784 9784 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511715281 27969658880 32125 33554432000 4194304 4196468 140734389860752 140257324422640 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9800] ppid=9784 vsize=27314120 memory=281410283979152 CPUtime=0 cores=0-7
/proc/9787/task/9800/stat : 9800 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715283 27969658880 32125 33554432000 4194304 4196468 140734389860752 140256949918416 140259573864347 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9801] ppid=9784 vsize=27314120 memory=281410283920432 CPUtime=0.02 cores=0-7
/proc/9787/task/9801/stat : 9801 (java) S 9784 9784 9740 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 20 0 511715284 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258564114416 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9802] ppid=9784 vsize=27314120 memory=281410283992976 CPUtime=0.01 cores=0-7
/proc/9787/task/9802/stat : 9802 (java) R 9784 9784 9740 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 20 0 511715284 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258563061872 140259555389904 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9803] ppid=9784 vsize=27314120 memory=281410283999888 CPUtime=0.01 cores=0-7
/proc/9787/task/9803/stat : 9803 (java) S 9784 9784 9740 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 511715284 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258562009328 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9804] ppid=9784 vsize=27314120 memory=281410283997584 CPUtime=0.07 cores=0-7
/proc/9787/task/9804/stat : 9804 (java) S 9784 9784 9740 0 -1 1077944384 452 0 0 0 7 0 0 0 20 0 20 0 511715284 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258560956784 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9805] ppid=9784 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9805/stat : 9805 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 32125 33554432000 4194304 4196468 140734389860752 140256452012768 140259573855957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9806] ppid=9784 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9787/task/9806/stat : 9806 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715284 27969658880 32125 33554432000 4194304 4196468 140734389860752 140258559904688 140259573856898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129896 KiB

[startup+0.701573 s]
/proc/loadavg: 7.64 8.04 8.18 2/213 9806
/proc/meminfo: memFree=25097572/32770624 swapFree=66936732/67108860
[pid=9784] ppid=9781 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9784/stat : 9784 (scop.sh) S 9781 9784 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511715276 115843072 349 33554432000 4194304 5098028 140732313335712 140732313332968 139731348079228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9003008 140732313338660 140732313338988 140732313338988 140732313341901 0
/proc/9784/statm: 28282 349 296 221 0 87 0
[pid=9787] ppid=9784 vsize=27320392 memory=162596 CPUtime=0.97 cores=0-7
/proc/9787/stat : 9787 (java) S 9784 9784 9740 0 -1 1077944320 19793 0 0 0 89 8 0 0 20 0 20 0 511715276 27976081408 40649 33554432000 4194304 4196468 140734389860752 140734389843296 140259573845751 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
/proc/9787/statm: 6830098 40649 3168 1 0 6791447 0
[pid=9787/tid=9788] ppid=9784 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/9787/task/9788/stat : 9788 (java) R 9784 9784 9740 0 -1 4202560 16960 0 0 0 61 6 0 0 20 0 20 0 511715276 27976081408 40649 33554432000 4194304 4196468 140734389860752 140259545676064 140259079579476 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9789] ppid=9784 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9789/stat : 9789 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511715279 27976081408 40649 33554432000 4194304 4196468 140734389860752 140259578088208 140259573855957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9790] ppid=9784 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9790/stat : 9790 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511715279 27976081408 40649 33554432000 4194304 4196468 140734389860752 140258996472720 140259573855957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0
[pid=9787/tid=9791] ppid=9784 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9787/task/9791/stat : 9791 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511715279 27976081408 40649 33554432000 4194304 4196468 140734389860752 140258995420176 140259573855957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140734389867243 140734389867670 140734389867670 140734389870543 0

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

[pid=9809/tid=9812] ppid=9784 vsize=8414124 memory=625 CPUtime=0 cores=0-7
/proc/9809/task/9812/stat : 9812 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 30487 33554432000 4194304 4196468 140735426114192 140574068395152 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9813] ppid=9784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9809/task/9813/stat : 9813 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 30487 33554432000 4194304 4196468 140735426114192 140574067342096 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9814] ppid=9784 vsize=8414124 memory=4639948313719891052 CPUtime=0 cores=0-7
/proc/9809/task/9814/stat : 9814 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 30487 33554432000 4194304 4196468 140735426114192 140574066289552 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9815] ppid=9784 vsize=8414124 memory=2432 CPUtime=0 cores=0-7
/proc/9809/task/9815/stat : 9815 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 30487 33554432000 4194304 4196468 140735426114192 140574065236496 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9816] ppid=9784 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/9809/task/9816/stat : 9816 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 30487 33554432000 4194304 4196468 140735426114192 140574064183952 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9817] ppid=9784 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/9809/task/9817/stat : 9817 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 30487 33554432000 4194304 4196468 140735426114192 140574063130896 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9818] ppid=9784 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/9809/task/9818/stat : 9818 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 30487 33554432000 4194304 4196468 140735426114192 140574062078352 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9819] ppid=9784 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/9809/task/9819/stat : 9819 (java) S 9784 9784 9740 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511716772 8616062976 30487 33554432000 4194304 4196468 140735426114192 140573407177456 140574582839938 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9820] ppid=9784 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/9809/task/9820/stat : 9820 (java) S 9784 9784 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511716772 8616062976 30487 33554432000 4194304 4196468 140735426114192 140573205849760 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9821] ppid=9784 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/9809/task/9821/stat : 9821 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716772 8616062976 30487 33554432000 4194304 4196468 140735426114192 140572937413872 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9822] ppid=9784 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/9809/task/9822/stat : 9822 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716775 8616062976 30487 33554432000 4194304 4196468 140735426114192 140572562905552 140574582847387 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9823] ppid=9784 vsize=8414124 memory=297541409 CPUtime=0.06 cores=0-7
/proc/9809/task/9823/stat : 9823 (java) S 9784 9784 9740 0 -1 1077944384 340 0 0 0 6 0 0 0 20 0 24 0 511716775 8616062976 30487 33554432000 4194304 4196468 140735426114192 140573406124272 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9824] ppid=9784 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/9809/task/9824/stat : 9824 (java) S 9784 9784 9740 0 -1 1077944384 973 0 0 0 11 0 0 0 20 0 24 0 511716775 8616062976 30487 33554432000 4194304 4196468 140735426114192 140573405071728 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9825] ppid=9784 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/9809/task/9825/stat : 9825 (java) S 9784 9784 9740 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 24 0 511716775 8616062976 30487 33554432000 4194304 4196468 140735426114192 140573404018672 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9826] ppid=9784 vsize=8414124 memory=61 CPUtime=0.21 cores=0-7
/proc/9809/task/9826/stat : 9826 (java) S 9784 9784 9740 0 -1 1077944384 546 0 0 0 21 0 0 0 20 0 24 0 511716775 8616062976 30487 33554432000 4194304 4196468 140735426114192 140573402966128 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9827] ppid=9784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9809/task/9827/stat : 9827 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716775 8616062976 30487 33554432000 4194304 4196468 140735426114192 140572065000416 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9828] ppid=9784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9809/task/9828/stat : 9828 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716775 8616062976 30487 33554432000 4194304 4196468 140735426114192 140573401914544 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9830] ppid=9784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9809/task/9830/stat : 9830 (java) S 9784 9784 9740 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511716843 8616062976 30487 33554432000 4194304 4196468 140735426114192 140573394437568 140574582853401 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9832] ppid=9784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9809/task/9832/stat : 9832 (java) S 9784 9784 9740 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511716843 8616062976 30487 33554432000 4194304 4196468 140735426114192 140571393900048 140574582850717 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9833] ppid=9784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9809/task/9833/stat : 9833 (java) S 9784 9784 9740 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511716843 8616062976 30487 33554432000 4194304 4196468 140735426114192 140571662335632 140574582850717 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9834] ppid=9784 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9809/task/9834/stat : 9834 (java) S 9784 9784 9740 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511716845 8616062976 30487 33554432000 4194304 4196468 140735426114192 140571125472176 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
Current children cumulated CPU time: 43.34 s
Current children cumulated vsize: 11262108 KiB
Current children cumulated memory: 2387968 KiB

[startup+25.8022 s]
/proc/loadavg: 5.70 7.57 8.03 9/226 9842
/proc/meminfo: memFree=22819160/32770624 swapFree=66936732/67108860
[pid=9784] ppid=9781 vsize=113128 memory=1476 CPUtime=22.68 cores=0-7
/proc/9784/stat : 9784 (scop.sh) S 9781 9784 9740 0 -1 4202496 583 33515 0 0 0 0 2147 121 20 0 1 0 511715276 115843072 369 33554432000 4194304 5098028 140732313335712 140732313332456 139731348079228 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 9003008 140732313338660 140732313338988 140732313338988 140732313341901 0
/proc/9784/statm: 28282 369 311 221 0 87 0
[pid=9809] ppid=9784 vsize=8414124 memory=143740 CPUtime=1.46 cores=0-7
/proc/9809/stat : 9809 (java) S 9784 9784 9740 0 -1 1077944320 22284 0 0 0 137 9 0 0 20 0 24 0 511716769 8616062976 35935 33554432000 4194304 4196468 140735426114192 140735426096736 140574582828791 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
/proc/9809/statm: 2103531 35935 3223 1 0 2064875 0
[pid=9809/tid=9810] ppid=9784 vsize=8414124 memory=780 CPUtime=0.76 cores=0-7
/proc/9809/task/9810/stat : 9810 (java) S 9784 9784 9740 0 -1 1077944384 17781 0 0 0 70 6 0 0 20 0 24 0 511716769 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574554668960 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9811] ppid=9784 vsize=8414124 memory=6944656425122961013 CPUtime=0 cores=0-7
/proc/9809/task/9811/stat : 9811 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574587071504 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9812] ppid=9784 vsize=8414124 memory=6933690296315519121 CPUtime=0 cores=0-7
/proc/9809/task/9812/stat : 9812 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574068395152 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9813] ppid=9784 vsize=8414124 memory=7643295301215600736 CPUtime=0 cores=0-7
/proc/9809/task/9813/stat : 9813 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574067342096 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9814] ppid=9784 vsize=8414124 memory=6935054825532540783 CPUtime=0 cores=0-7
/proc/9809/task/9814/stat : 9814 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574066289552 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9815] ppid=9784 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/9809/task/9815/stat : 9815 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574065236496 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9816] ppid=9784 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9809/task/9816/stat : 9816 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574064183952 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9817] ppid=9784 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9809/task/9817/stat : 9817 (java) S 9784 9784 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574063130896 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9818] ppid=9784 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9809/task/9818/stat : 9818 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716770 8616062976 35935 33554432000 4194304 4196468 140735426114192 140574062078352 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9819] ppid=9784 vsize=8414124 memory=121948 CPUtime=0 cores=0-7
/proc/9809/task/9819/stat : 9819 (java) S 9784 9784 9740 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511716772 8616062976 35935 33554432000 4194304 4196468 140735426114192 140573407177456 140574582839938 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9820] ppid=9784 vsize=8414124 memory=281410284515232 CPUtime=0 cores=0-7
/proc/9809/task/9820/stat : 9820 (java) S 9784 9784 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511716772 8616062976 35935 33554432000 4194304 4196468 140735426114192 140573205849760 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9821] ppid=9784 vsize=8414124 memory=140705142030096 CPUtime=0 cores=0-7
/proc/9809/task/9821/stat : 9821 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716772 8616062976 35935 33554432000 4194304 4196468 140735426114192 140572937413872 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9822] ppid=9784 vsize=8414124 memory=140705142030128 CPUtime=0 cores=0-7
/proc/9809/task/9822/stat : 9822 (java) S 9784 9784 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716775 8616062976 35935 33554432000 4194304 4196468 140735426114192 140572562905552 140574582847387 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9823] ppid=9784 vsize=8414124 memory=140705142030160 CPUtime=0.1 cores=0-7
/proc/9809/task/9823/stat : 9823 (java) S 9784 9784 9740 0 -1 1077944384 505 0 0 0 10 0 0 0 20 0 24 0 511716775 8616062976 35935 33554432000 4194304 4196468 140735426114192 140573406124272 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9824] ppid=9784 vsize=8414124 memory=281410283913192 CPUtime=0.14 cores=0-7
/proc/9809/task/9824/stat : 9824 (java) S 9784 9784 9740 0 -1 1077944384 985 0 0 0 14 0 0 0 20 0 24 0 511716775 8616062976 35935 33554432000 4194304 4196468 140735426114192 140573405071728 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9825] ppid=9784 vsize=8414124 memory=140705142030224 CPUtime=0.09 cores=0-7
/proc/9809/task/9825/stat : 9825 (java) S 9784 9784 9740 0 -1 1077944384 530 0 0 0 9 0 0 0 20 0 24 0 511716775 8616062976 35935 33554432000 4194304 4196468 140735426114192 140573404018672 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9826] ppid=9784 vsize=8414124 memory=140705142030256 CPUtime=0.25 cores=0-7
/proc/9809/task/9826/stat : 9826 (java) S 9784 9784 9740 0 -1 1077944384 1023 0 0 0 25 0 0 0 20 0 24 0 511716775 8616062976 35935 33554432000 4194304 4196468 140735426114192 140573402966128 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9827] ppid=9784 vsize=8414124 memory=140705142030288 CPUtime=0 cores=0-7
/proc/9809/task/9827/stat : 9827 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716775 8616062976 35935 33554432000 4194304 4196468 140735426114192 140572065000416 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9828] ppid=9784 vsize=8414124 memory=140705142030320 CPUtime=0 cores=0-7
/proc/9809/task/9828/stat : 9828 (java) S 9784 9784 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716775 8616062976 35935 33554432000 4194304 4196468 140735426114192 140573401914544 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9830] ppid=9784 vsize=8414124 memory=281410284212784 CPUtime=0 cores=0-7
/proc/9809/task/9830/stat : 9830 (java) S 9784 9784 9740 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511716843 8616062976 35935 33554432000 4194304 4196468 140735426114192 140573394437568 140574582853401 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9832] ppid=9784 vsize=8414124 memory=576587670020715552 CPUtime=0.07 cores=0-7
/proc/9809/task/9832/stat : 9832 (java) R 9784 9784 9740 0 -1 4202560 60 0 0 0 7 0 0 0 20 0 24 0 511716843 8616062976 35935 33554432000 4194304 4196468 140735426114192 140571393904320 140574582840726 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9833] ppid=9784 vsize=8414124 memory=288292194508268494 CPUtime=0 cores=0-7
/proc/9809/task/9833/stat : 9833 (java) S 9784 9784 9740 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511716843 8616062976 35935 33554432000 4194304 4196468 140735426114192 140571662335632 140574582850717 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9834] ppid=9784 vsize=8414124 memory=-7595718316222733696 CPUtime=0 cores=0-7
/proc/9809/task/9834/stat : 9834 (java) S 9784 9784 9740 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511716845 8616062976 35935 33554432000 4194304 4196468 140735426114192 140571125472176 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
Current children cumulated CPU time: 24.14 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 145216 KiB

[startup+25.901 s]
/proc/loadavg: 5.70 7.57 8.03 9/226 9842
/proc/meminfo: memFree=22819160/32770624 swapFree=66936732/67108860
[pid=9784] ppid=9781 vsize=113128 memory=1476 CPUtime=22.68 cores=0-7
/proc/9784/stat : 9784 (scop.sh) S 9781 9784 9740 0 -1 4202496 583 33515 0 0 0 0 2147 121 20 0 1 0 511715276 115843072 369 33554432000 4194304 5098028 140732313335712 140732313332456 139731348079228 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 9003008 140732313338660 140732313338988 140732313338988 140732313341901 0
/proc/9784/statm: 28282 369 311 221 0 87 0
[pid=9809] ppid=9784 vsize=8283048 memory=151428 CPUtime=21.46 cores=0-7
/proc/9809/stat : 9809 (java) S 9784 9784 9740 0 -1 1077944320 22665 566860 0 0 156 9 1811 170 20 0 22 0 511716769 8481841152 37857 33554432000 4194304 4196468 140735426114192 140735426096736 140574582828791 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
/proc/9809/statm: 2070762 37857 3228 1 0 2032106 0
[pid=9809/tid=9810] ppid=9784 vsize=8283048 memory=121948 CPUtime=20.61 cores=0-7
/proc/9809/task/9810/stat : 9810 (java) R 9784 9784 9740 0 -1 4202560 17941 566860 0 0 74 6 1811 170 20 0 22 0 511716769 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574554666464 140574582840726 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9811] ppid=9784 vsize=8283048 memory=1476 CPUtime=19.81 cores=0-7
/proc/9809/task/9811/stat : 9811 (java) S 9784 9784 9740 0 -1 1077944384 1 566860 0 0 0 0 1811 170 20 0 22 0 511716770 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574587071504 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9812] ppid=9784 vsize=8283048 memory=0 CPUtime=19.81 cores=0-7
/proc/9809/task/9812/stat : 9812 (java) S 9784 9784 9740 0 -1 1077944384 1 566860 0 0 0 0 1811 170 20 0 22 0 511716770 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574068395152 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9813] ppid=9784 vsize=8283048 memory=2264868 CPUtime=19.81 cores=0-7
/proc/9809/task/9813/stat : 9813 (java) S 9784 9784 9740 0 -1 1077944384 2 566860 0 0 0 0 1811 170 20 0 22 0 511716770 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574067342096 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9814] ppid=9784 vsize=8283048 memory=1 CPUtime=19.81 cores=0-7
/proc/9809/task/9814/stat : 9814 (java) S 9784 9784 9740 0 -1 1077944384 2 566860 0 0 0 0 1811 170 20 0 22 0 511716770 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574066289552 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9815] ppid=9784 vsize=8283048 memory=2 CPUtime=19.81 cores=0-7
/proc/9809/task/9815/stat : 9815 (java) S 9784 9784 9740 0 -1 1077944384 1 566860 0 0 0 0 1811 170 20 0 22 0 511716770 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574065236496 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9816] ppid=9784 vsize=8283048 memory=5730 CPUtime=19.81 cores=0-7
/proc/9809/task/9816/stat : 9816 (java) S 9784 9784 9740 0 -1 1077944384 1 566860 0 0 0 0 1811 170 20 0 22 0 511716770 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574064183952 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9817] ppid=9784 vsize=8283048 memory=55 CPUtime=19.81 cores=0-7
/proc/9809/task/9817/stat : 9817 (java) S 9784 9784 9740 0 -1 1077944384 2 566860 0 0 0 0 1811 170 20 0 22 0 511716770 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574063130896 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9818] ppid=9784 vsize=8283048 memory=6935654753386390356 CPUtime=19.81 cores=0-7
/proc/9809/task/9818/stat : 9818 (java) S 9784 9784 9740 0 -1 1077944384 3 566860 0 0 0 0 1811 170 20 0 22 0 511716770 8481841152 37857 33554432000 4194304 4196468 140735426114192 140574062078352 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9819] ppid=9784 vsize=8283048 memory=0 CPUtime=19.81 cores=0-7
/proc/9809/task/9819/stat : 9819 (java) S 9784 9784 9740 0 -1 1077944384 7 566860 0 0 0 0 1811 170 20 0 22 0 511716772 8481841152 37857 33554432000 4194304 4196468 140735426114192 140573407177456 140574582839938 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9820] ppid=9784 vsize=8283048 memory=3616 CPUtime=19.81 cores=0-7
/proc/9809/task/9820/stat : 9820 (java) S 9784 9784 9740 0 -1 1077944384 13 566860 0 0 0 0 1811 170 20 0 22 0 511716772 8481841152 37857 33554432000 4194304 4196468 140735426114192 140573205849760 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9821] ppid=9784 vsize=8283048 memory=51936 CPUtime=19.81 cores=0-7
/proc/9809/task/9821/stat : 9821 (java) S 9784 9784 9740 0 -1 1077944384 1 566860 0 0 0 0 1811 170 20 0 22 0 511716772 8481841152 37857 33554432000 4194304 4196468 140735426114192 140572937413872 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9822] ppid=9784 vsize=8283048 memory=988 CPUtime=19.81 cores=0-7
/proc/9809/task/9822/stat : 9822 (java) S 9784 9784 9740 0 -1 1077944384 1 566860 0 0 0 0 1811 170 20 0 22 0 511716775 8481841152 37857 33554432000 4194304 4196468 140735426114192 140572562905552 140574582847387 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9823] ppid=9784 vsize=8283048 memory=593 CPUtime=19.93 cores=0-7
/proc/9809/task/9823/stat : 9823 (java) R 9784 9784 9740 0 -1 4202560 517 566860 0 0 12 0 1811 170 20 0 22 0 511716775 8481841152 37857 33554432000 4194304 4196468 140735426114192 140573406114656 140574564372564 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9824] ppid=9784 vsize=8283048 memory=-7533511066042274652 CPUtime=19.96 cores=0-7
/proc/9809/task/9824/stat : 9824 (java) S 9784 9784 9740 0 -1 1077944384 990 566860 0 0 15 0 1811 170 20 0 22 0 511716775 8481841152 37857 33554432000 4194304 4196468 140735426114192 140573405071728 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9825] ppid=9784 vsize=8283048 memory=-8029775829737353339 CPUtime=19.94 cores=0-7
/proc/9809/task/9825/stat : 9825 (java) S 9784 9784 9740 0 -1 1077944384 541 566860 0 0 13 0 1811 170 20 0 22 0 511716775 8481841152 37857 33554432000 4194304 4196468 140735426114192 140573404018672 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9826] ppid=9784 vsize=8283048 memory=1476 CPUtime=20.09 cores=0-7
/proc/9809/task/9826/stat : 9826 (java) R 9784 9784 9740 0 -1 4202560 1075 566860 0 0 28 0 1811 170 20 0 22 0 511716775 8481841152 37857 33554432000 4194304 4196468 140735426114192 140573402966128 140574563017389 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9827] ppid=9784 vsize=8283048 memory=121948 CPUtime=19.81 cores=0-7
/proc/9809/task/9827/stat : 9827 (java) S 9784 9784 9740 0 -1 1077944384 3 566860 0 0 0 0 1811 170 20 0 22 0 511716775 8481841152 37857 33554432000 4194304 4196468 140735426114192 140572065000416 140574582838997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9828] ppid=9784 vsize=8283048 memory=330364 CPUtime=19.81 cores=0-7
/proc/9809/task/9828/stat : 9828 (java) S 9784 9784 9740 0 -1 1077944384 3 566860 0 0 0 0 1811 170 20 0 22 0 511716775 8481841152 37857 33554432000 4194304 4196468 140735426114192 140573401914544 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9830] ppid=9784 vsize=8283048 memory=6443060500075210857 CPUtime=19.81 cores=0-7
/proc/9809/task/9830/stat : 9830 (java) S 9784 9784 9740 0 -1 1077944384 24 566860 0 0 0 0 1811 170 20 0 22 0 511716843 8481841152 37857 33554432000 4194304 4196468 140735426114192 140573394436752 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
[pid=9809/tid=9834] ppid=9784 vsize=8283048 memory=0 CPUtime=19.81 cores=0-7
/proc/9809/task/9834/stat : 9834 (java) S 9784 9784 9740 0 -1 1077944384 13 566860 0 0 0 0 1811 170 20 0 22 0 511716845 8481841152 37857 33554432000 4194304 4196468 140735426114192 140571125473968 140574582839938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140735426122744 140735426122902 140735426122902 140735426125775 0
Current children cumulated CPU time: 44.14 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 152904 KiB

Child status: 0
Real time (s): 26.0096
CPU time (s): 44.4061
CPU user time (s): 41.3553
CPU system time (s): 3.05087
CPU usage (%): 170.73
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5921528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.3553
system time used= 3.05087
maximum resident set size= 5922116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 625011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 135584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59311
involuntary context switches= 146


# summary of solver processes directly reported to runsolver:
#   pid: 9784
#   total CPU time (s): 44.4061
#   total CPU user time (s): 41.3553
#   total CPU system time (s): 3.05087

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208162 second user time and 0.343268 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-24 22:42:12
IDJOB=4405490
IDBENCH=138454
IDSOLVER=2868
FILE ID=node141/4405490-1569357775
RUNJOBID= node141-1569357732-9767
PBS_JOBID= 21705108
Free space on /tmp= 22932 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-12.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405490-1569357775/watcher-4405490-1569357775 -o /tmp/evaluation-result-4405490-1569357775/solver-4405490-1569357775 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405490-1569357775.xml

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

MD5SUM BENCH= 5dc18f9bddc2dfff84e0f90fec56ce3b
RANDOM SEED=479929903

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25237544 kB
MemAvailable:   31808360 kB
Buffers:          105424 kB
Cached:          6744484 kB
SwapCached:        62120 kB
Active:          3384156 kB
Inactive:        3532076 kB
Active(anon):       2932 kB
Inactive(anon):   116756 kB
Active(file):    3381224 kB
Inactive(file):  3415320 kB
Unevictable:      107712 kB
Mlocked:          107712 kB
SwapTotal:      67108860 kB
SwapFree:       66936732 kB
Dirty:             20752 kB
Writeback:             0 kB
AnonPages:        112256 kB
Mapped:            54200 kB
Shmem:             44692 kB
Slab:             208952 kB
SReclaimable:     180212 kB
SUnreclaim:        28740 kB
KernelStack:        3328 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 22912 MiB
End job on node141 at 2019-09-24 22:42:38