Trace number 4405214

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-clau-011-010.xml
MD5SUM46ced5e3eb9b8d9f9897ebef4f7d04b7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark51.188
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints561
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":110}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":110}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":550},{"arity":10,"count":11}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":561}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20236-serial-file.bin HOME/instance-4405214-1569355727.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 22:11:01 CEST 2019
0.66/0.57	c PID: 20239
0.66/0.57	c IP: 172.20.3.139
0.66/0.57	c HOST: node139.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.66/1.07	c (0,0) Parsing End
1.66/1.08	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
1.66/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.66/1.08	c (0,0) Constraint Name Generate Begin
1.66/1.09	c (0,0) Ctr:HOME/instance-4405214-1569355727.xml,Num:Var:WeightedSum
1.66/1.09	c (0,0) Constraint Name Generate End
1.66/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.66/1.09	c (0,0) CSP to CSPinCNF Begin
2.01/1.24	c (0,0) translated 57 (10%) constraints
2.01/1.27	c (0,0) translated 113 (20%) constraints
2.01/1.29	c (0,0) translated 169 (30%) constraints
2.26/1.31	c (0,0) translated 225 (40%) constraints
2.26/1.33	c (0,0) translated 281 (50%) constraints
2.26/1.34	c (0,0) translated 337 (60%) constraints
2.26/1.36	c (0,0) translated 393 (70%) constraints
2.26/1.37	c (0,0) translated 449 (80%) constraints
2.26/1.38	c (0,0) translated 505 (90%) constraints
2.26/1.39	c (0,0) translated 561 (100%) constraints
2.26/1.39	c (0,0) ===========================================
2.26/1.39	c (0,0) Order
2.26/1.39	c (0,0) ===========================================
2.55/1.41	c (0,0) translated 57 (10%) constraints
2.55/1.41	c (0,0) translated 113 (20%) constraints
2.55/1.42	c (0,0) translated 169 (30%) constraints
2.55/1.42	c (0,0) translated 225 (40%) constraints
2.55/1.43	c (0,0) translated 281 (50%) constraints
2.55/1.43	c (0,0) translated 337 (60%) constraints
2.55/1.43	c (0,0) translated 393 (70%) constraints
2.55/1.44	c (0,0) translated 449 (80%) constraints
2.55/1.44	c (0,0) translated 505 (90%) constraints
2.55/1.44	c (0,0) translated 561 (100%) constraints
2.55/1.45	c (0,0) CSP to CSPinCNF End
2.55/1.45	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.55/1.45	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.55/1.45	c (0,0) CSPinCNF Propagation Begin
2.55/1.47	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.55/1.47	c (0,0) CSPinCNF Propagation End
2.55/1.47	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.55/1.47	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.55/1.48	c (0,0) Simplify CSPinCNF Begin
2.55/1.48	c (0,0) Simplify CSPinCNF End
2.55/1.49	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.55/1.49	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.55/1.49	c (0,0) Calculate Precise Domain Begin
2.55/1.49	c (0,0) 0 values are removed by re-calculation
2.55/1.49	c (0,0) Calculate Precise Domain End
2.55/1.49	c (0,0) CSP: 0 int (0 aux), 110 bool (0 aux), 561 ctr, max domain size 2
2.55/1.49	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.55/1.49	c (0,0) CSPinCNF to SatSolver Begin
2.82/1.59	c (1,1) 57 (10 %) CSP clauses are encoded (0 SAT variables, 56 SAT clauses)
3.05/1.60	c (1,1) 113 (20 %) CSP clauses are encoded (0 SAT variables, 112 SAT clauses)
3.05/1.61	c (1,1) 169 (30 %) CSP clauses are encoded (0 SAT variables, 168 SAT clauses)
3.05/1.62	c (1,1) 225 (40 %) CSP clauses are encoded (0 SAT variables, 224 SAT clauses)
3.05/1.62	c (1,1) 281 (50 %) CSP clauses are encoded (0 SAT variables, 280 SAT clauses)
3.05/1.63	c (1,1) 337 (60 %) CSP clauses are encoded (0 SAT variables, 336 SAT clauses)
3.05/1.64	c (1,1) 393 (70 %) CSP clauses are encoded (0 SAT variables, 392 SAT clauses)
3.05/1.64	c (1,1) 449 (80 %) CSP clauses are encoded (0 SAT variables, 448 SAT clauses)
3.05/1.65	c (1,1) 505 (90 %) CSP clauses are encoded (0 SAT variables, 504 SAT clauses)
3.05/1.66	c (1,1) 561 (100 %) CSP clauses are encoded (0 SAT variables, 560 SAT clauses)
3.05/1.66	c (1,1) CSPinCNF to SatSolver End
3.05/1.66	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.05/1.66	c (1,1) 110 bool, 561 clause
3.05/1.66	c (1,1) Export Begin
3.27/1.74	c (1,1) Export to HOME/scop-20236-serial-file.bin
3.27/1.74	c (1,1) Export End
3.27/1.75	c (1,1) Export File Size: 0.02 MB
3.27/1.75	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.27/1.75	c END-Prog: Tue Sep 24 22:11:02 CEST 2019
3.27/1.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20236-serial-file.bin
3.95/2.22	c (0,0) Read Serial File Begin
3.95/2.22	c (0,0) HOME/scop-20236-serial-file.bin
4.23/2.43	c (0,0) Read Serial File End
4.23/2.44	
4.23/2.44	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
4.23/2.44	(Solving Process)
4.23/2.44	
4.23/2.46	c BEGIN-Prog: Tue Sep 24 22:11:03 CEST 2019
4.23/2.46	c PID: 20259
4.23/2.46	c IP: 172.20.3.139
4.23/2.46	c HOST: node139.alineos.net
4.23/2.47	c (0,0) SatSolver.solve Begin
4.23/2.47	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405214-1569355727.xml-scop-20239.cnf
4.23/2.50	c (0,0) c
4.23/2.50	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
4.23/2.50	c (0,0) c
4.23/2.50	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.23/2.50	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.23/2.50	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.23/2.50	c (0,0) c |                                                                                                       |
4.23/2.50	c (0,0) c |  Number of variables:           110                                                                   |
4.23/2.50	c (0,0) c |  Number of clauses:             561                                                                   |
4.23/2.50	c (0,0) c |  Parse time:                   0.00 s                                                                 |
4.23/2.50	c (0,0) c |                                                                                                       |
4.23/2.50	c (0,0) c |  Simplification time:          0.00 s                                                                 |
4.23/2.50	c (0,0) c |                                                                                                       |
4.23/2.50	c (0,0) c |  Generating clones                                                                                    |
4.23/2.50	c (0,0) c |  all clones generated. Memory =    22.98Mb.                                                           |
4.23/2.50	c (0,0) c ========================================================================================================|
4.23/2.50	c (0,0) c
4.23/2.50	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.23/2.50	c (0,0) c
4.23/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.23/2.50	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.23/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.23/2.50	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.23/2.50	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.23/2.50	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.23/2.50	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.23/2.50	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.23/2.50	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.23/2.50	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.23/2.50	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.23/2.50	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.23/2.50	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.23/2.50	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.23/2.50	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.23/2.50	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.23/2.50	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.23/2.50	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.23/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
232.41/32.05	c (29,0) c
232.41/32.05	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
232.41/32.05	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
232.41/32.05	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
232.41/32.05	c (29,0) c |  0 |    974 |     592451 |     491726 |      550 |    53471 |    34952 |   747191 |    48946 |      666 |  20 |  0.984 |
232.41/32.05	c (29,0) c |  1 |    512 |     570324 |     485269 |      550 |    82449 |    36575 |   744183 |    46490 |      663 |  20 |  0.992 |
232.41/32.05	c (29,0) c |  2 |   3378 |    2317879 |    1904862 |    11523 |     2814 |   194632 |   574921 |    15593 |      646 |  20 |  1.033 |
232.41/32.05	c (29,0) c |  3 |   1253 |     601650 |     493014 |      550 |    53550 |    32493 |   748535 |    52469 |      664 |  20 |  0.918 |
232.41/32.05	c (29,0) c |  4 |   3324 |    2333854 |    1922478 |    11626 |     2457 |   198450 |   576797 |    17787 |      653 |  20 |  0.992 |
232.41/32.05	c (29,0) c |  5 |    385 |     556348 |     476618 |      550 |    66124 |    39738 |   741183 |    41813 |      664 |  20 |  0.993 |
232.41/32.05	c (29,0) c |  6 |   3672 |    2371808 |    1941846 |    12766 |     3761 |   210235 |   562966 |    16125 |      649 |  20 |  0.993 |
232.41/32.05	c (29,0) c |  7 |    187 |     566537 |     486726 |      550 |    76007 |    44389 |   728341 |    34749 |      665 |  20 |  0.993 |
232.41/32.05	c (29,0) c 
232.41/32.05	c (29,0) c synthesis     8202540 conflicts    99551264 propagations    36032 conflicts/sec   437311 propagations/sec
232.41/32.05	c (29,0) c real: 29.5621 s, cpu: 227.644 s, memory: 640.37 Mb
392.39/52.70	c (50,0) c
392.39/52.70	c (50,0) c real time : 50.212 s
392.39/52.70	c (50,0) c cpu time  : 387.02 s
392.39/52.70	c (50,0) c
392.39/52.70	c (50,0) c
392.39/52.70	c (50,0) c
392.39/52.70	c (50,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
392.39/52.70	c (50,0) c
392.39/52.70	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.70	c (50,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
392.39/52.70	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.70	c (50,0) c | Conflicts     |        12718097 |     746616 |     746850 |    2983953 |     748685 |    2996826 |     725842 |    3036644 |     732681 |
392.39/52.70	c (50,0) c | Decisions     |        15515341 |     908422 |     894466 |    3661334 |     921149 |    3672018 |     862845 |    3728860 |     866247 |
392.39/52.70	c (50,0) c | Propagations  |       158004608 |    9312792 |    9312974 |   37008039 |    9266586 |   37605525 |    8872568 |   37791984 |    8834140 |
392.39/52.70	c (50,0) c | ReduceDBs     |            4502 |         23 |         24 |       1449 |         23 |       1456 |         24 |       1478 |         25 |
392.39/52.70	c (50,0) c | SimpDBs       |              60 |          3 |          3 |         15 |          3 |         14 |          3 |         16 |          3 |
392.39/52.70	c (50,0) c | Restarts      |           23623 |       1531 |       1082 |       5832 |       1911 |       5858 |        886 |       6029 |        494 |
392.39/52.70	c (50,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
392.39/52.70	c (50,0) c | PropBinClauses|       288623013 |   16024362 |   15990284 |   69590071 |   16038264 |   70233256 |   14967601 |   70853492 |   14925683 |
392.39/52.70	c (50,0) c | PropPreBlocker|     24400110254 | 3135670011 | 3131080320 | 2885780444 | 3075699807 | 2890024425 | 3146459703 | 2868922570 | 3266472974 |
392.39/52.70	c (50,0) c | PropNotBlocker|      4045249824 |  504813375 |  490734646 |  530574028 |  500281689 |  534243325 |  489615941 |  536946875 |  458039945 |
392.39/52.70	c (50,0) c | LitFullScans  |     52968699827 | 6635651743 | 6602288509 | 6601936643 | 6625896356 | 6634851208 | 6602119945 | 6634160378 | 6631795045 |
392.39/52.70	c (50,0) c | LitScanFracts |        11484600 |    1771552 |    2278630 |     467892 |    1933260 |     673359 |    2100099 |     480415 |    1779393 |
392.39/52.70	c (50,0) c | DecisionLevel0|           23700 |       1534 |       1083 |       5851 |       1916 |       5872 |        887 |       6056 |        501 |
392.39/52.70	c (50,0) c | Periods       |            8823 |       1105 |       1100 |       1100 |       1103 |       1105 |       1100 |       1105 |       1105 |
392.39/52.70	c (50,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
392.39/52.70	c (50,0) c | Avg_Trail     |                 |         91 |         91 |         92 |         91 |         93 |         90 |         93 |         88 |
392.39/52.70	c (50,0) c | Avg_DL        |                 |         16 |         16 |         16 |         16 |         16 |         16 |         16 |         17 |
392.39/52.70	c (50,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
392.39/52.70	c (50,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
392.39/52.70	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.70	c (50,0) c | Exported      |         1216997 |      51462 |      52238 |     310367 |      48115 |     311242 |      56078 |     328843 |      58652 |
392.39/52.70	c (50,0) c | Imported      |         8344158 |    1143987 |    1136848 |     886408 |    1145615 |     889030 |    1133586 |     872868 |    1135816 |
392.39/52.70	c (50,0) c | Good          |            3018 |        440 |        381 |        336 |        406 |        344 |        391 |        324 |        396 |
392.39/52.70	c (50,0) c | Purge         |         8341140 |    1143547 |    1136467 |     886072 |    1145209 |     888686 |    1133195 |     872544 |    1135420 |
392.39/52.70	c (50,0) c | Promoted      |          412745 |      74925 |      72726 |      20992 |      79252 |      23593 |      63444 |      22383 |      55430 |
392.39/52.70	c (50,0) c | Remove_Imp    |         7195536 |     931949 |     938774 |     855874 |     923388 |     860112 |     889468 |     840962 |     955009 |
392.39/52.70	c (50,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
392.39/52.70	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.70	c (50,0) c | Unaries       |                 |          3 |          1 |         19 |          5 |         14 |          1 |         27 |          7 |
392.39/52.70	c (50,0) c | Binaries      |                 |         37 |         45 |        158 |         55 |        173 |         29 |        237 |         75 |
392.39/52.70	c (50,0) c | Glues         |                 |         72 |         86 |        226 |         88 |        230 |         74 |        320 |        119 |
392.39/52.71	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.71	c (50,0) c | Orig_Seen     |          2494 % |        550 |        550 |      32997 |        550 |      34465 |        550 |      35538 |        550 |
392.39/52.71	c (50,0) c | Diff Orig seen|                 | -    32447 | -    32447 |      X     | -    32447 |       1468 | -    32447 |       2541 | -    32447 |
392.39/52.71	c (50,0) c | Hamming       |            26 % |         24 |         27 |      X     |         30 |         31 |         34 |         32 |         29 |
392.39/52.71	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.71	c (50,0) c | RunningTime   |                 |   47.9  97%|   47.4  95%|   49.1  99%|   48.8  98%|   48.6  98%|   48.2  96%|   48.7  99%|   45.9  93%|
392.39/52.71	c (50,0) c | WaitingTime   |                 |    1.3   3%|    2.2   4%|    0.0   0%|    0.5   1%|    0.4   1%|    1.4   3%|    0.3   1%|    3.2   6%|
392.39/52.71	c (50,0) c | ExchangingTime|                 |    0.4   1%|    0.5   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.5   1%|
392.39/52.71	c (50,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
392.39/52.71	c (50,0) c | SolvingTime   |                 |   49.6     |   50.1     |   49.5     |   49.7     |   49.4     |   50.0     |   49.4     |   49.6     |
392.39/52.71	c (50,0) c | PropagationTim|                 |   44.9  91%|   45.1  90%|   33.1  67%|   44.9  90%|   33.5  68%|   44.0  88%|   33.1  67%|   44.9  90%|
392.39/52.71	c (50,0) c | AnalysisTime  |                 |    2.8   6%|    2.8   6%|    9.6  19%|    2.8   6%|    9.5  19%|    4.0   8%|    9.8  20%|    2.7   5%|
392.39/52.71	c (50,0) c | ReductionTime |                 |    1.1   2%|    1.3   3%|    4.4   9%|    1.2   2%|    4.1   8%|    1.1   2%|    4.2   9%|    1.2   2%|
392.39/52.71	c (50,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|
392.39/52.71	c (50,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
392.39/52.71	c (50,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
392.39/52.71	c (50,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.71	c (50,0) c
392.39/52.71	c (50,0) c
392.39/52.71	c (50,0) c Threads : 8
392.39/52.71	c (50,0) c Winner : 2
392.39/52.71	c (50,0) c Conflicts_0 : 746616
392.39/52.71	c (50,0) c Conflicts_1 : 746850
392.39/52.71	c (50,0) c Conflicts_2 : 2983953
392.39/52.71	c (50,0) c Conflicts_3 : 748685
392.39/52.71	c (50,0) c Conflicts_4 : 2996826
392.39/52.71	c (50,0) c Conflicts_5 : 725842
392.39/52.71	c (50,0) c Conflicts_6 : 3036644
392.39/52.71	c (50,0) c Conflicts_7 : 732681
392.39/52.71	c (50,0) c Conflicts_total : 12718097
392.39/52.71	c (50,0) c Conflicts_winner : 2983953
392.39/52.71	c (50,0) c Decisions_0 : 908422
392.39/52.71	c (50,0) c Decisions_1 : 894466
392.39/52.71	c (50,0) c Decisions_2 : 3661334
392.39/52.71	c (50,0) c Decisions_3 : 921149
392.39/52.71	c (50,0) c Decisions_4 : 3672018
392.39/52.71	c (50,0) c Decisions_5 : 862845
392.39/52.71	c (50,0) c Decisions_6 : 3728860
392.39/52.71	c (50,0) c Decisions_7 : 866247
392.39/52.71	c (50,0) c Decisions_total : 15515341
392.39/52.71	c (50,0) c Decisions_winner : 3661334
392.39/52.71	c (50,0) c Propagations_0 : 9312792
392.39/52.71	c (50,0) c Propagations_1 : 9312974
392.39/52.71	c (50,0) c Propagations_2 : 37008039
392.39/52.71	c (50,0) c Propagations_3 : 9266586
392.39/52.71	c (50,0) c Propagations_4 : 37605525
392.39/52.71	c (50,0) c Propagations_5 : 8872568
392.39/52.71	c (50,0) c Propagations_6 : 37791984
392.39/52.71	c (50,0) c Propagations_7 : 8834140
392.39/52.71	c (50,0) c Propagations_total : 158004608
392.39/52.71	c (50,0) c Propagations_winner : 37008039
392.39/52.71	c (50,0) c ReduceDBs_0 : 23
392.39/52.71	c (50,0) c ReduceDBs_1 : 24
392.39/52.71	c (50,0) c ReduceDBs_2 : 1449
392.39/52.71	c (50,0) c ReduceDBs_3 : 23
392.39/52.71	c (50,0) c ReduceDBs_4 : 1456
392.39/52.71	c (50,0) c ReduceDBs_5 : 24
392.39/52.71	c (50,0) c ReduceDBs_6 : 1478
392.39/52.71	c (50,0) c ReduceDBs_7 : 25
392.39/52.71	c (50,0) c ReduceDBs_total : 4502
392.39/52.71	c (50,0) c ReduceDBs_winner : 1449
392.39/52.71	c (50,0) c SimpDBs_0 : 3
392.39/52.71	c (50,0) c SimpDBs_1 : 3
392.39/52.71	c (50,0) c SimpDBs_2 : 15
392.39/52.71	c (50,0) c SimpDBs_3 : 3
392.39/52.71	c (50,0) c SimpDBs_4 : 14
392.39/52.71	c (50,0) c SimpDBs_5 : 3
392.39/52.71	c (50,0) c SimpDBs_6 : 16
392.39/52.71	c (50,0) c SimpDBs_7 : 3
392.39/52.71	c (50,0) c SimpDBs_total : 60
392.39/52.71	c (50,0) c SimpDBs_winner : 15
392.39/52.71	c (50,0) c Restarts_0 : 1531
392.39/52.71	c (50,0) c Restarts_1 : 1082
392.39/52.71	c (50,0) c Restarts_2 : 5832
392.39/52.71	c (50,0) c Restarts_3 : 1911
392.39/52.71	c (50,0) c Restarts_4 : 5858
392.39/52.71	c (50,0) c Restarts_5 : 886
392.39/52.71	c (50,0) c Restarts_6 : 6029
392.39/52.71	c (50,0) c Restarts_7 : 494
392.39/52.71	c (50,0) c Restarts_total : 23623
392.39/52.71	c (50,0) c Restarts_winner : 5832
392.39/52.71	c (50,0) c ForcedImports_0 : 0
392.39/52.71	c (50,0) c ForcedImports_1 : 0
392.39/52.71	c (50,0) c ForcedImports_2 : 0
392.39/52.71	c (50,0) c ForcedImports_3 : 0
392.39/52.71	c (50,0) c ForcedImports_4 : 0
392.39/52.71	c (50,0) c ForcedImports_5 : 0
392.39/52.71	c (50,0) c ForcedImports_6 : 0
392.39/52.71	c (50,0) c ForcedImports_7 : 0
392.39/52.71	c (50,0) c ForcedImports_total : 0
392.39/52.71	c (50,0) c ForcedImports_winner : 0
392.39/52.71	c (50,0) c PropsBinClauses_0 : 16024362
392.39/52.71	c (50,0) c PropsBinClauses_1 : 15990284
392.39/52.71	c (50,0) c PropsBinClauses_2 : 69590071
392.39/52.71	c (50,0) c PropsBinClauses_3 : 16038264
392.39/52.71	c (50,0) c PropsBinClauses_4 : 70233256
392.39/52.71	c (50,0) c PropsBinClauses_5 : 14967601
392.39/52.71	c (50,0) c PropsBinClauses_6 : 70853492
392.39/52.71	c (50,0) c PropsBinClauses_7 : 14925683
392.39/52.71	c (50,0) c PropsBinClauses_total : 288623013
392.39/52.71	c (50,0) c PropsBinClauses_winner : 69590071
392.39/52.71	c (50,0) c PropsPreBlocker_0 : 3135670011
392.39/52.71	c (50,0) c PropsPreBlocker_1 : 3131080320
392.39/52.71	c (50,0) c PropsPreBlocker_2 : 2885780444
392.39/52.71	c (50,0) c PropsPreBlocker_3 : 3075699807
392.39/52.71	c (50,0) c PropsPreBlocker_4 : 2890024425
392.39/52.71	c (50,0) c PropsPreBlocker_5 : 3146459703
392.39/52.71	c (50,0) c PropsPreBlocker_6 : 2868922570
392.39/52.71	c (50,0) c PropsPreBlocker_7 : 3266472974
392.39/52.71	c (50,0) c PropsPreBlocker_total : 24400110254
392.39/52.71	c (50,0) c PropsPreBlocker_winner : 2885780444
392.39/52.71	c (50,0) c PropsNotBlocker_0 : 504813375
392.39/52.71	c (50,0) c PropsNotBlocker_1 : 490734646
392.39/52.71	c (50,0) c PropsNotBlocker_2 : 530574028
392.39/52.71	c (50,0) c PropsNotBlocker_3 : 500281689
392.39/52.71	c (50,0) c PropsNotBlocker_4 : 534243325
392.39/52.71	c (50,0) c PropsNotBlocker_5 : 489615941
392.39/52.71	c (50,0) c PropsNotBlocker_6 : 536946875
392.39/52.71	c (50,0) c PropsNotBlocker_7 : 458039945
392.39/52.71	c (50,0) c PropsNotBlocker_total : 4045249824
392.39/52.71	c (50,0) c PropsNotBlocker_winner : 530574028
392.39/52.71	c (50,0) c PropsLitFullScans_0 : 6635651743
392.39/52.71	c (50,0) c PropsLitFullScans_1 : 6602288509
392.39/52.71	c (50,0) c PropsLitFullScans_2 : 6601936643
392.39/52.71	c (50,0) c PropsLitFullScans_3 : 6625896356
392.39/52.71	c (50,0) c PropsLitFullScans_4 : 6634851208
392.39/52.71	c (50,0) c PropsLitFullScans_5 : 6602119945
392.39/52.71	c (50,0) c PropsLitFullScans_6 : 6634160378
392.39/52.71	c (50,0) c PropsLitFullScans_7 : 6631795045
392.39/52.71	c (50,0) c PropsLitFullScans_total : 52968699827
392.39/52.71	c (50,0) c PropsLitFullScans_winner : 6601936643
392.39/52.71	c (50,0) c LitScanFractions_0 : 1771552
392.39/52.71	c (50,0) c LitScanFractions_1 : 2278630
392.39/52.71	c (50,0) c LitScanFractions_2 : 467892
392.39/52.71	c (50,0) c LitScanFractions_3 : 1933260
392.39/52.71	c (50,0) c LitScanFractions_4 : 673359
392.39/52.71	c (50,0) c LitScanFractions_5 : 2100099
392.39/52.71	c (50,0) c LitScanFractions_6 : 480415
392.39/52.71	c (50,0) c LitScanFractions_7 : 1779393
392.39/52.71	c (50,0) c LitScanFractions_total : 11484600
392.39/52.71	c (50,0) c LitScanFractions_winner : 467892
392.39/52.71	c (50,0) c DecisionLevel0_0 : 1534
392.39/52.71	c (50,0) c DecisionLevel0_1 : 1083
392.39/52.71	c (50,0) c DecisionLevel0_2 : 5851
392.39/52.71	c (50,0) c DecisionLevel0_3 : 1916
392.39/52.71	c (50,0) c DecisionLevel0_4 : 5872
392.39/52.71	c (50,0) c DecisionLevel0_5 : 887
392.39/52.71	c (50,0) c DecisionLevel0_6 : 6056
392.39/52.71	c (50,0) c DecisionLevel0_7 : 501
392.39/52.71	c (50,0) c DecisionLevel0_total : 23700
392.39/52.71	c (50,0) c DecisionLevel0_winner : 5851
392.39/52.71	c (50,0) c Periods_0 : 1105
392.39/52.71	c (50,0) c Periods_1 : 1100
392.39/52.71	c (50,0) c Periods_2 : 1100
392.39/52.71	c (50,0) c Periods_3 : 1103
392.39/52.71	c (50,0) c Periods_4 : 1105
392.39/52.71	c (50,0) c Periods_5 : 1100
392.39/52.71	c (50,0) c Periods_6 : 1105
392.39/52.71	c (50,0) c Periods_7 : 1105
392.39/52.71	c (50,0) c Periods_total : 8823
392.39/52.71	c (50,0) c Periods_winner : 1100
392.39/52.71	c (50,0) c Margin_0 : 20
392.39/52.71	c (50,0) c Margin_1 : 20
392.39/52.71	c (50,0) c Margin_2 : 20
392.39/52.71	c (50,0) c Margin_3 : 20
392.39/52.71	c (50,0) c Margin_4 : 20
392.39/52.71	c (50,0) c Margin_5 : 20
392.39/52.71	c (50,0) c Margin_6 : 20
392.39/52.71	c (50,0) c Margin_7 : 20
392.39/52.71	c (50,0) c Margin_total : 160
392.39/52.71	c (50,0) c Margin_winner : 20
392.39/52.71	c (50,0) c Exported_0 : 51462
392.39/52.71	c (50,0) c Exported_1 : 52238
392.39/52.71	c (50,0) c Exported_2 : 310367
392.39/52.71	c (50,0) c Exported_3 : 48115
392.39/52.71	c (50,0) c Exported_4 : 311242
392.39/52.71	c (50,0) c Exported_5 : 56078
392.39/52.71	c (50,0) c Exported_6 : 328843
392.39/52.71	c (50,0) c Exported_7 : 58652
392.39/52.71	c (50,0) c Exported_total : 1216997
392.39/52.71	c (50,0) c Exported_winner : 310367
392.39/52.71	c (50,0) c Imported_0 : 1143987
392.39/52.71	c (50,0) c Imported_1 : 1136848
392.39/52.71	c (50,0) c Imported_2 : 886408
392.39/52.71	c (50,0) c Imported_3 : 1145615
392.39/52.71	c (50,0) c Imported_4 : 889030
392.39/52.71	c (50,0) c Imported_5 : 1133586
392.39/52.71	c (50,0) c Imported_6 : 872868
392.39/52.71	c (50,0) c Imported_7 : 1135816
392.39/52.71	c (50,0) c Imported_total : 8344158
392.39/52.71	c (50,0) c Imported_winner : 886408
392.39/52.71	c (50,0) c Good_0 : 440
392.39/52.71	c (50,0) c Good_1 : 381
392.39/52.71	c (50,0) c Good_2 : 336
392.39/52.71	c (50,0) c Good_3 : 406
392.39/52.71	c (50,0) c Good_4 : 344
392.39/52.71	c (50,0) c Good_5 : 391
392.39/52.71	c (50,0) c Good_6 : 324
392.39/52.71	c (50,0) c Good_7 : 396
392.39/52.71	c (50,0) c Good_total : 3018
392.39/52.71	c (50,0) c Good_winner : 336
392.39/52.71	c (50,0) c Purge_0 : 1143547
392.39/52.71	c (50,0) c Purge_1 : 1136467
392.39/52.71	c (50,0) c Purge_2 : 886072
392.39/52.71	c (50,0) c Purge_3 : 1145209
392.39/52.71	c (50,0) c Purge_4 : 888686
392.39/52.71	c (50,0) c Purge_5 : 1133195
392.39/52.71	c (50,0) c Purge_6 : 872544
392.39/52.71	c (50,0) c Purge_7 : 1135420
392.39/52.71	c (50,0) c Purge_total : 8341140
392.39/52.71	c (50,0) c Purge_winner : 886072
392.39/52.71	c (50,0) c Promoted_0 : 74925
392.39/52.71	c (50,0) c Promoted_1 : 72726
392.39/52.71	c (50,0) c Promoted_2 : 20992
392.39/52.71	c (50,0) c Promoted_3 : 79252
392.39/52.71	c (50,0) c Promoted_4 : 23593
392.39/52.71	c (50,0) c Promoted_5 : 63444
392.39/52.71	c (50,0) c Promoted_6 : 22383
392.39/52.71	c (50,0) c Promoted_7 : 55430
392.39/52.71	c (50,0) c Promoted_total : 412745
392.39/52.71	c (50,0) c Promoted_winner : 20992
392.39/52.71	c (50,0) c Remove_Imp_0 : 931949
392.39/52.71	c (50,0) c Remove_Imp_1 : 938774
392.39/52.71	c (50,0) c Remove_Imp_2 : 855874
392.39/52.71	c (50,0) c Remove_Imp_3 : 923388
392.39/52.71	c (50,0) c Remove_Imp_4 : 860112
392.39/52.71	c (50,0) c Remove_Imp_5 : 889468
392.39/52.71	c (50,0) c Remove_Imp_6 : 840962
392.39/52.71	c (50,0) c Remove_Imp_7 : 955009
392.39/52.71	c (50,0) c Remove_Imp_total : 7195536
392.39/52.71	c (50,0) c Remove_Imp_winner : 855874
392.39/52.71	c (50,0) c Blocked_Reuse_0 : 0
392.39/52.71	c (50,0) c Blocked_Reuse_1 : 0
392.39/52.71	c (50,0) c Blocked_Reuse_2 : 0
392.39/52.71	c (50,0) c Blocked_Reuse_3 : 0
392.39/52.71	c (50,0) c Blocked_Reuse_4 : 0
392.39/52.71	c (50,0) c Blocked_Reuse_5 : 0
392.39/52.71	c (50,0) c Blocked_Reuse_6 : 0
392.39/52.71	c (50,0) c Blocked_Reuse_7 : 0
392.39/52.71	c (50,0) c Blocked_Reuse_total : 0
392.39/52.71	c (50,0) c Blocked_Reuse_winner : 0
392.39/52.71	c (50,0) c Unaries_0 : 3
392.39/52.71	c (50,0) c Unaries_1 : 1
392.39/52.71	c (50,0) c Unaries_2 : 19
392.39/52.71	c (50,0) c Unaries_3 : 5
392.39/52.71	c (50,0) c Unaries_4 : 14
392.39/52.71	c (50,0) c Unaries_5 : 1
392.39/52.72	c (50,0) c Unaries_6 : 27
392.39/52.72	c (50,0) c Unaries_7 : 7
392.39/52.72	c (50,0) c Unaries_total : 77
392.39/52.72	c (50,0) c Unaries_winner : 19
392.39/52.72	c (50,0) c Binaries_0 : 37
392.39/52.72	c (50,0) c Binaries_1 : 45
392.39/52.72	c (50,0) c Binaries_2 : 158
392.39/52.72	c (50,0) c Binaries_3 : 55
392.39/52.72	c (50,0) c Binaries_4 : 173
392.39/52.72	c (50,0) c Binaries_5 : 29
392.39/52.72	c (50,0) c Binaries_6 : 237
392.39/52.72	c (50,0) c Binaries_7 : 75
392.39/52.72	c (50,0) c Binaries_total : 809
392.39/52.72	c (50,0) c Binaries_winner : 158
392.39/52.72	c (50,0) c Glues_0 : 72
392.39/52.72	c (50,0) c Glues_1 : 86
392.39/52.72	c (50,0) c Glues_2 : 226
392.39/52.72	c (50,0) c Glues_3 : 88
392.39/52.72	c (50,0) c Glues_4 : 230
392.39/52.72	c (50,0) c Glues_5 : 74
392.39/52.72	c (50,0) c Glues_6 : 320
392.39/52.72	c (50,0) c Glues_7 : 119
392.39/52.72	c (50,0) c Glues_total : 1215
392.39/52.72	c (50,0) c Glues_winner : 226
392.39/52.72	c (50,0) c RunningTime_0 : 47.933702
392.39/52.72	c (50,0) c RunningTime_1 : 47.435946
392.39/52.72	c (50,0) c RunningTime_2 : 49.071445
392.39/52.72	c (50,0) c RunningTime_3 : 48.801213
392.39/52.72	c (50,0) c RunningTime_4 : 48.604863
392.39/52.72	c (50,0) c RunningTime_5 : 48.167400
392.39/52.72	c (50,0) c RunningTime_6 : 48.681293
392.39/52.72	c (50,0) c RunningTime_7 : 45.949608
392.39/52.72	c (50,0) c RunningTime_total : 384.645468
392.39/52.72	c (50,0) c RunningTime_winner : 49.071445
392.39/52.72	c (50,0) c WaitingTime_0 : 1.271429
392.39/52.72	c (50,0) c WaitingTime_1 : 2.238288
392.39/52.72	c (50,0) c WaitingTime_2 : 0.001425
392.39/52.72	c (50,0) c WaitingTime_3 : 0.491804
392.39/52.72	c (50,0) c WaitingTime_4 : 0.392330
392.39/52.72	c (50,0) c WaitingTime_5 : 1.380172
392.39/52.72	c (50,0) c WaitingTime_6 : 0.302290
392.39/52.72	c (50,0) c WaitingTime_7 : 3.225025
392.39/52.72	c (50,0) c WaitingTime_total : 9.302764
392.39/52.72	c (50,0) c WaitingTime_winner : 0.001425
392.39/52.72	c (50,0) c ExchangingTime_0 : 0.408333
392.39/52.72	c (50,0) c ExchangingTime_1 : 0.457911
392.39/52.72	c (50,0) c ExchangingTime_2 : 0.433983
392.39/52.72	c (50,0) c ExchangingTime_3 : 0.417691
392.39/52.72	c (50,0) c ExchangingTime_4 : 0.420853
392.39/52.72	c (50,0) c ExchangingTime_5 : 0.425554
392.39/52.72	c (50,0) c ExchangingTime_6 : 0.423773
392.39/52.72	c (50,0) c ExchangingTime_7 : 0.463486
392.39/52.72	c (50,0) c ExchangingTime_total : 3.451584
392.39/52.72	c (50,0) c ExchangingTime_winner : 0.433983
392.39/52.72	c (50,0) c PeriodProcTime_0 : 0.006853
392.39/52.72	c (50,0) c PeriodProcTime_1 : 0.008502
392.39/52.72	c (50,0) c PeriodProcTime_2 : 0.010544
392.39/52.72	c (50,0) c PeriodProcTime_3 : 0.008491
392.39/52.72	c (50,0) c PeriodProcTime_4 : 0.007781
392.39/52.72	c (50,0) c PeriodProcTime_5 : 0.008496
392.39/52.72	c (50,0) c PeriodProcTime_6 : 0.007205
392.39/52.72	c (50,0) c PeriodProcTime_7 : 0.009122
392.39/52.72	c (50,0) c PeriodProcTime_total : 0.066994
392.39/52.72	c (50,0) c PeriodProcTime_winner : 0.010544
392.39/52.72	c (50,0) c SolvingTime_0 : 49.620317
392.39/52.72	c (50,0) c SolvingTime_1 : 50.140647
392.39/52.72	c (50,0) c SolvingTime_2 : 49.517396
392.39/52.72	c (50,0) c SolvingTime_3 : 49.719198
392.39/52.72	c (50,0) c SolvingTime_4 : 49.425827
392.39/52.72	c (50,0) c SolvingTime_5 : 49.981622
392.39/52.72	c (50,0) c SolvingTime_6 : 49.414561
392.39/52.72	c (50,0) c SolvingTime_7 : 49.647242
392.39/52.72	c (50,0) c SolvingTime_total : 397.466810
392.39/52.72	c (50,0) c SolvingTime_winner : 49.517396
392.39/52.72	c (50,0) c PropagationTime_0 : 44.925008
392.39/52.72	c (50,0) c PropagationTime_1 : 45.137237
392.39/52.72	c (50,0) c PropagationTime_2 : 33.147587
392.39/52.72	c (50,0) c PropagationTime_3 : 44.906202
392.39/52.72	c (50,0) c PropagationTime_4 : 33.545155
392.39/52.72	c (50,0) c PropagationTime_5 : 44.020167
392.39/52.72	c (50,0) c PropagationTime_6 : 33.076158
392.39/52.72	c (50,0) c PropagationTime_7 : 44.899684
392.39/52.72	c (50,0) c PropagationTime_total : 323.657198
392.39/52.72	c (50,0) c PropagationTime_winner : 33.147587
392.39/52.72	c (50,0) c AnalysisTime_0 : 2.759958
392.39/52.72	c (50,0) c AnalysisTime_1 : 2.828975
392.39/52.72	c (50,0) c AnalysisTime_2 : 9.551273
392.39/52.72	c (50,0) c AnalysisTime_3 : 2.767991
392.39/52.72	c (50,0) c AnalysisTime_4 : 9.536056
392.39/52.72	c (50,0) c AnalysisTime_5 : 4.005780
392.39/52.72	c (50,0) c AnalysisTime_6 : 9.848937
392.39/52.72	c (50,0) c AnalysisTime_7 : 2.686831
392.39/52.72	c (50,0) c AnalysisTime_total : 43.985801
392.39/52.72	c (50,0) c AnalysisTime_winner : 9.551273
392.39/52.72	c (50,0) c ReductionTime_0 : 1.129526
392.39/52.72	c (50,0) c ReductionTime_1 : 1.296840
392.39/52.72	c (50,0) c ReductionTime_2 : 4.374988
392.39/52.72	c (50,0) c ReductionTime_3 : 1.204630
392.39/52.72	c (50,0) c ReductionTime_4 : 4.144532
392.39/52.72	c (50,0) c ReductionTime_5 : 1.149021
392.39/52.72	c (50,0) c ReductionTime_6 : 4.218144
392.39/52.72	c (50,0) c ReductionTime_7 : 1.218147
392.39/52.72	c (50,0) c ReductionTime_total : 18.735828
392.39/52.72	c (50,0) c ReductionTime_winner : 4.374988
392.39/52.72	c (50,0) c SimplifyTime_0 : 0.024697
392.39/52.72	c (50,0) c SimplifyTime_1 : 0.039628
392.39/52.72	c (50,0) c SimplifyTime_2 : 0.033627
392.39/52.72	c (50,0) c SimplifyTime_3 : 0.032453
392.39/52.72	c (50,0) c SimplifyTime_4 : 0.032019
392.39/52.72	c (50,0) c SimplifyTime_5 : 0.041657
392.39/52.72	c (50,0) c SimplifyTime_6 : 0.038322
392.39/52.72	c (50,0) c SimplifyTime_7 : 0.065083
392.39/52.72	c (50,0) c SimplifyTime_total : 0.307485
392.39/52.72	c (50,0) c SimplifyTime_winner : 0.033627
392.39/52.72	c (50,0) c UsedRateTime_0 : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_1 : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_2 : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_3 : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_4 : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_5 : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_6 : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_7 : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_total : 0.000000
392.39/52.72	c (50,0) c UsedRateTime_winner : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_0 : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_1 : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_2 : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_3 : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_4 : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_5 : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_6 : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_7 : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_total : 0.000000
392.39/52.72	c (50,0) c OverlapRateTime_winner : 0.000000
392.39/52.72	c (50,0) c
392.39/52.72	c (50,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
392.39/52.72	c (50,0) c
392.39/52.72	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.72	c (50,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
392.39/52.72	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.72	c (50,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
392.39/52.72	c (50,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
392.39/52.72	c (50,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
392.39/52.72	c (50,0) c | Initial random_seed   | 2010111836 |  269122161 | 1838876403 |  549484727 | 1808960180 |  790058287 | 1019137125 | 1381376905 |
392.39/52.72	c (50,0) c | chanseokStrategy      |      False |      False |       True |      False |       True |      False |       True |      False |
392.39/52.72	c (50,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
392.39/52.72	c (50,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
392.39/52.72	c (50,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
392.39/52.72	c (50,0) c | incReduceDB           |        300 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
392.39/52.72	c (50,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
392.39/52.72	c (50,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
392.39/52.72	c (50,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
392.39/52.72	c (50,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
392.39/52.72	c (50,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
392.39/52.72	c (50,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
392.39/52.72	c (50,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
392.39/52.72	c (50,0) 
392.39/52.72	c (50,0) s UNSATISFIABLE
392.39/52.72	c (50,0) SatSolver.solve End
392.39/52.73	c (50,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
392.39/52.73	c (50,0) Show results Begin
392.39/52.73	s UNSATISFIABLE
392.39/52.73	c (50,0) Show results End
392.39/52.73	c (50,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
392.39/52.73	c (50,0) 50,50,STOP-AFTER(ALL)
392.39/52.73	c END-Prog: Tue Sep 24 22:11:53 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 (13194 MiB free)
  memory of node 1: 16384 MiB (11623 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405214-1569355727/watcher-4405214-1569355727 -o /tmp/evaluation-result-4405214-1569355727/solver-4405214-1569355727 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569348082-18090 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405214-1569355727.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=20236, runsolver pid=20233
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 8.14 8.06 8.16 2/210 20258
/proc/meminfo: memFree=25322364/32770624 swapFree=66941052/67108860
[pid=20236] ppid=20233 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20236/stat : 20236 (scop.sh) S 20233 20236 18063 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511843509 115843072 349 33554432000 4194304 5098028 140727507626352 140727507623608 140703655834236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20893696 140727507632933 140727507633260 140727507633260 140727507636173 0
/proc/20236/statm: 28282 349 296 221 0 87 0
[pid=20239] ppid=20236 vsize=27314120 memory=102584 CPUtime=0.1 cores=0-7
/proc/20239/stat : 20239 (java) S 20236 20236 18063 0 -1 1077944320 6722 0 0 0 8 2 0 0 20 0 20 0 511843509 27969658880 25646 33554432000 4194304 4196468 140734169790512 140734169773056 140492504866551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
/proc/20239/statm: 6828530 25646 2816 1 0 6790935 0
[pid=20239/tid=20240] ppid=20236 vsize=27314120 memory=7824049360276988570 CPUtime=0.09 cores=0-7
/proc/20239/task/20240/stat : 20240 (java) R 20236 20236 18063 0 -1 4202560 4780 0 0 0 7 2 0 0 20 0 20 0 511843510 27969658880 25646 33554432000 4194304 4196468 140734169790512 140492476696912 140492488910181 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20241] ppid=20236 vsize=27314120 memory=732370040826645477 CPUtime=0 cores=0-7
/proc/20239/task/20241/stat : 20241 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 25646 33554432000 4194304 4196468 140734169790512 140492509108496 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20242] ppid=20236 vsize=27314120 memory=139902489192064 CPUtime=0 cores=0-7
/proc/20239/task/20242/stat : 20242 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491926907280 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20243] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20243/stat : 20243 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491925854736 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20244] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20244/stat : 20244 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491924802192 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20245] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20245/stat : 20245 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491923749648 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20246] ppid=20236 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20239/task/20246/stat : 20246 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491922697104 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20247] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20247/stat : 20247 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491921644560 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20248] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20248/stat : 20248 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491920592016 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20249] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20249/stat : 20249 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491093571568 140492504877698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20250] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20250/stat : 20250 (java) S 20236 20236 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 25646 33554432000 4194304 4196468 140734169790512 140490057966496 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20251] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20251/stat : 20251 (java) S 20236 20236 18063 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 25646 33554432000 4194304 4196468 140734169790512 140489923744752 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20252] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20252/stat : 20252 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 25646 33554432000 4194304 4196468 140734169790512 140489549240528 140492504885147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20253] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20253/stat : 20253 (java) S 20236 20236 18063 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491092519408 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20254] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20254/stat : 20254 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491091466864 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20255] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20255/stat : 20255 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491090414320 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20256] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20256/stat : 20256 (java) S 20236 20236 18063 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491089361776 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20257] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20257/stat : 20257 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 25646 33554432000 4194304 4196468 140734169790512 140489051334880 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20258] ppid=20236 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20239/task/20258/stat : 20258 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 25646 33554432000 4194304 4196468 140734169790512 140491088308656 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 103980 KiB

[startup+0.210455 s]*
/proc/loadavg: 8.14 8.06 8.16 2/210 20258
/proc/meminfo: memFree=25303420/32770624 swapFree=66941052/67108860
[pid=20236] ppid=20233 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20236/stat : 20236 (scop.sh) S 20233 20236 18063 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511843509 115843072 349 33554432000 4194304 5098028 140727507626352 140727507623608 140703655834236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20893696 140727507632933 140727507633260 140727507633260 140727507636173 0
/proc/20236/statm: 28282 349 296 221 0 87 0
[pid=20239] ppid=20236 vsize=27314120 memory=119428 CPUtime=0.25 cores=0-7
/proc/20239/stat : 20239 (java) S 20236 20236 18063 0 -1 1077944320 11777 0 0 0 21 4 0 0 20 0 20 0 511843509 27969658880 29857 33554432000 4194304 4196468 140734169790512 140734169773056 140492504866551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
/proc/20239/statm: 6828530 29857 2953 1 0 6790935 0
[pid=20239/tid=20240] ppid=20236 vsize=27314120 memory=576460756329955521 CPUtime=0.19 cores=0-7
/proc/20239/task/20240/stat : 20240 (java) R 20236 20236 18063 0 -1 4202560 9389 0 0 0 16 3 0 0 20 0 20 0 511843510 27969658880 29857 33554432000 4194304 4196468 140734169790512 140492476665936 140492490032144 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20241] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20241/stat : 20241 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 29857 33554432000 4194304 4196468 140734169790512 140492509108496 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20242] ppid=20236 vsize=27314120 memory=139902492916539 CPUtime=0 cores=0-7
/proc/20239/task/20242/stat : 20242 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491926907280 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20243] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20243/stat : 20243 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491925854736 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20244] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20244/stat : 20244 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491924802192 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20245] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20245/stat : 20245 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491923749648 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20246] ppid=20236 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20239/task/20246/stat : 20246 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491922697104 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20247] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20247/stat : 20247 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491921644560 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20248] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20248/stat : 20248 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491920592016 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20249] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20249/stat : 20249 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491093571568 140492504877698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20250] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20250/stat : 20250 (java) S 20236 20236 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 29857 33554432000 4194304 4196468 140734169790512 140490057966496 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20251] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20251/stat : 20251 (java) S 20236 20236 18063 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 29857 33554432000 4194304 4196468 140734169790512 140489923744752 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20252] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20252/stat : 20252 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 29857 33554432000 4194304 4196468 140734169790512 140489549240528 140492504885147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20253] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20253/stat : 20253 (java) S 20236 20236 18063 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491092519408 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20254] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20254/stat : 20254 (java) S 20236 20236 18063 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491091466864 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20255] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20255/stat : 20255 (java) S 20236 20236 18063 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491090414320 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20256] ppid=20236 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20239/task/20256/stat : 20256 (java) S 20236 20236 18063 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 20 0 511843517 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491089361776 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20257] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20257/stat : 20257 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 29857 33554432000 4194304 4196468 140734169790512 140489051334880 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20258] ppid=20236 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20239/task/20258/stat : 20258 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 29857 33554432000 4194304 4196468 140734169790512 140491088308656 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 120824 KiB

