Trace number 4392630

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 43.7496 26.2966

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-10610-serial-file.bin HOME/instance-4392630-1568442018.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:19:38 CEST 2019
0.66/0.57	c PID: 10613
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.57	c (0,0) Parsing Begin
4.34/1.57	c (1,1) Parsing End
4.34/1.57	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
4.34/1.58	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.34/1.58	c (1,1) Constraint Name Generate Begin
4.77/1.61	c (1,1) Ctr:HOME/instance-4392630-1568442018.xml,Add:Le:Ne:Num:Or:Var
4.77/1.61	c (1,1) Constraint Name Generate End
4.77/1.61	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.77/1.61	c (1,1) CSP to CSPinCNF Begin
5.40/1.82	c (1,1) translated 280 (10%) constraints
5.40/1.87	c (1,1) translated 560 (20%) constraints
5.71/1.91	c (1,1) translated 840 (30%) constraints
5.71/1.94	c (1,1) translated 1120 (40%) constraints
5.71/1.96	c (1,1) translated 1400 (50%) constraints
5.71/1.98	c (1,1) translated 1680 (60%) constraints
5.71/2.01	c (1,1) translated 1960 (70%) constraints
6.11/2.03	c (1,1) translated 2240 (80%) constraints
6.11/2.05	c (1,1) translated 2520 (90%) constraints
6.11/2.07	c (1,1) translated 2800 (100%) constraints
6.11/2.07	c (1,1) ===========================================
6.11/2.09	c (1,1) Hybrid: #OE=200, #LE=0
6.11/2.09	c (1,1) Hybrid
6.11/2.09	c (1,1) ===========================================
6.53/2.12	c (1,1) translated 280 (10%) constraints
6.53/2.14	c (1,1) translated 560 (20%) constraints
6.53/2.15	c (1,1) translated 840 (30%) constraints
6.53/2.17	c (1,1) translated 1120 (40%) constraints
6.53/2.18	c (1,1) translated 1400 (50%) constraints
6.53/2.19	c (1,1) translated 1680 (60%) constraints
6.91/2.21	c (1,1) translated 1960 (70%) constraints
6.91/2.22	c (1,1) translated 2240 (80%) constraints
6.91/2.23	c (1,1) translated 2520 (90%) constraints
6.91/2.25	c (1,1) translated 2800 (100%) constraints
6.91/2.25	c (1,1) CSP to CSPinCNF End
6.91/2.26	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
6.91/2.26	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.91/2.26	c (1,1) CSPinCNF Propagation Begin
7.34/2.31	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.34/2.31	c (1,1) CSPinCNF Propagation End
7.34/2.31	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
7.34/2.31	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.34/2.33	c (1,1) Hybrid: #OE=200, #LE=0
7.34/2.33	c (1,1) Simplify CSPinCNF Begin
8.06/2.52	c (1,1) Simplify CSPinCNF End
8.06/2.52	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 616
8.06/2.52	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.06/2.52	c (1,1) Calculate Precise Domain Begin
8.06/2.52	c (1,1) 0 values are removed by re-calculation
8.06/2.52	c (1,1) Calculate Precise Domain End
8.06/2.52	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 616
8.06/2.52	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.06/2.52	c (1,1) CSPinCNF to SatSolver Begin
11.30/4.16	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 397612 SAT clauses)
12.54/5.66	c (5,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 693330 SAT clauses)
13.82/6.87	c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 986856 SAT clauses)
15.05/8.07	c (7,7) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1279884 SAT clauses)
16.45/9.27	c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1568199 SAT clauses)
17.54/10.74	c (10,9) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1856923 SAT clauses)
18.57/11.79	c (11,10) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2149012 SAT clauses)
19.73/12.84	c (12,11) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2441082 SAT clauses)
20.73/13.90	c (13,12) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2737413 SAT clauses)
21.98/14.99	c (14,13) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3042731 SAT clauses)
22.19/15.19	c (14,13) CSPinCNF to SatSolver End
22.19/15.19	c (14,13) Heap : 5436 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.19/15.19	c (14,13) 119198 bool, 3043288 clause
22.19/15.19	c (14,13) Export Begin
22.22/15.21	c (14,13) Export to HOME/scop-10610-serial-file.bin
22.22/15.21	c (14,13) Export End
22.22/15.21	c (14,13) Export File Size: 0.03 MB
22.22/15.21	c (14,13) 1,1,1,1,1,1,14,STOP-AFTER(DIMACS)
22.22/15.21	c END-Prog: Sat Sep 14 08:19:53 CEST 2019
22.22/15.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10610-serial-file.bin
22.31/15.72	c (0,0) Read Serial File Begin
22.31/15.72	c (0,0) HOME/scop-10610-serial-file.bin
22.31/15.94	c (0,0) Read Serial File End
22.31/15.95	
22.31/15.95	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
22.31/15.95	(Solving Process)
22.31/15.95	
22.31/15.97	c BEGIN-Prog: Sat Sep 14 08:19:53 CEST 2019
22.31/15.97	c PID: 10635
22.31/15.97	c IP: 172.20.3.146
22.31/15.97	c HOST: node146.alineos.net
22.31/15.98	c (0,0) SatSolver.solve Begin
22.31/15.98	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392630-1568442018.xml-scop-10613.cnf
22.31/16.00	c (0,0) c
22.31/16.00	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)
22.31/16.00	c (0,0) c
22.31/16.00	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.31/16.00	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.31/16.00	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.31/16.00	c (0,0) c |                                                                                                       |
24.55/17.08	c (1,0) c |  Number of variables:        119198                                                                   |
24.55/17.08	c (1,0) c |  Number of clauses:         3043288                                                                   |
24.55/17.08	c (1,0) c |  Parse time:                   0.97 s                                                                 |
24.55/17.08	c (1,0) c |                                                                                                       |
30.86/23.35	c (7,0) c |  Simplification time:          6.18 s                                                                 |
30.86/23.35	c (7,0) c |                                                                                                       |
30.86/23.35	c (7,0) c |  Generating clones                                                                                    |
31.67/24.18	c (8,0) c |  all clones generated. Memory =  2094.73Mb.                                                           |
31.67/24.18	c (8,0) c ========================================================================================================|
31.67/24.18	c (8,0) c
31.67/24.18	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
31.67/24.18	c (8,0) c
31.67/24.18	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
31.67/24.18	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
31.67/24.18	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
31.67/24.18	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
31.67/24.18	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
31.67/24.18	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
31.67/24.18	c (8,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
31.67/24.18	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
31.67/24.18	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
31.67/24.18	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
31.67/24.18	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
31.67/24.18	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
31.67/24.18	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
31.67/24.18	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
31.67/24.18	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
31.67/24.18	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
31.67/24.18	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
31.67/24.18	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
31.67/24.18	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.02	c (10,0) c
42.99/26.02	c (10,0) c real time : 10.0215 s
42.99/26.02	c (10,0) c cpu time  : 17.7941 s
42.99/26.02	c (10,0) c
42.99/26.02	c (10,0) c
42.99/26.02	c (10,0) c
42.99/26.02	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
42.99/26.02	c (10,0) c
42.99/26.02	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.02	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
42.99/26.02	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.02	c (10,0) c | Conflicts     |            3701 |        429 |        303 |        726 |        379 |        344 |        223 |        290 |       1007 |
42.99/26.02	c (10,0) c | Decisions     |           17128 |        986 |       1031 |       1570 |       3612 |       1262 |       5923 |       1141 |       1603 |
42.99/26.02	c (10,0) c | Propagations  |         8750044 |    1000406 |     917887 |    1442279 |    1082631 |     955858 |     936932 |     918894 |    1495157 |
42.99/26.02	c (10,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
42.99/26.02	c (10,0) c | Restarts      |              20 |          3 |          2 |          3 |          2 |          3 |          2 |          4 |          1 |
42.99/26.02	c (10,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | PropBinClauses|         9917490 |    1125990 |    1026634 |    1673816 |    1243016 |    1092456 |    1009667 |    1011088 |    1734823 |
42.99/26.02	c (10,0) c | PropPreBlocker|       187939371 |   20067958 |   20579005 |   29382024 |   24810833 |   20936575 |   21831742 |   20484076 |   29847158 |
42.99/26.02	c (10,0) c | PropNotBlocker|        61694618 |    7481448 |    7406038 |    9272808 |    8064117 |    6924420 |    6305785 |    7751852 |    8488150 |
42.99/26.02	c (10,0) c | LitFullScans  |       269572557 |   30013606 |   30005999 |   42004517 |   35290742 |   30021505 |   30049964 |   30176902 |   42009322 |
42.99/26.02	c (10,0) c | LitScanFracts |           14965 |       5081 |       3690 |        501 |        969 |       1182 |        836 |       1717 |        989 |
42.99/26.02	c (10,0) c | DecisionLevel0|              20 |          3 |          2 |          3 |          2 |          3 |          2 |          4 |          1 |
42.99/26.02	c (10,0) c | Periods       |              44 |          5 |          5 |          7 |          5 |          5 |          5 |          5 |          7 |
42.99/26.02	c (10,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
42.99/26.02	c (10,0) c | Avg_Trail     |                 |      36542 |      42067 |      23565 |      40480 |      57571 |      52655 |      44440 |      38306 |
42.99/26.02	c (10,0) c | Avg_DL        |                 |        155 |        134 |         59 |         96 |         98 |        134 |        110 |         76 |
42.99/26.02	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.02	c (10,0) c | Exported      |             235 |         22 |         13 |         44 |         34 |         26 |         18 |         21 |         57 |
42.99/26.02	c (10,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.02	c (10,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
42.99/26.02	c (10,0) c | Glues         |                 |         22 |         13 |         44 |         34 |         26 |         18 |         21 |         57 |
42.99/26.02	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.02	c (10,0) c | Orig_Seen     |             0 % |       4248 |       3754 |       6117 |       4314 |       4478 |       2643 |       3597 |       7225 |
42.99/26.02	c (10,0) c | Diff Orig seen|                 | -       66 | -      560 |       1803 |      X     |        164 | -     1671 | -      717 |       2911 |
42.99/26.02	c (10,0) c | Hamming       |            35 % |      37652 |      43752 |      39567 |      X     |      41369 |      44768 |      41523 |      43674 |
42.99/26.02	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.02	c (10,0) c | RunningTime   |                 |    1.7 100%|    1.8 100%|    1.7 100%|    1.6 100%|    1.6 100%|    1.7 100%|    1.8 100%|    1.6 100%|
42.99/26.02	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%|
42.99/26.02	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%|
42.99/26.02	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%|
42.99/26.02	c (10,0) c | SolvingTime   |                 |    1.7     |    1.8     |    1.7     |    1.6     |    1.6     |    1.7     |    1.8     |    1.6     |
42.99/26.02	c (10,0) c | PropagationTim|                 |    1.6  96%|    1.8  97%|    1.6  97%|    1.5  98%|    1.6  98%|    1.7  98%|    1.8  98%|    1.6  97%|
42.99/26.02	c (10,0) c | AnalysisTime  |                 |    0.0   2%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   2%|
42.99/26.02	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%|
42.99/26.02	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%|
42.99/26.02	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%|
42.99/26.02	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%|
42.99/26.03	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.03	c (10,0) c
42.99/26.03	c (10,0) c
42.99/26.03	c (10,0) c Threads : 8
42.99/26.03	c (10,0) c Winner : 3
42.99/26.03	c (10,0) c Conflicts_0 : 429
42.99/26.03	c (10,0) c Conflicts_1 : 303
42.99/26.03	c (10,0) c Conflicts_2 : 726
42.99/26.03	c (10,0) c Conflicts_3 : 379
42.99/26.03	c (10,0) c Conflicts_4 : 344
42.99/26.03	c (10,0) c Conflicts_5 : 223
42.99/26.03	c (10,0) c Conflicts_6 : 290
42.99/26.03	c (10,0) c Conflicts_7 : 1007
42.99/26.03	c (10,0) c Conflicts_total : 3701
42.99/26.03	c (10,0) c Conflicts_winner : 379
42.99/26.03	c (10,0) c Decisions_0 : 986
42.99/26.03	c (10,0) c Decisions_1 : 1031
42.99/26.03	c (10,0) c Decisions_2 : 1570
42.99/26.03	c (10,0) c Decisions_3 : 3612
42.99/26.03	c (10,0) c Decisions_4 : 1262
42.99/26.03	c (10,0) c Decisions_5 : 5923
42.99/26.03	c (10,0) c Decisions_6 : 1141
42.99/26.03	c (10,0) c Decisions_7 : 1603
42.99/26.03	c (10,0) c Decisions_total : 17128
42.99/26.03	c (10,0) c Decisions_winner : 3612
42.99/26.03	c (10,0) c Propagations_0 : 1000406
42.99/26.03	c (10,0) c Propagations_1 : 917887
42.99/26.03	c (10,0) c Propagations_2 : 1442279
42.99/26.03	c (10,0) c Propagations_3 : 1082631
42.99/26.03	c (10,0) c Propagations_4 : 955858
42.99/26.03	c (10,0) c Propagations_5 : 936932
42.99/26.03	c (10,0) c Propagations_6 : 918894
42.99/26.03	c (10,0) c Propagations_7 : 1495157
42.99/26.03	c (10,0) c Propagations_total : 8750044
42.99/26.03	c (10,0) c Propagations_winner : 1082631
42.99/26.03	c (10,0) c ReduceDBs_0 : 0
42.99/26.03	c (10,0) c ReduceDBs_1 : 0
42.99/26.03	c (10,0) c ReduceDBs_2 : 0
42.99/26.03	c (10,0) c ReduceDBs_3 : 0
42.99/26.03	c (10,0) c ReduceDBs_4 : 0
42.99/26.03	c (10,0) c ReduceDBs_5 : 0
42.99/26.03	c (10,0) c ReduceDBs_6 : 0
42.99/26.03	c (10,0) c ReduceDBs_7 : 0
42.99/26.03	c (10,0) c ReduceDBs_total : 0
42.99/26.03	c (10,0) c ReduceDBs_winner : 0
42.99/26.03	c (10,0) c SimpDBs_0 : 1
42.99/26.03	c (10,0) c SimpDBs_1 : 1
42.99/26.03	c (10,0) c SimpDBs_2 : 1
42.99/26.03	c (10,0) c SimpDBs_3 : 1
42.99/26.03	c (10,0) c SimpDBs_4 : 1
42.99/26.03	c (10,0) c SimpDBs_5 : 1
42.99/26.03	c (10,0) c SimpDBs_6 : 1
42.99/26.03	c (10,0) c SimpDBs_7 : 1
42.99/26.03	c (10,0) c SimpDBs_total : 8
42.99/26.03	c (10,0) c SimpDBs_winner : 1
42.99/26.03	c (10,0) c Restarts_0 : 3
42.99/26.03	c (10,0) c Restarts_1 : 2
42.99/26.03	c (10,0) c Restarts_2 : 3
42.99/26.03	c (10,0) c Restarts_3 : 2
42.99/26.03	c (10,0) c Restarts_4 : 3
42.99/26.03	c (10,0) c Restarts_5 : 2
42.99/26.03	c (10,0) c Restarts_6 : 4
42.99/26.03	c (10,0) c Restarts_7 : 1
42.99/26.03	c (10,0) c Restarts_total : 20
42.99/26.03	c (10,0) c Restarts_winner : 2
42.99/26.03	c (10,0) c ForcedImports_0 : 0
42.99/26.03	c (10,0) c ForcedImports_1 : 0
42.99/26.03	c (10,0) c ForcedImports_2 : 0
42.99/26.03	c (10,0) c ForcedImports_3 : 0
42.99/26.03	c (10,0) c ForcedImports_4 : 0
42.99/26.03	c (10,0) c ForcedImports_5 : 0
42.99/26.03	c (10,0) c ForcedImports_6 : 0
42.99/26.03	c (10,0) c ForcedImports_7 : 0
42.99/26.03	c (10,0) c ForcedImports_total : 0
42.99/26.03	c (10,0) c ForcedImports_winner : 0
42.99/26.03	c (10,0) c PropsBinClauses_0 : 1125990
42.99/26.03	c (10,0) c PropsBinClauses_1 : 1026634
42.99/26.03	c (10,0) c PropsBinClauses_2 : 1673816
42.99/26.03	c (10,0) c PropsBinClauses_3 : 1243016
42.99/26.03	c (10,0) c PropsBinClauses_4 : 1092456
42.99/26.03	c (10,0) c PropsBinClauses_5 : 1009667
42.99/26.03	c (10,0) c PropsBinClauses_6 : 1011088
42.99/26.03	c (10,0) c PropsBinClauses_7 : 1734823
42.99/26.03	c (10,0) c PropsBinClauses_total : 9917490
42.99/26.03	c (10,0) c PropsBinClauses_winner : 1243016
42.99/26.03	c (10,0) c PropsPreBlocker_0 : 20067958
42.99/26.03	c (10,0) c PropsPreBlocker_1 : 20579005
42.99/26.03	c (10,0) c PropsPreBlocker_2 : 29382024
42.99/26.03	c (10,0) c PropsPreBlocker_3 : 24810833
42.99/26.03	c (10,0) c PropsPreBlocker_4 : 20936575
42.99/26.03	c (10,0) c PropsPreBlocker_5 : 21831742
42.99/26.03	c (10,0) c PropsPreBlocker_6 : 20484076
42.99/26.03	c (10,0) c PropsPreBlocker_7 : 29847158
42.99/26.03	c (10,0) c PropsPreBlocker_total : 187939371
42.99/26.03	c (10,0) c PropsPreBlocker_winner : 24810833
42.99/26.03	c (10,0) c PropsNotBlocker_0 : 7481448
42.99/26.03	c (10,0) c PropsNotBlocker_1 : 7406038
42.99/26.03	c (10,0) c PropsNotBlocker_2 : 9272808
42.99/26.03	c (10,0) c PropsNotBlocker_3 : 8064117
42.99/26.03	c (10,0) c PropsNotBlocker_4 : 6924420
42.99/26.03	c (10,0) c PropsNotBlocker_5 : 6305785
42.99/26.03	c (10,0) c PropsNotBlocker_6 : 7751852
42.99/26.03	c (10,0) c PropsNotBlocker_7 : 8488150
42.99/26.03	c (10,0) c PropsNotBlocker_total : 61694618
42.99/26.03	c (10,0) c PropsNotBlocker_winner : 8064117
42.99/26.03	c (10,0) c PropsLitFullScans_0 : 30013606
42.99/26.03	c (10,0) c PropsLitFullScans_1 : 30005999
42.99/26.03	c (10,0) c PropsLitFullScans_2 : 42004517
42.99/26.03	c (10,0) c PropsLitFullScans_3 : 35290742
42.99/26.03	c (10,0) c PropsLitFullScans_4 : 30021505
42.99/26.03	c (10,0) c PropsLitFullScans_5 : 30049964
42.99/26.03	c (10,0) c PropsLitFullScans_6 : 30176902
42.99/26.03	c (10,0) c PropsLitFullScans_7 : 42009322
42.99/26.03	c (10,0) c PropsLitFullScans_total : 269572557
42.99/26.03	c (10,0) c PropsLitFullScans_winner : 35290742
42.99/26.03	c (10,0) c LitScanFractions_0 : 5081
42.99/26.03	c (10,0) c LitScanFractions_1 : 3690
42.99/26.03	c (10,0) c LitScanFractions_2 : 501
42.99/26.03	c (10,0) c LitScanFractions_3 : 969
42.99/26.03	c (10,0) c LitScanFractions_4 : 1182
42.99/26.03	c (10,0) c LitScanFractions_5 : 836
42.99/26.03	c (10,0) c LitScanFractions_6 : 1717
42.99/26.03	c (10,0) c LitScanFractions_7 : 989
42.99/26.03	c (10,0) c LitScanFractions_total : 14965
42.99/26.03	c (10,0) c LitScanFractions_winner : 969
42.99/26.03	c (10,0) c DecisionLevel0_0 : 3
42.99/26.03	c (10,0) c DecisionLevel0_1 : 2
42.99/26.03	c (10,0) c DecisionLevel0_2 : 3
42.99/26.03	c (10,0) c DecisionLevel0_3 : 2
42.99/26.03	c (10,0) c DecisionLevel0_4 : 3
42.99/26.03	c (10,0) c DecisionLevel0_5 : 2
42.99/26.03	c (10,0) c DecisionLevel0_6 : 4
42.99/26.03	c (10,0) c DecisionLevel0_7 : 1
42.99/26.03	c (10,0) c DecisionLevel0_total : 20
42.99/26.03	c (10,0) c DecisionLevel0_winner : 2
42.99/26.03	c (10,0) c Periods_0 : 5
42.99/26.03	c (10,0) c Periods_1 : 5
42.99/26.03	c (10,0) c Periods_2 : 7
42.99/26.03	c (10,0) c Periods_3 : 5
42.99/26.03	c (10,0) c Periods_4 : 5
42.99/26.03	c (10,0) c Periods_5 : 5
42.99/26.03	c (10,0) c Periods_6 : 5
42.99/26.03	c (10,0) c Periods_7 : 7
42.99/26.03	c (10,0) c Periods_total : 44
42.99/26.03	c (10,0) c Periods_winner : 5
42.99/26.03	c (10,0) c Margin_0 : 20
42.99/26.03	c (10,0) c Margin_1 : 20
42.99/26.03	c (10,0) c Margin_2 : 20
42.99/26.03	c (10,0) c Margin_3 : 20
42.99/26.03	c (10,0) c Margin_4 : 20
42.99/26.03	c (10,0) c Margin_5 : 20
42.99/26.03	c (10,0) c Margin_6 : 20
42.99/26.03	c (10,0) c Margin_7 : 20
42.99/26.03	c (10,0) c Margin_total : 160
42.99/26.03	c (10,0) c Margin_winner : 20
42.99/26.03	c (10,0) c Exported_0 : 22
42.99/26.03	c (10,0) c Exported_1 : 13
42.99/26.03	c (10,0) c Exported_2 : 44
42.99/26.03	c (10,0) c Exported_3 : 34
42.99/26.03	c (10,0) c Exported_4 : 26
42.99/26.03	c (10,0) c Exported_5 : 18
42.99/26.03	c (10,0) c Exported_6 : 21
42.99/26.03	c (10,0) c Exported_7 : 57
42.99/26.03	c (10,0) c Exported_total : 235
42.99/26.03	c (10,0) c Exported_winner : 34
42.99/26.03	c (10,0) c Imported_0 : 0
42.99/26.03	c (10,0) c Imported_1 : 0
42.99/26.03	c (10,0) c Imported_2 : 0
42.99/26.03	c (10,0) c Imported_3 : 0
42.99/26.03	c (10,0) c Imported_4 : 0
42.99/26.03	c (10,0) c Imported_5 : 0
42.99/26.03	c (10,0) c Imported_6 : 0
42.99/26.03	c (10,0) c Imported_7 : 0
42.99/26.03	c (10,0) c Imported_total : 0
42.99/26.03	c (10,0) c Imported_winner : 0
42.99/26.03	c (10,0) c Good_0 : 0
42.99/26.03	c (10,0) c Good_1 : 0
42.99/26.03	c (10,0) c Good_2 : 0
42.99/26.03	c (10,0) c Good_3 : 0
42.99/26.03	c (10,0) c Good_4 : 0
42.99/26.03	c (10,0) c Good_5 : 0
42.99/26.03	c (10,0) c Good_6 : 0
42.99/26.03	c (10,0) c Good_7 : 0
42.99/26.03	c (10,0) c Good_total : 0
42.99/26.03	c (10,0) c Good_winner : 0
42.99/26.03	c (10,0) c Purge_0 : 0
42.99/26.03	c (10,0) c Purge_1 : 0
42.99/26.03	c (10,0) c Purge_2 : 0
42.99/26.03	c (10,0) c Purge_3 : 0
42.99/26.03	c (10,0) c Purge_4 : 0
42.99/26.03	c (10,0) c Purge_5 : 0
42.99/26.03	c (10,0) c Purge_6 : 0
42.99/26.03	c (10,0) c Purge_7 : 0
42.99/26.03	c (10,0) c Purge_total : 0
42.99/26.03	c (10,0) c Purge_winner : 0
42.99/26.03	c (10,0) c Promoted_0 : 0
42.99/26.03	c (10,0) c Promoted_1 : 0
42.99/26.03	c (10,0) c Promoted_2 : 0
42.99/26.03	c (10,0) c Promoted_3 : 0
42.99/26.03	c (10,0) c Promoted_4 : 0
42.99/26.03	c (10,0) c Promoted_5 : 0
42.99/26.03	c (10,0) c Promoted_6 : 0
42.99/26.03	c (10,0) c Promoted_7 : 0
42.99/26.03	c (10,0) c Promoted_total : 0
42.99/26.03	c (10,0) c Promoted_winner : 0
42.99/26.03	c (10,0) c Remove_Imp_0 : 0
42.99/26.03	c (10,0) c Remove_Imp_1 : 0
42.99/26.03	c (10,0) c Remove_Imp_2 : 0
42.99/26.03	c (10,0) c Remove_Imp_3 : 0
42.99/26.03	c (10,0) c Remove_Imp_4 : 0
42.99/26.03	c (10,0) c Remove_Imp_5 : 0
42.99/26.03	c (10,0) c Remove_Imp_6 : 0
42.99/26.03	c (10,0) c Remove_Imp_7 : 0
42.99/26.03	c (10,0) c Remove_Imp_total : 0
42.99/26.03	c (10,0) c Remove_Imp_winner : 0
42.99/26.03	c (10,0) c Blocked_Reuse_0 : 0
42.99/26.03	c (10,0) c Blocked_Reuse_1 : 0
42.99/26.03	c (10,0) c Blocked_Reuse_2 : 0
42.99/26.03	c (10,0) c Blocked_Reuse_3 : 0
42.99/26.03	c (10,0) c Blocked_Reuse_4 : 0
42.99/26.03	c (10,0) c Blocked_Reuse_5 : 0
42.99/26.03	c (10,0) c Blocked_Reuse_6 : 0
42.99/26.03	c (10,0) c Blocked_Reuse_7 : 0
42.99/26.03	c (10,0) c Blocked_Reuse_total : 0
42.99/26.03	c (10,0) c Blocked_Reuse_winner : 0
42.99/26.03	c (10,0) c Unaries_0 : 0
42.99/26.03	c (10,0) c Unaries_1 : 0
42.99/26.03	c (10,0) c Unaries_2 : 0
42.99/26.03	c (10,0) c Unaries_3 : 0
42.99/26.03	c (10,0) c Unaries_4 : 0
42.99/26.03	c (10,0) c Unaries_5 : 0
42.99/26.03	c (10,0) c Unaries_6 : 0
42.99/26.03	c (10,0) c Unaries_7 : 0
42.99/26.03	c (10,0) c Unaries_total : 0
42.99/26.03	c (10,0) c Unaries_winner : 0
42.99/26.03	c (10,0) c Binaries_0 : 0
42.99/26.03	c (10,0) c Binaries_1 : 0
42.99/26.03	c (10,0) c Binaries_2 : 0
42.99/26.03	c (10,0) c Binaries_3 : 0
42.99/26.03	c (10,0) c Binaries_4 : 0
42.99/26.03	c (10,0) c Binaries_5 : 0
42.99/26.03	c (10,0) c Binaries_6 : 0
42.99/26.03	c (10,0) c Binaries_7 : 0
42.99/26.03	c (10,0) c Binaries_total : 0
42.99/26.03	c (10,0) c Binaries_winner : 0
42.99/26.03	c (10,0) c Glues_0 : 22
42.99/26.03	c (10,0) c Glues_1 : 13
42.99/26.03	c (10,0) c Glues_2 : 44
42.99/26.03	c (10,0) c Glues_3 : 34
42.99/26.03	c (10,0) c Glues_4 : 26
42.99/26.03	c (10,0) c Glues_5 : 18
42.99/26.03	c (10,0) c Glues_6 : 21
42.99/26.03	c (10,0) c Glues_7 : 57
42.99/26.03	c (10,0) c Glues_total : 235
42.99/26.03	c (10,0) c Glues_winner : 34
42.99/26.03	c (10,0) c RunningTime_0 : 1.655623
42.99/26.03	c (10,0) c RunningTime_1 : 1.801623
42.99/26.04	c (10,0) c RunningTime_2 : 1.680375
42.99/26.04	c (10,0) c RunningTime_3 : 1.580070
42.99/26.04	c (10,0) c RunningTime_4 : 1.646605
42.99/26.04	c (10,0) c RunningTime_5 : 1.732690
42.99/26.04	c (10,0) c RunningTime_6 : 1.836201
42.99/26.04	c (10,0) c RunningTime_7 : 1.632728
42.99/26.04	c (10,0) c RunningTime_total : 13.565914
42.99/26.04	c (10,0) c RunningTime_winner : 1.580070
42.99/26.04	c (10,0) c WaitingTime_0 : 0.000000
42.99/26.04	c (10,0) c WaitingTime_1 : 0.000000
42.99/26.04	c (10,0) c WaitingTime_2 : 0.000000
42.99/26.04	c (10,0) c WaitingTime_3 : 0.000000
42.99/26.04	c (10,0) c WaitingTime_4 : 0.000000
42.99/26.04	c (10,0) c WaitingTime_5 : 0.000000
42.99/26.04	c (10,0) c WaitingTime_6 : 0.000000
42.99/26.04	c (10,0) c WaitingTime_7 : 0.000000
42.99/26.04	c (10,0) c WaitingTime_total : 0.000000
42.99/26.04	c (10,0) c WaitingTime_winner : 0.000000
42.99/26.04	c (10,0) c ExchangingTime_0 : 0.000191
42.99/26.04	c (10,0) c ExchangingTime_1 : 0.000113
42.99/26.04	c (10,0) c ExchangingTime_2 : 0.000214
42.99/26.04	c (10,0) c ExchangingTime_3 : 0.000164
42.99/26.04	c (10,0) c ExchangingTime_4 : 0.000133
42.99/26.04	c (10,0) c ExchangingTime_5 : 0.000111
42.99/26.04	c (10,0) c ExchangingTime_6 : 0.000116
42.99/26.04	c (10,0) c ExchangingTime_7 : 0.000340
42.99/26.04	c (10,0) c ExchangingTime_total : 0.001383
42.99/26.04	c (10,0) c ExchangingTime_winner : 0.000164
42.99/26.04	c (10,0) c PeriodProcTime_0 : 0.000092
42.99/26.04	c (10,0) c PeriodProcTime_1 : 0.000069
42.99/26.04	c (10,0) c PeriodProcTime_2 : 0.000114
42.99/26.04	c (10,0) c PeriodProcTime_3 : 0.000079
42.99/26.04	c (10,0) c PeriodProcTime_4 : 0.000117
42.99/26.04	c (10,0) c PeriodProcTime_5 : 0.000077
42.99/26.04	c (10,0) c PeriodProcTime_6 : 0.000138
42.99/26.04	c (10,0) c PeriodProcTime_7 : 0.000191
42.99/26.04	c (10,0) c PeriodProcTime_total : 0.000877
42.99/26.04	c (10,0) c PeriodProcTime_winner : 0.000079
42.99/26.04	c (10,0) c SolvingTime_0 : 1.655906
42.99/26.04	c (10,0) c SolvingTime_1 : 1.801805
42.99/26.04	c (10,0) c SolvingTime_2 : 1.680703
42.99/26.04	c (10,0) c SolvingTime_3 : 1.580313
42.99/26.04	c (10,0) c SolvingTime_4 : 1.646855
42.99/26.04	c (10,0) c SolvingTime_5 : 1.732877
42.99/26.04	c (10,0) c SolvingTime_6 : 1.836455
42.99/26.04	c (10,0) c SolvingTime_7 : 1.633259
42.99/26.04	c (10,0) c SolvingTime_total : 13.568174
42.99/26.04	c (10,0) c SolvingTime_winner : 1.580313
42.99/26.04	c (10,0) c PropagationTime_0 : 1.596580
42.99/26.04	c (10,0) c PropagationTime_1 : 1.756251
42.99/26.04	c (10,0) c PropagationTime_2 : 1.634244
42.99/26.04	c (10,0) c PropagationTime_3 : 1.543505
42.99/26.04	c (10,0) c PropagationTime_4 : 1.609931
42.99/26.04	c (10,0) c PropagationTime_5 : 1.692190
42.99/26.04	c (10,0) c PropagationTime_6 : 1.800327
42.99/26.04	c (10,0) c PropagationTime_7 : 1.581924
42.99/26.04	c (10,0) c PropagationTime_total : 13.214952
42.99/26.04	c (10,0) c PropagationTime_winner : 1.543505
42.99/26.04	c (10,0) c AnalysisTime_0 : 0.039943
42.99/26.04	c (10,0) c AnalysisTime_1 : 0.022701
42.99/26.04	c (10,0) c AnalysisTime_2 : 0.024738
42.99/26.04	c (10,0) c AnalysisTime_3 : 0.015464
42.99/26.04	c (10,0) c AnalysisTime_4 : 0.014446
42.99/26.04	c (10,0) c AnalysisTime_5 : 0.011757
42.99/26.04	c (10,0) c AnalysisTime_6 : 0.014772
42.99/26.04	c (10,0) c AnalysisTime_7 : 0.027763
42.99/26.04	c (10,0) c AnalysisTime_total : 0.171584
42.99/26.04	c (10,0) c AnalysisTime_winner : 0.015464
42.99/26.04	c (10,0) c ReductionTime_0 : 0.000000
42.99/26.04	c (10,0) c ReductionTime_1 : 0.000000
42.99/26.04	c (10,0) c ReductionTime_2 : 0.000000
42.99/26.04	c (10,0) c ReductionTime_3 : 0.000000
42.99/26.04	c (10,0) c ReductionTime_4 : 0.000000
42.99/26.04	c (10,0) c ReductionTime_5 : 0.000000
42.99/26.04	c (10,0) c ReductionTime_6 : 0.000000
42.99/26.04	c (10,0) c ReductionTime_7 : 0.000000
42.99/26.04	c (10,0) c ReductionTime_total : 0.000000
42.99/26.04	c (10,0) c ReductionTime_winner : 0.000000
42.99/26.04	c (10,0) c SimplifyTime_0 : 0.000000
42.99/26.04	c (10,0) c SimplifyTime_1 : 0.000001
42.99/26.04	c (10,0) c SimplifyTime_2 : 0.000000
42.99/26.04	c (10,0) c SimplifyTime_3 : 0.000000
42.99/26.04	c (10,0) c SimplifyTime_4 : 0.000000
42.99/26.04	c (10,0) c SimplifyTime_5 : 0.000000
42.99/26.04	c (10,0) c SimplifyTime_6 : 0.000002
42.99/26.04	c (10,0) c SimplifyTime_7 : 0.000001
42.99/26.04	c (10,0) c SimplifyTime_total : 0.000004
42.99/26.04	c (10,0) c SimplifyTime_winner : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_0 : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_1 : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_2 : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_3 : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_4 : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_5 : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_6 : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_7 : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_total : 0.000000
42.99/26.04	c (10,0) c UsedRateTime_winner : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_0 : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_1 : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_2 : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_3 : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_4 : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_5 : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_6 : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_7 : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_total : 0.000000
42.99/26.04	c (10,0) c OverlapRateTime_winner : 0.000000
42.99/26.04	c (10,0) c
42.99/26.04	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
42.99/26.04	c (10,0) c
42.99/26.04	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.04	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
42.99/26.04	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.04	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
42.99/26.04	c (10,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
42.99/26.04	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
42.99/26.04	c (10,0) c | Initial random_seed   |  179618536 |  884610256 |  581601466 |  920497651 | 1279610390 | 1066256185 | 1928284450 | 1103660764 |
42.99/26.04	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
42.99/26.04	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
42.99/26.04	c (10,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
42.99/26.04	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
42.99/26.04	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
42.99/26.04	c (10,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
42.99/26.04	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
42.99/26.04	c (10,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
42.99/26.04	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
42.99/26.04	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
42.99/26.04	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
42.99/26.04	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.99/26.04	c (10,0) 
42.99/26.04	c (10,0) s SATISFIABLE
23.79/26.15	c (10,0) SatSolver.solve End
23.79/26.15	c (10,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
23.79/26.15	c (10,0) Show results Begin
43.52/26.25	c (10,0) x0 = 407
43.52/26.25	c (10,0) x1 = 422
43.52/26.25	c (10,0) x10 = 293
43.52/26.25	c (10,0) x100 = 575
43.52/26.25	c (10,0) x101 = 576
43.52/26.25	c (10,0) x102 = 201
43.52/26.25	c (10,0) x103 = 200
43.52/26.25	c (10,0) x104 = 142
43.52/26.25	c (10,0) x105 = 146
43.52/26.25	c (10,0) x106 = 427
43.52/26.25	c (10,0) x107 = 428
43.52/26.25	c (10,0) x108 = 351
43.52/26.25	c (10,0) x109 = 350
43.52/26.25	c (10,0) x11 = 294
43.52/26.25	c (10,0) x110 = 91
43.52/26.25	c (10,0) x111 = 92
43.52/26.25	c (10,0) x112 = 524
43.52/26.25	c (10,0) x113 = 523
43.52/26.25	c (10,0) x114 = 0
43.52/26.25	c (10,0) x115 = 613
43.52/26.25	c (10,0) x116 = 278
43.52/26.25	c (10,0) x117 = 279
43.52/26.25	c (10,0) x118 = 27
43.52/26.25	c (10,0) x119 = 4
43.52/26.25	c (10,0) x12 = 7
43.52/26.25	c (10,0) x120 = 266
43.52/26.25	c (10,0) x121 = 267
43.52/26.25	c (10,0) x122 = 37
43.52/26.25	c (10,0) x123 = 38
43.52/26.25	c (10,0) x124 = 579
43.52/26.25	c (10,0) x125 = 575
43.52/26.26	c (10,0) x126 = 452
43.52/26.26	c (10,0) x127 = 451
43.52/26.26	c (10,0) x128 = 208
43.52/26.26	c (10,0) x129 = 207
43.52/26.26	c (10,0) x13 = 8
43.52/26.26	c (10,0) x130 = 132
43.52/26.26	c (10,0) x131 = 117
43.52/26.26	c (10,0) x132 = 247
43.52/26.26	c (10,0) x133 = 246
43.52/26.26	c (10,0) x134 = 149
43.52/26.26	c (10,0) x135 = 150
43.52/26.26	c (10,0) x136 = 2
43.52/26.26	c (10,0) x137 = 123
43.52/26.26	c (10,0) x138 = 351
43.52/26.26	c (10,0) x139 = 350
43.52/26.26	c (10,0) x14 = 174
43.52/26.26	c (10,0) x140 = 10
43.52/26.26	c (10,0) x141 = 11
43.52/26.26	c (10,0) x142 = 543
43.52/26.26	c (10,0) x143 = 539
43.52/26.26	c (10,0) x144 = 244
43.52/26.26	c (10,0) x145 = 245
43.52/26.26	c (10,0) x146 = 369
43.52/26.26	c (10,0) x147 = 370
43.52/26.26	c (10,0) x148 = 278
43.52/26.26	c (10,0) x149 = 277
43.52/26.26	c (10,0) x15 = 175
43.52/26.26	c (10,0) x150 = 114
43.52/26.26	c (10,0) x151 = 113
43.52/26.26	c (10,0) x152 = 201
43.52/26.26	c (10,0) x153 = 202
43.52/26.26	c (10,0) x154 = 452
43.52/26.26	c (10,0) x155 = 453
43.52/26.26	c (10,0) x156 = 230
43.52/26.26	c (10,0) x157 = 229
43.52/26.26	c (10,0) x158 = 0
43.52/26.26	c (10,0) x159 = 104
43.52/26.26	c (10,0) x16 = 205
43.52/26.26	c (10,0) x160 = 128
43.52/26.26	c (10,0) x161 = 480
43.52/26.26	c (10,0) x162 = 216
43.52/26.26	c (10,0) x163 = 493
43.52/26.26	c (10,0) x164 = 14
43.52/26.26	c (10,0) x165 = 13
43.52/26.26	c (10,0) x166 = 466
43.52/26.26	c (10,0) x167 = 467
43.52/26.26	c (10,0) x168 = 0
43.52/26.26	c (10,0) x169 = 73
43.52/26.26	c (10,0) x17 = 206
43.52/26.26	c (10,0) x170 = 162
43.52/26.26	c (10,0) x171 = 468
43.52/26.26	c (10,0) x172 = 543
43.52/26.26	c (10,0) x173 = 523
43.52/26.26	c (10,0) x174 = 99
43.52/26.26	c (10,0) x175 = 369
43.52/26.27	c (10,0) x176 = 267
43.52/26.27	c (10,0) x177 = 266
43.52/26.27	c (10,0) x178 = 57
43.52/26.27	c (10,0) x179 = 58
43.52/26.27	c (10,0) x18 = 520
43.52/26.27	c (10,0) x180 = 565
43.52/26.27	c (10,0) x181 = 566
43.52/26.27	c (10,0) x182 = 541
43.52/26.27	c (10,0) x183 = 542
43.52/26.27	c (10,0) x184 = 603
43.52/26.27	c (10,0) x185 = 602
43.52/26.27	c (10,0) x186 = 316
43.52/26.27	c (10,0) x187 = 314
43.52/26.27	c (10,0) x188 = 469
43.52/26.27	c (10,0) x189 = 468
43.52/26.27	c (10,0) x19 = 502
43.52/26.27	c (10,0) x190 = 191
43.52/26.27	c (10,0) x191 = 192
43.52/26.27	c (10,0) x192 = 138
43.52/26.27	c (10,0) x193 = 137
43.52/26.27	c (10,0) x194 = 4
43.52/26.27	c (10,0) x195 = 15
43.52/26.27	c (10,0) x196 = 247
43.52/26.27	c (10,0) x197 = 246
43.52/26.27	c (10,0) x198 = 407
43.52/26.27	c (10,0) x199 = 77
43.52/26.27	c (10,0) x2 = 77
43.52/26.27	c (10,0) x20 = 1
43.52/26.27	c (10,0) x21 = 0
43.52/26.27	c (10,0) x22 = 587
43.52/26.27	c (10,0) x23 = 586
43.52/26.27	c (10,0) x24 = 174
43.52/26.27	c (10,0) x25 = 175
43.52/26.27	c (10,0) x26 = 282
43.52/26.27	c (10,0) x27 = 283
43.52/26.27	c (10,0) x28 = 371
43.52/26.27	c (10,0) x29 = 370
43.52/26.27	c (10,0) x3 = 76
43.52/26.27	c (10,0) x30 = 229
43.52/26.27	c (10,0) x31 = 228
43.52/26.27	c (10,0) x32 = 452
43.52/26.27	c (10,0) x33 = 453
43.52/26.27	c (10,0) x34 = 465
43.52/26.27	c (10,0) x35 = 464
43.52/26.27	c (10,0) x36 = 222
43.52/26.27	c (10,0) x37 = 223
43.52/26.27	c (10,0) x38 = 99
43.52/26.27	c (10,0) x39 = 100
43.52/26.27	c (10,0) x4 = 371
43.52/26.27	c (10,0) x40 = 479
43.52/26.27	c (10,0) x41 = 480
43.52/26.27	c (10,0) x42 = 135
43.52/26.27	c (10,0) x43 = 133
43.52/26.27	c (10,0) x44 = 77
43.52/26.27	c (10,0) x45 = 76
43.52/26.27	c (10,0) x46 = 97
43.52/26.27	c (10,0) x47 = 314
43.52/26.27	c (10,0) x48 = 229
43.52/26.27	c (10,0) x49 = 228
43.52/26.27	c (10,0) x5 = 370
43.52/26.27	c (10,0) x50 = 13
43.52/26.27	c (10,0) x51 = 14
43.52/26.27	c (10,0) x52 = 345
43.52/26.27	c (10,0) x53 = 337
43.52/26.27	c (10,0) x54 = 568
43.52/26.27	c (10,0) x55 = 567
43.52/26.27	c (10,0) x56 = 275
43.52/26.27	c (10,0) x57 = 276
43.52/26.27	c (10,0) x58 = 427
43.52/26.27	c (10,0) x59 = 428
43.52/26.27	c (10,0) x6 = 58
43.52/26.27	c (10,0) x60 = 203
43.52/26.27	c (10,0) x61 = 205
43.52/26.27	c (10,0) x62 = 1
43.52/26.27	c (10,0) x63 = 0
43.52/26.27	c (10,0) x64 = 220
43.52/26.27	c (10,0) x65 = 219
43.52/26.27	c (10,0) x66 = 58
43.52/26.27	c (10,0) x67 = 72
43.52/26.27	c (10,0) x68 = 540
43.52/26.27	c (10,0) x69 = 541
43.52/26.27	c (10,0) x7 = 59
43.52/26.27	c (10,0) x70 = 313
43.52/26.27	c (10,0) x71 = 314
43.52/26.27	c (10,0) x72 = 409
43.52/26.27	c (10,0) x73 = 408
43.52/26.27	c (10,0) x74 = 138
43.52/26.27	c (10,0) x75 = 124
43.52/26.27	c (10,0) x76 = 182
43.52/26.27	c (10,0) x77 = 178
43.52/26.27	c (10,0) x78 = 164
43.52/26.27	c (10,0) x79 = 207
43.52/26.27	c (10,0) x8 = 257
43.52/26.27	c (10,0) x80 = 387
43.52/26.27	c (10,0) x81 = 386
43.52/26.27	c (10,0) x82 = 209
43.52/26.27	c (10,0) x83 = 210
43.52/26.27	c (10,0) x84 = 498
43.52/26.27	c (10,0) x85 = 499
43.52/26.27	c (10,0) x86 = 479
43.52/26.27	c (10,0) x87 = 478
43.52/26.27	c (10,0) x88 = 254
43.52/26.27	c (10,0) x89 = 255
43.52/26.27	c (10,0) x9 = 256
43.52/26.27	c (10,0) x90 = 149
43.52/26.27	c (10,0) x91 = 150
43.52/26.27	c (10,0) x92 = 81
43.52/26.27	c (10,0) x93 = 82
43.52/26.27	c (10,0) x94 = 225
43.52/26.27	c (10,0) x95 = 224
43.52/26.27	c (10,0) x96 = 12
43.52/26.27	c (10,0) x97 = 14
43.52/26.27	c (10,0) x98 = 314
43.52/26.27	c (10,0) x99 = 313
43.52/26.27	s SATISFIABLE
43.52/26.27	v <instantiation>
43.52/26.27	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>
43.52/26.27	v     <values>407 422 77 76 371 370 58 59 257 256 293 294 7 8 174 175 205 206 520 502 1 0 587 586 174 175 282 283 371 370 229 228 452 453 465 464 222 223 99 100 479 480 135 133 77 76 97 314 229 228 13 14 345 337 568 567 275 276 427 428 203 205 1 0 220 219 58 72 540 541 313 314 409 408 138 124 182 178 164 207 387 386 209 210 498 499 479 478 254 255 149 150 81 82 225 224 12 14 314 313 575 576 201 200 142 146 427 428 351 350 91 92 524 523 0 613 278 279 27 4 266 267 37 38 579 575 452 451 208 207 132 117 247 246 149 150 2 123 351 350 10 11 543 539 244 245 369 370 278 277 114 113 201 202 452 453 230 229 0 104 128 480 216 493 14 13 466 467 0 73 162 468 543 523 99 369 267 266 57 58 565 566 541 542 603 602 316 314 469 468 191 192 138 137 4 15 247 246 407 77</values>
43.52/26.27	v </instantiation>
43.52/26.27	c (10,0) Show results End
43.52/26.27	c (10,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
43.52/26.27	c (10,0) 10,10,STOP-AFTER(ALL)
43.52/26.27	c END-Prog: Sat Sep 14 08:20:04 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 (14953 MiB free)
  memory of node 1: 16384 MiB (15580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392630-1568442018/watcher-4392630-1568442018 -o /tmp/evaluation-result-4392630-1568442018/solver-4392630-1568442018 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568441917-10348 --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-4392630-1568442018.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
Current StackSize limit: 8192 KiB

solver pid=10610, runsolver pid=10607

[startup+0.100114 s]*
/proc/loadavg: 4.48 7.12 7.85 2/211 10632
/proc/meminfo: memFree=31170652/32770624 swapFree=67000592/67108860
[pid=10610] ppid=10607 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10610/stat : 10610 (scop.sh) S 10607 10610 10321 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420115816 115843072 349 33554432000 4194304 5098028 140729804324080 140729804321336 140705572029052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12431360 140729804329764 140729804330092 140729804330092 140729804333005 0
/proc/10610/statm: 28282 349 296 221 0 87 0
[pid=10613] ppid=10610 vsize=27314120 memory=107392 CPUtime=0.11 cores=0-7
/proc/10613/stat : 10613 (java) S 10610 10610 10321 0 -1 1077944320 6442 0 0 0 8 3 0 0 20 0 20 0 420115816 27969658880 26848 33554432000 4194304 4196468 140720970631008 140720970613552 140485492375287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
/proc/10613/statm: 6828530 26848 2780 1 0 6790935 0
[pid=10613/tid=10614] ppid=10610 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/10613/task/10614/stat : 10614 (java) R 10610 10610 10321 0 -1 4202560 4561 0 0 0 6 2 0 0 20 0 20 0 420115817 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485464201616 140485476455700 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10615] ppid=10610 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10613/task/10615/stat : 10615 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485496617488 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10616] ppid=10610 vsize=27314120 memory=140531513321088 CPUtime=0 cores=0-7
/proc/10613/task/10616/stat : 10616 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485310773904 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10617] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10617/stat : 10617 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485309720848 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10618] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10618/stat : 10618 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485308668304 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10619] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10619/stat : 10619 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485307616272 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10620] ppid=10610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10613/task/10620/stat : 10620 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485306563728 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10621] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10621/stat : 10621 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485305510672 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10622] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10622/stat : 10622 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 26913 33554432000 4194304 4196468 140720970631008 140485304458128 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10623] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10623/stat : 10623 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 26913 33554432000 4194304 4196468 140720970631008 140483543144688 140485492386434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10624] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10624/stat : 10624 (java) S 10610 10610 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 26913 33554432000 4194304 4196468 140720970631008 140483414189216 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10625] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10625/stat : 10625 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 26913 33554432000 4194304 4196468 140720970631008 140483145753328 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10626] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10626/stat : 10626 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 26913 33554432000 4194304 4196468 140720970631008 140482771245008 140485492393883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10627] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10627/stat : 10627 (java) S 10610 10610 10321 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 26913 33554432000 4194304 4196468 140720970631008 140483542092528 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10628] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10628/stat : 10628 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 26913 33554432000 4194304 4196468 140720970631008 140483541039984 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10629] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10629/stat : 10629 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 26913 33554432000 4194304 4196468 140720970631008 140483539986928 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10630] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10630/stat : 10630 (java) S 10610 10610 10321 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 26913 33554432000 4194304 4196468 140720970631008 140483538934384 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10631] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10631/stat : 10631 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 26913 33554432000 4194304 4196468 140720970631008 140482273339872 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10632] ppid=10610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10613/task/10632/stat : 10632 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 26913 33554432000 4194304 4196468 140720970631008 140483537881776 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108788 KiB

