Trace number 4405223

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 155.935 39.4415

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-21.xml
MD5SUMab3cfdf6220e1af184bc3e02e1fbde1d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark45.669
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains65
Minimum domain size516
Maximum domain size611
Distribution of domain sizes[{"size":516,"count":6},{"size":517,"count":6},{"size":518,"count":4},{"size":519,"count":2},{"size":520,"count":4},{"size":521,"count":2},{"size":522,"count":2},{"size":523,"count":2},{"size":524,"count":2},{"size":526,"count":2},{"size":527,"count":8},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":2},{"size":533,"count":2},{"size":540,"count":2},{"size":541,"count":4},{"size":542,"count":2},{"size":543,"count":2},{"size":544,"count":4},{"size":545,"count":2},{"size":546,"count":8},{"size":547,"count":2},{"size":548,"count":2},"...",{"size":571,"count":2}, {"size":572,"count":2}, {"size":573,"count":2}, {"size":574,"count":2}, {"size":575,"count":6}, {"size":576,"count":4}, {"size":579,"count":4}, {"size":580,"count":2}, {"size":582,"count":4}, {"size":584,"count":6}, {"size":585,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":2}, {"size":591,"count":2}, {"size":593,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":601,"count":6}, {"size":602,"count":2}, {"size":605,"count":2}, {"size":607,"count":4}, {"size":610,"count":2}, {"size":611,"count":2}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19915-serial-file.bin HOME/instance-4405223-1569357156.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 22:31:56 CEST 2019
0.66/0.56	c PID: 19918
0.66/0.56	c IP: 172.20.3.151
0.66/0.56	c HOST: node151.alineos.net
0.66/0.57	c (0,0) Parsing Begin
4.41/1.56	c (1,1) Parsing End
4.41/1.57	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 611
4.41/1.57	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.41/1.57	c (1,1) Constraint Name Generate Begin
4.83/1.60	c (1,1) Ctr:HOME/instance-4405223-1569357156.xml,Add:Le:Ne:Num:Or:Var
4.83/1.60	c (1,1) Constraint Name Generate End
4.83/1.60	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.83/1.60	c (1,1) CSP to CSPinCNF Begin
5.57/1.83	c (1,1) translated 280 (10%) constraints
5.57/1.88	c (1,1) translated 560 (20%) constraints
5.87/1.91	c (1,1) translated 840 (30%) constraints
5.87/1.94	c (1,1) translated 1120 (40%) constraints
5.87/1.96	c (1,1) translated 1400 (50%) constraints
5.87/1.99	c (1,1) translated 1680 (60%) constraints
6.29/2.01	c (1,1) translated 1960 (70%) constraints
6.29/2.03	c (1,1) translated 2240 (80%) constraints
6.29/2.05	c (1,1) translated 2520 (90%) constraints
6.29/2.07	c (1,1) translated 2800 (100%) constraints
6.29/2.07	c (1,1) ===========================================
6.29/2.07	c (1,1) Order
6.29/2.07	c (1,1) ===========================================
6.29/2.09	c (1,1) translated 280 (10%) constraints
6.29/2.10	c (1,1) translated 560 (20%) constraints
6.69/2.12	c (1,1) translated 840 (30%) constraints
6.69/2.13	c (1,1) translated 1120 (40%) constraints
6.69/2.14	c (1,1) translated 1400 (50%) constraints
6.69/2.15	c (1,1) translated 1680 (60%) constraints
6.69/2.17	c (1,1) translated 1960 (70%) constraints
6.69/2.18	c (1,1) translated 2240 (80%) constraints
6.69/2.19	c (1,1) translated 2520 (90%) constraints
7.06/2.20	c (1,1) translated 2800 (100%) constraints
7.06/2.21	c (1,1) CSP to CSPinCNF End
7.06/2.21	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 611
7.06/2.21	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.06/2.21	c (1,1) CSPinCNF Propagation Begin
7.06/2.27	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.06/2.27	c (1,1) CSPinCNF Propagation End
7.06/2.27	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 611
7.06/2.27	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.06/2.27	c (1,1) Simplify CSPinCNF Begin
7.91/2.47	c (1,1) Simplify CSPinCNF End
7.91/2.48	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 611
7.91/2.48	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.91/2.48	c (1,1) Calculate Precise Domain Begin
7.91/2.48	c (1,1) 0 values are removed by re-calculation
7.91/2.48	c (1,1) Calculate Precise Domain End
7.91/2.48	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 611
7.91/2.48	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.91/2.48	c (1,1) CSPinCNF to SatSolver Begin
11.90/4.34	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 399204 SAT clauses)
13.04/5.47	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 675506 SAT clauses)
14.31/6.60	c (6,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 954122 SAT clauses)
15.41/7.72	c (7,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1232987 SAT clauses)
16.80/8.91	c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1522586 SAT clauses)
17.81/9.93	c (9,9) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1805779 SAT clauses)
18.83/10.90	c (10,10) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2086910 SAT clauses)
19.79/11.89	c (11,11) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2373014 SAT clauses)
20.79/12.87	c (12,12) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2655184 SAT clauses)
21.98/14.22	c (13,13) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2948586 SAT clauses)
21.98/14.22	c (13,13) CSPinCNF to SatSolver End
21.98/14.22	c (13,13) Heap : 5218 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.98/14.22	c (13,13) 117034 bool, 2949104 clause
21.98/14.22	c (13,13) Export Begin
22.12/14.32	c (13,13) Export to HOME/scop-19915-serial-file.bin
22.12/14.32	c (13,13) Export End
22.12/14.32	c (13,13) Export File Size: 0.03 MB
22.12/14.32	c (13,13) 1,1,1,1,1,1,13,STOP-AFTER(DIMACS)
22.12/14.32	c END-Prog: Tue Sep 24 22:32:10 CEST 2019
22.12/14.36	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19915-serial-file.bin
22.23/14.83	c (0,0) Read Serial File Begin
22.23/14.83	c (0,0) HOME/scop-19915-serial-file.bin
23.08/15.04	c (0,0) Read Serial File End
23.08/15.06	
23.08/15.06	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
23.08/15.06	(Solving Process)
23.08/15.06	
23.08/15.08	c BEGIN-Prog: Tue Sep 24 22:32:10 CEST 2019
23.08/15.08	c PID: 19940
23.08/15.08	c IP: 172.20.3.151
23.08/15.08	c HOST: node151.alineos.net
23.08/15.08	c (0,0) SatSolver.solve Begin
23.08/15.08	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405223-1569357156.xml-scop-19918.cnf
23.08/15.11	c (0,0) c
23.08/15.11	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
23.08/15.11	c (0,0) c
23.08/15.11	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
23.08/15.11	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
23.08/15.11	c (0,0) c ========================================[ Problem Statistics ]===========================================
23.08/15.11	c (0,0) c |                                                                                                       |
24.46/16.15	c (1,0) c |  Number of variables:        117034                                                                   |
24.46/16.15	c (1,0) c |  Number of clauses:         2949104                                                                   |
24.46/16.15	c (1,0) c |  Parse time:                   0.94 s                                                                 |
24.46/16.15	c (1,0) c |                                                                                                       |
30.56/22.26	c (7,0) c |  Simplification time:          6.02 s                                                                 |
30.56/22.26	c (7,0) c |                                                                                                       |
30.56/22.26	c (7,0) c |  Generating clones                                                                                    |
31.36/23.01	c (8,0) c |  all clones generated. Memory =  1681.84Mb.                                                           |
31.36/23.01	c (8,0) c ========================================================================================================|
31.36/23.01	c (8,0) c
31.36/23.01	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
31.36/23.01	c (8,0) c
31.36/23.01	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
31.36/23.01	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
31.36/23.01	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
31.36/23.01	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
31.36/23.02	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
31.36/23.02	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
31.36/23.02	c (8,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
31.36/23.02	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
31.36/23.02	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
31.36/23.02	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
31.36/23.02	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
31.36/23.02	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
31.36/23.02	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
31.36/23.02	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
31.36/23.02	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
31.36/23.02	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
31.36/23.02	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
31.36/23.02	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
31.36/23.02	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.31	c (24,0) c
155.69/39.31	c (24,0) c real time : 24.2023 s
155.69/39.31	c (24,0) c cpu time  : 129.794 s
155.69/39.31	c (24,0) c
155.69/39.31	c (24,0) c
155.69/39.31	c (24,0) c
155.69/39.31	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
155.69/39.31	c (24,0) c
155.69/39.31	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.31	c (24,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
155.69/39.31	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.31	c (24,0) c | Conflicts     |          240437 |      27312 |      27943 |      30062 |      31539 |      40619 |      28066 |      27268 |      27628 |
155.69/39.31	c (24,0) c | Decisions     |          315592 |      36569 |      36296 |      38089 |      40301 |      54283 |      36952 |      36006 |      37096 |
155.69/39.31	c (24,0) c | Propagations  |       263138449 |   30857210 |   32798336 |   34360548 |   32256756 |   36518128 |   31833294 |   32729170 |   31785007 |
155.69/39.31	c (24,0) c | ReduceDBs     |              33 |          4 |          4 |          4 |          4 |          5 |          4 |          4 |          4 |
155.69/39.31	c (24,0) c | SimpDBs       |              14 |          1 |          2 |          1 |          2 |          2 |          2 |          2 |          2 |
155.69/39.31	c (24,0) c | Restarts      |             127 |         29 |         10 |          8 |          6 |         15 |         15 |         22 |         22 |
155.69/39.31	c (24,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
155.69/39.31	c (24,0) c | PropBinClauses|       289863579 |   35151819 |   35881037 |   37226375 |   35111820 |   38810349 |   34659354 |   36795759 |   36227066 |
155.69/39.31	c (24,0) c | PropPreBlocker|      3463387914 |  424586352 |  409059683 |  415371319 |  406800786 |  471627277 |  412855606 |  461292125 |  461794766 |
155.69/39.31	c (24,0) c | PropNotBlocker|      1046299694 |  124641345 |  128756620 |  133703840 |  134795274 |  133898102 |  132342576 |  129368790 |  128793147 |
155.69/39.31	c (24,0) c | LitFullScans  |      5194975327 |  624051167 |  624104306 |  630045705 |  628364087 |  702107007 |  630063461 |  678114025 |  678125569 |
155.69/39.31	c (24,0) c | LitScanFracts |          493662 |      43038 |      86126 |      29168 |      48621 |      86256 |      26739 |      94357 |      79357 |
155.69/39.31	c (24,0) c | DecisionLevel0|             145 |         29 |         13 |          8 |         13 |         15 |         22 |         22 |         23 |
155.69/39.31	c (24,0) c | Periods       |             865 |        104 |        104 |        105 |        104 |        117 |        105 |        113 |        113 |
155.69/39.31	c (24,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
155.69/39.31	c (24,0) c | Avg_Trail     |                 |       6802 |       6211 |       6053 |       5519 |       6020 |       6033 |       7361 |       8010 |
155.69/39.31	c (24,0) c | Avg_DL        |                 |         19 |         11 |         12 |         11 |         14 |         12 |         17 |         19 |
155.69/39.31	c (24,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
155.69/39.31	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
155.69/39.31	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.31	c (24,0) c | Exported      |           54760 |       6108 |       6355 |       6780 |       7524 |       9340 |       6439 |       6127 |       6087 |
155.69/39.31	c (24,0) c | Imported      |          301410 |      38245 |      37158 |      28329 |      37095 |      39319 |      38223 |      40812 |      42229 |
155.69/39.31	c (24,0) c | Good          |             117 |         11 |          9 |          2 |          7 |         27 |          8 |         25 |         28 |
155.69/39.31	c (24,0) c | Purge         |          301293 |      38234 |      37149 |      28327 |      37088 |      39292 |      38215 |      40787 |      42201 |
155.69/39.31	c (24,0) c | Promoted      |            6424 |        406 |       1305 |       1144 |        952 |          0 |       1078 |        800 |        739 |
155.69/39.31	c (24,0) c | Remove_Imp    |           64245 |      14291 |          0 |          0 |          0 |      16579 |          0 |      17999 |      15376 |
155.69/39.31	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
155.69/39.31	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.31	c (24,0) c | Unaries       |                 |          0 |          3 |          0 |          7 |          0 |          7 |          0 |          1 |
155.69/39.31	c (24,0) c | Binaries      |                 |          0 |         21 |          4 |         50 |          1 |         35 |          0 |          0 |
155.69/39.31	c (24,0) c | Glues         |                 |        456 |        492 |        425 |        545 |        397 |        520 |        482 |        456 |
155.69/39.31	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.31	c (24,0) c | Orig_Seen     |             1 % |      52471 |      48029 |      37991 |      39734 |      43872 |      47967 |      59736 |      60061 |
155.69/39.31	c (24,0) c | Diff Orig seen|                 |      12737 |       8295 | -     1743 |      X     |       4138 |       8233 |      20002 |      20327 |
155.69/39.31	c (24,0) c | Hamming       |            19 % |      22224 |      19858 |      19484 |      X     |      22261 |      26717 |      24961 |      23495 |
155.69/39.31	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.31	c (24,0) c | RunningTime   |                 |   16.3 100%|   16.2 100%|   15.7 100%|   15.6 100%|   15.5  98%|   15.8 100%|   15.7 100%|   15.7 100%|
155.69/39.31	c (24,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.3   2%|    0.0   0%|    0.0   0%|    0.0   0%|
155.69/39.31	c (24,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%|
155.69/39.31	c (24,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%|
155.69/39.31	c (24,0) c | SolvingTime   |                 |   16.3     |   16.2     |   15.7     |   15.7     |   15.8     |   15.8     |   15.7     |   15.8     |
155.69/39.31	c (24,0) c | PropagationTim|                 |   15.5  95%|   15.4  95%|   14.9  95%|   14.8  94%|   14.7  93%|   14.9  95%|   14.8  94%|   14.8  94%|
155.69/39.31	c (24,0) c | AnalysisTime  |                 |    0.5   3%|    0.4   3%|    0.4   3%|    0.4   3%|    0.5   3%|    0.4   3%|    0.4   3%|    0.5   3%|
155.69/39.31	c (24,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
155.69/39.31	c (24,0) c | SimplifyTime  |                 |    0.0   0%|    0.1   1%|    0.0   0%|    0.1   1%|    0.2   1%|    0.1   1%|    0.1   1%|    0.1   1%|
155.69/39.31	c (24,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%|
155.69/39.31	c (24,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%|
155.69/39.31	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.31	c (24,0) c
155.69/39.31	c (24,0) c
155.69/39.31	c (24,0) c Threads : 8
155.69/39.31	c (24,0) c Winner : 3
155.69/39.31	c (24,0) c Conflicts_0 : 27312
155.69/39.31	c (24,0) c Conflicts_1 : 27943
155.69/39.31	c (24,0) c Conflicts_2 : 30062
155.69/39.31	c (24,0) c Conflicts_3 : 31539
155.69/39.31	c (24,0) c Conflicts_4 : 40619
155.69/39.31	c (24,0) c Conflicts_5 : 28066
155.69/39.31	c (24,0) c Conflicts_6 : 27268
155.69/39.31	c (24,0) c Conflicts_7 : 27628
155.69/39.31	c (24,0) c Conflicts_total : 240437
155.69/39.31	c (24,0) c Conflicts_winner : 31539
155.69/39.31	c (24,0) c Decisions_0 : 36569
155.69/39.31	c (24,0) c Decisions_1 : 36296
155.69/39.31	c (24,0) c Decisions_2 : 38089
155.69/39.31	c (24,0) c Decisions_3 : 40301
155.69/39.31	c (24,0) c Decisions_4 : 54283
155.69/39.31	c (24,0) c Decisions_5 : 36952
155.69/39.31	c (24,0) c Decisions_6 : 36006
155.69/39.31	c (24,0) c Decisions_7 : 37096
155.69/39.31	c (24,0) c Decisions_total : 315592
155.69/39.31	c (24,0) c Decisions_winner : 40301
155.69/39.31	c (24,0) c Propagations_0 : 30857210
155.69/39.31	c (24,0) c Propagations_1 : 32798336
155.69/39.31	c (24,0) c Propagations_2 : 34360548
155.69/39.31	c (24,0) c Propagations_3 : 32256756
155.69/39.31	c (24,0) c Propagations_4 : 36518128
155.69/39.31	c (24,0) c Propagations_5 : 31833294
155.69/39.31	c (24,0) c Propagations_6 : 32729170
155.69/39.31	c (24,0) c Propagations_7 : 31785007
155.69/39.31	c (24,0) c Propagations_total : 263138449
155.69/39.31	c (24,0) c Propagations_winner : 32256756
155.69/39.31	c (24,0) c ReduceDBs_0 : 4
155.69/39.31	c (24,0) c ReduceDBs_1 : 4
155.69/39.31	c (24,0) c ReduceDBs_2 : 4
155.69/39.31	c (24,0) c ReduceDBs_3 : 4
155.69/39.31	c (24,0) c ReduceDBs_4 : 5
155.69/39.31	c (24,0) c ReduceDBs_5 : 4
155.69/39.31	c (24,0) c ReduceDBs_6 : 4
155.69/39.31	c (24,0) c ReduceDBs_7 : 4
155.69/39.31	c (24,0) c ReduceDBs_total : 33
155.69/39.31	c (24,0) c ReduceDBs_winner : 4
155.69/39.31	c (24,0) c SimpDBs_0 : 1
155.69/39.31	c (24,0) c SimpDBs_1 : 2
155.69/39.31	c (24,0) c SimpDBs_2 : 1
155.69/39.31	c (24,0) c SimpDBs_3 : 2
155.69/39.31	c (24,0) c SimpDBs_4 : 2
155.69/39.31	c (24,0) c SimpDBs_5 : 2
155.69/39.31	c (24,0) c SimpDBs_6 : 2
155.69/39.31	c (24,0) c SimpDBs_7 : 2
155.69/39.31	c (24,0) c SimpDBs_total : 14
155.69/39.31	c (24,0) c SimpDBs_winner : 2
155.69/39.31	c (24,0) c Restarts_0 : 29
155.69/39.31	c (24,0) c Restarts_1 : 10
155.69/39.31	c (24,0) c Restarts_2 : 8
155.69/39.31	c (24,0) c Restarts_3 : 6
155.69/39.31	c (24,0) c Restarts_4 : 15
155.69/39.31	c (24,0) c Restarts_5 : 15
155.69/39.31	c (24,0) c Restarts_6 : 22
155.69/39.31	c (24,0) c Restarts_7 : 22
155.69/39.31	c (24,0) c Restarts_total : 127
155.69/39.31	c (24,0) c Restarts_winner : 6
155.69/39.31	c (24,0) c ForcedImports_0 : 0
155.69/39.31	c (24,0) c ForcedImports_1 : 0
155.69/39.31	c (24,0) c ForcedImports_2 : 0
155.69/39.31	c (24,0) c ForcedImports_3 : 0
155.69/39.31	c (24,0) c ForcedImports_4 : 0
155.69/39.31	c (24,0) c ForcedImports_5 : 0
155.69/39.31	c (24,0) c ForcedImports_6 : 0
155.69/39.31	c (24,0) c ForcedImports_7 : 0
155.69/39.31	c (24,0) c ForcedImports_total : 0
155.69/39.31	c (24,0) c ForcedImports_winner : 0
155.69/39.31	c (24,0) c PropsBinClauses_0 : 35151819
155.69/39.31	c (24,0) c PropsBinClauses_1 : 35881037
155.69/39.31	c (24,0) c PropsBinClauses_2 : 37226375
155.69/39.31	c (24,0) c PropsBinClauses_3 : 35111820
155.69/39.31	c (24,0) c PropsBinClauses_4 : 38810349
155.69/39.31	c (24,0) c PropsBinClauses_5 : 34659354
155.69/39.31	c (24,0) c PropsBinClauses_6 : 36795759
155.69/39.31	c (24,0) c PropsBinClauses_7 : 36227066
155.69/39.31	c (24,0) c PropsBinClauses_total : 289863579
155.69/39.31	c (24,0) c PropsBinClauses_winner : 35111820
155.69/39.31	c (24,0) c PropsPreBlocker_0 : 424586352
155.69/39.31	c (24,0) c PropsPreBlocker_1 : 409059683
155.69/39.31	c (24,0) c PropsPreBlocker_2 : 415371319
155.69/39.31	c (24,0) c PropsPreBlocker_3 : 406800786
155.69/39.31	c (24,0) c PropsPreBlocker_4 : 471627277
155.69/39.31	c (24,0) c PropsPreBlocker_5 : 412855606
155.69/39.31	c (24,0) c PropsPreBlocker_6 : 461292125
155.69/39.31	c (24,0) c PropsPreBlocker_7 : 461794766
155.69/39.31	c (24,0) c PropsPreBlocker_total : 3463387914
155.69/39.31	c (24,0) c PropsPreBlocker_winner : 406800786
155.69/39.31	c (24,0) c PropsNotBlocker_0 : 124641345
155.69/39.31	c (24,0) c PropsNotBlocker_1 : 128756620
155.69/39.31	c (24,0) c PropsNotBlocker_2 : 133703840
155.69/39.31	c (24,0) c PropsNotBlocker_3 : 134795274
155.69/39.31	c (24,0) c PropsNotBlocker_4 : 133898102
155.69/39.31	c (24,0) c PropsNotBlocker_5 : 132342576
155.69/39.31	c (24,0) c PropsNotBlocker_6 : 129368790
155.69/39.31	c (24,0) c PropsNotBlocker_7 : 128793147
155.69/39.32	c (24,0) c PropsNotBlocker_total : 1046299694
155.69/39.32	c (24,0) c PropsNotBlocker_winner : 134795274
155.69/39.32	c (24,0) c PropsLitFullScans_0 : 624051167
155.69/39.32	c (24,0) c PropsLitFullScans_1 : 624104306
155.69/39.32	c (24,0) c PropsLitFullScans_2 : 630045705
155.69/39.32	c (24,0) c PropsLitFullScans_3 : 628364087
155.69/39.32	c (24,0) c PropsLitFullScans_4 : 702107007
155.69/39.32	c (24,0) c PropsLitFullScans_5 : 630063461
155.69/39.32	c (24,0) c PropsLitFullScans_6 : 678114025
155.69/39.32	c (24,0) c PropsLitFullScans_7 : 678125569
155.69/39.32	c (24,0) c PropsLitFullScans_total : 5194975327
155.69/39.32	c (24,0) c PropsLitFullScans_winner : 628364087
155.69/39.32	c (24,0) c LitScanFractions_0 : 43038
155.69/39.32	c (24,0) c LitScanFractions_1 : 86126
155.69/39.32	c (24,0) c LitScanFractions_2 : 29168
155.69/39.32	c (24,0) c LitScanFractions_3 : 48621
155.69/39.32	c (24,0) c LitScanFractions_4 : 86256
155.69/39.32	c (24,0) c LitScanFractions_5 : 26739
155.69/39.32	c (24,0) c LitScanFractions_6 : 94357
155.69/39.32	c (24,0) c LitScanFractions_7 : 79357
155.69/39.32	c (24,0) c LitScanFractions_total : 493662
155.69/39.32	c (24,0) c LitScanFractions_winner : 48621
155.69/39.32	c (24,0) c DecisionLevel0_0 : 29
155.69/39.32	c (24,0) c DecisionLevel0_1 : 13
155.69/39.32	c (24,0) c DecisionLevel0_2 : 8
155.69/39.32	c (24,0) c DecisionLevel0_3 : 13
155.69/39.32	c (24,0) c DecisionLevel0_4 : 15
155.69/39.32	c (24,0) c DecisionLevel0_5 : 22
155.69/39.32	c (24,0) c DecisionLevel0_6 : 22
155.69/39.32	c (24,0) c DecisionLevel0_7 : 23
155.69/39.32	c (24,0) c DecisionLevel0_total : 145
155.69/39.32	c (24,0) c DecisionLevel0_winner : 13
155.69/39.32	c (24,0) c Periods_0 : 104
155.69/39.32	c (24,0) c Periods_1 : 104
155.69/39.32	c (24,0) c Periods_2 : 105
155.69/39.32	c (24,0) c Periods_3 : 104
155.69/39.32	c (24,0) c Periods_4 : 117
155.69/39.32	c (24,0) c Periods_5 : 105
155.69/39.32	c (24,0) c Periods_6 : 113
155.69/39.32	c (24,0) c Periods_7 : 113
155.69/39.32	c (24,0) c Periods_total : 865
155.69/39.32	c (24,0) c Periods_winner : 104
155.69/39.32	c (24,0) c Margin_0 : 20
155.69/39.32	c (24,0) c Margin_1 : 20
155.69/39.32	c (24,0) c Margin_2 : 20
155.69/39.32	c (24,0) c Margin_3 : 20
155.69/39.32	c (24,0) c Margin_4 : 20
155.69/39.32	c (24,0) c Margin_5 : 20
155.69/39.32	c (24,0) c Margin_6 : 20
155.69/39.32	c (24,0) c Margin_7 : 20
155.69/39.32	c (24,0) c Margin_total : 160
155.69/39.32	c (24,0) c Margin_winner : 20
155.69/39.32	c (24,0) c Exported_0 : 6108
155.69/39.32	c (24,0) c Exported_1 : 6355
155.69/39.32	c (24,0) c Exported_2 : 6780
155.69/39.32	c (24,0) c Exported_3 : 7524
155.69/39.32	c (24,0) c Exported_4 : 9340
155.69/39.32	c (24,0) c Exported_5 : 6439
155.69/39.32	c (24,0) c Exported_6 : 6127
155.69/39.32	c (24,0) c Exported_7 : 6087
155.69/39.32	c (24,0) c Exported_total : 54760
155.69/39.32	c (24,0) c Exported_winner : 7524
155.69/39.32	c (24,0) c Imported_0 : 38245
155.69/39.32	c (24,0) c Imported_1 : 37158
155.69/39.32	c (24,0) c Imported_2 : 28329
155.69/39.32	c (24,0) c Imported_3 : 37095
155.69/39.32	c (24,0) c Imported_4 : 39319
155.69/39.32	c (24,0) c Imported_5 : 38223
155.69/39.32	c (24,0) c Imported_6 : 40812
155.69/39.32	c (24,0) c Imported_7 : 42229
155.69/39.32	c (24,0) c Imported_total : 301410
155.69/39.32	c (24,0) c Imported_winner : 37095
155.69/39.32	c (24,0) c Good_0 : 11
155.69/39.32	c (24,0) c Good_1 : 9
155.69/39.32	c (24,0) c Good_2 : 2
155.69/39.32	c (24,0) c Good_3 : 7
155.69/39.32	c (24,0) c Good_4 : 27
155.69/39.32	c (24,0) c Good_5 : 8
155.69/39.32	c (24,0) c Good_6 : 25
155.69/39.32	c (24,0) c Good_7 : 28
155.69/39.32	c (24,0) c Good_total : 117
155.69/39.32	c (24,0) c Good_winner : 7
155.69/39.32	c (24,0) c Purge_0 : 38234
155.69/39.32	c (24,0) c Purge_1 : 37149
155.69/39.32	c (24,0) c Purge_2 : 28327
155.69/39.32	c (24,0) c Purge_3 : 37088
155.69/39.32	c (24,0) c Purge_4 : 39292
155.69/39.32	c (24,0) c Purge_5 : 38215
155.69/39.32	c (24,0) c Purge_6 : 40787
155.69/39.32	c (24,0) c Purge_7 : 42201
155.69/39.32	c (24,0) c Purge_total : 301293
155.69/39.32	c (24,0) c Purge_winner : 37088
155.69/39.32	c (24,0) c Promoted_0 : 406
155.69/39.32	c (24,0) c Promoted_1 : 1305
155.69/39.32	c (24,0) c Promoted_2 : 1144
155.69/39.32	c (24,0) c Promoted_3 : 952
155.69/39.32	c (24,0) c Promoted_4 : 0
155.69/39.32	c (24,0) c Promoted_5 : 1078
155.69/39.32	c (24,0) c Promoted_6 : 800
155.69/39.32	c (24,0) c Promoted_7 : 739
155.69/39.32	c (24,0) c Promoted_total : 6424
155.69/39.32	c (24,0) c Promoted_winner : 952
155.69/39.32	c (24,0) c Remove_Imp_0 : 14291
155.69/39.32	c (24,0) c Remove_Imp_1 : 0
155.69/39.32	c (24,0) c Remove_Imp_2 : 0
155.69/39.32	c (24,0) c Remove_Imp_3 : 0
155.69/39.32	c (24,0) c Remove_Imp_4 : 16579
155.69/39.32	c (24,0) c Remove_Imp_5 : 0
155.69/39.32	c (24,0) c Remove_Imp_6 : 17999
155.69/39.32	c (24,0) c Remove_Imp_7 : 15376
155.69/39.32	c (24,0) c Remove_Imp_total : 64245
155.69/39.32	c (24,0) c Remove_Imp_winner : 0
155.69/39.32	c (24,0) c Blocked_Reuse_0 : 0
155.69/39.32	c (24,0) c Blocked_Reuse_1 : 0
155.69/39.32	c (24,0) c Blocked_Reuse_2 : 0
155.69/39.32	c (24,0) c Blocked_Reuse_3 : 0
155.69/39.32	c (24,0) c Blocked_Reuse_4 : 0
155.69/39.32	c (24,0) c Blocked_Reuse_5 : 0
155.69/39.32	c (24,0) c Blocked_Reuse_6 : 0
155.69/39.32	c (24,0) c Blocked_Reuse_7 : 0
155.69/39.32	c (24,0) c Blocked_Reuse_total : 0
155.69/39.32	c (24,0) c Blocked_Reuse_winner : 0
155.69/39.32	c (24,0) c Unaries_0 : 0
155.69/39.32	c (24,0) c Unaries_1 : 3
155.69/39.32	c (24,0) c Unaries_2 : 0
155.69/39.32	c (24,0) c Unaries_3 : 7
155.69/39.32	c (24,0) c Unaries_4 : 0
155.69/39.32	c (24,0) c Unaries_5 : 7
155.69/39.32	c (24,0) c Unaries_6 : 0
155.69/39.32	c (24,0) c Unaries_7 : 1
155.69/39.32	c (24,0) c Unaries_total : 18
155.69/39.32	c (24,0) c Unaries_winner : 7
155.69/39.32	c (24,0) c Binaries_0 : 0
155.69/39.32	c (24,0) c Binaries_1 : 21
155.69/39.32	c (24,0) c Binaries_2 : 4
155.69/39.32	c (24,0) c Binaries_3 : 50
155.69/39.32	c (24,0) c Binaries_4 : 1
155.69/39.32	c (24,0) c Binaries_5 : 35
155.69/39.32	c (24,0) c Binaries_6 : 0
155.69/39.32	c (24,0) c Binaries_7 : 0
155.69/39.32	c (24,0) c Binaries_total : 111
155.69/39.32	c (24,0) c Binaries_winner : 50
155.69/39.32	c (24,0) c Glues_0 : 456
155.69/39.32	c (24,0) c Glues_1 : 492
155.69/39.32	c (24,0) c Glues_2 : 425
155.69/39.32	c (24,0) c Glues_3 : 545
155.69/39.32	c (24,0) c Glues_4 : 397
155.69/39.32	c (24,0) c Glues_5 : 520
155.69/39.32	c (24,0) c Glues_6 : 482
155.69/39.32	c (24,0) c Glues_7 : 456
155.69/39.32	c (24,0) c Glues_total : 3773
155.69/39.32	c (24,0) c Glues_winner : 545
155.69/39.32	c (24,0) c RunningTime_0 : 16.267102
155.69/39.32	c (24,0) c RunningTime_1 : 16.184621
155.69/39.32	c (24,0) c RunningTime_2 : 15.688955
155.69/39.32	c (24,0) c RunningTime_3 : 15.640503
155.69/39.32	c (24,0) c RunningTime_4 : 15.451493
155.69/39.32	c (24,0) c RunningTime_5 : 15.755101
155.69/39.32	c (24,0) c RunningTime_6 : 15.661963
155.69/39.32	c (24,0) c RunningTime_7 : 15.736442
155.69/39.32	c (24,0) c RunningTime_total : 126.386179
155.69/39.32	c (24,0) c RunningTime_winner : 15.640503
155.69/39.32	c (24,0) c WaitingTime_0 : 0.000096
155.69/39.32	c (24,0) c WaitingTime_1 : 0.000194
155.69/39.32	c (24,0) c WaitingTime_2 : 0.000237
155.69/39.32	c (24,0) c WaitingTime_3 : 0.000281
155.69/39.32	c (24,0) c WaitingTime_4 : 0.313704
155.69/39.32	c (24,0) c WaitingTime_5 : 0.000258
155.69/39.32	c (24,0) c WaitingTime_6 : 0.000638
155.69/39.32	c (24,0) c WaitingTime_7 : 0.000237
155.69/39.32	c (24,0) c WaitingTime_total : 0.315646
155.69/39.32	c (24,0) c WaitingTime_winner : 0.000281
155.69/39.32	c (24,0) c ExchangingTime_0 : 0.018437
155.69/39.32	c (24,0) c ExchangingTime_1 : 0.015076
155.69/39.32	c (24,0) c ExchangingTime_2 : 0.013310
155.69/39.32	c (24,0) c ExchangingTime_3 : 0.018665
155.69/39.32	c (24,0) c ExchangingTime_4 : 0.018072
155.69/39.32	c (24,0) c ExchangingTime_5 : 0.015781
155.69/39.32	c (24,0) c ExchangingTime_6 : 0.019732
155.69/39.32	c (24,0) c ExchangingTime_7 : 0.015955
155.69/39.32	c (24,0) c ExchangingTime_total : 0.135029
155.69/39.32	c (24,0) c ExchangingTime_winner : 0.018665
155.69/39.32	c (24,0) c PeriodProcTime_0 : 0.001697
155.69/39.32	c (24,0) c PeriodProcTime_1 : 0.001439
155.69/39.32	c (24,0) c PeriodProcTime_2 : 0.004609
155.69/39.32	c (24,0) c PeriodProcTime_3 : 0.001773
155.69/39.32	c (24,0) c PeriodProcTime_4 : 0.004066
155.69/39.32	c (24,0) c PeriodProcTime_5 : 0.001566
155.69/39.32	c (24,0) c PeriodProcTime_6 : 0.001676
155.69/39.32	c (24,0) c PeriodProcTime_7 : 0.001540
155.69/39.32	c (24,0) c PeriodProcTime_total : 0.018366
155.69/39.32	c (24,0) c PeriodProcTime_winner : 0.001773
155.69/39.32	c (24,0) c SolvingTime_0 : 16.287332
155.69/39.32	c (24,0) c SolvingTime_1 : 16.201330
155.69/39.32	c (24,0) c SolvingTime_2 : 15.707111
155.69/39.32	c (24,0) c SolvingTime_3 : 15.661221
155.69/39.32	c (24,0) c SolvingTime_4 : 15.787334
155.69/39.32	c (24,0) c SolvingTime_5 : 15.772707
155.69/39.32	c (24,0) c SolvingTime_6 : 15.684011
155.69/39.32	c (24,0) c SolvingTime_7 : 15.754175
155.69/39.32	c (24,0) c SolvingTime_total : 126.855221
155.69/39.32	c (24,0) c SolvingTime_winner : 15.661221
155.69/39.32	c (24,0) c PropagationTime_0 : 15.458312
155.69/39.32	c (24,0) c PropagationTime_1 : 15.356316
155.69/39.32	c (24,0) c PropagationTime_2 : 14.926118
155.69/39.32	c (24,0) c PropagationTime_3 : 14.794894
155.69/39.32	c (24,0) c PropagationTime_4 : 14.710296
155.69/39.32	c (24,0) c PropagationTime_5 : 14.926631
155.69/39.32	c (24,0) c PropagationTime_6 : 14.804478
155.69/39.32	c (24,0) c PropagationTime_7 : 14.846501
155.69/39.32	c (24,0) c PropagationTime_total : 119.823545
155.69/39.32	c (24,0) c PropagationTime_winner : 14.794894
155.69/39.32	c (24,0) c AnalysisTime_0 : 0.457878
155.69/39.32	c (24,0) c AnalysisTime_1 : 0.408030
155.69/39.32	c (24,0) c AnalysisTime_2 : 0.429643
155.69/39.32	c (24,0) c AnalysisTime_3 : 0.433701
155.69/39.32	c (24,0) c AnalysisTime_4 : 0.477980
155.69/39.32	c (24,0) c AnalysisTime_5 : 0.412731
155.69/39.32	c (24,0) c AnalysisTime_6 : 0.432116
155.69/39.32	c (24,0) c AnalysisTime_7 : 0.464980
155.69/39.32	c (24,0) c AnalysisTime_total : 3.517059
155.69/39.32	c (24,0) c AnalysisTime_winner : 0.433701
155.69/39.32	c (24,0) c ReductionTime_0 : 0.012344
155.69/39.32	c (24,0) c ReductionTime_1 : 0.006849
155.69/39.32	c (24,0) c ReductionTime_2 : 0.006870
155.69/39.32	c (24,0) c ReductionTime_3 : 0.007022
155.69/39.32	c (24,0) c ReductionTime_4 : 0.020647
155.69/39.32	c (24,0) c ReductionTime_5 : 0.007175
155.69/39.32	c (24,0) c ReductionTime_6 : 0.013249
155.69/39.32	c (24,0) c ReductionTime_7 : 0.012180
155.69/39.32	c (24,0) c ReductionTime_total : 0.086337
155.69/39.32	c (24,0) c ReductionTime_winner : 0.007022
155.69/39.32	c (24,0) c SimplifyTime_0 : 0.000005
155.69/39.32	c (24,0) c SimplifyTime_1 : 0.096607
155.69/39.32	c (24,0) c SimplifyTime_2 : 0.000002
155.69/39.32	c (24,0) c SimplifyTime_3 : 0.095858
155.69/39.32	c (24,0) c SimplifyTime_4 : 0.213866
155.69/39.32	c (24,0) c SimplifyTime_5 : 0.093792
155.69/39.32	c (24,0) c SimplifyTime_6 : 0.096700
155.69/39.32	c (24,0) c SimplifyTime_7 : 0.096599
155.69/39.32	c (24,0) c SimplifyTime_total : 0.693429
155.69/39.32	c (24,0) c SimplifyTime_winner : 0.095858
155.69/39.32	c (24,0) c UsedRateTime_0 : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_1 : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_2 : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_3 : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_4 : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_5 : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_6 : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_7 : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_total : 0.000000
155.69/39.32	c (24,0) c UsedRateTime_winner : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_0 : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_1 : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_2 : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_3 : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_4 : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_5 : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_6 : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_7 : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_total : 0.000000
155.69/39.32	c (24,0) c OverlapRateTime_winner : 0.000000
155.69/39.32	c (24,0) c
155.69/39.32	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
155.69/39.32	c (24,0) c
155.69/39.32	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.32	c (24,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
155.69/39.32	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.32	c (24,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
155.69/39.32	c (24,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
155.69/39.32	c (24,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
155.69/39.32	c (24,0) c | Initial random_seed   | 2063561171 |  845958432 | 1477723792 | 1034142593 |  152336497 | 1313915039 |  228088944 |  854666920 |
155.69/39.32	c (24,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
155.69/39.32	c (24,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
155.69/39.32	c (24,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
155.69/39.32	c (24,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
155.69/39.32	c (24,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
155.69/39.32	c (24,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
155.69/39.32	c (24,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
155.69/39.32	c (24,0) c | var_decay             |     0.8500 |     0.8500 |     0.8600 |     0.8600 |     0.8800 |     0.8500 |     0.8500 |     0.8500 |
155.69/39.32	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
155.69/39.32	c (24,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
155.69/39.32	c (24,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
155.69/39.32	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
155.69/39.32	c (24,0) 
155.69/39.32	c (24,0) s UNSATISFIABLE
23.56/39.41	c (24,0) SatSolver.solve End
23.56/39.41	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
23.56/39.41	c (24,0) Show results Begin
23.56/39.41	s UNSATISFIABLE
23.56/39.41	c (24,0) Show results End
23.56/39.41	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
23.56/39.42	c (24,0) 24,24,STOP-AFTER(ALL)
23.56/39.42	c END-Prog: Tue Sep 24 22:32:35 CEST 2019

Verifier Data


Watcher Data 

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

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

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

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

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

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

solver pid=19915, runsolver pid=19912

[startup+0.100133 s]*
/proc/loadavg: 6.53 7.27 7.54 5/212 19937
/proc/meminfo: memFree=23232064/32770624 swapFree=66956516/67108860
[pid=19915] ppid=19912 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19915/stat : 19915 (scop.sh) S 19912 19915 14862 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511986899 115843072 349 33554432000 4194304 5098028 140735389863888 140735389861144 140599516820092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8073216 140735389868837 140735389869164 140735389869164 140735389872077 0
/proc/19915/statm: 28282 349 296 221 0 87 0
[pid=19918] ppid=19915 vsize=27314120 memory=106136 CPUtime=0.11 cores=0-7
/proc/19918/stat : 19918 (java) S 19915 19915 14862 0 -1 1077944320 6601 0 0 0 9 2 0 0 20 0 20 0 511986900 27969658880 26534 33554432000 4194304 4196468 140732474939344 140732474921888 140264795504375 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
/proc/19918/statm: 6828530 26534 2803 1 0 6790935 0
[pid=19918/tid=19919] ppid=19915 vsize=27314120 memory=8330984693821251992 CPUtime=0.08 cores=0-7
/proc/19918/task/19919/stat : 19919 (java) R 19915 19915 14862 0 -1 4202560 4712 0 0 0 7 1 0 0 20 0 20 0 511986900 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264767326656 140264779548005 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19920] ppid=19915 vsize=27314120 memory=732370197436939237 CPUtime=0 cores=0-7
/proc/19918/task/19920/stat : 19920 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264799746448 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19921] ppid=19915 vsize=27314120 memory=140059099485824 CPUtime=0 cores=0-7
/proc/19918/task/19921/stat : 19921 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264583141648 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19922] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19922/stat : 19922 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264582089360 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19923] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19923/stat : 19923 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264581036560 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19924] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19924/stat : 19924 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264579984272 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19925] ppid=19915 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19918/task/19925/stat : 19925 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264578931472 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19926] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19926/stat : 19926 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264577879184 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19927] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19927/stat : 19927 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 26534 33554432000 4194304 4196468 140732474939344 140264576826384 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19928] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19928/stat : 19928 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 26534 33554432000 4194304 4196468 140732474939344 140262960519280 140264795515522 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19929] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19929/stat : 19929 (java) S 19915 19915 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 26534 33554432000 4194304 4196468 140732474939344 140262693135136 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19930] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19930/stat : 19930 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 26534 33554432000 4194304 4196468 140732474939344 140262424700016 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19931] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19931/stat : 19931 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 26534 33554432000 4194304 4196468 140732474939344 140262050191440 140264795522971 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19932] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19932/stat : 19932 (java) S 19915 19915 14862 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 26534 33554432000 4194304 4196468 140732474939344 140262959467120 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19933] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19933/stat : 19933 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 27046 33554432000 4194304 4196468 140732474939344 140262958414320 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19934] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19934/stat : 19934 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 27046 33554432000 4194304 4196468 140732474939344 140262957362032 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19935] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19935/stat : 19935 (java) S 19915 19915 14862 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 27046 33554432000 4194304 4196468 140732474939344 140262956309232 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19936] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19936/stat : 19936 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 27046 33554432000 4194304 4196468 140732474939344 140261552286048 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19937] ppid=19915 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19918/task/19937/stat : 19937 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 27046 33554432000 4194304 4196468 140732474939344 140262955256112 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107532 KiB

[startup+0.210275 s]*
/proc/loadavg: 6.53 7.27 7.54 2/212 19937
/proc/meminfo: memFree=23208732/32770624 swapFree=66956516/67108860
[pid=19915] ppid=19912 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19915/stat : 19915 (scop.sh) S 19912 19915 14862 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511986899 115843072 349 33554432000 4194304 5098028 140735389863888 140735389861144 140599516820092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8073216 140735389868837 140735389869164 140735389869164 140735389872077 0
/proc/19915/statm: 28282 349 296 221 0 87 0
[pid=19918] ppid=19915 vsize=27314120 memory=127508 CPUtime=0.25 cores=0-7
/proc/19918/stat : 19918 (java) S 19915 19915 14862 0 -1 1077944320 12223 0 0 0 21 4 0 0 20 0 20 0 511986900 27969658880 31877 33554432000 4194304 4196468 140732474939344 140732474921888 140264795504375 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
/proc/19918/statm: 6828530 31877 2966 1 0 6790935 0
[pid=19918/tid=19919] ppid=19915 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/19918/task/19919/stat : 19919 (java) R 19915 19915 14862 0 -1 4202560 9932 0 0 0 16 3 0 0 20 0 20 0 511986900 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264767323616 140264777067885 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19920] ppid=19915 vsize=27314120 memory=732370197436939237 CPUtime=0 cores=0-7
/proc/19918/task/19920/stat : 19920 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264799746448 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19921] ppid=19915 vsize=27314120 memory=140059099485824 CPUtime=0 cores=0-7
/proc/19918/task/19921/stat : 19921 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264583141648 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19922] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19922/stat : 19922 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264582089360 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19923] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19923/stat : 19923 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264581036560 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19924] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19924/stat : 19924 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264579984272 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19925] ppid=19915 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19918/task/19925/stat : 19925 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264578931472 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19926] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19926/stat : 19926 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264577879184 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19927] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19927/stat : 19927 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 31877 33554432000 4194304 4196468 140732474939344 140264576826384 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19928] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19928/stat : 19928 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262960519280 140264795515522 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19929] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19929/stat : 19929 (java) S 19915 19915 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262693135136 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19930] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19930/stat : 19930 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262424700016 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19931] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19931/stat : 19931 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262050191440 140264795522971 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19932] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19932/stat : 19932 (java) S 19915 19915 14862 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262959467120 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19933] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19933/stat : 19933 (java) S 19915 19915 14862 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262958414320 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19934] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19934/stat : 19934 (java) S 19915 19915 14862 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262957362032 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19935] ppid=19915 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/19918/task/19935/stat : 19935 (java) S 19915 19915 14862 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 511986907 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262956309232 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19936] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19936/stat : 19936 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 31877 33554432000 4194304 4196468 140732474939344 140261552286048 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19937] ppid=19915 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19918/task/19937/stat : 19937 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 31877 33554432000 4194304 4196468 140732474939344 140262955256112 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128904 KiB

