Trace number 4405477

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 383.095 54.9063

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-11.xml
MD5SUM0cb6e3dc45605db1284c892a60e68314
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 benchmark56.5468
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of constraints42
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":220}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":220}]
Minimum constraint arity10
Maximum constraint arity11
Distribution of constraint arities[{"arity":10,"count":22},{"arity":11,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":42}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20015-serial-file.bin HOME/instance-4405477-1569354360.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 21:45:18 CEST 2019
0.66/0.56	c PID: 20018
0.66/0.56	c IP: 172.20.3.121
0.66/0.56	c HOST: node121.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.38/0.94	c (0,0) Parsing End
1.38/0.94	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.38/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.95	c (0,0) Constraint Name Generate Begin
1.38/0.95	c (0,0) Ctr:HOME/instance-4405477-1569354360.xml,Num:Var:WeightedSum
1.38/0.95	c (0,0) Constraint Name Generate End
1.38/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.95	c (0,0) CSP to CSPinCNF Begin
1.57/1.05	c (0,0) translated 5 (10%) constraints
1.57/1.07	c (0,0) translated 9 (20%) constraints
1.57/1.08	c (0,0) translated 13 (30%) constraints
1.57/1.09	c (0,0) translated 17 (40%) constraints
1.57/1.10	c (0,0) translated 21 (50%) constraints
1.83/1.11	c (0,0) translated 26 (60%) constraints
1.83/1.12	c (0,0) translated 30 (70%) constraints
1.83/1.12	c (0,0) translated 34 (80%) constraints
1.83/1.13	c (0,0) translated 38 (90%) constraints
1.83/1.13	c (0,0) translated 42 (100%) constraints
1.83/1.14	c (0,0) ===========================================
1.83/1.14	c (0,0) Hybrid: #OE=0, #LE=220
1.83/1.14	c (0,0) Hybrid
1.83/1.14	c (0,0) ===========================================
1.83/1.15	c (0,0) translated 5 (10%) constraints
1.83/1.15	c (0,0) translated 9 (20%) constraints
1.83/1.15	c (0,0) translated 13 (30%) constraints
1.83/1.16	c (0,0) translated 17 (40%) constraints
1.83/1.16	c (0,0) translated 21 (50%) constraints
1.83/1.16	c (0,0) translated 26 (60%) constraints
1.83/1.16	c (0,0) translated 30 (70%) constraints
1.83/1.16	c (0,0) translated 34 (80%) constraints
1.83/1.17	c (0,0) translated 38 (90%) constraints
1.83/1.17	c (0,0) translated 42 (100%) constraints
1.83/1.17	c (0,0) CSP to CSPinCNF End
1.83/1.17	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.83/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.83/1.18	c (0,0) CSPinCNF Propagation Begin
1.83/1.19	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.83/1.19	c (0,0) CSPinCNF Propagation End
1.83/1.19	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.83/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.83/1.20	c (0,0) Hybrid: #OE=0, #LE=220
1.83/1.20	c (0,0) Simplify CSPinCNF Begin
2.16/1.20	c (0,0) Simplify CSPinCNF End
2.16/1.20	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.16/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.16/1.20	c (0,0) Calculate Precise Domain Begin
2.16/1.20	c (0,0) 0 values are removed by re-calculation
2.16/1.20	c (0,0) Calculate Precise Domain End
2.16/1.20	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.16/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.16/1.20	c (0,0) CSPinCNF to SatSolver Begin
2.16/1.25	c (0,0) 5 (10 %) CSP clauses are encoded (0 SAT variables, 4 SAT clauses)
2.16/1.25	c (0,0) 9 (20 %) CSP clauses are encoded (0 SAT variables, 8 SAT clauses)
2.16/1.25	c (0,0) 13 (30 %) CSP clauses are encoded (0 SAT variables, 12 SAT clauses)
2.16/1.25	c (0,0) 17 (40 %) CSP clauses are encoded (0 SAT variables, 16 SAT clauses)
2.16/1.25	c (0,0) 21 (50 %) CSP clauses are encoded (0 SAT variables, 20 SAT clauses)
2.16/1.27	c (0,0) 26 (60 %) CSP clauses are encoded (0 SAT variables, 193 SAT clauses)
2.16/1.28	c (0,0) 30 (70 %) CSP clauses are encoded (0 SAT variables, 421 SAT clauses)
2.16/1.29	c (0,0) 34 (80 %) CSP clauses are encoded (0 SAT variables, 649 SAT clauses)
2.16/1.29	c (0,0) 38 (90 %) CSP clauses are encoded (0 SAT variables, 877 SAT clauses)
2.45/1.30	c (0,0) 42 (100 %) CSP clauses are encoded (0 SAT variables, 1105 SAT clauses)
2.45/1.30	c (0,0) CSPinCNF to SatSolver End
2.45/1.30	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.30	c (0,0) 620 bool, 1162 clause
2.45/1.30	c (0,0) Export Begin
2.65/1.42	c (0,0) Export to HOME/scop-20015-serial-file.bin
2.65/1.42	c (0,0) Export End
2.65/1.42	c (0,0) Export File Size: 0.08 MB
2.65/1.42	c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.65/1.42	c END-Prog: Tue Sep 24 21:45:19 CEST 2019
2.65/1.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20015-serial-file.bin
2.74/1.90	c (0,0) Read Serial File Begin
2.74/1.90	c (0,0) HOME/scop-20015-serial-file.bin
3.68/2.14	c (0,0) Read Serial File End
3.68/2.16	
3.68/2.16	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
3.68/2.16	(Solving Process)
3.68/2.16	
3.68/2.18	c BEGIN-Prog: Tue Sep 24 21:45:19 CEST 2019
3.68/2.18	c PID: 20038
3.68/2.18	c IP: 172.20.3.121
3.68/2.18	c HOST: node121.alineos.net
3.68/2.18	c (0,0) SatSolver.solve Begin
3.68/2.18	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405477-1569354360.xml-scop-20018.cnf
3.95/2.21	c (0,0) c
3.95/2.21	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)
3.95/2.21	c (0,0) c
3.95/2.21	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.95/2.21	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
3.95/2.21	c (0,0) c ========================================[ Problem Statistics ]===========================================
3.95/2.21	c (0,0) c |                                                                                                       |
3.95/2.21	c (0,0) c |  Number of variables:           620                                                                   |
3.95/2.21	c (0,0) c |  Number of clauses:            1142                                                                   |
3.95/2.21	c (0,0) c |  Parse time:                   0.00 s                                                                 |
3.95/2.21	c (0,0) c |                                                                                                       |
3.95/2.21	c (0,0) c |  Simplification time:          0.00 s                                                                 |
3.95/2.21	c (0,0) c |                                                                                                       |
3.95/2.21	c (0,0) c |  Generating clones                                                                                    |
3.95/2.21	c (0,0) c |  all clones generated. Memory =    24.02Mb.                                                           |
3.95/2.21	c (0,0) c ========================================================================================================|
3.95/2.21	c (0,0) c
3.95/2.21	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
3.95/2.21	c (0,0) c
3.95/2.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.95/2.21	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3.95/2.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.95/2.21	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
3.95/2.21	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
3.95/2.21	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
3.95/2.21	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
3.95/2.21	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
3.95/2.21	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
3.95/2.21	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
3.95/2.21	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
3.95/2.21	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
3.95/2.21	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
3.95/2.21	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
3.95/2.21	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
3.95/2.21	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
3.95/2.21	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
3.95/2.21	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
3.95/2.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.96/31.28	c (29,0) c
214.96/31.28	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
214.96/31.28	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
214.96/31.28	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
214.96/31.28	c (29,0) c |  0 |    426 |     215628 |     178872 |      395 |    37557 |    18303 |   124675 |    15291 |      459 |  20 |  3.390 |
214.96/31.28	c (29,0) c |  1 |    505 |     218213 |     179553 |      395 |    38748 |    16796 |   126560 |    15808 |      460 |  20 |  3.392 |
214.96/31.28	c (29,0) c |  2 |    513 |     220354 |     181859 |      417 |    42267 |    19058 |   123590 |     4007 |      460 |  20 |  3.388 |
214.96/31.28	c (29,0) c |  3 |    357 |     213667 |     178818 |      395 |    36894 |    19303 |   120691 |    15988 |      461 |  20 |  3.387 |
214.96/31.28	c (29,0) c |  4 |    337 |     205107 |     172664 |      394 |    31584 |    18589 |   122059 |    15600 |      441 |  20 |  3.394 |
214.96/31.28	c (29,0) c |  5 |    403 |     213881 |     178306 |      395 |    37985 |    17067 |   126298 |    15087 |      460 |  20 |  3.387 |
214.96/31.28	c (29,0) c |  6 |    428 |     213199 |     176131 |      400 |    36060 |    18837 |   123322 |    15123 |      461 |  20 |  3.393 |
214.96/31.28	c (29,0) c |  7 |    563 |     218991 |     179424 |      473 |    39831 |    17716 |   124573 |     4972 |      459 |  20 |  3.388 |
214.96/31.28	c (29,0) c 
214.96/31.28	c (29,0) c synthesis     1425627 conflicts    36329751 propagations     6751 conflicts/sec   172030 propagations/sec
214.96/31.28	c (29,0) c real: 29.0781 s, cpu: 211.182 s, memory: 626.67 Mb
382.90/54.87	c (53,0) c
382.90/54.87	c (53,0) c real time : 52.6664 s
382.90/54.87	c (53,0) c cpu time  : 378.166 s
382.90/54.87	c (53,0) c
382.90/54.87	c (53,0) c
382.90/54.87	c (53,0) c
382.90/54.87	c (53,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
382.90/54.87	c (53,0) c
382.90/54.87	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.87	c (53,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
382.90/54.87	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.87	c (53,0) c | Conflicts     |         2031866 |     256409 |     252198 |     263302 |     249972 |     251511 |     250216 |     250958 |     257300 |
382.90/54.87	c (53,0) c | Decisions     |         2408844 |     303237 |     300160 |     313665 |     294760 |     294775 |     295325 |     297532 |     309390 |
382.90/54.87	c (53,0) c | Propagations  |        52760971 |    6662547 |    6603589 |    6734991 |    6574504 |    6552900 |    6501026 |    6551699 |    6579715 |
382.90/54.87	c (53,0) c | ReduceDBs     |             104 |         13 |         13 |         13 |         13 |         13 |         13 |         13 |         13 |
382.90/54.87	c (53,0) c | SimpDBs       |              26 |          4 |          3 |          3 |          3 |          4 |          3 |          3 |          3 |
382.90/54.87	c (53,0) c | Restarts      |            4314 |        501 |        573 |        645 |        457 |        443 |        494 |        488 |        713 |
382.90/54.87	c (53,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
382.90/54.87	c (53,0) c | PropBinClauses|        77348248 |   10067731 |   10028289 |    8926371 |    9894449 |    9934126 |    9876614 |    9889330 |    8731338 |
382.90/54.87	c (53,0) c | PropPreBlocker|     12367234322 | 1552792600 | 1558500028 | 1546566985 | 1537448011 | 1540033275 | 1551563957 | 1549954150 | 1530375316 |
382.90/54.87	c (53,0) c | PropNotBlocker|      3613762937 |  432072026 |  444842429 |  476939410 |  454245855 |  437068288 |  444562897 |  448180199 |  475851833 |
382.90/54.87	c (53,0) c | LitFullScans  |     36339371508 | 4520872214 | 4543596534 | 4549948082 | 4543474310 | 4543607074 | 4544444967 | 4549584388 | 4543843939 |
382.90/54.87	c (53,0) c | LitScanFracts |        13944847 |    2297616 |    1595075 |    1933780 |    1471357 |    1602393 |    1624264 |    1579297 |    1841065 |
382.90/54.87	c (53,0) c | DecisionLevel0|            4344 |        509 |        575 |        645 |        462 |        445 |        505 |        490 |        713 |
382.90/54.87	c (53,0) c | Periods       |            6054 |        753 |        757 |        758 |        757 |        757 |        757 |        758 |        757 |
382.90/54.87	c (53,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
382.90/54.87	c (53,0) c | Avg_Trail     |                 |        195 |        195 |        200 |        195 |        197 |        195 |        195 |        200 |
382.90/54.87	c (53,0) c | Avg_DL        |                 |         15 |         16 |         17 |         16 |         16 |         15 |         16 |         18 |
382.90/54.87	c (53,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
382.90/54.87	c (53,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
382.90/54.87	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.87	c (53,0) c | Exported      |          188817 |      24372 |      22491 |      24000 |      25475 |      24062 |      21640 |      24482 |      22295 |
382.90/54.87	c (53,0) c | Imported      |         1285308 |     161692 |     160741 |     159909 |     156282 |     161573 |     164846 |     156455 |     163810 |
382.90/54.87	c (53,0) c | Good          |            2281 |        312 |        279 |        294 |        258 |        288 |        290 |        253 |        307 |
382.90/54.87	c (53,0) c | Purge         |         1283027 |     161380 |     160462 |     159615 |     156024 |     161285 |     164556 |     156202 |     163503 |
382.90/54.87	c (53,0) c | Promoted      |          143205 |      21707 |      21883 |       5628 |      21994 |      22424 |      21759 |      21091 |       6719 |
382.90/54.87	c (53,0) c | Remove_Imp    |          651855 |      85356 |      78561 |      73210 |      80644 |      85442 |      87086 |      85383 |      76173 |
382.90/54.87	c (53,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
382.90/54.87	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.87	c (53,0) c | Unaries       |                 |          8 |          2 |          0 |          5 |          2 |         11 |          2 |          0 |
382.90/54.87	c (53,0) c | Binaries      |                 |         49 |         47 |         35 |         54 |         51 |         71 |         49 |         32 |
382.90/54.87	c (53,0) c | Glues         |                 |         68 |         60 |         37 |         66 |         61 |         85 |         60 |         35 |
382.90/54.87	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.87	c (53,0) c | Orig_Seen     |            53 % |        395 |        395 |        417 |        395 |        394 |        395 |        400 |        473 |
382.90/54.87	c (53,0) c | Diff Orig seen|                 |      X     | -        0 |         22 | -        0 | -        1 | -        0 |          5 |         78 |
382.90/54.87	c (53,0) c | Hamming       |            16 % |      X     |         81 |        191 |         67 |         69 |         54 |         77 |        194 |
382.90/54.87	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.87	c (53,0) c | RunningTime   |                 |   51.7  98%|   46.7  90%|   41.7  80%|   49.6  95%|   50.0  96%|   46.9  91%|   47.1  91%|   45.9  88%|
382.90/54.87	c (53,0) c | WaitingTime   |                 |    0.9   2%|    5.0  10%|   10.0  19%|    2.6   5%|    2.1   4%|    4.8   9%|    4.6   9%|    6.1  12%|
382.90/54.87	c (53,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
382.90/54.87	c (53,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%|
382.90/54.87	c (53,0) c | SolvingTime   |                 |   52.6     |   51.9     |   51.8     |   52.3     |   52.2     |   51.8     |   51.8     |   52.1     |
382.90/54.87	c (53,0) c | PropagationTim|                 |   39.0  74%|   43.1  83%|   44.1  85%|   41.0  78%|   40.8  78%|   42.7  82%|   42.0  81%|   38.4  74%|
382.90/54.87	c (53,0) c | AnalysisTime  |                 |   12.9  25%|    8.1  16%|    7.0  13%|   10.7  20%|   10.7  21%|    8.5  16%|    9.3  18%|   13.0  25%|
382.90/54.87	c (53,0) c | ReductionTime |                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
382.90/54.87	c (53,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
382.90/54.87	c (53,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%|
382.90/54.87	c (53,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%|
382.90/54.87	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.87	c (53,0) c
382.90/54.87	c (53,0) c
382.90/54.87	c (53,0) c Threads : 8
382.90/54.87	c (53,0) c Winner : 0
382.90/54.87	c (53,0) c Conflicts_0 : 256409
382.90/54.87	c (53,0) c Conflicts_1 : 252198
382.90/54.87	c (53,0) c Conflicts_2 : 263302
382.90/54.87	c (53,0) c Conflicts_3 : 249972
382.90/54.87	c (53,0) c Conflicts_4 : 251511
382.90/54.87	c (53,0) c Conflicts_5 : 250216
382.90/54.87	c (53,0) c Conflicts_6 : 250958
382.90/54.87	c (53,0) c Conflicts_7 : 257300
382.90/54.87	c (53,0) c Conflicts_total : 2031866
382.90/54.87	c (53,0) c Conflicts_winner : 256409
382.90/54.87	c (53,0) c Decisions_0 : 303237
382.90/54.87	c (53,0) c Decisions_1 : 300160
382.90/54.87	c (53,0) c Decisions_2 : 313665
382.90/54.87	c (53,0) c Decisions_3 : 294760
382.90/54.87	c (53,0) c Decisions_4 : 294775
382.90/54.87	c (53,0) c Decisions_5 : 295325
382.90/54.87	c (53,0) c Decisions_6 : 297532
382.90/54.87	c (53,0) c Decisions_7 : 309390
382.90/54.87	c (53,0) c Decisions_total : 2408844
382.90/54.88	c (53,0) c Decisions_winner : 303237
382.90/54.88	c (53,0) c Propagations_0 : 6662547
382.90/54.88	c (53,0) c Propagations_1 : 6603589
382.90/54.88	c (53,0) c Propagations_2 : 6734991
382.90/54.88	c (53,0) c Propagations_3 : 6574504
382.90/54.88	c (53,0) c Propagations_4 : 6552900
382.90/54.88	c (53,0) c Propagations_5 : 6501026
382.90/54.88	c (53,0) c Propagations_6 : 6551699
382.90/54.88	c (53,0) c Propagations_7 : 6579715
382.90/54.88	c (53,0) c Propagations_total : 52760971
382.90/54.88	c (53,0) c Propagations_winner : 6662547
382.90/54.88	c (53,0) c ReduceDBs_0 : 13
382.90/54.88	c (53,0) c ReduceDBs_1 : 13
382.90/54.88	c (53,0) c ReduceDBs_2 : 13
382.90/54.88	c (53,0) c ReduceDBs_3 : 13
382.90/54.88	c (53,0) c ReduceDBs_4 : 13
382.90/54.88	c (53,0) c ReduceDBs_5 : 13
382.90/54.88	c (53,0) c ReduceDBs_6 : 13
382.90/54.88	c (53,0) c ReduceDBs_7 : 13
382.90/54.88	c (53,0) c ReduceDBs_total : 104
382.90/54.88	c (53,0) c ReduceDBs_winner : 13
382.90/54.88	c (53,0) c SimpDBs_0 : 4
382.90/54.88	c (53,0) c SimpDBs_1 : 3
382.90/54.88	c (53,0) c SimpDBs_2 : 3
382.90/54.88	c (53,0) c SimpDBs_3 : 3
382.90/54.88	c (53,0) c SimpDBs_4 : 4
382.90/54.88	c (53,0) c SimpDBs_5 : 3
382.90/54.88	c (53,0) c SimpDBs_6 : 3
382.90/54.88	c (53,0) c SimpDBs_7 : 3
382.90/54.88	c (53,0) c SimpDBs_total : 26
382.90/54.88	c (53,0) c SimpDBs_winner : 4
382.90/54.88	c (53,0) c Restarts_0 : 501
382.90/54.88	c (53,0) c Restarts_1 : 573
382.90/54.88	c (53,0) c Restarts_2 : 645
382.90/54.88	c (53,0) c Restarts_3 : 457
382.90/54.88	c (53,0) c Restarts_4 : 443
382.90/54.88	c (53,0) c Restarts_5 : 494
382.90/54.88	c (53,0) c Restarts_6 : 488
382.90/54.88	c (53,0) c Restarts_7 : 713
382.90/54.88	c (53,0) c Restarts_total : 4314
382.90/54.88	c (53,0) c Restarts_winner : 501
382.90/54.88	c (53,0) c ForcedImports_0 : 0
382.90/54.88	c (53,0) c ForcedImports_1 : 0
382.90/54.88	c (53,0) c ForcedImports_2 : 0
382.90/54.88	c (53,0) c ForcedImports_3 : 0
382.90/54.88	c (53,0) c ForcedImports_4 : 0
382.90/54.88	c (53,0) c ForcedImports_5 : 0
382.90/54.88	c (53,0) c ForcedImports_6 : 0
382.90/54.88	c (53,0) c ForcedImports_7 : 0
382.90/54.88	c (53,0) c ForcedImports_total : 0
382.90/54.88	c (53,0) c ForcedImports_winner : 0
382.90/54.88	c (53,0) c PropsBinClauses_0 : 10067731
382.90/54.88	c (53,0) c PropsBinClauses_1 : 10028289
382.90/54.88	c (53,0) c PropsBinClauses_2 : 8926371
382.90/54.88	c (53,0) c PropsBinClauses_3 : 9894449
382.90/54.88	c (53,0) c PropsBinClauses_4 : 9934126
382.90/54.88	c (53,0) c PropsBinClauses_5 : 9876614
382.90/54.88	c (53,0) c PropsBinClauses_6 : 9889330
382.90/54.88	c (53,0) c PropsBinClauses_7 : 8731338
382.90/54.88	c (53,0) c PropsBinClauses_total : 77348248
382.90/54.88	c (53,0) c PropsBinClauses_winner : 10067731
382.90/54.88	c (53,0) c PropsPreBlocker_0 : 1552792600
382.90/54.88	c (53,0) c PropsPreBlocker_1 : 1558500028
382.90/54.88	c (53,0) c PropsPreBlocker_2 : 1546566985
382.90/54.88	c (53,0) c PropsPreBlocker_3 : 1537448011
382.90/54.88	c (53,0) c PropsPreBlocker_4 : 1540033275
382.90/54.88	c (53,0) c PropsPreBlocker_5 : 1551563957
382.90/54.88	c (53,0) c PropsPreBlocker_6 : 1549954150
382.90/54.88	c (53,0) c PropsPreBlocker_7 : 1530375316
382.90/54.88	c (53,0) c PropsPreBlocker_total : 12367234322
382.90/54.88	c (53,0) c PropsPreBlocker_winner : 1552792600
382.90/54.88	c (53,0) c PropsNotBlocker_0 : 432072026
382.90/54.88	c (53,0) c PropsNotBlocker_1 : 444842429
382.90/54.88	c (53,0) c PropsNotBlocker_2 : 476939410
382.90/54.88	c (53,0) c PropsNotBlocker_3 : 454245855
382.90/54.88	c (53,0) c PropsNotBlocker_4 : 437068288
382.90/54.88	c (53,0) c PropsNotBlocker_5 : 444562897
382.90/54.88	c (53,0) c PropsNotBlocker_6 : 448180199
382.90/54.88	c (53,0) c PropsNotBlocker_7 : 475851833
382.90/54.88	c (53,0) c PropsNotBlocker_total : 3613762937
382.90/54.88	c (53,0) c PropsNotBlocker_winner : 432072026
382.90/54.88	c (53,0) c PropsLitFullScans_0 : 4520872214
382.90/54.88	c (53,0) c PropsLitFullScans_1 : 4543596534
382.90/54.88	c (53,0) c PropsLitFullScans_2 : 4549948082
382.90/54.88	c (53,0) c PropsLitFullScans_3 : 4543474310
382.90/54.88	c (53,0) c PropsLitFullScans_4 : 4543607074
382.90/54.88	c (53,0) c PropsLitFullScans_5 : 4544444967
382.90/54.88	c (53,0) c PropsLitFullScans_6 : 4549584388
382.90/54.88	c (53,0) c PropsLitFullScans_7 : 4543843939
382.90/54.88	c (53,0) c PropsLitFullScans_total : 36339371508
382.90/54.88	c (53,0) c PropsLitFullScans_winner : 4520872214
382.90/54.88	c (53,0) c LitScanFractions_0 : 2297616
382.90/54.88	c (53,0) c LitScanFractions_1 : 1595075
382.90/54.88	c (53,0) c LitScanFractions_2 : 1933780
382.90/54.88	c (53,0) c LitScanFractions_3 : 1471357
382.90/54.88	c (53,0) c LitScanFractions_4 : 1602393
382.90/54.88	c (53,0) c LitScanFractions_5 : 1624264
382.90/54.88	c (53,0) c LitScanFractions_6 : 1579297
382.90/54.88	c (53,0) c LitScanFractions_7 : 1841065
382.90/54.88	c (53,0) c LitScanFractions_total : 13944847
382.90/54.88	c (53,0) c LitScanFractions_winner : 2297616
382.90/54.88	c (53,0) c DecisionLevel0_0 : 509
382.90/54.88	c (53,0) c DecisionLevel0_1 : 575
382.90/54.88	c (53,0) c DecisionLevel0_2 : 645
382.90/54.88	c (53,0) c DecisionLevel0_3 : 462
382.90/54.88	c (53,0) c DecisionLevel0_4 : 445
382.90/54.88	c (53,0) c DecisionLevel0_5 : 505
382.90/54.88	c (53,0) c DecisionLevel0_6 : 490
382.90/54.88	c (53,0) c DecisionLevel0_7 : 713
382.90/54.88	c (53,0) c DecisionLevel0_total : 4344
382.90/54.88	c (53,0) c DecisionLevel0_winner : 509
382.90/54.88	c (53,0) c Periods_0 : 753
382.90/54.88	c (53,0) c Periods_1 : 757
382.90/54.88	c (53,0) c Periods_2 : 758
382.90/54.88	c (53,0) c Periods_3 : 757
382.90/54.88	c (53,0) c Periods_4 : 757
382.90/54.88	c (53,0) c Periods_5 : 757
382.90/54.88	c (53,0) c Periods_6 : 758
382.90/54.88	c (53,0) c Periods_7 : 757
382.90/54.88	c (53,0) c Periods_total : 6054
382.90/54.88	c (53,0) c Periods_winner : 753
382.90/54.88	c (53,0) c Margin_0 : 20
382.90/54.88	c (53,0) c Margin_1 : 20
382.90/54.88	c (53,0) c Margin_2 : 20
382.90/54.88	c (53,0) c Margin_3 : 20
382.90/54.88	c (53,0) c Margin_4 : 20
382.90/54.88	c (53,0) c Margin_5 : 20
382.90/54.88	c (53,0) c Margin_6 : 20
382.90/54.88	c (53,0) c Margin_7 : 20
382.90/54.88	c (53,0) c Margin_total : 160
382.90/54.88	c (53,0) c Margin_winner : 20
382.90/54.88	c (53,0) c Exported_0 : 24372
382.90/54.88	c (53,0) c Exported_1 : 22491
382.90/54.88	c (53,0) c Exported_2 : 24000
382.90/54.88	c (53,0) c Exported_3 : 25475
382.90/54.88	c (53,0) c Exported_4 : 24062
382.90/54.88	c (53,0) c Exported_5 : 21640
382.90/54.88	c (53,0) c Exported_6 : 24482
382.90/54.88	c (53,0) c Exported_7 : 22295
382.90/54.88	c (53,0) c Exported_total : 188817
382.90/54.88	c (53,0) c Exported_winner : 24372
382.90/54.88	c (53,0) c Imported_0 : 161692
382.90/54.88	c (53,0) c Imported_1 : 160741
382.90/54.88	c (53,0) c Imported_2 : 159909
382.90/54.88	c (53,0) c Imported_3 : 156282
382.90/54.88	c (53,0) c Imported_4 : 161573
382.90/54.88	c (53,0) c Imported_5 : 164846
382.90/54.88	c (53,0) c Imported_6 : 156455
382.90/54.88	c (53,0) c Imported_7 : 163810
382.90/54.88	c (53,0) c Imported_total : 1285308
382.90/54.88	c (53,0) c Imported_winner : 161692
382.90/54.88	c (53,0) c Good_0 : 312
382.90/54.88	c (53,0) c Good_1 : 279
382.90/54.88	c (53,0) c Good_2 : 294
382.90/54.88	c (53,0) c Good_3 : 258
382.90/54.88	c (53,0) c Good_4 : 288
382.90/54.88	c (53,0) c Good_5 : 290
382.90/54.88	c (53,0) c Good_6 : 253
382.90/54.88	c (53,0) c Good_7 : 307
382.90/54.88	c (53,0) c Good_total : 2281
382.90/54.88	c (53,0) c Good_winner : 312
382.90/54.88	c (53,0) c Purge_0 : 161380
382.90/54.88	c (53,0) c Purge_1 : 160462
382.90/54.88	c (53,0) c Purge_2 : 159615
382.90/54.88	c (53,0) c Purge_3 : 156024
382.90/54.88	c (53,0) c Purge_4 : 161285
382.90/54.88	c (53,0) c Purge_5 : 164556
382.90/54.88	c (53,0) c Purge_6 : 156202
382.90/54.88	c (53,0) c Purge_7 : 163503
382.90/54.88	c (53,0) c Purge_total : 1283027
382.90/54.88	c (53,0) c Purge_winner : 161380
382.90/54.88	c (53,0) c Promoted_0 : 21707
382.90/54.88	c (53,0) c Promoted_1 : 21883
382.90/54.88	c (53,0) c Promoted_2 : 5628
382.90/54.88	c (53,0) c Promoted_3 : 21994
382.90/54.88	c (53,0) c Promoted_4 : 22424
382.90/54.88	c (53,0) c Promoted_5 : 21759
382.90/54.88	c (53,0) c Promoted_6 : 21091
382.90/54.88	c (53,0) c Promoted_7 : 6719
382.90/54.88	c (53,0) c Promoted_total : 143205
382.90/54.88	c (53,0) c Promoted_winner : 21707
382.90/54.88	c (53,0) c Remove_Imp_0 : 85356
382.90/54.88	c (53,0) c Remove_Imp_1 : 78561
382.90/54.88	c (53,0) c Remove_Imp_2 : 73210
382.90/54.88	c (53,0) c Remove_Imp_3 : 80644
382.90/54.88	c (53,0) c Remove_Imp_4 : 85442
382.90/54.88	c (53,0) c Remove_Imp_5 : 87086
382.90/54.88	c (53,0) c Remove_Imp_6 : 85383
382.90/54.88	c (53,0) c Remove_Imp_7 : 76173
382.90/54.88	c (53,0) c Remove_Imp_total : 651855
382.90/54.88	c (53,0) c Remove_Imp_winner : 85356
382.90/54.88	c (53,0) c Blocked_Reuse_0 : 0
382.90/54.88	c (53,0) c Blocked_Reuse_1 : 0
382.90/54.88	c (53,0) c Blocked_Reuse_2 : 0
382.90/54.88	c (53,0) c Blocked_Reuse_3 : 0
382.90/54.88	c (53,0) c Blocked_Reuse_4 : 0
382.90/54.88	c (53,0) c Blocked_Reuse_5 : 0
382.90/54.88	c (53,0) c Blocked_Reuse_6 : 0
382.90/54.88	c (53,0) c Blocked_Reuse_7 : 0
382.90/54.88	c (53,0) c Blocked_Reuse_total : 0
382.90/54.88	c (53,0) c Blocked_Reuse_winner : 0
382.90/54.88	c (53,0) c Unaries_0 : 8
382.90/54.88	c (53,0) c Unaries_1 : 2
382.90/54.88	c (53,0) c Unaries_2 : 0
382.90/54.88	c (53,0) c Unaries_3 : 5
382.90/54.88	c (53,0) c Unaries_4 : 2
382.90/54.88	c (53,0) c Unaries_5 : 11
382.90/54.88	c (53,0) c Unaries_6 : 2
382.90/54.88	c (53,0) c Unaries_7 : 0
382.90/54.88	c (53,0) c Unaries_total : 30
382.90/54.88	c (53,0) c Unaries_winner : 8
382.90/54.88	c (53,0) c Binaries_0 : 49
382.90/54.88	c (53,0) c Binaries_1 : 47
382.90/54.88	c (53,0) c Binaries_2 : 35
382.90/54.88	c (53,0) c Binaries_3 : 54
382.90/54.88	c (53,0) c Binaries_4 : 51
382.90/54.88	c (53,0) c Binaries_5 : 71
382.90/54.88	c (53,0) c Binaries_6 : 49
382.90/54.88	c (53,0) c Binaries_7 : 32
382.90/54.88	c (53,0) c Binaries_total : 388
382.90/54.88	c (53,0) c Binaries_winner : 49
382.90/54.88	c (53,0) c Glues_0 : 68
382.90/54.88	c (53,0) c Glues_1 : 60
382.90/54.88	c (53,0) c Glues_2 : 37
382.90/54.88	c (53,0) c Glues_3 : 66
382.90/54.88	c (53,0) c Glues_4 : 61
382.90/54.88	c (53,0) c Glues_5 : 85
382.90/54.88	c (53,0) c Glues_6 : 60
382.90/54.88	c (53,0) c Glues_7 : 35
382.90/54.88	c (53,0) c Glues_total : 472
382.90/54.88	c (53,0) c Glues_winner : 68
382.90/54.88	c (53,0) c RunningTime_0 : 51.651823
382.90/54.88	c (53,0) c RunningTime_1 : 46.740545
382.90/54.88	c (53,0) c RunningTime_2 : 41.700753
382.90/54.88	c (53,0) c RunningTime_3 : 49.592968
382.90/54.88	c (53,0) c RunningTime_4 : 49.978540
382.90/54.88	c (53,0) c RunningTime_5 : 46.906776
382.90/54.88	c (53,0) c RunningTime_6 : 47.122123
382.90/54.88	c (53,0) c RunningTime_7 : 45.922260
382.90/54.88	c (53,0) c RunningTime_total : 379.615789
382.90/54.88	c (53,0) c RunningTime_winner : 51.651823
382.90/54.88	c (53,0) c WaitingTime_0 : 0.885307
382.90/54.88	c (53,0) c WaitingTime_1 : 5.036615
382.90/54.88	c (53,0) c WaitingTime_2 : 10.011015
382.90/54.88	c (53,0) c WaitingTime_3 : 2.602337
382.90/54.88	c (53,0) c WaitingTime_4 : 2.074270
382.90/54.88	c (53,0) c WaitingTime_5 : 4.792286
382.90/54.88	c (53,0) c WaitingTime_6 : 4.600137
382.90/54.88	c (53,0) c WaitingTime_7 : 6.065861
382.90/54.88	c (53,0) c WaitingTime_total : 36.067828
382.90/54.88	c (53,0) c WaitingTime_winner : 0.885307
382.90/54.88	c (53,0) c ExchangingTime_0 : 0.090795
382.90/54.88	c (53,0) c ExchangingTime_1 : 0.098185
382.90/54.88	c (53,0) c ExchangingTime_2 : 0.106654
382.90/54.88	c (53,0) c ExchangingTime_3 : 0.089575
382.90/54.88	c (53,0) c ExchangingTime_4 : 0.096896
382.90/54.88	c (53,0) c ExchangingTime_5 : 0.097950
382.90/54.88	c (53,0) c ExchangingTime_6 : 0.095816
382.90/54.88	c (53,0) c ExchangingTime_7 : 0.097414
382.90/54.88	c (53,0) c ExchangingTime_total : 0.773285
382.90/54.88	c (53,0) c ExchangingTime_winner : 0.090795
382.90/54.88	c (53,0) c PeriodProcTime_0 : 0.008808
382.90/54.88	c (53,0) c PeriodProcTime_1 : 0.007381
382.90/54.88	c (53,0) c PeriodProcTime_2 : 0.006953
382.90/54.88	c (53,0) c PeriodProcTime_3 : 0.006660
382.90/54.88	c (53,0) c PeriodProcTime_4 : 0.007739
382.90/54.88	c (53,0) c PeriodProcTime_5 : 0.006216
382.90/54.88	c (53,0) c PeriodProcTime_6 : 0.006256
382.90/54.88	c (53,0) c PeriodProcTime_7 : 0.006352
382.90/54.88	c (53,0) c PeriodProcTime_total : 0.056365
382.90/54.88	c (53,0) c PeriodProcTime_winner : 0.008808
382.90/54.88	c (53,0) c SolvingTime_0 : 52.636733
382.90/54.88	c (53,0) c SolvingTime_1 : 51.882726
382.90/54.88	c (53,0) c SolvingTime_2 : 51.825375
382.90/54.88	c (53,0) c SolvingTime_3 : 52.291540
382.90/54.88	c (53,0) c SolvingTime_4 : 52.157445
382.90/54.88	c (53,0) c SolvingTime_5 : 51.803228
382.90/54.88	c (53,0) c SolvingTime_6 : 51.824332
382.90/54.88	c (53,0) c SolvingTime_7 : 52.091887
382.90/54.88	c (53,0) c SolvingTime_total : 416.513267
382.90/54.88	c (53,0) c SolvingTime_winner : 52.636733
382.90/54.88	c (53,0) c PropagationTime_0 : 39.043657
382.90/54.88	c (53,0) c PropagationTime_1 : 43.119316
382.90/54.88	c (53,0) c PropagationTime_2 : 44.116445
382.90/54.88	c (53,0) c PropagationTime_3 : 40.974170
382.90/54.88	c (53,0) c PropagationTime_4 : 40.773683
382.90/54.88	c (53,0) c PropagationTime_5 : 42.680725
382.90/54.88	c (53,0) c PropagationTime_6 : 41.954766
382.90/54.88	c (53,0) c PropagationTime_7 : 38.369264
382.90/54.89	c (53,0) c PropagationTime_total : 331.032026
382.90/54.89	c (53,0) c PropagationTime_winner : 39.043657
382.90/54.89	c (53,0) c AnalysisTime_0 : 12.947253
382.90/54.89	c (53,0) c AnalysisTime_1 : 8.093859
382.90/54.89	c (53,0) c AnalysisTime_2 : 6.968262
382.90/54.89	c (53,0) c AnalysisTime_3 : 10.688550
382.90/54.89	c (53,0) c AnalysisTime_4 : 10.722021
382.90/54.89	c (53,0) c AnalysisTime_5 : 8.469463
382.90/54.89	c (53,0) c AnalysisTime_6 : 9.257454
382.90/54.89	c (53,0) c AnalysisTime_7 : 13.045644
382.90/54.89	c (53,0) c AnalysisTime_total : 80.192507
382.90/54.89	c (53,0) c AnalysisTime_winner : 12.947253
382.90/54.89	c (53,0) c ReductionTime_0 : 0.284219
382.90/54.89	c (53,0) c ReductionTime_1 : 0.308956
382.90/54.89	c (53,0) c ReductionTime_2 : 0.347791
382.90/54.89	c (53,0) c ReductionTime_3 : 0.281524
382.90/54.89	c (53,0) c ReductionTime_4 : 0.296939
382.90/54.89	c (53,0) c ReductionTime_5 : 0.298857
382.90/54.89	c (53,0) c ReductionTime_6 : 0.269501
382.90/54.89	c (53,0) c ReductionTime_7 : 0.311309
382.90/54.89	c (53,0) c ReductionTime_total : 2.399096
382.90/54.89	c (53,0) c ReductionTime_winner : 0.284219
382.90/54.89	c (53,0) c SimplifyTime_0 : 0.025767
382.90/54.89	c (53,0) c SimplifyTime_1 : 0.017352
382.90/54.89	c (53,0) c SimplifyTime_2 : 0.040367
382.90/54.89	c (53,0) c SimplifyTime_3 : 0.017138
382.90/54.89	c (53,0) c SimplifyTime_4 : 0.024957
382.90/54.89	c (53,0) c SimplifyTime_5 : 0.018567
382.90/54.89	c (53,0) c SimplifyTime_6 : 0.016612
382.90/54.89	c (53,0) c SimplifyTime_7 : 0.018079
382.90/54.89	c (53,0) c SimplifyTime_total : 0.178838
382.90/54.89	c (53,0) c SimplifyTime_winner : 0.025767
382.90/54.89	c (53,0) c UsedRateTime_0 : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_1 : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_2 : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_3 : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_4 : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_5 : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_6 : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_7 : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_total : 0.000000
382.90/54.89	c (53,0) c UsedRateTime_winner : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_0 : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_1 : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_2 : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_3 : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_4 : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_5 : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_6 : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_7 : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_total : 0.000000
382.90/54.89	c (53,0) c OverlapRateTime_winner : 0.000000
382.90/54.89	c (53,0) c
382.90/54.89	c (53,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
382.90/54.89	c (53,0) c
382.90/54.89	c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.89	c (53,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
382.90/54.89	c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.89	c (53,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
382.90/54.89	c (53,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
382.90/54.89	c (53,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
382.90/54.89	c (53,0) c | Initial random_seed   |  435067354 |  707203700 |  711225735 | 1907857987 | 1960994538 |  162583920 | 1420483322 |  618928179 |
382.90/54.89	c (53,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
382.90/54.89	c (53,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
382.90/54.89	c (53,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
382.90/54.89	c (53,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
382.90/54.89	c (53,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
382.90/54.89	c (53,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
382.90/54.89	c (53,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
382.90/54.89	c (53,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
382.90/54.89	c (53,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
382.90/54.89	c (53,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
382.90/54.89	c (53,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
382.90/54.89	c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
382.90/54.89	c (53,0) 
382.90/54.89	c (53,0) s UNSATISFIABLE
382.90/54.89	c (53,0) SatSolver.solve End
382.90/54.89	c (53,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
382.90/54.89	c (53,0) Show results Begin
382.90/54.89	s UNSATISFIABLE
382.90/54.89	c (53,0) Show results End
382.90/54.89	c (53,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
382.90/54.89	c (53,0) 53,53,STOP-AFTER(ALL)
382.90/54.89	c END-Prog: Tue Sep 24 21:46:12 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 (11804 MiB free)
  memory of node 1: 16384 MiB (13081 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100149 s]*
/proc/loadavg: 8.04 8.23 8.26 3/212 20037
/proc/meminfo: memFree=25386540/32770624 swapFree=66992432/67108860
[pid=20015] ppid=20012 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20015/stat : 20015 (scop.sh) S 20012 20015 18822 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511698586 115843072 349 33554432000 4194304 5098028 140735015171952 140735015169208 140445251867260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8851456 140735015179004 140735015179352 140735015179352 140735015182281 0
/proc/20015/statm: 28282 349 296 221 0 87 0
[pid=20018] ppid=20015 vsize=27314120 memory=107656 CPUtime=0.1 cores=0-7
/proc/20018/stat : 20018 (java) S 20015 20015 18822 0 -1 1077944320 6468 0 0 0 8 2 0 0 20 0 20 0 511698587 27969658880 26914 33554432000 4194304 4196468 140729119722912 140729119705456 140155572526839 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
/proc/20018/statm: 6828530 26914 2800 1 0 6790935 0
[pid=20018/tid=20019] ppid=20015 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/20018/task/20019/stat : 20019 (java) R 20015 20015 18822 0 -1 4202560 4581 0 0 0 7 2 0 0 20 0 20 0 511698587 27969658880 26914 33554432000 4194304 4196468 140729119722912 140155544345216 140155556607326 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20020] ppid=20015 vsize=27314120 memory=732369766265031653 CPUtime=0 cores=0-7
/proc/20018/task/20020/stat : 20020 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 26914 33554432000 4194304 4196468 140729119722912 140155576769424 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20021] ppid=20015 vsize=27314120 memory=139627927578240 CPUtime=0 cores=0-7
/proc/20018/task/20021/stat : 20021 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 26914 33554432000 4194304 4196468 140729119722912 140155390925584 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20022] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20022/stat : 20022 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 26914 33554432000 4194304 4196468 140729119722912 140155389873296 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20023] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20023/stat : 20023 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 26914 33554432000 4194304 4196468 140729119722912 140155388820496 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20024] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20024/stat : 20024 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 26914 33554432000 4194304 4196468 140729119722912 140155387767184 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20025] ppid=20015 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20018/task/20025/stat : 20025 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 26914 33554432000 4194304 4196468 140729119722912 140154990393616 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20026] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20026/stat : 20026 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 26914 33554432000 4194304 4196468 140729119722912 140154989341328 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20027] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20027/stat : 20027 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 26914 33554432000 4194304 4196468 140729119722912 140154988288528 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20028] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20028/stat : 20028 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 26914 33554432000 4194304 4196468 140729119722912 140153624255088 140155572537986 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20029] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20029/stat : 20029 (java) S 20015 20015 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 26914 33554432000 4194304 4196468 140729119722912 140153507013920 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20030] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20030/stat : 20030 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 26914 33554432000 4194304 4196468 140729119722912 140153238578800 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20031] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20031/stat : 20031 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 26914 33554432000 4194304 4196468 140729119722912 140152864070224 140155572545435 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20032] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20032/stat : 20032 (java) S 20015 20015 18822 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 26914 33554432000 4194304 4196468 140729119722912 140153623201904 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20033] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20033/stat : 20033 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 26914 33554432000 4194304 4196468 140729119722912 140153622149104 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20034] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20034/stat : 20034 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 26914 33554432000 4194304 4196468 140729119722912 140153621096816 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20035] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20035/stat : 20035 (java) S 20015 20015 18822 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 26914 33554432000 4194304 4196468 140729119722912 140153620044016 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20036] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20036/stat : 20036 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 26914 33554432000 4194304 4196468 140729119722912 140152366164832 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20037] ppid=20015 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20018/task/20037/stat : 20037 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 26914 33554432000 4194304 4196468 140729119722912 140153618991920 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109052 KiB

[startup+0.210125 s]*
/proc/loadavg: 8.04 8.23 8.26 2/212 20037
/proc/meminfo: memFree=25365712/32770624 swapFree=66992432/67108860
[pid=20015] ppid=20012 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20015/stat : 20015 (scop.sh) S 20012 20015 18822 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511698586 115843072 349 33554432000 4194304 5098028 140735015171952 140735015169208 140445251867260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8851456 140735015179004 140735015179352 140735015179352 140735015182281 0
/proc/20015/statm: 28282 349 296 221 0 87 0
[pid=20018] ppid=20015 vsize=27314120 memory=126696 CPUtime=0.25 cores=0-7
/proc/20018/stat : 20018 (java) S 20015 20015 18822 0 -1 1077944320 11955 0 0 0 21 4 0 0 20 0 20 0 511698587 27969658880 31674 33554432000 4194304 4196468 140729119722912 140729119705456 140155572526839 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
/proc/20018/statm: 6828530 31674 2921 1 0 6790935 0
[pid=20018/tid=20019] ppid=20015 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/20018/task/20019/stat : 20019 (java) R 20015 20015 18822 0 -1 4202560 9689 0 0 0 16 3 0 0 20 0 20 0 511698587 27969658880 31674 33554432000 4194304 4196468 140729119722912 140155544340272 140155552802720 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20020] ppid=20015 vsize=27314120 memory=732369766265031653 CPUtime=0 cores=0-7
/proc/20018/task/20020/stat : 20020 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 31674 33554432000 4194304 4196468 140729119722912 140155576769424 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20021] ppid=20015 vsize=27314120 memory=139627927578240 CPUtime=0 cores=0-7
/proc/20018/task/20021/stat : 20021 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 31674 33554432000 4194304 4196468 140729119722912 140155390925584 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20022] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20022/stat : 20022 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 31674 33554432000 4194304 4196468 140729119722912 140155389873296 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20023] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20023/stat : 20023 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 31674 33554432000 4194304 4196468 140729119722912 140155388820496 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20024] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20024/stat : 20024 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 31674 33554432000 4194304 4196468 140729119722912 140155387767184 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20025] ppid=20015 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20018/task/20025/stat : 20025 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 31674 33554432000 4194304 4196468 140729119722912 140154990393616 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20026] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20026/stat : 20026 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 31674 33554432000 4194304 4196468 140729119722912 140154989341328 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20027] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20027/stat : 20027 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 31674 33554432000 4194304 4196468 140729119722912 140154988288528 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20028] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20028/stat : 20028 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 31674 33554432000 4194304 4196468 140729119722912 140153624255088 140155572537986 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20029] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20029/stat : 20029 (java) S 20015 20015 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 31674 33554432000 4194304 4196468 140729119722912 140153507013920 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20030] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20030/stat : 20030 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 31674 33554432000 4194304 4196468 140729119722912 140153238578800 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20031] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20031/stat : 20031 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 31674 33554432000 4194304 4196468 140729119722912 140152864070224 140155572545435 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20032] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20032/stat : 20032 (java) S 20015 20015 18822 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 31674 33554432000 4194304 4196468 140729119722912 140153623201904 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20033] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20033/stat : 20033 (java) S 20015 20015 18822 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 31674 33554432000 4194304 4196468 140729119722912 140153622149104 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20034] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20034/stat : 20034 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 31674 33554432000 4194304 4196468 140729119722912 140153621096816 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20035] ppid=20015 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20018/task/20035/stat : 20035 (java) S 20015 20015 18822 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 511698594 27969658880 31674 33554432000 4194304 4196468 140729119722912 140153620044016 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20036] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20036/stat : 20036 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 31674 33554432000 4194304 4196468 140729119722912 140152366164832 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20037] ppid=20015 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20018/task/20037/stat : 20037 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 31674 33554432000 4194304 4196468 140729119722912 140153618991920 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128092 KiB

