Trace number 4392354

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-06-15)UNSAT 389.552 52.2745

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-clau-011-010.xml
MD5SUM46ced5e3eb9b8d9f9897ebef4f7d04b7
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 benchmark51.188
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints561
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":110}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":110}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":550},{"arity":10,"count":11}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":561}]
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-324-serial-file.bin HOME/instance-4392354-1568438957.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 07:28:35 CEST 2019
0.65/0.57	c PID: 327
0.65/0.57	c IP: 172.20.3.137
0.65/0.57	c HOST: node137.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.63/1.07	c (0,0) Parsing End
1.63/1.07	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
1.63/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.63/1.07	c (0,0) Constraint Name Generate Begin
1.63/1.08	c (0,0) Ctr:HOME/instance-4392354-1568438957.xml,Num:Var:WeightedSum
1.63/1.08	c (0,0) Constraint Name Generate End
1.63/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.63/1.08	c (0,0) CSP to CSPinCNF Begin
2.01/1.23	c (0,0) translated 57 (10%) constraints
2.01/1.26	c (0,0) translated 113 (20%) constraints
2.01/1.28	c (0,0) translated 169 (30%) constraints
2.26/1.30	c (0,0) translated 225 (40%) constraints
2.26/1.32	c (0,0) translated 281 (50%) constraints
2.26/1.33	c (0,0) translated 337 (60%) constraints
2.26/1.35	c (0,0) translated 393 (70%) constraints
2.26/1.36	c (0,0) translated 449 (80%) constraints
2.26/1.37	c (0,0) translated 505 (90%) constraints
2.26/1.38	c (0,0) translated 561 (100%) constraints
2.26/1.38	c (0,0) ===========================================
2.26/1.38	c (0,0) Order
2.26/1.38	c (0,0) ===========================================
2.57/1.40	c (0,0) translated 57 (10%) constraints
2.57/1.40	c (0,0) translated 113 (20%) constraints
2.57/1.41	c (0,0) translated 169 (30%) constraints
2.57/1.41	c (0,0) translated 225 (40%) constraints
2.57/1.42	c (0,0) translated 281 (50%) constraints
2.57/1.42	c (0,0) translated 337 (60%) constraints
2.57/1.43	c (0,0) translated 393 (70%) constraints
2.57/1.43	c (0,0) translated 449 (80%) constraints
2.57/1.43	c (0,0) translated 505 (90%) constraints
2.57/1.44	c (0,0) translated 561 (100%) constraints
2.57/1.44	c (0,0) CSP to CSPinCNF End
2.57/1.44	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.57/1.44	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.57/1.44	c (0,0) CSPinCNF Propagation Begin
2.57/1.47	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.57/1.47	c (0,0) CSPinCNF Propagation End
2.57/1.47	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.57/1.47	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.57/1.47	c (0,0) Simplify CSPinCNF Begin
2.57/1.48	c (0,0) Simplify CSPinCNF End
2.57/1.48	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.57/1.48	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.57/1.48	c (0,0) Calculate Precise Domain Begin
2.57/1.48	c (0,0) 0 values are removed by re-calculation
2.57/1.48	c (0,0) Calculate Precise Domain End
2.57/1.48	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.57/1.48	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.57/1.48	c (0,0) CSPinCNF to SatSolver Begin
2.82/1.58	c (1,1) 57 (10 %) CSP clauses are encoded (0 SAT variables, 56 SAT clauses)
2.82/1.59	c (1,1) 113 (20 %) CSP clauses are encoded (0 SAT variables, 112 SAT clauses)
3.07/1.60	c (1,1) 169 (30 %) CSP clauses are encoded (0 SAT variables, 168 SAT clauses)
3.07/1.61	c (1,1) 225 (40 %) CSP clauses are encoded (0 SAT variables, 224 SAT clauses)
3.07/1.62	c (1,1) 281 (50 %) CSP clauses are encoded (0 SAT variables, 280 SAT clauses)
3.07/1.62	c (1,1) 337 (60 %) CSP clauses are encoded (0 SAT variables, 336 SAT clauses)
3.07/1.63	c (1,1) 393 (70 %) CSP clauses are encoded (0 SAT variables, 392 SAT clauses)
3.07/1.64	c (1,1) 449 (80 %) CSP clauses are encoded (0 SAT variables, 448 SAT clauses)
3.07/1.64	c (1,1) 505 (90 %) CSP clauses are encoded (0 SAT variables, 504 SAT clauses)
3.07/1.65	c (1,1) 561 (100 %) CSP clauses are encoded (0 SAT variables, 560 SAT clauses)
3.07/1.65	c (1,1) CSPinCNF to SatSolver End
3.07/1.65	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.07/1.65	c (1,1) 110 bool, 561 clause
3.07/1.65	c (1,1) Export Begin
3.28/1.74	c (1,1) Export to HOME/scop-324-serial-file.bin
3.28/1.74	c (1,1) Export End
3.28/1.74	c (1,1) Export File Size: 0.02 MB
3.28/1.74	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.28/1.74	c END-Prog: Sat Sep 14 07:28:36 CEST 2019
3.28/1.76	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-324-serial-file.bin
3.95/2.22	c (0,0) Read Serial File Begin
3.95/2.22	c (0,0) HOME/scop-324-serial-file.bin
4.23/2.43	c (0,0) Read Serial File End
4.23/2.44	
4.23/2.44	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
4.23/2.44	(Solving Process)
4.23/2.44	
4.23/2.46	c BEGIN-Prog: Sat Sep 14 07:28:37 CEST 2019
4.23/2.46	c PID: 349
4.23/2.46	c IP: 172.20.3.137
4.23/2.46	c HOST: node137.alineos.net
4.23/2.47	c (0,0) SatSolver.solve Begin
4.23/2.47	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392354-1568438957.xml-scop-327.cnf
4.23/2.49	c (0,0) c
4.23/2.49	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)
4.23/2.49	c (0,0) c
4.23/2.49	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.23/2.49	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.23/2.49	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.23/2.49	c (0,0) c |                                                                                                       |
4.23/2.49	c (0,0) c |  Number of variables:           110                                                                   |
4.23/2.49	c (0,0) c |  Number of clauses:             561                                                                   |
4.23/2.49	c (0,0) c |  Parse time:                   0.00 s                                                                 |
4.23/2.49	c (0,0) c |                                                                                                       |
4.23/2.49	c (0,0) c |  Simplification time:          0.00 s                                                                 |
4.23/2.49	c (0,0) c |                                                                                                       |
4.23/2.49	c (0,0) c |  Generating clones                                                                                    |
4.23/2.49	c (0,0) c |  all clones generated. Memory =    22.98Mb.                                                           |
4.23/2.50	c (0,0) c ========================================================================================================|
4.23/2.50	c (0,0) c
4.23/2.50	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.23/2.50	c (0,0) c
4.23/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.23/2.50	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.23/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.23/2.50	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.23/2.50	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.23/2.50	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.23/2.50	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.23/2.50	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.23/2.50	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.23/2.50	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.23/2.50	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.23/2.50	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.23/2.50	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.23/2.50	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.23/2.50	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.23/2.50	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.23/2.50	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.23/2.50	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.23/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
231.55/31.92	c (29,0) c
231.55/31.92	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
231.55/31.92	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
231.55/31.92	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
231.55/31.92	c (29,0) c |  0 |    964 |     588769 |     488862 |      550 |    50608 |    34781 |   746058 |    48702 |      662 |  20 |  0.984 |
231.55/31.92	c (29,0) c |  1 |    512 |     569931 |     484964 |      550 |    82144 |    36564 |   744183 |    46459 |      663 |  20 |  0.992 |
231.55/31.92	c (29,0) c |  2 |   3412 |    2334342 |    1918002 |    11600 |     3988 |   195855 |   578057 |    15642 |      651 |  20 |  0.918 |
231.55/31.92	c (29,0) c |  3 |   1253 |     600738 |     492249 |      550 |    52786 |    32479 |   748535 |    52433 |      663 |  20 |  0.918 |
231.55/31.92	c (29,0) c |  4 |   3307 |    2302132 |    1895685 |    11396 |     3685 |   195299 |   570829 |    17723 |      643 |  20 |  0.992 |
231.55/31.92	c (29,0) c |  5 |    382 |     555116 |     475621 |      550 |    65126 |    39681 |   739417 |    41676 |      662 |  20 |  0.917 |
231.55/31.92	c (29,0) c |  6 |   3637 |    2354124 |    1927563 |    12579 |     3538 |   207948 |   561272 |    16059 |      644 |  20 |  0.992 |
231.55/31.92	c (29,0) c |  7 |    187 |     564230 |     484747 |      550 |    74028 |    44283 |   728341 |    34611 |      662 |  20 |  0.993 |
231.55/31.92	c (29,0) c 
231.55/31.92	c (29,0) c synthesis     8167693 conflicts    99103954 propagations    36064 conflicts/sec   437587 propagations/sec
231.55/31.92	c (29,0) c real: 29.4241 s, cpu: 226.478 s, memory: 640.17 Mb
389.39/52.22	c (50,0) c
389.39/52.22	c (50,0) c real time : 49.7343 s
389.39/52.22	c (50,0) c cpu time  : 384.038 s
389.39/52.22	c (50,0) c
389.39/52.22	c (50,0) c
389.39/52.22	c (50,0) c
389.39/52.22	c (50,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
389.39/52.22	c (50,0) c
389.39/52.22	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.23	c (50,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
389.39/52.23	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.23	c (50,0) c | Conflicts     |        12690279 |     743911 |     746850 |    2983953 |     746940 |    2985925 |     725842 |    3026672 |     730186 |
389.39/52.23	c (50,0) c | Decisions     |        15480140 |     905030 |     894466 |    3661334 |     918836 |    3658147 |     862845 |    3716448 |     863034 |
389.39/52.23	c (50,0) c | Propagations  |       157655995 |    9279836 |    9312974 |   37008039 |    9245678 |   37467821 |    8872568 |   37664341 |    8804738 |
389.39/52.23	c (50,0) c | ReduceDBs     |            4491 |         23 |         24 |       1449 |         23 |       1450 |         24 |       1473 |         25 |
389.39/52.23	c (50,0) c | SimpDBs       |              58 |          3 |          3 |         15 |          3 |         13 |          3 |         15 |          3 |
389.39/52.23	c (50,0) c | Restarts      |           23551 |       1525 |       1082 |       5832 |       1907 |       5816 |        886 |       6013 |        490 |
389.39/52.23	c (50,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
389.39/52.23	c (50,0) c | PropBinClauses|       287932035 |   15938285 |   15990284 |   69590071 |   15982892 |   69991190 |   14967601 |   70617646 |   14854066 |
389.39/52.23	c (50,0) c | PropPreBlocker|     24335301364 | 3118699284 | 3131080320 | 2885780444 | 3064321082 | 2876606303 | 3146459703 | 2855525532 | 3256828696 |
389.39/52.23	c (50,0) c | PropNotBlocker|      4032729955 |  502145876 |  490734646 |  530574028 |  498354796 |  530972154 |  489615941 |  533805828 |  456526686 |
389.39/52.23	c (50,0) c | LitFullScans  |     52823782167 | 6601799853 | 6602288509 | 6601936643 | 6601936228 | 6600677878 | 6602119945 | 6600485819 | 6612537292 |
389.39/52.23	c (50,0) c | LitScanFracts |        11451326 |    1763579 |    2278630 |     467892 |    1923588 |     668552 |    2100099 |     475600 |    1773386 |
389.39/52.23	c (50,0) c | DecisionLevel0|           23603 |       1527 |       1083 |       5851 |       1911 |       5824 |        887 |       6025 |        495 |
389.39/52.23	c (50,0) c | Periods       |            8801 |       1100 |       1100 |       1100 |       1100 |       1100 |       1100 |       1100 |       1101 |
389.39/52.23	c (50,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
389.39/52.23	c (50,0) c | Avg_Trail     |                 |         91 |         91 |         92 |         91 |         93 |         90 |         93 |         88 |
389.39/52.23	c (50,0) c | Avg_DL        |                 |         16 |         16 |         16 |         16 |         16 |         16 |         16 |         17 |
389.39/52.23	c (50,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
389.39/52.23	c (50,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
389.39/52.23	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.23	c (50,0) c | Exported      |         1212816 |      51239 |      52238 |     310367 |      47991 |     309501 |      56078 |     327017 |      58385 |
389.39/52.23	c (50,0) c | Imported      |         8317442 |    1137684 |    1136848 |     886408 |    1141826 |     885009 |    1133586 |     868478 |    1127603 |
389.39/52.23	c (50,0) c | Good          |            2823 |        392 |        381 |        336 |        386 |        312 |        391 |        285 |        340 |
389.39/52.23	c (50,0) c | Purge         |         8314619 |    1137292 |    1136467 |     886072 |    1141440 |     884697 |    1133195 |     868193 |    1127263 |
389.39/52.23	c (50,0) c | Promoted      |          411425 |      74544 |      72726 |      20992 |      79006 |      23310 |      63444 |      22150 |      55253 |
389.39/52.23	c (50,0) c | Remove_Imp    |         7193357 |     931949 |     938774 |     855874 |     923388 |     859207 |     889468 |     839688 |     955009 |
389.39/52.23	c (50,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
389.39/52.23	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.23	c (50,0) c | Unaries       |                 |          2 |          1 |         19 |          4 |          8 |          1 |         12 |          5 |
389.39/52.23	c (50,0) c | Binaries      |                 |         29 |         45 |        158 |         54 |        137 |         29 |        184 |         66 |
389.39/52.23	c (50,0) c | Glues         |                 |         63 |         86 |        226 |         85 |        187 |         74 |        254 |        107 |
389.39/52.23	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.23	c (50,0) c | Orig_Seen     |          2444 % |        550 |        550 |      32997 |        550 |      33421 |        550 |      34491 |        550 |
389.39/52.23	c (50,0) c | Diff Orig seen|                 | -    32447 | -    32447 |      X     | -    32447 |        424 | -    32447 |       1494 | -    32447 |
389.39/52.23	c (50,0) c | Hamming       |            26 % |         27 |         27 |      X     |         30 |         28 |         34 |         32 |         27 |
389.39/52.23	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.23	c (50,0) c | RunningTime   |                 |   48.7  98%|   46.3  94%|   48.4  99%|   47.8  97%|   48.9  99%|   47.8  97%|   48.7  99%|   45.4  93%|
389.39/52.23	c (50,0) c | WaitingTime   |                 |    0.5   1%|    2.3   5%|    0.0   0%|    0.9   2%|    0.0   0%|    1.1   2%|    0.0   0%|    3.2   7%|
389.39/52.23	c (50,0) c | ExchangingTime|                 |    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|
389.39/52.23	c (50,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%|
389.39/52.23	c (50,0) c | SolvingTime   |                 |   49.7     |   49.0     |   48.8     |   49.1     |   49.3     |   49.3     |   49.2     |   49.1     |
389.39/52.23	c (50,0) c | PropagationTim|                 |   44.9  91%|   44.1  90%|   32.7  67%|   44.3  90%|   33.3  68%|   43.3  88%|   32.9  67%|   44.4  91%|
389.39/52.23	c (50,0) c | AnalysisTime  |                 |    2.7   6%|    2.8   6%|    9.5  19%|    2.8   6%|    9.5  19%|    4.0   8%|    9.8  20%|    2.6   5%|
389.39/52.23	c (50,0) c | ReductionTime |                 |    1.2   2%|    1.3   3%|    4.2   9%|    1.2   2%|    4.2   9%|    1.2   2%|    4.2   9%|    1.2   2%|
389.39/52.23	c (50,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|
389.39/52.23	c (50,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%|
389.39/52.23	c (50,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%|
389.39/52.23	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.23	c (50,0) c
389.39/52.23	c (50,0) c
389.39/52.23	c (50,0) c Threads : 8
389.39/52.23	c (50,0) c Winner : 2
389.39/52.23	c (50,0) c Conflicts_0 : 743911
389.39/52.23	c (50,0) c Conflicts_1 : 746850
389.39/52.23	c (50,0) c Conflicts_2 : 2983953
389.39/52.23	c (50,0) c Conflicts_3 : 746940
389.39/52.23	c (50,0) c Conflicts_4 : 2985925
389.39/52.23	c (50,0) c Conflicts_5 : 725842
389.39/52.23	c (50,0) c Conflicts_6 : 3026672
389.39/52.23	c (50,0) c Conflicts_7 : 730186
389.39/52.23	c (50,0) c Conflicts_total : 12690279
389.39/52.23	c (50,0) c Conflicts_winner : 2983953
389.39/52.23	c (50,0) c Decisions_0 : 905030
389.39/52.23	c (50,0) c Decisions_1 : 894466
389.39/52.23	c (50,0) c Decisions_2 : 3661334
389.39/52.23	c (50,0) c Decisions_3 : 918836
389.39/52.23	c (50,0) c Decisions_4 : 3658147
389.39/52.23	c (50,0) c Decisions_5 : 862845
389.39/52.23	c (50,0) c Decisions_6 : 3716448
389.39/52.23	c (50,0) c Decisions_7 : 863034
389.39/52.23	c (50,0) c Decisions_total : 15480140
389.39/52.23	c (50,0) c Decisions_winner : 3661334
389.39/52.23	c (50,0) c Propagations_0 : 9279836
389.39/52.23	c (50,0) c Propagations_1 : 9312974
389.39/52.23	c (50,0) c Propagations_2 : 37008039
389.39/52.23	c (50,0) c Propagations_3 : 9245678
389.39/52.23	c (50,0) c Propagations_4 : 37467821
389.39/52.23	c (50,0) c Propagations_5 : 8872568
389.39/52.23	c (50,0) c Propagations_6 : 37664341
389.39/52.23	c (50,0) c Propagations_7 : 8804738
389.39/52.23	c (50,0) c Propagations_total : 157655995
389.39/52.23	c (50,0) c Propagations_winner : 37008039
389.39/52.23	c (50,0) c ReduceDBs_0 : 23
389.39/52.23	c (50,0) c ReduceDBs_1 : 24
389.39/52.23	c (50,0) c ReduceDBs_2 : 1449
389.39/52.23	c (50,0) c ReduceDBs_3 : 23
389.39/52.23	c (50,0) c ReduceDBs_4 : 1450
389.39/52.23	c (50,0) c ReduceDBs_5 : 24
389.39/52.23	c (50,0) c ReduceDBs_6 : 1473
389.39/52.23	c (50,0) c ReduceDBs_7 : 25
389.39/52.23	c (50,0) c ReduceDBs_total : 4491
389.39/52.23	c (50,0) c ReduceDBs_winner : 1449
389.39/52.23	c (50,0) c SimpDBs_0 : 3
389.39/52.23	c (50,0) c SimpDBs_1 : 3
389.39/52.23	c (50,0) c SimpDBs_2 : 15
389.39/52.23	c (50,0) c SimpDBs_3 : 3
389.39/52.23	c (50,0) c SimpDBs_4 : 13
389.39/52.23	c (50,0) c SimpDBs_5 : 3
389.39/52.23	c (50,0) c SimpDBs_6 : 15
389.39/52.23	c (50,0) c SimpDBs_7 : 3
389.39/52.23	c (50,0) c SimpDBs_total : 58
389.39/52.23	c (50,0) c SimpDBs_winner : 15
389.39/52.23	c (50,0) c Restarts_0 : 1525
389.39/52.23	c (50,0) c Restarts_1 : 1082
389.39/52.23	c (50,0) c Restarts_2 : 5832
389.39/52.23	c (50,0) c Restarts_3 : 1907
389.39/52.23	c (50,0) c Restarts_4 : 5816
389.39/52.23	c (50,0) c Restarts_5 : 886
389.39/52.23	c (50,0) c Restarts_6 : 6013
389.39/52.23	c (50,0) c Restarts_7 : 490
389.39/52.23	c (50,0) c Restarts_total : 23551
389.39/52.23	c (50,0) c Restarts_winner : 5832
389.39/52.23	c (50,0) c ForcedImports_0 : 0
389.39/52.23	c (50,0) c ForcedImports_1 : 0
389.39/52.23	c (50,0) c ForcedImports_2 : 0
389.39/52.23	c (50,0) c ForcedImports_3 : 0
389.39/52.23	c (50,0) c ForcedImports_4 : 0
389.39/52.23	c (50,0) c ForcedImports_5 : 0
389.39/52.23	c (50,0) c ForcedImports_6 : 0
389.39/52.23	c (50,0) c ForcedImports_7 : 0
389.39/52.23	c (50,0) c ForcedImports_total : 0
389.39/52.23	c (50,0) c ForcedImports_winner : 0
389.39/52.23	c (50,0) c PropsBinClauses_0 : 15938285
389.39/52.23	c (50,0) c PropsBinClauses_1 : 15990284
389.39/52.23	c (50,0) c PropsBinClauses_2 : 69590071
389.39/52.23	c (50,0) c PropsBinClauses_3 : 15982892
389.39/52.23	c (50,0) c PropsBinClauses_4 : 69991190
389.39/52.23	c (50,0) c PropsBinClauses_5 : 14967601
389.39/52.23	c (50,0) c PropsBinClauses_6 : 70617646
389.39/52.23	c (50,0) c PropsBinClauses_7 : 14854066
389.39/52.23	c (50,0) c PropsBinClauses_total : 287932035
389.39/52.23	c (50,0) c PropsBinClauses_winner : 69590071
389.39/52.23	c (50,0) c PropsPreBlocker_0 : 3118699284
389.39/52.23	c (50,0) c PropsPreBlocker_1 : 3131080320
389.39/52.23	c (50,0) c PropsPreBlocker_2 : 2885780444
389.39/52.23	c (50,0) c PropsPreBlocker_3 : 3064321082
389.39/52.23	c (50,0) c PropsPreBlocker_4 : 2876606303
389.39/52.23	c (50,0) c PropsPreBlocker_5 : 3146459703
389.39/52.23	c (50,0) c PropsPreBlocker_6 : 2855525532
389.39/52.23	c (50,0) c PropsPreBlocker_7 : 3256828696
389.39/52.23	c (50,0) c PropsPreBlocker_total : 24335301364
389.39/52.23	c (50,0) c PropsPreBlocker_winner : 2885780444
389.39/52.23	c (50,0) c PropsNotBlocker_0 : 502145876
389.39/52.23	c (50,0) c PropsNotBlocker_1 : 490734646
389.39/52.23	c (50,0) c PropsNotBlocker_2 : 530574028
389.39/52.23	c (50,0) c PropsNotBlocker_3 : 498354796
389.39/52.23	c (50,0) c PropsNotBlocker_4 : 530972154
389.39/52.23	c (50,0) c PropsNotBlocker_5 : 489615941
389.39/52.23	c (50,0) c PropsNotBlocker_6 : 533805828
389.39/52.23	c (50,0) c PropsNotBlocker_7 : 456526686
389.39/52.23	c (50,0) c PropsNotBlocker_total : 4032729955
389.39/52.23	c (50,0) c PropsNotBlocker_winner : 530574028
389.39/52.23	c (50,0) c PropsLitFullScans_0 : 6601799853
389.39/52.23	c (50,0) c PropsLitFullScans_1 : 6602288509
389.39/52.23	c (50,0) c PropsLitFullScans_2 : 6601936643
389.39/52.23	c (50,0) c PropsLitFullScans_3 : 6601936228
389.39/52.23	c (50,0) c PropsLitFullScans_4 : 6600677878
389.39/52.23	c (50,0) c PropsLitFullScans_5 : 6602119945
389.39/52.23	c (50,0) c PropsLitFullScans_6 : 6600485819
389.39/52.23	c (50,0) c PropsLitFullScans_7 : 6612537292
389.39/52.23	c (50,0) c PropsLitFullScans_total : 52823782167
389.39/52.23	c (50,0) c PropsLitFullScans_winner : 6601936643
389.39/52.23	c (50,0) c LitScanFractions_0 : 1763579
389.39/52.23	c (50,0) c LitScanFractions_1 : 2278630
389.39/52.23	c (50,0) c LitScanFractions_2 : 467892
389.39/52.23	c (50,0) c LitScanFractions_3 : 1923588
389.39/52.23	c (50,0) c LitScanFractions_4 : 668552
389.39/52.23	c (50,0) c LitScanFractions_5 : 2100099
389.39/52.23	c (50,0) c LitScanFractions_6 : 475600
389.39/52.23	c (50,0) c LitScanFractions_7 : 1773386
389.39/52.23	c (50,0) c LitScanFractions_total : 11451326
389.39/52.23	c (50,0) c LitScanFractions_winner : 467892
389.39/52.23	c (50,0) c DecisionLevel0_0 : 1527
389.39/52.23	c (50,0) c DecisionLevel0_1 : 1083
389.39/52.23	c (50,0) c DecisionLevel0_2 : 5851
389.39/52.23	c (50,0) c DecisionLevel0_3 : 1911
389.39/52.23	c (50,0) c DecisionLevel0_4 : 5824
389.39/52.23	c (50,0) c DecisionLevel0_5 : 887
389.39/52.23	c (50,0) c DecisionLevel0_6 : 6025
389.39/52.23	c (50,0) c DecisionLevel0_7 : 495
389.39/52.23	c (50,0) c DecisionLevel0_total : 23603
389.39/52.23	c (50,0) c DecisionLevel0_winner : 5851
389.39/52.23	c (50,0) c Periods_0 : 1100
389.39/52.23	c (50,0) c Periods_1 : 1100
389.39/52.23	c (50,0) c Periods_2 : 1100
389.39/52.23	c (50,0) c Periods_3 : 1100
389.39/52.23	c (50,0) c Periods_4 : 1100
389.39/52.23	c (50,0) c Periods_5 : 1100
389.39/52.23	c (50,0) c Periods_6 : 1100
389.39/52.23	c (50,0) c Periods_7 : 1101
389.39/52.23	c (50,0) c Periods_total : 8801
389.39/52.23	c (50,0) c Periods_winner : 1100
389.39/52.23	c (50,0) c Margin_0 : 20
389.39/52.23	c (50,0) c Margin_1 : 20
389.39/52.23	c (50,0) c Margin_2 : 20
389.39/52.23	c (50,0) c Margin_3 : 20
389.39/52.23	c (50,0) c Margin_4 : 20
389.39/52.23	c (50,0) c Margin_5 : 20
389.39/52.23	c (50,0) c Margin_6 : 20
389.39/52.23	c (50,0) c Margin_7 : 20
389.39/52.23	c (50,0) c Margin_total : 160
389.39/52.23	c (50,0) c Margin_winner : 20
389.39/52.23	c (50,0) c Exported_0 : 51239
389.39/52.23	c (50,0) c Exported_1 : 52238
389.39/52.23	c (50,0) c Exported_2 : 310367
389.39/52.23	c (50,0) c Exported_3 : 47991
389.39/52.23	c (50,0) c Exported_4 : 309501
389.39/52.23	c (50,0) c Exported_5 : 56078
389.39/52.23	c (50,0) c Exported_6 : 327017
389.39/52.23	c (50,0) c Exported_7 : 58385
389.39/52.23	c (50,0) c Exported_total : 1212816
389.39/52.23	c (50,0) c Exported_winner : 310367
389.39/52.23	c (50,0) c Imported_0 : 1137684
389.39/52.23	c (50,0) c Imported_1 : 1136848
389.39/52.23	c (50,0) c Imported_2 : 886408
389.39/52.23	c (50,0) c Imported_3 : 1141826
389.39/52.23	c (50,0) c Imported_4 : 885009
389.39/52.23	c (50,0) c Imported_5 : 1133586
389.39/52.23	c (50,0) c Imported_6 : 868478
389.39/52.23	c (50,0) c Imported_7 : 1127603
389.39/52.23	c (50,0) c Imported_total : 8317442
389.39/52.23	c (50,0) c Imported_winner : 886408
389.39/52.23	c (50,0) c Good_0 : 392
389.39/52.23	c (50,0) c Good_1 : 381
389.39/52.23	c (50,0) c Good_2 : 336
389.39/52.23	c (50,0) c Good_3 : 386
389.39/52.23	c (50,0) c Good_4 : 312
389.39/52.23	c (50,0) c Good_5 : 391
389.39/52.23	c (50,0) c Good_6 : 285
389.39/52.23	c (50,0) c Good_7 : 340
389.39/52.23	c (50,0) c Good_total : 2823
389.39/52.23	c (50,0) c Good_winner : 336
389.39/52.23	c (50,0) c Purge_0 : 1137292
389.39/52.23	c (50,0) c Purge_1 : 1136467
389.39/52.23	c (50,0) c Purge_2 : 886072
389.39/52.24	c (50,0) c Purge_3 : 1141440
389.39/52.24	c (50,0) c Purge_4 : 884697
389.39/52.24	c (50,0) c Purge_5 : 1133195
389.39/52.24	c (50,0) c Purge_6 : 868193
389.39/52.24	c (50,0) c Purge_7 : 1127263
389.39/52.24	c (50,0) c Purge_total : 8314619
389.39/52.24	c (50,0) c Purge_winner : 886072
389.39/52.24	c (50,0) c Promoted_0 : 74544
389.39/52.24	c (50,0) c Promoted_1 : 72726
389.39/52.24	c (50,0) c Promoted_2 : 20992
389.39/52.24	c (50,0) c Promoted_3 : 79006
389.39/52.24	c (50,0) c Promoted_4 : 23310
389.39/52.24	c (50,0) c Promoted_5 : 63444
389.39/52.24	c (50,0) c Promoted_6 : 22150
389.39/52.24	c (50,0) c Promoted_7 : 55253
389.39/52.24	c (50,0) c Promoted_total : 411425
389.39/52.24	c (50,0) c Promoted_winner : 20992
389.39/52.24	c (50,0) c Remove_Imp_0 : 931949
389.39/52.24	c (50,0) c Remove_Imp_1 : 938774
389.39/52.24	c (50,0) c Remove_Imp_2 : 855874
389.39/52.24	c (50,0) c Remove_Imp_3 : 923388
389.39/52.24	c (50,0) c Remove_Imp_4 : 859207
389.39/52.24	c (50,0) c Remove_Imp_5 : 889468
389.39/52.24	c (50,0) c Remove_Imp_6 : 839688
389.39/52.24	c (50,0) c Remove_Imp_7 : 955009
389.39/52.24	c (50,0) c Remove_Imp_total : 7193357
389.39/52.24	c (50,0) c Remove_Imp_winner : 855874
389.39/52.24	c (50,0) c Blocked_Reuse_0 : 0
389.39/52.24	c (50,0) c Blocked_Reuse_1 : 0
389.39/52.24	c (50,0) c Blocked_Reuse_2 : 0
389.39/52.24	c (50,0) c Blocked_Reuse_3 : 0
389.39/52.24	c (50,0) c Blocked_Reuse_4 : 0
389.39/52.24	c (50,0) c Blocked_Reuse_5 : 0
389.39/52.24	c (50,0) c Blocked_Reuse_6 : 0
389.39/52.24	c (50,0) c Blocked_Reuse_7 : 0
389.39/52.24	c (50,0) c Blocked_Reuse_total : 0
389.39/52.24	c (50,0) c Blocked_Reuse_winner : 0
389.39/52.24	c (50,0) c Unaries_0 : 2
389.39/52.24	c (50,0) c Unaries_1 : 1
389.39/52.24	c (50,0) c Unaries_2 : 19
389.39/52.24	c (50,0) c Unaries_3 : 4
389.39/52.24	c (50,0) c Unaries_4 : 8
389.39/52.24	c (50,0) c Unaries_5 : 1
389.39/52.24	c (50,0) c Unaries_6 : 12
389.39/52.24	c (50,0) c Unaries_7 : 5
389.39/52.24	c (50,0) c Unaries_total : 52
389.39/52.24	c (50,0) c Unaries_winner : 19
389.39/52.24	c (50,0) c Binaries_0 : 29
389.39/52.24	c (50,0) c Binaries_1 : 45
389.39/52.24	c (50,0) c Binaries_2 : 158
389.39/52.24	c (50,0) c Binaries_3 : 54
389.39/52.24	c (50,0) c Binaries_4 : 137
389.39/52.24	c (50,0) c Binaries_5 : 29
389.39/52.24	c (50,0) c Binaries_6 : 184
389.39/52.24	c (50,0) c Binaries_7 : 66
389.39/52.24	c (50,0) c Binaries_total : 702
389.39/52.24	c (50,0) c Binaries_winner : 158
389.39/52.24	c (50,0) c Glues_0 : 63
389.39/52.24	c (50,0) c Glues_1 : 86
389.39/52.24	c (50,0) c Glues_2 : 226
389.39/52.24	c (50,0) c Glues_3 : 85
389.39/52.24	c (50,0) c Glues_4 : 187
389.39/52.24	c (50,0) c Glues_5 : 74
389.39/52.24	c (50,0) c Glues_6 : 254
389.39/52.24	c (50,0) c Glues_7 : 107
389.39/52.24	c (50,0) c Glues_total : 1082
389.39/52.24	c (50,0) c Glues_winner : 226
389.39/52.24	c (50,0) c RunningTime_0 : 48.707634
389.39/52.24	c (50,0) c RunningTime_1 : 46.253540
389.39/52.24	c (50,0) c RunningTime_2 : 48.383465
389.39/52.24	c (50,0) c RunningTime_3 : 47.753877
389.39/52.24	c (50,0) c RunningTime_4 : 48.886025
389.39/52.24	c (50,0) c RunningTime_5 : 47.771061
389.39/52.24	c (50,0) c RunningTime_6 : 48.728877
389.39/52.24	c (50,0) c RunningTime_7 : 45.388925
389.39/52.24	c (50,0) c RunningTime_total : 381.873404
389.39/52.24	c (50,0) c RunningTime_winner : 48.383465
389.39/52.24	c (50,0) c WaitingTime_0 : 0.536106
389.39/52.24	c (50,0) c WaitingTime_1 : 2.325566
389.39/52.24	c (50,0) c WaitingTime_2 : 0.001842
389.39/52.24	c (50,0) c WaitingTime_3 : 0.920090
389.39/52.24	c (50,0) c WaitingTime_4 : 0.001314
389.39/52.24	c (50,0) c WaitingTime_5 : 1.065774
389.39/52.24	c (50,0) c WaitingTime_6 : 0.001561
389.39/52.24	c (50,0) c WaitingTime_7 : 3.217163
389.39/52.24	c (50,0) c WaitingTime_total : 8.069418
389.39/52.24	c (50,0) c WaitingTime_winner : 0.001842
389.39/52.24	c (50,0) c ExchangingTime_0 : 0.413519
389.39/52.24	c (50,0) c ExchangingTime_1 : 0.435868
389.39/52.24	c (50,0) c ExchangingTime_2 : 0.418365
389.39/52.24	c (50,0) c ExchangingTime_3 : 0.416036
389.39/52.24	c (50,0) c ExchangingTime_4 : 0.417573
389.39/52.24	c (50,0) c ExchangingTime_5 : 0.425165
389.39/52.24	c (50,0) c ExchangingTime_6 : 0.421127
389.39/52.24	c (50,0) c ExchangingTime_7 : 0.445272
389.39/52.24	c (50,0) c ExchangingTime_total : 3.392924
389.39/52.24	c (50,0) c ExchangingTime_winner : 0.418365
389.39/52.24	c (50,0) c PeriodProcTime_0 : 0.006965
389.39/52.24	c (50,0) c PeriodProcTime_1 : 0.006975
389.39/52.24	c (50,0) c PeriodProcTime_2 : 0.008173
389.39/52.24	c (50,0) c PeriodProcTime_3 : 0.016912
389.39/52.24	c (50,0) c PeriodProcTime_4 : 0.009006
389.39/52.24	c (50,0) c PeriodProcTime_5 : 0.008224
389.39/52.24	c (50,0) c PeriodProcTime_6 : 0.008592
389.39/52.24	c (50,0) c PeriodProcTime_7 : 0.007740
389.39/52.24	c (50,0) c PeriodProcTime_total : 0.072586
389.39/52.24	c (50,0) c PeriodProcTime_winner : 0.008173
389.39/52.24	c (50,0) c SolvingTime_0 : 49.664224
389.39/52.24	c (50,0) c SolvingTime_1 : 49.021949
389.39/52.24	c (50,0) c SolvingTime_2 : 48.811844
389.39/52.24	c (50,0) c SolvingTime_3 : 49.106914
389.39/52.24	c (50,0) c SolvingTime_4 : 49.313918
389.39/52.24	c (50,0) c SolvingTime_5 : 49.270224
389.39/52.24	c (50,0) c SolvingTime_6 : 49.160157
389.39/52.24	c (50,0) c SolvingTime_7 : 49.059100
389.39/52.24	c (50,0) c SolvingTime_total : 393.408332
389.39/52.24	c (50,0) c SolvingTime_winner : 48.811844
389.39/52.24	c (50,0) c PropagationTime_0 : 44.948228
389.39/52.24	c (50,0) c PropagationTime_1 : 44.084081
389.39/52.24	c (50,0) c PropagationTime_2 : 32.748446
389.39/52.24	c (50,0) c PropagationTime_3 : 44.287190
389.39/52.24	c (50,0) c PropagationTime_4 : 33.343722
389.39/52.24	c (50,0) c PropagationTime_5 : 43.323806
389.39/52.24	c (50,0) c PropagationTime_6 : 32.913101
389.39/52.24	c (50,0) c PropagationTime_7 : 44.403867
389.39/52.24	c (50,0) c PropagationTime_total : 320.052442
389.39/52.24	c (50,0) c PropagationTime_winner : 32.748446
389.39/52.24	c (50,0) c AnalysisTime_0 : 2.733716
389.39/52.24	c (50,0) c AnalysisTime_1 : 2.808932
389.39/52.24	c (50,0) c AnalysisTime_2 : 9.503041
389.39/52.24	c (50,0) c AnalysisTime_3 : 2.774313
389.39/52.24	c (50,0) c AnalysisTime_4 : 9.536927
389.39/52.24	c (50,0) c AnalysisTime_5 : 4.005111
389.39/52.24	c (50,0) c AnalysisTime_6 : 9.775559
389.39/52.24	c (50,0) c AnalysisTime_7 : 2.647278
389.39/52.24	c (50,0) c AnalysisTime_total : 43.784879
389.39/52.24	c (50,0) c AnalysisTime_winner : 9.503041
389.39/52.24	c (50,0) c ReductionTime_0 : 1.170362
389.39/52.24	c (50,0) c ReductionTime_1 : 1.279280
389.39/52.24	c (50,0) c ReductionTime_2 : 4.214097
389.39/52.24	c (50,0) c ReductionTime_3 : 1.171265
389.39/52.24	c (50,0) c ReductionTime_4 : 4.248456
389.39/52.24	c (50,0) c ReductionTime_5 : 1.156873
389.39/52.24	c (50,0) c ReductionTime_6 : 4.212701
389.39/52.24	c (50,0) c ReductionTime_7 : 1.184635
389.39/52.24	c (50,0) c ReductionTime_total : 18.637669
389.39/52.24	c (50,0) c ReductionTime_winner : 4.214097
389.39/52.24	c (50,0) c SimplifyTime_0 : 0.025126
389.39/52.24	c (50,0) c SimplifyTime_1 : 0.029873
389.39/52.24	c (50,0) c SimplifyTime_2 : 0.031939
389.39/52.24	c (50,0) c SimplifyTime_3 : 0.025300
389.39/52.24	c (50,0) c SimplifyTime_4 : 0.030675
389.39/52.24	c (50,0) c SimplifyTime_5 : 0.027708
389.39/52.24	c (50,0) c SimplifyTime_6 : 0.035754
389.39/52.24	c (50,0) c SimplifyTime_7 : 0.058470
389.39/52.24	c (50,0) c SimplifyTime_total : 0.264845
389.39/52.24	c (50,0) c SimplifyTime_winner : 0.031939
389.39/52.24	c (50,0) c UsedRateTime_0 : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_1 : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_2 : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_3 : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_4 : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_5 : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_6 : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_7 : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_total : 0.000000
389.39/52.24	c (50,0) c UsedRateTime_winner : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_0 : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_1 : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_2 : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_3 : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_4 : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_5 : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_6 : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_7 : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_total : 0.000000
389.39/52.24	c (50,0) c OverlapRateTime_winner : 0.000000
389.39/52.24	c (50,0) c
389.39/52.24	c (50,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
389.39/52.24	c (50,0) c
389.39/52.24	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.24	c (50,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
389.39/52.24	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.24	c (50,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
389.39/52.24	c (50,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
389.39/52.24	c (50,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
389.39/52.24	c (50,0) c | Initial random_seed   | 1877430420 |  269122161 | 1838876403 | 1054814778 |  935448000 |  790058287 | 1275334800 |  355166314 |
389.39/52.24	c (50,0) c | chanseokStrategy      |      False |      False |       True |      False |       True |      False |       True |      False |
389.39/52.24	c (50,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
389.39/52.24	c (50,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
389.39/52.24	c (50,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
389.39/52.24	c (50,0) c | incReduceDB           |        300 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
389.39/52.24	c (50,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
389.39/52.24	c (50,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
389.39/52.24	c (50,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
389.39/52.24	c (50,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
389.39/52.24	c (50,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
389.39/52.24	c (50,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
389.39/52.24	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
389.39/52.24	c (50,0) 
389.39/52.24	c (50,0) s UNSATISFIABLE
389.39/52.25	c (50,0) SatSolver.solve End
389.39/52.25	c (50,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
389.39/52.25	c (50,0) Show results Begin
389.39/52.25	s UNSATISFIABLE
389.39/52.25	c (50,0) Show results End
389.39/52.25	c (50,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
389.39/52.25	c (50,0) 50,50,STOP-AFTER(ALL)
389.39/52.25	c END-Prog: Sat Sep 14 07:29:27 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 (14852 MiB free)
  memory of node 1: 16384 MiB (15032 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392354-1568438957/watcher-4392354-1568438957 -o /tmp/evaluation-result-4392354-1568438957/solver-4392354-1568438957 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --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-4392354-1568438957.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 6.41 7.23 7.68 2/211 348
/proc/meminfo: memFree=30506236/32770624 swapFree=66927260/67108860
[pid=324] ppid=321 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/324/stat : 324 (scop.sh) S 321 324 31706 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420143023 115843072 349 33554432000 4194304 5098028 140723022272704 140723022269960 140425299513980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29863936 140723022275365 140723022275692 140723022275692 140723022278605 0
/proc/324/statm: 28282 349 296 221 0 87 0
[pid=327] ppid=324 vsize=27314120 memory=107544 CPUtime=0.1 cores=0-7
/proc/327/stat : 327 (java) S 324 324 31706 0 -1 1077944320 6454 0 0 0 7 3 0 0 20 0 20 0 420143023 27969658880 26886 33554432000 4194304 4196468 140730490046064 140730490028608 140456942141175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
/proc/327/statm: 6828530 26886 2774 1 0 6790935 0
[pid=327/tid=328] ppid=324 vsize=27314120 memory=8318255677412212789 CPUtime=0.08 cores=0-7
/proc/327/task/328/stat : 328 (java) R 324 324 31706 0 -1 4202560 4608 0 0 0 6 2 0 0 20 0 20 0 420143024 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456913967504 140456942153110 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=329] ppid=324 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/327/task/329/stat : 329 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456946383120 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=330] ppid=324 vsize=27314120 memory=140015238060249 CPUtime=0 cores=0-7
/proc/327/task/330/stat : 330 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456773200272 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=331] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/331/stat : 331 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456363641360 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=332] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/332/stat : 332 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456362588816 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=333] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/333/stat : 333 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456361536272 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=334] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/334/stat : 334 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456360483728 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=335] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/335/stat : 335 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456359431184 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=336] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/336/stat : 336 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 26951 33554432000 4194304 4196468 140730490046064 140456358378640 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=337] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/337/stat : 337 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 26951 33554432000 4194304 4196468 140730490046064 140455061108720 140456942152322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=338] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/338/stat : 338 (java) S 324 324 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 26951 33554432000 4194304 4196468 140730490046064 140454892921760 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=339] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/339/stat : 339 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 26951 33554432000 4194304 4196468 140730490046064 140454624486384 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=340] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/340/stat : 340 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 26951 33554432000 4194304 4196468 140730490046064 140454249978064 140456942159771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=343] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/343/stat : 343 (java) S 324 324 31706 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 26951 33554432000 4194304 4196468 140730490046064 140455060056560 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=344] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/344/stat : 344 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 26951 33554432000 4194304 4196468 140730490046064 140455059004016 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=345] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/345/stat : 345 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 26951 33554432000 4194304 4196468 140730490046064 140455057951472 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=346] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/346/stat : 346 (java) S 324 324 31706 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 26951 33554432000 4194304 4196468 140730490046064 140455056898928 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=347] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/347/stat : 347 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 26951 33554432000 4194304 4196468 140730490046064 140453752072416 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=348] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/348/stat : 348 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 26951 33554432000 4194304 4196468 140730490046064 140455055845808 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108940 KiB

[startup+0.210047 s]*
/proc/loadavg: 6.41 7.23 7.68 3/211 348
/proc/meminfo: memFree=30485696/32770624 swapFree=66927260/67108860
[pid=324] ppid=321 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/324/stat : 324 (scop.sh) S 321 324 31706 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420143023 115843072 349 33554432000 4194304 5098028 140723022272704 140723022269960 140425299513980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29863936 140723022275365 140723022275692 140723022275692 140723022278605 0
/proc/324/statm: 28282 349 296 221 0 87 0
[pid=327] ppid=324 vsize=27314120 memory=126924 CPUtime=0.24 cores=0-7
/proc/327/stat : 327 (java) S 324 324 31706 0 -1 1077944320 12111 0 0 0 19 5 0 0 20 0 20 0 420143023 27969658880 31731 33554432000 4194304 4196468 140730490046064 140730490028608 140456942141175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
/proc/327/statm: 6828530 31731 2924 1 0 6790935 0
[pid=327/tid=328] ppid=324 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/327/task/328/stat : 328 (java) R 324 324 31706 0 -1 4202560 9852 0 0 0 15 4 0 0 20 0 20 0 420143024 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456913949648 140456923704731 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=329] ppid=324 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/327/task/329/stat : 329 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456946383120 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=330] ppid=324 vsize=27314120 memory=140015238060249 CPUtime=0 cores=0-7
/proc/327/task/330/stat : 330 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456773200272 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=331] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/331/stat : 331 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456363641360 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=332] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/332/stat : 332 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456362588816 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=333] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/333/stat : 333 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456361536272 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=334] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/334/stat : 334 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456360483728 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=335] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/335/stat : 335 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456359431184 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=336] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/336/stat : 336 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 31731 33554432000 4194304 4196468 140730490046064 140456358378640 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=337] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/337/stat : 337 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 31731 33554432000 4194304 4196468 140730490046064 140455061108720 140456942152322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=338] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/338/stat : 338 (java) S 324 324 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 31731 33554432000 4194304 4196468 140730490046064 140454892921760 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=339] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/339/stat : 339 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 31731 33554432000 4194304 4196468 140730490046064 140454624486384 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=340] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/340/stat : 340 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 31731 33554432000 4194304 4196468 140730490046064 140454249978064 140456942159771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=343] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/343/stat : 343 (java) S 324 324 31706 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 31731 33554432000 4194304 4196468 140730490046064 140455060056560 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=344] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/344/stat : 344 (java) S 324 324 31706 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 31731 33554432000 4194304 4196468 140730490046064 140455059004016 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=345] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/345/stat : 345 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 31731 33554432000 4194304 4196468 140730490046064 140455057951472 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=346] ppid=324 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/327/task/346/stat : 346 (java) S 324 324 31706 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 420143031 27969658880 31731 33554432000 4194304 4196468 140730490046064 140455056898928 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=347] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/347/stat : 347 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 31731 33554432000 4194304 4196468 140730490046064 140453752072416 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=348] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/348/stat : 348 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 31731 33554432000 4194304 4196468 140730490046064 140455055845808 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128320 KiB