[startup+0.21008 s]*
/proc/loadavg: 4.48 7.12 7.85 4/211 10632
/proc/meminfo: memFree=31149144/32770624 swapFree=67000592/67108860
[pid=10610] ppid=10607 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10610/stat : 10610 (scop.sh) S 10607 10610 10321 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420115816 115843072 349 33554432000 4194304 5098028 140729804324080 140729804321336 140705572029052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12431360 140729804329764 140729804330092 140729804330092 140729804333005 0
/proc/10610/statm: 28282 349 296 221 0 87 0
[pid=10613] ppid=10610 vsize=27314120 memory=126792 CPUtime=0.25 cores=0-7
/proc/10613/stat : 10613 (java) S 10610 10610 10321 0 -1 1077944320 12087 0 0 0 20 5 0 0 20 0 20 0 420115816 27969658880 31698 33554432000 4194304 4196468 140720970631008 140720970613552 140485492375287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
/proc/10613/statm: 6828530 31698 2922 1 0 6790935 0
[pid=10613/tid=10614] ppid=10610 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10613/task/10614/stat : 10614 (java) R 10610 10610 10321 0 -1 4202560 9819 0 0 0 15 4 0 0 20 0 20 0 420115817 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485464174672 140485475562090 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10615] ppid=10610 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10613/task/10615/stat : 10615 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485496617488 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10616] ppid=10610 vsize=27314120 memory=140531513331951 CPUtime=0 cores=0-7
/proc/10613/task/10616/stat : 10616 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485310773904 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10617] ppid=10610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10613/task/10617/stat : 10617 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485309720848 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10618] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10618/stat : 10618 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485308668304 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10619] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10619/stat : 10619 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485307616272 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10620] ppid=10610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10613/task/10620/stat : 10620 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485306563728 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10621] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10621/stat : 10621 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485305510672 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10622] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10622/stat : 10622 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 31698 33554432000 4194304 4196468 140720970631008 140485304458128 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10623] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10623/stat : 10623 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 31698 33554432000 4194304 4196468 140720970631008 140483543144688 140485492386434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10624] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10624/stat : 10624 (java) S 10610 10610 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 31698 33554432000 4194304 4196468 140720970631008 140483414189216 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10625] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10625/stat : 10625 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 31698 33554432000 4194304 4196468 140720970631008 140483145753328 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10626] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10626/stat : 10626 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 31698 33554432000 4194304 4196468 140720970631008 140482771245008 140485492393883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10627] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10627/stat : 10627 (java) S 10610 10610 10321 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 31698 33554432000 4194304 4196468 140720970631008 140483542092528 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10628] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10628/stat : 10628 (java) S 10610 10610 10321 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 31698 33554432000 4194304 4196468 140720970631008 140483541039984 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10629] ppid=10610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10613/task/10629/stat : 10629 (java) S 10610 10610 10321 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 31698 33554432000 4194304 4196468 140720970631008 140483539986928 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10630] ppid=10610 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10613/task/10630/stat : 10630 (java) S 10610 10610 10321 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 20 0 420115824 27969658880 31698 33554432000 4194304 4196468 140720970631008 140483538934384 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10631] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10631/stat : 10631 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 31698 33554432000 4194304 4196468 140720970631008 140482273339872 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10632] ppid=10610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10613/task/10632/stat : 10632 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 31698 33554432000 4194304 4196468 140720970631008 140483537881776 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128188 KiB

