Trace number 4405439

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRandom/Random-D-t050/
rand-2-40-25-180-050-34.xml
MD5SUM2b23d7f384de8bee09908163d3005f80
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 benchmark1.27106
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":40}]
Minimum variable degree4
Maximum variable degree14
Distribution of variable degrees[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":1},{"degree":8,"count":9},{"degree":9,"count":10},{"degree":10,"count":6},{"degree":11,"count":3},{"degree":13,"count":4},{"degree":14,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":180}]
Number of extensional constraints180
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9621-serial-file.bin HOME/instance-4405439-1569239417.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Mon Sep 23 13:49:18 CEST 2019
0.66/0.56	c PID: 9624
0.66/0.56	c IP: 172.20.3.103
0.66/0.56	c HOST: node103.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.07/1.09	c (0,0) Parsing End
2.07/1.09	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 180 ctr, max domain size 25
2.07/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.07/1.10	c (0,0) Constraint Name Generate Begin
2.07/1.10	c (0,0) Ctr:HOME/instance-4405439-1569239417.xml,ExtensionConflict:ExtensionSupport:Var
2.07/1.10	c (0,0) Constraint Name Generate End
2.07/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.07/1.10	c (0,0) CSP to CSPinCNF Begin
5.64/2.01	c (1,1) translated 18 (10%) constraints
6.85/2.34	c (1,1) translated 36 (20%) constraints
8.07/2.61	c (2,2) translated 54 (30%) constraints
8.87/2.87	c (2,2) translated 72 (40%) constraints
10.12/3.15	c (2,2) translated 90 (50%) constraints
11.28/3.46	c (2,2) translated 108 (60%) constraints
12.09/3.67	c (3,3) translated 126 (70%) constraints
12.81/3.89	c (3,3) translated 144 (80%) constraints
13.43/4.15	c (3,3) translated 162 (90%) constraints
13.74/4.40	c (3,3) translated 180 (100%) constraints
13.74/4.41	c (3,3) ===========================================
13.74/4.44	c (3,3) Hybrid: #OE=2090, #LE=0
13.74/4.44	c (3,3) Hybrid
13.74/4.44	c (3,3) ===========================================
14.01/4.59	c (4,4) translated 4470 (10%) constraints
14.69/4.71	c (4,4) translated 8940 (20%) constraints
14.80/4.81	c (4,4) translated 13410 (30%) constraints
14.91/4.99	c (4,4) translated 17880 (40%) constraints
15.02/5.01	c (4,4) translated 22349 (50%) constraints
15.02/5.10	c (4,4) translated 26819 (60%) constraints
15.21/5.20	c (4,4) translated 31289 (70%) constraints
15.32/5.31	c (4,4) translated 35759 (80%) constraints
15.48/5.41	c (4,4) translated 40229 (90%) constraints
15.61/5.51	c (4,4) translated 44698 (100%) constraints
15.61/5.51	c (4,4) CSP to CSPinCNF End
15.61/5.51	c (4,4) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
15.61/5.51	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.61/5.51	c (4,4) CSPinCNF Propagation Begin
16.74/5.83	c (5,5) 0 values, 1915 unsatisfiable literals, and 0 valid clauses are removed
16.74/5.83	c (5,5) CSPinCNF Propagation End
16.74/5.83	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
16.74/5.83	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.74/5.86	c (5,5) Hybrid: #OE=2090, #LE=0
16.74/5.86	c (5,5) Simplify CSPinCNF Begin
17.14/5.98	c (5,5) Simplify CSPinCNF End
17.14/5.98	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.14/5.98	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.14/5.98	c (5,5) Calculate Precise Domain Begin
17.14/5.98	c (5,5) 0 values are removed by re-calculation
17.14/5.98	c (5,5) Calculate Precise Domain End
17.14/5.99	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.14/5.99	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.14/5.99	c (5,5) CSPinCNF to SatSolver Begin
18.20/6.21	c (5,5) 4470 (10 %) CSP clauses are encoded (0 SAT variables, 5389 SAT clauses)
18.60/6.30	c (5,5) 8940 (20 %) CSP clauses are encoded (0 SAT variables, 9859 SAT clauses)
18.60/6.36	c (5,5) 13410 (30 %) CSP clauses are encoded (0 SAT variables, 14329 SAT clauses)
18.87/6.41	c (5,5) 17880 (40 %) CSP clauses are encoded (0 SAT variables, 18799 SAT clauses)
18.87/6.45	c (5,5) 22349 (50 %) CSP clauses are encoded (0 SAT variables, 23268 SAT clauses)
18.97/6.50	c (5,5) 26819 (60 %) CSP clauses are encoded (0 SAT variables, 27738 SAT clauses)
18.97/6.55	c (6,5) 31289 (70 %) CSP clauses are encoded (0 SAT variables, 32208 SAT clauses)
19.08/6.60	c (6,6) 35759 (80 %) CSP clauses are encoded (0 SAT variables, 36678 SAT clauses)
19.08/6.65	c (6,6) 40229 (90 %) CSP clauses are encoded (0 SAT variables, 41148 SAT clauses)
19.08/6.69	c (6,6) 44698 (100 %) CSP clauses are encoded (0 SAT variables, 45617 SAT clauses)
19.08/6.69	c (6,6) CSPinCNF to SatSolver End
19.08/6.69	c (6,6) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.08/6.69	c (6,6) 3010 bool, 45618 clause
19.08/6.69	c (6,6) Export Begin
19.19/6.78	c (6,6) Export to HOME/scop-9621-serial-file.bin
19.19/6.78	c (6,6) Export End
19.19/6.78	c (6,6) Export File Size: 0.01 MB
19.19/6.78	c (6,6) 0,0,4,5,5,5,6,STOP-AFTER(DIMACS)
19.19/6.78	c END-Prog: Mon Sep 23 13:49:24 CEST 2019
0.00/6.81	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9621-serial-file.bin
19.90/7.27	c (0,0) Read Serial File Begin
19.90/7.27	c (0,0) HOME/scop-9621-serial-file.bin
20.18/7.47	c (0,0) Read Serial File End
20.18/7.49	
20.18/7.49	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
20.18/7.49	(Solving Process)
20.18/7.49	
20.32/7.51	c BEGIN-Prog: Mon Sep 23 13:49:25 CEST 2019
20.32/7.51	c PID: 9646
20.32/7.51	c IP: 172.20.3.103
20.32/7.51	c HOST: node103.alineos.net
20.32/7.51	c (0,0) SatSolver.solve Begin
20.32/7.51	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405439-1569239417.xml-scop-9624.cnf
20.32/7.54	c (0,0) c
20.32/7.54	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)
20.32/7.54	c (0,0) c
20.32/7.54	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.32/7.54	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.32/7.54	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.32/7.54	c (0,0) c |                                                                                                       |
20.32/7.55	c (0,0) c |  Number of variables:          3010                                                                   |
20.32/7.55	c (0,0) c |  Number of clauses:           45618                                                                   |
20.32/7.55	c (0,0) c |  Parse time:                   0.01 s                                                                 |
20.32/7.55	c (0,0) c |                                                                                                       |
20.32/7.57	c (0,0) c |  Simplification time:          0.02 s                                                                 |
20.32/7.57	c (0,0) c |                                                                                                       |
20.32/7.57	c (0,0) c |  Generating clones                                                                                    |
20.32/7.58	c (0,0) c |  all clones generated. Memory =    45.38Mb.                                                           |
20.32/7.58	c (0,0) c ========================================================================================================|
20.32/7.58	c (0,0) c
20.32/7.58	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
20.32/7.58	c (0,0) c
20.32/7.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.32/7.58	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
20.32/7.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.32/7.58	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
20.32/7.58	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
20.32/7.58	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
20.32/7.58	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
20.32/7.58	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
20.32/7.58	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
20.32/7.58	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
20.32/7.58	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
20.32/7.59	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
20.32/7.59	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
20.32/7.59	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
20.32/7.59	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
20.32/7.59	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
20.32/7.59	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
20.32/7.59	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
20.32/7.59	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.33	c (4,0) c
50.09/11.33	c (4,0) c real time : 3.7984 s
50.09/11.33	c (4,0) c cpu time  : 29.5019 s
50.09/11.33	c (4,0) c
50.09/11.33	c (4,0) c
50.09/11.33	c (4,0) c
50.09/11.33	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
50.09/11.33	c (4,0) c
50.09/11.33	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.33	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.09/11.33	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.33	c (4,0) c | Conflicts     |          323077 |      40547 |      39542 |      40155 |      40339 |      40425 |      41351 |      39787 |      40931 |
50.09/11.33	c (4,0) c | Decisions     |          452651 |      56611 |      55115 |      56467 |      56895 |      56288 |      57338 |      56329 |      57608 |
50.09/11.33	c (4,0) c | Propagations  |       104897557 |   12962679 |   13151039 |   12954781 |   13252245 |   13041850 |   13230270 |   13107954 |   13196739 |
50.09/11.33	c (4,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.09/11.33	c (4,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
50.09/11.33	c (4,0) c | Restarts      |             232 |         24 |         29 |         40 |         29 |         15 |         24 |         29 |         42 |
50.09/11.33	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.09/11.33	c (4,0) c | PropBinClauses|       118889502 |   14709330 |   14914944 |   14698918 |   15013491 |   14751604 |   15057889 |   14851511 |   14891815 |
50.09/11.33	c (4,0) c | PropPreBlocker|      1358195530 |  167940082 |  166906429 |  167320471 |  170960025 |  170779750 |  175540719 |  167049923 |  171698131 |
50.09/11.33	c (4,0) c | PropNotBlocker|       467971549 |   57675422 |   58315199 |   58375961 |   60060830 |   56858242 |   60073756 |   58056213 |   58555926 |
50.09/11.33	c (4,0) c | LitFullScans  |      2235538036 |  276021150 |  276018155 |  276020529 |  282016579 |  279388206 |  288028155 |  276015911 |  282029351 |
50.09/11.33	c (4,0) c | LitScanFracts |           58089 |       7854 |       8285 |       9097 |       6075 |       5198 |       7224 |       5901 |       8455 |
50.09/11.33	c (4,0) c | DecisionLevel0|             232 |         24 |         29 |         40 |         29 |         15 |         24 |         29 |         42 |
50.09/11.33	c (4,0) c | Periods       |             372 |         46 |         46 |         46 |         47 |         46 |         48 |         46 |         47 |
50.09/11.33	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
50.09/11.33	c (4,0) c | Avg_Trail     |                 |       1068 |       1080 |       1093 |       1091 |       1120 |       1096 |       1118 |       1079 |
50.09/11.33	c (4,0) c | Avg_DL        |                 |         13 |         13 |         14 |         14 |         14 |         13 |         14 |         14 |
50.09/11.33	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.09/11.33	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.09/11.33	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.33	c (4,0) c | Exported      |           64453 |       7910 |       7778 |       7656 |       8429 |       8556 |       8456 |       7792 |       7876 |
50.09/11.33	c (4,0) c | Imported      |          264046 |      30765 |      33739 |      27935 |      35038 |      35013 |      33644 |      33933 |      33979 |
50.09/11.33	c (4,0) c | Good          |             379 |         47 |         49 |         45 |         52 |         50 |         41 |         48 |         47 |
50.09/11.33	c (4,0) c | Purge         |          263667 |      30718 |      33690 |      27890 |      34986 |      34963 |      33603 |      33885 |      33932 |
50.09/11.33	c (4,0) c | Promoted      |            8866 |       1057 |       1079 |       1044 |       1160 |        771 |       1284 |        934 |       1537 |
50.09/11.33	c (4,0) c | Remove_Imp    |           51187 |       7928 |       6464 |       4853 |       6340 |       2953 |       7855 |       6602 |       8192 |
50.09/11.33	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.09/11.33	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.33	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.09/11.33	c (4,0) c | Binaries      |                 |         10 |          8 |          5 |          8 |          7 |         18 |         11 |          9 |
50.09/11.33	c (4,0) c | Glues         |                 |        460 |        459 |        481 |        506 |        441 |        465 |        488 |        505 |
50.09/11.33	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.33	c (4,0) c | Orig_Seen     |            68 % |      30293 |      31379 |      31306 |      31214 |      30742 |      31157 |      32070 |      31496 |
50.09/11.33	c (4,0) c | Diff Orig seen|                 | -      449 |        637 |        564 |        472 |      X     |        415 |       1328 |        754 |
50.09/11.33	c (4,0) c | Hamming       |            41 % |       1293 |       1233 |       1266 |       1190 |      X     |       1282 |       1214 |       1250 |
50.09/11.33	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.33	c (4,0) c | RunningTime   |                 |    3.7 100%|    3.7 100%|    3.7 100%|    3.7 100%|    3.7 100%|    3.7 100%|    3.7 100%|    3.7 100%|
50.09/11.33	c (4,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%|
50.09/11.33	c (4,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%|
50.09/11.33	c (4,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%|
50.09/11.33	c (4,0) c | SolvingTime   |                 |    3.7     |    3.7     |    3.7     |    3.7     |    3.7     |    3.7     |    3.7     |    3.7     |
50.09/11.33	c (4,0) c | PropagationTim|                 |    3.2  87%|    3.2  87%|    3.2  87%|    3.3  87%|    3.2  86%|    3.2  87%|    3.2  87%|    3.2  87%|
50.09/11.33	c (4,0) c | AnalysisTime  |                 |    0.3   9%|    0.3   8%|    0.3   9%|    0.3   8%|    0.3   9%|    0.3   9%|    0.3   9%|    0.3   9%|
50.09/11.33	c (4,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
50.09/11.33	c (4,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%|
50.09/11.33	c (4,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%|
50.09/11.34	c (4,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%|
50.09/11.34	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.34	c (4,0) c
50.09/11.34	c (4,0) c
50.09/11.34	c (4,0) c Threads : 8
50.09/11.34	c (4,0) c Winner : 4
50.09/11.34	c (4,0) c Conflicts_0 : 40547
50.09/11.34	c (4,0) c Conflicts_1 : 39542
50.09/11.34	c (4,0) c Conflicts_2 : 40155
50.09/11.34	c (4,0) c Conflicts_3 : 40339
50.09/11.34	c (4,0) c Conflicts_4 : 40425
50.09/11.34	c (4,0) c Conflicts_5 : 41351
50.09/11.34	c (4,0) c Conflicts_6 : 39787
50.09/11.34	c (4,0) c Conflicts_7 : 40931
50.09/11.34	c (4,0) c Conflicts_total : 323077
50.09/11.34	c (4,0) c Conflicts_winner : 40425
50.09/11.34	c (4,0) c Decisions_0 : 56611
50.09/11.34	c (4,0) c Decisions_1 : 55115
50.09/11.34	c (4,0) c Decisions_2 : 56467
50.09/11.34	c (4,0) c Decisions_3 : 56895
50.09/11.34	c (4,0) c Decisions_4 : 56288
50.09/11.34	c (4,0) c Decisions_5 : 57338
50.09/11.34	c (4,0) c Decisions_6 : 56329
50.09/11.34	c (4,0) c Decisions_7 : 57608
50.09/11.34	c (4,0) c Decisions_total : 452651
50.09/11.34	c (4,0) c Decisions_winner : 56288
50.09/11.34	c (4,0) c Propagations_0 : 12962679
50.09/11.34	c (4,0) c Propagations_1 : 13151039
50.09/11.34	c (4,0) c Propagations_2 : 12954781
50.09/11.34	c (4,0) c Propagations_3 : 13252245
50.09/11.34	c (4,0) c Propagations_4 : 13041850
50.09/11.34	c (4,0) c Propagations_5 : 13230270
50.09/11.34	c (4,0) c Propagations_6 : 13107954
50.09/11.34	c (4,0) c Propagations_7 : 13196739
50.09/11.34	c (4,0) c Propagations_total : 104897557
50.09/11.34	c (4,0) c Propagations_winner : 13041850
50.09/11.34	c (4,0) c ReduceDBs_0 : 5
50.09/11.34	c (4,0) c ReduceDBs_1 : 5
50.09/11.34	c (4,0) c ReduceDBs_2 : 5
50.09/11.34	c (4,0) c ReduceDBs_3 : 5
50.09/11.34	c (4,0) c ReduceDBs_4 : 5
50.09/11.34	c (4,0) c ReduceDBs_5 : 5
50.09/11.34	c (4,0) c ReduceDBs_6 : 5
50.09/11.34	c (4,0) c ReduceDBs_7 : 5
50.09/11.34	c (4,0) c ReduceDBs_total : 40
50.09/11.34	c (4,0) c ReduceDBs_winner : 5
50.09/11.34	c (4,0) c SimpDBs_0 : 1
50.09/11.34	c (4,0) c SimpDBs_1 : 1
50.09/11.34	c (4,0) c SimpDBs_2 : 1
50.09/11.34	c (4,0) c SimpDBs_3 : 1
50.09/11.34	c (4,0) c SimpDBs_4 : 1
50.09/11.34	c (4,0) c SimpDBs_5 : 1
50.09/11.34	c (4,0) c SimpDBs_6 : 1
50.09/11.34	c (4,0) c SimpDBs_7 : 1
50.09/11.34	c (4,0) c SimpDBs_total : 8
50.09/11.34	c (4,0) c SimpDBs_winner : 1
50.09/11.34	c (4,0) c Restarts_0 : 24
50.09/11.34	c (4,0) c Restarts_1 : 29
50.09/11.34	c (4,0) c Restarts_2 : 40
50.09/11.34	c (4,0) c Restarts_3 : 29
50.09/11.34	c (4,0) c Restarts_4 : 15
50.09/11.34	c (4,0) c Restarts_5 : 24
50.09/11.34	c (4,0) c Restarts_6 : 29
50.09/11.34	c (4,0) c Restarts_7 : 42
50.09/11.34	c (4,0) c Restarts_total : 232
50.09/11.34	c (4,0) c Restarts_winner : 15
50.09/11.34	c (4,0) c ForcedImports_0 : 0
50.09/11.34	c (4,0) c ForcedImports_1 : 0
50.09/11.34	c (4,0) c ForcedImports_2 : 0
50.09/11.34	c (4,0) c ForcedImports_3 : 0
50.09/11.34	c (4,0) c ForcedImports_4 : 0
50.09/11.34	c (4,0) c ForcedImports_5 : 0
50.09/11.34	c (4,0) c ForcedImports_6 : 0
50.09/11.34	c (4,0) c ForcedImports_7 : 0
50.09/11.34	c (4,0) c ForcedImports_total : 0
50.09/11.34	c (4,0) c ForcedImports_winner : 0
50.09/11.34	c (4,0) c PropsBinClauses_0 : 14709330
50.09/11.34	c (4,0) c PropsBinClauses_1 : 14914944
50.09/11.34	c (4,0) c PropsBinClauses_2 : 14698918
50.09/11.34	c (4,0) c PropsBinClauses_3 : 15013491
50.09/11.34	c (4,0) c PropsBinClauses_4 : 14751604
50.09/11.34	c (4,0) c PropsBinClauses_5 : 15057889
50.09/11.34	c (4,0) c PropsBinClauses_6 : 14851511
50.09/11.34	c (4,0) c PropsBinClauses_7 : 14891815
50.09/11.34	c (4,0) c PropsBinClauses_total : 118889502
50.09/11.34	c (4,0) c PropsBinClauses_winner : 14751604
50.09/11.34	c (4,0) c PropsPreBlocker_0 : 167940082
50.09/11.34	c (4,0) c PropsPreBlocker_1 : 166906429
50.09/11.34	c (4,0) c PropsPreBlocker_2 : 167320471
50.09/11.34	c (4,0) c PropsPreBlocker_3 : 170960025
50.09/11.34	c (4,0) c PropsPreBlocker_4 : 170779750
50.09/11.34	c (4,0) c PropsPreBlocker_5 : 175540719
50.09/11.34	c (4,0) c PropsPreBlocker_6 : 167049923
50.09/11.34	c (4,0) c PropsPreBlocker_7 : 171698131
50.09/11.34	c (4,0) c PropsPreBlocker_total : 1358195530
50.09/11.34	c (4,0) c PropsPreBlocker_winner : 170779750
50.09/11.34	c (4,0) c PropsNotBlocker_0 : 57675422
50.09/11.34	c (4,0) c PropsNotBlocker_1 : 58315199
50.09/11.34	c (4,0) c PropsNotBlocker_2 : 58375961
50.09/11.34	c (4,0) c PropsNotBlocker_3 : 60060830
50.09/11.34	c (4,0) c PropsNotBlocker_4 : 56858242
50.09/11.34	c (4,0) c PropsNotBlocker_5 : 60073756
50.09/11.34	c (4,0) c PropsNotBlocker_6 : 58056213
50.09/11.34	c (4,0) c PropsNotBlocker_7 : 58555926
50.09/11.34	c (4,0) c PropsNotBlocker_total : 467971549
50.09/11.34	c (4,0) c PropsNotBlocker_winner : 56858242
50.09/11.34	c (4,0) c PropsLitFullScans_0 : 276021150
50.09/11.34	c (4,0) c PropsLitFullScans_1 : 276018155
50.09/11.34	c (4,0) c PropsLitFullScans_2 : 276020529
50.09/11.34	c (4,0) c PropsLitFullScans_3 : 282016579
50.09/11.34	c (4,0) c PropsLitFullScans_4 : 279388206
50.09/11.34	c (4,0) c PropsLitFullScans_5 : 288028155
50.09/11.34	c (4,0) c PropsLitFullScans_6 : 276015911
50.09/11.34	c (4,0) c PropsLitFullScans_7 : 282029351
50.09/11.34	c (4,0) c PropsLitFullScans_total : 2235538036
50.09/11.34	c (4,0) c PropsLitFullScans_winner : 279388206
50.09/11.34	c (4,0) c LitScanFractions_0 : 7854
50.09/11.34	c (4,0) c LitScanFractions_1 : 8285
50.09/11.34	c (4,0) c LitScanFractions_2 : 9097
50.09/11.34	c (4,0) c LitScanFractions_3 : 6075
50.09/11.34	c (4,0) c LitScanFractions_4 : 5198
50.09/11.34	c (4,0) c LitScanFractions_5 : 7224
50.09/11.34	c (4,0) c LitScanFractions_6 : 5901
50.09/11.34	c (4,0) c LitScanFractions_7 : 8455
50.09/11.34	c (4,0) c LitScanFractions_total : 58089
50.09/11.34	c (4,0) c LitScanFractions_winner : 5198
50.09/11.34	c (4,0) c DecisionLevel0_0 : 24
50.09/11.34	c (4,0) c DecisionLevel0_1 : 29
50.09/11.34	c (4,0) c DecisionLevel0_2 : 40
50.09/11.34	c (4,0) c DecisionLevel0_3 : 29
50.09/11.34	c (4,0) c DecisionLevel0_4 : 15
50.09/11.34	c (4,0) c DecisionLevel0_5 : 24
50.09/11.34	c (4,0) c DecisionLevel0_6 : 29
50.09/11.34	c (4,0) c DecisionLevel0_7 : 42
50.09/11.34	c (4,0) c DecisionLevel0_total : 232
50.09/11.34	c (4,0) c DecisionLevel0_winner : 15
50.09/11.34	c (4,0) c Periods_0 : 46
50.09/11.34	c (4,0) c Periods_1 : 46
50.09/11.34	c (4,0) c Periods_2 : 46
50.09/11.34	c (4,0) c Periods_3 : 47
50.09/11.34	c (4,0) c Periods_4 : 46
50.09/11.34	c (4,0) c Periods_5 : 48
50.09/11.34	c (4,0) c Periods_6 : 46
50.09/11.34	c (4,0) c Periods_7 : 47
50.09/11.34	c (4,0) c Periods_total : 372
50.09/11.34	c (4,0) c Periods_winner : 46
50.09/11.34	c (4,0) c Margin_0 : 20
50.09/11.34	c (4,0) c Margin_1 : 20
50.09/11.34	c (4,0) c Margin_2 : 20
50.09/11.34	c (4,0) c Margin_3 : 20
50.09/11.34	c (4,0) c Margin_4 : 20
50.09/11.34	c (4,0) c Margin_5 : 20
50.09/11.34	c (4,0) c Margin_6 : 20
50.09/11.34	c (4,0) c Margin_7 : 20
50.09/11.34	c (4,0) c Margin_total : 160
50.09/11.34	c (4,0) c Margin_winner : 20
50.09/11.34	c (4,0) c Exported_0 : 7910
50.09/11.34	c (4,0) c Exported_1 : 7778
50.09/11.34	c (4,0) c Exported_2 : 7656
50.09/11.34	c (4,0) c Exported_3 : 8429
50.09/11.34	c (4,0) c Exported_4 : 8556
50.09/11.34	c (4,0) c Exported_5 : 8456
50.09/11.34	c (4,0) c Exported_6 : 7792
50.09/11.34	c (4,0) c Exported_7 : 7876
50.09/11.34	c (4,0) c Exported_total : 64453
50.09/11.34	c (4,0) c Exported_winner : 8556
50.09/11.34	c (4,0) c Imported_0 : 30765
50.09/11.34	c (4,0) c Imported_1 : 33739
50.09/11.34	c (4,0) c Imported_2 : 27935
50.09/11.34	c (4,0) c Imported_3 : 35038
50.09/11.34	c (4,0) c Imported_4 : 35013
50.09/11.34	c (4,0) c Imported_5 : 33644
50.09/11.34	c (4,0) c Imported_6 : 33933
50.09/11.34	c (4,0) c Imported_7 : 33979
50.09/11.34	c (4,0) c Imported_total : 264046
50.09/11.34	c (4,0) c Imported_winner : 35013
50.09/11.34	c (4,0) c Good_0 : 47
50.09/11.34	c (4,0) c Good_1 : 49
50.09/11.34	c (4,0) c Good_2 : 45
50.09/11.34	c (4,0) c Good_3 : 52
50.09/11.34	c (4,0) c Good_4 : 50
50.09/11.34	c (4,0) c Good_5 : 41
50.09/11.34	c (4,0) c Good_6 : 48
50.09/11.34	c (4,0) c Good_7 : 47
50.09/11.34	c (4,0) c Good_total : 379
50.09/11.34	c (4,0) c Good_winner : 50
50.09/11.34	c (4,0) c Purge_0 : 30718
50.09/11.34	c (4,0) c Purge_1 : 33690
50.09/11.34	c (4,0) c Purge_2 : 27890
50.09/11.34	c (4,0) c Purge_3 : 34986
50.09/11.34	c (4,0) c Purge_4 : 34963
50.09/11.34	c (4,0) c Purge_5 : 33603
50.09/11.34	c (4,0) c Purge_6 : 33885
50.09/11.34	c (4,0) c Purge_7 : 33932
50.09/11.34	c (4,0) c Purge_total : 263667
50.09/11.34	c (4,0) c Purge_winner : 34963
50.09/11.34	c (4,0) c Promoted_0 : 1057
50.09/11.34	c (4,0) c Promoted_1 : 1079
50.09/11.34	c (4,0) c Promoted_2 : 1044
50.09/11.34	c (4,0) c Promoted_3 : 1160
50.09/11.34	c (4,0) c Promoted_4 : 771
50.09/11.34	c (4,0) c Promoted_5 : 1284
50.09/11.34	c (4,0) c Promoted_6 : 934
50.09/11.34	c (4,0) c Promoted_7 : 1537
50.09/11.34	c (4,0) c Promoted_total : 8866
50.09/11.34	c (4,0) c Promoted_winner : 771
50.09/11.34	c (4,0) c Remove_Imp_0 : 7928
50.09/11.34	c (4,0) c Remove_Imp_1 : 6464
50.09/11.34	c (4,0) c Remove_Imp_2 : 4853
50.09/11.34	c (4,0) c Remove_Imp_3 : 6340
50.09/11.34	c (4,0) c Remove_Imp_4 : 2953
50.09/11.34	c (4,0) c Remove_Imp_5 : 7855
50.09/11.34	c (4,0) c Remove_Imp_6 : 6602
50.09/11.34	c (4,0) c Remove_Imp_7 : 8192
50.09/11.34	c (4,0) c Remove_Imp_total : 51187
50.09/11.34	c (4,0) c Remove_Imp_winner : 2953
50.09/11.34	c (4,0) c Blocked_Reuse_0 : 0
50.09/11.34	c (4,0) c Blocked_Reuse_1 : 0
50.09/11.34	c (4,0) c Blocked_Reuse_2 : 0
50.09/11.34	c (4,0) c Blocked_Reuse_3 : 0
50.09/11.34	c (4,0) c Blocked_Reuse_4 : 0
50.09/11.34	c (4,0) c Blocked_Reuse_5 : 0
50.09/11.34	c (4,0) c Blocked_Reuse_6 : 0
50.09/11.34	c (4,0) c Blocked_Reuse_7 : 0
50.09/11.34	c (4,0) c Blocked_Reuse_total : 0
50.09/11.34	c (4,0) c Blocked_Reuse_winner : 0
50.09/11.34	c (4,0) c Unaries_0 : 0
50.09/11.34	c (4,0) c Unaries_1 : 0
50.09/11.34	c (4,0) c Unaries_2 : 0
50.09/11.34	c (4,0) c Unaries_3 : 0
50.09/11.34	c (4,0) c Unaries_4 : 0
50.09/11.34	c (4,0) c Unaries_5 : 0
50.09/11.34	c (4,0) c Unaries_6 : 0
50.09/11.34	c (4,0) c Unaries_7 : 0
50.09/11.34	c (4,0) c Unaries_total : 0
50.09/11.34	c (4,0) c Unaries_winner : 0
50.09/11.34	c (4,0) c Binaries_0 : 10
50.09/11.34	c (4,0) c Binaries_1 : 8
50.09/11.34	c (4,0) c Binaries_2 : 5
50.09/11.34	c (4,0) c Binaries_3 : 8
50.09/11.34	c (4,0) c Binaries_4 : 7
50.09/11.34	c (4,0) c Binaries_5 : 18
50.09/11.34	c (4,0) c Binaries_6 : 11
50.09/11.34	c (4,0) c Binaries_7 : 9
50.09/11.34	c (4,0) c Binaries_total : 76
50.09/11.34	c (4,0) c Binaries_winner : 7
50.09/11.34	c (4,0) c Glues_0 : 460
50.09/11.34	c (4,0) c Glues_1 : 459
50.09/11.34	c (4,0) c Glues_2 : 481
50.09/11.34	c (4,0) c Glues_3 : 506
50.09/11.34	c (4,0) c Glues_4 : 441
50.09/11.34	c (4,0) c Glues_5 : 465
50.09/11.34	c (4,0) c Glues_6 : 488
50.09/11.34	c (4,0) c Glues_7 : 505
50.09/11.34	c (4,0) c Glues_total : 3805
50.09/11.34	c (4,0) c Glues_winner : 441
50.09/11.34	c (4,0) c RunningTime_0 : 3.696154
50.09/11.35	c (4,0) c RunningTime_1 : 3.706992
50.09/11.35	c (4,0) c RunningTime_2 : 3.677782
50.09/11.35	c (4,0) c RunningTime_3 : 3.720929
50.09/11.35	c (4,0) c RunningTime_4 : 3.652872
50.09/11.35	c (4,0) c RunningTime_5 : 3.701191
50.09/11.35	c (4,0) c RunningTime_6 : 3.712439
50.09/11.35	c (4,0) c RunningTime_7 : 3.731602
50.09/11.35	c (4,0) c RunningTime_total : 29.599962
50.09/11.35	c (4,0) c RunningTime_winner : 3.652872
50.09/11.35	c (4,0) c WaitingTime_0 : 0.000037
50.09/11.35	c (4,0) c WaitingTime_1 : 0.000032
50.09/11.35	c (4,0) c WaitingTime_2 : 0.000025
50.09/11.35	c (4,0) c WaitingTime_3 : 0.000034
50.09/11.35	c (4,0) c WaitingTime_4 : 0.000034
50.09/11.35	c (4,0) c WaitingTime_5 : 0.000037
50.09/11.35	c (4,0) c WaitingTime_6 : 0.000025
50.09/11.35	c (4,0) c WaitingTime_7 : 0.000031
50.09/11.35	c (4,0) c WaitingTime_total : 0.000255
50.09/11.35	c (4,0) c WaitingTime_winner : 0.000034
50.09/11.35	c (4,0) c ExchangingTime_0 : 0.009850
50.09/11.35	c (4,0) c ExchangingTime_1 : 0.010122
50.09/11.35	c (4,0) c ExchangingTime_2 : 0.009728
50.09/11.35	c (4,0) c ExchangingTime_3 : 0.010989
50.09/11.35	c (4,0) c ExchangingTime_4 : 0.011297
50.09/11.35	c (4,0) c ExchangingTime_5 : 0.010915
50.09/11.35	c (4,0) c ExchangingTime_6 : 0.009977
50.09/11.35	c (4,0) c ExchangingTime_7 : 0.010479
50.09/11.35	c (4,0) c ExchangingTime_total : 0.083356
50.09/11.35	c (4,0) c ExchangingTime_winner : 0.011297
50.09/11.35	c (4,0) c PeriodProcTime_0 : 0.000307
50.09/11.35	c (4,0) c PeriodProcTime_1 : 0.000314
50.09/11.35	c (4,0) c PeriodProcTime_2 : 0.000332
50.09/11.35	c (4,0) c PeriodProcTime_3 : 0.000388
50.09/11.35	c (4,0) c PeriodProcTime_4 : 0.000369
50.09/11.35	c (4,0) c PeriodProcTime_5 : 0.000394
50.09/11.35	c (4,0) c PeriodProcTime_6 : 0.000328
50.09/11.35	c (4,0) c PeriodProcTime_7 : 0.000381
50.09/11.35	c (4,0) c PeriodProcTime_total : 0.002813
50.09/11.35	c (4,0) c PeriodProcTime_winner : 0.000369
50.09/11.35	c (4,0) c SolvingTime_0 : 3.706348
50.09/11.35	c (4,0) c SolvingTime_1 : 3.717460
50.09/11.35	c (4,0) c SolvingTime_2 : 3.687867
50.09/11.35	c (4,0) c SolvingTime_3 : 3.732340
50.09/11.35	c (4,0) c SolvingTime_4 : 3.664572
50.09/11.35	c (4,0) c SolvingTime_5 : 3.712537
50.09/11.35	c (4,0) c SolvingTime_6 : 3.722769
50.09/11.35	c (4,0) c SolvingTime_7 : 3.742493
50.09/11.35	c (4,0) c SolvingTime_total : 29.686386
50.09/11.35	c (4,0) c SolvingTime_winner : 3.664572
50.09/11.35	c (4,0) c PropagationTime_0 : 3.221165
50.09/11.35	c (4,0) c PropagationTime_1 : 3.240734
50.09/11.35	c (4,0) c PropagationTime_2 : 3.210226
50.09/11.35	c (4,0) c PropagationTime_3 : 3.253881
50.09/11.35	c (4,0) c PropagationTime_4 : 3.162035
50.09/11.35	c (4,0) c PropagationTime_5 : 3.226886
50.09/11.35	c (4,0) c PropagationTime_6 : 3.235282
50.09/11.35	c (4,0) c PropagationTime_7 : 3.243321
50.09/11.35	c (4,0) c PropagationTime_total : 25.793530
50.09/11.35	c (4,0) c PropagationTime_winner : 3.162035
50.09/11.35	c (4,0) c AnalysisTime_0 : 0.319525
50.09/11.35	c (4,0) c AnalysisTime_1 : 0.309891
50.09/11.35	c (4,0) c AnalysisTime_2 : 0.314269
50.09/11.35	c (4,0) c AnalysisTime_3 : 0.314901
50.09/11.35	c (4,0) c AnalysisTime_4 : 0.334221
50.09/11.35	c (4,0) c AnalysisTime_5 : 0.321692
50.09/11.35	c (4,0) c AnalysisTime_6 : 0.321629
50.09/11.35	c (4,0) c AnalysisTime_7 : 0.334159
50.09/11.35	c (4,0) c AnalysisTime_total : 2.570287
50.09/11.35	c (4,0) c AnalysisTime_winner : 0.334221
50.09/11.35	c (4,0) c ReductionTime_0 : 0.041377
50.09/11.35	c (4,0) c ReductionTime_1 : 0.040924
50.09/11.35	c (4,0) c ReductionTime_2 : 0.041681
50.09/11.35	c (4,0) c ReductionTime_3 : 0.039973
50.09/11.35	c (4,0) c ReductionTime_4 : 0.043095
50.09/11.35	c (4,0) c ReductionTime_5 : 0.041714
50.09/11.35	c (4,0) c ReductionTime_6 : 0.040574
50.09/11.35	c (4,0) c ReductionTime_7 : 0.040942
50.09/11.35	c (4,0) c ReductionTime_total : 0.330280
50.09/11.35	c (4,0) c ReductionTime_winner : 0.043095
50.09/11.35	c (4,0) c SimplifyTime_0 : 0.000001
50.09/11.35	c (4,0) c SimplifyTime_1 : 0.000005
50.09/11.35	c (4,0) c SimplifyTime_2 : 0.000003
50.09/11.35	c (4,0) c SimplifyTime_3 : 0.000003
50.09/11.35	c (4,0) c SimplifyTime_4 : 0.000000
50.09/11.35	c (4,0) c SimplifyTime_5 : 0.000003
50.09/11.35	c (4,0) c SimplifyTime_6 : 0.000003
50.09/11.35	c (4,0) c SimplifyTime_7 : 0.000003
50.09/11.35	c (4,0) c SimplifyTime_total : 0.000020
50.09/11.35	c (4,0) c SimplifyTime_winner : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_0 : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_1 : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_2 : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_3 : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_4 : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_5 : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_6 : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_7 : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_total : 0.000000
50.09/11.35	c (4,0) c UsedRateTime_winner : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_0 : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_1 : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_2 : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_3 : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_4 : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_5 : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_6 : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_7 : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_total : 0.000000
50.09/11.35	c (4,0) c OverlapRateTime_winner : 0.000000
50.09/11.35	c (4,0) c
50.09/11.35	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
50.09/11.35	c (4,0) c
50.09/11.35	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.35	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.09/11.35	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.35	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
50.09/11.35	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
50.09/11.35	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.09/11.35	c (4,0) c | Initial random_seed   |  173657604 |  123513871 |  104721304 |  167414620 |   14521069 | 1990594606 | 1161679808 |  202229923 |
50.09/11.35	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.09/11.35	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.09/11.35	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.09/11.35	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.09/11.35	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.09/11.35	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.09/11.35	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.09/11.35	c (4,0) c | var_decay             |     0.8800 |     0.8700 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8700 |     0.8800 |
50.09/11.35	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
50.09/11.35	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.09/11.35	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.09/11.35	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.09/11.35	c (4,0) 
50.09/11.35	c (4,0) s SATISFIABLE
50.09/11.37	c (4,0) SatSolver.solve End
50.09/11.37	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.09/11.37	c (4,0) Show results Begin
50.33/11.45	c (4,0) x[0] = 10
50.33/11.45	c (4,0) x[1] = 7
50.33/11.45	c (4,0) x[2] = 18
50.33/11.45	c (4,0) x[3] = 16
50.33/11.45	c (4,0) x[4] = 2
50.33/11.45	c (4,0) x[5] = 20
50.33/11.45	c (4,0) x[6] = 19
50.33/11.45	c (4,0) x[7] = 20
50.33/11.45	c (4,0) x[8] = 8
50.33/11.45	c (4,0) x[9] = 20
50.33/11.45	c (4,0) x[10] = 21
50.33/11.45	c (4,0) x[11] = 11
50.33/11.45	c (4,0) x[12] = 1
50.33/11.45	c (4,0) x[13] = 24
50.33/11.45	c (4,0) x[14] = 3
50.33/11.45	c (4,0) x[15] = 11
50.33/11.45	c (4,0) x[16] = 21
50.33/11.45	c (4,0) x[17] = 5
50.33/11.45	c (4,0) x[18] = 10
50.33/11.45	c (4,0) x[19] = 16
50.33/11.45	c (4,0) x[20] = 14
50.33/11.45	c (4,0) x[21] = 14
50.33/11.45	c (4,0) x[22] = 6
50.33/11.45	c (4,0) x[23] = 4
50.33/11.45	c (4,0) x[24] = 10
50.33/11.45	c (4,0) x[25] = 12
50.33/11.45	c (4,0) x[26] = 7
50.33/11.45	c (4,0) x[27] = 12
50.33/11.45	c (4,0) x[28] = 11
50.33/11.45	c (4,0) x[29] = 9
50.33/11.45	c (4,0) x[30] = 0
50.33/11.45	c (4,0) x[31] = 16
50.33/11.45	c (4,0) x[32] = 7
50.33/11.45	c (4,0) x[33] = 17
50.33/11.45	c (4,0) x[34] = 21
50.33/11.45	c (4,0) x[35] = 4
50.33/11.45	c (4,0) x[36] = 16
50.33/11.45	c (4,0) x[37] = 12
50.33/11.45	c (4,0) x[38] = 7
50.33/11.45	c (4,0) x[39] = 11
50.33/11.45	s SATISFIABLE
50.33/11.45	v <instantiation>
50.33/11.45	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39]</list>
50.33/11.45	v     <values>10 7 18 16 2 20 19 20 8 20 21 11 1 24 3 11 21 5 10 16 14 14 6 4 10 12 7 12 11 9 0 16 7 17 21 4 16 12 7 11</values>
50.33/11.45	v </instantiation>
50.33/11.45	c (4,0) Show results End
50.33/11.45	c (4,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
50.33/11.45	c (4,0) 4,4,STOP-AFTER(ALL)
50.33/11.45	c END-Prog: Mon Sep 23 13:49:29 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 (11997 MiB free)
  memory of node 1: 16384 MiB (13110 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100619 s]*
/proc/loadavg: 5.60 2.51 1.18 2/211 9643
/proc/meminfo: memFree=25614064/32770624 swapFree=66999244/67108860
[pid=9621] ppid=9618 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9621/stat : 9621 (scop.sh) S 9618 9621 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500194724 115843072 348 33554432000 4194304 5098028 140722304322544 140722304319800 140649128665724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30961664 140722304324388 140722304324716 140722304324716 140722304327629 0
/proc/9621/statm: 28282 348 296 221 0 87 0
[pid=9624] ppid=9621 vsize=27314120 memory=107644 CPUtime=0.1 cores=0-7
/proc/9624/stat : 9624 (java) S 9621 9621 9160 0 -1 1077944320 6470 0 0 0 9 1 0 0 20 0 20 0 500194724 27969658880 26911 33554432000 4194304 4196468 140736920866336 140736920848880 139835460583159 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
/proc/9624/statm: 6828530 26911 2799 1 0 6790935 0
[pid=9624/tid=9625] ppid=9621 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9624/task/9625/stat : 9625 (java) R 9621 9621 9160 0 -1 4202560 4587 0 0 0 7 1 0 0 20 0 20 0 500194725 27969658880 26911 33554432000 4194304 4196468 140736920866336 139835432396400 139835444626789 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9626] ppid=9621 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9624/task/9626/stat : 9626 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 26911 33554432000 4194304 4196468 140736920866336 139835464826000 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9627] ppid=9621 vsize=27314120 memory=139733952894592 CPUtime=0 cores=0-7
/proc/9624/task/9627/stat : 9627 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 26911 33554432000 4194304 4196468 140736920866336 139835278982160 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9628] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9628/stat : 9628 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 26911 33554432000 4194304 4196468 140736920866336 139835277929360 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9629] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9629/stat : 9629 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 26911 33554432000 4194304 4196468 140736920866336 139834881112848 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9630] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9630/stat : 9630 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 26911 33554432000 4194304 4196468 140736920866336 139834880060048 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9631] ppid=9621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9624/task/9631/stat : 9631 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 26911 33554432000 4194304 4196468 140736920866336 139834879007248 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9632] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9632/stat : 9632 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 26911 33554432000 4194304 4196468 140736920866336 139834877954448 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9633] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9633/stat : 9633 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 26911 33554432000 4194304 4196468 140736920866336 139834876901648 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9634] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9634/stat : 9634 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500194728 27969658880 26911 33554432000 4194304 4196468 140736920866336 139833627392880 139835460594306 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9635] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9635/stat : 9635 (java) S 9621 9621 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500194729 27969658880 26911 33554432000 4194304 4196468 140736920866336 139833397732896 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9636] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9636/stat : 9636 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194729 27969658880 26911 33554432000 4194304 4196468 140736920866336 139833129297264 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9637] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9637/stat : 9637 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 26911 33554432000 4194304 4196468 140736920866336 139832754788688 139835460601755 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9638] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9638/stat : 9638 (java) S 9621 9621 9160 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 26911 33554432000 4194304 4196468 140736920866336 139833626339696 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9639] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9639/stat : 9639 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 27423 33554432000 4194304 4196468 140736920866336 139833625286896 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9640] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9640/stat : 9640 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 27423 33554432000 4194304 4196468 140736920866336 139833624234096 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9641] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9641/stat : 9641 (java) S 9621 9621 9160 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 27423 33554432000 4194304 4196468 140736920866336 139833623181296 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9642] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9642/stat : 9642 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 27423 33554432000 4194304 4196468 140736920866336 139832256883808 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9643] ppid=9621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9624/task/9643/stat : 9643 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 27423 33554432000 4194304 4196468 140736920866336 139833622129712 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109036 KiB