[startup+0.309446 s]*
/proc/loadavg: 8.04 8.23 8.26 2/212 20037
/proc/meminfo: memFree=25362596/32770624 swapFree=66992432/67108860
[pid=20015] ppid=20012 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20015/stat : 20015 (scop.sh) S 20012 20015 18822 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511698586 115843072 349 33554432000 4194304 5098028 140735015171952 140735015169208 140445251867260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8851456 140735015179004 140735015179352 140735015179352 140735015182281 0
/proc/20015/statm: 28282 349 296 221 0 87 0
[pid=20018] ppid=20015 vsize=27314120 memory=130376 CPUtime=0.42 cores=0-7
/proc/20018/stat : 20018 (java) S 20015 20015 18822 0 -1 1077944320 12942 0 0 0 38 4 0 0 20 0 20 0 511698587 27969658880 32594 33554432000 4194304 4196468 140729119722912 140729119705456 140155572526839 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
/proc/20018/statm: 6828530 32594 3021 1 0 6790935 0
[pid=20018/tid=20019] ppid=20015 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/20018/task/20019/stat : 20019 (java) R 20015 20015 18822 0 -1 4202560 10493 0 0 0 26 4 0 0 20 0 20 0 511698587 27969658880 32594 33554432000 4194304 4196468 140729119722912 140155544309856 140155556607326 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20020] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20020/stat : 20020 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 32594 33554432000 4194304 4196468 140729119722912 140155576769424 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20021] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20021/stat : 20021 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 32594 33554432000 4194304 4196468 140729119722912 140155390925584 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20022] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20022/stat : 20022 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 32594 33554432000 4194304 4196468 140729119722912 140155389873296 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20023] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20023/stat : 20023 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 32594 33554432000 4194304 4196468 140729119722912 140155388820496 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20024] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20024/stat : 20024 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 32594 33554432000 4194304 4196468 140729119722912 140155387767184 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20025] ppid=20015 vsize=27314120 memory=139627776273071 CPUtime=0 cores=0-7
/proc/20018/task/20025/stat : 20025 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 32594 33554432000 4194304 4196468 140729119722912 140154990393616 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20026] ppid=20015 vsize=27314120 memory=139627776275376 CPUtime=0 cores=0-7
/proc/20018/task/20026/stat : 20026 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 32594 33554432000 4194304 4196468 140729119722912 140154989341328 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20027] ppid=20015 vsize=27314120 memory=139627776277680 CPUtime=0 cores=0-7
/proc/20018/task/20027/stat : 20027 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27969658880 32594 33554432000 4194304 4196468 140729119722912 140154988288528 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20028] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20028/stat : 20028 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 32594 33554432000 4194304 4196468 140729119722912 140153624255088 140155572537986 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20029] ppid=20015 vsize=27314120 memory=279255552569232 CPUtime=0 cores=0-7
/proc/20018/task/20029/stat : 20029 (java) S 20015 20015 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 32594 33554432000 4194304 4196468 140729119722912 140153507013920 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20030] ppid=20015 vsize=27314120 memory=279255552566928 CPUtime=0 cores=0-7
/proc/20018/task/20030/stat : 20030 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698591 27969658880 32594 33554432000 4194304 4196468 140729119722912 140153238578800 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20031] ppid=20015 vsize=27314120 memory=279255552573840 CPUtime=0 cores=0-7
/proc/20018/task/20031/stat : 20031 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 32594 33554432000 4194304 4196468 140729119722912 140152864070224 140155572545435 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20032] ppid=20015 vsize=27314120 memory=279255552515088 CPUtime=0.01 cores=0-7
/proc/20018/task/20032/stat : 20032 (java) R 20015 20015 18822 0 -1 4202560 508 0 0 0 1 0 0 0 20 0 20 0 511698594 27969658880 32594 33554432000 4194304 4196468 140729119722912 140153623201904 140155550892548 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20033] ppid=20015 vsize=27314120 memory=279255552587664 CPUtime=0.01 cores=0-7
/proc/20018/task/20033/stat : 20033 (java) S 20015 20015 18822 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 511698594 27969658880 32594 33554432000 4194304 4196468 140729119722912 140153622149104 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20034] ppid=20015 vsize=27314120 memory=279255552594576 CPUtime=0.01 cores=0-7
/proc/20018/task/20034/stat : 20034 (java) S 20015 20015 18822 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 511698594 27969658880 32594 33554432000 4194304 4196468 140729119722912 140153621096816 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20035] ppid=20015 vsize=27314120 memory=279255552592272 CPUtime=0.07 cores=0-7
/proc/20018/task/20035/stat : 20035 (java) S 20015 20015 18822 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 20 0 511698594 27969658880 32594 33554432000 4194304 4196468 140729119722912 140153620044016 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20036] ppid=20015 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20036/stat : 20036 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 32594 33554432000 4194304 4196468 140729119722912 140152366164832 140155572537045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20037] ppid=20015 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20018/task/20037/stat : 20037 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698594 27969658880 32594 33554432000 4194304 4196468 140729119722912 140153618991920 140155572537986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131772 KiB