[startup+0.309303 s]*
/proc/loadavg: 4.48 7.12 7.85 2/211 10632
/proc/meminfo: memFree=31146228/32770624 swapFree=67000592/67108860
[pid=10610] ppid=10607 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10610/stat : 10610 (scop.sh) S 10607 10610 10321 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420115816 115843072 349 33554432000 4194304 5098028 140729804324080 140729804321336 140705572029052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12431360 140729804329764 140729804330092 140729804330092 140729804333005 0
/proc/10610/statm: 28282 349 296 221 0 87 0
[pid=10613] ppid=10610 vsize=27314120 memory=130132 CPUtime=0.42 cores=0-7
/proc/10613/stat : 10613 (java) S 10610 10610 10321 0 -1 1077944320 12425 0 0 0 37 5 0 0 20 0 20 0 420115816 27969658880 32533 33554432000 4194304 4196468 140720970631008 140720970613552 140485492375287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
/proc/10613/statm: 6828530 32533 3023 1 0 6790935 0
[pid=10613/tid=10614] ppid=10610 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10613/task/10614/stat : 10614 (java) R 10610 10610 10321 0 -1 4202560 9998 0 0 0 25 4 0 0 20 0 20 0 420115817 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485464160272 140485476455774 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10615] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10615/stat : 10615 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485496617488 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10616] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10616/stat : 10616 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485310773904 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10617] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10617/stat : 10617 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485309720848 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10618] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10618/stat : 10618 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485308668304 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10619] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10619/stat : 10619 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485307616272 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10620] ppid=10610 vsize=27314120 memory=140531397126831 CPUtime=0 cores=0-7
/proc/10613/task/10620/stat : 10620 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485306563728 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10621] ppid=10610 vsize=27314120 memory=140531397129136 CPUtime=0 cores=0-7
/proc/10613/task/10621/stat : 10621 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485305510672 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10622] ppid=10610 vsize=27314120 memory=140531397131440 CPUtime=0 cores=0-7
/proc/10613/task/10622/stat : 10622 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420115819 27969658880 32533 33554432000 4194304 4196468 140720970631008 140485304458128 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10623] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10623/stat : 10623 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 32533 33554432000 4194304 4196468 140720970631008 140483543144688 140485492386434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10624] ppid=10610 vsize=27314120 memory=281062794276752 CPUtime=0 cores=0-7
/proc/10613/task/10624/stat : 10624 (java) S 10610 10610 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 32533 33554432000 4194304 4196468 140720970631008 140483414189216 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10625] ppid=10610 vsize=27314120 memory=281062794274448 CPUtime=0 cores=0-7
/proc/10613/task/10625/stat : 10625 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115821 27969658880 32533 33554432000 4194304 4196468 140720970631008 140483145753328 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10626] ppid=10610 vsize=27314120 memory=281062794281360 CPUtime=0 cores=0-7
/proc/10613/task/10626/stat : 10626 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 32533 33554432000 4194304 4196468 140720970631008 140482771245008 140485492393883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10627] ppid=10610 vsize=27314120 memory=281062794222640 CPUtime=0.01 cores=0-7
/proc/10613/task/10627/stat : 10627 (java) S 10610 10610 10321 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 20 0 420115824 27969658880 32533 33554432000 4194304 4196468 140720970631008 140483542092528 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10628] ppid=10610 vsize=27314120 memory=281062794295184 CPUtime=0.01 cores=0-7
/proc/10613/task/10628/stat : 10628 (java) S 10610 10610 10321 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 20 0 420115824 27969658880 32533 33554432000 4194304 4196468 140720970631008 140483541039984 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10629] ppid=10610 vsize=27314120 memory=281062794302096 CPUtime=0 cores=0-7
/proc/10613/task/10629/stat : 10629 (java) S 10610 10610 10321 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 32533 33554432000 4194304 4196468 140720970631008 140483539986928 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10630] ppid=10610 vsize=27314120 memory=281062794299792 CPUtime=0.07 cores=0-7
/proc/10613/task/10630/stat : 10630 (java) S 10610 10610 10321 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 20 0 420115824 27969658880 32533 33554432000 4194304 4196468 140720970631008 140483538934384 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10631] ppid=10610 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10631/stat : 10631 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 32533 33554432000 4194304 4196468 140720970631008 140482273339872 140485492385493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10632] ppid=10610 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10613/task/10632/stat : 10632 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115824 27969658880 32533 33554432000 4194304 4196468 140720970631008 140483537881776 140485492386434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131528 KiB