[startup+0.309565 s]*
/proc/loadavg: 6.41 7.23 7.68 2/211 348
/proc/meminfo: memFree=30482136/32770624 swapFree=66927260/67108860
[pid=324] ppid=321 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/324/stat : 324 (scop.sh) S 321 324 31706 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420143023 115843072 349 33554432000 4194304 5098028 140723022272704 140723022269960 140425299513980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29863936 140723022275365 140723022275692 140723022275692 140723022278605 0
/proc/324/statm: 28282 349 296 221 0 87 0
[pid=327] ppid=324 vsize=27314120 memory=130528 CPUtime=0.41 cores=0-7
/proc/327/stat : 327 (java) S 324 324 31706 0 -1 1077944320 12716 0 0 0 36 5 0 0 20 0 20 0 420143023 27969658880 32632 33554432000 4194304 4196468 140730490046064 140730490028608 140456942141175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
/proc/327/statm: 6828530 32632 3025 1 0 6790935 0
[pid=327/tid=328] ppid=324 vsize=27314120 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/327/task/328/stat : 328 (java) R 324 324 31706 0 -1 4202560 10280 0 0 0 25 4 0 0 20 0 20 0 420143024 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456913971248 140456942163101 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=329] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/329/stat : 329 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456946383120 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=330] ppid=324 vsize=27314120 memory=140015238030976 CPUtime=0 cores=0-7
/proc/327/task/330/stat : 330 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456773200272 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=331] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/331/stat : 331 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456363641360 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=332] ppid=324 vsize=27314120 memory=2240 CPUtime=0 cores=0-7
/proc/327/task/332/stat : 332 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456362588816 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=333] ppid=324 vsize=27314120 memory=2241 CPUtime=0 cores=0-7
/proc/327/task/333/stat : 333 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456361536272 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=334] ppid=324 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/327/task/334/stat : 334 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456360483728 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=335] ppid=324 vsize=27314120 memory=280030257290784 CPUtime=0 cores=0-7
/proc/327/task/335/stat : 335 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456359431184 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=336] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/336/stat : 336 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27969658880 32632 33554432000 4194304 4196468 140730490046064 140456358378640 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=337] ppid=324 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/327/task/337/stat : 337 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 32632 33554432000 4194304 4196468 140730490046064 140455061108720 140456942152322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=338] ppid=324 vsize=27314120 memory=1202 CPUtime=0 cores=0-7
/proc/327/task/338/stat : 338 (java) S 324 324 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 32632 33554432000 4194304 4196468 140730490046064 140454892921760 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=339] ppid=324 vsize=27314120 memory=245 CPUtime=0 cores=0-7
/proc/327/task/339/stat : 339 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143028 27969658880 32632 33554432000 4194304 4196468 140730490046064 140454624486384 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=340] ppid=324 vsize=27314120 memory=281 CPUtime=0 cores=0-7
/proc/327/task/340/stat : 340 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 32632 33554432000 4194304 4196468 140730490046064 140454249978064 140456942159771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=343] ppid=324 vsize=27314120 memory=239514 CPUtime=0.01 cores=0-7
/proc/327/task/343/stat : 343 (java) R 324 324 31706 0 -1 4202560 503 0 0 0 1 0 0 0 20 0 20 0 420143031 27969658880 32632 33554432000 4194304 4196468 140730490046064 140455060056560 140456942153110 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=344] ppid=324 vsize=27314120 memory=1 CPUtime=0.01 cores=0-7
/proc/327/task/344/stat : 344 (java) S 324 324 31706 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 420143031 27969658880 32632 33554432000 4194304 4196468 140730490046064 140455059004016 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=345] ppid=324 vsize=27314120 memory=1 CPUtime=0 cores=0-7
/proc/327/task/345/stat : 345 (java) R 324 324 31706 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 32632 33554432000 4194304 4196468 140730490046064 140455057951472 140456942152322 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=346] ppid=324 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/327/task/346/stat : 346 (java) S 324 324 31706 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 20 0 420143031 27969658880 32632 33554432000 4194304 4196468 140730490046064 140455056898928 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=347] ppid=324 vsize=27314120 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/327/task/347/stat : 347 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 32632 33554432000 4194304 4196468 140730490046064 140453752072416 140456942151381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=348] ppid=324 vsize=27314120 memory=2319684899342136879 CPUtime=0 cores=0-7
/proc/327/task/348/stat : 348 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143031 27969658880 32632 33554432000 4194304 4196468 140730490046064 140455055845808 140456942152322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131924 KiB

