Trace number 4405190

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 45.4812 28.1562

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11734-serial-file.bin HOME/instance-4405190-1569357766.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 21:32:24 CEST 2019
0.65/0.57	c PID: 11737
0.65/0.57	c IP: 172.20.3.104
0.65/0.57	c HOST: node104.alineos.net
0.65/0.57	c (0,0) Parsing Begin
4.30/1.56	c (1,1) Parsing End
4.30/1.56	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
4.30/1.56	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.30/1.56	c (1,1) Constraint Name Generate Begin
4.30/1.59	c (1,1) Ctr:HOME/instance-4405190-1569357766.xml,Add:Le:Ne:Num:Or:Var
4.30/1.59	c (1,1) Constraint Name Generate End
4.30/1.59	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.30/1.59	c (1,1) CSP to CSPinCNF Begin
5.35/1.82	c (1,1) translated 280 (10%) constraints
5.35/1.87	c (1,1) translated 560 (20%) constraints
6.09/2.10	c (1,1) translated 840 (30%) constraints
6.09/2.10	c (1,1) translated 1120 (40%) constraints
6.09/2.10	c (1,1) translated 1400 (50%) constraints
6.09/2.10	c (1,1) translated 1680 (60%) constraints
6.09/2.10	c (1,1) translated 1960 (70%) constraints
6.09/2.10	c (1,1) translated 2240 (80%) constraints
6.09/2.10	c (1,1) translated 2520 (90%) constraints
6.09/2.10	c (1,1) translated 2800 (100%) constraints
6.09/2.10	c (1,1) ===========================================
6.09/2.10	c (1,1) Order
6.09/2.10	c (1,1) ===========================================
6.09/2.10	c (1,1) translated 280 (10%) constraints
6.09/2.10	c (1,1) translated 560 (20%) constraints
6.51/2.11	c (1,1) translated 840 (30%) constraints
6.51/2.12	c (1,1) translated 1120 (40%) constraints
6.51/2.13	c (1,1) translated 1400 (50%) constraints
6.51/2.14	c (1,1) translated 1680 (60%) constraints
6.51/2.16	c (1,1) translated 1960 (70%) constraints
6.51/2.17	c (1,1) translated 2240 (80%) constraints
6.51/2.18	c (1,1) translated 2520 (90%) constraints
6.51/2.19	c (1,1) translated 2800 (100%) constraints
6.51/2.20	c (1,1) CSP to CSPinCNF End
6.51/2.20	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
6.51/2.20	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.51/2.20	c (1,1) CSPinCNF Propagation Begin
6.88/2.26	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.88/2.26	c (1,1) CSPinCNF Propagation End
6.88/2.26	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
6.88/2.26	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.88/2.26	c (1,1) Simplify CSPinCNF Begin
7.57/2.45	c (1,1) Simplify CSPinCNF End
7.57/2.45	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 616
7.57/2.45	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.57/2.45	c (1,1) Calculate Precise Domain Begin
7.57/2.45	c (1,1) 0 values are removed by re-calculation
7.57/2.45	c (1,1) Calculate Precise Domain End
7.57/2.46	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 616
7.57/2.46	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.57/2.46	c (1,1) CSPinCNF to SatSolver Begin
10.92/4.32	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 397612 SAT clauses)
12.46/5.81	c (5,5) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 693330 SAT clauses)
13.92/7.29	c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 986856 SAT clauses)
15.44/8.75	c (8,8) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1279884 SAT clauses)
17.13/10.21	c (9,9) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1568199 SAT clauses)
18.34/11.49	c (10,10) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1856923 SAT clauses)
19.67/12.79	c (12,12) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2149012 SAT clauses)
21.03/14.08	c (13,13) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2441082 SAT clauses)
22.33/15.39	c (14,14) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2737413 SAT clauses)
23.97/16.76	c (16,16) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3042731 SAT clauses)
23.97/16.76	c (16,16) CSPinCNF to SatSolver End
23.97/16.76	c (16,16) Heap : 354 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.97/16.76	c (16,16) 119198 bool, 3043288 clause
23.97/16.76	c (16,16) Export Begin
24.09/16.86	c (16,16) Export to HOME/scop-11734-serial-file.bin
24.09/16.86	c (16,16) Export End
24.26/17.06	c (16,16) Export File Size: 0.03 MB
24.26/17.06	c (16,16) 1,1,1,1,1,1,16,STOP-AFTER(DIMACS)
24.26/17.06	c END-Prog: Tue Sep 24 21:32:40 CEST 2019
24.26/17.09	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11734-serial-file.bin
24.30/17.56	c (0,0) Read Serial File Begin
24.30/17.56	c (0,0) HOME/scop-11734-serial-file.bin
24.30/17.77	c (0,0) Read Serial File End
24.30/17.79	
24.30/17.79	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
24.30/17.79	(Solving Process)
24.30/17.79	
24.30/17.81	c BEGIN-Prog: Tue Sep 24 21:32:41 CEST 2019
24.30/17.81	c PID: 11757
24.30/17.81	c IP: 172.20.3.104
24.30/17.81	c HOST: node104.alineos.net
24.30/17.81	c (0,0) SatSolver.solve Begin
24.30/17.81	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405190-1569357766.xml-scop-11737.cnf
24.30/17.84	c (0,0) c
24.30/17.84	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)
24.30/17.84	c (0,0) c
24.30/17.84	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
24.30/17.84	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
24.30/17.84	c (0,0) c ========================================[ Problem Statistics ]===========================================
24.30/17.84	c (0,0) c |                                                                                                       |
26.60/18.92	c (1,0) c |  Number of variables:        119198                                                                   |
26.60/18.92	c (1,0) c |  Number of clauses:         3043288                                                                   |
26.60/18.92	c (1,0) c |  Parse time:                   0.99 s                                                                 |
26.60/18.92	c (1,0) c |                                                                                                       |
32.91/25.23	c (7,0) c |  Simplification time:          6.21 s                                                                 |
32.91/25.23	c (7,0) c |                                                                                                       |
32.91/25.23	c (7,0) c |  Generating clones                                                                                    |
33.71/26.07	c (8,0) c |  all clones generated. Memory =  2094.73Mb.                                                           |
33.71/26.07	c (8,0) c ========================================================================================================|
33.71/26.07	c (8,0) c
33.71/26.07	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
33.71/26.07	c (8,0) c
33.71/26.07	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.71/26.07	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
33.71/26.07	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
33.71/26.07	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
33.71/26.07	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
33.71/26.07	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
33.71/26.07	c (8,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
33.71/26.07	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
33.71/26.07	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
33.71/26.07	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
33.71/26.07	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
33.71/26.07	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
33.71/26.07	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
33.71/26.07	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
33.71/26.07	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
33.71/26.07	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
33.71/26.07	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
33.71/26.07	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
33.71/26.07	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.87	c (10,0) c
44.63/27.87	c (10,0) c real time : 10.0357 s
44.63/27.87	c (10,0) c cpu time  : 17.6658 s
44.63/27.87	c (10,0) c
44.63/27.87	c (10,0) c
44.63/27.87	c (10,0) c
44.63/27.87	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
44.63/27.87	c (10,0) c
44.63/27.87	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.87	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
44.63/27.87	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.87	c (10,0) c | Conflicts     |            3374 |        429 |        303 |        356 |        379 |        366 |        223 |        311 |       1007 |
44.63/27.87	c (10,0) c | Decisions     |           18628 |        986 |       1031 |        986 |       3612 |       3310 |       5923 |       1177 |       1603 |
44.63/27.87	c (10,0) c | Propagations  |         8497267 |    1000406 |     917887 |     896871 |    1082631 |    1138712 |     936932 |    1028671 |    1495157 |
44.63/27.87	c (10,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
44.63/27.87	c (10,0) c | Restarts      |              19 |          3 |          2 |          2 |          2 |          3 |          2 |          4 |          1 |
44.63/27.87	c (10,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | PropBinClauses|         9632690 |    1125990 |    1026634 |    1066479 |    1243016 |    1285513 |    1009667 |    1140568 |    1734823 |
44.63/27.87	c (10,0) c | PropPreBlocker|       186349875 |   20067958 |   20579005 |   20708272 |   24810833 |   25721898 |   21831742 |   22783009 |   29847158 |
44.63/27.87	c (10,0) c | PropNotBlocker|        60982216 |    7481448 |    7406038 |    7213933 |    8064117 |    7754354 |    6305785 |    8268391 |    8488150 |
44.63/27.87	c (10,0) c | LitFullScans  |       266635233 |   30013606 |   30005999 |   30032020 |   35290742 |   36001183 |   30049964 |   33232397 |   42009322 |
44.63/27.87	c (10,0) c | LitScanFracts |           14917 |       5081 |       3690 |        452 |        969 |       1183 |        836 |       1717 |        989 |
44.63/27.87	c (10,0) c | DecisionLevel0|              19 |          3 |          2 |          2 |          2 |          3 |          2 |          4 |          1 |
44.63/27.87	c (10,0) c | Periods       |              43 |          5 |          5 |          5 |          5 |          6 |          5 |          5 |          7 |
44.63/27.87	c (10,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
44.63/27.87	c (10,0) c | Avg_Trail     |                 |      36542 |      42067 |      35073 |      40480 |      59813 |      52655 |      44576 |      38306 |
44.63/27.87	c (10,0) c | Avg_DL        |                 |        155 |        134 |         89 |         96 |        109 |        134 |        107 |         76 |
44.63/27.87	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.87	c (10,0) c | Exported      |             220 |         22 |         13 |         24 |         34 |         30 |         18 |         22 |         57 |
44.63/27.87	c (10,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.87	c (10,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
44.63/27.87	c (10,0) c | Glues         |                 |         22 |         13 |         24 |         34 |         30 |         18 |         22 |         57 |
44.63/27.87	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.87	c (10,0) c | Orig_Seen     |             0 % |       4248 |       3754 |       3783 |       4314 |       4632 |       2643 |       4074 |       7225 |
44.63/27.87	c (10,0) c | Diff Orig seen|                 | -       66 | -      560 | -      531 |      X     |        318 | -     1671 | -      240 |       2911 |
44.63/27.87	c (10,0) c | Hamming       |            34 % |      37652 |      43752 |      38799 |      X     |      43335 |      44768 |      37615 |      43674 |
44.63/27.87	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.87	c (10,0) c | RunningTime   |                 |    1.7 100%|    1.8 100%|    1.7 100%|    1.6 100%|    1.6 100%|    1.7 100%|    1.6 100%|    1.6 100%|
44.63/27.87	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%|
44.63/27.87	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%|
44.63/27.87	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%|
44.63/27.87	c (10,0) c | SolvingTime   |                 |    1.7     |    1.8     |    1.7     |    1.6     |    1.6     |    1.7     |    1.6     |    1.6     |
44.63/27.87	c (10,0) c | PropagationTim|                 |    1.7  97%|    1.8  98%|    1.7  98%|    1.5  98%|    1.5  98%|    1.7  98%|    1.6  98%|    1.6  97%|
44.63/27.87	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%|
44.63/27.87	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%|
44.63/27.87	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%|
44.63/27.87	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%|
44.63/27.87	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%|
44.63/27.87	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.87	c (10,0) c
44.63/27.87	c (10,0) c
44.63/27.87	c (10,0) c Threads : 8
44.63/27.87	c (10,0) c Winner : 3
44.63/27.87	c (10,0) c Conflicts_0 : 429
44.63/27.87	c (10,0) c Conflicts_1 : 303
44.63/27.88	c (10,0) c Conflicts_2 : 356
44.63/27.88	c (10,0) c Conflicts_3 : 379
44.63/27.88	c (10,0) c Conflicts_4 : 366
44.63/27.88	c (10,0) c Conflicts_5 : 223
44.63/27.88	c (10,0) c Conflicts_6 : 311
44.63/27.88	c (10,0) c Conflicts_7 : 1007
44.63/27.88	c (10,0) c Conflicts_total : 3374
44.63/27.88	c (10,0) c Conflicts_winner : 379
44.63/27.88	c (10,0) c Decisions_0 : 986
44.63/27.88	c (10,0) c Decisions_1 : 1031
44.63/27.88	c (10,0) c Decisions_2 : 986
44.63/27.88	c (10,0) c Decisions_3 : 3612
44.63/27.88	c (10,0) c Decisions_4 : 3310
44.63/27.88	c (10,0) c Decisions_5 : 5923
44.63/27.88	c (10,0) c Decisions_6 : 1177
44.63/27.88	c (10,0) c Decisions_7 : 1603
44.63/27.88	c (10,0) c Decisions_total : 18628
44.63/27.88	c (10,0) c Decisions_winner : 3612
44.63/27.88	c (10,0) c Propagations_0 : 1000406
44.63/27.88	c (10,0) c Propagations_1 : 917887
44.63/27.88	c (10,0) c Propagations_2 : 896871
44.63/27.88	c (10,0) c Propagations_3 : 1082631
44.63/27.88	c (10,0) c Propagations_4 : 1138712
44.63/27.88	c (10,0) c Propagations_5 : 936932
44.63/27.88	c (10,0) c Propagations_6 : 1028671
44.63/27.88	c (10,0) c Propagations_7 : 1495157
44.63/27.88	c (10,0) c Propagations_total : 8497267
44.63/27.88	c (10,0) c Propagations_winner : 1082631
44.63/27.88	c (10,0) c ReduceDBs_0 : 0
44.63/27.88	c (10,0) c ReduceDBs_1 : 0
44.63/27.88	c (10,0) c ReduceDBs_2 : 0
44.63/27.88	c (10,0) c ReduceDBs_3 : 0
44.63/27.88	c (10,0) c ReduceDBs_4 : 0
44.63/27.88	c (10,0) c ReduceDBs_5 : 0
44.63/27.88	c (10,0) c ReduceDBs_6 : 0
44.63/27.88	c (10,0) c ReduceDBs_7 : 0
44.63/27.88	c (10,0) c ReduceDBs_total : 0
44.63/27.88	c (10,0) c ReduceDBs_winner : 0
44.63/27.88	c (10,0) c SimpDBs_0 : 1
44.63/27.88	c (10,0) c SimpDBs_1 : 1
44.63/27.88	c (10,0) c SimpDBs_2 : 1
44.63/27.88	c (10,0) c SimpDBs_3 : 1
44.63/27.88	c (10,0) c SimpDBs_4 : 1
44.63/27.88	c (10,0) c SimpDBs_5 : 1
44.63/27.88	c (10,0) c SimpDBs_6 : 1
44.63/27.88	c (10,0) c SimpDBs_7 : 1
44.63/27.88	c (10,0) c SimpDBs_total : 8
44.63/27.88	c (10,0) c SimpDBs_winner : 1
44.63/27.88	c (10,0) c Restarts_0 : 3
44.63/27.88	c (10,0) c Restarts_1 : 2
44.63/27.88	c (10,0) c Restarts_2 : 2
44.63/27.88	c (10,0) c Restarts_3 : 2
44.63/27.88	c (10,0) c Restarts_4 : 3
44.63/27.88	c (10,0) c Restarts_5 : 2
44.63/27.88	c (10,0) c Restarts_6 : 4
44.63/27.88	c (10,0) c Restarts_7 : 1
44.63/27.88	c (10,0) c Restarts_total : 19
44.63/27.88	c (10,0) c Restarts_winner : 2
44.63/27.88	c (10,0) c ForcedImports_0 : 0
44.63/27.88	c (10,0) c ForcedImports_1 : 0
44.63/27.88	c (10,0) c ForcedImports_2 : 0
44.63/27.88	c (10,0) c ForcedImports_3 : 0
44.63/27.88	c (10,0) c ForcedImports_4 : 0
44.63/27.88	c (10,0) c ForcedImports_5 : 0
44.63/27.88	c (10,0) c ForcedImports_6 : 0
44.63/27.88	c (10,0) c ForcedImports_7 : 0
44.63/27.88	c (10,0) c ForcedImports_total : 0
44.63/27.88	c (10,0) c ForcedImports_winner : 0
44.63/27.88	c (10,0) c PropsBinClauses_0 : 1125990
44.63/27.88	c (10,0) c PropsBinClauses_1 : 1026634
44.63/27.88	c (10,0) c PropsBinClauses_2 : 1066479
44.63/27.88	c (10,0) c PropsBinClauses_3 : 1243016
44.63/27.88	c (10,0) c PropsBinClauses_4 : 1285513
44.63/27.88	c (10,0) c PropsBinClauses_5 : 1009667
44.63/27.88	c (10,0) c PropsBinClauses_6 : 1140568
44.63/27.88	c (10,0) c PropsBinClauses_7 : 1734823
44.63/27.88	c (10,0) c PropsBinClauses_total : 9632690
44.63/27.88	c (10,0) c PropsBinClauses_winner : 1243016
44.63/27.88	c (10,0) c PropsPreBlocker_0 : 20067958
44.63/27.88	c (10,0) c PropsPreBlocker_1 : 20579005
44.63/27.88	c (10,0) c PropsPreBlocker_2 : 20708272
44.63/27.88	c (10,0) c PropsPreBlocker_3 : 24810833
44.63/27.88	c (10,0) c PropsPreBlocker_4 : 25721898
44.63/27.88	c (10,0) c PropsPreBlocker_5 : 21831742
44.63/27.88	c (10,0) c PropsPreBlocker_6 : 22783009
44.63/27.88	c (10,0) c PropsPreBlocker_7 : 29847158
44.63/27.88	c (10,0) c PropsPreBlocker_total : 186349875
44.63/27.88	c (10,0) c PropsPreBlocker_winner : 24810833
44.63/27.88	c (10,0) c PropsNotBlocker_0 : 7481448
44.63/27.88	c (10,0) c PropsNotBlocker_1 : 7406038
44.63/27.88	c (10,0) c PropsNotBlocker_2 : 7213933
44.63/27.88	c (10,0) c PropsNotBlocker_3 : 8064117
44.63/27.88	c (10,0) c PropsNotBlocker_4 : 7754354
44.63/27.88	c (10,0) c PropsNotBlocker_5 : 6305785
44.63/27.88	c (10,0) c PropsNotBlocker_6 : 8268391
44.63/27.88	c (10,0) c PropsNotBlocker_7 : 8488150
44.63/27.88	c (10,0) c PropsNotBlocker_total : 60982216
44.63/27.88	c (10,0) c PropsNotBlocker_winner : 8064117
44.63/27.88	c (10,0) c PropsLitFullScans_0 : 30013606
44.63/27.88	c (10,0) c PropsLitFullScans_1 : 30005999
44.63/27.88	c (10,0) c PropsLitFullScans_2 : 30032020
44.63/27.88	c (10,0) c PropsLitFullScans_3 : 35290742
44.63/27.88	c (10,0) c PropsLitFullScans_4 : 36001183
44.63/27.88	c (10,0) c PropsLitFullScans_5 : 30049964
44.63/27.88	c (10,0) c PropsLitFullScans_6 : 33232397
44.63/27.88	c (10,0) c PropsLitFullScans_7 : 42009322
44.63/27.88	c (10,0) c PropsLitFullScans_total : 266635233
44.63/27.88	c (10,0) c PropsLitFullScans_winner : 35290742
44.63/27.88	c (10,0) c LitScanFractions_0 : 5081
44.63/27.88	c (10,0) c LitScanFractions_1 : 3690
44.63/27.88	c (10,0) c LitScanFractions_2 : 452
44.63/27.88	c (10,0) c LitScanFractions_3 : 969
44.63/27.88	c (10,0) c LitScanFractions_4 : 1183
44.63/27.88	c (10,0) c LitScanFractions_5 : 836
44.63/27.88	c (10,0) c LitScanFractions_6 : 1717
44.63/27.88	c (10,0) c LitScanFractions_7 : 989
44.63/27.88	c (10,0) c LitScanFractions_total : 14917
44.63/27.88	c (10,0) c LitScanFractions_winner : 969
44.63/27.88	c (10,0) c DecisionLevel0_0 : 3
44.63/27.88	c (10,0) c DecisionLevel0_1 : 2
44.63/27.88	c (10,0) c DecisionLevel0_2 : 2
44.63/27.88	c (10,0) c DecisionLevel0_3 : 2
44.63/27.88	c (10,0) c DecisionLevel0_4 : 3
44.63/27.88	c (10,0) c DecisionLevel0_5 : 2
44.63/27.88	c (10,0) c DecisionLevel0_6 : 4
44.63/27.88	c (10,0) c DecisionLevel0_7 : 1
44.63/27.88	c (10,0) c DecisionLevel0_total : 19
44.63/27.88	c (10,0) c DecisionLevel0_winner : 2
44.63/27.88	c (10,0) c Periods_0 : 5
44.63/27.88	c (10,0) c Periods_1 : 5
44.63/27.88	c (10,0) c Periods_2 : 5
44.63/27.88	c (10,0) c Periods_3 : 5
44.63/27.88	c (10,0) c Periods_4 : 6
44.63/27.88	c (10,0) c Periods_5 : 5
44.63/27.88	c (10,0) c Periods_6 : 5
44.63/27.88	c (10,0) c Periods_7 : 7
44.63/27.88	c (10,0) c Periods_total : 43
44.63/27.88	c (10,0) c Periods_winner : 5
44.63/27.88	c (10,0) c Margin_0 : 20
44.63/27.88	c (10,0) c Margin_1 : 20
44.63/27.88	c (10,0) c Margin_2 : 20
44.63/27.88	c (10,0) c Margin_3 : 20
44.63/27.88	c (10,0) c Margin_4 : 20
44.63/27.88	c (10,0) c Margin_5 : 20
44.63/27.88	c (10,0) c Margin_6 : 20
44.63/27.88	c (10,0) c Margin_7 : 20
44.63/27.88	c (10,0) c Margin_total : 160
44.63/27.88	c (10,0) c Margin_winner : 20
44.63/27.88	c (10,0) c Exported_0 : 22
44.63/27.88	c (10,0) c Exported_1 : 13
44.63/27.88	c (10,0) c Exported_2 : 24
44.63/27.88	c (10,0) c Exported_3 : 34
44.63/27.88	c (10,0) c Exported_4 : 30
44.63/27.88	c (10,0) c Exported_5 : 18
44.63/27.88	c (10,0) c Exported_6 : 22
44.63/27.88	c (10,0) c Exported_7 : 57
44.63/27.88	c (10,0) c Exported_total : 220
44.63/27.88	c (10,0) c Exported_winner : 34
44.63/27.88	c (10,0) c Imported_0 : 0
44.63/27.88	c (10,0) c Imported_1 : 0
44.63/27.88	c (10,0) c Imported_2 : 0
44.63/27.88	c (10,0) c Imported_3 : 0
44.63/27.88	c (10,0) c Imported_4 : 0
44.63/27.88	c (10,0) c Imported_5 : 0
44.63/27.88	c (10,0) c Imported_6 : 0
44.63/27.88	c (10,0) c Imported_7 : 0
44.63/27.88	c (10,0) c Imported_total : 0
44.63/27.88	c (10,0) c Imported_winner : 0
44.63/27.88	c (10,0) c Good_0 : 0
44.63/27.88	c (10,0) c Good_1 : 0
44.63/27.88	c (10,0) c Good_2 : 0
44.63/27.88	c (10,0) c Good_3 : 0
44.63/27.88	c (10,0) c Good_4 : 0
44.63/27.88	c (10,0) c Good_5 : 0
44.63/27.88	c (10,0) c Good_6 : 0
44.63/27.88	c (10,0) c Good_7 : 0
44.63/27.88	c (10,0) c Good_total : 0
44.63/27.88	c (10,0) c Good_winner : 0
44.63/27.88	c (10,0) c Purge_0 : 0
44.63/27.88	c (10,0) c Purge_1 : 0
44.63/27.88	c (10,0) c Purge_2 : 0
44.63/27.88	c (10,0) c Purge_3 : 0
44.63/27.88	c (10,0) c Purge_4 : 0
44.63/27.88	c (10,0) c Purge_5 : 0
44.63/27.88	c (10,0) c Purge_6 : 0
44.63/27.88	c (10,0) c Purge_7 : 0
44.63/27.88	c (10,0) c Purge_total : 0
44.63/27.88	c (10,0) c Purge_winner : 0
44.63/27.88	c (10,0) c Promoted_0 : 0
44.63/27.88	c (10,0) c Promoted_1 : 0
44.63/27.88	c (10,0) c Promoted_2 : 0
44.63/27.88	c (10,0) c Promoted_3 : 0
44.63/27.88	c (10,0) c Promoted_4 : 0
44.63/27.88	c (10,0) c Promoted_5 : 0
44.63/27.88	c (10,0) c Promoted_6 : 0
44.63/27.88	c (10,0) c Promoted_7 : 0
44.63/27.88	c (10,0) c Promoted_total : 0
44.63/27.88	c (10,0) c Promoted_winner : 0
44.63/27.88	c (10,0) c Remove_Imp_0 : 0
44.63/27.88	c (10,0) c Remove_Imp_1 : 0
44.63/27.88	c (10,0) c Remove_Imp_2 : 0
44.63/27.88	c (10,0) c Remove_Imp_3 : 0
44.63/27.88	c (10,0) c Remove_Imp_4 : 0
44.63/27.88	c (10,0) c Remove_Imp_5 : 0
44.63/27.88	c (10,0) c Remove_Imp_6 : 0
44.63/27.88	c (10,0) c Remove_Imp_7 : 0
44.63/27.88	c (10,0) c Remove_Imp_total : 0
44.63/27.88	c (10,0) c Remove_Imp_winner : 0
44.63/27.88	c (10,0) c Blocked_Reuse_0 : 0
44.63/27.88	c (10,0) c Blocked_Reuse_1 : 0
44.63/27.88	c (10,0) c Blocked_Reuse_2 : 0
44.63/27.88	c (10,0) c Blocked_Reuse_3 : 0
44.63/27.88	c (10,0) c Blocked_Reuse_4 : 0
44.63/27.88	c (10,0) c Blocked_Reuse_5 : 0
44.63/27.88	c (10,0) c Blocked_Reuse_6 : 0
44.63/27.88	c (10,0) c Blocked_Reuse_7 : 0
44.63/27.89	c (10,0) c Blocked_Reuse_total : 0
44.63/27.89	c (10,0) c Blocked_Reuse_winner : 0
44.63/27.89	c (10,0) c Unaries_0 : 0
44.63/27.89	c (10,0) c Unaries_1 : 0
44.63/27.89	c (10,0) c Unaries_2 : 0
44.63/27.89	c (10,0) c Unaries_3 : 0
44.63/27.89	c (10,0) c Unaries_4 : 0
44.63/27.89	c (10,0) c Unaries_5 : 0
44.63/27.89	c (10,0) c Unaries_6 : 0
44.63/27.89	c (10,0) c Unaries_7 : 0
44.63/27.89	c (10,0) c Unaries_total : 0
44.63/27.89	c (10,0) c Unaries_winner : 0
44.63/27.89	c (10,0) c Binaries_0 : 0
44.63/27.89	c (10,0) c Binaries_1 : 0
44.63/27.89	c (10,0) c Binaries_2 : 0
44.63/27.89	c (10,0) c Binaries_3 : 0
44.63/27.89	c (10,0) c Binaries_4 : 0
44.63/27.89	c (10,0) c Binaries_5 : 0
44.63/27.89	c (10,0) c Binaries_6 : 0
44.63/27.89	c (10,0) c Binaries_7 : 0
44.63/27.89	c (10,0) c Binaries_total : 0
44.63/27.89	c (10,0) c Binaries_winner : 0
44.63/27.89	c (10,0) c Glues_0 : 22
44.63/27.89	c (10,0) c Glues_1 : 13
44.63/27.89	c (10,0) c Glues_2 : 24
44.63/27.89	c (10,0) c Glues_3 : 34
44.63/27.89	c (10,0) c Glues_4 : 30
44.63/27.89	c (10,0) c Glues_5 : 18
44.63/27.89	c (10,0) c Glues_6 : 22
44.63/27.89	c (10,0) c Glues_7 : 57
44.63/27.89	c (10,0) c Glues_total : 220
44.63/27.89	c (10,0) c Glues_winner : 34
44.63/27.89	c (10,0) c RunningTime_0 : 1.712367
44.63/27.89	c (10,0) c RunningTime_1 : 1.796493
44.63/27.89	c (10,0) c RunningTime_2 : 1.698220
44.63/27.89	c (10,0) c RunningTime_3 : 1.569693
44.63/27.89	c (10,0) c RunningTime_4 : 1.573674
44.63/27.89	c (10,0) c RunningTime_5 : 1.726641
44.63/27.89	c (10,0) c RunningTime_6 : 1.632968
44.63/27.89	c (10,0) c RunningTime_7 : 1.604448
44.63/27.89	c (10,0) c RunningTime_total : 13.314503
44.63/27.89	c (10,0) c RunningTime_winner : 1.569693
44.63/27.89	c (10,0) c WaitingTime_0 : 0.000000
44.63/27.89	c (10,0) c WaitingTime_1 : 0.000000
44.63/27.89	c (10,0) c WaitingTime_2 : 0.000000
44.63/27.89	c (10,0) c WaitingTime_3 : 0.000000
44.63/27.89	c (10,0) c WaitingTime_4 : 0.000000
44.63/27.89	c (10,0) c WaitingTime_5 : 0.000000
44.63/27.89	c (10,0) c WaitingTime_6 : 0.000000
44.63/27.89	c (10,0) c WaitingTime_7 : 0.000000
44.63/27.89	c (10,0) c WaitingTime_total : 0.000000
44.63/27.89	c (10,0) c WaitingTime_winner : 0.000000
44.63/27.89	c (10,0) c ExchangingTime_0 : 0.000229
44.63/27.89	c (10,0) c ExchangingTime_1 : 0.000148
44.63/27.89	c (10,0) c ExchangingTime_2 : 0.000249
44.63/27.89	c (10,0) c ExchangingTime_3 : 0.000178
44.63/27.89	c (10,0) c ExchangingTime_4 : 0.000165
44.63/27.89	c (10,0) c ExchangingTime_5 : 0.000127
44.63/27.89	c (10,0) c ExchangingTime_6 : 0.000126
44.63/27.89	c (10,0) c ExchangingTime_7 : 0.000284
44.63/27.89	c (10,0) c ExchangingTime_total : 0.001506
44.63/27.89	c (10,0) c ExchangingTime_winner : 0.000178
44.63/27.89	c (10,0) c PeriodProcTime_0 : 0.000069
44.63/27.89	c (10,0) c PeriodProcTime_1 : 0.000102
44.63/27.89	c (10,0) c PeriodProcTime_2 : 0.000144
44.63/27.89	c (10,0) c PeriodProcTime_3 : 0.000073
44.63/27.89	c (10,0) c PeriodProcTime_4 : 0.000076
44.63/27.89	c (10,0) c PeriodProcTime_5 : 0.000102
44.63/27.89	c (10,0) c PeriodProcTime_6 : 0.000147
44.63/27.89	c (10,0) c PeriodProcTime_7 : 0.000134
44.63/27.89	c (10,0) c PeriodProcTime_total : 0.000848
44.63/27.89	c (10,0) c PeriodProcTime_winner : 0.000073
44.63/27.89	c (10,0) c SolvingTime_0 : 1.712665
44.63/27.89	c (10,0) c SolvingTime_1 : 1.796742
44.63/27.89	c (10,0) c SolvingTime_2 : 1.698613
44.63/27.89	c (10,0) c SolvingTime_3 : 1.569944
44.63/27.89	c (10,0) c SolvingTime_4 : 1.573915
44.63/27.89	c (10,0) c SolvingTime_5 : 1.726870
44.63/27.89	c (10,0) c SolvingTime_6 : 1.633241
44.63/27.89	c (10,0) c SolvingTime_7 : 1.604867
44.63/27.89	c (10,0) c SolvingTime_total : 13.316857
44.63/27.89	c (10,0) c SolvingTime_winner : 1.569944
44.63/27.89	c (10,0) c PropagationTime_0 : 1.664374
44.63/27.89	c (10,0) c PropagationTime_1 : 1.752025
44.63/27.89	c (10,0) c PropagationTime_2 : 1.656539
44.63/27.89	c (10,0) c PropagationTime_3 : 1.533740
44.63/27.89	c (10,0) c PropagationTime_4 : 1.536912
44.63/27.89	c (10,0) c PropagationTime_5 : 1.685324
44.63/27.89	c (10,0) c PropagationTime_6 : 1.600777
44.63/27.89	c (10,0) c PropagationTime_7 : 1.554170
44.63/27.89	c (10,0) c PropagationTime_total : 12.983861
44.63/27.89	c (10,0) c PropagationTime_winner : 1.533740
44.63/27.89	c (10,0) c AnalysisTime_0 : 0.027254
44.63/27.89	c (10,0) c AnalysisTime_1 : 0.022889
44.63/27.89	c (10,0) c AnalysisTime_2 : 0.021672
44.63/27.89	c (10,0) c AnalysisTime_3 : 0.014475
44.63/27.89	c (10,0) c AnalysisTime_4 : 0.013703
44.63/27.89	c (10,0) c AnalysisTime_5 : 0.012344
44.63/27.89	c (10,0) c AnalysisTime_6 : 0.013465
44.63/27.89	c (10,0) c AnalysisTime_7 : 0.027467
44.63/27.89	c (10,0) c AnalysisTime_total : 0.153270
44.63/27.89	c (10,0) c AnalysisTime_winner : 0.014475
44.63/27.89	c (10,0) c ReductionTime_0 : 0.000000
44.63/27.89	c (10,0) c ReductionTime_1 : 0.000000
44.63/27.89	c (10,0) c ReductionTime_2 : 0.000000
44.63/27.89	c (10,0) c ReductionTime_3 : 0.000000
44.63/27.89	c (10,0) c ReductionTime_4 : 0.000000
44.63/27.89	c (10,0) c ReductionTime_5 : 0.000000
44.63/27.89	c (10,0) c ReductionTime_6 : 0.000000
44.63/27.89	c (10,0) c ReductionTime_7 : 0.000000
44.63/27.89	c (10,0) c ReductionTime_total : 0.000000
44.63/27.89	c (10,0) c ReductionTime_winner : 0.000000
44.63/27.89	c (10,0) c SimplifyTime_0 : 0.000000
44.63/27.89	c (10,0) c SimplifyTime_1 : 0.000000
44.63/27.89	c (10,0) c SimplifyTime_2 : 0.000000
44.63/27.89	c (10,0) c SimplifyTime_3 : 0.000001
44.63/27.89	c (10,0) c SimplifyTime_4 : 0.000000
44.63/27.89	c (10,0) c SimplifyTime_5 : 0.000000
44.63/27.89	c (10,0) c SimplifyTime_6 : 0.000001
44.63/27.89	c (10,0) c SimplifyTime_7 : 0.000000
44.63/27.89	c (10,0) c SimplifyTime_total : 0.000002
44.63/27.89	c (10,0) c SimplifyTime_winner : 0.000001
44.63/27.89	c (10,0) c UsedRateTime_0 : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_1 : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_2 : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_3 : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_4 : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_5 : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_6 : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_7 : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_total : 0.000000
44.63/27.89	c (10,0) c UsedRateTime_winner : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_0 : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_1 : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_2 : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_3 : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_4 : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_5 : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_6 : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_7 : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_total : 0.000000
44.63/27.89	c (10,0) c OverlapRateTime_winner : 0.000000
44.63/27.89	c (10,0) c
44.63/27.89	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
44.63/27.89	c (10,0) c
44.63/27.89	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.89	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
44.63/27.89	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.89	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
44.63/27.89	c (10,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
44.63/27.89	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
44.63/27.89	c (10,0) c | Initial random_seed   |  179618536 |  884610256 |  399202659 |  920497651 |  952863790 | 1066256185 |  536446759 | 1103660764 |
44.63/27.89	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
44.63/27.89	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
44.63/27.89	c (10,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
44.63/27.89	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
44.63/27.89	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
44.63/27.89	c (10,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
44.63/27.89	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
44.63/27.89	c (10,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
44.63/27.89	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
44.63/27.89	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
44.63/27.89	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
44.63/27.89	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.63/27.89	c (10,0) 
44.63/27.89	c (10,0) s SATISFIABLE
44.82/28.00	c (10,0) SatSolver.solve End
44.82/28.00	c (10,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
44.82/28.00	c (10,0) Show results Begin
45.38/28.11	c (10,0) x0 = 407
45.38/28.11	c (10,0) x1 = 422
45.38/28.11	c (10,0) x10 = 293
45.38/28.11	c (10,0) x100 = 575
45.38/28.11	c (10,0) x101 = 576
45.38/28.11	c (10,0) x102 = 201
45.38/28.11	c (10,0) x103 = 200
45.38/28.11	c (10,0) x104 = 142
45.38/28.11	c (10,0) x105 = 146
45.38/28.11	c (10,0) x106 = 427
45.38/28.11	c (10,0) x107 = 428
45.38/28.11	c (10,0) x108 = 351
45.38/28.11	c (10,0) x109 = 350
45.38/28.11	c (10,0) x11 = 294
45.38/28.11	c (10,0) x110 = 91
45.38/28.11	c (10,0) x111 = 92
45.38/28.11	c (10,0) x112 = 524
45.38/28.11	c (10,0) x113 = 523
45.38/28.11	c (10,0) x114 = 0
45.38/28.11	c (10,0) x115 = 613
45.38/28.11	c (10,0) x116 = 278
45.38/28.11	c (10,0) x117 = 279
45.38/28.11	c (10,0) x118 = 27
45.38/28.11	c (10,0) x119 = 4
45.38/28.11	c (10,0) x12 = 7
45.38/28.11	c (10,0) x120 = 266
45.38/28.11	c (10,0) x121 = 267
45.38/28.11	c (10,0) x122 = 37
45.38/28.11	c (10,0) x123 = 38
45.38/28.11	c (10,0) x124 = 579
45.38/28.11	c (10,0) x125 = 575
45.38/28.11	c (10,0) x126 = 452
45.38/28.11	c (10,0) x127 = 451
45.38/28.11	c (10,0) x128 = 208
45.38/28.11	c (10,0) x129 = 207
45.38/28.11	c (10,0) x13 = 8
45.38/28.11	c (10,0) x130 = 132
45.38/28.11	c (10,0) x131 = 117
45.38/28.11	c (10,0) x132 = 247
45.38/28.11	c (10,0) x133 = 246
45.38/28.11	c (10,0) x134 = 149
45.38/28.11	c (10,0) x135 = 150
45.38/28.11	c (10,0) x136 = 2
45.38/28.11	c (10,0) x137 = 123
45.38/28.11	c (10,0) x138 = 351
45.38/28.11	c (10,0) x139 = 350
45.38/28.11	c (10,0) x14 = 174
45.38/28.11	c (10,0) x140 = 10
45.38/28.11	c (10,0) x141 = 11
45.38/28.11	c (10,0) x142 = 543
45.38/28.11	c (10,0) x143 = 539
45.38/28.11	c (10,0) x144 = 244
45.38/28.11	c (10,0) x145 = 245
45.38/28.11	c (10,0) x146 = 369
45.38/28.11	c (10,0) x147 = 370
45.38/28.11	c (10,0) x148 = 278
45.38/28.11	c (10,0) x149 = 277
45.38/28.11	c (10,0) x15 = 175
45.38/28.11	c (10,0) x150 = 114
45.38/28.11	c (10,0) x151 = 113
45.38/28.11	c (10,0) x152 = 201
45.38/28.11	c (10,0) x153 = 202
45.38/28.11	c (10,0) x154 = 452
45.38/28.11	c (10,0) x155 = 453
45.38/28.11	c (10,0) x156 = 230
45.38/28.11	c (10,0) x157 = 229
45.38/28.11	c (10,0) x158 = 0
45.38/28.11	c (10,0) x159 = 104
45.38/28.11	c (10,0) x16 = 205
45.38/28.11	c (10,0) x160 = 128
45.38/28.11	c (10,0) x161 = 480
45.38/28.11	c (10,0) x162 = 216
45.38/28.11	c (10,0) x163 = 493
45.38/28.11	c (10,0) x164 = 14
45.38/28.11	c (10,0) x165 = 13
45.38/28.11	c (10,0) x166 = 466
45.38/28.11	c (10,0) x167 = 467
45.38/28.11	c (10,0) x168 = 0
45.38/28.11	c (10,0) x169 = 73
45.38/28.11	c (10,0) x17 = 206
45.38/28.11	c (10,0) x170 = 162
45.38/28.11	c (10,0) x171 = 468
45.38/28.11	c (10,0) x172 = 543
45.38/28.11	c (10,0) x173 = 523
45.38/28.11	c (10,0) x174 = 99
45.38/28.11	c (10,0) x175 = 369
45.38/28.12	c (10,0) x176 = 267
45.38/28.12	c (10,0) x177 = 266
45.38/28.12	c (10,0) x178 = 57
45.38/28.12	c (10,0) x179 = 58
45.38/28.12	c (10,0) x18 = 520
45.38/28.12	c (10,0) x180 = 565
45.38/28.12	c (10,0) x181 = 566
45.38/28.12	c (10,0) x182 = 541
45.38/28.12	c (10,0) x183 = 542
45.38/28.12	c (10,0) x184 = 603
45.38/28.12	c (10,0) x185 = 602
45.38/28.12	c (10,0) x186 = 316
45.38/28.12	c (10,0) x187 = 314
45.38/28.12	c (10,0) x188 = 469
45.38/28.12	c (10,0) x189 = 468
45.38/28.12	c (10,0) x19 = 502
45.38/28.12	c (10,0) x190 = 191
45.38/28.12	c (10,0) x191 = 192
45.38/28.12	c (10,0) x192 = 138
45.38/28.12	c (10,0) x193 = 137
45.38/28.12	c (10,0) x194 = 4
45.38/28.12	c (10,0) x195 = 15
45.38/28.12	c (10,0) x196 = 247
45.38/28.12	c (10,0) x197 = 246
45.38/28.12	c (10,0) x198 = 407
45.38/28.12	c (10,0) x199 = 77
45.38/28.12	c (10,0) x2 = 77
45.38/28.12	c (10,0) x20 = 1
45.38/28.12	c (10,0) x21 = 0
45.38/28.12	c (10,0) x22 = 587
45.38/28.12	c (10,0) x23 = 586
45.38/28.12	c (10,0) x24 = 174
45.38/28.12	c (10,0) x25 = 175
45.38/28.12	c (10,0) x26 = 282
45.38/28.12	c (10,0) x27 = 283
45.38/28.12	c (10,0) x28 = 371
45.38/28.12	c (10,0) x29 = 370
45.38/28.12	c (10,0) x3 = 76
45.38/28.12	c (10,0) x30 = 229
45.38/28.12	c (10,0) x31 = 228
45.38/28.12	c (10,0) x32 = 452
45.38/28.12	c (10,0) x33 = 453
45.38/28.12	c (10,0) x34 = 465
45.38/28.12	c (10,0) x35 = 464
45.38/28.12	c (10,0) x36 = 222
45.38/28.12	c (10,0) x37 = 223
45.38/28.12	c (10,0) x38 = 99
45.38/28.12	c (10,0) x39 = 100
45.38/28.12	c (10,0) x4 = 371
45.38/28.12	c (10,0) x40 = 479
45.38/28.12	c (10,0) x41 = 480
45.38/28.12	c (10,0) x42 = 135
45.38/28.12	c (10,0) x43 = 133
45.38/28.12	c (10,0) x44 = 77
45.38/28.12	c (10,0) x45 = 76
45.38/28.12	c (10,0) x46 = 97
45.38/28.12	c (10,0) x47 = 314
45.38/28.12	c (10,0) x48 = 229
45.38/28.12	c (10,0) x49 = 228
45.38/28.12	c (10,0) x5 = 370
45.38/28.12	c (10,0) x50 = 13
45.38/28.12	c (10,0) x51 = 14
45.38/28.12	c (10,0) x52 = 345
45.38/28.12	c (10,0) x53 = 337
45.38/28.12	c (10,0) x54 = 568
45.38/28.12	c (10,0) x55 = 567
45.38/28.12	c (10,0) x56 = 275
45.38/28.12	c (10,0) x57 = 276
45.38/28.12	c (10,0) x58 = 427
45.38/28.12	c (10,0) x59 = 428
45.38/28.12	c (10,0) x6 = 58
45.38/28.12	c (10,0) x60 = 203
45.38/28.12	c (10,0) x61 = 205
45.38/28.12	c (10,0) x62 = 1
45.38/28.12	c (10,0) x63 = 0
45.38/28.12	c (10,0) x64 = 220
45.38/28.12	c (10,0) x65 = 219
45.38/28.12	c (10,0) x66 = 58
45.38/28.12	c (10,0) x67 = 72
45.38/28.12	c (10,0) x68 = 540
45.38/28.12	c (10,0) x69 = 541
45.38/28.12	c (10,0) x7 = 59
45.38/28.12	c (10,0) x70 = 313
45.38/28.12	c (10,0) x71 = 314
45.38/28.12	c (10,0) x72 = 409
45.38/28.12	c (10,0) x73 = 408
45.38/28.12	c (10,0) x74 = 138
45.38/28.12	c (10,0) x75 = 124
45.38/28.12	c (10,0) x76 = 182
45.38/28.12	c (10,0) x77 = 178
45.38/28.12	c (10,0) x78 = 164
45.38/28.12	c (10,0) x79 = 207
45.38/28.12	c (10,0) x8 = 257
45.38/28.12	c (10,0) x80 = 387
45.38/28.12	c (10,0) x81 = 386
45.38/28.12	c (10,0) x82 = 209
45.38/28.12	c (10,0) x83 = 210
45.38/28.12	c (10,0) x84 = 498
45.38/28.12	c (10,0) x85 = 499
45.38/28.12	c (10,0) x86 = 479
45.38/28.12	c (10,0) x87 = 478
45.38/28.12	c (10,0) x88 = 254
45.38/28.12	c (10,0) x89 = 255
45.38/28.12	c (10,0) x9 = 256
45.38/28.12	c (10,0) x90 = 149
45.38/28.12	c (10,0) x91 = 150
45.38/28.12	c (10,0) x92 = 81
45.38/28.12	c (10,0) x93 = 82
45.38/28.12	c (10,0) x94 = 225
45.38/28.12	c (10,0) x95 = 224
45.38/28.12	c (10,0) x96 = 12
45.38/28.12	c (10,0) x97 = 14
45.38/28.12	c (10,0) x98 = 314
45.38/28.12	c (10,0) x99 = 313
45.38/28.12	s SATISFIABLE
45.38/28.13	v <instantiation>
45.38/28.13	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>
45.38/28.13	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>
45.38/28.13	v </instantiation>
45.38/28.13	c (10,0) Show results End
45.38/28.13	c (10,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
45.38/28.13	c (10,0) 10,10,STOP-AFTER(ALL)
45.38/28.13	c END-Prog: Tue Sep 24 21:32:51 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 (13801 MiB free)
  memory of node 1: 16384 MiB (12315 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405190-1569357766/watcher-4405190-1569357766 -o /tmp/evaluation-result-4405190-1569357766/solver-4405190-1569357766 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569344661-10096 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405190-1569357766.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11734, runsolver pid=11731
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 5.23 6.65 6.78 2/211 11756
/proc/meminfo: memFree=26649696/32770624 swapFree=66986400/67108860
[pid=11734] ppid=11731 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11734/stat : 11734 (scop.sh) S 11731 11734 10069 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512033265 115843072 349 33554432000 4194304 5098028 140735597464800 140735597462056 140070608491132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22904832 140735597470501 140735597470828 140735597470828 140735597473741 0
/proc/11734/statm: 28282 349 296 221 0 87 0
[pid=11737] ppid=11734 vsize=27314120 memory=106384 CPUtime=0.1 cores=0-7
/proc/11737/stat : 11737 (java) S 11734 11734 10069 0 -1 1077944320 6104 0 0 0 8 2 0 0 20 0 20 0 512033265 27969658880 26596 33554432000 4194304 4196468 140732935949136 140732935931680 140404989259511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
/proc/11737/statm: 6828530 26596 2812 1 0 6790935 0
[pid=11737/tid=11738] ppid=11734 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/11737/task/11738/stat : 11738 (java) R 11734 11734 10069 0 -1 4202560 4191 0 0 0 7 2 0 0 20 0 20 0 512033266 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404961063712 140404981496638 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11739] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11739/stat : 11739 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404993502224 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11740] ppid=11734 vsize=27314120 memory=3544814235419231904 CPUtime=0 cores=0-7
/proc/11737/task/11740/stat : 11740 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404776897680 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11741] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11741/stat : 11741 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404775844624 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11742] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11742/stat : 11742 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404774792080 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11743] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11743/stat : 11743 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404773739024 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11744] ppid=11734 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11737/task/11744/stat : 11744 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404772686480 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11745] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11745/stat : 11745 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404771633424 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11746] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11746/stat : 11746 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404770580880 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11747] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11747/stat : 11747 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404362312432 140404989270658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11748] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11748/stat : 11748 (java) S 11734 11734 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 26596 33554432000 4194304 4196468 140732935949136 140402950661792 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11749] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11749/stat : 11749 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 26596 33554432000 4194304 4196468 140732935949136 140402682225904 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11750] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11750/stat : 11750 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 26596 33554432000 4194304 4196468 140732935949136 140402307717584 140404989278107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11751] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11751/stat : 11751 (java) S 11734 11734 10069 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 26596 33554432000 4194304 4196468 140732935949136 140404361259248 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11752] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11752/stat : 11752 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 26596 33554432000 4194304 4196468 140732935949136 140403038742896 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11753] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11753/stat : 11753 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 26596 33554432000 4194304 4196468 140732935949136 140403037689840 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11754] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11754/stat : 11754 (java) S 11734 11734 10069 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 26596 33554432000 4194304 4196468 140732935949136 140403036637296 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11755] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11755/stat : 11755 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 26596 33554432000 4194304 4196468 140732935949136 140401809812448 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11756] ppid=11734 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11737/task/11756/stat : 11756 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 26596 33554432000 4194304 4196468 140732935949136 140403035585712 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107780 KiB