[startup+0.309742 s]*
/proc/loadavg: 6.53 7.27 7.54 2/212 19937
/proc/meminfo: memFree=23205196/32770624 swapFree=66956516/67108860
[pid=19915] ppid=19912 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19915/stat : 19915 (scop.sh) S 19912 19915 14862 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511986899 115843072 349 33554432000 4194304 5098028 140735389863888 140735389861144 140599516820092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8073216 140735389868837 140735389869164 140735389869164 140735389872077 0
/proc/19915/statm: 28282 349 296 221 0 87 0
[pid=19918] ppid=19915 vsize=27314120 memory=131548 CPUtime=0.42 cores=0-7
/proc/19918/stat : 19918 (java) S 19915 19915 14862 0 -1 1077944320 12784 0 0 0 38 4 0 0 20 0 20 0 511986900 27969658880 32887 33554432000 4194304 4196468 140732474939344 140732474921888 140264795504375 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
/proc/19918/statm: 6828530 32887 3019 1 0 6790935 0
[pid=19918/tid=19919] ppid=19915 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19918/task/19919/stat : 19919 (java) R 19915 19915 14862 0 -1 4202560 10295 0 0 0 26 3 0 0 20 0 20 0 511986900 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264767318240 140264795518224 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19920] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19920/stat : 19920 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264799746448 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19921] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19921/stat : 19921 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264583141648 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19922] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19922/stat : 19922 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264582089360 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19923] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19923/stat : 19923 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264581036560 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19924] ppid=19915 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/19918/task/19924/stat : 19924 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264579984272 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19925] ppid=19915 vsize=27314120 memory=140058950726575 CPUtime=0 cores=0-7
/proc/19918/task/19925/stat : 19925 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264578931472 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19926] ppid=19915 vsize=27314120 memory=140058950728880 CPUtime=0 cores=0-7
/proc/19918/task/19926/stat : 19926 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264577879184 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19927] ppid=19915 vsize=27314120 memory=140058950731184 CPUtime=0 cores=0-7
/proc/19918/task/19927/stat : 19927 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986902 27969658880 32887 33554432000 4194304 4196468 140732474939344 140264576826384 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19928] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19928/stat : 19928 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262960519280 140264795515522 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19929] ppid=19915 vsize=27314120 memory=280117901469328 CPUtime=0 cores=0-7
/proc/19918/task/19929/stat : 19929 (java) S 19915 19915 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262693135136 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19930] ppid=19915 vsize=27314120 memory=280117901476240 CPUtime=0 cores=0-7
/proc/19918/task/19930/stat : 19930 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986904 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262424700016 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19931] ppid=19915 vsize=27314120 memory=280117901417520 CPUtime=0 cores=0-7
/proc/19918/task/19931/stat : 19931 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262050191440 140264795522971 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19932] ppid=19915 vsize=27314120 memory=280117901490064 CPUtime=0.01 cores=0-7
/proc/19918/task/19932/stat : 19932 (java) R 19915 19915 14862 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 20 0 511986907 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262959467120 140264787793824 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19933] ppid=19915 vsize=27314120 memory=280117901496976 CPUtime=0.02 cores=0-7
/proc/19918/task/19933/stat : 19933 (java) S 19915 19915 14862 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 511986907 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262958414320 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19934] ppid=19915 vsize=27314120 memory=280117901494672 CPUtime=0 cores=0-7
/proc/19918/task/19934/stat : 19934 (java) S 19915 19915 14862 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262957362032 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19935] ppid=19915 vsize=27314120 memory=280117901510832 CPUtime=0.07 cores=0-7
/proc/19918/task/19935/stat : 19935 (java) S 19915 19915 14862 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 20 0 511986907 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262956309232 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19936] ppid=19915 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19918/task/19936/stat : 19936 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 32887 33554432000 4194304 4196468 140732474939344 140261552286048 140264795514581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19937] ppid=19915 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19918/task/19937/stat : 19937 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986907 27969658880 32887 33554432000 4194304 4196468 140732474939344 140262955256112 140264795515522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 132944 KiB