[startup+0.70087 s]
/proc/loadavg: 6.41 7.23 7.68 3/211 348
/proc/meminfo: memFree=30462728/32770624 swapFree=66927260/67108860
[pid=324] ppid=321 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/324/stat : 324 (scop.sh) S 321 324 31706 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420143023 115843072 349 33554432000 4194304 5098028 140723022272704 140723022269960 140425299513980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29863936 140723022275365 140723022275692 140723022275692 140723022278605 0
/proc/324/statm: 28282 349 296 221 0 87 0
[pid=327] ppid=324 vsize=27320392 memory=164888 CPUtime=0.98 cores=0-7
/proc/327/stat : 327 (java) S 324 324 31706 0 -1 1077944320 19799 0 0 0 90 8 0 0 20 0 20 0 420143023 27976081408 41222 33554432000 4194304 4196468 140730490046064 140730490028608 140456942141175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
/proc/327/statm: 6830098 41222 3183 1 0 6791447 0
[pid=327/tid=328] ppid=324 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/327/task/328/stat : 328 (java) R 324 324 31706 0 -1 4202560 16946 0 0 0 61 7 0 0 20 0 20 0 420143024 27976081408 41222 33554432000 4194304 4196468 140730490046064 140456913980000 140456444602045 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=329] ppid=324 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/327/task/329/stat : 329 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27976081408 41222 33554432000 4194304 4196468 140730490046064 140456946383120 140456942151381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=330] ppid=324 vsize=27320392 memory=4580 CPUtime=0 cores=0-7
/proc/327/task/330/stat : 330 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143026 27976081408 41222 33554432000 4194304 4196468 140730490046064 140456773200272 140456942151381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0
[pid=327/tid=331] ppid=324 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/327/task/331/stat : 331 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143026 27976081408 41222 33554432000 4194304 4196468 140730490046064 140456363641360 140456942151381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37617664 140730490049261 140730490049686 140730490049686 140730490052559 0

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