[startup+0.210157 s]*
/proc/loadavg: 5.23 6.65 6.78 3/211 11756
/proc/meminfo: memFree=26629100/32770624 swapFree=66986400/67108860
[pid=11734] ppid=11731 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11734/stat : 11734 (scop.sh) S 11731 11734 10069 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512033265 115843072 349 33554432000 4194304 5098028 140735597464800 140735597462056 140070608491132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22904832 140735597470501 140735597470828 140735597470828 140735597473741 0
/proc/11734/statm: 28282 349 296 221 0 87 0
[pid=11737] ppid=11734 vsize=27314120 memory=125464 CPUtime=0.24 cores=0-7
/proc/11737/stat : 11737 (java) S 11734 11734 10069 0 -1 1077944320 11721 0 0 0 20 4 0 0 20 0 20 0 512033265 27969658880 31366 33554432000 4194304 4196468 140732935949136 140732935931680 140404989259511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
/proc/11737/statm: 6828530 31366 2924 1 0 6790935 0
[pid=11737/tid=11738] ppid=11734 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11737/task/11738/stat : 11738 (java) R 11734 11734 10069 0 -1 4202560 9418 0 0 0 16 3 0 0 20 0 20 0 512033266 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404961083472 140404969534868 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11739] ppid=11734 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/11737/task/11739/stat : 11739 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404993502224 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11740] ppid=11734 vsize=27314120 memory=140273096892293 CPUtime=0 cores=0-7
/proc/11737/task/11740/stat : 11740 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404776897680 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11741] ppid=11734 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11737/task/11741/stat : 11741 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404775844624 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11742] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11742/stat : 11742 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404774792080 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11743] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11743/stat : 11743 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404773739024 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11744] ppid=11734 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11737/task/11744/stat : 11744 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404772686480 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11745] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11745/stat : 11745 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404771633424 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11746] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11746/stat : 11746 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404770580880 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11747] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11747/stat : 11747 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404362312432 140404989270658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11748] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11748/stat : 11748 (java) S 11734 11734 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 31366 33554432000 4194304 4196468 140732935949136 140402950661792 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11749] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11749/stat : 11749 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 31366 33554432000 4194304 4196468 140732935949136 140402682225904 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11750] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11750/stat : 11750 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 31366 33554432000 4194304 4196468 140732935949136 140402307717584 140404989278107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11751] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11751/stat : 11751 (java) S 11734 11734 10069 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 31366 33554432000 4194304 4196468 140732935949136 140404361259248 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11752] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11752/stat : 11752 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 31366 33554432000 4194304 4196468 140732935949136 140403038742896 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11753] ppid=11734 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11737/task/11753/stat : 11753 (java) S 11734 11734 10069 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 31366 33554432000 4194304 4196468 140732935949136 140403037689840 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11754] ppid=11734 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/11737/task/11754/stat : 11754 (java) S 11734 11734 10069 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 512033273 27969658880 31366 33554432000 4194304 4196468 140732935949136 140403036637296 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11755] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11755/stat : 11755 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 31366 33554432000 4194304 4196468 140732935949136 140401809812448 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11756] ppid=11734 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11737/task/11756/stat : 11756 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 31366 33554432000 4194304 4196468 140732935949136 140403035585712 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126860 KiB