[startup+0.21048 s]*
/proc/loadavg: 5.60 2.51 1.18 2/211 9643
/proc/meminfo: memFree=25592776/32770624 swapFree=66999244/67108860
[pid=9621] ppid=9618 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9621/stat : 9621 (scop.sh) S 9618 9621 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500194724 115843072 348 33554432000 4194304 5098028 140722304322544 140722304319800 140649128665724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30961664 140722304324388 140722304324716 140722304324716 140722304327629 0
/proc/9621/statm: 28282 348 296 221 0 87 0
[pid=9624] ppid=9621 vsize=27314120 memory=126704 CPUtime=0.25 cores=0-7
/proc/9624/stat : 9624 (java) S 9621 9621 9160 0 -1 1077944320 11953 0 0 0 22 3 0 0 20 0 20 0 500194724 27969658880 31676 33554432000 4194304 4196468 140736920866336 140736920848880 139835460583159 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
/proc/9624/statm: 6828530 31676 2924 1 0 6790935 0
[pid=9624/tid=9625] ppid=9621 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9624/task/9625/stat : 9625 (java) R 9621 9621 9160 0 -1 4202560 9692 0 0 0 17 2 0 0 20 0 20 0 500194725 27969658880 31676 33554432000 4194304 4196468 140736920866336 139835432415168 139835442146715 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9626] ppid=9621 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/9624/task/9626/stat : 9626 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 31676 33554432000 4194304 4196468 140736920866336 139835464826000 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9627] ppid=9621 vsize=27314120 memory=139733952915571 CPUtime=0 cores=0-7
/proc/9624/task/9627/stat : 9627 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 31676 33554432000 4194304 4196468 140736920866336 139835278982160 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9628] ppid=9621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9624/task/9628/stat : 9628 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 31676 33554432000 4194304 4196468 140736920866336 139835277929360 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9629] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9629/stat : 9629 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 31676 33554432000 4194304 4196468 140736920866336 139834881112848 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9630] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9630/stat : 9630 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 31676 33554432000 4194304 4196468 140736920866336 139834880060048 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9631] ppid=9621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9624/task/9631/stat : 9631 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 31676 33554432000 4194304 4196468 140736920866336 139834879007248 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9632] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9632/stat : 9632 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 31676 33554432000 4194304 4196468 140736920866336 139834877954448 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9633] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9633/stat : 9633 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 31676 33554432000 4194304 4196468 140736920866336 139834876901648 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9634] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9634/stat : 9634 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500194728 27969658880 31676 33554432000 4194304 4196468 140736920866336 139833627392880 139835460594306 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9635] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9635/stat : 9635 (java) S 9621 9621 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500194729 27969658880 31676 33554432000 4194304 4196468 140736920866336 139833397732896 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9636] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9636/stat : 9636 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194729 27969658880 31676 33554432000 4194304 4196468 140736920866336 139833129297264 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9637] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9637/stat : 9637 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 31676 33554432000 4194304 4196468 140736920866336 139832754788688 139835460601755 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9638] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9638/stat : 9638 (java) S 9621 9621 9160 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 31676 33554432000 4194304 4196468 140736920866336 139833626339696 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9639] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9639/stat : 9639 (java) S 9621 9621 9160 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 31676 33554432000 4194304 4196468 140736920866336 139833625286896 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9640] ppid=9621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9624/task/9640/stat : 9640 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 31676 33554432000 4194304 4196468 140736920866336 139833624234096 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9641] ppid=9621 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9624/task/9641/stat : 9641 (java) S 9621 9621 9160 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 20 0 500194732 27969658880 31676 33554432000 4194304 4196468 140736920866336 139833623181296 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9642] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9642/stat : 9642 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 31676 33554432000 4194304 4196468 140736920866336 139832256883808 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9643] ppid=9621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9624/task/9643/stat : 9643 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 31676 33554432000 4194304 4196468 140736920866336 139833622129712 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128096 KiB