[startup+0.700863 s]
/proc/loadavg: 8.04 8.23 8.26 2/212 20037
/proc/meminfo: memFree=25342504/32770624 swapFree=66992432/67108860
[pid=20015] ppid=20012 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20015/stat : 20015 (scop.sh) S 20012 20015 18822 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511698586 115843072 349 33554432000 4194304 5098028 140735015171952 140735015169208 140445251867260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8851456 140735015179004 140735015179352 140735015179352 140735015182281 0
/proc/20015/statm: 28282 349 296 221 0 87 0
[pid=20018] ppid=20015 vsize=27322516 memory=166108 CPUtime=0.99 cores=0-7
/proc/20018/stat : 20018 (java) S 20015 20015 18822 0 -1 1077944320 20107 0 0 0 93 6 0 0 20 0 20 0 511698587 27978256384 41527 33554432000 4194304 4196468 140729119722912 140729119705456 140155572526839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
/proc/20018/statm: 6830629 41527 3215 1 0 6791959 0
[pid=20018/tid=20019] ppid=20015 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/20018/task/20019/stat : 20019 (java) R 20015 20015 18822 0 -1 4202560 17102 0 0 0 63 5 0 0 20 0 20 0 511698587 27978256384 41527 33554432000 4194304 4196468 140729119722912 140155544358576 140155556607356 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20020] ppid=20015 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20020/stat : 20020 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27978256384 41527 33554432000 4194304 4196468 140729119722912 140155576769424 140155572537045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20021] ppid=20015 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20021/stat : 20021 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27978256384 41527 33554432000 4194304 4196468 140729119722912 140155390925584 140155572537045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0
[pid=20018/tid=20022] ppid=20015 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/20018/task/20022/stat : 20022 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511698589 27978256384 41527 33554432000 4194304 4196468 140729119722912 140155389873296 140155572537045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7266304 140729119728326 140729119728774 140729119728774 140729119731663 0

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