[startup+0.309509 s]*
/proc/loadavg: 5.23 6.65 6.78 2/211 11756
/proc/meminfo: memFree=26625564/32770624 swapFree=66986400/67108860
[pid=11734] ppid=11731 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11734/stat : 11734 (scop.sh) S 11731 11734 10069 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512033265 115843072 349 33554432000 4194304 5098028 140735597464800 140735597462056 140070608491132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22904832 140735597470501 140735597470828 140735597470828 140735597473741 0
/proc/11734/statm: 28282 349 296 221 0 87 0
[pid=11737] ppid=11734 vsize=27314120 memory=129736 CPUtime=0.42 cores=0-7
/proc/11737/stat : 11737 (java) S 11734 11734 10069 0 -1 1077944320 12270 0 0 0 38 4 0 0 20 0 20 0 512033265 27969658880 32434 33554432000 4194304 4196468 140732935949136 140732935931680 140404989259511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
/proc/11737/statm: 6828530 32434 3020 1 0 6790935 0
[pid=11737/tid=11738] ppid=11734 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/11737/task/11738/stat : 11738 (java) R 11734 11734 10069 0 -1 4202560 9767 0 0 0 26 4 0 0 20 0 20 0 512033266 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404961084288 140404973339998 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11739] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11739/stat : 11739 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404993502224 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11740] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11740/stat : 11740 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404776897680 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11741] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11741/stat : 11741 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404775844624 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11742] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11742/stat : 11742 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404774792080 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11743] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11743/stat : 11743 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404773739024 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11744] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11744/stat : 11744 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404772686480 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11745] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11745/stat : 11745 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404771633424 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11746] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11746/stat : 11746 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033268 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404770580880 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11747] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11747/stat : 11747 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404362312432 140404989270658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11748] ppid=11734 vsize=27314120 memory=280545921801600 CPUtime=0 cores=0-7
/proc/11737/task/11748/stat : 11748 (java) S 11734 11734 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 32434 33554432000 4194304 4196468 140732935949136 140402950661792 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11749] ppid=11734 vsize=27314120 memory=280545921806208 CPUtime=0 cores=0-7
/proc/11737/task/11749/stat : 11749 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033270 27969658880 32434 33554432000 4194304 4196468 140732935949136 140402682225904 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11750] ppid=11734 vsize=27314120 memory=280545921810816 CPUtime=0 cores=0-7
/proc/11737/task/11750/stat : 11750 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 32434 33554432000 4194304 4196468 140732935949136 140402307717584 140404989278107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11751] ppid=11734 vsize=27314120 memory=280545921815424 CPUtime=0.01 cores=0-7
/proc/11737/task/11751/stat : 11751 (java) S 11734 11734 10069 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 20 0 512033273 27969658880 32434 33554432000 4194304 4196468 140732935949136 140404361259248 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11752] ppid=11734 vsize=27314120 memory=280545921820032 CPUtime=0.02 cores=0-7
/proc/11737/task/11752/stat : 11752 (java) S 11734 11734 10069 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 20 0 512033273 27969658880 32434 33554432000 4194304 4196468 140732935949136 140403038742896 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11753] ppid=11734 vsize=27314120 memory=280545921824640 CPUtime=0 cores=0-7
/proc/11737/task/11753/stat : 11753 (java) S 11734 11734 10069 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 32434 33554432000 4194304 4196468 140732935949136 140403037689840 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11754] ppid=11734 vsize=27314120 memory=280545921829248 CPUtime=0.07 cores=0-7
/proc/11737/task/11754/stat : 11754 (java) S 11734 11734 10069 0 -1 1077944384 533 0 0 0 7 0 0 0 20 0 20 0 512033273 27969658880 32434 33554432000 4194304 4196468 140732935949136 140403036637296 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11755] ppid=11734 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11755/stat : 11755 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 32434 33554432000 4194304 4196468 140732935949136 140401809812448 140404989269717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11756] ppid=11734 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11737/task/11756/stat : 11756 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033273 27969658880 32434 33554432000 4194304 4196468 140732935949136 140403035585712 140404989270658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131132 KiB