[startup+0.700947 s]
/proc/loadavg: 6.53 7.27 7.54 2/212 19937
/proc/meminfo: memFree=23183340/32770624 swapFree=66956516/67108860
[pid=19915] ppid=19912 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19915/stat : 19915 (scop.sh) S 19912 19915 14862 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511986899 115843072 349 33554432000 4194304 5098028 140735389863888 140735389861144 140599516820092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8073216 140735389868837 140735389869164 140735389869164 140735389872077 0
/proc/19915/statm: 28282 349 296 221 0 87 0
[pid=19918] ppid=19915 vsize=27320392 memory=167536 CPUtime=1 cores=0-7
/proc/19918/stat : 19918 (java) S 19915 19915 14862 0 -1 1077944320 20505 0 0 0 93 7 0 0 20 0 20 0 511986900 27976081408 41884 33554432000 4194304 4196468 140732474939344 140732474921888 140264795504375 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
/proc/19918/statm: 6830098 41884 3183 1 0 6791447 0
[pid=19918/tid=19919] ppid=19915 vsize=27320392 memory=280117901805760 CPUtime=0.67 cores=0-7
/proc/19918/task/19919/stat : 19919 (java) R 19915 19915 14862 0 -1 4202560 17352 0 0 0 62 5 0 0 20 0 20 0 511986900 27976081408 41884 33554432000 4194304 4196468 140732474939344 140264767341920 140264253573920 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19920] ppid=19915 vsize=27320392 memory=1560 CPUtime=0 cores=0-7
/proc/19918/task/19920/stat : 19920 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27976081408 41884 33554432000 4194304 4196468 140732474939344 140264799746448 140264795514581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19921] ppid=19915 vsize=27320392 memory=976 CPUtime=0 cores=0-7
/proc/19918/task/19921/stat : 19921 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27976081408 41884 33554432000 4194304 4196468 140732474939344 140264583141648 140264795514581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0
[pid=19918/tid=19922] ppid=19915 vsize=27320392 memory=772 CPUtime=0 cores=0-7
/proc/19918/task/19922/stat : 19922 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511986902 27976081408 41884 33554432000 4194304 4196468 140732474939344 140264582089360 140264795514581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22847488 140732474942187 140732474942614 140732474942614 140732474945487 0

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