[pid=20038/tid=20054] ppid=20015 vsize=8414124 memory=2828 CPUtime=0.09 cores=0-7
/proc/20038/task/20054/stat : 20054 (java) S 20015 20015 18822 0 -1 1077944384 284 0 0 0 9 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237835729776 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20055] ppid=20015 vsize=8414124 memory=756 CPUtime=0.22 cores=0-7
/proc/20038/task/20055/stat : 20055 (java) S 20015 20015 18822 0 -1 1077944384 577 0 0 0 22 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237834676976 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20056] ppid=20015 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/20038/task/20056/stat : 20056 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235916700000 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20057] ppid=20015 vsize=8414124 memory=8248 CPUtime=0.02 cores=0-7
/proc/20038/task/20057/stat : 20057 (java) S 20015 20015 18822 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237833623856 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20059] ppid=20015 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/20038/task/20059/stat : 20059 (java) S 20015 20015 18822 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237825590592 140238602891033 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20061] ppid=20015 vsize=8414124 memory=9520 CPUtime=0 cores=0-7
/proc/20038/task/20061/stat : 20061 (java) S 20015 20015 18822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235245600688 140238602888349 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20062] ppid=20015 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/20038/task/20062/stat : 20062 (java) S 20015 20015 18822 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235514036016 140238602888349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20071] ppid=20015 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/20038/task/20071/stat : 20071 (java) S 20015 20015 18822 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511698810 8616062976 29996 33554432000 4194304 4196468 140722047072704 140234977173296 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
Current children cumulated CPU time: 377.63 s
Current children cumulated vsize: 9177440 KiB
Current children cumulated memory: 469324 KiB

