Trace number 4392591

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-06-15)UNSAT 60.9086 9.60203

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-queen/
Pb-queen-0975965.xml
MD5SUMa14f05ce5b97c69cdfebe4c47d671ffd
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 benchmark7.26699
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints101
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":169}]
Minimum variable degree7
Maximum variable degree9
Distribution of variable degrees[{"degree":7,"count":148},{"degree":8,"count":20},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":56},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":101}]
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-23099-serial-file.bin HOME/instance-4392591-1568438718.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: Sat Sep 14 06:24:01 CEST 2019
0.66/0.56	c PID: 23102
0.66/0.56	c IP: 172.20.3.106
0.66/0.56	c HOST: node106.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.43/0.97	c (0,0) Parsing End
1.43/0.98	c (0,0) CSP: 0 int (0 aux), 169 bool (0 aux), 101 ctr, max domain size 2
1.43/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.98	c (0,0) Constraint Name Generate Begin
1.43/0.98	c (0,0) Ctr:HOME/instance-4392591-1568438718.xml,Num:Var:WeightedSum
1.43/0.98	c (0,0) Constraint Name Generate End
1.43/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.98	c (0,0) CSP to CSPinCNF Begin
1.87/1.11	c (0,0) translated 11 (10%) constraints
1.87/1.14	c (0,0) translated 21 (20%) constraints
1.87/1.15	c (0,0) translated 31 (30%) constraints
1.87/1.17	c (0,0) translated 41 (40%) constraints
1.87/1.19	c (0,0) translated 51 (50%) constraints
2.22/1.20	c (0,0) translated 61 (60%) constraints
2.22/1.21	c (0,0) translated 71 (70%) constraints
2.22/1.22	c (0,0) translated 81 (80%) constraints
2.22/1.22	c (0,0) translated 91 (90%) constraints
2.22/1.23	c (0,0) translated 101 (100%) constraints
2.22/1.26	c (0,0) ===========================================
2.22/1.26	c (0,0) Hybrid: #OE=0, #LE=169
2.22/1.26	c (0,0) Hybrid
2.22/1.26	c (0,0) ===========================================
2.22/1.27	c (0,0) translated 11 (10%) constraints
2.22/1.28	c (0,0) translated 21 (20%) constraints
2.22/1.28	c (0,0) translated 31 (30%) constraints
2.22/1.28	c (0,0) translated 41 (40%) constraints
2.22/1.29	c (0,0) translated 51 (50%) constraints
2.22/1.29	c (0,0) translated 61 (60%) constraints
2.22/1.29	c (0,0) translated 71 (70%) constraints
2.22/1.29	c (0,0) translated 81 (80%) constraints
2.22/1.30	c (0,0) translated 91 (90%) constraints
2.51/1.30	c (0,0) translated 101 (100%) constraints
2.51/1.31	c (0,0) CSP to CSPinCNF End
2.51/1.31	c (0,0) CSP: 0 int (0 aux), 169 bool (0 aux), 101 ctr, max domain size 2
2.51/1.31	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.51/1.31	c (0,0) CSPinCNF Propagation Begin
2.51/1.33	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.51/1.33	c (0,0) CSPinCNF Propagation End
2.51/1.33	c (0,0) CSP: 0 int (0 aux), 169 bool (0 aux), 101 ctr, max domain size 2
2.51/1.33	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.51/1.33	c (0,0) Hybrid: #OE=0, #LE=169
2.51/1.33	c (0,0) Simplify CSPinCNF Begin
2.51/1.34	c (0,0) Simplify CSPinCNF End
2.51/1.34	c (0,0) CSP: 0 int (0 aux), 169 bool (0 aux), 101 ctr, max domain size 2
2.51/1.34	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.51/1.34	c (0,0) Calculate Precise Domain Begin
2.51/1.34	c (0,0) 0 values are removed by re-calculation
2.51/1.34	c (0,0) Calculate Precise Domain End
2.51/1.34	c (0,0) CSP: 0 int (0 aux), 169 bool (0 aux), 101 ctr, max domain size 2
2.51/1.34	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.51/1.34	c (0,0) CSPinCNF to SatSolver Begin
2.78/1.41	c (0,0) 11 (10 %) CSP clauses are encoded (0 SAT variables, 690 SAT clauses)
2.78/1.42	c (0,0) 21 (20 %) CSP clauses are encoded (0 SAT variables, 1380 SAT clauses)
2.78/1.43	c (0,0) 31 (30 %) CSP clauses are encoded (0 SAT variables, 2070 SAT clauses)
2.78/1.44	c (0,0) 41 (40 %) CSP clauses are encoded (0 SAT variables, 2080 SAT clauses)
2.78/1.44	c (0,0) 51 (50 %) CSP clauses are encoded (0 SAT variables, 2090 SAT clauses)
2.78/1.44	c (0,0) 61 (60 %) CSP clauses are encoded (0 SAT variables, 2348 SAT clauses)
2.78/1.45	c (0,0) 71 (70 %) CSP clauses are encoded (0 SAT variables, 2870 SAT clauses)
2.78/1.45	c (0,0) 81 (80 %) CSP clauses are encoded (0 SAT variables, 3248 SAT clauses)
2.78/1.46	c (0,0) 91 (90 %) CSP clauses are encoded (0 SAT variables, 3470 SAT clauses)
2.78/1.46	c (0,0) 101 (100 %) CSP clauses are encoded (0 SAT variables, 3540 SAT clauses)
3.15/1.53	c (0,0) CSPinCNF to SatSolver End
3.15/1.53	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.15/1.53	c (0,0) 5591 bool, 16011 clause
3.15/1.53	c (0,0) Export Begin
3.52/1.64	c (1,1) Export to HOME/scop-23099-serial-file.bin
3.52/1.64	c (1,1) Export End
3.52/1.65	c (1,1) Export File Size: 0.07 MB
3.52/1.65	c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
3.52/1.65	c END-Prog: Sat Sep 14 06:24:03 CEST 2019
3.52/1.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23099-serial-file.bin
4.25/2.12	c (0,0) Read Serial File Begin
4.25/2.12	c (0,0) HOME/scop-23099-serial-file.bin
4.53/2.36	c (0,0) Read Serial File End
4.53/2.37	
4.53/2.37	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
4.53/2.37	(Solving Process)
4.53/2.37	
4.53/2.39	c BEGIN-Prog: Sat Sep 14 06:24:03 CEST 2019
4.53/2.39	c PID: 23122
4.53/2.39	c IP: 172.20.3.106
4.53/2.39	c HOST: node106.alineos.net
4.78/2.40	c (0,0) SatSolver.solve Begin
4.78/2.40	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392591-1568438718.xml-scop-23102.cnf
4.78/2.43	c (0,0) c
4.78/2.43	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
4.78/2.43	c (0,0) c
4.78/2.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.78/2.43	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.78/2.43	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.78/2.43	c (0,0) c |                                                                                                       |
4.78/2.43	c (0,0) c |  Number of variables:          5591                                                                   |
4.78/2.43	c (0,0) c |  Number of clauses:           15940                                                                   |
4.78/2.43	c (0,0) c |  Parse time:                   0.01 s                                                                 |
4.78/2.43	c (0,0) c |                                                                                                       |
4.78/2.44	c (0,0) c |  Simplification time:          0.01 s                                                                 |
4.78/2.44	c (0,0) c |                                                                                                       |
4.78/2.44	c (0,0) c |  Generating clones                                                                                    |
4.78/2.45	c (0,0) c |  all clones generated. Memory =    35.58Mb.                                                           |
4.78/2.45	c (0,0) c ========================================================================================================|
4.78/2.45	c (0,0) c
4.78/2.45	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.78/2.45	c (0,0) c
4.78/2.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.78/2.45	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.78/2.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.78/2.45	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.78/2.45	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.78/2.45	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.78/2.45	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.78/2.45	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.78/2.45	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.78/2.45	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.78/2.45	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.78/2.45	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.78/2.45	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.78/2.45	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.78/2.45	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.78/2.45	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.78/2.45	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.78/2.45	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.78/2.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.57	c (7,0) c
60.67/9.57	c (7,0) c real time : 7.14545 s
60.67/9.57	c (7,0) c cpu time  : 55.6604 s
60.67/9.57	c (7,0) c
60.67/9.57	c (7,0) c
60.67/9.57	c (7,0) c
60.67/9.57	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
60.67/9.57	c (7,0) c
60.67/9.57	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.57	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
60.67/9.57	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.57	c (7,0) c | Conflicts     |          375211 |      47782 |      46896 |      45078 |      46208 |      48950 |      46567 |      47483 |      46247 |
60.67/9.57	c (7,0) c | Decisions     |          505760 |      66639 |      61819 |      60215 |      59218 |      67194 |      63725 |      65329 |      61621 |
60.67/9.57	c (7,0) c | Propagations  |       127099202 |   15946004 |   15848396 |   15248099 |   16000169 |   16320339 |   15992868 |   15851286 |   15892041 |
60.67/9.57	c (7,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
60.67/9.57	c (7,0) c | SimpDBs       |              50 |          6 |          6 |          6 |          6 |          7 |          6 |          6 |          7 |
60.67/9.57	c (7,0) c | Restarts      |            1123 |        140 |        102 |        103 |        102 |        161 |        173 |        184 |        158 |
60.67/9.57	c (7,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.67/9.57	c (7,0) c | PropBinClauses|        96672591 |   12624432 |   12116296 |   11519788 |   11949857 |   12138791 |   11812031 |   12455884 |   12055512 |
60.67/9.57	c (7,0) c | PropPreBlocker|      1049451634 |  129618593 |  129971142 |  127671301 |  131169740 |  136181731 |  131683406 |  129850956 |  133304765 |
60.67/9.57	c (7,0) c | PropNotBlocker|       471941168 |   58172002 |   58995366 |   58427988 |   58680964 |   59922659 |   57562914 |   59171980 |   61007295 |
60.67/9.57	c (7,0) c | LitFullScans  |      4912275146 |  606064343 |  618065453 |  612065447 |  611338252 |  624298426 |  606053626 |  606141573 |  628248026 |
60.67/9.57	c (7,0) c | LitScanFracts |          644323 |      34917 |      34751 |      41015 |      46768 |     264510 |      46969 |     130795 |      44598 |
60.67/9.57	c (7,0) c | DecisionLevel0|            1186 |        152 |        116 |        105 |        111 |        168 |        177 |        189 |        168 |
60.67/9.57	c (7,0) c | Periods       |             817 |        101 |        103 |        102 |        101 |        104 |        101 |        101 |        104 |
60.67/9.57	c (7,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
60.67/9.57	c (7,0) c | Avg_Trail     |                 |       1553 |       1618 |       1603 |       1643 |       1615 |       1645 |       1585 |       1601 |
60.67/9.57	c (7,0) c | Avg_DL        |                 |         21 |         21 |         23 |         21 |         20 |         25 |         21 |         21 |
60.67/9.57	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.67/9.57	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.67/9.57	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.57	c (7,0) c | Exported      |           50673 |       6536 |       6732 |       6286 |       6675 |       6646 |       5768 |       5856 |       6174 |
60.67/9.57	c (7,0) c | Imported      |          298528 |      36642 |      36222 |      37366 |      37057 |      37800 |      37470 |      37327 |      38644 |
60.67/9.57	c (7,0) c | Good          |            1285 |        149 |        146 |        166 |        169 |        164 |        153 |        157 |        181 |
60.67/9.57	c (7,0) c | Purge         |          297243 |      36493 |      36076 |      37200 |      36888 |      37636 |      37317 |      37170 |      38463 |
60.67/9.57	c (7,0) c | Promoted      |           46932 |       5871 |       5798 |       5908 |       5831 |       5923 |       5937 |       5680 |       5984 |
60.67/9.57	c (7,0) c | Remove_Imp    |           67316 |       5979 |       8127 |       8696 |       9421 |       7554 |       8702 |       7750 |      11087 |
60.67/9.57	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.67/9.57	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.57	c (7,0) c | Unaries       |                 |         12 |         14 |          2 |          9 |          7 |          4 |          5 |         10 |
60.67/9.57	c (7,0) c | Binaries      |                 |         58 |         80 |         34 |         41 |         50 |         40 |         39 |         39 |
60.67/9.57	c (7,0) c | Glues         |                 |         84 |        103 |         57 |         70 |         74 |         54 |         69 |         55 |
60.67/9.57	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.57	c (7,0) c | Orig_Seen     |            73 % |      10000 |      10023 |      10053 |      10127 |      10001 |      10118 |       9907 |       9963 |
60.67/9.57	c (7,0) c | Diff Orig seen|                 | -      127 | -      104 | -       74 |      X     | -      126 | -        9 | -      220 | -      164 |
60.67/9.57	c (7,0) c | Hamming       |             7 % |        466 |        512 |        495 |      X     |        386 |        394 |        384 |        445 |
60.67/9.57	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.57	c (7,0) c | RunningTime   |                 |    7.1 100%|    7.0 100%|    7.0 100%|    6.9 100%|    7.0 100%|    7.0 100%|    7.1 100%|    6.9 100%|
60.67/9.57	c (7,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
60.67/9.57	c (7,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
60.67/9.57	c (7,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%|
60.67/9.57	c (7,0) c | SolvingTime   |                 |    7.1     |    7.0     |    7.0     |    6.9     |    7.0     |    7.0     |    7.1     |    6.9     |
60.67/9.57	c (7,0) c | PropagationTim|                 |    5.7  80%|    5.5  78%|    5.5  79%|    5.5  79%|    5.5  79%|    5.5  79%|    5.6  78%|    5.5  79%|
60.67/9.57	c (7,0) c | AnalysisTime  |                 |    1.2  17%|    1.3  19%|    1.2  18%|    1.3  18%|    1.2  18%|    1.3  18%|    1.3  19%|    1.2  17%|
60.67/9.57	c (7,0) c | ReductionTime |                 |    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|
60.67/9.57	c (7,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%|
60.67/9.57	c (7,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%|
60.67/9.57	c (7,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%|
60.67/9.57	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.57	c (7,0) c
60.67/9.57	c (7,0) c
60.67/9.57	c (7,0) c Threads : 8
60.67/9.57	c (7,0) c Winner : 3
60.67/9.57	c (7,0) c Conflicts_0 : 47782
60.67/9.57	c (7,0) c Conflicts_1 : 46896
60.67/9.57	c (7,0) c Conflicts_2 : 45078
60.67/9.57	c (7,0) c Conflicts_3 : 46208
60.67/9.57	c (7,0) c Conflicts_4 : 48950
60.67/9.57	c (7,0) c Conflicts_5 : 46567
60.67/9.57	c (7,0) c Conflicts_6 : 47483
60.67/9.57	c (7,0) c Conflicts_7 : 46247
60.67/9.57	c (7,0) c Conflicts_total : 375211
60.67/9.57	c (7,0) c Conflicts_winner : 46208
60.67/9.57	c (7,0) c Decisions_0 : 66639
60.67/9.57	c (7,0) c Decisions_1 : 61819
60.67/9.57	c (7,0) c Decisions_2 : 60215
60.67/9.57	c (7,0) c Decisions_3 : 59218
60.67/9.57	c (7,0) c Decisions_4 : 67194
60.67/9.57	c (7,0) c Decisions_5 : 63725
60.67/9.57	c (7,0) c Decisions_6 : 65329
60.67/9.57	c (7,0) c Decisions_7 : 61621
60.67/9.57	c (7,0) c Decisions_total : 505760
60.67/9.57	c (7,0) c Decisions_winner : 59218
60.67/9.57	c (7,0) c Propagations_0 : 15946004
60.67/9.57	c (7,0) c Propagations_1 : 15848396
60.67/9.57	c (7,0) c Propagations_2 : 15248099
60.67/9.57	c (7,0) c Propagations_3 : 16000169
60.67/9.57	c (7,0) c Propagations_4 : 16320339
60.67/9.57	c (7,0) c Propagations_5 : 15992868
60.67/9.57	c (7,0) c Propagations_6 : 15851286
60.67/9.57	c (7,0) c Propagations_7 : 15892041
60.67/9.57	c (7,0) c Propagations_total : 127099202
60.67/9.57	c (7,0) c Propagations_winner : 16000169
60.67/9.57	c (7,0) c ReduceDBs_0 : 5
60.67/9.57	c (7,0) c ReduceDBs_1 : 5
60.67/9.57	c (7,0) c ReduceDBs_2 : 5
60.67/9.57	c (7,0) c ReduceDBs_3 : 5
60.67/9.57	c (7,0) c ReduceDBs_4 : 5
60.67/9.57	c (7,0) c ReduceDBs_5 : 5
60.67/9.57	c (7,0) c ReduceDBs_6 : 5
60.67/9.57	c (7,0) c ReduceDBs_7 : 5
60.67/9.57	c (7,0) c ReduceDBs_total : 40
60.67/9.57	c (7,0) c ReduceDBs_winner : 5
60.67/9.57	c (7,0) c SimpDBs_0 : 6
60.67/9.57	c (7,0) c SimpDBs_1 : 6
60.67/9.57	c (7,0) c SimpDBs_2 : 6
60.67/9.57	c (7,0) c SimpDBs_3 : 6
60.67/9.57	c (7,0) c SimpDBs_4 : 7
60.67/9.57	c (7,0) c SimpDBs_5 : 6
60.67/9.57	c (7,0) c SimpDBs_6 : 6
60.67/9.57	c (7,0) c SimpDBs_7 : 7
60.67/9.57	c (7,0) c SimpDBs_total : 50
60.67/9.57	c (7,0) c SimpDBs_winner : 6
60.67/9.57	c (7,0) c Restarts_0 : 140
60.67/9.57	c (7,0) c Restarts_1 : 102
60.67/9.57	c (7,0) c Restarts_2 : 103
60.67/9.57	c (7,0) c Restarts_3 : 102
60.67/9.57	c (7,0) c Restarts_4 : 161
60.67/9.57	c (7,0) c Restarts_5 : 173
60.67/9.57	c (7,0) c Restarts_6 : 184
60.67/9.57	c (7,0) c Restarts_7 : 158
60.67/9.57	c (7,0) c Restarts_total : 1123
60.67/9.57	c (7,0) c Restarts_winner : 102
60.67/9.57	c (7,0) c ForcedImports_0 : 0
60.67/9.57	c (7,0) c ForcedImports_1 : 0
60.67/9.57	c (7,0) c ForcedImports_2 : 0
60.67/9.57	c (7,0) c ForcedImports_3 : 0
60.67/9.57	c (7,0) c ForcedImports_4 : 0
60.67/9.57	c (7,0) c ForcedImports_5 : 0
60.67/9.57	c (7,0) c ForcedImports_6 : 0
60.67/9.57	c (7,0) c ForcedImports_7 : 0
60.67/9.57	c (7,0) c ForcedImports_total : 0
60.67/9.57	c (7,0) c ForcedImports_winner : 0
60.67/9.57	c (7,0) c PropsBinClauses_0 : 12624432
60.67/9.57	c (7,0) c PropsBinClauses_1 : 12116296
60.67/9.57	c (7,0) c PropsBinClauses_2 : 11519788
60.67/9.57	c (7,0) c PropsBinClauses_3 : 11949857
60.67/9.57	c (7,0) c PropsBinClauses_4 : 12138791
60.67/9.57	c (7,0) c PropsBinClauses_5 : 11812031
60.67/9.57	c (7,0) c PropsBinClauses_6 : 12455884
60.67/9.57	c (7,0) c PropsBinClauses_7 : 12055512
60.67/9.57	c (7,0) c PropsBinClauses_total : 96672591
60.67/9.57	c (7,0) c PropsBinClauses_winner : 11949857
60.67/9.57	c (7,0) c PropsPreBlocker_0 : 129618593
60.67/9.57	c (7,0) c PropsPreBlocker_1 : 129971142
60.67/9.57	c (7,0) c PropsPreBlocker_2 : 127671301
60.67/9.57	c (7,0) c PropsPreBlocker_3 : 131169740
60.67/9.57	c (7,0) c PropsPreBlocker_4 : 136181731
60.67/9.57	c (7,0) c PropsPreBlocker_5 : 131683406
60.67/9.57	c (7,0) c PropsPreBlocker_6 : 129850956
60.67/9.57	c (7,0) c PropsPreBlocker_7 : 133304765
60.67/9.57	c (7,0) c PropsPreBlocker_total : 1049451634
60.67/9.57	c (7,0) c PropsPreBlocker_winner : 131169740
60.67/9.57	c (7,0) c PropsNotBlocker_0 : 58172002
60.67/9.57	c (7,0) c PropsNotBlocker_1 : 58995366
60.67/9.57	c (7,0) c PropsNotBlocker_2 : 58427988
60.67/9.58	c (7,0) c PropsNotBlocker_3 : 58680964
60.67/9.58	c (7,0) c PropsNotBlocker_4 : 59922659
60.67/9.58	c (7,0) c PropsNotBlocker_5 : 57562914
60.67/9.58	c (7,0) c PropsNotBlocker_6 : 59171980
60.67/9.58	c (7,0) c PropsNotBlocker_7 : 61007295
60.67/9.58	c (7,0) c PropsNotBlocker_total : 471941168
60.67/9.58	c (7,0) c PropsNotBlocker_winner : 58680964
60.67/9.58	c (7,0) c PropsLitFullScans_0 : 606064343
60.67/9.58	c (7,0) c PropsLitFullScans_1 : 618065453
60.67/9.58	c (7,0) c PropsLitFullScans_2 : 612065447
60.67/9.58	c (7,0) c PropsLitFullScans_3 : 611338252
60.67/9.58	c (7,0) c PropsLitFullScans_4 : 624298426
60.67/9.58	c (7,0) c PropsLitFullScans_5 : 606053626
60.67/9.58	c (7,0) c PropsLitFullScans_6 : 606141573
60.67/9.58	c (7,0) c PropsLitFullScans_7 : 628248026
60.67/9.58	c (7,0) c PropsLitFullScans_total : 4912275146
60.67/9.58	c (7,0) c PropsLitFullScans_winner : 611338252
60.67/9.58	c (7,0) c LitScanFractions_0 : 34917
60.67/9.58	c (7,0) c LitScanFractions_1 : 34751
60.67/9.58	c (7,0) c LitScanFractions_2 : 41015
60.67/9.58	c (7,0) c LitScanFractions_3 : 46768
60.67/9.58	c (7,0) c LitScanFractions_4 : 264510
60.67/9.58	c (7,0) c LitScanFractions_5 : 46969
60.67/9.58	c (7,0) c LitScanFractions_6 : 130795
60.67/9.58	c (7,0) c LitScanFractions_7 : 44598
60.67/9.58	c (7,0) c LitScanFractions_total : 644323
60.67/9.58	c (7,0) c LitScanFractions_winner : 46768
60.67/9.58	c (7,0) c DecisionLevel0_0 : 152
60.67/9.58	c (7,0) c DecisionLevel0_1 : 116
60.67/9.58	c (7,0) c DecisionLevel0_2 : 105
60.67/9.58	c (7,0) c DecisionLevel0_3 : 111
60.67/9.58	c (7,0) c DecisionLevel0_4 : 168
60.67/9.58	c (7,0) c DecisionLevel0_5 : 177
60.67/9.58	c (7,0) c DecisionLevel0_6 : 189
60.67/9.58	c (7,0) c DecisionLevel0_7 : 168
60.67/9.58	c (7,0) c DecisionLevel0_total : 1186
60.67/9.58	c (7,0) c DecisionLevel0_winner : 111
60.67/9.58	c (7,0) c Periods_0 : 101
60.67/9.58	c (7,0) c Periods_1 : 103
60.67/9.58	c (7,0) c Periods_2 : 102
60.67/9.58	c (7,0) c Periods_3 : 101
60.67/9.58	c (7,0) c Periods_4 : 104
60.67/9.58	c (7,0) c Periods_5 : 101
60.67/9.58	c (7,0) c Periods_6 : 101
60.67/9.58	c (7,0) c Periods_7 : 104
60.67/9.58	c (7,0) c Periods_total : 817
60.67/9.58	c (7,0) c Periods_winner : 101
60.67/9.58	c (7,0) c Margin_0 : 20
60.67/9.58	c (7,0) c Margin_1 : 20
60.67/9.58	c (7,0) c Margin_2 : 20
60.67/9.58	c (7,0) c Margin_3 : 20
60.67/9.58	c (7,0) c Margin_4 : 20
60.67/9.58	c (7,0) c Margin_5 : 20
60.67/9.58	c (7,0) c Margin_6 : 20
60.67/9.58	c (7,0) c Margin_7 : 20
60.67/9.58	c (7,0) c Margin_total : 160
60.67/9.58	c (7,0) c Margin_winner : 20
60.67/9.58	c (7,0) c Exported_0 : 6536
60.67/9.58	c (7,0) c Exported_1 : 6732
60.67/9.58	c (7,0) c Exported_2 : 6286
60.67/9.58	c (7,0) c Exported_3 : 6675
60.67/9.58	c (7,0) c Exported_4 : 6646
60.67/9.58	c (7,0) c Exported_5 : 5768
60.67/9.58	c (7,0) c Exported_6 : 5856
60.67/9.58	c (7,0) c Exported_7 : 6174
60.67/9.58	c (7,0) c Exported_total : 50673
60.67/9.58	c (7,0) c Exported_winner : 6675
60.67/9.58	c (7,0) c Imported_0 : 36642
60.67/9.58	c (7,0) c Imported_1 : 36222
60.67/9.58	c (7,0) c Imported_2 : 37366
60.67/9.58	c (7,0) c Imported_3 : 37057
60.67/9.58	c (7,0) c Imported_4 : 37800
60.67/9.58	c (7,0) c Imported_5 : 37470
60.67/9.58	c (7,0) c Imported_6 : 37327
60.67/9.58	c (7,0) c Imported_7 : 38644
60.67/9.58	c (7,0) c Imported_total : 298528
60.67/9.58	c (7,0) c Imported_winner : 37057
60.67/9.58	c (7,0) c Good_0 : 149
60.67/9.58	c (7,0) c Good_1 : 146
60.67/9.58	c (7,0) c Good_2 : 166
60.67/9.58	c (7,0) c Good_3 : 169
60.67/9.58	c (7,0) c Good_4 : 164
60.67/9.58	c (7,0) c Good_5 : 153
60.67/9.58	c (7,0) c Good_6 : 157
60.67/9.58	c (7,0) c Good_7 : 181
60.67/9.58	c (7,0) c Good_total : 1285
60.67/9.58	c (7,0) c Good_winner : 169
60.67/9.58	c (7,0) c Purge_0 : 36493
60.67/9.58	c (7,0) c Purge_1 : 36076
60.67/9.58	c (7,0) c Purge_2 : 37200
60.67/9.58	c (7,0) c Purge_3 : 36888
60.67/9.58	c (7,0) c Purge_4 : 37636
60.67/9.58	c (7,0) c Purge_5 : 37317
60.67/9.58	c (7,0) c Purge_6 : 37170
60.67/9.58	c (7,0) c Purge_7 : 38463
60.67/9.58	c (7,0) c Purge_total : 297243
60.67/9.58	c (7,0) c Purge_winner : 36888
60.67/9.58	c (7,0) c Promoted_0 : 5871
60.67/9.58	c (7,0) c Promoted_1 : 5798
60.67/9.58	c (7,0) c Promoted_2 : 5908
60.67/9.58	c (7,0) c Promoted_3 : 5831
60.67/9.58	c (7,0) c Promoted_4 : 5923
60.67/9.58	c (7,0) c Promoted_5 : 5937
60.67/9.58	c (7,0) c Promoted_6 : 5680
60.67/9.58	c (7,0) c Promoted_7 : 5984
60.67/9.58	c (7,0) c Promoted_total : 46932
60.67/9.58	c (7,0) c Promoted_winner : 5831
60.67/9.58	c (7,0) c Remove_Imp_0 : 5979
60.67/9.58	c (7,0) c Remove_Imp_1 : 8127
60.67/9.58	c (7,0) c Remove_Imp_2 : 8696
60.67/9.58	c (7,0) c Remove_Imp_3 : 9421
60.67/9.58	c (7,0) c Remove_Imp_4 : 7554
60.67/9.58	c (7,0) c Remove_Imp_5 : 8702
60.67/9.58	c (7,0) c Remove_Imp_6 : 7750
60.67/9.58	c (7,0) c Remove_Imp_7 : 11087
60.67/9.58	c (7,0) c Remove_Imp_total : 67316
60.67/9.58	c (7,0) c Remove_Imp_winner : 9421
60.67/9.58	c (7,0) c Blocked_Reuse_0 : 0
60.67/9.58	c (7,0) c Blocked_Reuse_1 : 0
60.67/9.58	c (7,0) c Blocked_Reuse_2 : 0
60.67/9.58	c (7,0) c Blocked_Reuse_3 : 0
60.67/9.58	c (7,0) c Blocked_Reuse_4 : 0
60.67/9.58	c (7,0) c Blocked_Reuse_5 : 0
60.67/9.58	c (7,0) c Blocked_Reuse_6 : 0
60.67/9.58	c (7,0) c Blocked_Reuse_7 : 0
60.67/9.58	c (7,0) c Blocked_Reuse_total : 0
60.67/9.58	c (7,0) c Blocked_Reuse_winner : 0
60.67/9.58	c (7,0) c Unaries_0 : 12
60.67/9.58	c (7,0) c Unaries_1 : 14
60.67/9.58	c (7,0) c Unaries_2 : 2
60.67/9.58	c (7,0) c Unaries_3 : 9
60.67/9.58	c (7,0) c Unaries_4 : 7
60.67/9.58	c (7,0) c Unaries_5 : 4
60.67/9.58	c (7,0) c Unaries_6 : 5
60.67/9.58	c (7,0) c Unaries_7 : 10
60.67/9.58	c (7,0) c Unaries_total : 63
60.67/9.58	c (7,0) c Unaries_winner : 9
60.67/9.58	c (7,0) c Binaries_0 : 58
60.67/9.58	c (7,0) c Binaries_1 : 80
60.67/9.58	c (7,0) c Binaries_2 : 34
60.67/9.58	c (7,0) c Binaries_3 : 41
60.67/9.58	c (7,0) c Binaries_4 : 50
60.67/9.58	c (7,0) c Binaries_5 : 40
60.67/9.58	c (7,0) c Binaries_6 : 39
60.67/9.58	c (7,0) c Binaries_7 : 39
60.67/9.58	c (7,0) c Binaries_total : 381
60.67/9.58	c (7,0) c Binaries_winner : 41
60.67/9.58	c (7,0) c Glues_0 : 84
60.67/9.58	c (7,0) c Glues_1 : 103
60.67/9.58	c (7,0) c Glues_2 : 57
60.67/9.58	c (7,0) c Glues_3 : 70
60.67/9.58	c (7,0) c Glues_4 : 74
60.67/9.58	c (7,0) c Glues_5 : 54
60.67/9.58	c (7,0) c Glues_6 : 69
60.67/9.58	c (7,0) c Glues_7 : 55
60.67/9.58	c (7,0) c Glues_total : 566
60.67/9.58	c (7,0) c Glues_winner : 70
60.67/9.58	c (7,0) c RunningTime_0 : 7.095077
60.67/9.58	c (7,0) c RunningTime_1 : 6.968416
60.67/9.58	c (7,0) c RunningTime_2 : 6.955366
60.67/9.58	c (7,0) c RunningTime_3 : 6.923211
60.67/9.58	c (7,0) c RunningTime_4 : 6.960636
60.67/9.58	c (7,0) c RunningTime_5 : 6.997587
60.67/9.58	c (7,0) c RunningTime_6 : 7.080620
60.67/9.58	c (7,0) c RunningTime_7 : 6.859640
60.67/9.58	c (7,0) c RunningTime_total : 55.840552
60.67/9.58	c (7,0) c RunningTime_winner : 6.923211
60.67/9.58	c (7,0) c WaitingTime_0 : 0.000094
60.67/9.58	c (7,0) c WaitingTime_1 : 0.000102
60.67/9.58	c (7,0) c WaitingTime_2 : 0.000134
60.67/9.58	c (7,0) c WaitingTime_3 : 0.000106
60.67/9.58	c (7,0) c WaitingTime_4 : 0.000107
60.67/9.58	c (7,0) c WaitingTime_5 : 0.000117
60.67/9.58	c (7,0) c WaitingTime_6 : 0.000103
60.67/9.58	c (7,0) c WaitingTime_7 : 0.000120
60.67/9.58	c (7,0) c WaitingTime_total : 0.000882
60.67/9.58	c (7,0) c WaitingTime_winner : 0.000106
60.67/9.58	c (7,0) c ExchangingTime_0 : 0.019633
60.67/9.58	c (7,0) c ExchangingTime_1 : 0.020716
60.67/9.58	c (7,0) c ExchangingTime_2 : 0.021837
60.67/9.58	c (7,0) c ExchangingTime_3 : 0.019446
60.67/9.58	c (7,0) c ExchangingTime_4 : 0.019876
60.67/9.58	c (7,0) c ExchangingTime_5 : 0.019118
60.67/9.58	c (7,0) c ExchangingTime_6 : 0.019173
60.67/9.58	c (7,0) c ExchangingTime_7 : 0.019281
60.67/9.58	c (7,0) c ExchangingTime_total : 0.159082
60.67/9.58	c (7,0) c ExchangingTime_winner : 0.019446
60.67/9.58	c (7,0) c PeriodProcTime_0 : 0.000576
60.67/9.58	c (7,0) c PeriodProcTime_1 : 0.000621
60.67/9.58	c (7,0) c PeriodProcTime_2 : 0.000760
60.67/9.58	c (7,0) c PeriodProcTime_3 : 0.000646
60.67/9.58	c (7,0) c PeriodProcTime_4 : 0.000766
60.67/9.58	c (7,0) c PeriodProcTime_5 : 0.000587
60.67/9.58	c (7,0) c PeriodProcTime_6 : 0.000652
60.67/9.58	c (7,0) c PeriodProcTime_7 : 0.000661
60.67/9.58	c (7,0) c PeriodProcTime_total : 0.005268
60.67/9.58	c (7,0) c PeriodProcTime_winner : 0.000646
60.67/9.58	c (7,0) c SolvingTime_0 : 7.115379
60.67/9.58	c (7,0) c SolvingTime_1 : 6.989854
60.67/9.58	c (7,0) c SolvingTime_2 : 6.978098
60.67/9.58	c (7,0) c SolvingTime_3 : 6.943409
60.67/9.58	c (7,0) c SolvingTime_4 : 6.981385
60.67/9.58	c (7,0) c SolvingTime_5 : 7.017410
60.67/9.58	c (7,0) c SolvingTime_6 : 7.100548
60.67/9.58	c (7,0) c SolvingTime_7 : 6.879702
60.67/9.58	c (7,0) c SolvingTime_total : 56.005784
60.67/9.58	c (7,0) c SolvingTime_winner : 6.943409
60.67/9.58	c (7,0) c PropagationTime_0 : 5.702736
60.67/9.58	c (7,0) c PropagationTime_1 : 5.470622
60.67/9.58	c (7,0) c PropagationTime_2 : 5.533638
60.67/9.58	c (7,0) c PropagationTime_3 : 5.470463
60.67/9.58	c (7,0) c PropagationTime_4 : 5.531568
60.67/9.58	c (7,0) c PropagationTime_5 : 5.510930
60.67/9.58	c (7,0) c PropagationTime_6 : 5.559971
60.67/9.58	c (7,0) c PropagationTime_7 : 5.464146
60.67/9.58	c (7,0) c PropagationTime_total : 44.244073
60.67/9.58	c (7,0) c PropagationTime_winner : 5.470463
60.67/9.58	c (7,0) c AnalysisTime_0 : 1.191415
60.67/9.58	c (7,0) c AnalysisTime_1 : 1.294995
60.67/9.58	c (7,0) c AnalysisTime_2 : 1.241946
60.67/9.58	c (7,0) c AnalysisTime_3 : 1.262221
60.67/9.58	c (7,0) c AnalysisTime_4 : 1.233712
60.67/9.58	c (7,0) c AnalysisTime_5 : 1.294271
60.67/9.58	c (7,0) c AnalysisTime_6 : 1.321275
60.67/9.58	c (7,0) c AnalysisTime_7 : 1.202601
60.67/9.58	c (7,0) c AnalysisTime_total : 10.042436
60.67/9.58	c (7,0) c AnalysisTime_winner : 1.262221
60.67/9.58	c (7,0) c ReductionTime_0 : 0.034412
60.67/9.58	c (7,0) c ReductionTime_1 : 0.035164
60.67/9.58	c (7,0) c ReductionTime_2 : 0.035265
60.67/9.58	c (7,0) c ReductionTime_3 : 0.034976
60.67/9.58	c (7,0) c ReductionTime_4 : 0.033288
60.67/9.58	c (7,0) c ReductionTime_5 : 0.036242
60.67/9.58	c (7,0) c ReductionTime_6 : 0.034970
60.67/9.58	c (7,0) c ReductionTime_7 : 0.034593
60.67/9.58	c (7,0) c ReductionTime_total : 0.278909
60.67/9.58	c (7,0) c ReductionTime_winner : 0.034976
60.67/9.58	c (7,0) c SimplifyTime_0 : 0.016154
60.67/9.58	c (7,0) c SimplifyTime_1 : 0.020760
60.67/9.58	c (7,0) c SimplifyTime_2 : 0.014709
60.67/9.58	c (7,0) c SimplifyTime_3 : 0.015268
60.67/9.58	c (7,0) c SimplifyTime_4 : 0.018929
60.67/9.58	c (7,0) c SimplifyTime_5 : 0.014959
60.67/9.58	c (7,0) c SimplifyTime_6 : 0.020557
60.67/9.58	c (7,0) c SimplifyTime_7 : 0.016661
60.67/9.58	c (7,0) c SimplifyTime_total : 0.137997
60.67/9.58	c (7,0) c SimplifyTime_winner : 0.015268
60.67/9.58	c (7,0) c UsedRateTime_0 : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_1 : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_2 : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_3 : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_4 : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_5 : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_6 : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_7 : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_total : 0.000000
60.67/9.58	c (7,0) c UsedRateTime_winner : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_0 : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_1 : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_2 : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_3 : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_4 : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_5 : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_6 : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_7 : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_total : 0.000000
60.67/9.58	c (7,0) c OverlapRateTime_winner : 0.000000
60.67/9.58	c (7,0) c
60.67/9.58	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
60.67/9.58	c (7,0) c
60.67/9.58	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.58	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
60.67/9.58	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.58	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
60.67/9.58	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
60.67/9.58	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
60.67/9.58	c (7,0) c | Initial random_seed   | 1144771364 | 1456931571 |  199886197 |  540641562 |  376902998 |  538959386 | 1502192117 |  791083874 |
60.67/9.58	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
60.67/9.58	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
60.67/9.58	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
60.67/9.58	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
60.67/9.58	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
60.67/9.58	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
60.67/9.58	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
60.67/9.58	c (7,0) c | var_decay             |     0.8900 |     0.8900 |     0.8900 |     0.8900 |     0.8900 |     0.8900 |     0.8900 |     0.8900 |
60.67/9.58	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
60.67/9.58	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
60.67/9.58	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
60.67/9.58	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.67/9.58	c (7,0) 
60.67/9.58	c (7,0) s UNSATISFIABLE
60.67/9.59	c (7,0) SatSolver.solve End
60.67/9.59	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
60.67/9.59	c (7,0) Show results Begin
60.67/9.59	s UNSATISFIABLE
60.67/9.59	c (7,0) Show results End
60.67/9.59	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
60.67/9.59	c (7,0) 7,7,STOP-AFTER(ALL)
60.67/9.59	c END-Prog: Sat Sep 14 06:24:11 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 (14732 MiB free)
  memory of node 1: 16384 MiB (15175 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392591-1568438718/watcher-4392591-1568438718 -o /tmp/evaluation-result-4392591-1568438718/solver-4392591-1568438718 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --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-4392591-1568438718.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=23099, runsolver pid=23096
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 6.65 6.78 6.86 3/211 23121
/proc/meminfo: memFree=30528948/32770624 swapFree=66997772/67108860
[pid=23099] ppid=23096 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23099/stat : 23099 (scop.sh) S 23096 23099 21430 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420126456 115843072 349 33554432000 4194304 5098028 140724493101056 140724493098312 140169396957820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29831168 140724493108004 140724493108332 140724493108332 140724493111245 0
/proc/23099/statm: 28282 349 296 221 0 87 0
[pid=23102] ppid=23099 vsize=27314120 memory=107664 CPUtime=0.11 cores=0-7
/proc/23102/stat : 23102 (java) S 23099 23099 21430 0 -1 1077944320 6479 0 0 0 8 3 0 0 20 0 20 0 420126456 27969658880 26916 33554432000 4194304 4196468 140728798579984 140728798562528 140543597879031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
/proc/23102/statm: 6828530 26916 2802 1 0 6790935 0
[pid=23102/tid=23103] ppid=23099 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/23102/task/23103/stat : 23103 (java) R 23099 23099 21430 0 -1 4202560 4580 0 0 0 6 2 0 0 20 0 20 0 420126456 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543569683232 140543583311005 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23104] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23104/stat : 23104 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543602121104 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23105] ppid=23099 vsize=27314120 memory=139683158517290 CPUtime=0 cores=0-7
/proc/23102/task/23105/stat : 23105 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543416277264 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23106] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23106/stat : 23106 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543415224976 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23107] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23107/stat : 23107 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543414172176 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23108] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23108/stat : 23108 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543413119888 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23109] ppid=23099 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23102/task/23109/stat : 23109 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543412067088 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23110] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23110/stat : 23110 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543411014800 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23111] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23111/stat : 23111 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 26916 33554432000 4194304 4196468 140728798579984 140543013846032 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23112] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23112/stat : 23112 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126460 27969658880 26916 33554432000 4194304 4196468 140728798579984 140541648894064 140543597890178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23113] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23113/stat : 23113 (java) S 23099 23099 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420126461 27969658880 26916 33554432000 4194304 4196468 140728798579984 140541530465056 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23114] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23114/stat : 23114 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126461 27969658880 26916 33554432000 4194304 4196468 140728798579984 140541262029936 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23115] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23115/stat : 23115 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 26916 33554432000 4194304 4196468 140728798579984 140540887521360 140543597897627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23116] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23116/stat : 23116 (java) S 23099 23099 21430 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 26916 33554432000 4194304 4196468 140728798579984 140541647841904 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23117] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23117/stat : 23117 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 26916 33554432000 4194304 4196468 140728798579984 140541646789104 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23118] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23118/stat : 23118 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 26916 33554432000 4194304 4196468 140728798579984 140541645736816 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23119] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23119/stat : 23119 (java) S 23099 23099 21430 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 26916 33554432000 4194304 4196468 140728798579984 140541644684016 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23120] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23120/stat : 23120 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 26916 33554432000 4194304 4196468 140728798579984 140540389615968 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23121] ppid=23099 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23102/task/23121/stat : 23121 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 26916 33554432000 4194304 4196468 140728798579984 140541643630896 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109060 KiB