[pid=349/tid=360] ppid=324 vsize=8414124 memory=121904 CPUtime=0 cores=0-7
/proc/349/task/360/stat : 360 (java) S 324 324 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420143203 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553140298912 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=361] ppid=324 vsize=8414124 memory=411692 CPUtime=0 cores=0-7
/proc/349/task/361/stat : 361 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143203 8616062976 30476 33554432000 4194304 4196468 140723065456944 140552871863024 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=362] ppid=324 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/349/task/362/stat : 362 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140552497354704 140554501105563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=363] ppid=324 vsize=8414124 memory=121904 CPUtime=0.03 cores=0-7
/proc/349/task/363/stat : 363 (java) S 324 324 31706 0 -1 1077944384 597 0 0 0 3 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553459243760 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=364] ppid=324 vsize=8414124 memory=391400 CPUtime=0.06 cores=0-7
/proc/349/task/364/stat : 364 (java) S 324 324 31706 0 -1 1077944384 240 0 0 0 6 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553458191216 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=365] ppid=324 vsize=8414124 memory=121904 CPUtime=0.08 cores=0-7
/proc/349/task/365/stat : 365 (java) S 324 324 31706 0 -1 1077944384 325 0 0 0 8 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553457138160 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=366] ppid=324 vsize=8414124 memory=1476 CPUtime=0.19 cores=0-7
/proc/349/task/366/stat : 366 (java) S 324 324 31706 0 -1 1077944384 508 0 0 0 19 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553456085616 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=367] ppid=324 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/349/task/367/stat : 367 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551999449568 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=368] ppid=324 vsize=8414124 memory=3432 CPUtime=0.02 cores=0-7
/proc/349/task/368/stat : 368 (java) S 324 324 31706 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553455033008 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=370] ppid=324 vsize=8414124 memory=54 CPUtime=0 cores=0-7
/proc/349/task/370/stat : 370 (java) S 324 324 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553446998976 140554501111577 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=379] ppid=324 vsize=8414124 memory=4274875088591690856 CPUtime=0 cores=0-7
/proc/349/task/379/stat : 379 (java) S 324 324 31706 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551328350224 140554501108893 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=381] ppid=324 vsize=8414124 memory=4640767256796962152 CPUtime=0 cores=0-7
/proc/349/task/381/stat : 381 (java) S 324 324 31706 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551596785808 140554501108893 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=382] ppid=324 vsize=8414124 memory=2622333473023865088 CPUtime=0 cores=0-7
/proc/349/task/382/stat : 382 (java) S 324 324 31706 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420143275 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551059922352 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
Current children cumulated CPU time: 384.57 s
Current children cumulated vsize: 9213132 KiB
Current children cumulated memory: 534928 KiB