[startup+0.700937 s]
/proc/loadavg: 5.23 6.65 6.78 2/211 11756
/proc/meminfo: memFree=26603848/32770624 swapFree=66986400/67108860
[pid=11734] ppid=11731 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11734/stat : 11734 (scop.sh) S 11731 11734 10069 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512033265 115843072 349 33554432000 4194304 5098028 140735597464800 140735597462056 140070608491132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22904832 140735597470501 140735597470828 140735597470828 140735597473741 0
/proc/11734/statm: 28282 349 296 221 0 87 0
[pid=11737] ppid=11734 vsize=27320392 memory=165192 CPUtime=0.99 cores=0-7
/proc/11737/stat : 11737 (java) S 11734 11734 10069 0 -1 1077944320 19929 0 0 0 92 7 0 0 20 0 20 0 512033265 27976081408 41298 33554432000 4194304 4196468 140732935949136 140732935931680 140404989259511 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
/proc/11737/statm: 6830098 41298 3154 1 0 6791447 0
[pid=11737/tid=11738] ppid=11734 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/11737/task/11738/stat : 11738 (java) R 11734 11734 10069 0 -1 4202560 16834 0 0 0 62 6 0 0 20 0 20 0 512033266 27976081408 41298 33554432000 4194304 4196468 140732935949136 140404961097088 140404989271446 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11739] ppid=11734 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11739/stat : 11739 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27976081408 41298 33554432000 4194304 4196468 140732935949136 140404993502224 140404989269717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11740] ppid=11734 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11737/task/11740/stat : 11740 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27976081408 41298 33554432000 4194304 4196468 140732935949136 140404776897680 140404989269717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0
[pid=11737/tid=11741] ppid=11734 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/11737/task/11741/stat : 11741 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512033268 27976081408 41298 33554432000 4194304 4196468 140732935949136 140404775844624 140404989269717 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13668352 140732935955179 140732935955606 140732935955606 140732935958479 0

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