[startup+0.210138 s]*
/proc/loadavg: 6.65 6.78 6.86 2/211 23121
/proc/meminfo: memFree=30508812/32770624 swapFree=66997772/67108860
[pid=23099] ppid=23096 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23099/stat : 23099 (scop.sh) S 23096 23099 21430 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420126456 115843072 349 33554432000 4194304 5098028 140724493101056 140724493098312 140169396957820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29831168 140724493108004 140724493108332 140724493108332 140724493111245 0
/proc/23099/statm: 28282 349 296 221 0 87 0
[pid=23102] ppid=23099 vsize=27314120 memory=127028 CPUtime=0.24 cores=0-7
/proc/23102/stat : 23102 (java) S 23099 23099 21430 0 -1 1077944320 12090 0 0 0 20 4 0 0 20 0 20 0 420126456 27969658880 31757 33554432000 4194304 4196468 140728798579984 140728798562528 140543597879031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
/proc/23102/statm: 6828530 31757 2971 1 0 6790935 0
[pid=23102/tid=23103] ppid=23099 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23102/task/23103/stat : 23103 (java) R 23099 23099 21430 0 -1 4202560 9811 0 0 0 16 4 0 0 20 0 20 0 420126456 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543569678416 140543597892918 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23104] ppid=23099 vsize=27314120 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/23102/task/23104/stat : 23104 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543602121104 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23105] ppid=23099 vsize=27314120 memory=3474159032592365216 CPUtime=0 cores=0-7
/proc/23102/task/23105/stat : 23105 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543416277264 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23106] ppid=23099 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23102/task/23106/stat : 23106 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543415224976 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23107] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23107/stat : 23107 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543414172176 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23108] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23108/stat : 23108 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543413119888 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23109] ppid=23099 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23102/task/23109/stat : 23109 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543412067088 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23110] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23110/stat : 23110 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543411014800 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23111] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23111/stat : 23111 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 31757 33554432000 4194304 4196468 140728798579984 140543013846032 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23112] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23112/stat : 23112 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126460 27969658880 31757 33554432000 4194304 4196468 140728798579984 140541648894064 140543597890178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23113] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23113/stat : 23113 (java) S 23099 23099 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420126461 27969658880 31757 33554432000 4194304 4196468 140728798579984 140541530465056 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23114] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23114/stat : 23114 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126461 27969658880 31757 33554432000 4194304 4196468 140728798579984 140541262029936 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23115] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23115/stat : 23115 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 31757 33554432000 4194304 4196468 140728798579984 140540887521360 140543597897627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23116] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23116/stat : 23116 (java) S 23099 23099 21430 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 31757 33554432000 4194304 4196468 140728798579984 140541647841904 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23117] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23117/stat : 23117 (java) S 23099 23099 21430 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 31757 33554432000 4194304 4196468 140728798579984 140541646789104 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23118] ppid=23099 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23102/task/23118/stat : 23118 (java) S 23099 23099 21430 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 31757 33554432000 4194304 4196468 140728798579984 140541645736816 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23119] ppid=23099 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/23102/task/23119/stat : 23119 (java) S 23099 23099 21430 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 420126464 27969658880 31757 33554432000 4194304 4196468 140728798579984 140541644684016 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23120] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23120/stat : 23120 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 31757 33554432000 4194304 4196468 140728798579984 140540389615968 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23121] ppid=23099 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23102/task/23121/stat : 23121 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 31757 33554432000 4194304 4196468 140728798579984 140541643630896 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128424 KiB