[startup+0.310337 s]*
/proc/loadavg: 5.60 2.51 1.18 2/211 9643
/proc/meminfo: memFree=25589956/32770624 swapFree=66999244/67108860
[pid=9621] ppid=9618 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9621/stat : 9621 (scop.sh) S 9618 9621 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500194724 115843072 348 33554432000 4194304 5098028 140722304322544 140722304319800 140649128665724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30961664 140722304324388 140722304324716 140722304324716 140722304327629 0
/proc/9621/statm: 28282 348 296 221 0 87 0
[pid=9624] ppid=9621 vsize=27314120 memory=130388 CPUtime=0.43 cores=0-7
/proc/9624/stat : 9624 (java) S 9621 9621 9160 0 -1 1077944320 12931 0 0 0 39 4 0 0 20 0 20 0 500194724 27969658880 32597 33554432000 4194304 4196468 140736920866336 140736920848880 139835460583159 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
/proc/9624/statm: 6828530 32597 3037 1 0 6790935 0
[pid=9624/tid=9625] ppid=9621 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9624/task/9625/stat : 9625 (java) R 9621 9621 9160 0 -1 4202560 10497 0 0 0 26 3 0 0 20 0 20 0 500194725 27969658880 32597 33554432000 4194304 4196468 140736920866336 139835432366176 139835440854896 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9626] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9626/stat : 9626 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 32597 33554432000 4194304 4196468 140736920866336 139835464826000 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9627] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9627/stat : 9627 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 32597 33554432000 4194304 4196468 140736920866336 139835278982160 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9628] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9628/stat : 9628 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 32597 33554432000 4194304 4196468 140736920866336 139835277929360 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9629] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9629/stat : 9629 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 32597 33554432000 4194304 4196468 140736920866336 139834881112848 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9630] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9630/stat : 9630 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 32597 33554432000 4194304 4196468 140736920866336 139834880060048 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9631] ppid=9621 vsize=27314120 memory=139733808278191 CPUtime=0 cores=0-7
/proc/9624/task/9631/stat : 9631 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 32597 33554432000 4194304 4196468 140736920866336 139834879007248 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9632] ppid=9621 vsize=27314120 memory=139733808280496 CPUtime=0 cores=0-7
/proc/9624/task/9632/stat : 9632 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 32597 33554432000 4194304 4196468 140736920866336 139834877954448 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9633] ppid=9621 vsize=27314120 memory=139733808282800 CPUtime=0 cores=0-7
/proc/9624/task/9633/stat : 9633 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27969658880 32597 33554432000 4194304 4196468 140736920866336 139834876901648 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9634] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9634/stat : 9634 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500194728 27969658880 32597 33554432000 4194304 4196468 140736920866336 139833627392880 139835460594306 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9635] ppid=9621 vsize=27314120 memory=279467616579472 CPUtime=0 cores=0-7
/proc/9624/task/9635/stat : 9635 (java) S 9621 9621 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500194729 27969658880 32597 33554432000 4194304 4196468 140736920866336 139833397732896 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9636] ppid=9621 vsize=27314120 memory=279467616577168 CPUtime=0 cores=0-7
/proc/9624/task/9636/stat : 9636 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194729 27969658880 32597 33554432000 4194304 4196468 140736920866336 139833129297264 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9637] ppid=9621 vsize=27314120 memory=279467616584080 CPUtime=0 cores=0-7
/proc/9624/task/9637/stat : 9637 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 32597 33554432000 4194304 4196468 140736920866336 139832754788688 139835460601755 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9638] ppid=9621 vsize=27314120 memory=279467616525360 CPUtime=0.01 cores=0-7
/proc/9624/task/9638/stat : 9638 (java) S 9621 9621 9160 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 20 0 500194732 27969658880 32597 33554432000 4194304 4196468 140736920866336 139833626339696 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9639] ppid=9621 vsize=27314120 memory=279467616597904 CPUtime=0 cores=0-7
/proc/9624/task/9639/stat : 9639 (java) S 9621 9621 9160 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 32597 33554432000 4194304 4196468 140736920866336 139833625286896 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9640] ppid=9621 vsize=27314120 memory=279467616604816 CPUtime=0.01 cores=0-7
/proc/9624/task/9640/stat : 9640 (java) S 9621 9621 9160 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 500194732 27969658880 32597 33554432000 4194304 4196468 140736920866336 139833624234096 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9641] ppid=9621 vsize=27314120 memory=279467616602512 CPUtime=0.07 cores=0-7
/proc/9624/task/9641/stat : 9641 (java) S 9621 9621 9160 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 20 0 500194732 27969658880 32597 33554432000 4194304 4196468 140736920866336 139833623181296 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9642] ppid=9621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9642/stat : 9642 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 32597 33554432000 4194304 4196468 140736920866336 139832256883808 139835460593365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9643] ppid=9621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9624/task/9643/stat : 9643 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194732 27969658880 32597 33554432000 4194304 4196468 140736920866336 139833622129712 139835460594306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131780 KiB