[pid=11757/tid=11758] ppid=11734 vsize=8414124 memory=3040 CPUtime=0.77 cores=0-7
/proc/11757/task/11758/stat : 11758 (java) S 11734 11734 10069 0 -1 1077944384 16773 0 0 0 72 5 0 0 20 0 24 0 512034975 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638957215648 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11759] ppid=11734 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11757/task/11759/stat : 11759 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512034977 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638989617680 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11760] ppid=11734 vsize=8414124 memory=119220 CPUtime=0 cores=0-7
/proc/11757/task/11760/stat : 11760 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512034977 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638789786256 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11761] ppid=11734 vsize=8414124 memory=1971812 CPUtime=0 cores=0-7
/proc/11757/task/11761/stat : 11761 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512034977 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638788733200 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11762] ppid=11734 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/11757/task/11762/stat : 11762 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512034977 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638787680656 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11763] ppid=11734 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/11757/task/11763/stat : 11763 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512034977 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638786628624 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11764] ppid=11734 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/11757/task/11764/stat : 11764 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512034977 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638785576080 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11765] ppid=11734 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/11757/task/11765/stat : 11765 (java) S 11734 11734 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512034977 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638784523024 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11766] ppid=11734 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/11757/task/11766/stat : 11766 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512034977 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638783470480 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11767] ppid=11734 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/11757/task/11767/stat : 11767 (java) S 11734 11734 10069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512034978 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638213015792 140638985386626 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11768] ppid=11734 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/11757/task/11768/stat : 11768 (java) S 11734 11734 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512034979 8616062976 29805 33554432000 4194304 4196468 140725378398752 140637294814368 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11769] ppid=11734 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/11757/task/11769/stat : 11769 (java) S 11734 11734 10069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512034979 8616062976 29805 33554432000 4194304 4196468 140725378398752 140637160592112 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11770] ppid=11734 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/11757/task/11770/stat : 11770 (java) S 11734 11734 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512034981 8616062976 29805 33554432000 4194304 4196468 140725378398752 140636786087888 140638985394075 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11771] ppid=11734 vsize=8414124 memory=6204 CPUtime=0.03 cores=0-7
/proc/11757/task/11771/stat : 11771 (java) S 11734 11734 10069 0 -1 1077944384 483 0 0 0 3 0 0 0 20 0 24 0 512034981 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638211963632 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11772] ppid=11734 vsize=8414124 memory=7552 CPUtime=0.08 cores=0-7
/proc/11757/task/11772/stat : 11772 (java) S 11734 11734 10069 0 -1 1077944384 318 0 0 0 8 0 0 0 20 0 24 0 512034981 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638210911088 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11773] ppid=11734 vsize=8414124 memory=1396 CPUtime=0.12 cores=0-7
/proc/11757/task/11773/stat : 11773 (java) S 11734 11734 10069 0 -1 1077944384 633 0 0 0 12 0 0 0 20 0 24 0 512034981 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638209858032 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11774] ppid=11734 vsize=8414124 memory=3187416 CPUtime=0.2 cores=0-7
/proc/11757/task/11774/stat : 11774 (java) S 11734 11734 10069 0 -1 1077944384 551 0 0 0 20 0 0 0 20 0 24 0 512034981 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638208805488 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11775] ppid=11734 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11757/task/11775/stat : 11775 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512034982 8616062976 29805 33554432000 4194304 4196468 140725378398752 140636288182752 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11776] ppid=11734 vsize=8414124 memory=280545921637376 CPUtime=0 cores=0-7
/proc/11757/task/11776/stat : 11776 (java) S 11734 11734 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512034982 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638207752880 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11778] ppid=11734 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11757/task/11778/stat : 11778 (java) S 11734 11734 10069 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512035049 8616062976 29805 33554432000 4194304 4196468 140725378398752 140638199718848 140638985400089 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11780] ppid=11734 vsize=8414124 memory=8043063289027854099 CPUtime=0 cores=0-7
/proc/11757/task/11780/stat : 11780 (java) S 11734 11734 10069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 512035049 8616062976 29805 33554432000 4194304 4196468 140725378398752 140635617083408 140638985397405 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11781] ppid=11734 vsize=8414124 memory=-6234758880078832264 CPUtime=0 cores=0-7
/proc/11757/task/11781/stat : 11781 (java) S 11734 11734 10069 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512035049 8616062976 29805 33554432000 4194304 4196468 140725378398752 140635885518992 140638985397405 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11782] ppid=11734 vsize=8414124 memory=-1391509512798377362 CPUtime=0 cores=0-7
/proc/11757/task/11782/stat : 11782 (java) S 11734 11734 10069 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512035051 8616062976 29805 33554432000 4194304 4196468 140725378398752 140635348655536 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
Current children cumulated CPU time: 43.67 s
Current children cumulated vsize: 11262108 KiB
Current children cumulated memory: 2375920 KiB