[startup+52.0012 s]*
/proc/loadavg: 7.20 7.31 7.68 3/218 384
/proc/meminfo: memFree=30083432/32770624 swapFree=66927260/67108860
[pid=324] ppid=321 vsize=113128 memory=1476 CPUtime=3.37 cores=0-7
/proc/324/stat : 324 (scop.sh) S 321 324 31706 0 -1 4202496 583 24970 0 0 0 0 323 14 20 0 1 0 420143023 115843072 369 33554432000 4194304 5098028 140723022272704 140723022269448 140425299513980 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29863936 140723022275365 140723022275692 140723022275692 140723022278605 0
/proc/324/statm: 28282 369 311 221 0 87 0
[pid=349] ppid=324 vsize=8414124 memory=121904 CPUtime=1.18 cores=0-7
/proc/349/stat : 349 (java) S 324 324 31706 0 -1 1077944320 19938 0 0 0 110 8 0 0 20 0 24 0 420143200 8616062976 30476 33554432000 4194304 4196468 140723065456944 140723065439488 140554501086967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
/proc/349/statm: 2103531 30476 3201 1 0 2064875 0
[pid=369] ppid=349 vsize=685880 memory=409768 CPUtime=384.57 cores=0-7
/proc/369/stat : 369 (manyglucose-4.1) S 349 324 31706 0 -1 1077944320 403995 0 0 0 38374 83 0 0 20 0 3 0 420143272 702341120 102442 33554432000 4194304 4454172 140731071934912 140731071933296 140291289693943 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 37842944 140731071943531 140731071943728 140731071943728 140731071946682 0
/proc/369/statm: 171470 102442 418 64 0 167138 0
[pid=369/tid=371] ppid=349 vsize=685880 memory=576460756337256219 CPUtime=48.87 cores=0-7
/proc/369/task/371/stat : 371 (manyglucose-4.1) R 349 324 31706 0 -1 4202560 52724 0 0 0 4877 10 0 0 20 0 3 0 420143273 702341120 102442 33554432000 4194304 4454172 140731071934912 140291274476680 4351555 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 37842944 140731071943531 140731071943728 140731071943728 140731071946682 0
[pid=369/tid=375] ppid=349 vsize=685880 memory=10650 CPUtime=49.41 cores=0-7
/proc/369/task/375/stat : 375 (manyglucose-4.1) R 349 324 31706 0 -1 4202560 34466 0 0 0 4936 5 0 0 20 0 3 0 420143273 702341120 102442 33554432000 4194304 4454172 140731071934912 140291240905880 4321593 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 37842944 140731071943531 140731071943728 140731071943728 140731071946682 0
[pid=349/tid=350] ppid=324 vsize=8414124 memory=14004 CPUtime=0.75 cores=0-7
/proc/349/task/350/stat : 350 (java) S 324 324 31706 0 -1 1077944384 16868 0 0 0 69 6 0 0 20 0 24 0 420143200 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554472927136 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=351] ppid=324 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/349/task/351/stat : 351 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554505329168 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=352] ppid=324 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/349/task/352/stat : 352 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554305497744 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=353] ppid=324 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/349/task/353/stat : 353 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554304444688 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=354] ppid=324 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/349/task/354/stat : 354 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554303392144 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=355] ppid=324 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/349/task/355/stat : 355 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554302340112 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=356] ppid=324 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/349/task/356/stat : 356 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554301287568 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=357] ppid=324 vsize=8414124 memory=13380 CPUtime=0 cores=0-7
/proc/349/task/357/stat : 357 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554300234512 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=358] ppid=324 vsize=8414124 memory=3054156605651173440 CPUtime=0 cores=0-7
/proc/349/task/358/stat : 358 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554299181968 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=359] ppid=324 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/349/task/359/stat : 359 (java) S 324 324 31706 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420143203 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553460295920 140554501098114 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=360] ppid=324 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/349/task/360/stat : 360 (java) S 324 324 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420143203 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553140298912 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=361] ppid=324 vsize=8414124 memory=280030257357360 CPUtime=0 cores=0-7
/proc/349/task/361/stat : 361 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143203 8616062976 30476 33554432000 4194304 4196468 140723065456944 140552871863024 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=362] ppid=324 vsize=8414124 memory=588898433800234476 CPUtime=0 cores=0-7
/proc/349/task/362/stat : 362 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140552497354704 140554501105563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=363] ppid=324 vsize=8414124 memory=14455 CPUtime=0.03 cores=0-7
/proc/349/task/363/stat : 363 (java) S 324 324 31706 0 -1 1077944384 597 0 0 0 3 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553459243760 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=364] ppid=324 vsize=8414124 memory=301794158561987669 CPUtime=0.06 cores=0-7
/proc/349/task/364/stat : 364 (java) S 324 324 31706 0 -1 1077944384 240 0 0 0 6 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553458191216 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=365] ppid=324 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/349/task/365/stat : 365 (java) S 324 324 31706 0 -1 1077944384 325 0 0 0 8 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553457138160 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=366] ppid=324 vsize=8414124 memory=-7749696028082845524 CPUtime=0.19 cores=0-7
/proc/349/task/366/stat : 366 (java) S 324 324 31706 0 -1 1077944384 508 0 0 0 19 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553456085616 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=367] ppid=324 vsize=8414124 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/349/task/367/stat : 367 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551999449568 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=368] ppid=324 vsize=8414124 memory=-7522837583129307271 CPUtime=0.02 cores=0-7
/proc/349/task/368/stat : 368 (java) S 324 324 31706 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553455033008 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=370] ppid=324 vsize=8414124 memory=-2026666227646604569 CPUtime=0 cores=0-7
/proc/349/task/370/stat : 370 (java) S 324 324 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553446998976 140554501111577 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=379] ppid=324 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/349/task/379/stat : 379 (java) S 324 324 31706 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551328350224 140554501108893 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=381] ppid=324 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/349/task/381/stat : 381 (java) S 324 324 31706 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551596785808 140554501108893 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=382] ppid=324 vsize=8414124 memory=140015128821648 CPUtime=0 cores=0-7
/proc/349/task/382/stat : 382 (java) S 324 324 31706 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420143275 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551059922352 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
Current children cumulated CPU time: 389.12 s
Current children cumulated vsize: 9213132 KiB
Current children cumulated memory: 533148 KiB