[startup+0.709354 s]
/proc/loadavg: 5.60 2.51 1.18 2/211 9643
/proc/meminfo: memFree=25570096/32770624 swapFree=66999244/67108860
[pid=9621] ppid=9618 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9621/stat : 9621 (scop.sh) S 9618 9621 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500194724 115843072 348 33554432000 4194304 5098028 140722304322544 140722304319800 140649128665724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30961664 140722304324388 140722304324716 140722304324716 140722304327629 0
/proc/9621/statm: 28282 348 296 221 0 87 0
[pid=9624] ppid=9621 vsize=27320392 memory=167336 CPUtime=1.03 cores=0-7
/proc/9624/stat : 9624 (java) S 9621 9621 9160 0 -1 1077944320 20006 0 0 0 97 6 0 0 20 0 20 0 500194724 27976081408 41834 33554432000 4194304 4196468 140736920866336 140736920848880 139835460583159 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
/proc/9624/statm: 6830098 41834 3187 1 0 6791447 0
[pid=9624/tid=9625] ppid=9621 vsize=27320392 memory=0 CPUtime=0.69 cores=0-7
/proc/9624/task/9625/stat : 9625 (java) R 9621 9621 9160 0 -1 4202560 16965 0 0 0 64 5 0 0 20 0 20 0 500194725 27976081408 41834 33554432000 4194304 4196468 140736920866336 139835432410952 139835444663646 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9626] ppid=9621 vsize=27320392 memory=139733808489328 CPUtime=0 cores=0-7
/proc/9624/task/9626/stat : 9626 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27976081408 41834 33554432000 4194304 4196468 140736920866336 139835464826000 139835460593365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9627] ppid=9621 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9624/task/9627/stat : 9627 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500194727 27976081408 41834 33554432000 4194304 4196468 140736920866336 139835278982160 139835460593365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0
[pid=9624/tid=9628] ppid=9621 vsize=27320392 memory=1004 CPUtime=0 cores=0-7
/proc/9624/task/9628/stat : 9628 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500194727 27976081408 41834 33554432000 4194304 4196468 140736920866336 139835277929360 139835460593365 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13594624 140736920867563 140736920867990 140736920867990 140736920870863 0

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