[startup+28.0011 s]*
/proc/loadavg: 4.10 6.23 6.64 4/215 11790
/proc/meminfo: memFree=26540456/32770624 swapFree=66986400/67108860
[pid=11734] ppid=11731 vsize=113128 memory=1476 CPUtime=24.3 cores=0-7
/proc/11734/stat : 11734 (scop.sh) S 11731 11734 10069 0 -1 4202496 582 32351 0 0 0 0 2299 131 20 0 1 0 512033265 115843072 369 33554432000 4194304 5098028 140735597464800 140735597461544 140070608491132 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22904832 140735597470501 140735597470828 140735597470828 140735597473741 0
/proc/11734/statm: 28282 369 311 221 0 87 0
[pid=11757] ppid=11734 vsize=8283048 memory=148412 CPUtime=20.85 cores=0-7
/proc/11757/stat : 11757 (java) S 11734 11734 10069 0 -1 1077944320 21438 540303 0 0 150 9 1769 157 20 0 22 0 512034975 8481841152 37103 33554432000 4194304 4196468 140725378398752 140725378381296 140638985375479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
/proc/11757/statm: 2070762 37103 3226 1 0 2032106 0
[pid=11757/tid=11758] ppid=11734 vsize=8283048 memory=924 CPUtime=20.04 cores=0-7
/proc/11757/task/11758/stat : 11758 (java) R 11734 11734 10069 0 -1 4202560 16795 540303 0 0 73 5 1769 157 20 0 22 0 512034975 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638957159312 140638985387414 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11759] ppid=11734 vsize=8283048 memory=8317482817917895235 CPUtime=19.26 cores=0-7
/proc/11757/task/11759/stat : 11759 (java) S 11734 11734 10069 0 -1 1077944384 1 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638989617680 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11760] ppid=11734 vsize=8283048 memory=35060 CPUtime=19.26 cores=0-7
/proc/11757/task/11760/stat : 11760 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638789786256 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11761] ppid=11734 vsize=8283048 memory=2120 CPUtime=19.26 cores=0-7
/proc/11757/task/11761/stat : 11761 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638788733200 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11762] ppid=11734 vsize=8283048 memory=532 CPUtime=19.26 cores=0-7
/proc/11757/task/11762/stat : 11762 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638787680656 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11763] ppid=11734 vsize=8283048 memory=1564 CPUtime=19.26 cores=0-7
/proc/11757/task/11763/stat : 11763 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638786628624 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11764] ppid=11734 vsize=8283048 memory=924 CPUtime=19.26 cores=0-7
/proc/11757/task/11764/stat : 11764 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638785576080 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11765] ppid=11734 vsize=8283048 memory=1760 CPUtime=19.26 cores=0-7
/proc/11757/task/11765/stat : 11765 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638784523024 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11766] ppid=11734 vsize=8283048 memory=1440 CPUtime=19.26 cores=0-7
/proc/11757/task/11766/stat : 11766 (java) S 11734 11734 10069 0 -1 1077944384 3 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638783470480 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11767] ppid=11734 vsize=8283048 memory=912 CPUtime=19.26 cores=0-7
/proc/11757/task/11767/stat : 11767 (java) S 11734 11734 10069 0 -1 1077944384 5 540303 0 0 0 0 1769 157 20 0 22 0 512034978 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638213015792 140638985386626 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11768] ppid=11734 vsize=8283048 memory=97 CPUtime=19.26 cores=0-7
/proc/11757/task/11768/stat : 11768 (java) S 11734 11734 10069 0 -1 1077944384 13 540303 0 0 0 0 1769 157 20 0 22 0 512034979 8481841152 37103 33554432000 4194304 4196468 140725378398752 140637294814368 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11769] ppid=11734 vsize=8283048 memory=301741420686082359 CPUtime=19.26 cores=0-7
/proc/11757/task/11769/stat : 11769 (java) S 11734 11734 10069 0 -1 1077944384 21 540303 0 0 0 0 1769 157 20 0 22 0 512034979 8481841152 37103 33554432000 4194304 4196468 140725378398752 140637160592112 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11770] ppid=11734 vsize=8283048 memory=13849668345924206 CPUtime=19.26 cores=0-7
/proc/11757/task/11770/stat : 11770 (java) S 11734 11734 10069 0 -1 1077944384 1 540303 0 0 0 0 1769 157 20 0 22 0 512034981 8481841152 37103 33554432000 4194304 4196468 140725378398752 140636786087888 140638985394075 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11771] ppid=11734 vsize=8283048 memory=288230574492221466 CPUtime=19.34 cores=0-7
/proc/11757/task/11771/stat : 11771 (java) S 11734 11734 10069 0 -1 1077944384 726 540303 0 0 8 0 1769 157 20 0 22 0 512034981 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638211963632 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11772] ppid=11734 vsize=8283048 memory=288230621803970871 CPUtime=19.4 cores=0-7
/proc/11757/task/11772/stat : 11772 (java) S 11734 11734 10069 0 -1 1077944384 594 540303 0 0 14 0 1769 157 20 0 22 0 512034981 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638210911088 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11773] ppid=11734 vsize=8283048 memory=13849668345924206 CPUtime=19.43 cores=0-7
/proc/11757/task/11773/stat : 11773 (java) S 11734 11734 10069 0 -1 1077944384 645 540303 0 0 17 0 1769 157 20 0 22 0 512034981 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638209858032 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11774] ppid=11734 vsize=8283048 memory=119220 CPUtime=19.52 cores=0-7
/proc/11757/task/11774/stat : 11774 (java) R 11734 11734 10069 0 -1 4202560 1067 540303 0 0 26 0 1769 157 20 0 22 0 512034981 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638208805488 140638964360315 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11775] ppid=11734 vsize=8283048 memory=253288 CPUtime=19.26 cores=0-7
/proc/11757/task/11775/stat : 11775 (java) S 11734 11734 10069 0 -1 1077944384 3 540303 0 0 0 0 1769 157 20 0 22 0 512034982 8481841152 37103 33554432000 4194304 4196468 140725378398752 140636288182752 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11776] ppid=11734 vsize=8283048 memory=1164 CPUtime=19.26 cores=0-7
/proc/11757/task/11776/stat : 11776 (java) S 11734 11734 10069 0 -1 1077944384 3 540303 0 0 0 0 1769 157 20 0 22 0 512034982 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638207752880 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11778] ppid=11734 vsize=8283048 memory=8317482817917895235 CPUtime=19.26 cores=0-7
/proc/11757/task/11778/stat : 11778 (java) S 11734 11734 10069 0 -1 1077944384 24 540303 0 0 0 0 1769 157 20 0 22 0 512035049 8481841152 37103 33554432000 4194304 4196468 140725378398752 140638199718032 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11782] ppid=11734 vsize=8283048 memory=0 CPUtime=19.26 cores=0-7
/proc/11757/task/11782/stat : 11782 (java) S 11734 11734 10069 0 -1 1077944384 15 540303 0 0 0 0 1769 157 20 0 22 0 512035051 8481841152 37103 33554432000 4194304 4196468 140725378398752 140635348657328 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
Current children cumulated CPU time: 45.15 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 149888 KiB