[startup+0.31034 s]*
/proc/loadavg: 8.14 8.06 8.16 2/210 20258
/proc/meminfo: memFree=25300136/32770624 swapFree=66941052/67108860
[pid=20236] ppid=20233 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20236/stat : 20236 (scop.sh) S 20233 20236 18063 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511843509 115843072 349 33554432000 4194304 5098028 140727507626352 140727507623608 140703655834236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20893696 140727507632933 140727507633260 140727507633260 140727507636173 0
/proc/20236/statm: 28282 349 296 221 0 87 0
[pid=20239] ppid=20236 vsize=27314120 memory=124364 CPUtime=0.43 cores=0-7
/proc/20239/stat : 20239 (java) S 20236 20236 18063 0 -1 1077944320 12525 0 0 0 38 5 0 0 20 0 20 0 511843509 27969658880 31091 33554432000 4194304 4196468 140734169790512 140734169773056 140492504866551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
/proc/20239/statm: 6828530 31091 3014 1 0 6790935 0
[pid=20239/tid=20240] ppid=20236 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/20239/task/20240/stat : 20240 (java) R 20236 20236 18063 0 -1 4202560 9843 0 0 0 26 4 0 0 20 0 20 0 511843510 27969658880 31091 33554432000 4194304 4196468 140734169790512 140492476691408 140492488053326 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20241] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20241/stat : 20241 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 31091 33554432000 4194304 4196468 140734169790512 140492509108496 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20242] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20242/stat : 20242 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491926907280 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20243] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20243/stat : 20243 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491925854736 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20244] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20244/stat : 20244 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491924802192 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20245] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20245/stat : 20245 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491923749648 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20246] ppid=20236 vsize=27314120 memory=139902385744559 CPUtime=0 cores=0-7
/proc/20239/task/20246/stat : 20246 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491922697104 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20247] ppid=20236 vsize=27314120 memory=139902385746864 CPUtime=0 cores=0-7
/proc/20239/task/20247/stat : 20247 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491921644560 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20248] ppid=20236 vsize=27314120 memory=139902385749168 CPUtime=0 cores=0-7
/proc/20239/task/20248/stat : 20248 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511843512 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491920592016 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20249] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20249/stat : 20249 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491093571568 140492504877698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20250] ppid=20236 vsize=27314120 memory=279804771512208 CPUtime=0 cores=0-7
/proc/20239/task/20250/stat : 20250 (java) S 20236 20236 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 31091 33554432000 4194304 4196468 140734169790512 140490057966496 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20251] ppid=20236 vsize=27314120 memory=279804771509904 CPUtime=0 cores=0-7
/proc/20239/task/20251/stat : 20251 (java) S 20236 20236 18063 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511843514 27969658880 31091 33554432000 4194304 4196468 140734169790512 140489923744752 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20252] ppid=20236 vsize=27314120 memory=279804771516816 CPUtime=0 cores=0-7
/proc/20239/task/20252/stat : 20252 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 31091 33554432000 4194304 4196468 140734169790512 140489549240528 140492504885147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20253] ppid=20236 vsize=27314120 memory=279804771458096 CPUtime=0 cores=0-7
/proc/20239/task/20253/stat : 20253 (java) S 20236 20236 18063 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491092519408 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20254] ppid=20236 vsize=27314120 memory=279804771530640 CPUtime=0 cores=0-7
/proc/20239/task/20254/stat : 20254 (java) R 20236 20236 18063 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491091466864 140492482501200 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20255] ppid=20236 vsize=27314120 memory=279804771537552 CPUtime=0.02 cores=0-7
/proc/20239/task/20255/stat : 20255 (java) S 20236 20236 18063 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 20 0 511843517 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491090414320 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20256] ppid=20236 vsize=27314120 memory=279804771535248 CPUtime=0.07 cores=0-7
/proc/20239/task/20256/stat : 20256 (java) S 20236 20236 18063 0 -1 1077944384 664 0 0 0 7 0 0 0 20 0 20 0 511843517 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491089361776 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20257] ppid=20236 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20257/stat : 20257 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 31091 33554432000 4194304 4196468 140734169790512 140489051334880 140492504876757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20258] ppid=20236 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20239/task/20258/stat : 20258 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843517 27969658880 31091 33554432000 4194304 4196468 140734169790512 140491088308656 140492504877698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125760 KiB