/proc/9646/task/9658/stat : 9658 (java) S 9621 9621 9160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500195409 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819036431472 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9659] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9659/stat : 9659 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139818661926992 139820578563995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9660] ppid=9621 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/9646/task/9660/stat : 9660 (java) S 9621 9621 9160 0 -1 1077944384 558 0 0 0 7 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819805039216 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9661] ppid=9621 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/9646/task/9661/stat : 9661 (java) S 9621 9621 9160 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819803986416 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9662] ppid=9621 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/9646/task/9662/stat : 9662 (java) S 9621 9621 9160 0 -1 1077944384 312 0 0 0 6 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819802934128 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9663] ppid=9621 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/9646/task/9663/stat : 9663 (java) S 9621 9621 9160 0 -1 1077944384 535 0 0 0 19 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819801881328 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9664] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9664/stat : 9664 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500195412 8616062976 29586 33554432000 4194304 4196468 140728207776992 139818164021600 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9665] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9665/stat : 9665 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500195412 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819800828208 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9667] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9667/stat : 9667 (java) S 9621 9621 9160 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500195478 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819792794944 139820578570009 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9669] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9669/stat : 9669 (java) S 9621 9621 9160 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500195478 8616062976 29586 33554432000 4194304 4196468 140728207776992 139817492922256 139820578567325 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9670] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9670/stat : 9670 (java) S 9621 9621 9160 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500195478 8616062976 29586 33554432000 4194304 4196468 140728207776992 139817761357584 139820578567325 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9671] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9671/stat : 9671 (java) S 9621 9621 9160 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500195480 8616062976 29586 33554432000 4194304 4196468 140728207776992 139817224494896 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
Current children cumulated CPU time: 42.99 s
Current children cumulated vsize: 9166944 KiB
Current children cumulated memory: 229392 KiB