/proc/19940/task/19948/stat : 19948 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955414215568 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19949] ppid=19915 vsize=8414124 memory=5919732 CPUtime=0 cores=0-7
/proc/19940/task/19949/stat : 19949 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955413162768 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19950] ppid=19915 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19940/task/19950/stat : 19950 (java) S 19915 19915 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511988339 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955028347248 139955934833282 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19951] ppid=19915 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19940/task/19951/stat : 19951 (java) S 19915 19915 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511988340 8616062976 30385 33554432000 4194304 4196468 140735608478272 139954529231904 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19952] ppid=19915 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/19940/task/19952/stat : 19952 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988340 8616062976 30385 33554432000 4194304 4196468 140735608478272 139954260796272 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19953] ppid=19915 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/19940/task/19953/stat : 19953 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139953886287696 139955934840731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19954] ppid=19915 vsize=8414124 memory=2832 CPUtime=0.04 cores=0-7
/proc/19940/task/19954/stat : 19954 (java) S 19915 19915 14862 0 -1 1077944384 447 0 0 0 4 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955027295088 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19955] ppid=19915 vsize=8414124 memory=1548 CPUtime=0.07 cores=0-7
/proc/19940/task/19955/stat : 19955 (java) S 19915 19915 14862 0 -1 1077944384 361 0 0 0 7 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955026242288 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19956] ppid=19915 vsize=8414124 memory=1056 CPUtime=0.13 cores=0-7
/proc/19940/task/19956/stat : 19956 (java) S 19915 19915 14862 0 -1 1077944384 702 0 0 0 13 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955025189488 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19957] ppid=19915 vsize=8414124 memory=744 CPUtime=0.2 cores=0-7
/proc/19940/task/19957/stat : 19957 (java) S 19915 19915 14862 0 -1 1077944384 558 0 0 0 20 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955024136688 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19958] ppid=19915 vsize=8414124 memory=8444 CPUtime=0 cores=0-7
/proc/19940/task/19958/stat : 19958 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139953388382816 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19959] ppid=19915 vsize=8414124 memory=6172 CPUtime=0 cores=0-7
/proc/19940/task/19959/stat : 19959 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955023084080 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19961] ppid=19915 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/19940/task/19961/stat : 19961 (java) S 19915 19915 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511988410 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955015050304 139955934846745 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19963] ppid=19915 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/19940/task/19963/stat : 19963 (java) S 19915 19915 14862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511988410 8616062976 30385 33554432000 4194304 4196468 140735608478272 139952717283472 139955934844061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19964] ppid=19915 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/19940/task/19964/stat : 19964 (java) S 19915 19915 14862 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511988410 8616062976 30385 33554432000 4194304 4196468 140735608478272 139952985718800 139955934844061 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19965] ppid=19915 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/19940/task/19965/stat : 19965 (java) S 19915 19915 14862 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511988413 8616062976 30385 33554432000 4194304 4196468 140735608478272 139952448855600 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
Current children cumulated CPU time: 151.91 s
Current children cumulated vsize: 10839436 KiB
Current children cumulated memory: 2014600 KiB