[startup+0.700908 s]
/proc/loadavg: 8.14 8.06 8.16 2/210 20258
/proc/meminfo: memFree=25275940/32770624 swapFree=66941052/67108860
[pid=20236] ppid=20233 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20236/stat : 20236 (scop.sh) S 20233 20236 18063 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511843509 115843072 349 33554432000 4194304 5098028 140727507626352 140727507623608 140703655834236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20893696 140727507632933 140727507633260 140727507633260 140727507636173 0
/proc/20236/statm: 28282 349 296 221 0 87 0
[pid=20239] ppid=20236 vsize=27320392 memory=162504 CPUtime=1.01 cores=0-7
/proc/20239/stat : 20239 (java) S 20236 20236 18063 0 -1 1077944320 20754 0 0 0 94 7 0 0 20 0 20 0 511843509 27976081408 40626 33554432000 4194304 4196468 140734169790512 140734169773056 140492504866551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
/proc/20239/statm: 6830098 40626 3179 1 0 6791447 0
[pid=20239/tid=20240] ppid=20236 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/20239/task/20240/stat : 20240 (java) R 20236 20236 18063 0 -1 4202560 17430 0 0 0 62 5 0 0 20 0 20 0 511843510 27976081408 40626 33554432000 4194304 4196468 140734169790512 140492476704656 140492007898496 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20241] ppid=20236 vsize=27320392 memory=2353 CPUtime=0 cores=0-7
/proc/20239/task/20241/stat : 20241 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843512 27976081408 40626 33554432000 4194304 4196468 140734169790512 140492509108496 140492504876757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20242] ppid=20236 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20239/task/20242/stat : 20242 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511843512 27976081408 40626 33554432000 4194304 4196468 140734169790512 140491926907280 140492504876757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0
[pid=20239/tid=20243] ppid=20236 vsize=27320392 memory=10728 CPUtime=0 cores=0-7
/proc/20239/task/20243/stat : 20243 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511843512 27976081408 40626 33554432000 4194304 4196468 140734169790512 140491925854736 140492504876757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16257024 140734169797355 140734169797782 140734169797782 140734169800655 0

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