[startup+0.309559 s]*
/proc/loadavg: 6.65 6.78 6.86 2/211 23121
/proc/meminfo: memFree=30506392/32770624 swapFree=66997772/67108860
[pid=23099] ppid=23096 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23099/stat : 23099 (scop.sh) S 23096 23099 21430 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420126456 115843072 349 33554432000 4194304 5098028 140724493101056 140724493098312 140169396957820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29831168 140724493108004 140724493108332 140724493108332 140724493111245 0
/proc/23099/statm: 28282 349 296 221 0 87 0
[pid=23102] ppid=23099 vsize=27314120 memory=130368 CPUtime=0.42 cores=0-7
/proc/23102/stat : 23102 (java) S 23099 23099 21430 0 -1 1077944320 12460 0 0 0 37 5 0 0 20 0 20 0 420126456 27969658880 32592 33554432000 4194304 4196468 140728798579984 140728798562528 140543597879031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
/proc/23102/statm: 6828530 32592 3016 1 0 6790935 0
[pid=23102/tid=23103] ppid=23099 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/23102/task/23103/stat : 23103 (java) R 23099 23099 21430 0 -1 4202560 9998 0 0 0 25 4 0 0 20 0 20 0 420126456 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543569692896 140543581065840 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23104] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23104/stat : 23104 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543602121104 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23105] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23105/stat : 23105 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543416277264 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23106] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23106/stat : 23106 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543415224976 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23107] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23107/stat : 23107 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543414172176 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23108] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23108/stat : 23108 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543413119888 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23109] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23109/stat : 23109 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543412067088 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23110] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23110/stat : 23110 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543411014800 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23111] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23111/stat : 23111 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126459 27969658880 32592 33554432000 4194304 4196468 140728798579984 140543013846032 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23112] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23112/stat : 23112 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126460 27969658880 32592 33554432000 4194304 4196468 140728798579984 140541648894064 140543597890178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23113] ppid=23099 vsize=27314120 memory=279366013754752 CPUtime=0 cores=0-7
/proc/23102/task/23113/stat : 23113 (java) S 23099 23099 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420126461 27969658880 32592 33554432000 4194304 4196468 140728798579984 140541530465056 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23114] ppid=23099 vsize=27314120 memory=279366013759360 CPUtime=0 cores=0-7
/proc/23102/task/23114/stat : 23114 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126461 27969658880 32592 33554432000 4194304 4196468 140728798579984 140541262029936 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23115] ppid=23099 vsize=27314120 memory=279366013763968 CPUtime=0 cores=0-7
/proc/23102/task/23115/stat : 23115 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 32592 33554432000 4194304 4196468 140728798579984 140540887521360 140543597897627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23116] ppid=23099 vsize=27314120 memory=279366013768576 CPUtime=0.01 cores=0-7
/proc/23102/task/23116/stat : 23116 (java) R 23099 23099 21430 0 -1 4202560 360 0 0 0 1 0 0 0 20 0 20 0 420126464 27969658880 32592 33554432000 4194304 4196468 140728798579984 140541647841904 140543575513680 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23117] ppid=23099 vsize=27314120 memory=279366013773184 CPUtime=0.01 cores=0-7
/proc/23102/task/23117/stat : 23117 (java) S 23099 23099 21430 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 420126464 27969658880 32592 33554432000 4194304 4196468 140728798579984 140541646789104 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23118] ppid=23099 vsize=27314120 memory=279366013777792 CPUtime=0.01 cores=0-7
/proc/23102/task/23118/stat : 23118 (java) S 23099 23099 21430 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 420126464 27969658880 32592 33554432000 4194304 4196468 140728798579984 140541645736816 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23119] ppid=23099 vsize=27314120 memory=279366013782400 CPUtime=0.07 cores=0-7
/proc/23102/task/23119/stat : 23119 (java) S 23099 23099 21430 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 20 0 420126464 27969658880 32592 33554432000 4194304 4196468 140728798579984 140541644684016 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23120] ppid=23099 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23120/stat : 23120 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 32592 33554432000 4194304 4196468 140728798579984 140540389615968 140543597889237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23121] ppid=23099 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23102/task/23121/stat : 23121 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126464 27969658880 32592 33554432000 4194304 4196468 140728798579984 140541643630896 140543597890178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131764 KiB