[startup+39.2012 s]
/proc/loadavg: 5.58 6.90 7.41 3/219 19974
/proc/meminfo: memFree=21257936/32770624 swapFree=66956516/67108860
[pid=19915] ppid=19912 vsize=113128 memory=1476 CPUtime=22.23 cores=0-7
/proc/19915/stat : 19915 (scop.sh) S 19912 19915 14862 0 -1 4202496 582 36359 0 0 0 0 2107 116 20 0 1 0 511986899 115843072 369 33554432000 4194304 5098028 140735389863888 140735389860632 140599516820092 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8073216 140735389868837 140735389869164 140735389869164 140735389872077 0
/proc/19915/statm: 28282 369 311 221 0 87 0
[pid=19940] ppid=19915 vsize=8414124 memory=121540 CPUtime=1.26 cores=0-7
/proc/19940/stat : 19940 (java) S 19915 19915 14862 0 -1 1077944320 20246 0 0 0 119 7 0 0 20 0 24 0 511988336 8616062976 30385 33554432000 4194304 4196468 140735608478272 140735608460816 139955934822135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
/proc/19940/statm: 2103531 30385 3210 1 0 2064875 0
[pid=19960] ppid=19940 vsize=2312184 memory=1891644 CPUtime=132.08 cores=0-7
/proc/19960/stat : 19960 (manyglucose-4.1) S 19940 19915 14862 0 -1 1077944320 1061379 0 0 0 12966 242 0 0 20 0 3 0 511988410 2367676416 472911 33554432000 4194304 4454172 140728349768800 140728349767184 140074349997815 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 29020160 140728349774697 140728349774896 140728349774896 140728349777850 0
/proc/19960/statm: 578046 472911 420 64 0 573714 0
[pid=19960/tid=19967] ppid=19940 vsize=2312184 memory=288291064898468930 CPUtime=15.7 cores=0-7
/proc/19960/task/19967/stat : 19967 (manyglucose-4.1) R 19940 19915 14862 0 -1 4202560 101026 0 0 0 1536 34 0 0 20 0 3 0 511989201 2367676416 472911 33554432000 4194304 4454172 140728349768800 140074301316232 4351793 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 29020160 140728349774697 140728349774896 140728349774896 140728349777850 0
[pid=19960/tid=19968] ppid=19940 vsize=2312184 memory=3616734893553503980 CPUtime=15.93 cores=0-7
/proc/19960/task/19968/stat : 19968 (manyglucose-4.1) R 19940 19915 14862 0 -1 4202560 112352 0 0 0 1577 16 0 0 20 0 3 0 511989201 2367676416 472911 33554432000 4194304 4454172 140728349768800 140073482066728 4351800 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 29020160 140728349774697 140728349774896 140728349774896 140728349777850 0
[pid=19940/tid=19941] ppid=19915 vsize=8414124 memory=340 CPUtime=0.76 cores=0-7
/proc/19940/task/19941/stat : 19941 (java) S 19915 19915 14862 0 -1 1077944384 16772 0 0 0 71 5 0 0 20 0 24 0 511988337 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955906662304 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19942] ppid=19915 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/19940/task/19942/stat : 19942 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955939064464 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19943] ppid=19915 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/19940/task/19943/stat : 19943 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955739232784 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19944] ppid=19915 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/19940/task/19944/stat : 19944 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955418425744 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19945] ppid=19915 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/19940/task/19945/stat : 19945 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955417372944 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19946] ppid=19915 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/19940/task/19946/stat : 19946 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955416321168 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19947] ppid=19915 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19940/task/19947/stat : 19947 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955415268368 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19948] ppid=19915 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19940/task/19948/stat : 19948 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955414215568 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19949] ppid=19915 vsize=8414124 memory=121540 CPUtime=0 cores=0-7
/proc/19940/task/19949/stat : 19949 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955413162768 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19950] ppid=19915 vsize=8414124 memory=1891588 CPUtime=0 cores=0-7
/proc/19940/task/19950/stat : 19950 (java) S 19915 19915 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511988339 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955028347248 139955934833282 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19951] ppid=19915 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19940/task/19951/stat : 19951 (java) S 19915 19915 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511988340 8616062976 30385 33554432000 4194304 4196468 140735608478272 139954529231904 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19952] ppid=19915 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19940/task/19952/stat : 19952 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988340 8616062976 30385 33554432000 4194304 4196468 140735608478272 139954260796272 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19953] ppid=19915 vsize=8414124 memory=121540 CPUtime=0 cores=0-7
/proc/19940/task/19953/stat : 19953 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139953886287696 139955934840731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19954] ppid=19915 vsize=8414124 memory=1868920 CPUtime=0.04 cores=0-7
/proc/19940/task/19954/stat : 19954 (java) S 19915 19915 14862 0 -1 1077944384 447 0 0 0 4 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955027295088 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19955] ppid=19915 vsize=8414124 memory=1772 CPUtime=0.07 cores=0-7
/proc/19940/task/19955/stat : 19955 (java) S 19915 19915 14862 0 -1 1077944384 361 0 0 0 7 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955026242288 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19956] ppid=19915 vsize=8414124 memory=111632 CPUtime=0.13 cores=0-7
/proc/19940/task/19956/stat : 19956 (java) S 19915 19915 14862 0 -1 1077944384 702 0 0 0 13 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955025189488 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19957] ppid=19915 vsize=8414124 memory=804 CPUtime=0.2 cores=0-7
/proc/19940/task/19957/stat : 19957 (java) S 19915 19915 14862 0 -1 1077944384 558 0 0 0 20 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955024136688 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19958] ppid=19915 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/19940/task/19958/stat : 19958 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139953388382816 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19959] ppid=19915 vsize=8414124 memory=52332 CPUtime=0 cores=0-7
/proc/19940/task/19959/stat : 19959 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955023084080 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19961] ppid=19915 vsize=8414124 memory=140058950782059 CPUtime=0 cores=0-7
/proc/19940/task/19961/stat : 19961 (java) S 19915 19915 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511988410 8616062976 30385 33554432000 4194304 4196468 140735608478272 139955015050304 139955934846745 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19963] ppid=19915 vsize=8414124 memory=7234303152781525070 CPUtime=0 cores=0-7
/proc/19940/task/19963/stat : 19963 (java) S 19915 19915 14862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511988410 8616062976 30385 33554432000 4194304 4196468 140735608478272 139952717283472 139955934844061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19964] ppid=19915 vsize=8414124 memory=288285571668851787 CPUtime=0 cores=0-7
/proc/19940/task/19964/stat : 19964 (java) S 19915 19915 14862 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511988410 8616062976 30385 33554432000 4194304 4196468 140735608478272 139952985718800 139955934844061 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19965] ppid=19915 vsize=8414124 memory=315661466661681658 CPUtime=0 cores=0-7
/proc/19940/task/19965/stat : 19965 (java) S 19915 19915 14862 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511988413 8616062976 30385 33554432000 4194304 4196468 140735608478272 139952448855600 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
Current children cumulated CPU time: 155.57 s
Current children cumulated vsize: 10839436 KiB
Current children cumulated memory: 2014660 KiB