[startup+52.2011 s]
/proc/loadavg: 7.20 7.31 7.68 3/218 384
/proc/meminfo: memFree=30083432/32770624 swapFree=66927260/67108860
[pid=324] ppid=321 vsize=113128 memory=1476 CPUtime=3.37 cores=0-7
/proc/324/stat : 324 (scop.sh) S 321 324 31706 0 -1 4202496 583 24970 0 0 0 0 323 14 20 0 1 0 420143023 115843072 369 33554432000 4194304 5098028 140723022272704 140723022269448 140425299513980 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29863936 140723022275365 140723022275692 140723022275692 140723022278605 0
/proc/324/statm: 28282 369 311 221 0 87 0
[pid=349] ppid=324 vsize=8414124 memory=121904 CPUtime=1.18 cores=0-7
/proc/349/stat : 349 (java) S 324 324 31706 0 -1 1077944320 19938 0 0 0 110 8 0 0 20 0 24 0 420143200 8616062976 30476 33554432000 4194304 4196468 140723065456944 140723065439488 140554501086967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
/proc/349/statm: 2103531 30476 3201 1 0 2064875 0
[pid=369] ppid=349 vsize=685880 memory=409768 CPUtime=384.84 cores=0-7
/proc/369/stat : 369 (manyglucose-4.1) S 349 324 31706 0 -1 1077944320 404042 0 0 0 38401 83 0 0 20 0 2 0 420143272 702341120 102442 33554432000 4194304 4454172 140731071934912 140731071933296 140291289693943 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 37842944 140731071943531 140731071943728 140731071943728 140731071946682 0
/proc/369/statm: 171470 102442 418 64 0 167138 0
[pid=369/tid=371] ppid=349 vsize=685880 memory=14136632290838955 CPUtime=49.07 cores=0-7
/proc/369/task/371/stat : 371 (manyglucose-4.1) R 349 324 31706 0 -1 4202560 52766 0 0 0 4897 10 0 0 20 0 2 0 420143273 702341120 102442 33554432000 4194304 4454172 140731071934912 140291274476680 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 37842944 140731071943531 140731071943728 140731071943728 140731071946682 0
[pid=349/tid=350] ppid=324 vsize=8414124 memory=4280201277141688352 CPUtime=0.75 cores=0-7
/proc/349/task/350/stat : 350 (java) S 324 324 31706 0 -1 1077944384 16868 0 0 0 69 6 0 0 20 0 24 0 420143200 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554472927136 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=351] ppid=324 vsize=8414124 memory=7373352817559363648 CPUtime=0 cores=0-7
/proc/349/task/351/stat : 351 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554505329168 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=352] ppid=324 vsize=8414124 memory=7811885402069362022 CPUtime=0 cores=0-7
/proc/349/task/352/stat : 352 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554305497744 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=353] ppid=324 vsize=8414124 memory=7811885402069756522 CPUtime=0 cores=0-7
/proc/349/task/353/stat : 353 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554304444688 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=354] ppid=324 vsize=8414124 memory=7811885402069362026 CPUtime=0 cores=0-7
/proc/349/task/354/stat : 354 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554303392144 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=355] ppid=324 vsize=8414124 memory=7811885402069756526 CPUtime=0 cores=0-7
/proc/349/task/355/stat : 355 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554302340112 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=356] ppid=324 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/349/task/356/stat : 356 (java) S 324 324 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554301287568 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=357] ppid=324 vsize=8414124 memory=288285571665888059 CPUtime=0 cores=0-7
/proc/349/task/357/stat : 357 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554300234512 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=358] ppid=324 vsize=8414124 memory=4281067709836899104 CPUtime=0 cores=0-7
/proc/349/task/358/stat : 358 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143201 8616062976 30476 33554432000 4194304 4196468 140723065456944 140554299181968 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=359] ppid=324 vsize=8414124 memory=6009316314409559649 CPUtime=0 cores=0-7
/proc/349/task/359/stat : 359 (java) S 324 324 31706 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420143203 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553460295920 140554501098114 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=360] ppid=324 vsize=8414124 memory=7594302969125105261 CPUtime=0 cores=0-7
/proc/349/task/360/stat : 360 (java) S 324 324 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420143203 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553140298912 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=361] ppid=324 vsize=8414124 memory=288230376154837782 CPUtime=0 cores=0-7
/proc/349/task/361/stat : 361 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143203 8616062976 30476 33554432000 4194304 4196468 140723065456944 140552871863024 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=362] ppid=324 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/349/task/362/stat : 362 (java) S 324 324 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140552497354704 140554501105563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=363] ppid=324 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/349/task/363/stat : 363 (java) S 324 324 31706 0 -1 1077944384 597 0 0 0 3 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553459243760 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=364] ppid=324 vsize=8414124 memory=7309176621018409064 CPUtime=0.06 cores=0-7
/proc/349/task/364/stat : 364 (java) S 324 324 31706 0 -1 1077944384 240 0 0 0 6 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553458191216 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=365] ppid=324 vsize=8414124 memory=7879154567451534673 CPUtime=0.08 cores=0-7
/proc/349/task/365/stat : 365 (java) S 324 324 31706 0 -1 1077944384 325 0 0 0 8 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553457138160 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=366] ppid=324 vsize=8414124 memory=7662992862160186728 CPUtime=0.19 cores=0-7
/proc/349/task/366/stat : 366 (java) S 324 324 31706 0 -1 1077944384 508 0 0 0 19 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553456085616 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=367] ppid=324 vsize=8414124 memory=140015129328214 CPUtime=0 cores=0-7
/proc/349/task/367/stat : 367 (java) S 324 324 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551999449568 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=368] ppid=324 vsize=8414124 memory=280030257777312 CPUtime=0.02 cores=0-7
/proc/349/task/368/stat : 368 (java) S 324 324 31706 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 420143206 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553455033008 140554501098114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=370] ppid=324 vsize=8414124 memory=141403208286883 CPUtime=0 cores=0-7
/proc/349/task/370/stat : 370 (java) S 324 324 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140553446998976 140554501111577 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=379] ppid=324 vsize=8414124 memory=141403208286884 CPUtime=0 cores=0-7
/proc/349/task/379/stat : 379 (java) S 324 324 31706 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551328350224 140554501108893 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=381] ppid=324 vsize=8414124 memory=141403208286885 CPUtime=0 cores=0-7
/proc/349/task/381/stat : 381 (java) S 324 324 31706 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420143273 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551596785808 140554501108893 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
[pid=349/tid=382] ppid=324 vsize=8414124 memory=6298395505014629986 CPUtime=0 cores=0-7
/proc/349/task/382/stat : 382 (java) S 324 324 31706 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420143275 8616062976 30476 33554432000 4194304 4196468 140723065456944 140551059922352 140554501097173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25751552 140723065463801 140723065463958 140723065463958 140723065466831 0
Current children cumulated CPU time: 389.39 s
Current children cumulated vsize: 9213132 KiB
Current children cumulated memory: 533148 KiB