[startup+54.4013 s]
/proc/loadavg: 7.38 8.01 8.18 9/224 20074
/proc/meminfo: memFree=25026176/32770624 swapFree=66992432/67108860
[pid=20015] ppid=20012 vsize=113128 memory=1476 CPUtime=2.74 cores=0-7
/proc/20015/stat : 20015 (scop.sh) S 20012 20015 18822 0 -1 4202496 582 24330 0 0 0 0 263 11 20 0 1 0 511698586 115843072 369 33554432000 4194304 5098028 140735015171952 140735015168696 140445251867260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8851456 140735015179004 140735015179352 140735015179352 140735015182281 0
/proc/20015/statm: 28282 369 311 221 0 87 0
[pid=20038] ppid=20015 vsize=8414124 memory=119984 CPUtime=1.36 cores=0-7
/proc/20038/stat : 20038 (java) S 20015 20015 18822 0 -1 1077944320 20373 0 0 0 127 9 0 0 20 0 24 0 511698731 8616062976 29996 33554432000 4194304 4196468 140722047072704 140722047055248 140238602866423 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
/proc/20038/statm: 2103531 29996 3206 1 0 2064875 0
[pid=20058] ppid=20038 vsize=650356 memory=346040 CPUtime=378.27 cores=0-7
/proc/20058/stat : 20058 (manyglucose-4.1) S 20038 20015 18822 0 -1 1077944320 350292 0 0 0 37756 71 0 0 20 0 3 0 511698807 665964544 86510 33554432000 4194304 4454172 140723107643840 140723107642224 140504084492023 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 13385728 140723107652429 140723107652636 140723107652636 140723107655606 0
/proc/20058/statm: 162589 86510 418 64 0 158257 0
[pid=20058/tid=20063] ppid=20038 vsize=650356 memory=347620 CPUtime=51.16 cores=0-7
/proc/20058/task/20063/stat : 20063 (manyglucose-4.1) R 20038 20015 18822 0 -1 4202560 45342 0 0 0 5108 8 0 0 20 0 3 0 511698808 665964544 86510 33554432000 4194304 4454172 140723107643840 140504069274760 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 13385728 140723107652429 140723107652636 140723107652636 140723107655606 0
[pid=20058/tid=20066] ppid=20038 vsize=650356 memory=288285575947073227 CPUtime=49.43 cores=0-7
/proc/20058/task/20066/stat : 20066 (manyglucose-4.1) R 20038 20015 18822 0 -1 4202560 50849 0 0 0 4935 8 0 0 20 0 3 0 511698808 665964544 86510 33554432000 4194304 4454172 140723107643840 140504044096248 4351555 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 13385728 140723107652429 140723107652636 140723107652636 140723107655606 0
[pid=20038/tid=20039] ppid=20015 vsize=8414124 memory=4488 CPUtime=0.79 cores=0-7
/proc/20038/task/20039/stat : 20039 (java) S 20015 20015 18822 0 -1 1077944384 16837 0 0 0 72 7 0 0 20 0 24 0 511698731 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238574706592 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20040] ppid=20015 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/20038/task/20040/stat : 20040 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238607108496 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20041] ppid=20015 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/20038/task/20041/stat : 20041 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238407276816 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20042] ppid=20015 vsize=8414124 memory=3496 CPUtime=0 cores=0-7
/proc/20038/task/20042/stat : 20042 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238406224528 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20043] ppid=20015 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20038/task/20043/stat : 20043 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238405171728 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20044] ppid=20015 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20038/task/20044/stat : 20044 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238404119440 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20045] ppid=20015 vsize=8414124 memory=119984 CPUtime=0 cores=0-7
/proc/20038/task/20045/stat : 20045 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238403066640 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20046] ppid=20015 vsize=8414124 memory=342228 CPUtime=0 cores=0-7
/proc/20038/task/20046/stat : 20046 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238402014352 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20047] ppid=20015 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/20038/task/20047/stat : 20047 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238400961552 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20048] ppid=20015 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/20038/task/20048/stat : 20048 (java) S 20015 20015 18822 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511698734 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237838887024 140238602877570 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20049] ppid=20015 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/20038/task/20049/stat : 20049 (java) S 20015 20015 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511698734 8616062976 29996 33554432000 4194304 4196468 140722047072704 140236923331360 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20050] ppid=20015 vsize=8414124 memory=4488 CPUtime=0 cores=0-7
/proc/20038/task/20050/stat : 20050 (java) S 20015 20015 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511698734 8616062976 29996 33554432000 4194304 4196468 140722047072704 140236789109872 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20051] ppid=20015 vsize=8414124 memory=119984 CPUtime=0 cores=0-7
/proc/20038/task/20051/stat : 20051 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140236414605392 140238602885019 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20052] ppid=20015 vsize=8414124 memory=119984 CPUtime=0.07 cores=0-7
/proc/20038/task/20052/stat : 20052 (java) S 20015 20015 18822 0 -1 1077944384 693 0 0 0 7 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237837834864 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20053] ppid=20015 vsize=8414124 memory=344708 CPUtime=0.12 cores=0-7
/proc/20038/task/20053/stat : 20053 (java) S 20015 20015 18822 0 -1 1077944384 559 0 0 0 12 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237836782064 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20054] ppid=20015 vsize=8414124 memory=3620 CPUtime=0.09 cores=0-7
/proc/20038/task/20054/stat : 20054 (java) S 20015 20015 18822 0 -1 1077944384 284 0 0 0 9 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237835729776 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20055] ppid=20015 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/20038/task/20055/stat : 20055 (java) S 20015 20015 18822 0 -1 1077944384 577 0 0 0 22 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237834676976 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20056] ppid=20015 vsize=8414124 memory=119984 CPUtime=0 cores=0-7
/proc/20038/task/20056/stat : 20056 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235916700000 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20057] ppid=20015 vsize=8414124 memory=7686721470367896979 CPUtime=0.02 cores=0-7
/proc/20038/task/20057/stat : 20057 (java) S 20015 20015 18822 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237833623856 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20059] ppid=20015 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20038/task/20059/stat : 20059 (java) S 20015 20015 18822 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237825590592 140238602891033 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20061] ppid=20015 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20038/task/20061/stat : 20061 (java) S 20015 20015 18822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235245600688 140238602888349 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20062] ppid=20015 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/20038/task/20062/stat : 20062 (java) S 20015 20015 18822 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235514036016 140238602888349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20071] ppid=20015 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/20038/task/20071/stat : 20071 (java) S 20015 20015 18822 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511698810 8616062976 29996 33554432000 4194304 4196468 140722047072704 140234977173296 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
Current children cumulated CPU time: 382.37 s
Current children cumulated vsize: 9177608 KiB
Current children cumulated memory: 467500 KiB