[startup+0.700853 s]
/proc/loadavg: 4.48 7.12 7.85 2/211 10632
/proc/meminfo: memFree=31125252/32770624 swapFree=67000592/67108860
[pid=10610] ppid=10607 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10610/stat : 10610 (scop.sh) S 10607 10610 10321 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420115816 115843072 349 33554432000 4194304 5098028 140729804324080 140729804321336 140705572029052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12431360 140729804329764 140729804330092 140729804330092 140729804333005 0
/proc/10610/statm: 28282 349 296 221 0 87 0
[pid=10613] ppid=10610 vsize=27320392 memory=165560 CPUtime=1.01 cores=0-7
/proc/10613/stat : 10613 (java) S 10610 10610 10321 0 -1 1077944320 19991 0 0 0 92 9 0 0 20 0 20 0 420115816 27976081408 41390 33554432000 4194304 4196468 140720970631008 140720970613552 140485492375287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
/proc/10613/statm: 6830098 41390 3185 1 0 6791447 0
[pid=10613/tid=10614] ppid=10610 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/10613/task/10614/stat : 10614 (java) S 10610 10610 10321 0 -1 1077944384 16923 0 0 0 60 7 0 0 20 0 20 0 420115817 27976081408 41390 33554432000 4194304 4196468 140720970631008 140485464212736 140485492385493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10615] ppid=10610 vsize=27320392 memory=140531397337968 CPUtime=0 cores=0-7
/proc/10613/task/10615/stat : 10615 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115819 27976081408 41390 33554432000 4194304 4196468 140720970631008 140485496617488 140485492385493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10616] ppid=10610 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/10613/task/10616/stat : 10616 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420115819 27976081408 41390 33554432000 4194304 4196468 140720970631008 140485310773904 140485492385493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0
[pid=10613/tid=10617] ppid=10610 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/10613/task/10617/stat : 10617 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420115819 27976081408 41390 33554432000 4194304 4196468 140720970631008 140485309720848 140485492385493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37203968 140720970638058 140720970638486 140720970638486 140720970641359 0

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