Child status: 0
Real time (s): 52.2745
CPU time (s): 389.552
CPU user time (s): 388.449
CPU system time (s): 1.10292
CPU usage (%): 745.204
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 587216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.449
system time used= 1.10292
maximum resident set size= 463836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9510
involuntary context switches= 3695


# summary of solver processes directly reported to runsolver:
#   pid: 324
#   total CPU time (s): 389.552
#   total CPU user time (s): 388.449
#   total CPU system time (s): 1.10292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.548741 second user time and 0.691484 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 07:28:34
IDJOB=4392354
IDBENCH=135568
IDSOLVER=2838
FILE ID=node137/4392354-1568438957
RUNJOBID= node137-1568437903-31733
PBS_JOBID= 21702324
Free space on /tmp= 61428 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-clau-011-010.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-4392354-1568438957/watcher-4392354-1568438957 -o /tmp/evaluation-result-4392354-1568438957/solver-4392354-1568438957 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --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-4392354-1568438957.xml

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

MD5SUM BENCH= 46ced5e3eb9b8d9f9897ebef4f7d04b7
RANDOM SEED=1548066058

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30602736 kB
MemAvailable:   31818304 kB
Buffers:           92996 kB
Cached:          1401816 kB
SwapCached:        77548 kB
Active:          1426992 kB
Inactive:         149576 kB
Active(anon):       4200 kB
Inactive(anon):   118296 kB
Active(file):    1422792 kB
Inactive(file):    31280 kB
Unevictable:      108700 kB
Mlocked:          108700 kB
SwapTotal:      67108860 kB
SwapFree:       66927260 kB
Dirty:             20636 kB
Writeback:             0 kB
AnonPages:        117440 kB
Mapped:            44544 kB
Shmem:             32772 kB
Slab:             183800 kB
SReclaimable:     154660 kB
SUnreclaim:        29140 kB
KernelStack:        3600 kB
PageTables:         6368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61408 MiB
End job on node137 at 2019-09-14 07:29:27