[startup+0.700867 s]
/proc/loadavg: 6.65 6.78 6.86 2/211 23121
/proc/meminfo: memFree=30485060/32770624 swapFree=66997772/67108860
[pid=23099] ppid=23096 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23099/stat : 23099 (scop.sh) S 23096 23099 21430 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420126456 115843072 349 33554432000 4194304 5098028 140724493101056 140724493098312 140169396957820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29831168 140724493108004 140724493108332 140724493108332 140724493111245 0
/proc/23099/statm: 28282 349 296 221 0 87 0
[pid=23102] ppid=23099 vsize=27322516 memory=165872 CPUtime=1 cores=0-7
/proc/23102/stat : 23102 (java) S 23099 23099 21430 0 -1 1077944320 20096 0 0 0 93 7 0 0 20 0 20 0 420126456 27978256384 41468 33554432000 4194304 4196468 140728798579984 140728798562528 140543597879031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
/proc/23102/statm: 6830629 41468 3175 1 0 6791959 0
[pid=23102/tid=23103] ppid=23099 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/23102/task/23103/stat : 23103 (java) R 23099 23099 21430 0 -1 4202560 17075 0 0 0 62 6 0 0 20 0 20 0 420126456 27978256384 41468 33554432000 4194304 4196468 140728798579984 140543569710768 140543581959518 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23104] ppid=23099 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23104/stat : 23104 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126459 27978256384 41468 33554432000 4194304 4196468 140728798579984 140543602121104 140543597889237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23105] ppid=23099 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/23102/task/23105/stat : 23105 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126459 27978256384 41468 33554432000 4194304 4196468 140728798579984 140543416277264 140543597889237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0
[pid=23102/tid=23106] ppid=23099 vsize=27322516 memory=4008 CPUtime=0 cores=0-7
/proc/23102/task/23106/stat : 23106 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126459 27978256384 41468 33554432000 4194304 4196468 140728798579984 140543415224976 140543597889237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140728798585578 140728798586006 140728798586006 140728798588879 0

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