[startup+11.2067 s]
/proc/loadavg: 5.59 2.61 1.23 9/224 9679
/proc/meminfo: memFree=25478860/32770624 swapFree=66999244/67108860
[pid=9621] ppid=9618 vsize=113128 memory=1472 CPUtime=19.39 cores=0-7
/proc/9621/stat : 9621 (scop.sh) S 9618 9621 9160 0 -1 4202496 582 39520 0 0 0 0 1891 48 20 0 1 0 500194724 115843072 368 33554432000 4194304 5098028 140722304322544 140722304319288 140649128665724 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30961664 140722304324388 140722304324716 140722304324716 140722304327629 0
/proc/9621/statm: 28282 368 311 221 0 87 0
[pid=9646] ppid=9621 vsize=8414124 memory=118344 CPUtime=1.16 cores=0-7
/proc/9646/stat : 9646 (java) S 9621 9621 9160 0 -1 1077944320 20553 0 0 0 108 8 0 0 20 0 24 0 500195405 8616062976 29586 33554432000 4194304 4196468 140728207776992 140728207759536 139820578545399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
/proc/9646/statm: 2103531 29586 3198 1 0 2064875 0
[pid=9666] ppid=9646 vsize=639692 memory=130396 CPUtime=28.85 cores=0-7
/proc/9666/stat : 9666 (manyglucose-4.1) S 9646 9621 9160 0 -1 1077944320 56961 0 0 0 2872 13 0 0 20 0 9 0 500195478 655044608 32599 33554432000 4194304 4454172 140725273526352 140725273524752 140218154965634 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
/proc/9666/statm: 159923 32599 402 64 0 155591 0
[pid=9666/tid=9672] ppid=9646 vsize=639692 memory=143 CPUtime=3.6 cores=0-7
/proc/9666/task/9672/stat : 9672 (manyglucose-4.1) R 9646 9621 9160 0 -1 4202560 7259 0 0 0 358 2 0 0 20 0 9 0 500195483 655044608 32599 33554432000 4194304 4454172 140725273526352 140218133585000 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
[pid=9666/tid=9673] ppid=9646 vsize=639692 memory=2 CPUtime=3.6 cores=0-7
/proc/9666/task/9673/stat : 9673 (manyglucose-4.1) R 9646 9621 9160 0 -1 4202560 6150 0 0 0 359 1 0 0 20 0 9 0 500195483 655044608 32599 33554432000 4194304 4454172 140725273526352 140218125192296 4333013 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
[pid=9666/tid=9674] ppid=9646 vsize=639692 memory=0 CPUtime=3.61 cores=0-7
/proc/9666/task/9674/stat : 9674 (manyglucose-4.1) R 9646 9621 9160 0 -1 4202560 6161 0 0 0 359 2 0 0 20 0 9 0 500195483 655044608 32599 33554432000 4194304 4454172 140725273526352 140218116799336 4351800 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
[pid=9666/tid=9675] ppid=9646 vsize=639692 memory=0 CPUtime=3.58 cores=0-7
/proc/9666/task/9675/stat : 9675 (manyglucose-4.1) R 9646 9621 9160 0 -1 4202560 6231 0 0 0 357 1 0 0 20 0 9 0 500195483 655044608 32599 33554432000 4194304 4454172 140725273526352 140218108406632 4351289 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
[pid=9666/tid=9676] ppid=9646 vsize=639692 memory=0 CPUtime=3.6 cores=0-7
/proc/9666/task/9676/stat : 9676 (manyglucose-4.1) R 9646 9621 9160 0 -1 4202560 6873 0 0 0 360 0 0 0 20 0 9 0 500195483 655044608 32599 33554432000 4194304 4454172 140725273526352 140218100014184 4349826 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
[pid=9666/tid=9677] ppid=9646 vsize=639692 memory=55 CPUtime=3.6 cores=0-7
/proc/9666/task/9677/stat : 9677 (manyglucose-4.1) R 9646 9621 9160 0 -1 4202560 6074 0 0 0 359 1 0 0 20 0 9 0 500195483 655044608 32599 33554432000 4194304 4454172 140725273526352 140218091621480 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
[pid=9666/tid=9678] ppid=9646 vsize=639692 memory=7014751519583457642 CPUtime=3.61 cores=0-7
/proc/9666/task/9678/stat : 9678 (manyglucose-4.1) R 9646 9621 9160 0 -1 4202560 6592 0 0 0 360 1 0 0 20 0 9 0 500195483 655044608 32599 33554432000 4194304 4454172 140725273526352 140218083228776 4351552 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
[pid=9666/tid=9679] ppid=9646 vsize=639692 memory=0 CPUtime=3.54 cores=0-7
/proc/9666/task/9679/stat : 9679 (manyglucose-4.1) R 9646 9621 9160 0 -1 4202560 5831 0 0 0 353 1 0 0 20 0 9 0 500195483 655044608 32599 33554432000 4194304 4454172 140725273526352 140218074835816 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 26972160 140725273531242 140725273531440 140725273531440 140725273534394 0
[pid=9646/tid=9647] ppid=9621 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7
/proc/9646/task/9647/stat : 9647 (java) S 9621 9621 9160 0 -1 1077944384 17446 0 0 0 69 6 0 0 20 0 24 0 500195406 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820550385568 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9648] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9648/stat : 9648 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500195407 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820582787472 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9649] ppid=9621 vsize=8414124 memory=139733808883600 CPUtime=0 cores=0-7
/proc/9646/task/9649/stat : 9649 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500195407 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820382955792 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9650] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9650/stat : 9650 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500195407 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820381903504 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9651] ppid=9621 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/9646/task/9651/stat : 9651 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500195407 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820380850704 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9652] ppid=9621 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/9646/task/9652/stat : 9652 (java) S 9621 9621 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500195407 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820379798416 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9653] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9653/stat : 9653 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500195407 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820059847440 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9654] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9654/stat : 9654 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500195407 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820058795152 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9655] ppid=9621 vsize=8414124 memory=279467617397440 CPUtime=0 cores=0-7
/proc/9646/task/9655/stat : 9655 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500195407 8616062976 29586 33554432000 4194304 4196468 140728207776992 139820057742352 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9656] ppid=9621 vsize=8414124 memory=139733808715136 CPUtime=0 cores=0-7
/proc/9646/task/9656/stat : 9656 (java) S 9621 9621 9160 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500195408 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819806091376 139820578556546 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9657] ppid=9621 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9646/task/9657/stat : 9657 (java) S 9621 9621 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500195409 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819170652960 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9658] ppid=9621 vsize=8414124 memory=-2893623298589923098 CPUtime=0 cores=0-7
/proc/9646/task/9658/stat : 9658 (java) S 9621 9621 9160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500195409 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819036431472 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9659] ppid=9621 vsize=8414124 memory=-4695052241013923951 CPUtime=0 cores=0-7
/proc/9646/task/9659/stat : 9659 (java) S 9621 9621 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139818661926992 139820578563995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9660] ppid=9621 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/9646/task/9660/stat : 9660 (java) S 9621 9621 9160 0 -1 1077944384 558 0 0 0 7 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819805039216 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9661] ppid=9621 vsize=8414124 memory=279467617423936 CPUtime=0.04 cores=0-7
/proc/9646/task/9661/stat : 9661 (java) S 9621 9621 9160 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819803986416 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9662] ppid=9621 vsize=8414124 memory=1472 CPUtime=0.06 cores=0-7
/proc/9646/task/9662/stat : 9662 (java) S 9621 9621 9160 0 -1 1077944384 312 0 0 0 6 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819802934128 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9663] ppid=9621 vsize=8414124 memory=118344 CPUtime=0.19 cores=0-7
/proc/9646/task/9663/stat : 9663 (java) S 9621 9621 9160 0 -1 1077944384 535 0 0 0 19 0 0 0 20 0 24 0 500195411 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819801881328 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9664] ppid=9621 vsize=8414124 memory=79312 CPUtime=0 cores=0-7
/proc/9646/task/9664/stat : 9664 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500195412 8616062976 29586 33554432000 4194304 4196468 140728207776992 139818164021600 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9665] ppid=9621 vsize=8414124 memory=6072 CPUtime=0 cores=0-7
/proc/9646/task/9665/stat : 9665 (java) S 9621 9621 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500195412 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819800828208 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9667] ppid=9621 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9646/task/9667/stat : 9667 (java) S 9621 9621 9160 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500195478 8616062976 29586 33554432000 4194304 4196468 140728207776992 139819792794944 139820578570009 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9669] ppid=9621 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/9646/task/9669/stat : 9669 (java) S 9621 9621 9160 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500195478 8616062976 29586 33554432000 4194304 4196468 140728207776992 139817492922256 139820578567325 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9670] ppid=9621 vsize=8414124 memory=34016 CPUtime=0 cores=0-7
/proc/9646/task/9670/stat : 9670 (java) S 9621 9621 9160 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500195478 8616062976 29586 33554432000 4194304 4196468 140728207776992 139817761357584 139820578567325 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9671] ppid=9621 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/9646/task/9671/stat : 9671 (java) S 9621 9621 9160 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500195480 8616062976 29586 33554432000 4194304 4196468 140728207776992 139817224494896 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
Current children cumulated CPU time: 49.4 s
Current children cumulated vsize: 9166944 KiB
Current children cumulated memory: 250212 KiB