[pid=20259/tid=20269] ppid=20236 vsize=8414124 memory=6 CPUtime=0 cores=0-7
/proc/20259/task/20269/stat : 20269 (java) S 20236 20236 18063 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511843689 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870125713904 139870898080386 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20270] ppid=20236 vsize=8414124 memory=19 CPUtime=0 cores=0-7
/proc/20259/task/20270/stat : 20270 (java) S 20236 20236 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511843690 8616062976 29992 33554432000 4194304 4196468 140727393053920 139869233866144 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20271] ppid=20236 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20259/task/20271/stat : 20271 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843690 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868965430768 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20272] ppid=20236 vsize=8414124 memory=2 CPUtime=0 cores=0-7
/proc/20259/task/20272/stat : 20272 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868590922448 139870898087835 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20273] ppid=20236 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/20259/task/20273/stat : 20273 (java) S 20236 20236 18063 0 -1 1077944384 573 0 0 0 7 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870124660720 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20274] ppid=20236 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/20259/task/20274/stat : 20274 (java) S 20236 20236 18063 0 -1 1077944384 105 0 0 0 4 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870123608176 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20275] ppid=20236 vsize=8414124 memory=139902386944143 CPUtime=0.06 cores=0-7
/proc/20259/task/20275/stat : 20275 (java) S 20236 20236 18063 0 -1 1077944384 408 0 0 0 6 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870122555632 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20276] ppid=20236 vsize=8414124 memory=279804773863488 CPUtime=0.19 cores=0-7
/proc/20259/task/20276/stat : 20276 (java) S 20236 20236 18063 0 -1 1077944384 538 0 0 0 19 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870121503088 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20277] ppid=20236 vsize=8414124 memory=279804773497856 CPUtime=0 cores=0-7
/proc/20259/task/20277/stat : 20277 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511843693 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868093016800 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20278] ppid=20236 vsize=8414124 memory=6944656592455359580 CPUtime=0.02 cores=0-7
/proc/20259/task/20278/stat : 20278 (java) S 20236 20236 18063 0 -1 1077944384 7 0 0 0 0 2 0 0 20 0 24 0 511843693 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870120450992 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20280] ppid=20236 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/20259/task/20280/stat : 20280 (java) S 20236 20236 18063 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870112417472 139870898093849 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20287] ppid=20236 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/20259/task/20287/stat : 20287 (java) S 20236 20236 18063 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867421916432 139870898091165 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20289] ppid=20236 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/20259/task/20289/stat : 20289 (java) S 20236 20236 18063 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867690352016 139870898091165 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20292] ppid=20236 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/20259/task/20292/stat : 20292 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511843761 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867153489072 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
Current children cumulated CPU time: 391.94 s
Current children cumulated vsize: 9243684 KiB
Current children cumulated memory: 556044 KiB