[startup+54.8011 s]
/proc/loadavg: 7.38 8.01 8.18 9/224 20074
/proc/meminfo: memFree=25026176/32770624 swapFree=66992432/67108860
[pid=20015] ppid=20012 vsize=113128 memory=1476 CPUtime=2.74 cores=0-7
/proc/20015/stat : 20015 (scop.sh) S 20012 20015 18822 0 -1 4202496 582 24330 0 0 0 0 263 11 20 0 1 0 511698586 115843072 369 33554432000 4194304 5098028 140735015171952 140735015168696 140445251867260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8851456 140735015179004 140735015179352 140735015179352 140735015182281 0
/proc/20015/statm: 28282 369 311 221 0 87 0
[pid=20038] ppid=20015 vsize=8414124 memory=119984 CPUtime=1.36 cores=0-7
/proc/20038/stat : 20038 (java) S 20015 20015 18822 0 -1 1077944320 20373 0 0 0 127 9 0 0 20 0 24 0 511698731 8616062976 29996 33554432000 4194304 4196468 140722047072704 140722047055248 140238602866423 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
/proc/20038/statm: 2103531 29996 3206 1 0 2064875 0
[pid=20058] ppid=20038 vsize=650648 memory=346212 CPUtime=378.8 cores=0-7
/proc/20058/stat : 20058 (manyglucose-4.1) S 20038 20015 18822 0 -1 1077944320 350459 0 0 0 37809 71 0 0 20 0 2 0 511698807 666263552 86553 33554432000 4194304 4454172 140723107643840 140723107642224 140504084492023 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 13385728 140723107652429 140723107652636 140723107652636 140723107655606 0
/proc/20058/statm: 162662 86553 418 64 0 158330 0
[pid=20058/tid=20063] ppid=20038 vsize=650648 memory=3620 CPUtime=51.56 cores=0-7
/proc/20058/task/20063/stat : 20063 (manyglucose-4.1) R 20038 20015 18822 0 -1 4202560 45472 0 0 0 5148 8 0 0 20 0 2 0 511698808 666263552 86553 33554432000 4194304 4454172 140723107643840 140504069274760 4351800 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 13385728 140723107652429 140723107652636 140723107652636 140723107655606 0
[pid=20038/tid=20039] ppid=20015 vsize=8414124 memory=1576 CPUtime=0.79 cores=0-7
/proc/20038/task/20039/stat : 20039 (java) S 20015 20015 18822 0 -1 1077944384 16837 0 0 0 72 7 0 0 20 0 24 0 511698731 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238574706592 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20040] ppid=20015 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/20038/task/20040/stat : 20040 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238607108496 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20041] ppid=20015 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/20038/task/20041/stat : 20041 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238407276816 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20042] ppid=20015 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/20038/task/20042/stat : 20042 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238406224528 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20043] ppid=20015 vsize=8414124 memory=756 CPUtime=0 cores=0-7
/proc/20038/task/20043/stat : 20043 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238405171728 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20044] ppid=20015 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/20038/task/20044/stat : 20044 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238404119440 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20045] ppid=20015 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20038/task/20045/stat : 20045 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238403066640 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20046] ppid=20015 vsize=8414124 memory=279255554689728 CPUtime=0 cores=0-7
/proc/20038/task/20046/stat : 20046 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238402014352 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20047] ppid=20015 vsize=8414124 memory=7378837257261365846 CPUtime=0 cores=0-7
/proc/20038/task/20047/stat : 20047 (java) S 20015 20015 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511698732 8616062976 29996 33554432000 4194304 4196468 140722047072704 140238400961552 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20048] ppid=20015 vsize=8414124 memory=-7101718590825193272 CPUtime=0 cores=0-7
/proc/20038/task/20048/stat : 20048 (java) S 20015 20015 18822 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511698734 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237838887024 140238602877570 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20049] ppid=20015 vsize=8414124 memory=-7882018838379555936 CPUtime=0 cores=0-7
/proc/20038/task/20049/stat : 20049 (java) S 20015 20015 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511698734 8616062976 29996 33554432000 4194304 4196468 140722047072704 140236923331360 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20050] ppid=20015 vsize=8414124 memory=7679373425970869011 CPUtime=0 cores=0-7
/proc/20038/task/20050/stat : 20050 (java) S 20015 20015 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511698734 8616062976 29996 33554432000 4194304 4196468 140722047072704 140236789109872 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20051] ppid=20015 vsize=8414124 memory=7679373425970869011 CPUtime=0 cores=0-7
/proc/20038/task/20051/stat : 20051 (java) S 20015 20015 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140236414605392 140238602885019 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20052] ppid=20015 vsize=8414124 memory=-6237260532469557610 CPUtime=0.07 cores=0-7
/proc/20038/task/20052/stat : 20052 (java) S 20015 20015 18822 0 -1 1077944384 693 0 0 0 7 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237837834864 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20053] ppid=20015 vsize=8414124 memory=8187704045996132563 CPUtime=0.12 cores=0-7
/proc/20038/task/20053/stat : 20053 (java) S 20015 20015 18822 0 -1 1077944384 559 0 0 0 12 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237836782064 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20054] ppid=20015 vsize=8414124 memory=279255552665624 CPUtime=0.09 cores=0-7
/proc/20038/task/20054/stat : 20054 (java) S 20015 20015 18822 0 -1 1077944384 284 0 0 0 9 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237835729776 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20055] ppid=20015 vsize=8414124 memory=7223891894145934696 CPUtime=0.22 cores=0-7
/proc/20038/task/20055/stat : 20055 (java) S 20015 20015 18822 0 -1 1077944384 577 0 0 0 22 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237834676976 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20056] ppid=20015 vsize=8414124 memory=7223888587104806500 CPUtime=0 cores=0-7
/proc/20038/task/20056/stat : 20056 (java) S 20015 20015 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235916700000 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20057] ppid=20015 vsize=8414124 memory=7084284716679456620 CPUtime=0.03 cores=0-7
/proc/20038/task/20057/stat : 20057 (java) S 20015 20015 18822 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 24 0 511698737 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237833623856 140238602877570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20059] ppid=20015 vsize=8414124 memory=5938091127732326511 CPUtime=0 cores=0-7
/proc/20038/task/20059/stat : 20059 (java) S 20015 20015 18822 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140237825590592 140238602891033 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20061] ppid=20015 vsize=8414124 memory=5938091127732326511 CPUtime=0 cores=0-7
/proc/20038/task/20061/stat : 20061 (java) S 20015 20015 18822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235245600688 140238602888349 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20062] ppid=20015 vsize=8414124 memory=5938091127732326511 CPUtime=0 cores=0-7
/proc/20038/task/20062/stat : 20062 (java) S 20015 20015 18822 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511698807 8616062976 29996 33554432000 4194304 4196468 140722047072704 140235514036016 140238602888349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
[pid=20038/tid=20071] ppid=20015 vsize=8414124 memory=5938091127732326511 CPUtime=0 cores=0-7
/proc/20038/task/20071/stat : 20071 (java) S 20015 20015 18822 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511698810 8616062976 29996 33554432000 4194304 4196468 140722047072704 140234977173296 140238602876629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140722047079391 140722047079558 140722047079558 140722047082447 0
Current children cumulated CPU time: 382.9 s
Current children cumulated vsize: 9177900 KiB
Current children cumulated memory: 467672 KiB