/proc/10635/task/10640/stat : 10640 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685961297040 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10641] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10641/stat : 10641 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685960243472 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10642] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10642/stat : 10642 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685959190928 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10643] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10643/stat : 10643 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685958138384 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10644] ppid=10610 vsize=8414124 memory=4294967363 CPUtime=0 cores=0-7
/proc/10635/task/10644/stat : 10644 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685957085840 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10645] ppid=10610 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/10635/task/10645/stat : 10645 (java) S 10610 10610 10321 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420117345 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685907356144 139686478330498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10646] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10646/stat : 10646 (java) S 10610 10610 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420117346 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685087143328 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10647] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10647/stat : 10647 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117346 8616062976 30537 33554432000 4194304 4196468 140721915334832 139684818707952 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10648] ppid=10610 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/10635/task/10648/stat : 10648 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139684444199632 139686478337947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10649] ppid=10610 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/10635/task/10649/stat : 10649 (java) S 10610 10610 10321 0 -1 1077944384 663 0 0 0 7 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685906302960 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10650] ppid=10610 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/10635/task/10650/stat : 10650 (java) S 10610 10610 10321 0 -1 1077944384 673 0 0 0 11 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685905250416 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10651] ppid=10610 vsize=8414124 memory=31545 CPUtime=0.07 cores=0-7
/proc/10635/task/10651/stat : 10651 (java) S 10610 10610 10321 0 -1 1077944384 259 0 0 0 7 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685904197872 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10652] ppid=10610 vsize=8414124 memory=73 CPUtime=0.21 cores=0-7
/proc/10635/task/10652/stat : 10652 (java) S 10610 10610 10321 0 -1 1077944384 571 0 0 0 21 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685903145328 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10653] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10653/stat : 10653 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139683946293984 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10654] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10654/stat : 10654 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420117349 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685902093232 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10656] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10656/stat : 10656 (java) S 10610 10610 10321 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420117416 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685894059712 139686478343961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10658] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10658/stat : 10658 (java) S 10610 10610 10321 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420117417 8616062976 30537 33554432000 4194304 4196468 140721915334832 139683275193616 139686478341277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10659] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10659/stat : 10659 (java) S 10610 10610 10321 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 420117417 8616062976 30537 33554432000 4194304 4196468 140721915334832 139683543629200 139686478341277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10660] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10660/stat : 10660 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420117419 8616062976 30537 33554432000 4194304 4196468 140721915334832 139683006766256 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
Current children cumulated CPU time: 40.87 s
Current children cumulated vsize: 11262108 KiB
Current children cumulated memory: 2373064 KiB