[startup+11.4013 s]
/proc/loadavg: 5.59 2.61 1.23 9/224 9679
/proc/meminfo: memFree=25478860/32770624 swapFree=66999244/67108860
[pid=9621] ppid=9618 vsize=113128 memory=1472 CPUtime=19.39 cores=0-7
/proc/9621/stat : 9621 (scop.sh) S 9618 9621 9160 0 -1 4202496 582 39520 0 0 0 0 1891 48 20 0 1 0 500194724 115843072 368 33554432000 4194304 5098028 140722304322544 140722304319288 140649128665724 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30961664 140722304324388 140722304324716 140722304324716 140722304327629 0
/proc/9621/statm: 28282 368 311 221 0 87 0
[pid=9646] ppid=9621 vsize=8283048 memory=119456 CPUtime=30.94 cores=0-7
/proc/9646/stat : 9646 (java) S 9621 9621 9160 0 -1 1077944320 20866 57366 0 0 122 8 2950 14 20 0 22 0 500195405 8481841152 29864 33554432000 4194304 4196468 140728207776992 140728207759536 139820578545399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
/proc/9646/statm: 2070762 29864 3214 1 0 2032106 0
[pid=9646/tid=9647] ppid=9621 vsize=8283048 memory=1004 CPUtime=30.42 cores=0-7
/proc/9646/task/9647/stat : 9647 (java) R 9621 9621 9160 0 -1 4202560 17584 57366 0 0 72 6 2950 14 20 0 22 0 500195406 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820550383792 139820578557334 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9648] ppid=9621 vsize=8283048 memory=6072 CPUtime=29.64 cores=0-7
/proc/9646/task/9648/stat : 9648 (java) S 9621 9621 9160 0 -1 1077944384 1 57366 0 0 0 0 2950 14 20 0 22 0 500195407 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820582787472 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9649] ppid=9621 vsize=8283048 memory=14008 CPUtime=29.64 cores=0-7
/proc/9646/task/9649/stat : 9649 (java) S 9621 9621 9160 0 -1 1077944384 1 57366 0 0 0 0 2950 14 20 0 22 0 500195407 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820382955792 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9650] ppid=9621 vsize=8283048 memory=2124 CPUtime=29.64 cores=0-7
/proc/9646/task/9650/stat : 9650 (java) S 9621 9621 9160 0 -1 1077944384 2 57366 0 0 0 0 2950 14 20 0 22 0 500195407 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820381903504 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9651] ppid=9621 vsize=8283048 memory=34016 CPUtime=29.64 cores=0-7
/proc/9646/task/9651/stat : 9651 (java) S 9621 9621 9160 0 -1 1077944384 2 57366 0 0 0 0 2950 14 20 0 22 0 500195407 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820380850704 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9652] ppid=9621 vsize=8283048 memory=12024 CPUtime=29.64 cores=0-7
/proc/9646/task/9652/stat : 9652 (java) S 9621 9621 9160 0 -1 1077944384 2 57366 0 0 0 0 2950 14 20 0 22 0 500195407 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820379798416 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9653] ppid=9621 vsize=8283048 memory=500 CPUtime=29.64 cores=0-7
/proc/9646/task/9653/stat : 9653 (java) S 9621 9621 9160 0 -1 1077944384 1 57366 0 0 0 0 2950 14 20 0 22 0 500195407 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820059847440 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9654] ppid=9621 vsize=8283048 memory=1560 CPUtime=29.64 cores=0-7
/proc/9646/task/9654/stat : 9654 (java) S 9621 9621 9160 0 -1 1077944384 1 57366 0 0 0 0 2950 14 20 0 22 0 500195407 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820058795152 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9655] ppid=9621 vsize=8283048 memory=932 CPUtime=29.64 cores=0-7
/proc/9646/task/9655/stat : 9655 (java) S 9621 9621 9160 0 -1 1077944384 3 57366 0 0 0 0 2950 14 20 0 22 0 500195407 8481841152 29864 33554432000 4194304 4196468 140728207776992 139820057742352 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9656] ppid=9621 vsize=8283048 memory=3768 CPUtime=29.64 cores=0-7
/proc/9646/task/9656/stat : 9656 (java) S 9621 9621 9160 0 -1 1077944384 7 57366 0 0 0 0 2950 14 20 0 22 0 500195408 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819806091376 139820578556546 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9657] ppid=9621 vsize=8283048 memory=1980 CPUtime=29.64 cores=0-7
/proc/9646/task/9657/stat : 9657 (java) S 9621 9621 9160 0 -1 1077944384 13 57366 0 0 0 0 2950 14 20 0 22 0 500195409 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819170652960 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9658] ppid=9621 vsize=8283048 memory=288230574492221466 CPUtime=29.64 cores=0-7
/proc/9646/task/9658/stat : 9658 (java) S 9621 9621 9160 0 -1 1077944384 21 57366 0 0 0 0 2950 14 20 0 22 0 500195409 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819036431472 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9659] ppid=9621 vsize=8283048 memory=288230596050944315 CPUtime=29.64 cores=0-7
/proc/9646/task/9659/stat : 9659 (java) S 9621 9621 9160 0 -1 1077944384 1 57366 0 0 0 0 2950 14 20 0 22 0 500195411 8481841152 29864 33554432000 4194304 4196468 140728207776992 139818661926992 139820578563995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9660] ppid=9621 vsize=8283048 memory=13848573129264102 CPUtime=29.72 cores=0-7
/proc/9646/task/9660/stat : 9660 (java) S 9621 9621 9160 0 -1 1077944384 565 57366 0 0 8 0 2950 14 20 0 22 0 500195411 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819805039216 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9661] ppid=9621 vsize=8283048 memory=4126316290023845779 CPUtime=29.69 cores=0-7
/proc/9646/task/9661/stat : 9661 (java) S 9621 9621 9160 0 -1 1077944384 283 57366 0 0 5 0 2950 14 20 0 22 0 500195411 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819803986416 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9662] ppid=9621 vsize=8283048 memory=17750 CPUtime=29.71 cores=0-7
/proc/9646/task/9662/stat : 9662 (java) S 9621 9621 9160 0 -1 1077944384 323 57366 0 0 7 0 2950 14 20 0 22 0 500195411 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819802934128 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9663] ppid=9621 vsize=8283048 memory=33 CPUtime=29.87 cores=0-7
/proc/9646/task/9663/stat : 9663 (java) R 9621 9621 9160 0 -1 4202560 628 57366 0 0 23 0 2950 14 20 0 22 0 500195411 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819801881328 139820578566746 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9664] ppid=9621 vsize=8283048 memory=1476 CPUtime=29.64 cores=0-7
/proc/9646/task/9664/stat : 9664 (java) S 9621 9621 9160 0 -1 1077944384 3 57366 0 0 0 0 2950 14 20 0 22 0 500195412 8481841152 29864 33554432000 4194304 4196468 140728207776992 139818164021600 139820578555605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9665] ppid=9621 vsize=8283048 memory=4890 CPUtime=29.64 cores=0-7
/proc/9646/task/9665/stat : 9665 (java) S 9621 9621 9160 0 -1 1077944384 3 57366 0 0 0 0 2950 14 20 0 22 0 500195412 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819800828208 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9667] ppid=9621 vsize=8283048 memory=6943526294502006880 CPUtime=29.64 cores=0-7
/proc/9646/task/9667/stat : 9667 (java) S 9621 9621 9160 0 -1 1077944384 29 57366 0 0 0 0 2950 14 20 0 22 0 500195478 8481841152 29864 33554432000 4194304 4196468 140728207776992 139819792794128 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
[pid=9646/tid=9671] ppid=9621 vsize=8283048 memory=7523640771306940786 CPUtime=29.64 cores=0-7
/proc/9646/task/9671/stat : 9671 (java) S 9621 9621 9160 0 -1 1077944384 13 57366 0 0 0 0 2950 14 20 0 22 0 500195480 8481841152 29864 33554432000 4194304 4196468 140728207776992 139817224496688 139820578556546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9134080 140728207778808 140728207778966 140728207778966 140728207781839 0
Current children cumulated CPU time: 50.33 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 120928 KiB