[startup+39.4011 s]
/proc/loadavg: 5.58 6.90 7.41 3/219 19974
/proc/meminfo: memFree=21257936/32770624 swapFree=66956516/67108860
[pid=19915] ppid=19912 vsize=113128 memory=1476 CPUtime=22.23 cores=0-7
/proc/19915/stat : 19915 (scop.sh) S 19912 19915 14862 0 -1 4202496 582 36359 0 0 0 0 2107 116 20 0 1 0 511986899 115843072 369 33554432000 4194304 5098028 140735389863888 140735389860632 140599516820092 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8073216 140735389868837 140735389869164 140735389869164 140735389872077 0
/proc/19915/statm: 28282 369 311 221 0 87 0
[pid=19940] ppid=19915 vsize=8414124 memory=122848 CPUtime=1.33 cores=0-7
/proc/19940/stat : 19940 (java) S 19915 19915 14862 0 -1 1077944320 20591 0 0 0 125 8 0 0 20 0 24 0 511988336 8616062976 30712 33554432000 4194304 4196468 140735608478272 140735608460816 139955934822135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
/proc/19940/statm: 2103531 30712 3210 1 0 2064875 0
[pid=19940/tid=19941] ppid=19915 vsize=8414124 memory=-1664385933527490352 CPUtime=0.76 cores=0-7
/proc/19940/task/19941/stat : 19941 (java) S 19915 19915 14862 0 -1 1077944384 16772 0 0 0 71 5 0 0 20 0 24 0 511988337 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955906662304 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19942] ppid=19915 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/19940/task/19942/stat : 19942 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955939064464 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19943] ppid=19915 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/19940/task/19943/stat : 19943 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955739232784 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19944] ppid=19915 vsize=8414124 memory=14133350919046965 CPUtime=0 cores=0-7
/proc/19940/task/19944/stat : 19944 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955418425744 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19945] ppid=19915 vsize=8414124 memory=7440053569103876144 CPUtime=0 cores=0-7
/proc/19940/task/19945/stat : 19945 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955417372944 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19946] ppid=19915 vsize=8414124 memory=4639074098508484640 CPUtime=0 cores=0-7
/proc/19940/task/19946/stat : 19946 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955416321168 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19947] ppid=19915 vsize=8414124 memory=4639074098508484640 CPUtime=0 cores=0-7
/proc/19940/task/19947/stat : 19947 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955415268368 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19948] ppid=19915 vsize=8414124 memory=7810487918915055670 CPUtime=0 cores=0-7
/proc/19940/task/19948/stat : 19948 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955414215568 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19949] ppid=19915 vsize=8414124 memory=7811047609035940384 CPUtime=0 cores=0-7
/proc/19940/task/19949/stat : 19949 (java) S 19915 19915 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511988338 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955413162768 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19950] ppid=19915 vsize=8414124 memory=-7234043624740508783 CPUtime=0 cores=0-7
/proc/19940/task/19950/stat : 19950 (java) S 19915 19915 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511988339 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955028347248 139955934833282 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19951] ppid=19915 vsize=8414124 memory=6369049104274710866 CPUtime=0 cores=0-7
/proc/19940/task/19951/stat : 19951 (java) S 19915 19915 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511988340 8616062976 30712 33554432000 4194304 4196468 140735608478272 139954529231904 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19952] ppid=19915 vsize=8414124 memory=7661859256947863402 CPUtime=0 cores=0-7
/proc/19940/task/19952/stat : 19952 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988340 8616062976 30712 33554432000 4194304 4196468 140735608478272 139954260796272 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19953] ppid=19915 vsize=8414124 memory=7164213714477662256 CPUtime=0 cores=0-7
/proc/19940/task/19953/stat : 19953 (java) S 19915 19915 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30712 33554432000 4194304 4196468 140735608478272 139953886287696 139955934840731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19954] ppid=19915 vsize=8414124 memory=7164213714477662256 CPUtime=0.05 cores=0-7
/proc/19940/task/19954/stat : 19954 (java) S 19915 19915 14862 0 -1 1077944384 465 0 0 0 5 0 0 0 20 0 24 0 511988343 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955027295088 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19955] ppid=19915 vsize=8414124 memory=7164213714477662256 CPUtime=0.08 cores=0-7
/proc/19940/task/19955/stat : 19955 (java) S 19915 19915 14862 0 -1 1077944384 371 0 0 0 8 0 0 0 20 0 24 0 511988343 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955026242288 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19956] ppid=19915 vsize=8414124 memory=3616 CPUtime=0.13 cores=0-7
/proc/19940/task/19956/stat : 19956 (java) S 19915 19915 14862 0 -1 1077944384 706 0 0 0 13 0 0 0 20 0 24 0 511988343 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955025189488 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19957] ppid=19915 vsize=8414124 memory=2832 CPUtime=0.22 cores=0-7
/proc/19940/task/19957/stat : 19957 (java) S 19915 19915 14862 0 -1 1077944384 861 0 0 0 22 0 0 0 20 0 24 0 511988343 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955024136688 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19958] ppid=19915 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/19940/task/19958/stat : 19958 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30712 33554432000 4194304 4196468 140735608478272 139953388382816 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19959] ppid=19915 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/19940/task/19959/stat : 19959 (java) S 19915 19915 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511988343 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955023084080 139955934833282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19961] ppid=19915 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/19940/task/19961/stat : 19961 (java) S 19915 19915 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511988410 8616062976 30712 33554432000 4194304 4196468 140735608478272 139955015050304 139955934846745 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19963] ppid=19915 vsize=8414124 memory=8444 CPUtime=0.01 cores=0-7
/proc/19940/task/19963/stat : 19963 (java) S 19915 19915 14862 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 24 0 511988410 8616062976 30712 33554432000 4194304 4196468 140735608478272 139952717283504 139955934844061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19964] ppid=19915 vsize=8414124 memory=6172 CPUtime=0 cores=0-7
/proc/19940/task/19964/stat : 19964 (java) S 19915 19915 14862 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511988410 8616062976 30712 33554432000 4194304 4196468 140735608478272 139952985718800 139955934844061 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
[pid=19940/tid=19965] ppid=19915 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/19940/task/19965/stat : 19965 (java) S 19915 19915 14862 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511988413 8616062976 30712 33554432000 4194304 4196468 140735608478272 139952448855600 139955934832341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13504512 140735608480759 140735608480918 140735608480918 140735608483791 0
Current children cumulated CPU time: 23.56 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 124324 KiB