[startup+26.0013 s]*
/proc/loadavg: 3.42 6.66 7.68 2/218 10676
/proc/meminfo: memFree=28823368/32770624 swapFree=67000592/67108860
[pid=10610] ppid=10607 vsize=113128 memory=1476 CPUtime=22.31 cores=0-7
/proc/10610/stat : 10610 (scop.sh) S 10607 10610 10321 0 -1 4202496 583 31866 0 0 0 0 2112 119 20 0 1 0 420115816 115843072 369 33554432000 4194304 5098028 140729804324080 140729804320824 140705572029052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12431360 140729804329764 140729804330092 140729804330092 140729804333005 0
/proc/10610/statm: 28282 369 311 221 0 87 0
[pid=10635] ppid=10610 vsize=8414124 memory=122148 CPUtime=1.27 cores=0-7
/proc/10635/stat : 10635 (java) S 10610 10610 10321 0 -1 1077944320 21340 0 0 0 120 7 0 0 20 0 24 0 420117342 8616062976 30537 33554432000 4194304 4196468 140721915334832 140721915317376 139686478319351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
/proc/10635/statm: 2103531 30537 3213 1 0 2064875 0
[pid=10655] ppid=10635 vsize=2718464 memory=2263072 CPUtime=19.41 cores=0-7
/proc/10655/stat : 10655 (manyglucose-4.1) S 10635 10610 10321 0 -1 1077944320 552943 0 0 0 1777 164 0 0 20 0 2 0 420117416 2783707136 565768 33554432000 4194304 4454172 140737231207920 140737231206304 140463589904119 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 38342656 140737231213417 140737231213616 140737231213616 140737231216570 0
/proc/10655/statm: 679616 565768 422 64 0 675284 0
[pid=10655/tid=10675] ppid=10635 vsize=2718464 memory=6935654753335332944 CPUtime=1.56 cores=0-7
/proc/10655/task/10675/stat : 10675 (manyglucose-4.1) R 10635 10610 10321 0 -1 4202560 32587 0 0 0 135 21 0 0 20 0 2 0 420118234 2783707136 565769 33554432000 4194304 4454172 140737231207920 140462135470888 4351797 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 38342656 140737231213417 140737231213616 140737231213616 140737231216570 0
[pid=10635/tid=10636] ppid=10610 vsize=8414124 memory=1398722017469774279 CPUtime=0.77 cores=0-7
/proc/10635/task/10636/stat : 10636 (java) S 10610 10610 10321 0 -1 1077944384 17777 0 0 0 72 5 0 0 20 0 24 0 420117342 8616062976 30537 33554432000 4194304 4196468 140721915334832 139686450159520 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10637] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10637/stat : 10637 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139686482561808 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10638] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10638/stat : 10638 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139686296718224 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10639] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10639/stat : 10639 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685962349584 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10640] ppid=10610 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10635/task/10640/stat : 10640 (java) S 10610 10610 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685961297040 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10641] ppid=10610 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/10635/task/10641/stat : 10641 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685960243472 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10642] ppid=10610 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/10635/task/10642/stat : 10642 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685959190928 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10643] ppid=10610 vsize=8414124 memory=964 CPUtime=0 cores=0-7
/proc/10635/task/10643/stat : 10643 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685958138384 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10644] ppid=10610 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/10635/task/10644/stat : 10644 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117344 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685957085840 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10645] ppid=10610 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/10635/task/10645/stat : 10645 (java) S 10610 10610 10321 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420117345 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685907356144 139686478330498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10646] ppid=10610 vsize=8414124 memory=20776 CPUtime=0 cores=0-7
/proc/10635/task/10646/stat : 10646 (java) S 10610 10610 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420117346 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685087143328 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10647] ppid=10610 vsize=8414124 memory=11852 CPUtime=0 cores=0-7
/proc/10635/task/10647/stat : 10647 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117346 8616062976 30537 33554432000 4194304 4196468 140721915334832 139684818707952 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10648] ppid=10610 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/10635/task/10648/stat : 10648 (java) S 10610 10610 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139684444199632 139686478337947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10649] ppid=10610 vsize=8414124 memory=1564 CPUtime=0.07 cores=0-7
/proc/10635/task/10649/stat : 10649 (java) S 10610 10610 10321 0 -1 1077944384 663 0 0 0 7 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685906302960 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10650] ppid=10610 vsize=8414124 memory=928 CPUtime=0.11 cores=0-7
/proc/10635/task/10650/stat : 10650 (java) S 10610 10610 10321 0 -1 1077944384 673 0 0 0 11 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685905250416 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10651] ppid=10610 vsize=8414124 memory=1980 CPUtime=0.07 cores=0-7
/proc/10635/task/10651/stat : 10651 (java) S 10610 10610 10321 0 -1 1077944384 259 0 0 0 7 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685904197872 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10652] ppid=10610 vsize=8414124 memory=1332 CPUtime=0.21 cores=0-7
/proc/10635/task/10652/stat : 10652 (java) S 10610 10610 10321 0 -1 1077944384 571 0 0 0 21 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685903145328 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10653] ppid=10610 vsize=8414124 memory=2648 CPUtime=0 cores=0-7
/proc/10635/task/10653/stat : 10653 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420117348 8616062976 30537 33554432000 4194304 4196468 140721915334832 139683946293984 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10654] ppid=10610 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/10635/task/10654/stat : 10654 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420117349 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685902093232 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10656] ppid=10610 vsize=8414124 memory=4026532047 CPUtime=0 cores=0-7
/proc/10635/task/10656/stat : 10656 (java) S 10610 10610 10321 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420117416 8616062976 30537 33554432000 4194304 4196468 140721915334832 139685894059712 139686478343961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10658] ppid=10610 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10635/task/10658/stat : 10658 (java) S 10610 10610 10321 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420117417 8616062976 30537 33554432000 4194304 4196468 140721915334832 139683275193616 139686478341277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10659] ppid=10610 vsize=8414124 memory=4580 CPUtime=0 cores=0-7
/proc/10635/task/10659/stat : 10659 (java) S 10610 10610 10321 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 420117417 8616062976 30537 33554432000 4194304 4196468 140721915334832 139683543629200 139686478341277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10660] ppid=10610 vsize=8414124 memory=6935656952358588496 CPUtime=0 cores=0-7
/proc/10635/task/10660/stat : 10660 (java) S 10610 10610 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420117419 8616062976 30537 33554432000 4194304 4196468 140721915334832 139683006766256 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
Current children cumulated CPU time: 42.99 s
Current children cumulated vsize: 11245716 KiB
Current children cumulated memory: 2386696 KiB