[startup+52.6012 s]
/proc/loadavg: 8.06 8.05 8.15 6/223 20317
/proc/meminfo: memFree=24870972/32770624 swapFree=66941056/67108860
[pid=20236] ppid=20233 vsize=113128 memory=1476 CPUtime=3.38 cores=0-7
/proc/20236/stat : 20236 (scop.sh) S 20233 20236 18063 0 -1 4202496 583 26025 0 0 0 0 325 13 20 0 1 0 511843509 115843072 369 33554432000 4194304 5098028 140727507626352 140727507623096 140703655834236 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20893696 140727507632933 140727507633260 140727507633260 140727507636173 0
/proc/20236/statm: 28282 369 311 221 0 87 0
[pid=20259] ppid=20236 vsize=8414124 memory=119968 CPUtime=1.18 cores=0-7
/proc/20259/stat : 20259 (java) S 20236 20236 18063 0 -1 1077944320 19929 0 0 0 110 8 0 0 20 0 24 0 511843686 8616062976 29992 33554432000 4194304 4196468 140727393053920 140727393036464 139870898069239 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
/proc/20259/statm: 2103531 29992 3203 1 0 2064875 0
[pid=20279] ppid=20259 vsize=716432 memory=434604 CPUtime=387.73 cores=0-7
/proc/20279/stat : 20279 (manyglucose-4.1) S 20259 20236 18063 0 -1 1077944320 403252 0 0 0 38691 82 0 0 20 0 2 0 511843758 733626368 108651 33554432000 4194304 4454172 140734483519856 140734483518240 140094458769143 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 16605184 140734483526505 140734483526704 140734483526704 140734483529658 0
/proc/20279/statm: 179108 108651 418 64 0 174776 0
[pid=20279/tid=20283] ppid=20259 vsize=716432 memory=6943526294502006880 CPUtime=47.61 cores=0-7
/proc/20279/task/20283/stat : 20283 (manyglucose-4.1) R 20259 20236 18063 0 -1 4202560 63005 0 0 0 4744 17 0 0 20 0 2 0 511843759 733626368 108651 33554432000 4194304 4454172 140734483519856 140094435159176 4350332 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 16605184 140734483526505 140734483526704 140734483526704 140734483529658 0
[pid=20259/tid=20260] ppid=20236 vsize=8414124 memory=6944652177228980320 CPUtime=0.74 cores=0-7
/proc/20259/task/20260/stat : 20260 (java) S 20236 20236 18063 0 -1 1077944384 16902 0 0 0 69 5 0 0 20 0 24 0 511843687 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870869909408 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20261] ppid=20236 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/20259/task/20261/stat : 20261 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870902311696 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20262] ppid=20236 vsize=8414124 memory=279804774191200 CPUtime=0 cores=0-7
/proc/20259/task/20262/stat : 20262 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870383102864 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20263] ppid=20236 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20259/task/20263/stat : 20263 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870382050320 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20264] ppid=20236 vsize=8414124 memory=7686721470384805779 CPUtime=0 cores=0-7
/proc/20259/task/20264/stat : 20264 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870380997776 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20265] ppid=20236 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20259/task/20265/stat : 20265 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870379944208 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20266] ppid=20236 vsize=8414124 memory=139902386032736 CPUtime=0 cores=0-7
/proc/20259/task/20266/stat : 20266 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870378891664 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20267] ppid=20236 vsize=8414124 memory=-8102918446579788844 CPUtime=0 cores=0-7
/proc/20259/task/20267/stat : 20267 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870377839120 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20268] ppid=20236 vsize=8414124 memory=-8102918446579788844 CPUtime=0 cores=0-7
/proc/20259/task/20268/stat : 20268 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870376786576 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20269] ppid=20236 vsize=8414124 memory=-8102918446579788844 CPUtime=0 cores=0-7
/proc/20259/task/20269/stat : 20269 (java) S 20236 20236 18063 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511843689 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870125713904 139870898080386 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20270] ppid=20236 vsize=8414124 memory=-8102918446579788844 CPUtime=0 cores=0-7
/proc/20259/task/20270/stat : 20270 (java) S 20236 20236 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511843690 8616062976 29992 33554432000 4194304 4196468 140727393053920 139869233866144 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20271] ppid=20236 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/20259/task/20271/stat : 20271 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843690 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868965430768 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20272] ppid=20236 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/20259/task/20272/stat : 20272 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868590922448 139870898087835 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20273] ppid=20236 vsize=8414124 memory=1984 CPUtime=0.07 cores=0-7
/proc/20259/task/20273/stat : 20273 (java) S 20236 20236 18063 0 -1 1077944384 573 0 0 0 7 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870124660720 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20274] ppid=20236 vsize=8414124 memory=2364 CPUtime=0.04 cores=0-7
/proc/20259/task/20274/stat : 20274 (java) S 20236 20236 18063 0 -1 1077944384 105 0 0 0 4 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870123608176 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20275] ppid=20236 vsize=8414124 memory=1744 CPUtime=0.06 cores=0-7
/proc/20259/task/20275/stat : 20275 (java) S 20236 20236 18063 0 -1 1077944384 408 0 0 0 6 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870122555632 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20276] ppid=20236 vsize=8414124 memory=924 CPUtime=0.19 cores=0-7
/proc/20259/task/20276/stat : 20276 (java) S 20236 20236 18063 0 -1 1077944384 538 0 0 0 19 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870121503088 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20277] ppid=20236 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/20259/task/20277/stat : 20277 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511843693 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868093016800 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20278] ppid=20236 vsize=8414124 memory=1748 CPUtime=0.02 cores=0-7
/proc/20259/task/20278/stat : 20278 (java) S 20236 20236 18063 0 -1 1077944384 7 0 0 0 0 2 0 0 20 0 24 0 511843693 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870120450992 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20280] ppid=20236 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/20259/task/20280/stat : 20280 (java) S 20236 20236 18063 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870112417472 139870898093849 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20287] ppid=20236 vsize=8414124 memory=6 CPUtime=0 cores=0-7
/proc/20259/task/20287/stat : 20287 (java) S 20236 20236 18063 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867421916432 139870898091165 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20289] ppid=20236 vsize=8414124 memory=19 CPUtime=0 cores=0-7
/proc/20259/task/20289/stat : 20289 (java) S 20236 20236 18063 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867690352016 139870898091165 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20292] ppid=20236 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20259/task/20292/stat : 20292 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511843761 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867153489072 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
Current children cumulated CPU time: 392.29 s
Current children cumulated vsize: 9243684 KiB
Current children cumulated memory: 556048 KiB