Child status: 0
Real time (s): 39.4415
CPU time (s): 155.935
CPU user time (s): 152.136
CPU system time (s): 3.79835
CPU usage (%): 395.357
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5924372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.136
system time used= 3.79835
maximum resident set size= 5923396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1119983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 131128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47650
involuntary context switches= 1373


# summary of solver processes directly reported to runsolver:
#   pid: 19915
#   total CPU time (s): 155.935
#   total CPU user time (s): 152.136
#   total CPU system time (s): 3.79835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.311205 second user time and 0.534819 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 22:31:55
IDJOB=4405223
IDBENCH=138439
IDSOLVER=2867
FILE ID=node151/4405223-1569357156
RUNJOBID= node151-1569351215-14889
PBS_JOBID= 21705099
Free space on /tmp= 12412 MiB

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

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

MD5SUM BENCH= ab3cfdf6220e1af184bc3e02e1fbde1d
RANDOM SEED=179125110

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23325948 kB
MemAvailable:   31793388 kB
Buffers:          102628 kB
Cached:          8524456 kB
SwapCached:        50724 kB
Active:          2760956 kB
Inactive:        5923812 kB
Active(anon):       5716 kB
Inactive(anon):   106076 kB
Active(file):    2755240 kB
Inactive(file):  5817736 kB
Unevictable:      107680 kB
Mlocked:          107680 kB
SwapTotal:      67108860 kB
SwapFree:       66956516 kB
Dirty:             20596 kB
Writeback:             0 kB
AnonPages:        154888 kB
Mapped:            55040 kB
Shmem:             45980 kB
Slab:             351856 kB
SReclaimable:     322924 kB
SUnreclaim:        28932 kB
KernelStack:        3824 kB
PageTables:         5848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-24 22:32:35