[startup+26.2012 s]
/proc/loadavg: 3.42 6.66 7.68 2/218 10676
/proc/meminfo: memFree=28823368/32770624 swapFree=67000592/67108860
[pid=10610] ppid=10607 vsize=113128 memory=1476 CPUtime=22.31 cores=0-7
/proc/10610/stat : 10610 (scop.sh) S 10607 10610 10321 0 -1 4202496 583 31866 0 0 0 0 2112 119 20 0 1 0 420115816 115843072 369 33554432000 4194304 5098028 140729804324080 140729804320824 140705572029052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12431360 140729804329764 140729804330092 140729804330092 140729804333005 0
/proc/10610/statm: 28282 369 311 221 0 87 0
[pid=10635] ppid=10610 vsize=8283048 memory=153628 CPUtime=21.21 cores=0-7
/proc/10635/stat : 10635 (java) S 10610 10610 10321 0 -1 1077944320 22685 553825 0 0 157 9 1782 173 20 0 22 0 420117342 8481841152 38407 33554432000 4194304 4196468 140721915334832 140721915317376 139686478319351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
/proc/10635/statm: 2070762 38407 3231 1 0 2032106 0
[pid=10635/tid=10636] ppid=10610 vsize=8283048 memory=-7824251494390717029 CPUtime=20.36 cores=0-7
/proc/10635/task/10636/stat : 10636 (java) R 10610 10610 10321 0 -1 4202560 17933 553825 0 0 76 5 1782 173 20 0 22 0 420117342 8481841152 38407 33554432000 4194304 4196468 140721915334832 139686450157104 139686459968299 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10637] ppid=10610 vsize=8283048 memory=6935651454800449616 CPUtime=19.55 cores=0-7
/proc/10635/task/10637/stat : 10637 (java) S 10610 10610 10321 0 -1 1077944384 1 553825 0 0 0 0 1782 173 20 0 22 0 420117344 8481841152 38407 33554432000 4194304 4196468 140721915334832 139686482561808 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10638] ppid=10610 vsize=8283048 memory=6935653653823705168 CPUtime=19.55 cores=0-7
/proc/10635/task/10638/stat : 10638 (java) S 10610 10610 10321 0 -1 1077944384 1 553825 0 0 0 0 1782 173 20 0 22 0 420117344 8481841152 38407 33554432000 4194304 4196468 140721915334832 139686296718224 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10639] ppid=10610 vsize=8283048 memory=6935655852846960720 CPUtime=19.55 cores=0-7
/proc/10635/task/10639/stat : 10639 (java) S 10610 10610 10321 0 -1 1077944384 1 553825 0 0 0 0 1782 173 20 0 22 0 420117344 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685962349584 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10640] ppid=10610 vsize=8283048 memory=6935654753335332944 CPUtime=19.55 cores=0-7
/proc/10635/task/10640/stat : 10640 (java) S 10610 10610 10321 0 -1 1077944384 2 553825 0 0 0 0 1782 173 20 0 22 0 420117344 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685961297040 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10641] ppid=10610 vsize=8283048 memory=4639622827774857296 CPUtime=19.55 cores=0-7
/proc/10635/task/10641/stat : 10641 (java) S 10610 10610 10321 0 -1 1077944384 3 553825 0 0 0 0 1782 173 20 0 22 0 420117344 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685960243472 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10642] ppid=10610 vsize=8283048 memory=6935652554312077392 CPUtime=19.55 cores=0-7
/proc/10635/task/10642/stat : 10642 (java) S 10610 10610 10321 0 -1 1077944384 1 553825 0 0 0 0 1782 173 20 0 22 0 420117344 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685959190928 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10643] ppid=10610 vsize=8283048 memory=6935652554312077392 CPUtime=19.55 cores=0-7
/proc/10635/task/10643/stat : 10643 (java) S 10610 10610 10321 0 -1 1077944384 1 553825 0 0 0 0 1782 173 20 0 22 0 420117344 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685958138384 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10644] ppid=10610 vsize=8283048 memory=7007708004876308560 CPUtime=19.55 cores=0-7
/proc/10635/task/10644/stat : 10644 (java) S 10610 10610 10321 0 -1 1077944384 1 553825 0 0 0 0 1782 173 20 0 22 0 420117344 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685957085840 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10645] ppid=10610 vsize=8283048 memory=4639074098508484693 CPUtime=19.55 cores=0-7
/proc/10635/task/10645/stat : 10645 (java) S 10610 10610 10321 0 -1 1077944384 5 553825 0 0 0 0 1782 173 20 0 22 0 420117345 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685907356144 139686478330498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10646] ppid=10610 vsize=8283048 memory=288230574492221466 CPUtime=19.55 cores=0-7
/proc/10635/task/10646/stat : 10646 (java) S 10610 10610 10321 0 -1 1077944384 13 553825 0 0 0 0 1782 173 20 0 22 0 420117346 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685087143328 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10647] ppid=10610 vsize=8283048 memory=288230596050944315 CPUtime=19.55 cores=0-7
/proc/10635/task/10647/stat : 10647 (java) S 10610 10610 10321 0 -1 1077944384 1 553825 0 0 0 0 1782 173 20 0 22 0 420117346 8481841152 38407 33554432000 4194304 4196468 140721915334832 139684818707952 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10648] ppid=10610 vsize=8283048 memory=15261432686053796 CPUtime=19.55 cores=0-7
/proc/10635/task/10648/stat : 10648 (java) S 10610 10610 10321 0 -1 1077944384 1 553825 0 0 0 0 1782 173 20 0 22 0 420117348 8481841152 38407 33554432000 4194304 4196468 140721915334832 139684444199632 139686478337947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10649] ppid=10610 vsize=8283048 memory=6791534058613427641 CPUtime=19.68 cores=0-7
/proc/10635/task/10649/stat : 10649 (java) S 10610 10610 10321 0 -1 1077944384 871 553825 0 0 13 0 1782 173 20 0 22 0 420117348 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685906302960 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10650] ppid=10610 vsize=8283048 memory=772 CPUtime=19.7 cores=0-7
/proc/10635/task/10650/stat : 10650 (java) R 10610 10610 10321 0 -1 4202560 747 553825 0 0 15 0 1782 173 20 0 22 0 420117348 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685905242368 139686464336064 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10651] ppid=10610 vsize=8283048 memory=1556 CPUtime=19.66 cores=0-7
/proc/10635/task/10651/stat : 10651 (java) S 10610 10610 10321 0 -1 1077944384 411 553825 0 0 11 0 1782 173 20 0 22 0 420117348 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685904197872 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10652] ppid=10610 vsize=8283048 memory=1056 CPUtime=19.82 cores=0-7
/proc/10635/task/10652/stat : 10652 (java) S 10610 10610 10321 0 -1 1077944384 1130 553825 0 0 27 0 1782 173 20 0 22 0 420117348 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685903145328 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10653] ppid=10610 vsize=8283048 memory=1224 CPUtime=19.55 cores=0-7
/proc/10635/task/10653/stat : 10653 (java) S 10610 10610 10321 0 -1 1077944384 3 553825 0 0 0 0 1782 173 20 0 22 0 420117348 8481841152 38407 33554432000 4194304 4196468 140721915334832 139683946293984 139686478329557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10654] ppid=10610 vsize=8283048 memory=5924 CPUtime=19.55 cores=0-7
/proc/10635/task/10654/stat : 10654 (java) S 10610 10610 10321 0 -1 1077944384 3 553825 0 0 0 0 1782 173 20 0 22 0 420117349 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685902093232 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10656] ppid=10610 vsize=8283048 memory=772 CPUtime=19.55 cores=0-7
/proc/10635/task/10656/stat : 10656 (java) S 10610 10610 10321 0 -1 1077944384 25 553825 0 0 0 0 1782 173 20 0 22 0 420117416 8481841152 38407 33554432000 4194304 4196468 140721915334832 139685894058896 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
[pid=10635/tid=10660] ppid=10610 vsize=8283048 memory=964 CPUtime=19.55 cores=0-7
/proc/10635/task/10660/stat : 10660 (java) S 10610 10610 10321 0 -1 1077944384 8 553825 0 0 0 0 1782 173 20 0 22 0 420117419 8481841152 38407 33554432000 4194304 4196468 140721915334832 139683006768048 139686478330498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11927552 140721915339767 140721915339926 140721915339926 140721915342799 0
Current children cumulated CPU time: 43.52 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 155104 KiB