[pid=23122] ppid=23099 vsize=8414124 memory=119728 CPUtime=1.31 cores=0-7
/proc/23122/stat : 23122 (java) S 23099 23099 21430 0 -1 1077944320 20927 0 0 0 122 9 0 0 20 0 24 0 420126623 8616062976 29932 33554432000 4194304 4196468 140735985793552 140735985776096 140533926321911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
/proc/23122/statm: 2103531 29932 3204 1 0 2064875 0
[pid=23142] ppid=23122 vsize=634224 memory=153600 CPUtime=50.57 cores=0-7
/proc/23142/stat : 23142 (manyglucose-4.1) S 23122 23099 21430 0 -1 1077944320 83083 0 0 0 5043 14 0 0 20 0 9 0 420126698 649445376 38400 33554432000 4194304 4454172 140724315684864 140724315683264 140534820166274 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
/proc/23142/statm: 158556 38400 407 64 0 154224 0
[pid=23142/tid=23147] ppid=23122 vsize=634224 memory=0 CPUtime=6.32 cores=0-7
/proc/23142/task/23147/stat : 23147 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 9317 0 0 0 632 0 0 0 20 0 9 0 420126701 649445376 38400 33554432000 4194304 4454172 140724315684864 140534804937464 4351535 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23148] ppid=23122 vsize=634224 memory=0 CPUtime=6.34 cores=0-7
/proc/23142/task/23148/stat : 23148 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 9050 0 0 0 633 1 0 0 20 0 9 0 420126701 649445376 38400 33554432000 4194304 4454172 140724315684864 140534796545112 4351231 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23149] ppid=23122 vsize=634224 memory=1476 CPUtime=6.18 cores=0-7
/proc/23142/task/23149/stat : 23149 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10789 0 0 0 617 1 0 0 20 0 9 0 420126701 649445376 38400 33554432000 4194304 4454172 140724315684864 140534788152056 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23150] ppid=23122 vsize=634224 memory=119728 CPUtime=6.33 cores=0-7
/proc/23142/task/23150/stat : 23150 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10029 0 0 0 630 3 0 0 20 0 9 0 420126701 649445376 38400 33554432000 4194304 4454172 140724315684864 140534779759352 4329122 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23151] ppid=23122 vsize=634224 memory=0 CPUtime=6.33 cores=0-7
/proc/23142/task/23151/stat : 23151 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 9166 0 0 0 632 1 0 0 20 0 9 0 420126701 649445376 38400 33554432000 4194304 4454172 140724315684864 140534771366648 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23153] ppid=23122 vsize=634224 memory=238989160264870 CPUtime=6.32 cores=0-7
/proc/23142/task/23153/stat : 23153 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10411 0 0 0 631 1 0 0 20 0 9 0 420126701 649445376 38400 33554432000 4194304 4454172 140724315684864 140534762973944 4350902 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23154] ppid=23122 vsize=634224 memory=279366014223232 CPUtime=6.32 cores=0-7
/proc/23142/task/23154/stat : 23154 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10488 0 0 0 631 1 0 0 20 0 9 0 420126701 649445376 38400 33554432000 4194304 4454172 140724315684864 140534685363368 4349976 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23155] ppid=23122 vsize=634224 memory=7589560699319743872 CPUtime=6.33 cores=0-7
/proc/23142/task/23155/stat : 23155 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 9975 0 0 0 632 1 0 0 20 0 9 0 420126701 649445376 38400 33554432000 4194304 4454172 140724315684864 140534676970344 4333320 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23122/tid=23123] ppid=23099 vsize=8414124 memory=5787221622746275929 CPUtime=0.78 cores=0-7
/proc/23122/task/23123/stat : 23123 (java) S 23099 23099 21430 0 -1 1077944384 17405 0 0 0 71 7 0 0 20 0 24 0 420126623 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533898162080 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23124] ppid=23099 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/23122/task/23124/stat : 23124 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533930564496 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23125] ppid=23099 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23122/task/23125/stat : 23125 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533748652816 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23126] ppid=23099 vsize=8414124 memory=119728 CPUtime=0 cores=0-7
/proc/23122/task/23126/stat : 23126 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533747600528 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23127] ppid=23099 vsize=8414124 memory=146456 CPUtime=0 cores=0-7
/proc/23122/task/23127/stat : 23127 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533409152016 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23128] ppid=23099 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/23122/task/23128/stat : 23128 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533408098704 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23129] ppid=23099 vsize=8414124 memory=1380 CPUtime=0 cores=0-7
/proc/23122/task/23129/stat : 23129 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533407045904 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23130] ppid=23099 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/23122/task/23130/stat : 23130 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533405993616 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23131] ppid=23099 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/23122/task/23131/stat : 23131 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533404940816 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23132] ppid=23099 vsize=8414124 memory=4008 CPUtime=0 cores=0-7
/proc/23122/task/23132/stat : 23132 (java) S 23099 23099 21430 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420126626 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533355346544 140533926333058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23133] ppid=23099 vsize=8414124 memory=948 CPUtime=0 cores=0-7
/proc/23122/task/23133/stat : 23133 (java) S 23099 23099 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420126626 8616062976 29932 33554432000 4194304 4196468 140735985793552 140532470768928 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23134] ppid=23099 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/23122/task/23134/stat : 23134 (java) S 23099 23099 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420126627 8616062976 29932 33554432000 4194304 4196468 140735985793552 140532336547440 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23135] ppid=23099 vsize=8414124 memory=9404 CPUtime=0 cores=0-7
/proc/23122/task/23135/stat : 23135 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140531962042960 140533926340507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23136] ppid=23099 vsize=8414124 memory=1548 CPUtime=0.11 cores=0-7
/proc/23122/task/23136/stat : 23136 (java) S 23099 23099 21430 0 -1 1077944384 674 0 0 0 11 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533354293360 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23137] ppid=23099 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/23122/task/23137/stat : 23137 (java) S 23099 23099 21430 0 -1 1077944384 544 0 0 0 6 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533353240560 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23138] ppid=23099 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/23122/task/23138/stat : 23138 (java) S 23099 23099 21430 0 -1 1077944384 227 0 0 0 8 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533352188272 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23139] ppid=23099 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7
/proc/23122/task/23139/stat : 23139 (java) S 23099 23099 21430 0 -1 1077944384 658 0 0 0 23 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533351135472 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23140] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23140/stat : 23140 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140531464137568 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23141] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23141/stat : 23141 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420126630 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533350083376 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23143] ppid=23099 vsize=8414124 memory=139683007399312 CPUtime=0 cores=0-7
/proc/23122/task/23143/stat : 23143 (java) S 23099 23099 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420126698 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533344241472 140533926346521 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23145] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23145/stat : 23145 (java) S 23099 23099 21430 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420126699 8616062976 29932 33554432000 4194304 4196468 140735985793552 140530793037232 140533926343837 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23146] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23146/stat : 23146 (java) S 23099 23099 21430 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420126699 8616062976 29932 33554432000 4194304 4196468 140735985793552 140531061472560 140533926343837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23152] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23152/stat : 23152 (java) S 23099 23099 21430 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420126701 8616062976 29932 33554432000 4194304 4196468 140735985793552 140530524609840 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
Current children cumulated CPU time: 55.56 s
Current children cumulated vsize: 9161476 KiB
Current children cumulated memory: 274804 KiB