[startup+28.1103 s]
/proc/loadavg: 4.10 6.23 6.64 4/215 11790
/proc/meminfo: memFree=26540456/32770624 swapFree=66986400/67108860
[pid=11734] ppid=11731 vsize=113128 memory=1476 CPUtime=24.3 cores=0-7
/proc/11734/stat : 11734 (scop.sh) S 11731 11734 10069 0 -1 4202496 582 32351 0 0 0 0 2299 131 20 0 1 0 512033265 115843072 369 33554432000 4194304 5098028 140735597464800 140735597461544 140070608491132 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22904832 140735597470501 140735597470828 140735597470828 140735597473741 0
/proc/11734/statm: 28282 369 311 221 0 87 0
[pid=11757] ppid=11734 vsize=8283048 memory=158244 CPUtime=21.08 cores=0-7
/proc/11757/stat : 11757 (java) S 11734 11734 10069 0 -1 1077944320 21856 540303 0 0 173 9 1769 157 20 0 22 0 512034975 8481841152 39561 33554432000 4194304 4196468 140725378398752 140725378381296 140638985375479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
/proc/11757/statm: 2070762 39561 3233 1 0 2032106 0
[pid=11757/tid=11758] ppid=11734 vsize=8283048 memory=124976 CPUtime=20.13 cores=0-7
/proc/11757/task/11758/stat : 11758 (java) R 11734 11734 10069 0 -1 4202560 17047 540303 0 0 82 5 1769 157 20 0 22 0 512034975 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638957205968 140638985387414 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11759] ppid=11734 vsize=8283048 memory=2217932 CPUtime=19.26 cores=0-7
/proc/11757/task/11759/stat : 11759 (java) S 11734 11734 10069 0 -1 1077944384 1 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638989617680 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11760] ppid=11734 vsize=8283048 memory=3616 CPUtime=19.26 cores=0-7
/proc/11757/task/11760/stat : 11760 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638789786256 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11761] ppid=11734 vsize=8283048 memory=2258568 CPUtime=19.26 cores=0-7
/proc/11757/task/11761/stat : 11761 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638788733200 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11762] ppid=11734 vsize=8283048 memory=857224 CPUtime=19.26 cores=0-7
/proc/11757/task/11762/stat : 11762 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638787680656 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11763] ppid=11734 vsize=8283048 memory=7552 CPUtime=19.26 cores=0-7
/proc/11757/task/11763/stat : 11763 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638786628624 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11764] ppid=11734 vsize=8283048 memory=2832 CPUtime=19.26 cores=0-7
/proc/11757/task/11764/stat : 11764 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638785576080 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11765] ppid=11734 vsize=8283048 memory=1084 CPUtime=19.26 cores=0-7
/proc/11757/task/11765/stat : 11765 (java) S 11734 11734 10069 0 -1 1077944384 2 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638784523024 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11766] ppid=11734 vsize=8283048 memory=1476 CPUtime=19.26 cores=0-7
/proc/11757/task/11766/stat : 11766 (java) S 11734 11734 10069 0 -1 1077944384 3 540303 0 0 0 0 1769 157 20 0 22 0 512034977 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638783470480 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11767] ppid=11734 vsize=8283048 memory=0 CPUtime=19.26 cores=0-7
/proc/11757/task/11767/stat : 11767 (java) S 11734 11734 10069 0 -1 1077944384 5 540303 0 0 0 0 1769 157 20 0 22 0 512034978 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638213015792 140638985386626 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11768] ppid=11734 vsize=8283048 memory=140272961009504 CPUtime=19.26 cores=0-7
/proc/11757/task/11768/stat : 11768 (java) S 11734 11734 10069 0 -1 1077944384 13 540303 0 0 0 0 1769 157 20 0 22 0 512034979 8481841152 39561 33554432000 4194304 4196468 140725378398752 140637294814368 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11769] ppid=11734 vsize=8283048 memory=140272961429952 CPUtime=19.26 cores=0-7
/proc/11757/task/11769/stat : 11769 (java) S 11734 11734 10069 0 -1 1077944384 21 540303 0 0 0 0 1769 157 20 0 22 0 512034979 8481841152 39561 33554432000 4194304 4196468 140725378398752 140637160592112 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11770] ppid=11734 vsize=8283048 memory=0 CPUtime=19.26 cores=0-7
/proc/11757/task/11770/stat : 11770 (java) S 11734 11734 10069 0 -1 1077944384 1 540303 0 0 0 0 1769 157 20 0 22 0 512034981 8481841152 39561 33554432000 4194304 4196468 140725378398752 140636786087888 140638985394075 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11771] ppid=11734 vsize=8283048 memory=0 CPUtime=19.37 cores=0-7
/proc/11757/task/11771/stat : 11771 (java) S 11734 11734 10069 0 -1 1077944384 766 540303 0 0 11 0 1769 157 20 0 22 0 512034981 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638211963632 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11772] ppid=11734 vsize=8283048 memory=3 CPUtime=19.43 cores=0-7
/proc/11757/task/11772/stat : 11772 (java) R 11734 11734 10069 0 -1 4202560 607 540303 0 0 17 0 1769 157 20 0 22 0 512034981 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638210911088 140638968760901 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11773] ppid=11734 vsize=8283048 memory=8 CPUtime=19.46 cores=0-7
/proc/11757/task/11773/stat : 11773 (java) S 11734 11734 10069 0 -1 1077944384 687 540303 0 0 20 0 1769 157 20 0 22 0 512034981 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638209858032 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11774] ppid=11734 vsize=8283048 memory=0 CPUtime=19.55 cores=0-7
/proc/11757/task/11774/stat : 11774 (java) R 11734 11734 10069 0 -1 4202560 1132 540303 0 0 29 0 1769 157 20 0 22 0 512034981 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638208805488 140638985387414 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11775] ppid=11734 vsize=8283048 memory=0 CPUtime=19.26 cores=0-7
/proc/11757/task/11775/stat : 11775 (java) S 11734 11734 10069 0 -1 1077944384 3 540303 0 0 0 0 1769 157 20 0 22 0 512034982 8481841152 39561 33554432000 4194304 4196468 140725378398752 140636288182752 140638985385685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11776] ppid=11734 vsize=8283048 memory=3 CPUtime=19.26 cores=0-7
/proc/11757/task/11776/stat : 11776 (java) S 11734 11734 10069 0 -1 1077944384 3 540303 0 0 0 0 1769 157 20 0 22 0 512034982 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638207752880 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11778] ppid=11734 vsize=8283048 memory=8 CPUtime=19.26 cores=0-7
/proc/11757/task/11778/stat : 11778 (java) S 11734 11734 10069 0 -1 1077944384 24 540303 0 0 0 0 1769 157 20 0 22 0 512035049 8481841152 39561 33554432000 4194304 4196468 140725378398752 140638199718032 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
[pid=11757/tid=11782] ppid=11734 vsize=8283048 memory=1476 CPUtime=19.26 cores=0-7
/proc/11757/task/11782/stat : 11782 (java) S 11734 11734 10069 0 -1 1077944384 15 540303 0 0 0 0 1769 157 20 0 22 0 512035051 8481841152 39561 33554432000 4194304 4196468 140725378398752 140635348657328 140638985386626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140725378401271 140725378401430 140725378401430 140725378404303 0
Current children cumulated CPU time: 45.38 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 159720 KiB