[startup+52.7012 s]
/proc/loadavg: 8.06 8.05 8.15 6/223 20317
/proc/meminfo: memFree=24870972/32770624 swapFree=66941056/67108860
[pid=20236] ppid=20233 vsize=113128 memory=1476 CPUtime=3.38 cores=0-7
/proc/20236/stat : 20236 (scop.sh) S 20233 20236 18063 0 -1 4202496 583 26025 0 0 0 0 325 13 20 0 1 0 511843509 115843072 369 33554432000 4194304 5098028 140727507626352 140727507623096 140703655834236 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20893696 140727507632933 140727507633260 140727507633260 140727507636173 0
/proc/20236/statm: 28282 369 311 221 0 87 0
[pid=20259] ppid=20236 vsize=8414124 memory=119968 CPUtime=1.18 cores=0-7
/proc/20259/stat : 20259 (java) S 20236 20236 18063 0 -1 1077944320 19929 0 0 0 110 8 0 0 20 0 24 0 511843686 8616062976 29992 33554432000 4194304 4196468 140727393053920 140727393036464 139870898069239 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
/proc/20259/statm: 2103531 29992 3203 1 0 2064875 0
[pid=20279] ppid=20259 vsize=716432 memory=434604 CPUtime=387.83 cores=0-7
/proc/20279/stat : 20279 (manyglucose-4.1) S 20259 20236 18063 0 -1 1077944320 403254 0 0 0 38701 82 0 0 20 0 2 0 511843758 733626368 108651 33554432000 4194304 4454172 140734483519856 140734483518240 140094458769143 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 16605184 140734483526505 140734483526704 140734483526704 140734483529658 0
/proc/20279/statm: 179108 108651 418 64 0 174776 0
[pid=20279/tid=20283] ppid=20259 vsize=716432 memory=119968 CPUtime=47.71 cores=0-7
/proc/20279/task/20283/stat : 20283 (manyglucose-4.1) R 20259 20236 18063 0 -1 4202560 63007 0 0 0 4754 17 0 0 20 0 2 0 511843759 733626368 108651 33554432000 4194304 4454172 140734483519856 140094435159176 4349996 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 16605184 140734483526505 140734483526704 140734483526704 140734483529658 0
[pid=20259/tid=20260] ppid=20236 vsize=8414124 memory=119968 CPUtime=0.74 cores=0-7
/proc/20259/task/20260/stat : 20260 (java) S 20236 20236 18063 0 -1 1077944384 16902 0 0 0 69 5 0 0 20 0 24 0 511843687 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870869909408 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20261] ppid=20236 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20259/task/20261/stat : 20261 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870902311696 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20262] ppid=20236 vsize=8414124 memory=119968 CPUtime=0 cores=0-7
/proc/20259/task/20262/stat : 20262 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870383102864 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20263] ppid=20236 vsize=8414124 memory=436624 CPUtime=0 cores=0-7
/proc/20259/task/20263/stat : 20263 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870382050320 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20264] ppid=20236 vsize=8414124 memory=89273311169258 CPUtime=0 cores=0-7
/proc/20259/task/20264/stat : 20264 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870380997776 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20265] ppid=20236 vsize=8414124 memory=89273311169258 CPUtime=0 cores=0-7
/proc/20259/task/20265/stat : 20265 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870379944208 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20266] ppid=20236 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20259/task/20266/stat : 20266 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870378891664 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20267] ppid=20236 vsize=8414124 memory=415836 CPUtime=0 cores=0-7
/proc/20259/task/20267/stat : 20267 (java) S 20236 20236 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870377839120 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20268] ppid=20236 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20259/task/20268/stat : 20268 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843688 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870376786576 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20269] ppid=20236 vsize=8414124 memory=119968 CPUtime=0 cores=0-7
/proc/20259/task/20269/stat : 20269 (java) S 20236 20236 18063 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511843689 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870125713904 139870898080386 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20270] ppid=20236 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20259/task/20270/stat : 20270 (java) S 20236 20236 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511843690 8616062976 29992 33554432000 4194304 4196468 140727393053920 139869233866144 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20271] ppid=20236 vsize=8414124 memory=3544789688478971159 CPUtime=0 cores=0-7
/proc/20259/task/20271/stat : 20271 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843690 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868965430768 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20272] ppid=20236 vsize=8414124 memory=139902386357779 CPUtime=0 cores=0-7
/proc/20259/task/20272/stat : 20272 (java) S 20236 20236 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868590922448 139870898087835 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20273] ppid=20236 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/20259/task/20273/stat : 20273 (java) S 20236 20236 18063 0 -1 1077944384 573 0 0 0 7 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870124660720 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20274] ppid=20236 vsize=8414124 memory=119968 CPUtime=0.04 cores=0-7
/proc/20259/task/20274/stat : 20274 (java) S 20236 20236 18063 0 -1 1077944384 105 0 0 0 4 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870123608176 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20275] ppid=20236 vsize=8414124 memory=461808 CPUtime=0.06 cores=0-7
/proc/20259/task/20275/stat : 20275 (java) S 20236 20236 18063 0 -1 1077944384 408 0 0 0 6 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870122555632 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20276] ppid=20236 vsize=8414124 memory=928 CPUtime=0.19 cores=0-7
/proc/20259/task/20276/stat : 20276 (java) S 20236 20236 18063 0 -1 1077944384 538 0 0 0 19 0 0 0 20 0 24 0 511843692 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870121503088 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20277] ppid=20236 vsize=8414124 memory=279804771303664 CPUtime=0 cores=0-7
/proc/20259/task/20277/stat : 20277 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511843693 8616062976 29992 33554432000 4194304 4196468 140727393053920 139868093016800 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20278] ppid=20236 vsize=8414124 memory=279804771485088 CPUtime=0.02 cores=0-7
/proc/20259/task/20278/stat : 20278 (java) S 20236 20236 18063 0 -1 1077944384 7 0 0 0 0 2 0 0 20 0 24 0 511843693 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870120450992 139870898080386 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20280] ppid=20236 vsize=8414124 memory=87011742490184 CPUtime=0 cores=0-7
/proc/20259/task/20280/stat : 20280 (java) S 20236 20236 18063 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139870112417472 139870898093849 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20287] ppid=20236 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20259/task/20287/stat : 20287 (java) S 20236 20236 18063 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867421916432 139870898091165 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20289] ppid=20236 vsize=8414124 memory=-8412652151874611344 CPUtime=0 cores=0-7
/proc/20259/task/20289/stat : 20289 (java) S 20236 20236 18063 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511843759 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867690352016 139870898091165 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
[pid=20259/tid=20292] ppid=20236 vsize=8414124 memory=7752509847374108556 CPUtime=0 cores=0-7
/proc/20259/task/20292/stat : 20292 (java) S 20236 20236 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511843761 8616062976 29992 33554432000 4194304 4196468 140727393053920 139867153489072 139870898079445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33046528 140727393059831 140727393059990 140727393059990 140727393062863 0
Current children cumulated CPU time: 392.39 s
Current children cumulated vsize: 9243684 KiB
Current children cumulated memory: 556048 KiB