[startup+9.20152 s]
/proc/loadavg: 6.18 6.67 6.83 9/224 23155
/proc/meminfo: memFree=30366148/32770624 swapFree=66997772/67108860
[pid=23099] ppid=23096 vsize=113128 memory=1476 CPUtime=3.68 cores=0-7
/proc/23099/stat : 23099 (scop.sh) S 23096 23099 21430 0 -1 4202496 583 25037 0 0 0 0 354 14 20 0 1 0 420126456 115843072 369 33554432000 4194304 5098028 140724493101056 140724493097800 140169396957820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29831168 140724493108004 140724493108332 140724493108332 140724493111245 0
/proc/23099/statm: 28282 369 311 221 0 87 0
[pid=23122] ppid=23099 vsize=8414124 memory=119728 CPUtime=1.31 cores=0-7
/proc/23122/stat : 23122 (java) S 23099 23099 21430 0 -1 1077944320 20927 0 0 0 122 9 0 0 20 0 24 0 420126623 8616062976 29932 33554432000 4194304 4196468 140735985793552 140735985776096 140533926321911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
/proc/23122/statm: 2103531 29932 3204 1 0 2064875 0
[pid=23142] ppid=23122 vsize=634816 memory=154056 CPUtime=53.76 cores=0-7
/proc/23142/stat : 23142 (manyglucose-4.1) S 23122 23099 21430 0 -1 1077944320 83765 0 0 0 5361 15 0 0 20 0 9 0 420126698 650051584 38514 33554432000 4194304 4454172 140724315684864 140724315683264 140534820166274 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
/proc/23142/statm: 158704 38514 407 64 0 154372 0
[pid=23142/tid=23147] ppid=23122 vsize=634816 memory=0 CPUtime=6.72 cores=0-7
/proc/23142/task/23147/stat : 23147 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 9444 0 0 0 672 0 0 0 20 0 9 0 420126701 650051584 38514 33554432000 4194304 4454172 140724315684864 140534804937464 4349976 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23148] ppid=23122 vsize=634816 memory=0 CPUtime=6.74 cores=0-7
/proc/23142/task/23148/stat : 23148 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 9158 0 0 0 673 1 0 0 20 0 9 0 420126701 650051584 38514 33554432000 4194304 4454172 140724315684864 140534796544760 4351576 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23149] ppid=23122 vsize=634816 memory=0 CPUtime=6.57 cores=0-7
/proc/23142/task/23149/stat : 23149 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10833 0 0 0 656 1 0 0 20 0 9 0 420126701 650051584 38514 33554432000 4194304 4454172 140724315684864 140534788152424 4349989 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23150] ppid=23122 vsize=634816 memory=0 CPUtime=6.73 cores=0-7
/proc/23142/task/23150/stat : 23150 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10117 0 0 0 670 3 0 0 20 0 9 0 420126701 650051584 38514 33554432000 4194304 4454172 140724315684864 140534779759352 4353764 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23151] ppid=23122 vsize=634816 memory=0 CPUtime=6.73 cores=0-7
/proc/23142/task/23151/stat : 23151 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 9211 0 0 0 672 1 0 0 20 0 9 0 420126701 650051584 38514 33554432000 4194304 4454172 140724315684864 140534771366648 4349776 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23153] ppid=23122 vsize=634816 memory=0 CPUtime=6.72 cores=0-7
/proc/23142/task/23153/stat : 23153 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10511 0 0 0 671 1 0 0 20 0 9 0 420126701 650051584 38514 33554432000 4194304 4454172 140724315684864 140534762973944 4333329 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23154] ppid=23122 vsize=634816 memory=0 CPUtime=6.72 cores=0-7
/proc/23142/task/23154/stat : 23154 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10595 0 0 0 671 1 0 0 20 0 9 0 420126701 650051584 38514 33554432000 4194304 4454172 140724315684864 140534685363304 4350933 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23142/tid=23155] ppid=23122 vsize=634816 memory=0 CPUtime=6.73 cores=0-7
/proc/23142/task/23155/stat : 23155 (manyglucose-4.1) R 23122 23099 21430 0 -1 4202560 10038 0 0 0 672 1 0 0 20 0 9 0 420126701 650051584 38514 33554432000 4194304 4454172 140724315684864 140534676970344 4351184 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 29962240 140724315689833 140724315690032 140724315690032 140724315692986 0
[pid=23122/tid=23123] ppid=23099 vsize=8414124 memory=0 CPUtime=0.78 cores=0-7
/proc/23122/task/23123/stat : 23123 (java) S 23099 23099 21430 0 -1 1077944384 17405 0 0 0 71 7 0 0 20 0 24 0 420126623 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533898162080 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23124] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23124/stat : 23124 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533930564496 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23125] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23125/stat : 23125 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533748652816 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23126] ppid=23099 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/23122/task/23126/stat : 23126 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533747600528 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23127] ppid=23099 vsize=8414124 memory=6945769306793732441 CPUtime=0 cores=0-7
/proc/23122/task/23127/stat : 23127 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533409152016 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23128] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23128/stat : 23128 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533408098704 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23129] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23129/stat : 23129 (java) S 23099 23099 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533407045904 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23130] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23130/stat : 23130 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533405993616 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23131] ppid=23099 vsize=8414124 memory=139683007399696 CPUtime=0 cores=0-7
/proc/23122/task/23131/stat : 23131 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126624 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533404940816 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23132] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23132/stat : 23132 (java) S 23099 23099 21430 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420126626 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533355346544 140533926333058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23133] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23133/stat : 23133 (java) S 23099 23099 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420126626 8616062976 29932 33554432000 4194304 4196468 140735985793552 140532470768928 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23134] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23134/stat : 23134 (java) S 23099 23099 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420126627 8616062976 29932 33554432000 4194304 4196468 140735985793552 140532336547440 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23135] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23135/stat : 23135 (java) S 23099 23099 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140531962042960 140533926340507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23136] ppid=23099 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/23122/task/23136/stat : 23136 (java) S 23099 23099 21430 0 -1 1077944384 674 0 0 0 11 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533354293360 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23137] ppid=23099 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/23122/task/23137/stat : 23137 (java) S 23099 23099 21430 0 -1 1077944384 544 0 0 0 6 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533353240560 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23138] ppid=23099 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/23122/task/23138/stat : 23138 (java) S 23099 23099 21430 0 -1 1077944384 227 0 0 0 8 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533352188272 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23139] ppid=23099 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7
/proc/23122/task/23139/stat : 23139 (java) S 23099 23099 21430 0 -1 1077944384 658 0 0 0 23 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533351135472 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23140] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23140/stat : 23140 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420126629 8616062976 29932 33554432000 4194304 4196468 140735985793552 140531464137568 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23141] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23141/stat : 23141 (java) S 23099 23099 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420126630 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533350083376 140533926333058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23143] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23143/stat : 23143 (java) S 23099 23099 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420126698 8616062976 29932 33554432000 4194304 4196468 140735985793552 140533344241472 140533926346521 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23145] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23145/stat : 23145 (java) S 23099 23099 21430 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420126699 8616062976 29932 33554432000 4194304 4196468 140735985793552 140530793037232 140533926343837 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23146] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23146/stat : 23146 (java) S 23099 23099 21430 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420126699 8616062976 29932 33554432000 4194304 4196468 140735985793552 140531061472560 140533926343837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
[pid=23122/tid=23152] ppid=23099 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23122/task/23152/stat : 23152 (java) S 23099 23099 21430 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420126701 8616062976 29932 33554432000 4194304 4196468 140735985793552 140530524609840 140533926332117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13692928 140735985800183 140735985800342 140735985800342 140735985803215 0
Current children cumulated CPU time: 58.75 s
Current children cumulated vsize: 9162068 KiB
Current children cumulated memory: 275260 KiB