Child status: 0
Real time (s): 26.2966
CPU time (s): 43.7496
CPU user time (s): 40.6992
CPU system time (s): 3.05043
CPU usage (%): 166.37
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 5924448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.6992
system time used= 3.05043
maximum resident set size= 5924164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 610321
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= 64345
involuntary context switches= 77


# summary of solver processes directly reported to runsolver:
#   pid: 10610
#   total CPU time (s): 43.7496
#   total CPU user time (s): 40.6992
#   total CPU system time (s): 3.05043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.188572 second user time and 0.330792 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 08:19:37
IDJOB=4392630
IDBENCH=138454
IDSOLVER=2839
FILE ID=node146/4392630-1568442018
RUNJOBID= node146-1568441917-10348
PBS_JOBID= 21702343
Free space on /tmp= 59032 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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-4392630-1568442018/watcher-4392630-1568442018 -o /tmp/evaluation-result-4392630-1568442018/solver-4392630-1568442018 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568441917-10348 --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-4392630-1568442018.xml

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

MD5SUM BENCH= 5dc18f9bddc2dfff84e0f90fec56ce3b
RANDOM SEED=541814443

node146.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.90
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.90
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.90
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.90
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:        31267164 kB
MemAvailable:   31880376 kB
Buffers:          193124 kB
Cached:           683868 kB
SwapCached:         4768 kB
Active:           504004 kB
Inactive:         378864 kB
Active(anon):      22288 kB
Inactive(anon):    22012 kB
Active(file):     481716 kB
Inactive(file):   356852 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000592 kB
Dirty:             20576 kB
Writeback:             0 kB
AnonPages:        113904 kB
Mapped:            42220 kB
Shmem:             29936 kB
Slab:             211080 kB
SReclaimable:     180956 kB
SUnreclaim:        30124 kB
KernelStack:        3600 kB
PageTables:         5884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 08:20:04