[startup+54.9012 s]
/proc/loadavg: 7.38 8.01 8.18 9/224 20074
/proc/meminfo: memFree=25026176/32770624 swapFree=66992432/67108860
[pid=20015] ppid=20012 vsize=113128 memory=1476 CPUtime=2.74 cores=0-7
/proc/20015/stat : 20015 (scop.sh) S 20012 20015 18822 0 -1 4202496 582 24330 0 0 0 0 263 11 20 0 1 0 511698586 115843072 369 33554432000 4194304 5098028 140735015171952 140735015168696 140445251867260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8851456 140735015179004 140735015179352 140735015179352 140735015182281 0
/proc/20015/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 54.9063
CPU time (s): 383.095
CPU user time (s): 382.14
CPU system time (s): 0.954766
CPU usage (%): 697.725
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 469328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 382.14
system time used= 0.954766
maximum resident set size= 348064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9340
involuntary context switches= 3614


# summary of solver processes directly reported to runsolver:
#   pid: 20015
#   total CPU time (s): 383.095
#   total CPU user time (s): 382.14
#   total CPU system time (s): 0.954766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.52259 second user time and 0.783305 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-24 21:45:17
IDJOB=4405477
IDBENCH=134710
IDSOLVER=2868
FILE ID=node121/4405477-1569354360
RUNJOBID= node121-1569349151-18849
PBS_JOBID= 21705085
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-11.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405477-1569354360/watcher-4405477-1569354360 -o /var/tmp/evaluation-result-4405477-1569354360/solver-4405477-1569354360 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569349151-18849 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405477-1569354360.xml

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

MD5SUM BENCH= 0cb6e3dc45605db1284c892a60e68314
RANDOM SEED=2070972752

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
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:        25483548 kB
MemAvailable:   31846816 kB
Buffers:          149628 kB
Cached:          6304048 kB
SwapCached:         4588 kB
Active:          3203312 kB
Inactive:        3258292 kB
Active(anon):       4492 kB
Inactive(anon):    53336 kB
Active(file):    3198820 kB
Inactive(file):  3204956 kB
Unevictable:      109596 kB
Mlocked:          109596 kB
SwapTotal:      67108860 kB
SwapFree:       66992432 kB
Dirty:             20680 kB
Writeback:            12 kB
AnonPages:        112952 kB
Mapped:            53428 kB
Shmem:             41120 kB
Slab:             417496 kB
SReclaimable:     387952 kB
SUnreclaim:        29544 kB
KernelStack:        3376 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node121 at 2019-09-24 21:46:12