Child status: 0
Real time (s): 52.7504
CPU time (s): 392.523
CPU user time (s): 391.457
CPU system time (s): 1.06671
CPU usage (%): 744.114
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 583304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 391.457
system time used= 1.06671
maximum resident set size= 463904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9774
involuntary context switches= 3453


# summary of solver processes directly reported to runsolver:
#   pid: 20236
#   total CPU time (s): 392.523
#   total CPU user time (s): 391.457
#   total CPU system time (s): 1.06671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.515968 second user time and 0.718877 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-24 22:11:00
IDJOB=4405214
IDBENCH=135568
IDSOLVER=2867
FILE ID=node139/4405214-1569355727
RUNJOBID= node139-1569348082-18090
PBS_JOBID= 21705078
Free space on /tmp= 5144 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-clau-011-010.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405214-1569355727/watcher-4405214-1569355727 -o /tmp/evaluation-result-4405214-1569355727/solver-4405214-1569355727 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569348082-18090 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405214-1569355727.xml

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

MD5SUM BENCH= 46ced5e3eb9b8d9f9897ebef4f7d04b7
RANDOM SEED=2014015943

node139.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.57
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.57
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.57
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.57
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:        25414524 kB
MemAvailable:   31780560 kB
Buffers:          110000 kB
Cached:          6345200 kB
SwapCached:        64820 kB
Active:          3220784 kB
Inactive:        3302968 kB
Active(anon):       4372 kB
Inactive(anon):   120900 kB
Active(file):    3216412 kB
Inactive(file):  3182068 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66941052 kB
Dirty:             20564 kB
Writeback:             0 kB
AnonPages:        129664 kB
Mapped:            57752 kB
Shmem:             47392 kB
Slab:             425608 kB
SReclaimable:     396016 kB
SUnreclaim:        29592 kB
KernelStack:        3696 kB
PageTables:         5656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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= 5124 MiB
End job on node139 at 2019-09-24 22:11:53