Child status: 0
Real time (s): 28.1562
CPU time (s): 45.4812
CPU user time (s): 42.4676
CPU system time (s): 3.01359
CPU usage (%): 161.532
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5947832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.4676
system time used= 3.01359
maximum resident set size= 5946724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 135592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62885
involuntary context switches= 103


# summary of solver processes directly reported to runsolver:
#   pid: 11734
#   total CPU time (s): 45.4812
#   total CPU user time (s): 42.4676
#   total CPU system time (s): 3.01359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.210314 second user time and 0.356448 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 21:32:23
IDJOB=4405190
IDBENCH=138454
IDSOLVER=2867
FILE ID=node104/4405190-1569357766
RUNJOBID= node104-1569344661-10096
PBS_JOBID= 21705083
Free space on /tmp= 9836 MiB

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

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

MD5SUM BENCH= 5dc18f9bddc2dfff84e0f90fec56ce3b
RANDOM SEED=817500043

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26743272 kB
MemAvailable:   31818592 kB
Buffers:          101052 kB
Cached:          5065880 kB
SwapCached:        22640 kB
Active:          3191360 kB
Inactive:        2002064 kB
Active(anon):       4380 kB
Inactive(anon):    80336 kB
Active(file):    3186980 kB
Inactive(file):  1921728 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986400 kB
Dirty:             20816 kB
Writeback:             0 kB
AnonPages:        339876 kB
Mapped:            56544 kB
Shmem:             49032 kB
Slab:             424464 kB
SReclaimable:     395072 kB
SUnreclaim:        29392 kB
KernelStack:        3952 kB
PageTables:         6544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    294912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-24 21:32:51