Child status: 0
Real time (s): 11.4737
CPU time (s): 50.464
CPU user time (s): 49.7348
CPU system time (s): 0.729221
CPU usage (%): 439.823
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 2132940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.7348
system time used= 0.729221
maximum resident set size= 2137884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10567
involuntary context switches= 370


# summary of solver processes directly reported to runsolver:
#   pid: 9621
#   total CPU time (s): 50.464
#   total CPU user time (s): 49.7348
#   total CPU system time (s): 0.729221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.119916 second user time and 0.17616 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-23 13:49:17
IDJOB=4405439
IDBENCH=122262
IDSOLVER=2868
FILE ID=node103/4405439-1569239417
RUNJOBID= node103-1569238572-9187
PBS_JOBID= 21704917
Free space on /tmp= 20856 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Random/Random-D-t050/rand-2-40-25-180-050-34.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405439-1569239417/watcher-4405439-1569239417 -o /tmp/evaluation-result-4405439-1569239417/solver-4405439-1569239417 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569238572-9187 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405439-1569239417.xml

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

MD5SUM BENCH= 2b23d7f384de8bee09908163d3005f80
RANDOM SEED=2008324969

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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	: 5333.74
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	: 5333.74
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	: 5333.74
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:        25710752 kB
MemAvailable:   31856796 kB
Buffers:           83324 kB
Cached:          6344448 kB
SwapCached:         6972 kB
Active:          3185988 kB
Inactive:        3257204 kB
Active(anon):       4352 kB
Inactive(anon):    67800 kB
Active(file):    3181636 kB
Inactive(file):  3189404 kB
Unevictable:      107192 kB
Mlocked:          107192 kB
SwapTotal:      67108860 kB
SwapFree:       66999244 kB
Dirty:             21040 kB
Writeback:             0 kB
AnonPages:        119212 kB
Mapped:            55176 kB
Shmem:             49072 kB
Slab:             210304 kB
SReclaimable:     181676 kB
SUnreclaim:        28628 kB
KernelStack:        3696 kB
PageTables:         5712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20836 MiB
End job on node103 at 2019-09-23 13:49:29