[startup+9.60123 s]
/proc/loadavg: 6.18 6.67 6.83 9/224 23155
/proc/meminfo: memFree=30366148/32770624 swapFree=66997772/67108860
[pid=23099] ppid=23096 vsize=113128 memory=1476 CPUtime=3.68 cores=0-7
/proc/23099/stat : 23099 (scop.sh) S 23096 23099 21430 0 -1 4202496 583 25037 0 0 0 0 354 14 20 0 1 0 420126456 115843072 369 33554432000 4194304 5098028 140724493101056 140724493097800 140169396957820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29831168 140724493108004 140724493108332 140724493108332 140724493111245 0
/proc/23099/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 3.68 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 9.60203
CPU time (s): 60.9086
CPU user time (s): 60.4948
CPU system time (s): 0.413806
CPU usage (%): 634.331
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 276012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.4948
system time used= 0.413806
maximum resident set size= 264188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7485
involuntary context switches= 609


# summary of solver processes directly reported to runsolver:
#   pid: 23099
#   total CPU time (s): 60.9086
#   total CPU user time (s): 60.4948
#   total CPU system time (s): 0.413806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.097903 second user time and 0.167523 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 06:24:01
IDJOB=4392591
IDBENCH=135372
IDSOLVER=2839
FILE ID=node106/4392591-1568438718
RUNJOBID= node106-1568429735-21457
PBS_JOBID= 21702316
Free space on /tmp= 59112 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-queen/Pb-queen-0975965.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392591-1568438718/watcher-4392591-1568438718 -o /tmp/evaluation-result-4392591-1568438718/solver-4392591-1568438718 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --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-4392591-1568438718.xml

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

MD5SUM BENCH= a14f05ce5b97c69cdfebe4c47d671ffd
RANDOM SEED=1711071311

node106.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.79
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.79
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.79
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.79
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:        30625916 kB
MemAvailable:   31899560 kB
Buffers:          188192 kB
Cached:          1367184 kB
SwapCached:         9324 kB
Active:           485976 kB
Inactive:        1084960 kB
Active(anon):      15672 kB
Inactive(anon):    34544 kB
Active(file):     470304 kB
Inactive(file):  1050416 kB
Unevictable:      107200 kB
Mlocked:          107200 kB
SwapTotal:      67108860 kB
SwapFree:       66997772 kB
Dirty:             20948 kB
Writeback:             0 kB
AnonPages:        176520 kB
Mapped:            38272 kB
Shmem:             25388 kB
Slab:             167368 kB
SReclaimable:     137520 kB
SUnreclaim:        29848 kB
KernelStack:        3952 kB
PageTables:         5632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     490504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59092 MiB
End job on node106 at 2019-09-14 06:24:11